X is a random variable so is |X|?

AI Thread Summary
To prove that |X| is a random variable when X is a random variable, it is essential to understand the definitions involved. A random variable is defined as a measurable function from a probability space to the real numbers. Since the absolute value function is continuous and measurable, the composition of measurable functions, in this case, |X|, remains measurable. The discussion highlights that the pre-image of a Borel set under |X| can be shown to be in the sigma-algebra F, confirming that |X| is indeed a random variable. The inquiry reflects a common concern in understanding the properties of measurable functions in probability theory.
BoogieE
Messages
4
Reaction score
0
Howdy guys. Given that X is a random variable how would you prove |X| to be one too? Thanks for any suggestions!
 
Physics news on Phys.org
What is your definition of random variable?
 
Just mapping from (S,F) to (R, B(R))
 
X is measurable, | | is continuous hence measurable. And the composition of measurables is measurable.
 
I am expecting that from the fact that X(-1)(G) = {w in S such that X(w) is in G for all G in B(R) } is in F you can somehow show that |X|(-1)(G') = {w in S such that |X|(w) is in G' for all G' in B(R)} is also if F
 
micromass said:
X is measurable, | | is continuous hence measurable. And the composition of measurables is measurable.
I asked my math professor and she said this is ok. I probably overthought the problem. Thank you very much!
 
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...

Similar threads

Back
Top