Why can't we use the power set as the sigma-algebra for a continuous uniform distribution?
Conditions
- The sample space is .
- We assume the axiom of choice.
- The measure must satisfy length, countable additivity, and translation invariance.
Reasoning, step by step
- Define the desired properties for a uniform measure on : , countable additivity, and translation invariance.
- Attempt to define such a measure on the power set .
- Recognize the mathematical fact that no such function exists for all subsets when the axiom of choice is assumed.
- Conclude that the power set is not a suitable sigma-algebra for this continuous setting.
- Restrict attention to a smaller sigma-algebra, such as the Borel sigma-algebra, to resolve the issue.
Example
The video states as a fact that there is no function defined on all which satisfies the three properties of a uniform distribution, at least not if we assume the axiom of choice.
Common misconceptions
- Assuming that because the power set works for discrete spaces, it must also work for continuous spaces.
- Believing that translation invariance and countable additivity can always be satisfied for any subset of real numbers.
Watch the explanation
Connected concepts
Explore next
Related questions
Finite unions are not enough because many natural events in probability involve infinitely many outcomes. A sigma-algebra must be closed under countable unions to ensure that events formed by collecting infinitely many individual outcomes remain measurable.
Conditions: The sample space may be countably infinite.; Events of interest may require combining infinitely many outcomes.
A sigma-algebra is closed under countable intersections because any countable intersection can be rewritten in terms of complements and countable unions using De Morgan's law. Since a sigma-algebra is already closed under complements and countable unions, it must also be closed under countable intersections.
Conditions: Each .; is closed under complements and countable unions.
The Borel sigma-algebra on an interval is defined as the smallest sigma-algebra that contains all open intervals contained in . It is denoted as .
Conditions: is an interval on the real line .; The generating sets are open intervals .
Requiring the event collection to be a sigma-algebra ensures that applying the usual set operations—such as taking complements and countable unions—never produces a set outside of . This guarantees that if we can measure certain events, we can also measure logically related events like their negations or combinations.
Conditions: is intended to be the collection of measurable sets/events in a probability space.
When the sample space is finite or countable, a suitable sigma-algebra should typically contain all singletons, meaning sets of the form for every . This allows probabilities to be assigned to all individual outcomes.
Conditions: is finite or countable.; The goal is to assign probabilities to individual outcomes.
Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.