- #1

- 4,239

- 1

What's the value of a random variable?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Phrak
- Start date

- #1

- 4,239

- 1

What's the value of a random variable?

- #2

- 607

- 0

Or do you mean the "value" in the sense [itex]X(\omega) [/itex] where [itex] X[/itex] is a random variable and [itex] \omega[/itex] is a sample point?

- #3

- 4,239

- 1

Or do you mean the "value" in the sense [itex]X(\omega) [/itex] where [itex] X[/itex] is a random variable and [itex] \omega[/itex] is a sample point?

[itex]X(\omega) [/itex] doesn't really seem like a mathematical function but the result of an experimental trial.

- #4

mathman

Science Advisor

- 7,932

- 484

The experimental trial can be conceptual, like analysis of what happens after a series of coin flips by an ideal coin.

- #5

- 4,239

- 1

The experimental trial can be conceptual, like analysis of what happens after a series of coin flips by an ideal coin.

Thanks mathman. I've since been reading about axiomatic probability. My interest is in quantum mechanics where probabilities seem to have a central role.

So I am curious as to the answer to the question: Can probability theory be separated from physics (in this case classical stochastic processes), so that axiomatic quantum mechanics is, in part, defined upon classical uncertainty?

- #6

mathman

Science Advisor

- 7,932

- 484

I don't know what you mean by separated.So I am curious as to the answer to the question: Can probability theory be separated from physics (in this case classical stochastic processes), so that axiomatic quantum mechanics is, in part, defined upon classical uncertainty?

- #7

- 4,239

- 1

I don't know what you mean by separated.

This is the pivotal question, isn't it? I hadn't been sure at the time. Now, however:-

If the axioms and theorems of probability theory are so abstract as to be free of any reference to any physical system, then probability theory is separate from physics. If there is an explicit reliance they are not.

Does this sound meaningful to you?

- #8

- 607

- 0

- #9

mathman

Science Advisor

- 7,932

- 484

Probability theory is a branch of mathematics. Physicists use it just like they use many other branches such as calculus, vector analysis, differential equations, etc.This is the pivotal question, isn't it? I hadn't been sure at the time. Now, however:-

If the axioms and theorems of probability theory are so abstract as to be free of any reference to any physical system, then probability theory is separate from physics. If there is an explicit reliance they are not.

Does this sound meaningful to you?

Other fields where probability is used include statistics, finance, biology, etc.

- #10

- 4,239

- 1

Probability theory is a branch of mathematics. Physicists use it just like they use many other branches such as calculus, vector analysis, differential equations, etc.

Other fields where probability is used include statistics, finance, biology, etc.

That's not really what I meant. I'm struggling to express this question in an understandable way. This may be it: A computer algorithm may be one way to test independence of a mathematical system from physical props.

I may be mistaken, but can all axiomatic mathematical systems be encoded as computer algorithms? This should depend on what 'encoded' means. Arithmetic might be a good example to look at.

I should be able to take the axioms of arithmetic and compute new statements that are consistent with the axioms through combination.

Not so obvious is that any result such as 2+2=4 is a new statement when expressed as

[tex]\forall A,B \in R: ( A=2 \ \wedge \ B=2 \ \wedge \ C=A+B ) \rightarrow C=4[/tex]

I'm not sure the axioms of probability theory can be encoded by computer algorithm and obtain new and constant statements such as the addition of specific values in addition. We can’t use pseudo random number generators. That would be cheating.

Or maybe I’m looking at this wrong. Any thoughts?

g_edgar, you gave me a thought. Maybe the elements that can form new statements are sample spaces but not the points of the sample spaces.

- #11

mathman

Science Advisor

- 7,932

- 484

- #12

- 4,239

- 1

Which point?

- #13

mathman

Science Advisor

- 7,932

- 484

In any case the axioms for probability theory are essentially the same as those for measure theory, with the additional condition that the total measure (probability) is one.

- #14

- 4,239

- 1

In any case the axioms for probability theory are essentially the same as those for measure theory, with the additional condition that the total measure (probability) is one.

It is not irrelevent. If an axiomatic system cannot be encoded in a symbolic language, it is flawed.

- #15

mathman

Science Advisor

- 7,932

- 484

It is not irrelevent. If an axiomatic system cannot be encoded in a symbolic language, it is flawed.

I have never tried to and I don't care to. I'll presume it is doable.

Since the Kolmogoroff axioms as well as measure theory have been in use for a very long time, I strongly believe that they are not flawed.

- #16

- 2,123

- 79

It is not irrelevent. If an axiomatic system cannot be encoded in a symbolic language, it is flawed.

By encoding, do you mean the automation of the logic of probability theory (PT) to prove theorems? If so, the answer is yes. There is no flaw in PT if you accept the axioms and definitions. The definition of a random variable in particular, is that it is simply a mapping from a probability space to an event space with no guidance at all as to what value the function assigns to an event provided it is in the interval [0,1]. The following link is book sized, but the preface should at least shed some light on your question. The basic thrust is that the idea of "randomness" should be replaced by "incomplete information". There is also a good article (IMHO) on Quantum Logic and Probability Theory in the Stanford Encyclopedia of Philosophy.

http://bayes.wustl.edu/etj/prob/book.pdf

Last edited:

- #17

- 4,239

- 1

By encoding, do you mean the automation of the logic of probability theory (PT) to prove theorems? If so, the answer is yes. There is no flaw in PT if you accept the axioms and definitions. The definition of a random variable in particular, is that it is simply a mapping from a probability space to an event space with no guidance at all as to what value the function assigns to an event provided it is in the interval [0,1]. The following link is book sized, but the preface should at least shed some light on your question. The basic thrust is that the idea of "randomness" should be replaced by "incomplete information". There is also a good article (IMHO) on Quantum Logic and Probability Theory in the Stanford Encyclopedia of Philosophy.

http://bayes.wustl.edu/etj/prob/book.pdf

I'm sorry I can't reply intelligently to your post. I'll have to satisfy for myself that PT is consistent, unflawed or otherwise by putting in the effort.

As I stated earlier, my question is indirectly about probability in (formalized) quantum mechanics. So in addition, consistency between the two is also a subject of interest.

My use of the word 'encoded' was trite. Symbolically encoded, by rules of substitution, two true statements should yield another true statement under the set of axioms.

I've downloaded your recommended article.

- #18

- 2,123

- 79

I'm sorry I can't reply intelligently to your post. I'll have to satisfy for myself that PT is consistent, unflawed or otherwise by putting in the effort.

That's an unrealistic goal. No one has proved the axioms of ZFC are self consistent or "unflawed".

Last edited:

- #19

- 4,239

- 1

That's an unrealistic goal. No one has proved the axioms of ZFC are self consistent or "unflawed".

Thanks SW. I'll keep ZFC in mind. My quest in this is not a large priority--just something that has nagged me on occasion over 10 to 15 years or so.

Share:

- Replies
- 8

- Views
- 10K