Citat:
Ursprungligen postat av muminporr
Tack för svaret, men tyvärr var det inte riktigt det jag var ute efter. Bakgrunden till mitt problem är att jag försöker hitta ett sätt att, utifrån antagandet att ℝ är sammanhängande, visa att supremumegenskapen gäller. Min första idé var att anta att det inte finns någon minsta övre gräns och på så sätt få fram en motsägelse.
Aha.
Jag hoppas ändå att bilden av att supremumaxiomet säger att det inte finns "hål" hjälper lite att förstå varför sammanhängandehet har nånting med saken att göra.
Säg att vi har en uppåt begänsad delmängd X i ℝ som saknar supremum.
Detta säger att sup X "inte finns".
Poängen är att då är A = {x ∈*ℝ, x < sup X} och B = {x ∈ ℝ, x > sup X} en uppdelning av ℝ i två disjunkta öppna delmängder, och alltså är ℝ osammanhängande.
Detta är förstås inte ett bevis, eftersom sup X ju inte finns, så definitionerna är helt meningslösa.
Dock, om du kan komma på ett sätt att definiera A och B utan att använda sup X, (och visa att de är öppna, disjunkta, och unionen är hela ℝ) så fungerar beviset. Så det är bara att klura ut ett annat sätt att definiera A och B, men ha i åtanke att vi fortfarande vill att
A = {x ∈ ℝ, x < sup X}
B = {x ∈ ℝ, x > sup X},
frånsett då detaljen att sup X inte finns.