Welordening: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
fout verbeterd |
||
Regel 1: | Regel 1: | ||
In de [[ordetheorie]], een deelgebied van de [[wiskunde]], is een '''welgeordende relatie''' of '''welgeordendheid''' op een [[Verzameling (wiskunde)|verzameling]] ''S'' een ordening van de elementen van ''S'' met een [[totale orde]] en met de eigenschap dat elke niet-lege [[deelverzameling]] van ''S'' een [[grootste en kleinste element]] in deze ordening heeft. Een welgeordendheid is dus [[Welgefundeerde relatie|welgefundeerd]]. Samen met de verzameling ''S'' wordt de welgeordende relatie een '''welgeordende verzameling''' of '''welordening''' genoemd. |
In de [[ordetheorie]], een deelgebied van de [[wiskunde]], is een '''welgeordende relatie''' of '''welgeordendheid''' op een [[Verzameling (wiskunde)|verzameling]] ''S'' een ordening van de elementen van ''S'' met een [[totale orde]] en met de eigenschap dat elke niet-lege [[deelverzameling]] van ''S'' een [[grootste en kleinste element|kleinste element]] in deze ordening heeft. Een welgeordendheid is dus [[Welgefundeerde relatie|welgefundeerd]]. Samen met de verzameling ''S'' wordt de welgeordende relatie een '''welgeordende verzameling''' of '''welordening''' genoemd. |
||
In de [[verzamelingenleer]] zegt de [[welordeningsstelling]] dat elke verzameling welgeordend kan zijn. |
In de [[verzamelingenleer]] zegt de [[welordeningsstelling]] dat elke verzameling welgeordend kan zijn. |
Versie van 18 mrt 2016 00:40
In de ordetheorie, een deelgebied van de wiskunde, is een welgeordende relatie of welgeordendheid op een verzameling S een ordening van de elementen van S met een totale orde en met de eigenschap dat elke niet-lege deelverzameling van S een kleinste element in deze ordening heeft. Een welgeordendheid is dus welgefundeerd. Samen met de verzameling S wordt de welgeordende relatie een welgeordende verzameling of welordening genoemd.
In de verzamelingenleer zegt de welordeningsstelling dat elke verzameling welgeordend kan zijn.