[Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda Bremen000 » 22/01/2019, 18:32

Esercizio
Sia \( X := (c_{00}, \| \cdot \|_{\infty} ) \) e si consideri la successione di mappe \( \{L_n \}_{n \in \mathbb{N}} \) tali che
\[ L_n : X \to \mathbb{R} \quad \quad \quad x \mapsto \sum_{k=1}^n x_k \quad \quad \forall \, \, x = \{ x_k \}_{k \in \mathbb{N}} \in c_{00} \]

1) Si dimostri che per ogni \( n \in \mathbb{N} \) la mappa \( L_n \) è lineare e continua. Se ne calcoli inoltre la norma.

2) Si dimostri che per ogni \( x \in X \) la successione \( \{ L_n(x) \}_{n \in \mathbb{N}} \subset \mathbb{R} \) è limitata e che esiste \( \lim_{n \to \infty} L_n(x) \). Dedurne che $X$ è di prima categoria in sé.

3) Sia
\[ E := \{ x \in X \mid |L_n(x) | \le 1 \, \, \forall \, \, n \in \mathbb{N} \} \]
Dimostrare che $E$ è chiuso e ha parte interna vuota e che vale \( X = \bigcup_{n \in \mathbb{N}} nE \).


Dettagli per notazioni e definizioni:
Testo nascosto, fai click qui per vederlo
Indico con \( \mathbb{N} = \{ 1, 2, \dots \} \) l'insieme degli interi positivi.
\( c_{00} \) è l'insieme delle mappe da \( \mathbb{N} \) in \(\mathbb{R} \) definitivamente nulle cioè
\[c_{00} := \{ \{ a_k \}_{k \in \mathbb{N}} \mid a_k \in \mathbb{R} \, \, \forall \, \, k \in \mathbb{N} \text{ e } \exists \, \, M \in \mathbb{N} : a_m =0 \, \, \forall m > N \} \]
\( \| \cdot \|_{\infty} \) è l'usuale norma infinito cioè, presa \( x = \{ x_k \}_{k \in \mathbb{N}} \in c_{00} \), si ha
\[ \|x\|_{\infty} := \sup_{k \in \mathbb{N}} |x_k| \]
Diciamo che uno spazio topologico $X$ è di prima categoria in sé se si può scrivere come unione al più numerabile di una famiglia di sottoinsiemi rari. Diciamo che \( Y \subset X \) è raro se la sua chiusura non ha punti interni.
Se $X$ è uno spazio vettoriale, $E \subset X$ e $a \in \mathbb{R}$ l'insieme $aE$ è definito come
\[ aE := \{ ax \mid x \in E \} \]
"Nessuno riuscirà a cacciarci dal Paradiso che Cantor ha creato per noi." (Hilbert)
Bremen000
Senior Member
Senior Member
 
Messaggio: 1129 di 1225
Iscritto il: 08/09/2015, 12:16

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda gabriella127 » 23/01/2019, 01:54

Ciao Bremen, questo esercizio mi ha incuriosito, e se non tu lo avessi bumpato ti avrei chiesto io di riprenderlo.

Hai suggerimenti per il punto 2? Su quello ho cercato di capirci qualcosa negli ultimi giorni.
L'unica cosa che mi è venuta in mente come possibile strada è questa: so che $c_00$, ossia l'insieme della successioni definitivamente nulle, nella norma $oo$, (quindi il nostro insieme $X$) ha come chiusura l'insieme delle successioni che tendono a zero, $c_0$, (a sua volta sottoinsieme delle successioni convergenti).
Quindi basterebbe mostrare che $c_0$ non ha punti interni, per mostrare che $c_00$ è raro (da qui discenderebbe che è di prima categoria in sé, mi pare).
Quello che viene detto delle successioni $L_n(x)$ nel punto 2 può servire a dimostrare che $c_0$ non ha punti interni? (E perché usare proprio le successioni $L_n$)?
"Per consolarti, o povera anima mia, ripeti:
il quadrato costrutto sovra l'ipotenusa
è la somma di quelli fatti su i due cateti".
(Ernesto Ragazzoni)
gabriella127
Average Member
Average Member
 
Messaggio: 599 di 917
Iscritto il: 16/06/2013, 16:48
Località: roma

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda Bremen000 » 23/01/2019, 11:16

Ciao gabriella, per il punto 2 ti suggerirei di non utilizzare la definizione di "insieme di prima categoria" direttamente. Sostanzialmente questo viene fatto, in modo guidato, nel punto 3. Ti suggerirei invece di, una volta che hai dimostrato che per ogni \( x \in X \) la successione di numeri reali \( \{ L_n(x) \}_{n \in \mathbb{N}} \) è convergente, usare il teorema dell'uniforme limitatezza (o di Banach-Steinhaus).

gabriella127 ha scritto:[...] per mostrare che $ c_00 $ è raro (da qui discenderebbe che è di prima categoria in sé, mi pare). [...]


Si, raro \( \Rightarrow \) prima categoria, ma mi pare un po' troppo in questo caso.

gabriella127 ha scritto:[...]
Quello che viene detto delle successioni $ L_n(x) $ nel punto 2 può servire a dimostrare che $ c_0 $ non ha punti interni? (E perché usare proprio le successioni $ L_n $)?


Una volta che avrai risolto il punto 2 seguendo il mio suggerimento ti sarà chiaro :D
"Nessuno riuscirà a cacciarci dal Paradiso che Cantor ha creato per noi." (Hilbert)
Bremen000
Senior Member
Senior Member
 
Messaggio: 1131 di 1225
Iscritto il: 08/09/2015, 12:16

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda gabriella127 » 23/01/2019, 13:36

Gazie del suggerimento.

Bremen000 ha scritto:
Si, raro \( \Rightarrow \) prima categoria, ma mi pare un po' troppo in questo caso.


Mah, mi pare che sia così.
Voglio dire, l'unione numerabile di insiemi rari comprende anche l'unione finita, e quindi anche un singolo insieme.
Ad esempio, l'insieme costituito da un singolo punto in $R$ è raro e pure magro (prima categoria).
Non vale per $Q$ che è denso, e quindi bisogna per far vedere che è di prima categoria bisogna far vedere che è unione numerabile di insiemi rari.
Tutto qui.

Intendo dire SE $c_00$ fosse raro, non sto dicendo che lo è.

Però può essere mi sbaglio, ci ripenso.

Grazie ancora.
gabriella127
Average Member
Average Member
 
Messaggio: 600 di 917
Iscritto il: 16/06/2013, 16:48
Località: roma

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda Bremen000 » 23/01/2019, 16:32

Penso di non essermi fatto capire: volevo dire che sì, è vero che raro implica di prima categoria, ma che non è il nostro caso. Cioè $c_{00}$ non è raro, e che quindi era troppo pretendere che lo fosse.
"Nessuno riuscirà a cacciarci dal Paradiso che Cantor ha creato per noi." (Hilbert)
Bremen000
Senior Member
Senior Member
 
Messaggio: 1132 di 1225
Iscritto il: 08/09/2015, 12:16

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda gabriella127 » 23/01/2019, 19:13

Ok scusami tu, avevco frainteso.
"Per consolarti, o povera anima mia, ripeti:
il quadrato costrutto sovra l'ipotenusa
è la somma di quelli fatti su i due cateti".
(Ernesto Ragazzoni)
gabriella127
Average Member
Average Member
 
Messaggio: 601 di 917
Iscritto il: 16/06/2013, 16:48
Località: roma

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda Bremen000 » 25/01/2019, 19:36

Anche se è molto facile, metto in spoiler la soluzione del primo punto. Pian piano metterò il resto.
Testo nascosto, fai click qui per vederlo
Sia \( n \in \mathbb{N} \) fissato. Chiaramente \( L_n \) è lineare per la linearità della somma. Dunque, per dimostrare che è continuo, è sufficiente mostrare che è limitato. Sia quindi \( x = \{ x_k \}_{k \in \mathbb{N}} \in c_{00} \), allora

\[ |L_n(x)| = \biggl | \sum_{k=1}^n x_k \biggr | \le \sum_{k=1}^n |x_k| \le \sum_{k=1}^n \|x\|_{\infty} = n \|x\|_{\infty} \]
e dunque abbiamo che \( \|L_n\|_{\text{op}} \le n \) e che \( L_n \) è continuo.
Prendiamo poi \( x \in c_{00} \) tale che

\[ x_k = \begin{cases} 1 \quad & \text{ se } 1 \le k \le n \\ 0 \quad & \text{ se } k > n \end{cases} \]

Allora \( \|x\|_{\infty} = 1 \) e
\[ |L_n(x) |= \sum_{k=1}^n 1 = n \]
quindi \( \|L_n\|_{\text{op}} \ge n \) cioè concludiamo che \( \|L_n\|_{\text{op}} = n \).
"Nessuno riuscirà a cacciarci dal Paradiso che Cantor ha creato per noi." (Hilbert)
Bremen000
Senior Member
Senior Member
 
Messaggio: 1138 di 1225
Iscritto il: 08/09/2015, 12:16

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda gabriella127 » 25/01/2019, 21:54

Mi chiedo perché nessuno risponde a questo post, forse ci sta un intoppo di qualche tipo.
Quindi adesso posterò il mio intoppo (non so se Bremen000 lo vive come una promessa o una minaccia ...)
Ho un po' cercato di pensare sull'esercizio, seguendo quanto suggerito da Bremen000, cioè di usare il teorema di Banach Steinhaus, e ho qualche perplessità sul teorema. Però ritengo che sia un dubbio interessante in sé.
Metto nascoste le mie considerazioni, caso mai qualcuno non volesse farsi fuorviare da eventuali scemenze che dirò :)
(sto riprendendo ora un po' di analisi funzionale, dopo avere fatto un corso purtroppo lasciato a metà parecchio tempo fa, e al teorema di Banach Steinhaus non c'ero arrivata).

Testo nascosto, fai click qui per vederlo
Mi riferisco sempre al punto 2 dell'esercizio. Cercando di capire come fare a dimostrare che $c_00$ è di prima categoria con il teorema di Banach Steinhaus (BS nel seguito) non ne sono venuta a capo.
Mi sembra che l'unica cosa che si possa dimostrare è che $c_00$ non è di Banach, perché non soddisfa le condizioni del teorema di BS: la famiglia di mappe $L_n$ etc. etc. è puntualmente limitata, ma non uniformemente limitata .Dovrebbe venire dal punto 2 che è puntualmente limitata, e dal fatto che ha norma $n$ (questo mi era venuto) che non è uniformemente limitata.
Una volta stabilito che $c_00$ non è di Banach, picche, non si può dedurre che è di prima categoria, non mi pare che valga il viceversa del teorema di Baire.


Poi ho avuto una illuminazione (forse) proprio da un vecchio post su Matematicamente, "A proposito di Banach Steinhaus".

In genere nei libri di analisi funzional si dice che BS richiede la completezza dello spazio di partenza delle mappe, per cui si ipotizza che questo sia di Banach.
Nel post ci si chiedeva se questa ipotesi fosse necessaria, ed è stato risposto che non si richiedeva la completezza, ma solo che l'insieme di partenza fosse di seconda categoria (citavano il libro di Rudin di analisi funzionale per approfondimenti).
E in effetti ho trovato un paio di posti, il libro di analisi funzionale di Yosida e una dispensa dell'università di Padova, in cui non si richiede che sia di Banach ma solo di seconda categoria (se di Banach sarebbe di seconda categoria per il teorema di Baire).
Così l'esercizio tornerebbe.

Allora perché si dice sempre che BS richiede completezza?
Guardando rapidamente una dimostrazione di BS, vedo che l'ipotesi che sia di Banach viene usata in effetti solo per dire che è di seconda categoria (tramite il Teorema di Baire).
gabriella127
Average Member
Average Member
 
Messaggio: 607 di 917
Iscritto il: 16/06/2013, 16:48
Località: roma

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda Bremen000 » 25/01/2019, 22:22

Ciao gabriella! Si la soluzione che dai è corretta:
Testo nascosto, fai click qui per vederlo
e hai anche ragione sul teorema di Banach-Steinhaus. La versione con le ipotesi ridotte all'osso è la seguente:
Siano \( X \) e \( Y \) spazi vettoriali normati e sia \( \mathcal{F} \subseteq L(X,Y) \) (l'insieme degli operatori lineari e continui da \( X \) in \( Y \) ). Se \(X \) è di seconda categoria in sé e per ogni \(x \in X \) esiste un \( M_x \in \mathbb{R} \) tale che
\[ \sup \{ \|Lx\|_Y \mid L \in \mathcal{F} \} \le M_x \]
allora esiste \( M \in \mathbb{R} \) tale che
\[ \sup \{ \|L\|_{op} \mid L \in \mathcal{F} \} \le M \]

E fallendo il teorema nel nostro caso, deve essere che \( X \) è di prima categoria in sé.

Ti aspetto per il punto 3. :D
"Nessuno riuscirà a cacciarci dal Paradiso che Cantor ha creato per noi." (Hilbert)
Bremen000
Senior Member
Senior Member
 
Messaggio: 1140 di 1225
Iscritto il: 08/09/2015, 12:16

Re: [Ex-Analisi funzionale] Un insieme di prima categoria

Messaggioda gabriella127 » 25/01/2019, 22:28

Grazie mille Bremen, mi fa piacere, perché lo trovavo interessante, ma ci stavo sbattendo la testa. Riguarderò il tutto con attenzione appena posso.
gabriella127
Average Member
Average Member
 
Messaggio: 608 di 917
Iscritto il: 16/06/2013, 16:48
Località: roma

Prossimo

Torna a Analisi superiore

Chi c’è in linea

Visitano il forum: Nessuno e 4 ospiti