Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Uncountable Set with this property

  1. Aug 19, 2009 #1
    Does there exist an uncountable set of positive reals such that every countable decreasing sequence from that set sums to a finite number?
  2. jcsd
  3. Aug 19, 2009 #2
    I don't know how to prove it rigorously, but I'd think it reduces to a problem in measure theory.

    If your uncountable set contains any non-empty interval [a, b], it fails to have the countable-sums property.

    All non-empty intervals have a nonzero measure. I wouldn't be surprised if the converse was true for the real numbers. Let's assume it is for now. This means that if our uncountable set has a nonzero measure, it contains an interval, and fails to have our desired property. So, we conclude our set has zero measure.

    Sets of zero measure are countable. This is our contradiction.

    Again, this is just my intuition. I don't know much about measure theory, but if I did, this is what I would expect the proof to look like ;-)

    EDIT: Or maybe the Cantor set is a counter example to the last assumption I made. It is uncountable with zero measure. (http://en.wikipedia.org/wiki/Measure_zero)
    Last edited: Aug 19, 2009
  4. Aug 19, 2009 #3


    User Avatar
    Science Advisor
    Homework Helper

    Beat me to it.
  5. Aug 19, 2009 #4
    I'm thinking that any uncountable set has at least one accumulation point away from zero. The problem is that if the accumulation point is from a sequence of increasing numbers instead of decreasing. Then it wouldn't work.
  6. Aug 19, 2009 #5
    Pretty sure this proof works:

    Obviously, if a set [tex] S [/tex] is to have the desired property, then [tex] S \cap [a,b] [/tex] is finite for all positive [tex] a [/tex] and [tex] b [/tex]. (Indeed, if [tex] S \cap [a,b] [/tex] has infinitely many elements, we can choose a countably infinite, decreasing sequence, which necessarily diverges, since all terms are [tex] \geq a [/tex].) Furthermore, if [tex] S [/tex] has this property, then any uncountable subset of [tex] S [/tex] also does; thus, WLOG, [tex] S \subseteq (0, \infty) [/tex] (if [tex] S \cap (0, \infty) [/tex] is countable, then [tex] S \cap (-\infty, 0) [/tex] is uncountable, and we may proceed in essentially the same way). Define [tex]\displaystyle U_i = \left[ \frac{1}{i + 1}, \frac{1}{i} \right] [/tex] for [tex] i \geq 1 [/tex], and [tex] U_0 = [1, \infty] [/tex]. By above, [tex] \displaystyle \bigcup_{i = 0}^{\infty} (S \cap U_i) = S [/tex] (since [tex] S \subseteq (0, \infty) [/tex]); however, recall that each term [tex] S \cap U_i [/tex] has finite order. Thus, [tex] S [/tex] is a countable union of finite sets, and is therefore countable. This is a contradiction; hence, no such set can exist.
  7. Aug 19, 2009 #6


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Actually, that's not guaranteed. For example, consider the infinite set containing
    1, 1.9, 1.99, 1.999, 1.9999, 1.99999, ...​
    Every decreasing sequence whose elements in this set is necessarily finite.

    The thing we can prove with this argument is that [itex]S \cap [a, \infty)[/itex] is well-ordered by <.
  8. Aug 19, 2009 #7
    Excellent point, Hurkyl; I guess that's what I get for trying to write up a post while on Vicodin. Wisdom teeth... :(

    I think my proof can still be repaired, though. All I really need to show is that [tex] S \cap U_i [/tex] is countable for all [tex] i [/tex] (a countable union of countable sets is countable). We prove the following lemma:

    Lemma: Let [tex] V [/tex] be a bounded set of real numbers. If, for all [tex] x \in V [/tex], the set [tex] \{ y \in V \; | \; y < x \} [/tex] is countable, then [tex] V [/tex] is countable.
    Proof: Let [tex] q = \sup(V) [/tex]. Clearly, if [tex] q \in V [/tex], we're done. Thus, WLOG, [tex] q \notin V [/tex]. Let [tex] p [/tex] be a lower bound for [tex] V [/tex], and let [tex] d = q - p [/tex]. Define [tex]\displaystyle T_i = \left[ q - \frac{d}{2^i}, q \right] [/tex]. Since [tex] q [/tex] is the supremum of [tex] V [/tex], it is also an accumulation point, so [tex] V \cap T_i \neq \emptyset [/tex] for all [tex] i [/tex]. Thus, using the axiom of choice if necessary, we can choose some non-decreasing sequence of points [tex] x_i \in V \cap T_i [/tex]. Finally, define [tex] Q_i = \{ z \in V \; | \; z < x_i \} [/tex] (running out of letters...) and observe that [tex]\displaystyle V = \bigcup_{i = 0}^{\infty} Q_i [/tex], i.e., a countable union of countable sets (by hypothesis). This concludes the proof.

    Now that we have this result, we can prove that [tex] S \cap U_i [/tex] is countable by contradiction. As before, the contradiction comes from assuming that [tex] S \cap U_i [/tex] is uncountable, and constructing a countable decreasing sequence of points in [tex] S \cap U_i [/tex]. Indeed, if [tex] S \cap U_i [/tex] is uncountable, we can choose some [tex] x_0 \in S \cap U_i [/tex] such that [tex] \{ y \in S \cap U_i \; | \; y<x \} [/tex] is uncountable by the lemma. It should be easy to see now that we can construct a strictly decreasing sequence of points in [tex] S \cap U_i [/tex] inductively, which gives the same contradiction as before.
  9. Aug 19, 2009 #8
    Every well ordered (by <) set is countable. Then [itex]S=\cup_a (S\cap [a,\infty))[/itex] for a that are inverse powers of 2. S is therefore a countable union of countable sets, which is countable. Contradiction.

    EDIT: I think you went overboard there with your lemma.
  10. Aug 19, 2009 #9
    Not if you allow the axiom of choice...I think.
  11. Aug 19, 2009 #10
    But then an uncountable well-ordered set would be a counterexample to your contradiction, it would have the property we're looking for!
  12. Aug 19, 2009 #11
    Not at all. You'll notice that in the statement of my lemma, I specifically noted that the result only applied to set of real numbers, implying the the usual ordering on the reals must be used for the result to remain valid. In other words, the lemma proved that no uncountable set is well-ordered under the usual ordering of [tex] \mathbb{R} [/tex], which does not preclude the existence of some other well-ordering.

    EDIT: I just realize that this was what you were getting at all along when you said "well ordered (by <)," in which case you were correct. My lemma was essentially just a proof of your statement that "every well ordered (by <) set is countable." Apologies for the misunderstanding.
    Last edited: Aug 20, 2009
  13. Aug 19, 2009 #12
    Incidentally, where did this problem come from?
  14. Aug 20, 2009 #13
    I thought it up when I was playing around with the idea of uncountable sums (a previous post).
  15. Aug 20, 2009 #14
    If one permits the Axiom of Choice, the reals can be well ordered.

    (In fact the Well Ordering Theorem, the Axiom of Choice, and Zorn's Lemma (among others) are all equivalent.)

  16. Aug 20, 2009 #15


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    So trying to rewrite what you've written in a more generally useful form, I think you've shown the following.

    Define an uncountable accumulation point of a set X to be a point such that every neighborhood of that point contains uncountably many points of X.
    (I doubt this is a standard term)

    Every uncountable subset of R has an uncountable accumulation point​

    and a slight modification will allow

    Every uncountable subset of R has at least countably infinitely many uncountable accumulation points​

    I haven't worked out whether or not it must have uncountably many uncountably accumulation points....
  17. Aug 20, 2009 #16
    I don't see how this follows directly from what I proved. However, it's fairly easy to prove this by using the second-countability of [tex] \mathbb{R} [/tex]. Indeed, if [tex] S \subseteq \mathbb{R} [/tex] is uncountable but has no uncountable accumulation point, then for all [tex] x \in S [/tex] there exists an open set [tex] U_x [/tex] with [tex] x \in U_x [/tex] and [tex] S \cap U_x [/tex] countable. Open sets are closed even under uncountable unions, so the set [tex]\displaystyle T = \bigcup_{x \in S} U_x [/tex] is open. However, since [tex] \mathbb{R} [/tex] is second-countable, each [tex] U_x [/tex] may be written as a union of base open sets [tex] B_{x,i} [/tex] for [tex] i \in I_x [/tex] (i.e., some countable index set), each of which has [tex] S \cap B_{x,i} [/tex] countable. We then have [tex]\displaystyle T = \bigcup_{x \in S, \; i \in I_x} B_{x,i} [/tex]. However, since the base is countable, this is at most a countable union. The set [tex] S [/tex] is then a countable union of countable sets, so it is countable.

    Your next proposition follows fairly trivially from the first (by simply removing successive uncountable accumulation points). I also think I have a proof that any uncountable [tex] S \in \mathbb{R} [/tex] must have uncountably many uncountable accumulation points. Indeed, suppose not. Let [tex] X \subseteq S [/tex] be the set of all uncountable accumulation points. Then, since [tex] X [/tex] is countable, [tex] S \setminus X [/tex] is uncountable. Thus, [tex] S \setminus X [/tex] must contain an uncountable accumulation point, contradicting assumption.

  18. Aug 21, 2009 #17


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I don't remember precisely what I was thinking -- but I had convinced myself my first proposition was either an easy consequence of what you had proved, or that your proof of your lemma contained most/all of the bits needed to prove my proposition.

    The proof you give of my second and third propositions is flawed -- accumulation points of S don't actually have to be elements of S, so you don't get the contradiction you were relying on.
  19. Aug 21, 2009 #18
    "condensation point"
  20. Aug 21, 2009 #19
    I must have misunderstood what you intended. The proof I gave in #16 assumed that uncountable accumulation points ("condensation points") must lie in the uncountable set itself, and proved that every uncountable subset of [tex] \mathbb{R} [/tex] must have at least one such point. If you wanted to prove the existence of a condensation point not necessarily in the target set, you could do it by an inductive method similar to that used to prove the Bolzano-Weierstrass theorem--dividing a bounded region containing an uncountable set into finitely many pieces at each step, and picking one point from a piece with uncountably many points. In the end, you get a convergent sequence of points in the set, which must converge to a condensation point.
  21. Aug 21, 2009 #20
    How about simply this:

    For any a>0, there must be a right neighbourhood of a containing no members of S (otherwise we could create a decreasing sequence approaching a), i.e. a number b>a such that there are only countably many members of S on the interval [itex]\langle a; b\rangle[/itex]. Assuming that there are uncountably many members of S on the interval [itex]\langle a;+\infty)[/itex] yields a contradiction: just take the supremum* of all c>a s.t. there are only countably many members of S on the interval [itex]\langle a; c \rangle[/itex] and extend the interval a little. Therefore, for any a>0, there is only a countable number of members of S greater than a. But this proves the proposition, as S is the countable union of sets of the form [itex]S \cap \langle \frac{1}{n} ; \infty)[/itex].

    edit: * if no such number exists, then [itex]S \cap \langle a; \infty)[/itex] is countable, being a countable union of countable sets.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook