Välordning

Från Rilpedia

(Omdirigerad från Välordnas)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

I matematiken, sägs en linjär ordning L vara en välordning om varje icke-tom delmängd till L har ett minsta element. Varje välordning är isomorf med ett och endast ett ordinaltal.

Exempel

  • Alla ändliga linjära ordningar är välordningar
  • De naturliga talen utgör en välordning
  • Om M,N är linjära ordningar så är mängden MxN försedd med den lexikografiska ordningen en välordning.
  • De reella talen är ingen välordning, eftersom exempelvis mängden av positiva reella tal inte har något minsta element.
Personliga verktyg