Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

Messaggioda killing_buddha » 31/07/2017, 14:16

Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

La sfida è farlo senza il teorema di Baire. :smt023
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 977 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

Messaggioda dissonance » 31/07/2017, 16:45

Intersezione...?
dissonance
Moderatore
Moderatore
 
Messaggio: 12815 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

Messaggioda killing_buddha » 31/07/2017, 18:47

Intersezione che :D
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 979 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

Messaggioda dissonance » 31/07/2017, 19:42

Niente, avevo letto male. :-)
dissonance
Moderatore
Moderatore
 
Messaggio: 12816 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

Messaggioda Rigel » 01/08/2017, 07:36

Per ogni iperpiano della famiglia consideriamo un versore a esso ortogonale; indichiamo con \(V\) la famiglia di questi versori.
Poiché \(V\) è numerabile, esiste un versore \(w\in S^{n-1}\) tale che \(w\cdot v \neq 0\) per ogni \(v\in V\).
Di conseguenza, ogni retta del tipo \(r:\ x + w t\), \(t\in \mathbb{R}\), interseca ciascun iperpiano esattamente in un punto, dunque interseca l'unione \(U\) degli iperpiani in una famiglia numerabile di punti.
Questo chiaramente implica che \(U\) non possa contenere alcun aperto non vuoto.
Rigel
Cannot live without
Cannot live without
 
Messaggio: 4282 di 7818
Iscritto il: 13/01/2010, 08:31

Re: Nessuna unione numerabile di iperpiani di $\mathbb R^n$ può contenere un aperto non vuoto di $\mathbb R^n$.

Messaggioda killing_buddha » 01/08/2017, 23:11

Sì; a me piace questo argomento: un insieme numerabile di iperpiani ha misura di Lebesgue nulla (è unione numerabile di insiemi di misura nulla), ma se contenesse un aperto dovrebbe contenere una palla di raggio $\epsilon$, ovvero avere misura $\ge\pi\epsilon^2 >0$.
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 989 di 5766
Iscritto il: 03/05/2008, 17:33


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite