Skip to content
Prev 220136 / 398500 Next

P values

Time to rescue Random Variables before they drown!
On 09-May-10 16:53:02, Bak Kuss wrote:
If that is a quote from somewhere, it would be good to have the
reference! If not, and you made it up (even in nice French),
then please read on.
That definition spells it out in proper detail (though the
symbolism needs explaining).

(Omega, F, P) is a **probability space**: Omega is a set;
F is a family of "Borel subsets" (i.e. adequate to support
a measure on Omega) of Omega; P is a probability function
on Omega, i.e. for every Borel subset B of Omega, P(B) is
defined and obeys the laws of probability with respect to F:
P(Omega) = 1, P(EmptySet) = 0, if B1, B2 are disjoint then
P(B1 union B2) = P(B1) + P(B2) etc.

NOW: A random variable X is a mapping from Omega into (say)
R (the real line) **which carries the probability structure
with it**: For every Borel set B' of R, the inverse mapping
of B', = the set {omega in F such that X(omega) is in B'},
is a Borel set B in F and so has a probability P(B).

Then (though not explicitly stated in that Definition 1.8)
the probability of B' is defined to be the probability of B:

  P(B', a Borel subset of R)
  = P(B, the Borel subset of F which maps onto B')

THAT is the definition of a Random Variable. It is a "variable"
in exactly the same sense that a real number "x" can be called
a variable ("let the variable x assume values between 0 and 1", say);
and it is "random" because the underlying omega in Omega is
random (because F has been furnished with the probability
distribution P defined on its Borel subsets). This mathematical
definition of randomness is, in effect, a mathematical model
of real raondomness.
Not "just a transformation". As should be visible in the above,
it is *more* than "just a transformation" -- it has to be able
to carry the probabilities from the underlying space with it.
And it carries them.
See above. And NOTE that the "probability" is in the first place
attributed to the underlying space Omega on which the Random
Variable (mapping) X is defined.
That is a whole other discussion! I would for now simply dispute
your assertion "By definition 'asymptotics' do not belong to reality".
"Asymptotic" results are mathematical limits of results for finite
sizes of things, as the size gets arbitrarily large (or small).
Admittedly, some numbers are so large that there is nothong that
big in the known Universe, and some so small that there is nothing
that small which is observable. Nevertheless, such mathematical
limits are approached with arbitrary closeness for sufficiently
large (or sufficiently small) values of the limiting variable.

They can therefore serve as **adequate (and mathematically
convenient) approximations** for real-life things; the question
(which is always implicit in using things like the Central Limit
Theorem) is whether the case we have in hand is "sufficiently
large" for the approximation to be adequate (for whatever purpose
we have in hand). And that *is* reality.

Enough for now ...
Ted.
--------------------------------------------------------------------
E-Mail: (Ted Harding) <Ted.Harding at manchester.ac.uk>
Fax-to-email: +44 (0)870 094 0861
Date: 09-May-10                                       Time: 19:20:28
------------------------------ XFMail ------------------------------