Vuonna matematiikan määrittelemme tiettyjen ominaisuuksien moninaisuus on arvo, jolla tämä ominaisuus. Tämä on yleensä koko joukko , joka osoittaa "kuinka monta kertaa" arvo on ominaisuus. Tämä on yleensä merkityksetöntä (omistaa kiinteistön tai sitä ei ole), mutta joissakin tapauksissa on olemassa luonnollinen tulkinta. Yleensä, ominaisuus, jonka monikerrat on määritelty määrittää monijoukko arvojen sijaan yksiä.
Tunnetuin tapaus on polynomin ei-nollan P juuren moninaisuus . Joukko r on juuri P , jos P ( r ) = 0 , ja tässä tapauksessa voimme kirjoittaa P = ( X - r ) Q . Voi tapahtua, että r on edelleen Q: n juuri , ja tässä tapauksessa voimme kirjoittaa P = ( X - r ) m R, kun m ≥ 2 , ja suurin m , jolle se on mahdollista, on määritelmän mukaan r: n kertalukuisuus P: n juurena .
Juurien moninkertaisuusjärjestyksen käyttö on välttämätöntä, jos haluamme tyydyttää kertoimien ja juurien väliset suhteet .
In lineaarialgebraa , jos on ominaisarvo , joka endomorphism u on vektori tila E on äärellinen ulottuvuus n , geometrinen useita järjestys on on ulottuvuus liittyvän eigen aliavaruus, ja algebrallinen moninaisuus järjestys on ulottuvuus liittyvän ominaisuuden aliavaruuden . Järjestys algebrallinen moninaisuus on myös sama kuin järjestys moninaisuus juuren on tunnusomainen polynomi on u .
Jos vektoriavaruuteen on olemassa sellainen perusta , että tähän perusteeseen liittyvä U: lla merkitty matriisi on kolmiomainen (mikä on aina tapana, jos kenttä K on algebrallisesti suljettu ), niin u: n ominaispolynomi on molemmissa yhtä suuri kohtaan , missä ovat u: n ominaisarvot , ja kohtaan . Siksi, ja (toisin sanoen, on kertojen määrä, jolloin ominaisarvo näkyy matriisin diagonaalissa ).
Moninaisuuden käsite esiintyy luonnollisesti erillisissä arvostusrenkaissa . Tällaisessa renkaassa on pelkistämätön elementti t, jota kutsutaan yhdenmukaistajaksi siten, että renkaan mille tahansa elementille a on olemassa käänteinen elementti b ja kokonaisluku n siten , että kirjoitus on ainutlaatuinen. n on kutsutaan järjestys elementin ja ei ole mikään muu kuin suuruusluokkaa useita t hajoamiseen osaksi pelkistymätön elementtejä.
Tämä tilanne käytetään määrittämään järjestyksessä useita napa tai nolla on järkevä osa . Otetaan yhtenäistävä elementti X - a . Tässä yhteydessä käännettävä elementti on rationaalinen murtoluku, joka on määritelty a: ssa ja joka ei poistu a: sta . Jos järkevä osa f hajoaa muodossa , jossa g käännettävissä, on nolla f moninaisuus n , jos n > 0, ja on napa f moninaisuus -n , jos n <0. Voimme edetä vertailukelpoiseen tapa määritellä holomorfisen funktion nollan tai meromorfisen funktion nollan tai napan kertaluvun järjestys .
Tarkastellaan taso-affiinista algebrallista käyrää (V) yhtälöllä ja olkoon P tämän käyrän piste. Oletetaan muuttujien muutoksella, että P on yhtä suuri kuin piste (0,0). F kirjoitetaan homogeenisten polynomien summana ja pienintä indeksiä k , joka on nollasta poikkeava, kutsutaan F: n moninkertaistamisjärjestykseksi P. Jos k = 1, sanotaan, että P on yksi käyrän piste, jos k = 2, puhumme kaksinkertaisesta pisteestä, jos k = 3 kolmoispisteestä jne. Jos otamme huomioon ensimmäisen asteen tekijät, kukin näistä tekijöistä määrittää tangentin käyrälle P: ssä.
Vastakkaisessa esimerkissä meillä on ja . Pisteen (0,0) moninkertaistamisjärjestys on siis 2. Käyrä antaa kaksi tangenttia tässä yhtälökohdassa .
Jos M (P) on P: ssä mitätöivien rationaalisten funktioiden maksimaalinen ideaali, P: ssä määritellyssä rationaalisten toimintojen paikallisessa renkaassa , niin moninkertaisuusjärjestys m P: ssä on suurin kokonaisluku r , johon F kuuluu . m on myös yhtä suuri kuin ulottuvuus osamäärän varten n riittävän suuri (itse asiassa heti, kun n on suurempi kuin tai yhtä kuin m ). Tämä viimeinen ominaisuus antaa mahdollisuuden määritellä moninkertaisuus yleisen algebrallisen käyrän pisteessä sisäisellä tavalla. Edellisessä esimerkissä n = 2: lle annetaan perusta arvolla , kun otetaan huomioon, että yleisemmin, for: lle , perusta on . Joten m = 2.
(V): n moninaisuus P: ssä on yhtä suuri kuin käyrän (V) leikkauspisteen moninkertaisuus P: n läpi kulkevan linjan kanssa, mutta joka ei ole tangenttia käyrälle.
Tarkastellaan kahta kone algebrallinen käyrä , ilman yhteinen komponentti, koska niiden vastaavien yhtälöiden ja ja antaa P on piste. Antaa paikallinen rengas rationaalisen fraktioiden määritelty P. Me kutsumme useita leikkauspisteen kahden käyrän P, huomattava , ulottuvuus osamäärän vektorina tilaa pohja alalla. Tällä on seuraavat ominaisuudet:
Näiden ominaisuuksien avulla on helppo laskea kahden käyrän leikkauspisteiden lukumäärä tietyssä pisteessä. Palataan yleensä pisteeseen (0,0) muuttujien muutoksen jälkeen.
ESIMERKIT :
Risteyksen moninaisuuden käyttö on välttämätöntä Bézoutin lauseen soveltamisessa .