2
$\begingroup$

So I'm covering material for my upcoming final exam, and I have a sneaking suspicion that my teacher will ask us to prove the following theorem:

A subset $G$ of $\mathbb{R}^n$ is open iff the complement of $G$ is closed.

He's hinted at it a couple times, and honestly, I don't know where to start. Thanks for the help.

Definitions (copied from comments): A set is open if every point of the set is an interior point, meaning that the set contains some ball of positive radius at any one of the interior points. A closed set is one that contains all of its accumulation points.

  • 6
    You will have to give the definitions of open/closed to make this question answerable from the point of view of the class. There are texts that say $G$ is open if every point of $G$ is contained in a ball contained in $G$, and that $F$ is closed if R^n\F is open (by def). There are texts that say that $F$ is closed if it contains all of its limit points, and that $G$ is open if R^n\G is closed (by def). There are texts that say $G$ is open if every point is in a ball in $G$, $F$ is closed if it contains its limit points. In the latter case it is a thm that open iff complement closed.2011-03-31
  • 0
    Wow, I never knew there was that degree of variation among textbooks. The definition given to us is that a closed set is one that contains all of it accumulation points.2011-03-31
  • 0
    Thanks. Now, how about the definition of open? (By the way, I am just being cautious. I guessed that closed probably meant for you containing all accumulation points and open probably meant every point is contained in a ball in the set, but there are numerous possible characterizations, so when proving such a basic fact one should be clear on the definition.)2011-03-31
  • 0
    Oh, right, guess I should have included that too! A set is open if every point of the set is an interior point, meaning that the set contains some ball of positive radius at any one of the interior points. Let me know if you need any more clarification. I'm just a bit in over my head with all this :)2011-03-31

2 Answers 2