Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Installi
Kiiremini kui brauser!
 

Zorni lemma

Index Zorni lemma

Zorni lemma ehk Kuratowski-Zorni lemma on oluline hulgateooria teoreem, mis ütleb: Zorni lemma kehtib, kui eeldatakse valikuaksioomi.

18 suhted: Alamhulk, Ekvivalents, Element (matemaatika), Hulgateooria, Hulkade süsteem, Järjestus, Kazimierz Kuratowski, Lineaarne järjestus, Max August Zorn, Osaliselt järjestatud hulk, Pärisalamhulk, Tõestus, Teoreem, Valikuaksioom, Zermelo teoreem, Zermelo-Fraenkeli aksiomaatika, 1922, 1935.

Alamhulk

Venni diagramm: ''A'' on ''B'' alamhulk ehk ''B'' on ''A'' ülemhulk Matemaatikas nimetatakse hulka A hulga B alamhulgaks ehk osahulgaks ehk alamsüsteemiks, kui kõik hulga A elemendid on ühtlasi hulga B elemendid.

Uus!!: Zorni lemma ja Alamhulk · Näe rohkem »

Ekvivalents

Ekvivalents ehk bikonditsionaal ehk vastavus on loogikatehe, mis vastab seosele "...

Uus!!: Zorni lemma ja Ekvivalents · Näe rohkem »

Element (matemaatika)

Elemendiks nimetatakse matemaatikas üksteisest erinevaid objekte, mis moodustavad hulga.

Uus!!: Zorni lemma ja Element (matemaatika) · Näe rohkem »

Hulgateooria

Hulgateooria on matemaatika haru, mis uurib hulkade üldisi omadusi, samuti järjestusi ja muid seoseid ning mõningaid muid valdkondi.

Uus!!: Zorni lemma ja Hulgateooria · Näe rohkem »

Hulkade süsteem

Hulkade süsteem on matemaatikas selline hulk, mille elementideks on hulgad.

Uus!!: Zorni lemma ja Hulkade süsteem · Näe rohkem »

Järjestus

Järjestuseks ehk järjestusseoseks nimetatakse matemaatikas binaarset seost, mis on kas.

Uus!!: Zorni lemma ja Järjestus · Näe rohkem »

Kazimierz Kuratowski

thumb Kazimierz Kuratowski (2. veebruar 1896 Varssavi – 18. juuni 1980 Varssavi) oli Poola matemaatik ja loogik.

Uus!!: Zorni lemma ja Kazimierz Kuratowski · Näe rohkem »

Lineaarne järjestus

Lineaarseks järjestuseks nimetatakse matemaatikas osalist järjestust, mille puhul iga elementide paar on võrreldav.

Uus!!: Zorni lemma ja Lineaarne järjestus · Näe rohkem »

Max August Zorn

Max August Zorn (Jena, 1930) Max August Zorn (6. juuni 1906 Krefeld, Saksamaa – 9. märts 1993 Bloomington, Indiana) oli saksa päritolu USA matemaatik.

Uus!!: Zorni lemma ja Max August Zorn · Näe rohkem »

Osaliselt järjestatud hulk

Osaliselt järjestatud hulk ehk järjestatud hulk on hulk P, millel on defineeritud binaarne seos ≤ (osaline järjestus), mis on refleksiivne, transitiivne ja antisümmeetriline, ehk teiste sõnadega, hulga P mis tahes elementide a, b ja c puhul kehtivad tingimused Nii naturaalarvude, täisarvude, ratsionaalarvude ja reaalarvude tavapärane järjestus on osaline järjestus.

Uus!!: Zorni lemma ja Osaliselt järjestatud hulk · Näe rohkem »

Pärisalamhulk

Hulk A on hulga B pärisalamhulk parajasti siis, kui hulk A on hulga B alamhulk, mis ei ühti hulgaga B. Ü.

Uus!!: Zorni lemma ja Pärisalamhulk · Näe rohkem »

Tõestus

Tõestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud.

Uus!!: Zorni lemma ja Tõestus · Näe rohkem »

Teoreem

publisher.

Uus!!: Zorni lemma ja Teoreem · Näe rohkem »

Valikuaksioom

Valikuaksioom ehk valiku aksioom ehk Zermelo aksioom (inglise keeles axiom of choice, lühend AC) on hulgateooria aksioom, mille kohaselt mittetühjade hulkade mistahes süsteemi korral leidub kujutus, mis seab selle süsteemi igale hulgale vastavusse tema teatava esindaja.

Uus!!: Zorni lemma ja Valikuaksioom · Näe rohkem »

Zermelo teoreem

Zermelo teoreem ehk täieliku järjestuse teoreem on oluline teoreem hulgateoorias (täpsemalt Zermelo-Fraenkeli hulgateoorias), mis ütleb: Kui eeldada ülejäänud aksioome Zermelo-Fraenkeli aksiomaatikas, on Zermelo teoreem samaväärne nii valikuaksioomiga kui ka Zorni lemmaga.

Uus!!: Zorni lemma ja Zermelo teoreem · Näe rohkem »

Zermelo-Fraenkeli aksiomaatika

Valikuaksioomiga Zermelo-Fraenkeli aksiomaatika ehk valikuaksioomiga Zermelo-Fraenkeli hulgateooria ehk Zermelo-Fraenkeli aksiomaatika ehk Zermelo-Fraenkeli hulgateooria (tähis ZFC või ZF + C) on üks aksiomaatilise hulgateooria variante, tänapäeval standardne variant.

Uus!!: Zorni lemma ja Zermelo-Fraenkeli aksiomaatika · Näe rohkem »

1922

1922.

Uus!!: Zorni lemma ja 1922 · Näe rohkem »

1935

1935.

Uus!!: Zorni lemma ja 1935 · Näe rohkem »

Ümbersuunamised siin:

Kuratowski-Zorni lemma, Maksimumiprintsiip.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »