In this diploma thesis, we show that the RSK algorithm is bijective and has a symmetric property. Afterwards we present some of its corollaries, among which the most prominent ones are the Cauchy identity and the permutation formula: $n! = \sum_{\lambda \vdash n} (f^\lambda)^2$. The other half of the thesis develops the theory of symmetric functions. For some classes of functions we show that they form a basis. The main aim is to define a scalar product on symmetric functions and then to prove that Schur functions form an orthonormal basis.
|