Convergenza in probabilità della norma di un vettore aleator

stelladinatale1
Se ho due successioni di variabili aleatorie $\{X_n\}_n$ e $\{Y_n\}_n$ e so che sia $X_n$ che $Y_n$ convergono a $0$ in Probabilità come faccio a dimostrare che $||((X_n \, Y_n\))||$ converge a $0$ in probabilità?

Io so che $||((X_n \, Y_n\))||=\sqrt{X_n^2+Y_n^2}\leq |X_n|+|Y_n|$.
So che $\forall\epsilon>0$ si ha che:
$lim_{n\to\+\infty}P(|X_n| >\epsilon)=0$ e che
$lim_{n\to\+\infty}P(|Y_n| >\epsilon)=0$
Ma come faccio a dimostrare che :

$lim_{n\to\+\infty}P(\sqrt{X_n^2+Y_n^2}>\epsilon)=0$?

Grazie a tutti!

Risposte
retrocomputer
"stelladinatale":

Io so che $||((X_n \, Y_n\))||=\sqrt{X_n^2+Y_n^2}$.

Aspetta un attimo: da quello che so, la norma deve essere un numero, mentre quella che hai scritto tu, cioè $\sqrt{X_n^2+Y_n^2}$, è una funzione...

fu^2
"retrocomputer":
[quote="stelladinatale"]
Io so che $||((X_n \, Y_n\))||=\sqrt{X_n^2+Y_n^2}$.

Aspetta un attimo: da quello che so, la norma deve essere un numero, mentre quella che hai scritto tu, cioè $\sqrt{X_n^2+Y_n^2}$, è una funzione...[/quote]

se è la norma euclidea e la scrittura $||((X_n \, Y_n\))||$ vuole dire che $||X_n \- Y_n\||$ allora stelladinatale ha scritto giusto.
In tal caso, Sostanzialmente l'esercizio ti sta chiedendo di dimostrare la disuguaglianza triangolare per la convergenza in probabilità. Puoi fare con le mani ragionando su $P(||X_n \- Y_n\||\leq \epsilon)$ o usare qualche caratterizzazione tramite integrali della conv. in probabilità.

stelladinatale1
Grazie a entrambi per la risposta.
Quando scrivo che voglio dimostrare che:
$lim_{n\to\+\infty}P(\sqrt{X_n^2+Y_n^2}>\epsilon)=0$ intendo dire che voglio dimostrare che:
$lim_{n\to\+\infty}P(\omega\in\Omega : \sqrt{X_n(\omega)^2+Y_n(\omega)^2}>\epsilon)=0$
dove $(\Omega, F, P)$ è lo spazio di probabilità su cui sono definite le variabili aleatorie $X_n$ e le variabili aleatorie $Y_n$ $\forall n\in \mathbb{N}$,
quindi effetivamente la norma è un numero.

Non ho capito come faccio a usare la disuguaglianza triangolare però.

retrocomputer
La usi "puntualmente", cioè sugli $X(\omega)$, come hai scritto. E penso che fu^2 volesse indirizzarti verso il passaggio al complementare, cioè provare che la probabilità del complementare di ciò che hai scritto tende a 1...

stelladinatale1
Scusate se torno su questo post ma non sono ancora riuscita a dimostrare quello che volevo.
Io so che $\forall\epsilon>0$ si ha:
$lim_{n\to\+\infty}P(|X_n| >\epsilon)=0$ e
$lim_{n\to\+\infty}P(|Y_n| >\epsilon)=0$
Devo dimostrare che:
$lim_{n\to\+\infty}P(\sqrt{X_n^2+Y_n^2}>\epsilon)=0$?

Ora $P(\sqrt{X_n^2+Y_n^2}>\epsilon)\leq P(|X_n|+|Y_n|>\epsilon)$
Però non posso dire (per lo meno non è così evidente) che:
$P(|X_n|+|Y_n|\geq\epsilon)\leq P(|X_n|\geq\epsilon)+P(|Y_n|\geq\epsilon)$?
Perchè se così fosse avrei finito ovviamente.

Anche passando al complementare non riesco a maggiorare o minorare in maniera appropriata:
L'unica cosa che mi è venuta in mente è questa
$P(\sqrt{X_n^2+Y_n^2}\leq\epsilon)\leqP(|X_n|\leq\epsilon)$
ma ovviamente non mi porta da nessuna parte perchè facendo i limiti ho qualcosa di minore o uguale a $1$.

Grazie a tutti

fu^2
Alcuni suggerimenti:
-tu sai per ipotesi che l'evento $A_{\epsilon}^n={|X_n|\leq \epsilon}$ e l'evento $B_{\epsilon}^n={|Y_n|\leq \epsilon}$ hanno probabilità di almeno $1-\epsilon$, per $n$ sufficienetemente grande.

-Allora considera l'evento $C_{\epsilon}^n=A_{\epsilon}^n\cap B_{\epsilon}^n$, usando delle stime sul complementare, che probabilità ha questo evento? Molto vicina a uno, come è facile supporre, ma quanto vicina?
-A questo punto l'ultimo passaggio da porsi è facile ed è: su questo evento, che stime puoi dare di $\sqrt{X^2+Y^2}?

Ricorda che la conv. in probabilità la tratti come quella quasi certa, solo che al posto di avere tutto lo spazio a meno di insiemi di misura nulla, devi lavorare su insiemi di probabilità vicina a piacere a uno, ma sempre strettamente minore di uno e quindi devi giocare con gli eventi e i loro complementari in maniera più attenta.

stelladinatale1
Ok, ti ringrazio davvero tanto, penso di aver capito! :smt023

DajeForte
Ti do una dimostrazione diretta di questo fatto.

Forse già lo sai ma vale che:

$exists C,c>0 " tale che " forall x in RR^n \qquad c||x||_{infty} leq ||x||_p leq C ||x||_{infty}$,

dove $||x||_{infty}=max{x_i, \ i=1,...,n}$ ed $||x||_p = ( sum_{i=1}^n |x_i|^p)^(1/p)$.

In particolare a noi serve la seconda disuguaglianza nel caso in cui $n=2$ e per la quale puoi ottenere che una costante è $C=sqrt(2)$.

Dunque (cambiando leggermente la notazione per adattarla al thread) hai che

$forall varepsilon>0, \ \ ||(X_n,Y_n)||_2 > varepsilon \ sube \ C max{X_n,\ Y_n}> varepsilon$.

Dunque $P(sqrt(X_n^2+Y_n^2)> varepsilon) leq P( max{X_n, \ Y_n} > varepsilon/C) = P(X_n> varepsilon/C cup Y_n > varepsilon /C ) leq$
$leq P(X_n> varepsilon/C) + P( Y_n > varepsilon/C)$.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.