Symmetrisk funktion
En symmetrisk funktion af n variable er en funktion, hvis værdi på en hvilken som helst n - tupel af argumenter er den samme som værdien på enhver permutation af denne n -tupel [1] . Hvis for eksempel , funktionen kan være symmetrisk på alle variabler eller par , eller . Selvom det kan henvise til alle funktioner, for hvilke n argumenter har samme domæne, refererer det oftest til polynomier , som i dette tilfælde er symmetriske polynomier . Uden for polynomier er teorien om symmetriske funktioner dårlig og lidt brugt. Også det nøjagtige antal variabler er normalt ikke vigtigt, det menes, at der simpelthen er ret mange af dem. For at gøre denne idé mere stringent, bruges den projektive grænse til at gå til den såkaldte ring af symmetriske funktioner , som formelt indeholder et uendeligt antal variable.
![{\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)
Symmetriisering
Givet enhver funktion f af n variable med værdier i en abelsk gruppe (det vil sige i en gruppe med en kommutativ operation), kan en symmetrisk funktion konstrueres ved at summere værdierne af f over alle permutationer af argumenterne. På samme måde kan den antisymmetriske funktion konstrueres som summen over alle lige permutationer , hvorfra summen over alle ulige permutationer trækkes fra. Disse operationer er naturligvis irreversible og kan føre til en identisk nul-funktion for en ikke-trivial funktion f . Det eneste tilfælde, hvor f kan genfindes, når funktionens symmetriisering og antisymmetriisering er kendt, er når n = 2 og den abelske gruppe kan divideres med 2 (det omvendte af fordobling). I dette tilfælde er f lig med halvdelen af summen af symmetriisering og antisymmetrisering.
Ring af symmetriske funktioner
Overvej virkningen af en symmetrisk gruppe på en polynomial ring i n variable. Det virker ved at permutere variabler. Som nævnt ovenfor er symmetriske polynomier nøjagtigt dem, der ikke ændres under påvirkning af elementerne i denne gruppe. Således danner de en underring:
![{\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)
Til gengæld er en graderet 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)
, hvor består af homogene symmetriske polynomier af grad k , samt et nulpolynomium.
Dernæst, ved hjælp af den projektive grænse definerer vi ringen af symmetriske funktioner af grad k :
Til sidst får vi en graderet ring , som kaldes ringen af symmetriske funktioner.
![{\displaystyle \Lambda =\bigoplus _{k\geq 0}\Lambda ^{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e0045e7bf829d60a7fbbd3c400b6f4384fa2ec3)
Bemærkninger.
er ikke en projektiv grænse (i kategorien ringe). For eksempel er et uendeligt produkt ikke indeholdt i , fordi indeholder monomialer af vilkårlig høj 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 ækvivalent 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 rummet af symmetriske funktioner
- Monomial basis. For hver partition definerer vi et monomial . Det er ikke et symmetrisk polynomium og indeholder også kun et begrænset antal variabler, der indtaster det med ikke-nul grad. Lad os nu summere mængden af monomer opnået fra det ved alle mulige permutationer af indekser (hvert monomial summeres kun én gang, selvom det kan opnås ved hjælp af flere forskellige permutationer): . Det er let at forstå, at sådanne, der danner et grundlag , og derfor alle danner et grundlag , som kaldes 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 }=\sum _{\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ære symmetriske funktioner. For hvert heltal definerer vi — summen af alle mulige produkter fra r forskellige variable. Altså for :
![{\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}=\sum _{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)
For hver partition er den elementære symmetriske funktion De danner et grundlag i rummet .
![\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)
- Fuldfør symmetriske funktioner. For hvert heltal definerer vi — summen af alle monomiale funktioner af grad r . Altså for :
![{\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}=\sum _{|\lambda |=r}m_{\lambda ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/c861fb38ceb6ba769747bbf63c76988be58b3338)
Yderligere, som i tilfældet med elementære funktioner, sætter vi
- Strøm summer. For hver kaldes effektsummen .
![{\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)
For partitionering er effektsummen defineret som![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
Identiteter.
, for alle k > 0 ,
, for alle k > 0 ,
, for alle k > 0 .
Relationer til generering af funktioner.
Det er nemt at vise det
Også
Heraf følger forholdet
Endelig ,.
![{\displaystyle P(t)=\sum _{r\geq 1}p_{r}t^{r-1}=\sum _{i\geq 1}\sum _{r\geq 1}x_{i }^{r}t^{r-1}=\sum _{i\geq 1}{\frac {x_{i}}{1-x_{i}t}}=\sum _{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 tilsvarende .
![{\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 . Lad der være et begrænset antal variableog en partitionsådan(længden af partitionen overstiger ikke antallet af variable). Så er Schur-polynomiet for en partitioni n variableet homogent symmetrisk gradspolynomium. Atkonvergerer disse polynomier til et enkelt element, kaldet 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øjrepil \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 af et særligt skalært produkter der en generalisering af Schur-funktionerne, der bevarer mange af deres egenskaber.
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
Ansøgninger
U-statistik
I statistik giver en n -stikprøvestatistik (en funktion af n variable) opnået ved at bootstrapsymmetriske en statistik på en stikprøve af k elementer en symmetrisk funktion af n variable, kaldet U-statistikken . Eksempler omfatter prøvegennemsnittet og prøvevariansen .
Se også
- Elementære symmetriske polynomier
- Kvasi-symmetrisk funktion
- Ring af symmetriske funktioner
Noter
- ↑ Van der Waerden, 1979 , s. 121.
Litteratur
- Macdonald IG Symmetriske funktioner og ortogonale polynomier. 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 Symmetriske funktioner og hallpolynomier. anden version. Oxford matematiske monografier. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 s. ISBN 0-19-853489-2 1. udgave (ubestemt) . - 1979.
- McDonald I. Symmetriske funktioner og Hall-polynomier. -Mir, 1984. - 224 s.
- David FN, Kendall MG , Barton DE Symmetrisk funktion og allierede tabeller. - Cambridge University Press , 1966.
- Joseph PS Kung, Gian-Carlo Rota, Catherine H. Yan. Combinatorics: The Rota Way. – Cambridge University Press, 2009. – xii+396 s. - ISBN 978-0-521-73794-4 .
— §5.1 Symmetriske funktioner, s. 222-225.
— §5.7. Symmetriske funktioner over endelige felter, s. 259-270.
- Van der Waerden B. L. Algebra. - M . : "Nauka", 1979.
- §33. Symmetriske funktioner, s. 121.