Zornin lemma

Wikipedia
Loikkaa: valikkoon, hakuun

Zornin lemma, tunnettu myös nimellä Kuratowskin-Zornin lemma, on joukko-opin perustulos joka kuuluu seuraavasti:[1]

Jokaisella osittain järjestetyllä joukolla, jossa jokaisella ketjulla on yläraja, on vähintään yksi maksimaalinen alkio.

Zornin lemma on nimetty matemaatikko Max Zornin mukaan.

Zornin lemmassa esiintyvät käsitteet määritellään seuraavasti: Olkoon (P,≤) osittain järjestetty joukko. Osajoukko T on täysin järjestetty jos jokaisella s, tT on voimassa joko st tai ts. Tällaisella joukolla T on yläraja uP jos tu kaikilla tT. Huomaa, että u on P:n alkio, mutta ei välttämättä kuulu T:hen. P:n maksimaalinen alkio on sellainen alkio mP, että ainoa alkio xP, jolle xm on x = m.[1]

Kuten hyvinjärjestyslause, Zornin lemma on yhtäpitävä valinta-aksiooman kanssa siinä mielessä, että toinen lause seuraa toisesta kunhan joukko-opin Zermelon-Fraenkelin aksioomat oletetaan tunnetuiksi. Zornin lemman avulla voidaan todistaa monia kuuluisia lauseita, kuten esimerkiksi funktionaalianalyysin Hahnin-Banachin lause, jokaisella vektoriavaruuden olevan kanta, Tihonovin lause, jonka mukaan kompaktien avaruuksien tulo on kompakti, jokaisella ykkösellisellä renkaalla olevan maksimaalinen ideaali ja jokaisella kunnalla olevan algebrallinen sulkeuma.[2]

Jos matematiikassa joudutaan tekemään valintoja äärellisestä joukosta, voidaan yleensä tapaus tapaukselta tarkastaa toteuttaako tietty alkio annetut ehdot. Monesti matematiikassa joudutaan kuitenkin valitsemaan alkioita äärettömästä joukosta, vieläpä voidaan joutua valitsemaan useita alkioita samanaikaisesti. Tällöin Zornin lemma on käyttökelpoinen.

Zornin lemmaa käytetään useimmiten siten, että ensin etsitään jotkin struktuurit, jotka toteuttavat todistettavana asiana olevat ehdot. Näille asetetaan paremmuusjärjestys ja Zornin lemmaa käytetään sen osoittamiseen, että tässä paremmuusjärjestyksessä on olemassa paras vaihtoehto.

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. a b Jussi Väisälä: Topologia II, s. 73-74. Limes ry, 1981. ISBN 951-745-082-6.
  2. Otavan suuri Ensyklopedia, 3. osa (Hasek-juuri), s. 2401, art. Joukko-oppi. Otava, 1978. ISBN 951-1-02232-6.
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.