Ernst Zermelo opstillede i 1908 et sæt aksiomer for mængdelæren som omformulerede i 1922 og udbyggede med .
Undertiden udelades udvalgsaksiomet af Zermelo-Fraenkels aksiomer på grund af dets problematiske natur.
Aksiomerne kan formuleres:
- (Den tomme mængde) Der eksisterer en mængde hvori ingen elementer er medlem.
- (Foreningsmængde) For ethvert par af mængder findes en mængde bestående af netop alle elementer fra de to første mængder.
- (Delmængde) For enhver mængde findes en mængde med elementer herfra som har en egenskab til fælles.
- (Uendelighed) For enhver mængde findes en mængde som har flere elementer.
- (Potensmængde) For enhver mængde findes en mængde bestående af alle delmængder af den første mængde.
- (Udskiftning) I enhver mængde kan elementerne udskiftes med mængder.
- (Udvalg) For enhver mængde findes en funktion som udvælger et element fra mængden.
De tre første aksiomer er tilstrækkeligt til at konstruere de naturlige tal.
Af (5) følger at der ikke er 'en største mængde' idet vi her får et redskab til at konstruere evigt voksende mængder.
(6) var det som Abraham Fraenkel tilføjede og som sikrede aksiomsystemet mod Russells paradoks.
Udvalgsaksiomet udelades i dag ofte når det er muligt fordi det er kontroversielt. Den omtalte funktion kan ikke formuleres eksplicit for eksempelvis åbne mængder af reelle tal.
Aksiomsystemet kendes også som ZFC.
Moderne formulering af ZFC
Der er mange ækvivalente formuleringer af ZFC aksiomerne. Det betyder essentielt set, at de kan afledes af hinanden. Antallet af aksiomer varierer idet der ofte af forskellige grunde listes aksiomer der kan afledes af hinanden. Her er brugt 7 aksiomer (listet ovenfor) eller 9 aksiomer (listet nedenfor) inklusivt udvalgsaksiomet , , , . Udvalgsaksiomet bruges i standard matematik fx for at bevise at alle vektorrum har en mængde af basisvektorer.
ZFC-aksiomerne er fundamentet for de fleste matematiske teoremer, dog skal det bemærkes at aksiomerne fremkom som de aksiomer som tillod at bevise de teoremer man mente var rigtige og ikke omvendt. ZFC er i øvrigt ikke komplet.
Brugen af aksiomer
Aksiomerne bruges til at bevise udsagn om mængder ved en veldefineret proces, en beviskæde med et endelig antal skridt, som udgør et bevis: Dette gøres udelukkende ved anvendelse af tre forskellige metoder i beviskæden: For hvert trin i beviskæden 1) at referere hvilket aksiom der anvendes eller 2) anvende en tautologi (som er sande i sig selv ) eller 3) modus ponens (samtidig anvendelse af to tidligere beviste udtryk i beviskæden). Dette gør det muligt og helt klart at der er tale om et bevis.
En målsætning når man skal skabe fundamentale aksiomer er at der skal være så få forudfattede begreber i aksiomerne som muligt for at forhindre at disse senere findes ikke at være korrekte, hvilket er sket flere gange i matematikkens historie. Hvordan dette kan gøres illustreres nedenfor.
Opbygning af aksiomer
Mængdelære bygger på postulatet at der er en fundamental binær relation , den eneste definition af
og mængde findes i de 7 aksiomer (listet ovenfor) eller 9 aksiomer (listet nedenfor) som handler om dem, der er i den forstand ingen formel definition.
Ud over dette benyttes nogle logiske operatorer, som antages kendte (fra logikken). fx
betyder logisk NOT.
betyder for alle
(det er en kvantor).
betyder der eksisterer et
(det er en Kvantor).
betyder der eksisterer et unikt
.
betyder der eksisterer intet
.
betyder logisk OR.
betyder logisk AND.
Udtale og form:
( siges
er et element (i)
eller
i
...)
er et prædikat med to variable, symbolet placeres normalt mellem de to variable.
Vi kan definere
er ikke et element i
:
er en delmængde af
:
- Lighed:
De to første aksiomer er eksistensaksiomer.
er et udsagn (dvs. er enten sand eller falsk) hvis og kun hvis x og y er mængder. Dvs at hvis
og/eller
ikke er en mængde(r) så er
ikke et udsagn. (I naiv mængde teori (som læres i skolen) kan
være andet end en mængde, derved kan paradokser blive et problem)
- Eksistens af den tomme mængde:
(der er kun én tom mængde betegnet
)
- Paraksiomet: Lad
og
være mængder. Der eksisterer en mængde, der som elementer indeholder
og
:
(bemærkning: Der anvendes en notation
for en mængde. Rækkefølgen af
og
har ingen betydning
, hvis
får man
eller
da identiske elementer ikke tæller mere end en gang)
- Foreningsmængde: Lad
være en mængde. Så findes der en mængde hvis elementer netop er elementer af elementerne af
(kaldet foreningsmængden) Notation:
. Eksempel: Lad
være mængder ,
er en mængde (ifølge aksiomet om par) og
er en mængde og
er en mængde.
- Aksiom om udskiftning (Skema): Lad
være en funktionel relation:
. (En mange-til-en relation mellem to sæt attributter indenfor en given relation.) Værdimængden af en mængde
under en funktionel relation
består af alle de
for hvilke der er et
således at
. Princippet om begrænset mængdebygning (også kaldet delmængdeaksiomet) følger af dette aksiom (5): Lad
være et prædikat i en variabel og lad
være en mængde. De elementer
, for hvilke
er sand, er en mængde
. Dette kaldes et skema, fordi det egentlig ikke er et enkelt aksiom, det er et aksiom for hvert prædikat. I naiv mængdeteori behøver
ikke at være begrænset (universel mængdebygning), hvilket leder til paradokser.
- Potensmængdeaksiomet: Hvis
er en mængde, så er potensmængden
mængden af alle delmængder af m:
f.eks.:
,
.
- Uendelighedsaksiomet: Der eksisterer en mængde som indeholder den tomme mængde og med ethvert af dens elementer
også indeholder
som et element. f.eks.:
. De trivielle navne for disse mængder er 0,1,2,3,... altså er
en mængde og
.
- Udvalgsaksiomet: Lad
være en mængde hvis elementer ikke er tomme og gensidigt disjunkte. Der eksisterer da en mængde
som indeholder nøjagtigt et element fra hvert element af
. Alternativt: Der eksisterer en funktion
fra
til foreningsmængden af elementerne af
kaldet en valgfunktion, således at
har man
.
- Fundamentaksiomet: Enhver ikke tom mængde
indeholder et element
som har ingen af dets elementer fælles med
. Umiddelbar konsekvens: Der er ingen mængde, som indeholder sig selv som element:
. Altså:
.
Kilder/referencer
- http://www.imm.dtu.dk/~tobo/slides01_formelle_systemer.pdf
- http://mathworld.wolfram.com/Zermelo-FraenkelAxioms.html,
- https://plato.stanford.edu/entries/set-theory/#AxiZFC
- (PDF). Arkiveret fra originalen (PDF) 10. januar 2017. Hentet 6. april 2017.
wikipedia, dansk, wiki, bog, bøger, bibliotek, artikel, læs, download, gratis, gratis download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, billede, musik, sang, film, bog, spil, spil, mobile, Phone, Android, iOS, Apple, mobiltelefon, Samsung, iPhone, Xiomi, Xiaomi, Redmi, Honor, Oppo, Nokia, sonya, mi, PC, web, computer