Symmetrisk funktion
En symmetrisk funktion av n variabler är en funktion vars värde på valfri n - tuppel av argument är detsamma som värdet på varje permutation av denna n -tuppel [1] . Om till exempel , kan funktionen vara symmetrisk på alla variabler eller par , eller . Även om det kan hänvisa till alla funktioner för vilka n argument har samma domän, hänvisar det oftast till polynom , som i det här fallet är symmetriska polynom . Utanför polynom är teorin om symmetriska funktioner dålig och lite använd. Det exakta antalet variabler är vanligtvis inte viktigt, man tror att det helt enkelt finns ganska många av dem. För att göra denna idé mer rigorös används den projektiva gränsen för att passera till den så kallade ringen av symmetriska funktioner , som formellt innehåller ett oändligt antal variabler.
![{\displaystyle f(\mathbf {x} )=f(x_{1},x_{2},x_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bcfdbd4a99e206c9240e4e934d574040cf7bce4)
![(x_{1},x_{2})](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9bb1427314b1719774232fe0d156a0edacf1ced)
![{\displaystyle (x_{2},x_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd751086ea09720d0f6cd1388b2589f1dd94003)
![{\displaystyle (x_{1},x_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea170c21cde6cbe6477add5fdc9a1851556ee694)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
Symmetrisering
Givet vilken funktion f som helst av n variabler med värden i en abelsk grupp (det vill säga i en grupp med en kommutativ operation), kan en symmetrisk funktion konstrueras genom att summera värdena på f över alla permutationer av argumenten. På liknande sätt kan den antisymmetriska funktionen konstrueras som summan över alla jämna permutationer , från vilken summan över alla udda permutationer subtraheras. Dessa operationer är naturligtvis irreversibla och kan leda till en identisk nollfunktion för en icke-trivial funktion f . Det enda fallet där f kan återställas när funktionens symmetrisering och antisymmetrisering är kända är när n = 2 och den abelska gruppen kan delas med 2 (inversen av dubblering). I detta fall är f lika med halva summan av symmetrisering och antisymmetrisering.
Ring av symmetriska funktioner
Betrakta verkan av en symmetrisk grupp på en polynomring i n variabler. Det fungerar genom att permutera variabler. Som nämnts ovan är symmetriska polynom exakt de som inte förändras under verkan av elementen i denna grupp. Således bildar de en subring:
![{\displaystyle S_{n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f049ac28d4ac8097b625f9d71c1f22b2ebd1bc4)
![{\displaystyle \mathbb {Z} [x_{1},\dots ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b359941bcd006c7401062a480d279ebe8d3ebc2)
I sin tur är en graderad ring :
![{\displaystyle \Lambda _{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76f399e517734dcac62e73b2280c9c81d218ecff)
![{\displaystyle \Lambda _{n}=\bigoplus _{k\geq 0}\Lambda _{n}^{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b89993ceb13d14e36a62e64007fb0f9fcf2f1702)
, där består av homogena symmetriska polynom av grad k , samt ett nollpolynom.
Därefter, med hjälp av den projektiva gränsen , definierar vi ringen av symmetriska funktioner av grad k :
Slutligen får vi en graderad ring , som kallas ringen av symmetriska funktioner.
![{\displaystyle \Lambda =\bigoplus _{k\geq 0}\Lambda ^{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e0045e7bf829d60a7fbbd3c400b6f4384fa2ec3)
Anmärkningar.
är inte en projektiv gräns (i kategorin ringar). Till exempel finns en oändlig produkt inte i , eftersom innehåller monomialer av godtyckligt hög grad.![{\displaystyle \Lambda _{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/436dbfeedc7bec4dcac3fe9f4e4bccc890e5b2e5)
![{\displaystyle \prod _{j=1}^{\infty }(1+x_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd76bb0f78dfc418b18f16d0e8d209e09bc8129e)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
- "Determinant" har heller ingen motsvarighet i .
![{\displaystyle (\prod _{i<j}(x_{i}-x_{j))^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/716f0f874d4f2f8c491b68931212629171875c5e)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
Baser i utrymmet för symmetriska funktioner
- Monomial basis. För varje partition definierar vi ett monom . Det är inte ett symmetriskt polynom och innehåller också endast ett ändligt antal variabler som anger det med en grad som inte är noll. Låt oss nu summera uppsättningen monomer som erhålls från den med alla möjliga permutationer av index (varje monomial summeras bara en gång, även om det kan erhållas med flera olika permutationer): . Det är lätt att förstå att sådana som utgör en grund , och därför alla utgör en bas , som kallas monomial.
![{\displaystyle \lambda =(\lambda _{1},\lambda _{2},\dots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86d50f449cba37e3839e546f40245380af8ba576)
![{\displaystyle x^{\lambda }=x_{1}^{\lambda _{1}}x_{2}^{\lambda _{2}}\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e5f66ca2e7f56c676bb272715c7be4ff7f52ef4)
![{\displaystyle x_{\alpha }^{\lambda }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad541ab3efc961aff2251a648c7f93c2f993e998)
![\alfa](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
![{\displaystyle m_{\lambda }=\summa _{\alpha }x_{\alpha }^{\lambda ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/3df4d2dbec14622aa240c5a39ba2122b1a609c9d)
![{\displaystyle m_{\lambda ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/d094220f3fa459abfc2d84a2e23d9a01e5519a8b)
![{\displaystyle |\lambda |=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b961898fa9ec8ea962a7cec658113868ca5c05d4)
![{\displaystyle \Lambda ^{n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/79b5fbbc36e8db92ba9cc871db857f2f1a4de432)
![{\displaystyle m_{\lambda ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/d094220f3fa459abfc2d84a2e23d9a01e5519a8b)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
- Elementära symmetriska funktioner. För varje heltal definierar vi — summan av alla möjliga produkter från r olika variabler. Alltså för :
![{\displaystyle r\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa96c19954fcda2695f988938ccf091d2bc2bbae)
![{\displaystyle e_{r))](https://wikimedia.org/api/rest_v1/media/math/render/svg/f015d7f22251235bde1a052f85eb03ff52e66642)
![{\displaystyle e_{0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f06d4cf4ea8c2fd4fcf76296f8e55ff97d0d250)
![{\displaystyle r\geq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b1e87b13257cf2fecf01cadc7ad9ca50c6fedfd)
![{\displaystyle e_{r}=\summa _{i_{1}<i_{2}<\dots <i_{r}}x_{i_{1}}x_{i_{2}}\dots x_{i_{ r}}=m_{(1^{r})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eefbc2e54dc4306be4b294a731e246766ade81d)
För varje partition är den elementära symmetriska funktionen De utgör en bas i rymden .
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
![{\displaystyle e_{\lambda }=e_{\lambda _{1}}e_{\lambda _{2}}\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae8dd449e2ea08623d84fc92c1ec414eb87169c2)
- Kompletta symmetriska funktioner. För varje heltal definierar vi — summan av alla monomfunktioner av grad r . Alltså för :
![{\displaystyle r\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa96c19954fcda2695f988938ccf091d2bc2bbae)
![{\displaystyle h_{r))](https://wikimedia.org/api/rest_v1/media/math/render/svg/87b8534147ad8c99d738c25c0ecc134ddef19fd3)
![{\displaystyle h_{0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d9bfc977e9fe3f838453d672c59f48d31d442b8)
![{\displaystyle r\geq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b1e87b13257cf2fecf01cadc7ad9ca50c6fedfd)
![{\displaystyle h_{r}=\summa _{|\lambda |=r}m_{\lambda ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/c861fb38ceb6ba769747bbf63c76988be58b3338)
Vidare, som i fallet med elementära funktioner, ställer vi in
- Power summor. För varje kallas effektsumman .
![{\displaystyle r\geq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b1e87b13257cf2fecf01cadc7ad9ca50c6fedfd)
![{\displaystyle p_{r}=\sum _{i\geq 1}^{\infty }x_{i}^{r}=m_{(r)))](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca3a1ca6713d48d1cc10275e611ed067fe97a4a9)
För partitionering definieras effektsumman som![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
Identiteter.
, för alla k > 0 ,
, för alla k > 0 ,
, för alla k > 0 .
Relationer för att generera funktioner.
Det är lätt att visa det
Också
Av detta följer förhållandet
Slutligen ,.
![{\displaystyle P(t)=\summa _{r\geq 1}p_{r}t^{r-1}=\summa _{i\geq 1}\summa _{r\geq 1}x_{i }^{r}t^{r-1}=\summa _{i\geq 1}{\frac {x_{i}}{1-x_{i}t}}=\summa _{i\geq 1 }{\frac {d}{dt}}ln{\frac {1}{1-x_{i}t}}={\frac {d}{dt}}ln\prod _{i\geq 1}( 1-x_{i}t)^{-1}={\frac {d}{dt}}lnH(t)={\frac {H'(t)}{H(t)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09094d33a04e5264090f95b48002eb7a99473b73)
Vi får likadant .
![{\displaystyle P(-t)={\frac {d}{dt}}lnE(t)={\frac {E'(t)}{E(t)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c737d7475a677a0f286ba60729872e3ad6fc2be)
- Schur funktioner . Låt det finnas ett ändligt antal variableroch en partitionså att(längden på partitionen inte överstiger antalet variabler). Då är Schurpolynomet för en partitioni n variablerett homogent symmetriskt polynom av grad. At, dessa polynom konvergerar till ett enda element, som kallas Schur - partitionsfunktionen.
![{\displaystyle x_{1},x_{2},\dots ,x_{n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/75c2d357bc1b965979bf171b5ba3bac0f68961c2)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
![{\displaystyle l(\lambda )\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da22a96cbd9259f3d8c1c362ecbc5d0adafc084d)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
![{\displaystyle s_{\lambda }(x_{1},x_{2},\dots,x_{n})={\frac {det(x_{i}^{\lambda _{j}+nj}) _{1\leq i,j\leq n}}{det(x_{i}^{nj})_{1\leq i,j\leq n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/164d978af55132ea0426c39df1a3acf77909e5c7)
![{\displaystyle |\lambda |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e92d2419f2d2ad612edb802a7727b4f4eb07f3c8)
![n\högerpil \infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/9702f04f2d0e5b887b99faeeffb0c4cfd8263eee)
![{\displaystyle s_{\lambda }\in \Lambda }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d5b3fa56e6d95d27b148dd88f2d4a9d65c9eabc)
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
- Jacks funktioner . Med introduktionen av en speciell skalär produktkommer en generalisering av Schur-funktionerna att bevara många av deras egenskaper.
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
Applikationer
U-statistik
I statistik ger en n -sampelstatistik (en funktion av n variabler) erhållen genom att bootstrapsymmetrisera en statistik på ett urval av k element en symmetrisk funktion av n variabler, kallad U-statistiken . Exempel inkluderar urvalets medelvärde och urvalsvariansen .
Se även
- Elementära symmetriska polynom
- Kvasi-symmetrisk funktion
- Ring av symmetriska funktioner
Anteckningar
- ↑ Van der Waerden, 1979 , sid. 121.
Litteratur
- Macdonald IG Symmetriska funktioner och ortogonala polynom. New Brunswick, New Jersey. University Lecture Series, 12. American Mathematical Society, Providence, Rhode Island, 1998. xvi+53 pp. ISBN 0-8218-0770-6 MR : 1488699
- Macdonald IG Symmetriska funktioner och hallpolynom. andra upplagan. Oxford matematiska monografier. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 s. ISBN 0-19-853489-2 1:a upplagan (obestämd tid) . — 1979.
- McDonald I. Symmetriska funktioner och Hallpolynom. -Mir, 1984. - 224 sid.
- David FN, Kendall MG , Barton DE Symmetric Function and Allied Tables. — Cambridge University Press , 1966.
- Joseph PS Kung, Gian-Carlo Rota, Catherine H. Yan. Combinatorics: The Rota Way. – Cambridge University Press, 2009. – xii+396 sid. - ISBN 978-0-521-73794-4 .
— §5.1 Symmetriska funktioner, sid. 222–225.
— §5.7. Symmetriska funktioner över ändliga fält, sid. 259–270.
- Van der Waerden B. L. Algebra. - M . : "Nauka", 1979.
- §33. Symmetriska funktioner, sid. 121.