current community

your communities

more stack exchange communities

company blog
Stack Exchange Inbox Reputation and Badges
tour help
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top
up vote 10 down vote favorite
4

According to Wikipedia, the definition of the Lebesgue outer measure of a set $E$ is as follows:

$$ \lambda^*(E) = \operatorname{inf} \left\{\sum_{k=1}^\infty l(I_k) : {(I_k)_{k \in \mathbb N}} \text{ is a sequence of open intervals with } E\subseteq \bigcup_{k=1}^\infty I_k\right\} $$

Suppose we remove the countability requirement: $$ \lambda^*(E) = \operatorname{inf} \left\{\sum_{I \in X} l(I) : X \text{ is a set of open intervals with } E\subseteq \bigcup_{I \in X} I\right\} $$

(Where we could just define $\sum_{I \in X} l(I)$ to be $\operatorname{sup} \left\{\sum_{I \in Y} l(I) : Y \text{ is a finite subset of } X \right\}$.)

Why would this not work? What would break if we remove the countability requirement?

share|cite|improve this question
4  
In a finite sum the number of nonzero terms cannot be uncountable. – Thomas 13 hours ago
    
In the Caratheodory generalization for constructing outer measures, where the family of sets we start with may not be open intervals, it is sometimes important that only countable covers are allowed. For example if we have single points allowed, but all have value zero. – GEdgar 13 hours ago
1  
Possible duplicate of What happens if an uncountable collection of intervals is used in the definition of the Lebesgue outer measure? – Michael Albanese 11 hours ago
up vote 17 down vote

If $\sum_{I \in X} l(I)=\infty$, then there is a countable subset of $X$ that sum up to infinity too.

If $\sum_{I \in X} l(I)<\infty$, then only countably many terms of $l(I)$ is non-zero.

In either case, it'd just be the same as allowing only countable infinite terms.

share|cite|improve this answer
1  
Do you have a proof of why your second claim is true? – chell 12 hours ago
5  
Suppose $\Sigma_{I \in X} l(I) = S < \infty$. There are at most 2 terms of the sum with $l(I) \ge S/2$. There are at most $3$ terms with $l(I) \ge S/3$. There are at most $4$ terms with $l(I) \ge S/4$. And so on... – Lee Mosher 12 hours ago
    
@chell Yes I do. It's kind of a common knowledge but I'll find you the link. – BigbearZzz 12 hours ago
    
@chell Here's some more detailed answers to that question of yours math.stackexchange.com/questions/70194/… and math.stackexchange.com/questions/1413874/…. – BigbearZzz 12 hours ago
up vote 7 down vote

It will work. The thing is, if $X$ is uncountable the sum is necessarily infinite. Thus only countable families $X$ will give approximations to the infimum, if it is indeed finite.

share|cite|improve this answer
up vote 1 down vote

As long as you are working with the reals, keep in mind that there is a countable basis of open sets for the topology, specifically the collection of open intervals with rational endpoints. Any open set in the topology can be written as a union of sets from this basis. So your set $\cup_{I\in X} I$ can be written as a countable union (since there are only countably many sets in the basis) of open intervals (probably different from the intervals in $X$) from the basis. In the definition, the $\inf$ must be realized by a countable union of open intervals, because any union of open intervals (in fact any open set) is equivalent to a union of open intervals from this countable basis, so necessarily a countable union. As others have already pointed out, this doesn't work in more general spaces, hence the need to be specific in the definition, but for the reals, there is no need for more than a countable collection of intervals.

share|cite|improve this answer
1  
Note that your proposal doesn't always work in every second-countable spaces because while it is true that every open set can be written as a union of countable bases, the bases need not be disjoint. – BigbearZzz 12 hours ago
up vote 1 down vote

The answer is much simpler that given above. Firstly, the sum of a collection of nonnegative reals (even uncountable) is defined as the supremum of its finite `sub-sums.' However, in your comment:

(Where we could just define $\sum_{I \in X} l(I)$ to be $\sup\{\sum_{I \in Y} l(I):\ Y \text{ is a finite subset of } X\}$.)

the point is that the collection $\{I \in Y\}$ in general does not cover the set $E$, so, the corresponding finite sum does not appear in ``your'' version of an outer measure.

Secondly, if the set $E$ is unbounded, the only way you can cover it by a finite number of interval is when one of them is unbounded - but then the sum of their lengths will equal $\infty$. So, all unbounded sets (e.g. the integers) have infinite your outer measure.

Finally, it is not too difficult to verify that for a bounded set $E$, your outer measure of $E$ coincides with the ('classical') Lebesgue measure of the topological closure of $E$ (this closure is compact in that case).

share|cite|improve this answer
    
Copied from an "answer": Sorry, my previous answer deals with the version of `finite' collections of intervals - I haven't seen earlier that the discussion is about arbitrary collections. Of course, the above answers are correct. I'm sorry for my oversight. – quid 8 hours ago

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.