Se i funzionali lineari son tutti nulli in un p.to
Se i funzionali lineari son tutti nulli in un p.to
Siano K un campo di caratteristica 0, X un K-spazio lineare ed x \in X tale che f(x) = 0, per ogni $ f \in X^* $. Provare che necessariamente x = 0.
Il mio fine sarebbe capire se è possibile una dimostrazione indipendente dall'assioma di scelta, visto che non ho trovato altro modo di venirne a capo. E sempre nella stessa ottica...
Cosa si può dire se X è uno spazio lineare topologico reale, anziché un semplice spazio vettoriale, ed $ X^* $ denota adesso l'insieme di tutti i funzionali lineari continui $ X \to \mathbb{R} $?
Il mio fine sarebbe capire se è possibile una dimostrazione indipendente dall'assioma di scelta, visto che non ho trovato altro modo di venirne a capo. E sempre nella stessa ottica...
Cosa si può dire se X è uno spazio lineare topologico reale, anziché un semplice spazio vettoriale, ed $ X^* $ denota adesso l'insieme di tutti i funzionali lineari continui $ X \to \mathbb{R} $?
- psion_metacreativo
- Messaggi: 645
- Iscritto il: 01 gen 1970, 01:00
Beh se X è un k-spazio vettoriale a dimensione finita su K e se, e solo se, $ x $ è un vettore non nullo è immediato completare $ {x} $ ad una base$ \beta $ di X. Allora il primo funzionale della base di X* duale rispetto a $ \beta $ in $ x $ è non nullo.
Per gli spazi vettoriali di dimensione infinta e gli spazi topologici non ho abbastanza conoscenze comunque a naso mi sa che occorre AC...
(So che questo post è come affermare che l'acqua calda è calda, ma qualcuno dovrà pur scriverle delle banalità)
Per gli spazi vettoriali di dimensione infinta e gli spazi topologici non ho abbastanza conoscenze comunque a naso mi sa che occorre AC...
(So che questo post è come affermare che l'acqua calda è calda, ma qualcuno dovrà pur scriverle delle banalità)
- Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta:
Infatti, ma HiTLeuLeR ne cercava una senza assioma della scelta. In effetti l'assioma della scelta e' equivalente all'asserzione che ogni spazio vettoriale ammette una base, ma non mi e' chiaro se l'asserzione piu' debole che X va iniettivamente in X** sia equivalente a sua volta (sospetto di si'). Magari ci penso un po' su.
Per il caso topologico e' ancora vero, ed e' un caso particolare di Hahn-Banach, dai un'occhiata qua
http://www.dm.unipi.it/~acquistp/anacon.pdf
Ovviamente si usa di nuovo l'assioma della scelta.
Per il caso topologico e' ancora vero, ed e' un caso particolare di Hahn-Banach, dai un'occhiata qua
http://www.dm.unipi.it/~acquistp/anacon.pdf
Ovviamente si usa di nuovo l'assioma della scelta.
The best argument against democracy is a five-minute conversation with the average voter. - Winston Churchill
- Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta:
In effetti... In quanto al resto, pensavo d'essere stato chiaro (ed evidentemente mi sbagliavo): cerco conferme o smentita sulla disponibilità di una dimostrazione alternativa, che non passi (in ultima analisi) per l'assioma di scelta. In fondo, il ricorso al teorema di Hamel mi pare altrimenti scontato.EvaristeG ha scritto:[...] solo grazie all'AC si riescono a produrre esempi di spazio vettoriale a dim infinita [...]
-
- Messaggi: 774
- Iscritto il: 01 gen 1970, 01:00
- Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta:
Rispondo sia ad hitleuler che a publiosulpicio. Ho detto una cosa errata, serve che lo spazio vettoriale topologico sia localmente convesso. Quello a cui facevo riferimento era la forma geometrica del teorema di hahn banach, sta nel link che ho postato, teorema 1.7.3 pag. 38.
Teorema 1.7.3 (di Hahn-Banach, 1a forma geometrica) Sia X uno
spazio vettoriale topologico, e siano K, H sottoinsiemi non vuoti, convessi e
disgiunti di X, con K aperto. Allora esiste un funzionale lineare F : X → C,
continuo e non nullo, tale che
$ \forall x \in K F x \leq F x_0 $
Se prendo per K un intorno convesso dell'origine non contenente il punto e per H il solo punto, ho la tesi che volevo. Quello di cui non mi ero accorto e' che nel prendere K uso che la topologia sia localmente convessa.
Quindi in generale il caso topologico sembra essere falso. Sorry
Teorema 1.7.3 (di Hahn-Banach, 1a forma geometrica) Sia X uno
spazio vettoriale topologico, e siano K, H sottoinsiemi non vuoti, convessi e
disgiunti di X, con K aperto. Allora esiste un funzionale lineare F : X → C,
continuo e non nullo, tale che
$ \forall x \in K F x \leq F x_0 $
Se prendo per K un intorno convesso dell'origine non contenente il punto e per H il solo punto, ho la tesi che volevo. Quello di cui non mi ero accorto e' che nel prendere K uso che la topologia sia localmente convessa.
Quindi in generale il caso topologico sembra essere falso. Sorry
The best argument against democracy is a five-minute conversation with the average voter. - Winston Churchill
-
- Messaggi: 774
- Iscritto il: 01 gen 1970, 01:00