Ekstensionaalsuse aksioom

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 Redigeeri

Zermelo-Fraenkeli aksiomaatikas esitatakse ekstensionaalsuse aksioomil kujul:

 

ehk:

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

(Õigupoolest pole ekstensionaalsuse aksioomi puhul oluline, et C oleks hulk, kuid Zermelo-Fraenkeli hulgateooria käsitab hulkadena kõike.)

Teistpidine väide  tuleneb võrdsuse omadusest, et võrdsetel objektidel on täpselt samad omadused.

Tõlgendus Redigeeri

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

Ekstensionaalsuse aksioomi alusel saab iga lausega kujul   defineerida unikaalse hulga  . 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 Redigeeri

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 Redigeeri

Ü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:

 .

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

Urelementidega hulgateoorias Redigeeri

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   mõttetu, kui   ei ole hulk, mistõttu ekstensionaalsuse aksioom lihtsalt käib ainult hulkade kohta.

Tüüpideta loogikas saab esitada nõude, et   oleks väär, kui   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:

 

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   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:

 

Klassidega hulgateoorias Redigeeri

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

 

Sõltumatus ja kooskõlalisus Redigeeri

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 Redigeeri

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 Redigeeri

Märkused Redigeeri

  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 Redigeeri