Properly showing that uncountable sum of measures finite nonzero sets is infinite, given they are subsets of X of finite measure.In a question where ( X , ∑ , μ ) is a finite measure space, I am asked to show that the set { x | μ ( { x } &gt; 0 ) } is countable at most.While intuitively this has to be true, because as long as it is countable any series of nonzero measures of sets must converge and this can happen for geometric sequences of measures, but for an uncountable sum, this "can't" be the case, but how to show that- I can't seem to understand.Firstly, is this the way to solve it? Trying to reach a contradiction, or maybe uncountable sum of elements is generally meaningless as an expression? I'm not sure, what

Question

Properly showing that uncountable sum of measures finite nonzero sets is infinite, given they are subsets of   X of finite measure.In a question where   (  X  ,  ∑  ,  μ  ) is a finite measure space, I am asked to show that the set   {  x      |    μ  (  {  x  }  &amp;gt;  0  )  } is countable at most.While intuitively this has to be true, because as long as it is countable any series of nonzero measures of sets must converge and this can happen for geometric sequences of measures, but for an uncountable sum, this &quot;can&#039;t&quot; be the case, but how to show that- I can&#039;t seem to understand.Firstly, is this the way to solve it? Trying to reach a contradiction, or maybe uncountable sum of elements is generally meaningless as an expression? I&#039;m not sure, what

Ordettyreomqu · Accepted Answer

Define       A    n    :=  {  x  ∣  μ  (  {  x  }  )  &amp;gt;  1      /    n  } and consider       B    n    :=      A    n    ∖      A          n      −      1      .

Sylvia Byrd · Accepted Answer

Define       A    n    =  {  x  :     μ  (  {  x  }  )  ≥  1      /    n  }. If       A    n   contains at least m points, then   μ  (      A    n    )  ≥  m      /    n. Now   μ  (  A  )  ≤  μ  (  X  )  &amp;lt;  ∞, so   m  ≤  n  μ  (  X  ). Hence,       A    n   contains at most   n  μ  (  X  ) elements. So       A    n   is finite. The set in question is contained in the union of these       A    n  , so it is countable.

Properly showing that uncountable sum of measures finite nonzero sets is infinite, given they are su

Answered question

Answer & Explanation

New Questions in Pre-Algebra