MHB Converging almost surely proof

  • Thread starter Thread starter oyth94
  • Start date Start date
  • Tags Tags
    Converging Proof
AI Thread Summary
To prove that if Xn converges almost surely to X, then f(Xn) converges almost surely to f(X), it is essential to clarify the definitions of Xn, X, and the function f, including its domain and codomain. The discussion suggests that continuity of the function f may be a sufficient condition for the desired convergence. However, there is an interest in exploring whether this condition can be relaxed. The conversation emphasizes the importance of understanding the properties of the function and the nature of convergence in this context. Overall, the proof hinges on the relationship between the convergence of random variables and the behavior of functions applied to them.
oyth94
Messages
32
Reaction score
0
How do I prove that given Xn converges almost surely to X, that f(Xn) will converge almost surely to f(X)?
 
Physics news on Phys.org
Re: converging almost surely proof

Hello oyth! Can you please clarify what is $X_n$, $X$ and what are the domain and codomain of the map $f$? :) Although intuition tells me that probably continuity guarantees what you want, perhaps we can weaken that condition.

Cheers! :D
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top