Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda obnoxious » 23/08/2019, 23:56

Non ho idea di come si faccia, e potrebbe anche essere banale.

Supponiamo che \( X \) sia uno spazio di Banach non riflessivo e \( X'\) il suo duale topologico, è vero che esiste (sempre) un operatore lineare e continuo \( T : X' \to X \) suriettivo?

Uno potrebbe provare a chiarirsi le idee pigliando \( X = L^1\).
Morì mentre noialtri fumavamo nel cortile
obnoxious
Average Member
Average Member
 
Messaggio: 106 di 676
Iscritto il: 22/03/2019, 11:45

Re: Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda dissonance » 27/08/2019, 13:20

obnoxious ha scritto:Uno potrebbe provare a chiarirsi le idee pigliando \( X = L^1\).

In quel caso \(T\colon L^\infty \to L^1\). Esiste una mappa suriettiva di \(L^\infty\) in \(L^1\)? Non saprei dimostrarlo, ma mi sembra strano, sospetterei che una tale mappa non esiste. Infatti, ciò implicherebbe che \(L^1\) è isomorfo al quoziente \(L^\infty / \mathrm{ker} T\), e questo potrebbe essere falsificabile con qualche ragionamento di tipi e cotipi: https://ncatlab.org/nlab/show/type+(functional+analysis)

Ma sono cose di cui non so praticamente niente.
dissonance
Moderatore
Moderatore
 
Messaggio: 15591 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda dissonance » 23/10/2019, 11:19

Mi sono appena accorto che il link del mio post precedente viene interpretato male dal parser. Ecco il link corretto.
dissonance
Moderatore
Moderatore
 
Messaggio: 15727 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda obnoxious » 23/10/2019, 21:59

Ciao dissonance, grazie. Non ho più pensato a questo problema, me ne si sono presentati altri centomila.
Morì mentre noialtri fumavamo nel cortile
obnoxious
Average Member
Average Member
 
Messaggio: 115 di 676
Iscritto il: 22/03/2019, 11:45

Re: Esiste sempre un \(u T: X' \to X \) suriettivo?

Messaggioda dissonance » 23/10/2019, 22:48

Ah certo, è così, i problemi non mancano mai. Ho fatto una ricerca su internet, e ho visto che l'idea di usare tipi e cotipi POTREBBE funzionare, ma ci sono una miriade di dettagli da controllare e io non lo farò di sicuro. :-)
dissonance
Moderatore
Moderatore
 
Messaggio: 15731 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda _fabricius_ » 03/12/2019, 20:01

Una domanda per dissonance. Ma tipo e cotipo sono invarianti per norme equivalenti? Perché col ragionamento di sopra si ottiene (mi sembra) solo un isomorfismo e non un'isometria.
Ingressum instruas, progressum dirigas, egressum compleas.
Avatar utente
_fabricius_
Junior Member
Junior Member
 
Messaggio: 186 di 382
Iscritto il: 01/04/2013, 19:02
Località: Bari

Re: Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda dissonance » 03/12/2019, 21:33

Si, sono invarianti per solo isomorfismo, non serve che ci sia isometria.
dissonance
Moderatore
Moderatore
 
Messaggio: 15823 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Esiste sempre un \( T: X' \to X \) suriettivo?

Messaggioda _fabricius_ » 05/12/2019, 13:43

Vero, e pensare che era anche messo in chiaro sulla pagina nCatLab! Mi aveva tratto in errore il ragionare sul caso finito-dimensionale, mentre appunto sono strumenti nati per distinguere gli spazi infinito-dimensionali.
Ingressum instruas, progressum dirigas, egressum compleas.
Avatar utente
_fabricius_
Junior Member
Junior Member
 
Messaggio: 188 di 382
Iscritto il: 01/04/2013, 19:02
Località: Bari


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite