Pagina 1 di 1

Convergenza uniforme, una domanda

MessaggioInviato: 29/04/2020, 10:25
da giangianni
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!

Re: Convergenza uniforme, una domanda

MessaggioInviato: 30/04/2020, 01:41
da gugo82
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$.

Re: Convergenza uniforme, una domanda

MessaggioInviato: 30/04/2020, 12:36
da giangianni
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?

Re: Convergenza uniforme, una domanda

MessaggioInviato: 30/04/2020, 15:57
da gugo82
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-).

Re: Convergenza uniforme, una domanda

MessaggioInviato: 30/04/2020, 17:19
da giangianni
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:

Re: Convergenza uniforme, una domanda

MessaggioInviato: 30/04/2020, 18:49
da gugo82
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:)

Re: Convergenza uniforme, una domanda

MessaggioInviato: 30/04/2020, 23:01
da giangianni
Ho afferrato!

Ci provo :)