Teorema della non completezza di Q

Muniez10
Salve sono uno studente della facoltà di matematica e sono alle prese con "il teorema della non completezza di Q". Ho visto precedenti argomentazioni a riguardo sul sito ma non ho trovato ciò che cercavo.
Presi due insiemi A,B in Q non vuoti e separati, A={x in Q: x>0 e x^2<2} e B={x in Q: x>0 e x^2>2} , e dimostrato per assurdo che NON esiste "e" in Q : e>0 e e^2=2, come dimostrare nei dettagli che A non ha massimo e B non ha minimo?
Grazie per l'aiuto !

Risposte
Plepp
Se prendi $x\in A$, allora anche $x+1/n\in A$ se $n$ è abbastanza grande... ;)

Muniez10
Ciao e grazie della risposta ma a dir la verità non è quello che cercavo. Se conosci volevo sapere la dimostrazione completa.
Grazie mille.

Plepp
La (una) dimostrazione completa è questa :| cos'altro credi ci sia da fare?

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