un'altra dimostrazione ed un rilancino...
dim (sketch): beh, supponiamo di avere un tale ricoprimento U. dati due due intervalli I,J di questo ricoprimento, diciamo che I<J se almeno un punto di I sta a sinistra di un punto di J.
claim 1: (U,<) è isomorfo ai razionali (Q,<).
infatti basta dimostrare che l'ordine è denso e non ha estremi.
claim 2: le sezioni "irrazionali" di U corrispondono a estremi di segmenti di U.
infatti per ovvi motivi non possono corrispondere a punti interni.
beh, adesso però abbiamo troppi estremi...
rilancino: si può scrivere un aperto in qualche spazio euclideo come unione numerabile di chiusi disgiunti?
			
			
									
						
										
						unione numerabile?
Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
			
	
	
Torna a “Matematica non elementare”
			
				Vai a
				
			
		
			
			
	
	- Getting Started
 - ↳ Comitato di accoglienza nuovi utenti
 - ↳ Ciao a tutti, mi presento:
 - ↳ Glossario e teoria di base
 - Problem solving olimpico
 - ↳ Algebra
 - ↳ Combinatoria
 - ↳ Geometria
 - ↳ Teoria dei Numeri
 - Altri esercizi
 - ↳ Matematica ricreativa
 - ↳ Matematica non elementare
 - ↳ Fisica
 - ↳ Informatica
 - Supporto tecnico
 - ↳ Il sito delle olimpiadi della matematica
 - ↳ LaTeX, questo sconosciuto
 - Gare e concorsi
 - ↳ Olimpiadi della matematica
 - ↳ Gara a squadre
 - ↳ Giornalino del gruppo tutor
 - ↳ Altre gare
 - ↳ Scuole d'eccellenza e borse di studio
 - Tra un problema e l'altro...
 - ↳ Cultura matematica e scientifica
 - ↳ Il colmo per un matematico
 - ↳ Discorsi da birreria
 - I messaggi del vecchio forum (memoria storica di sola lettura)
 - ↳ [vecchio forum]Le olimpiadi della matematica
 - ↳ [vecchio forum]Come vedo il sito delle Olimpiadi della Matematica
 - ↳ [vecchio forum]Giornalino della Matematica
 - ↳ [vecchio forum]Gruppo Tutor
 - ↳ [vecchio forum]Proponi gli esercizi
 - ↳ [vecchio forum]Compro, baratto, vendo, rido!
 - ↳ [vecchio forum]Cesenatico
 - ↳ [vecchio forum]Sondaggi, che passione!
 - ↳ [vecchio forum]Proposte ai Responsabili Provinciali
 - ↳ [vecchio forum]Tra responsabili
 - ↳ [vecchio forum]Non solo Matematica!