Ekstensionaalsuse aksioom

Allikas: Vikipeedia

Aksiomaatilises hulgateoorias nimetatakse ekstensionaalsuse aksioomiks aksioomi, mille kohaselt hulgad (või klassid), millel on täpselt samad elemendid, on võrdsed.

See on Zermelo-Fraenkeli hulgateooria üks aksioome.

Formaalne formuleering[muuda | redigeeri lähteteksti]

Zermelo-Fraenkeli aksiomaatikas esitatakse ekstensionaalsuse aksioomil kujul:

\forall A \, \forall B \, ( \forall C \, (C \in A \iff C \in B) \Rightarrow A = B)

ehk:

mis tahes hulkade A ja B puhul kehtib, et kui iga hulk C on hulga A element [[siis ja ainult siis, kui C on hulga B element, siis hulgad A ja B on võrdsed.

(Õigupoolest pole ekstensionaalsuse aksioomi puhul oluline, et C oleks hulk, kuid see on Zermelo-Fraenkeli hulgateoorias ainus võimalust.)

Teistpidine väide \forall A \, \forall B \, (A = B \Rightarrow \forall C \, (C \in A \iff C \in B) )tuleneb võrdsuse omadusest, et võrdsetel objektidel on täpselt samad omadused.

Tõlgendus[muuda | redigeeri lähteteksti]

Ekstensionaalsuse aksioom ütleb, et hulk on oma elementidega üheselt määratud.

Ekstensionaalsuse aksioomi alusel saab iga lausega kujul \exist A \, \forall B \, (B \in A \iff P(B) \, ) defineerida ainsa hulgaA. P on siin ühekohaline predikaat, mis on defineeritud hulka A mainimata, kusjuures hulga A elemendid on parajasti need hulgad, mis rahuldavad predikaati P. Niiviisi tavalise matemaatika definitsioonid töötavadki, kui nad on taandatavad hulgateooria terminitele.

Ekstensionaalsuse aksioom on omamoodi abstraktne hulga definitsioon. Ta näitab ühe viisi, kuidas objekt on määratud oma seose kaudu teiste objektidega. Hulki ei saa eristada näiteks elementide korduse järgi (nii nagu 1-st suuremad naturaalarvud on määratud oma algteguritega kordusi arvestades). Olukord ei ole ka niisugune nagu laste ja vanemate puhul, sest samal vanemate paaril võib olla mitu last või ka mitte ühtki last.

Ekstensionaalsuse aksioom tähendab sisuliselt, et hulgad on võrdsed parajasti siis, kui kõik nende omadused langevad kokku.

Ekstensionaalsuse aksioom on matemaatika alustes peaaegu üldtunnustatud, ning aksiomaatilise hulgateooria iga versioon sisaldab ekstensionaalsuse aksioomi või mõnd viimasega samaväärset väidet. Teatud juhtudel tuleb kasutada mõnd selle modifikatsiooni.

Samaväärseid väiteid[muuda | redigeeri lähteteksti]

Ekstensionaalsuse aksioomiga samaväärne on väide: kui hulgad A ja B on teineteise alamhulgad, AB ja BA, siis nad on võrdsed, A = B. Ernst Zermelo esitas aksioomi sel kujul.

Võrdsuseta predikaatloogikas[muuda | redigeeri lähteteksti]

Ülaltoodud kujul toodud aksioomi puhul on eeldatud, et võrdusmärk on predikaatloogika algsümbolite seas (võrdsusega esimest järku loogika).

Mõned aksiomaatilise hulgateooria esitused eelistavad sellest eeldusest loobuda ning kasutada ülaltoodud lauset mitte aksioomina, vaid võrdsuse definitsioonina. Siis tuleb aksiomaatikasse võrdsuse kohta käivate aksioomidena sisse võtta tavalised võrdsuse aksioomid võrdsusega predikaatloogikast. Enamik võrdsuse aksioome järeldub juba võrdsuse definitsioonist, välja arvatud see:

\forall A \, \forall B \, ( \forall C \, (C \in A \iff C \in B) \Rightarrow \forall D \, (A \in D \iff B \in D) \, ).

Sellepärast nimetataksegi selles kontekstis ekstensionaalsuse aksioomiks just viimast aksioomi.[1]

Urelementidega hulgateoorias[muuda | redigeeri lähteteksti]

Urelement on hulga element, mis ise ei ole hulk.

Zermelo–Fraenkeli aksiomaatikas urelemente ei ole, kuid mõnes teises[viide?] hulgateooria aksiomaatikas on.

Urelemente saab käsitada hulkadest erinevat tüüpi objektideba. Sel juhul on B \in A mõttetu, kui A ei ole hulk, mistõttu ekstensionaalsuse aksioom lihtsalt käib ainult hulkade kohta.

Tüüpideta loogikas saab esitada nõude, et B \in A oleks väär, kui A on urelement. Sel juhul järelduks tavalisest ekstensionaalsuse aksioomist, iga urelement on võrdne tühihulgaga. Et sellist järeldust vältida, võib ekstensionaalsuse aksioomi modifitseerida nii, et ta käiks ainult mittetühjade hulkade kohta:

\forall A \, \forall B \, ( \exist C \, (C \in A) \Rightarrow [ \forall D \, (D \in A \iff D \in B) \Rightarrow A = B ] \, ).

See tähendab:

Olgu antud mis tahes hulgad A ja B; siis kehtib, et kui A on mittetühi hulk (see tähendab, kui hulgal A eksisteerib element C), siis kehtib, et kui hulkadel A ja B on täpselt samad elemendid, siis nad on võrdsed.

Tüüpideta loogikas on veel see võimalus, et iga urelementi A peetakse definitsiooni järgi iseenda ainsaks elemendiks. Siis ei ole tarvis ekstensionaalsuse aksioomi modifitseerida, see-eest aga tuleb modifitseerida regulaarsuse aksioomi.

Teoorias ZFU kitsendatakse muutujad hulkadele:

A\text{ on hulk } \land B\text{ on hulk } \Rightarrow (A=B \iff\forall C\colon (C\in A \iff C\in B))

Klassidega hulgateoorias[muuda | redigeeri lähteteksti]

Klass hulgateooriates kasutatakse ekstensionaalsuse aksioomi üldisemalt vabade klassimuutujatega, näiteks Ackermanni hulgateoorias:

A=B \iff\forall C\colon (C\in A \iff C\in B)

Sõltumatus ja kooskõlalisus[muuda | redigeeri lähteteksti]

Ekstensionaalsuse aksioom on sõltumatu teistest aksiomaatika ZF aksioomidest (Abian, LaMacchia 1978). Lähtudes pärilikult lõplike hulkade mudelist on võimalik konstrueerida mudel, kus samade elementidega hulgad ei ole identsed, kuid teised aksioomid kehtivad.

Kõigis ZF mudelites kehtib ekstensionaalsuse aksioom, nii et ta on ülejäänud aksioomidega kooskõlas.

Ajalugu[muuda | redigeeri lähteteksti]

Ekstensionaalsuse aksioomi väite sõnastas esimesena 1888 Richard Dedekind[2] Dedekindilt võttis Ernst Zermelo ekstensionaalsuse aksioomi üle Zermelo hulgateooriasse (1907), mis oli esimene aksiomaatiline hulgateooria.[3] Sealt jõudis ta Zermelo-Fraenkeli hulgateooriasse ning hilisematesse aksiomaatilise hulgateooria versioonidesse.

Vaata ka[muuda | redigeeri lähteteksti]

Märkused[muuda | redigeeri lähteteksti]

  1. Niisugune esitus on näiteks raamatus Takeuti, Zaring 1971.
  2. R. Dedekind. Was sind und was sollen die Zahlen?, Braunschweig 1888, §1.2. "Süsteem S on seetõttu sama mis süsteem T, märkides S=T, kui süsteemi S iga element on ka süsteemi T element ja süsteemi T iga element on ka süsteemi S element. [1]
  3. E. Zermelo. Untersuchungen über die Grundlagen der Mengenlehre, 1907. – Mathematische Annalen 65 (1908), lk 261–281, seal aksioom I, lk 263, määratletuse aksioom, millest Dedekind räägib tsiteeritud kohas. Zermelo mainib Dedekindi sissejuhatuses eeskujuna.

Kirjandus[muuda | redigeeri lähteteksti]