4

Does there exist $A \subseteq \mathbb{R}^{2}$ with usual topology and $A$ not enumerable such that $\tau_{A}$ the subspace topology in $A$ it is a discrete space?

Brian M. Scott
  • 616,228
Jhon Jairo
  • 1,031

3 Answers3

4

No. Note that $A$ is second countable and metrizable. Then $A$ must be separable. This is a contradiction with $A$ is discrete and uncountable!

Paul
  • 20,553
4

HINT: $\Bbb R^2$ has a countable base $\mathscr{B}$. If $\langle A,\tau_A\rangle$ is a discrete space, then for each $x\in A$ there is a $B_x\in\mathscr{B}$ such that $B_x\cap A=\{x\}$. The map $A\to\mathscr{B}:x\mapsto B_x$ is injective (one-to-one), so ... ?

Brian M. Scott
  • 616,228
3

No. If it were so then we could create a collection of open subsets of the plane, one for each point of the space, all of which are disjoint. But each open subset would contain at least one point with rational coordinates which is not in any other such open subset. Thus, the cardinality must be less than or equal to that of the rationale, making it enumerable.

Brian Rushton
  • 13,255
  • 11
  • 59
  • 93
  • 2
    This is fairly seriously incomplete. Relative discreteness of $A$ directly tells you only that there are open sets $V_x$ for $x\in A$ such that $V_x\cap A={x}$ for each $x\in A$; it takes moderately significant work to show that they can be chosen to be pairwise disjoint. In particular, it’s entirely possible to have a separable Tikhonov space with an uncountable discrete subset — even an uncountable closed discrete subset. – Brian M. Scott Jun 05 '13 at 03:25
  • 1
    But in a metric space, can't you just take a ball with radius the minimum distance to the nearest point, then halve it (for each point)? – Brian Rushton Jun 05 '13 at 03:29
  • 2
    Yes, you can, but I think that it’s a significant enough step to require some explicit acknowledgement, if only in the form of a Why? appended to the statement. – Brian M. Scott Jun 05 '13 at 03:32
  • Hi, what about my answer? – Paul Jun 05 '13 at 03:33
  • 1
    This is the second time today that my intuition about discrete sets has been screwy... thanks for the example! – Brian Rushton Jun 05 '13 at 03:33
  • 1
    @Paul: The new version looks fine; +1. – Brian M. Scott Jun 05 '13 at 03:35