Can a Finite Measure Space Have Uncountably Many Positive Measure Members?

  • MHB
  • Thread starter Euge
  • Start date
In summary, a measure space is a set with a measure function that assigns values to subsets, and it has uncountably many members if it contains an infinite number of elements that cannot be counted. A sigma-algebra is a collection of subsets that satisfies certain properties and is used in measure theory to define measurable sets. It is impossible for a finite measure space to have uncountably many members in its sigma-algebra, and a measure is said to have strictly positive measure if every non-empty subset has a positive measure. This can be proven by contradiction.
  • #1
Euge
Gold Member
MHB
POTW Director
2,073
244
Here is this week's POTW:

-----
Prove that no finite measure space can have uncountably many members in its $\sigma$-algebra with strictly positive measure.

-----

 
Physics news on Phys.org
  • #2
No one answered this week’s problem. You can read my solution below.

Suppose $(X,M,\mu)$ is a finite measure space with uncountably many $A\in M$ such that $\mu(A) > 0$. There exists an $n \in \Bbb N$ such that uncountably many $A\in M$ with $\mu(A) > 1/n$. If $A$ is the countable disjoint union of sets $A_i\in M$ of measure greater than $1/n$, then $A\in M$ and $\mu(A) = \sum \mu(A_i) = \infty$. This is a contradiction.
 

FAQ: Can a Finite Measure Space Have Uncountably Many Positive Measure Members?

What is a finite measure space?

A finite measure space is a mathematical concept used in measure theory to describe a set with a finite measure, or size. It consists of a set of elements and a measure function that assigns a numerical value to each subset of the set.

What is a $\sigma$-algebra?

A $\sigma$-algebra is a collection of subsets of a set that satisfies certain properties. In the context of measure theory, it is used to define which subsets of a set are measurable and can have a measure assigned to them.

Why can't a finite measure space have uncountably many members in its $\sigma$-algebra with strictly positive measure?

This is because a finite measure space, by definition, has a finite measure. This means that the sum of the measures of all the subsets in the $\sigma$-algebra must be finite. If there were uncountably many subsets with strictly positive measure, the sum would be infinite, which contradicts the finite measure of the space.

Can a finite measure space have countably infinite members in its $\sigma$-algebra with strictly positive measure?

No, a finite measure space cannot have countably infinite members in its $\sigma$-algebra with strictly positive measure. This is because the sum of the measures of countably infinite subsets with strictly positive measure would still be infinite, which contradicts the finite measure of the space.

What is the significance of this statement in mathematics?

This statement is significant in mathematics because it highlights the limitations of finite measure spaces and their $\sigma$-algebras. It also demonstrates the importance of understanding the properties and definitions of mathematical concepts, such as measure spaces and $\sigma$-algebras, in order to make valid mathematical arguments and proofs.

Similar threads

MHB Nontrivial Normal Subgroup in Finite Groups with Index Constraints?
Replies
1
Views
2K
MHB Can You Prove the Limit of Integrals Over Vanishing Measure Sets Is Zero?
Replies
1
Views
3K
MHB Can a Finite Group Acting on a Set Have No Fixed Points?
Replies
1
Views
2K
MHB What is the support of a Radon measure on a locally compact Hausdorff space?
Replies
0
Views
2K
MHB What is the maximal function of a finite Borel measure on $\Bbb R^n$?
Replies
1
Views
2K
I ##L^2## square integrable function Hilbert space
Replies
11
Views
1K
MHB How can $L^1(\Bbb R)$ be isomorphic to an ideal in $M(\Bbb R)$?
Replies
2
Views
2K
A What Topological Vector Spaces have an uncountable Schauder basis?
Replies
6
Views
2K
MHB How to Prove $X$ Has Lebesgue Measure Zero?
Replies
1
Views
2K
MHB Are There a Finite Number of Solutions to $f(x) = y$ in a Bounded Region?
Replies
1
Views
1K

Hot Threads

Recent Insights

Back
Top