Convergenza uniforme, una domanda

Messaggioda giangianni » 29/04/2020, 10:25

C'è una affermazione del mio professore che non capisco, ossia:

l'unione infinita di intervalli di covergenza uniforme non è, in generale, un intervallo di convergenza uniforme.


Ho visto vari controesempi e mi hanno convinto :-D , però non capisco il motivo di fondo. Intuitivamente infatti mi sembra che unendo intervalli con tale proprietà dovrebbero "Portare" la proprietà sull'intervallo frutto di unione. Ma per quale motivo la conv. uniforme no? Mi ha sbalordito.

Ad esempio posso dimostrare che $[a,d) = \bigcup_{a< c <d} [a,c]$ fissati a e d e preso c diverso di volta in volta. Mettiamo che tali [a,c] abbiano convergenza uniforme, non è vero che: $uu_(a<c<d) [a,c] = [a,d)$ su [0,d) abbia convergenza uniforme. Eppure ho dimostrato (o meglio posso farlo) che tutti gli [a,c] formano [a,d): cosa impedisce a questa proprietà di estendersi all'unione se l'unione dimostro essere lo stesso intervallo?

Grazie!
Ultima modifica di giangianni il 30/04/2020, 12:26, modificato 1 volta in totale.
giangianni
New Member
New Member
 
Messaggio: 49 di 65
Iscritto il: 12/12/2019, 12:18

Re: Convergenza uniforme, una domanda

Messaggioda gugo82 » 30/04/2020, 01:41

Beh, potrebbe accadere questo.

Diciamo che in corrispondenza di un certo fissato $epsilon >0$ nell'intervallo $I_k$ si trovi un indice $nu_(k,epsilon) in NN$ tale che $AA n > nu_(k,epsilon),\ "sup"_(I_k) |f_n - f| < epsilon$.

Per ovvi motivi, sull'unione $X=uu_k I_k$ degli $I_k$ l'indice che dovrebbe funzionare per soddisfare la condizione di convergenza uniforme $AA n > nu_epsilon,\ "sup"_X |f_n - f| < epsilon$ è $nu_epsilon = "sup"_k nu_(k,epsilon)$.

Se gli $I_k$ sono in numero finito, l'estremo superiore è in realtà un massimo, quindi $nu_epsilon$ esiste finito e tutto funziona come si deve; ma appena gli $I_k$ sono infiniti, l'estremo superiore potrebbe non esistere finito, quindi non esisterebbe alcun $\nu_epsilon$ per cui la condizione di convergenza uniforme sia soddisfatta su $X$.
Did you exchange
A walk on part in the war
For a lead role in a cage? (Roger Waters)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 23732 di 24297
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Convergenza uniforme, una domanda

Messaggioda giangianni » 30/04/2020, 12:36

Geniale! Grazie gugo82 :). Dai sempre degli spunti bellissimi.

C'è solo una cosa che mi stona: $[a,d) = \bigcup_{a< c <d} [a,c]$ (dimostrabile) ma se io metto un "=", vuol dire che sono lo stesso oggetto, quindi lo stesso ogetto dovrebbe avere le stesse proprietà. E' questo "=" a non tornarmi molto ora come ora perché non hanno la stessa proprietà in generale: ad esempio la convergenza uniforme potrebbe non mantenersi. Cosa non ho capito?
giangianni
New Member
New Member
 
Messaggio: 51 di 65
Iscritto il: 12/12/2019, 12:18

Re: Convergenza uniforme, una domanda

Messaggioda gugo82 » 30/04/2020, 15:57

So cosa non ho capito io: la tua domanda... :lol:

Se intendi che non ti torna che la convergenza uniforme si possa provare su ogni intervallo, ma non su tutta l'unione, beh, guardati un po' intorno: sono tantissime le proprietà che "non passano al limite".

Esempio banale: la finitezza.
Se hai infiniti insiemi finiti, non è detto che la loro unione sia finita (e difatti $RR$ -che è infinito- è unione di tutti gli infiniti singleton $\{ x\}$ con $x in RR$ -che sono finiti-).
Did you exchange
A walk on part in the war
For a lead role in a cage? (Roger Waters)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 23739 di 24297
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Convergenza uniforme, una domanda

Messaggioda giangianni » 30/04/2020, 17:19

Ti prego di scusarmi se non sono stato chiaro :), probabilmente non hai capito perché è un dubbio così sempliciotto che manco ti passa per la mente possa essere un dubbio.

Di fondo è proprio "non ti torna che la convergenza uniforme si possa provare su ogni intervallo, ma non su tutta l'unione". Però la domanda è questa: io dimostro che posso scrivere l'uguaglianza seguente $[a,d) = \bigcup_{a< c <d} [a,c]$ (1) (dimostro prima l'inclusione da un lato e poi dall'altro => vale il segno di uguale).
Quindi dico, se vale il segno di uguale tra i due insiemi sono lo stesso oggetto.
Ho dimostrato che tutti gli oggetti del membro destro "assieme" formano il termine a sinistra (sono uguali) però $\sum_(n=1)^oo x^n/n$ converge uniformemente su ogni $[0,r]$ con $r<1$ (vale quindi per un intervallo tipo quello del termine a dx dell'uguglianza (1)), tuttavia non vale per il sinistro: non ho convergenza uniforme su $[0,r)$


PS. credo di aver detto una stupidaggine, in effetti non converge uniformemente nemmeno su $\bigcup_{a< c <d} [a,c]$, ma su ognuno degli $[a,c]$ che è cosa diversa di $\bigcup_{a< c <d} [a,c]$ ($[0,r]$ nel nostro caso specifico), era questo l'errore mi sa.Spero di aver raddrizzato il tiro :lol:
giangianni
New Member
New Member
 
Messaggio: 53 di 65
Iscritto il: 12/12/2019, 12:18

Re: Convergenza uniforme, una domanda

Messaggioda gugo82 » 30/04/2020, 18:49

Ma sì che è possibile...

Pensa ad un esempio scemo, invece di incasinarti con le serie.
Considera la successione di funzioni $f_n:]0,1] -> RR$ definite da:
\[
f_n(x) := \begin{cases} n &\text{, se } 0< x \leq \frac{1}{n} \\ \frac{1}{x} & \text{, se } \frac{1}{n} \leq x \leq 1 \end{cases}
\]
e che hanno grafici fatti in questo modo:
        Internet Explorer richiede Adobe SVG Viewer per visualizzare il grafico


(quella sopra è $f_4$); la successione converge uniformemente su ogni intervallo del tipo $]r,1]$, poiché essa è definitivamente costante in tale intervallo (infatti, per ogni $n>nu=1/r$ risulta $f_n(x) = 1/x$ in $]r,1]$); e però col cavolo che la convergenza è uniforme in tutto $]0,1]$! (Dimostralo se non ci credi :wink:)
Did you exchange
A walk on part in the war
For a lead role in a cage? (Roger Waters)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 23742 di 24297
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Convergenza uniforme, una domanda

Messaggioda giangianni » 30/04/2020, 23:01

Ho afferrato!

Ci provo :)
giangianni
New Member
New Member
 
Messaggio: 55 di 65
Iscritto il: 12/12/2019, 12:18


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: Nessuno e 17 ospiti