Udvalgsaksiomet: Forskelle mellem versioner
Content deleted Content added
Loveless (diskussion | bidrag) m robot Ændrer: ko:선택공리 |
No edit summary |
||
Linje 1:
'''Udvalgsaksiomet''' er et omdiskuteret aksiom i [[mængdelære]] formuleret af [[Ernst Zermelo]] i [[1908]]. Det postulerer eksistensen af en [[funktion]] som udtager et element i en vilkårlig ikke-tom [[mængde]]. Populært postulerer udvalgsaksiomet at hvis der haves en række ikke-tommer mængder kan der fra hver mængde vælges et element. Udvalgsaksiomet er trods sin kontroversielle status en del af grundlaget af moderne matematik sådan som det behandles af de fleste matematikere. Udvalgsaksiomet er uafhængigt af [[Zermelo-Fraenkels aksiomer]], og omtales i sammen med disse ofte som ZFC.
Det kontroversielle ved udvalgsaksiomet stammer fra at funktionen ikke er formuleret eksplicit. Med andre ord er der ingen generel metode eller opskrift til at fremstille sådan en funktion i det generelle tilfælde. Der er derfor matematikere der afviser udvalgsaksiomet i sin generelle form, og så stedet anvender en svagere version, som f.eks. det [[tællelig mængde|tællelige]] udvalgsaksiom.
Udvalgsaksiomet er i flere tilfælde forudsætning for tilsyneladende indlysende matematiske sætninger ([[velordningssætningen]]) og i andre medfører det paradokser ([[Banach-Tarskis paradoks]]). Det danner grundlag for en lang række grundlæggende sætninger.
[[Kategori:Funktioner]]
| |||