Proof of a.s. uniqueness of probability convergence limit [closed]












1












$begingroup$


Prove that the limit of a random variable sequence (converges in probability) is almost surely uniuque.



Let $X, Y$ random variables and let a random variable sequence $(X_n)_n$ such that $X_n$ converges in probability to $X$ and $X_n$ converges in probability to $Y$ (i.e. $X_n overset{P}{rightarrow} X, X_noverset{P}{rightarrow} Y$). Prove that $mathbb{P}(X=Y)=1$.






probability limits proof-verification







share|cite|improve this question











$endgroup$



closed as off-topic by Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser Jan 5 at 0:23


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser

If this question can be reworded to fit the rules in the help center, please edit the question.


















    1












    $begingroup$


    Prove that the limit of a random variable sequence (converges in probability) is almost surely uniuque.



    Let $X, Y$ random variables and let a random variable sequence $(X_n)_n$ such that $X_n$ converges in probability to $X$ and $X_n$ converges in probability to $Y$ (i.e. $X_n overset{P}{rightarrow} X, X_noverset{P}{rightarrow} Y$). Prove that $mathbb{P}(X=Y)=1$.






    probability limits proof-verification







    share|cite|improve this question











    $endgroup$



    closed as off-topic by Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser Jan 5 at 0:23


    This question appears to be off-topic. The users who voted to close gave this specific reason:


    • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser

    If this question can be reworded to fit the rules in the help center, please edit the question.
















      1












      1








      1


      0



      $begingroup$


      Prove that the limit of a random variable sequence (converges in probability) is almost surely uniuque.



      Let $X, Y$ random variables and let a random variable sequence $(X_n)_n$ such that $X_n$ converges in probability to $X$ and $X_n$ converges in probability to $Y$ (i.e. $X_n overset{P}{rightarrow} X, X_noverset{P}{rightarrow} Y$). Prove that $mathbb{P}(X=Y)=1$.






      probability limits proof-verification







      share|cite|improve this question











      $endgroup$




      Prove that the limit of a random variable sequence (converges in probability) is almost surely uniuque.



      Let $X, Y$ random variables and let a random variable sequence $(X_n)_n$ such that $X_n$ converges in probability to $X$ and $X_n$ converges in probability to $Y$ (i.e. $X_n overset{P}{rightarrow} X, X_noverset{P}{rightarrow} Y$). Prove that $mathbb{P}(X=Y)=1$.






      probability limits proof-verification




      probability limits proof-verification






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 5 at 11:02







      J. Doe

















      asked Jan 4 at 19:07









      J. DoeJ. Doe

      1737




      1737




      closed as off-topic by Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser Jan 5 at 0:23


      This question appears to be off-topic. The users who voted to close gave this specific reason:


      • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser

      If this question can be reworded to fit the rules in the help center, please edit the question.




      closed as off-topic by Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser Jan 5 at 0:23


      This question appears to be off-topic. The users who voted to close gave this specific reason:


      • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Davide Giraudo, amWhy, Lee David Chung Lin, jgon, KReiser

      If this question can be reworded to fit the rules in the help center, please edit the question.






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          Let $varepsilon>0$. Let $omegainOmega$ (if there exists such $omega$) such that $|X^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus, for all $ninmathbb{N}$, definitely $|X^{-1}(omega)-X_n^{-1}(omega)|>varepsilon$ or $|X_n^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus,
          $$
          \ {|X-Y|>varepsilon}subseteq({|X_n-X|> {varepsilonover 3}}cup{|X_n-Y|>{varepsilonover 3}})
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>{1over n})leqmathbb{P}(|X_n-X|>{varepsilonover 3}cup|X_n-Y|leq{varepsilonover 3})
          \ leqmathbb{P}(|X_n-X|>{varepsilonover 3})+mathbb{P}(|X_n-Y|>{varepsilonover 3})underset{ntoinfty}{rightarrow} 0
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>0)=0Rightarrow mathbb{P}(X=Y)=1
          $$






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
            $endgroup$
            – Lost1
            Jan 4 at 23:58




















          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          Let $varepsilon>0$. Let $omegainOmega$ (if there exists such $omega$) such that $|X^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus, for all $ninmathbb{N}$, definitely $|X^{-1}(omega)-X_n^{-1}(omega)|>varepsilon$ or $|X_n^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus,
          $$
          \ {|X-Y|>varepsilon}subseteq({|X_n-X|> {varepsilonover 3}}cup{|X_n-Y|>{varepsilonover 3}})
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>{1over n})leqmathbb{P}(|X_n-X|>{varepsilonover 3}cup|X_n-Y|leq{varepsilonover 3})
          \ leqmathbb{P}(|X_n-X|>{varepsilonover 3})+mathbb{P}(|X_n-Y|>{varepsilonover 3})underset{ntoinfty}{rightarrow} 0
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>0)=0Rightarrow mathbb{P}(X=Y)=1
          $$






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
            $endgroup$
            – Lost1
            Jan 4 at 23:58


















          1












          $begingroup$

          Let $varepsilon>0$. Let $omegainOmega$ (if there exists such $omega$) such that $|X^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus, for all $ninmathbb{N}$, definitely $|X^{-1}(omega)-X_n^{-1}(omega)|>varepsilon$ or $|X_n^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus,
          $$
          \ {|X-Y|>varepsilon}subseteq({|X_n-X|> {varepsilonover 3}}cup{|X_n-Y|>{varepsilonover 3}})
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>{1over n})leqmathbb{P}(|X_n-X|>{varepsilonover 3}cup|X_n-Y|leq{varepsilonover 3})
          \ leqmathbb{P}(|X_n-X|>{varepsilonover 3})+mathbb{P}(|X_n-Y|>{varepsilonover 3})underset{ntoinfty}{rightarrow} 0
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>0)=0Rightarrow mathbb{P}(X=Y)=1
          $$






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
            $endgroup$
            – Lost1
            Jan 4 at 23:58
















          1












          1








          1





          $begingroup$

          Let $varepsilon>0$. Let $omegainOmega$ (if there exists such $omega$) such that $|X^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus, for all $ninmathbb{N}$, definitely $|X^{-1}(omega)-X_n^{-1}(omega)|>varepsilon$ or $|X_n^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus,
          $$
          \ {|X-Y|>varepsilon}subseteq({|X_n-X|> {varepsilonover 3}}cup{|X_n-Y|>{varepsilonover 3}})
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>{1over n})leqmathbb{P}(|X_n-X|>{varepsilonover 3}cup|X_n-Y|leq{varepsilonover 3})
          \ leqmathbb{P}(|X_n-X|>{varepsilonover 3})+mathbb{P}(|X_n-Y|>{varepsilonover 3})underset{ntoinfty}{rightarrow} 0
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>0)=0Rightarrow mathbb{P}(X=Y)=1
          $$






          share|cite|improve this answer









          $endgroup$



          Let $varepsilon>0$. Let $omegainOmega$ (if there exists such $omega$) such that $|X^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus, for all $ninmathbb{N}$, definitely $|X^{-1}(omega)-X_n^{-1}(omega)|>varepsilon$ or $|X_n^{-1}(omega)-Y^{-1}(omega)|>varepsilon$. Thus,
          $$
          \ {|X-Y|>varepsilon}subseteq({|X_n-X|> {varepsilonover 3}}cup{|X_n-Y|>{varepsilonover 3}})
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>{1over n})leqmathbb{P}(|X_n-X|>{varepsilonover 3}cup|X_n-Y|leq{varepsilonover 3})
          \ leqmathbb{P}(|X_n-X|>{varepsilonover 3})+mathbb{P}(|X_n-Y|>{varepsilonover 3})underset{ntoinfty}{rightarrow} 0
          $$
          Thus,
          $$
          \ mathbb{P}(|X-Y|>0)=0Rightarrow mathbb{P}(X=Y)=1
          $$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 4 at 19:07









          J. DoeJ. Doe

          1737




          1737








          • 1




            $begingroup$
            yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
            $endgroup$
            – Lost1
            Jan 4 at 23:58
















          • 1




            $begingroup$
            yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
            $endgroup$
            – Lost1
            Jan 4 at 23:58










          1




          1




          $begingroup$
          yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
          $endgroup$
          – Lost1
          Jan 4 at 23:58






          $begingroup$
          yes, as with many standard uniqueness proofs, it is the triangle inequality... this proof is correct
          $endgroup$
          – Lost1
          Jan 4 at 23:58





          Popular posts from this blog

          'app-layout' is not a known element: how to share Component with different Modules

          Image
          0 My application was working fine until I decided to go with lazy loading: So, my shared component looks like this: import { Component, Renderer2 } from '@angular/core'; export interface FormModel { captcha?: string; } @Component({ selector: 'app-layout', templateUrl: './app-layout.component.html', styleUrls: ['./app-layout.css'] }) export class FullLayoutComponent { } app-layout.component.ts I am using this component in my Another component say school-home.component.html like this: <app-layout> </app-layout> and it was working fine until I created a Module school-home.module.ts like this: import { NgModule } from '@angular/core'; import { CommonModule } from '@angular/common'; import { SchoolhomeRoutingModule ...
          Read more

          android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

          Image
          .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 This is a simple project showing cubes on Unity, exported to android project and imported on Android studio. On maifest file it showed following warning: Expecting <uses-feature android:name="android.software.leanback" android:required="false" /> tag I have no information about it. And also on default emptyview android project does not use/mention this feature. I know it is required by TV's and such but why its not added by default? Why is this? And Should I concern about it? android unity3d ...
          Read more

          WPF add header to Image with URL pettitions [duplicate]

          Image
          up vote 0 down vote favorite This question already has an answer here: Image source URI requiring authorization 3 answers Add header to all* HTTP requests on a machine 1 answer first of all sorry for my english. Recently I added some security in the backend of my project, and now I need to send a validation code(apiKey) inside the headers to retrieve the images. I have a problem with ALL images in my project that I had attached in my UI. For example, before I had: <Image Height="90" Source="{Binding Video.Thumbnail}"/> Now I need to change my code to create a CUSTOM petition add the apiKey in the header:...
          Read more