Spazi normati compatti?

Messaggioda anto_zoolander » 14/02/2019, 06:31

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$
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3722 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Spazi normati compatti?

Messaggioda dissonance » 14/02/2019, 09:25

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.
dissonance
Moderatore
Moderatore
 
Messaggio: 14973 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Spazi normati compatti?

Messaggioda fmnq » 14/02/2019, 09:47

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.
Ultima modifica di fmnq il 14/02/2019, 16:45, modificato 1 volta in totale.
fmnq
Average Member
Average Member
 
Messaggio: 205 di 764
Iscritto il: 03/10/2017, 23:14

Re: Spazi normati compatti?

Messaggioda anto_zoolander » 14/02/2019, 13:41

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$?
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3723 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Spazi normati compatti?

Messaggioda fmnq » 14/02/2019, 14:32

anto_zoolander ha scritto:con “copie di $RR$” intendi sottospazi isomorfi a $RR^n$?

Contiene delle rette; le rette non sono compatte.
fmnq
Average Member
Average Member
 
Messaggio: 206 di 764
Iscritto il: 03/10/2017, 23:14

Re: Spazi normati compatti?

Messaggioda dissonance » 14/02/2019, 14:38

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.
dissonance
Moderatore
Moderatore
 
Messaggio: 14975 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Spazi normati compatti?

Messaggioda anto_zoolander » 14/02/2019, 14:45

@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.
Ultima modifica di anto_zoolander il 14/02/2019, 14:59, modificato 1 volta in totale.
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3724 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Spazi normati compatti?

Messaggioda fmnq » 14/02/2019, 15:00

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.
fmnq
Average Member
Average Member
 
Messaggio: 207 di 764
Iscritto il: 03/10/2017, 23:14

Re: Spazi normati compatti?

Messaggioda fmnq » 14/02/2019, 15:02

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.
fmnq
Average Member
Average Member
 
Messaggio: 208 di 764
Iscritto il: 03/10/2017, 23:14

Re: Spazi normati compatti?

Messaggioda anto_zoolander » 14/02/2019, 15:06

Ok ora non ho più alcun dubbio, grazie :-)
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3725 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Prossimo

Torna a Analisi superiore

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite