Dubbio sul teorema di Bolzano -Weistrass

Comeover
http://web.uniud.it/didattica/offerta/c ... endici.pdf

Nel link c'è la dimostrazione del teorema.
La cosa che vorrei chiedervi è quando divide I in due sottointervalli,cosa è che mi dice che in almeno uno di essi sono contenuti infiniti elemento della successione? :?

Risposte
Rigel1
Se ciascuno dei due intervalli contenesse solo un numero finito di punti, allora l'insieme sarebbe finito.

Comeover
Potesti spigarti un po meglio?
grazie

Rigel1
Non è che ci sia molto di più da dire.
Tu hai un insieme infinito \(E\), contenuto, diciamo, in \([0,2]\).
E' chiaro che almeno uno dei due intervalli \([0,1]\), \([1,2]\) contiene infiniti punti di \(E\). Supponi infatti per assurdo che ciascuno dei due contenga solo un numero finito di punti di \(E\); per fissare le idee, diciamo che \([0,1]\) contiene 12 punti di \(E\), mentre \([1,2]\) ne contiene 21. Poiché \(E \subset [0,1]\cup [1,2]\), questo significa che \(E\) contiene al più \(12+21=33\) punti, in contraddizione col fatto che sia infinito.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.