Random Variables: Convergence in Probability?

AI Thread Summary
The discussion clarifies the definition of convergence in probability for a sequence of random variables, specifically addressing the notation |Xn - X|. It confirms that |.| represents the absolute value of real numbers, and the notation P(|Xn - X| ≥ ε) is indeed shorthand for P({ω ∈ Ω: |Xn(ω) - X(ω)| ≥ ε}). Participants agree that both notations are interchangeable. Additionally, it is established that using ≥ε or >ε in the definition does not affect the convergence, as both conditions lead to the same limit behavior. Understanding these notations is crucial for grasping the concept of convergence in probability.
kingwinner
Messages
1,266
Reaction score
0
Definition: Let X1,X2,... be a sequence of random variables defined on a sample space S. We say that Xn converges to a random variable X in probability if for each ε>0, P(|Xn-X|≥ε)->0 as n->∞.
====================================

Now I don't really understand the meaning of |Xn-X| used in the definition. Is |.| here the usual absolute value when we talk about real numbers? But Xn and X are functions, not real numbers.
Also, when we talk about the probability of something, that something has to be subsets of the sample space Ω, but |Xn-X|≥ε does not look like the description of a subset of Ω to me.
A random variable X is a function mapping the sample space Ω to the set of real numbers, i.e. X: Ω->R.
The random variable X is the function itself, and X(ω) are the VALUES of the function which are real numbers. Only when we talk about X(ω) does it make sense to talk about the absolute value of real nubmers.

So I assume the notation used in the definition above is really a shorthand for
P({ω E Ω: |Xn(ω)-X(ω)|≥ε})?

In other words, the notations P(|Xn-X|≥ε) and P({ω E Ω: |Xn(ω)-X(ω)|≥ε}) are interchangable? Am I right?

I hope someone can clarify this! Thanks a lot!:smile:
 
Physics news on Phys.org
Hi kingwinner! :smile:

It seems you answered your own question:

So I assume the notation used in the definition above is really a shorthand for
P({ω E Ω: |Xn(ω)-X(ω)|≥ε})?

In other words, the notations P(|Xn-X|≥ε) and P({ω E Ω: |Xn(ω)-X(ω)|≥ε}) are interchangable? Am I right?

You are 100% correct about this.
 
I see, thanks!
So I believe the |.| used in |X_n -X| above is just meant to be the usual absolute value for real numbers, and not some fancy metric, right?
 
kingwinner said:
I see, thanks!
So I believe the |.| used in |X_n -X| above is just meant to be the usual absolute value for real numbers, and not some fancy metric, right?

It's just the absolute value, don't worry :smile:
 
By the way, does it matter whether we have ≥ε OR >ε in the definition? Why or why not?
 
kingwinner said:
By the way, does it matter whether we have ≥ε OR >ε in the definition? Why or why not?

No, it doesnt. If P(|X_n-X|>\varepsilon) converges to zero, then so does P(|X_n-X|\geq \varepsilon).

The reason is

P(|X_n-X|>\varepsilon)\leq P(|X_n-X|\geq \varepsilon)\leq P(|X_n-X|>\varepsilon/2)

So since epsilon is arbitrary, all the sequences will converge together.
 
Got it! Thanks!
 

Similar threads

Back
Top