Pagina 1 di 2

Spazi normati compatti?

MessaggioInviato: 14/02/2019, 06:31
da anto_zoolander
Ciao!

È possibile avere uno spazio normato compatto(per ricoprimenti) relativamente alla topologia indotta dalla norma?

Ho mostrato inizialmente che uno spazio metrico $(X,d)$ avente diametro infinito non può essere compatto; in genere, per qualche suo punto, uno spazio coincide con $bigcup_(n inNN)B(x,n)$1 da cui non è possibile estrarre alcun sottoricoprimento finito quando il diametro è infinito.

Consideriamo ora uno spazio normato $(X,norm(*))$ avente almeno un vettore $x$ con norma non nulla

$n norm(x)=norm(nx-0)leq s u p_((z,y) inX)norm(z-y)$ per ogni $n in NN$

quindi il diametro è infinito.

Sto delirando?

Note

  1. $B(x,n)$ indica la palla aperta di centro $x$ e raggio $n$

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 09:25
da dissonance
No, su, è molto semplice. Fissa un vettore \(v\ne 0\); la successione \(\{nv\}_{n\in\mathbb N}\) non ha estratte convergenti. Non so cosa hai scritto ma davvero non vale la pena di soffermarsi troppo.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 09:47
da fmnq
Nessuno spazio vettoriale $V$ su $RR$ o su $CC$ è compatto con la topologia reale, e il motivo è che contiene copie di $RR$ (che non è compatto: se $V$ fosse compatto, intersecheresti il sottoricoprimento finito di un $U_i$ che copre $V$ per ottenerne uno di $RR$).

In generale, qualsiasi campo normato $K$ che non abbia la norma banale (i.e. ogni elemento non nullo ha norma $1$) non è compatto, e per la stessa ragione che abbiamo dato per $RR$ un qualsasi spazio normato su $K$ non può essere compatto.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 13:41
da anto_zoolander
Grazie ad entrambi.

@peppe
Non mi ci sono soffermato però mi aveva incuriosito la cosa.
Ancora non so se ci sia qualche relazione tra le due compattezze negli spazi normati, ho fatto questo passaggio un po’ più lungo proprio per questo. Sono stato molto sintetico :-D

@fmnq
con “copie di $RR$” intendi sottospazi isomorfi a $RR^n$?

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 14:32
da fmnq
anto_zoolander ha scritto:con “copie di $RR$” intendi sottospazi isomorfi a $RR^n$?

Contiene delle rette; le rette non sono compatte.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 14:38
da dissonance
anto_zoolander ha scritto:Ancora non so se ci sia qualche relazione tra le due compattezze negli spazi normati

Ma come non lo sai. Gli spazi normati sono, in particolare, spazi metrici.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 14:45
da anto_zoolander
@peppe
Sto affrontando adesso la compattezza per ricoprimenti quindi devo vedere ancora alcuni risultati, ho dovuto stoppare topologia per dare un’altra materia :?

@fmnq
Perfetto grazie :-D
edit da quanto hai scritto sembra che se uno spazio ne contiene uno non compatto allora lo spazio di partenza è non compatto, cosa che non mi sembra vera considerando un qualsiasi intervallo chiuso in $RR$ contente almeno due punti distinti.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 15:00
da fmnq
arnett ha scritto:Domanda: okay gli $mathbb{R}$-spazi e i $\mathbb{C}$-spazi. Ma non si riesce a trovare uno spazio (vettoriale) normato compatto neanche con casi banali? Penso a qualcosa tipo spazi vettoriali su campi finiti e/o con la norma banale.

In generale se specifichi una topologia sul campo, quella induce una topologia su tutti gli spazi vettoriali (che sono omeomorfi a un prodotto di copie del campo, ovviamente).
Ora, tutti gli spazi finiti sono compatti, a prescindere dalla topologia, quindi finché consideri spazi di dimensione finita su un campo finito, qualsiasi topologia li rende compatti.

Per dimensione infinita, o campi infiniti, prendere una topologia con pochi aperti è una buona soluzione intermedia, e del resto (ad esempio) la topologia di Zariski sui campi è banale per ovvi motivi. Bisogna prendere, più in generale, una qualche topologia di Stone diversa da quella di Zariski.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 15:02
da fmnq
anto_zoolander ha scritto:da quanto hai scritto sembra che se uno spazio ne contiene uno non compatto allora lo spazio di partenza è non compatto, cosa che non mi sembra vera considerando un qualsiasi intervallo chiuso in $RR$ contente almeno due punti distinti.

Le rette sono chiuse.

Re: Spazi normati compatti?

MessaggioInviato: 14/02/2019, 15:06
da anto_zoolander
Ok ora non ho più alcun dubbio, grazie :-)