5
$\begingroup$

Consider an infinite sequence of subsets of the interval $[0,1]$ obtained in the following way; set $C_{0}=[0,1]$. $C_{1}$ is obtained by removing the middle open half of $C_{0}$, that is

$$C_{1}= C_{0} -(1/4,3/4)=[0,1/4] \cup [3/4,1]$$

C2 is obtained by removing the middle open half of the interval of C1, that is ,C2=C1-(1/16,3/16)-(13/16,15,16). The set $C=\cap C_{n}$ for nϵ{0,1,2…∞} is called cantor set. Consider C as a subspace of [0,1]. Show that C is closed, compact and contains no isolated points.

I think for $C$ is closed because $C$ is an intersection of closed sets $C_n$ , looking $[0,1]$ is a closed interval. but any closed subset of $\mathbb R$ is compact, hence compactness of $C$ comes because it is a closed subset of $[0,1]$. I have no idea how to show that $C$ contains no isolated point! How may I get to this? Thank you!!!

  • 1
    Not every closed set is compact, every closed and bounded set is, so closed subsets of $[0,1]$ are indeed compact.2011-06-01
  • 0
    @Henno: You have given an answer here: http://at.yorku.ca/cgi-bin/bbqa?forum=ask_a_topologist_2007;task=show_msg;msg=2733.0001.00012011-06-01
  • 0
    @Henno: I was going to post that link as an answer :)2011-06-01
  • 0
    @Chandru: This fits perfectly into topology, analysis does not really deal with isolated points.2011-06-01
  • 0
    @girdav: note that it's *not* the Cantor middle *thirds* set that is described here (but of course the reason is similar).2011-06-01
  • 0
    @Chandru: What do you mean by *every point of the Cantor set is a limit point of itself*? Even if you're trying to say *every point of the Cantor set is a limit point of the* **others**, I don't really see how that helps, because that's precisely what's asked here.2011-06-01
  • 0
    @Asaf: I don't think so. I have learn't about Isolated points in analysis, also :)2011-06-01
  • 0
    @Chandru: In all my experience the reason they taught us about isolated points in analysis was usually some very introductory level topology in order to define some basic topological properties of the space ($\mathbb R^n$ usually). My point remains, this is perfectly fitting under just [topology].2011-06-01
  • 0
    @aloyce: your accounts have been merged. Please register your account so that you can log in more easily in the future.2011-06-01
  • 0
    @Asaf: May be. I actually feel, that topology and analysis are so related that it's tough to categorize them.2011-06-01

2 Answers 2