Symmetrinen toiminto
N: n muuttujan symmetrinen funktio on funktio, jonka arvo millä tahansa argumenttien n - luvulla on sama kuin minkä tahansa tämän n -luvun permutaation arvo [1] . Jos esimerkiksi , funktio voi olla symmetrinen kaikille muuttujille tai pareille , tai . Vaikka se voi viitata mihin tahansa funktioon, jonka n argumentilla on sama toimialue, se viittaa yleisimmin polynomeihin , jotka tässä tapauksessa ovat symmetrisiä polynomeja . Polynomien ulkopuolella symmetristen funktioiden teoria on heikko ja sitä käytetään vähän. Myöskään muuttujien tarkka määrä ei yleensä ole tärkeä, niitä uskotaan olevan yksinkertaisesti melko paljon. Jotta tämä idea olisi tiukempi, projektitiivista rajaa käytetään siirtymään niin sanottuun symmetristen funktioiden renkaaseen , joka sisältää muodollisesti äärettömän määrän muuttujia.
![{\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)
![{\näyttötyyli (x_{2},x_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd751086ea09720d0f6cd1388b2589f1dd94003)
![{\näyttötyyli (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)
Symmetrisaatio
Kun otetaan huomioon mikä tahansa n muuttujan funktio f , jolla on arvot Abelin ryhmässä (eli ryhmässä, jossa on kommutatiivinen operaatio), symmetrinen funktio voidaan rakentaa summaamalla f :n arvot kaikkien argumenttien permutaatioiden perusteella. Vastaavasti antisymmetrinen funktio voidaan rakentaa kaikkien parillisten permutaatioiden summaksi, josta vähennetään kaikkien parittomien permutaatioiden summa. Nämä operaatiot ovat tietysti peruuttamattomia ja voivat johtaa identtiseen nollafunktioon ei-triviaalille funktiolle f . Ainoa tapaus, jossa f voidaan palauttaa, kun funktion symmetrisaatio ja antisymmetrisaatio tunnetaan, on kun n = 2 ja Abelin ryhmä voidaan jakaa 2:lla (kaksinkertaisuuden käänteis). Tässä tapauksessa f on yhtä suuri kuin puolet symmetrisaation ja antisymmetrisoinnin summasta.
Symmetristen funktioiden rengas
Tarkastellaan symmetrisen ryhmän toimintaa polynomirenkaaseen n muuttujassa. Se toimii permutoimalla muuttujia. Kuten edellä mainittiin, symmetriset polynomit ovat juuri niitä, jotka eivät muutu tämän ryhmän elementtien vaikutuksesta. Siten ne muodostavat alarenkaan:
![{\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)
Se puolestaan on lajiteltu rengas :
![{\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)
, jossa koostuu homogeenisista symmetrisistä polynomeista, joiden aste on k , sekä nollapolynomista.
Seuraavaksi määritetään projektiivisen rajan avulla asteen k symmetristen funktioiden rengas :
Lopuksi saadaan asteittainen rengas , jota kutsutaan symmetristen funktioiden renkaaksi.
![{\displaystyle \Lambda =\bigoplus _{k\geq 0}\Lambda ^{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e0045e7bf829d60a7fbbd3c400b6f4384fa2ec3)
Huomautukset.
ei ole projektiivinen raja (renkaiden luokassa). Esimerkiksi ääretön tulo ei sisälly , koska sisältää mielivaltaisen suuren monomiasteen.![{\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)
- "Determinantilla" ei myöskään ole vastinetta .
![{\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)
Perusteet symmetristen funktioiden avaruudessa
- Monomiaalinen perusta. Jokaiselle osiolle määritellään monomi, joka ei ole symmetrinen polynomi ja sisältää myös vain rajallisen määrän muuttujia, jotka tulevat siihen nollasta poikkeavalla asteella. Summataan nyt siitä kaikista mahdollisilla indeksien permutaatioilla saatu monomijoukko (jokainen monomi summataan vain kerran, vaikka se voidaan saada useilla eri permutaatioilla): . On helppo ymmärtää, että sellaiset, jotka muodostavat perustan , ja siksi kaikki muodostavat perustan , jota kutsutaan monomiaaliksi.
![{\displaystyle \lambda =(\lambda _{1},\lambda _{2},\pisteet )}](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)
![\alpha](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)
- Elementaariset symmetriset funktiot. Jokaiselle kokonaisluvulle määritämme — kaikkien mahdollisten tulojen summan r :stä eri muuttujasta. Näin ollen :
![{\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}}\pisteet x_{i_{ r}}=m_{(1^{r})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eefbc2e54dc4306be4b294a731e246766ade81d)
Jokaisen osion alkeissymmetrinen funktio on Ne muodostavat perustan avaruudessa .
![\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)
- Täydelliset symmetriset toiminnot. Jokaiselle kokonaisluvulle määritämme — kaikkien asteen r monomiaalisten funktioiden summan . Näin ollen :
![{\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)
Lisäksi, kuten perusfunktioiden tapauksessa, asetamme
- Tehosummat. Jokaisen tehosummaa kutsutaan .
![{\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)
Osioinnissa tehosumma määritellään seuraavasti![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
Identiteetit.
, kaikille k > 0 ,
, kaikille k > 0 ,
, kaikille k > 0 .
Relaatiot funktioiden luomiseen.
Se on helppo osoittaa
Myös
Tästä seuraa suhde
Lopuksi ,.
![{\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)
Meillä menee samalla tavalla .
![{\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 toimii . Olkoon muuttujia äärellinen määräja sellainen osio, että(osion pituus ei ylitä muuttujien määrää). Tällöin osion Schur-polynomin muuttujassa onhomogeeninen symmetrinen astepolynomi. Kohteessanämä polynomit konvergoivat yhdeksi elementiksi, jota kutsutaan Schur-osiofunktioksi.
![{\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\rightarrow \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)
- Jackin toiminnot . Erityisen skalaarituotteen käyttöönotonmyötä Schur-funktiot yleistyvät säilyttäen monet niiden ominaisuudet.
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0a4a98a414e3480335f9ba652d12571ec6733)
Sovellukset
U-tilastot
Tilastoissa n- otostilasto ( n muuttujan funktio ), joka on saatu bootstrapilla symmetrisoimalla tilasto k elementin otokseen, antaa n muuttujan symmetrisen funktion , jota kutsutaan U-statistiksi . Esimerkkejä ovat otoksen keskiarvo ja otoksen varianssi .
Katso myös
- Elementaariset symmetriset polynomit
- Kvasisymmetrinen funktio
- Symmetristen funktioiden rengas
Muistiinpanot
- ↑ Van der Waerden, 1979 , s. 121.
Kirjallisuus
- Macdonald IG Symmetriset funktiot ja ortogonaaliset polynomit. New Brunswick, New Jersey. University Lecture Series, 12. American Mathematical Society, Providence, Rhode Island, 1998. xvi+53 s. ISBN 0-8218-0770-6 MR : 1488699
- Macdonald IG Symmetriset funktiot ja Hall-polynomit. toinen painos. Oxfordin matemaattiset monografiat. Oxfordin tiedejulkaisut. The Clarendon Press, Oxford University Press, New York, 1995. x+475 s. ISBN 0-19-853489-2 1. painos (määrätön) . – 1979.
- McDonald I. Symmetriset funktiot ja Hall-polynomit. -Mir, 1984. - 224 s.
- David FN, Kendall MG , Barton DE Symmetric Function and Allied Tables. - Cambridge University Press , 1966.
- Joseph PS Kung, Gian-Carlo Rota, Catherine H. Yan. Kombinatoriikka: Rota Way. – Cambridge University Press, 2009. – xii+396 s. - ISBN 978-0-521-73794-4 .
— §5.1 Symmetriset funktiot, s. 222–225.
— §5.7. Symmetric Functions Over Finite Fields, s. 259-270.
- Van der Waerden B. L. Algebra. - M . : "Nauka", 1979.
- §33. Symmetriset funktiot, s. 121.