Probability theory and stochastic processes Foundations: probability spaces and events Counterexample
Borel–Kolmogorov paradox
Builds on Probability measureSpherical coordinatesProbability density functionConditional probability distributionRegular conditional probability
Counterexample
Let be the uniform probability measure on the unit sphere . Describe a point by its longitude and its latitude , as in spherical coordinates. The area element of is , so under the pair has the density . Hence and are independent, is uniform on , and has density .
Condition on the event , the equator. The conditional distribution of given is the law of , which is uniform. So the point is uniform on the equator.
Now let and condition on the event , the great circle through the two poles. Since is independent of , the conditional distribution of given still has density . So the point is not uniform on this great circle: it is rarely near the poles.
A rotation of the sphere maps the equator onto the great circle through the poles and preserves . Yet the two conditional laws on these two great circles are not images of each other under the rotation.
Remarks
Both events have probability . The conditional law given a null event depends on the random variable whose level set it is, not on the event alone. A regular conditional probability given , or given , is defined only up to null sets of values, so it fixes no answer for a single null event.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Conditional probability distribution concept
- Euclidean space object
- Probability density function concept
- Probability measure concept
- Regular conditional probability concept
- Polar coordinates concept
- Spherical coordinates concept
- Borel–Kolmogorov paradox counterexample
Further reading
About this page
| Tag | 9RMS0ZJ618 |
|---|---|
| URI | m2://9RMS0ZJ618 |
| Kind | counterexample |
| Writing | W0 stub |
| MSC | 60A05, 60A10 |
| Uses | Probability measure, Spherical coordinates, Probability density function, Conditional probability distribution, Regular conditional probability |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
- edge refutes or not_instance_of out (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.