Open and Closed Sets

All of the previous sections were, in effect, based on the natural numbers. Those numbers were postulated as existing and all other properties - including other number systems - were deduced from those numbers and a few principles of logic.

We will now proceed in a similar way: first, we need to define the basic objects we want to deal with, together with their most elementary properties. Then we will develop a theory of those objects and called it topology.

Definition: Open and Closed Sets

• A set U R is called open, if for each x U there exists and > 0 such that the interval ( x - , x + ) is contained in U. Such an interval is often called an - neighborhood of x, or simply a neighborhood of x.
• A set F is called closed if the complement of F, R \ F, is open.

Examples:

• Which of the following sets are open, closed, both, or neither ?
  1. The intervals (-3, 3), [4, 7], (-4, 5], (0, ) and [0, )
  2. The sets R (the whole real line) and 0 (the empty set)
  3. The set {1, 1/2, 1/3, 1/4, 1/5, ...} and {1, 1/2, 1/3, 1/4, ...} {0}

Proposition: Unions of Open Sets, Intersections of Closed Sets

• Every union of open sets is again open.
• Every intersection of closed sets is again closed.
• Every finite intersection of open sets is again open
• Every finite union of closed sets is again closed.

How complicated can an open or closed set really be ? The basic open (or closed) sets in the real line are the intervals, and they are certainly not complicated. As it will turn out, open sets in the real line are generally easy, while closed sets can be very complicated.

The worst-case scenario for the open sets, in fact, will be given in the next result, and we will concentrate on closed sets for much of the rest of this chapter.

Proposition: Characterizing Open Sets

• Let U R be an arbitrary open set. Then there are countably many pairwise disjoint open intervals such that U =

Next we need to establish some relationship between topology and our previous studies, in particular sequences of real numbers. We shall need the following definitions:

Definition: Boundary, Accumulation, Interior, and Isolated Points

• Let S be an arbitrary set in the real line R.
  1. A point b R is called boundary point of S if every non-empty neighborhood of b intersects S and the complement of S. The set of all boundary points of S is called the boundary of S, denoted by bd(S).
  2. A point s S is called interior point of S if there exists a neighborhood of S completely contained in S. The set of all interior points of S is called the interior, denoted by int(S).
  3. A point t S is called isolated point of S if there exists a neighborhood U of t such that U S = {t}.
  4. A point r S is called accumulation point, if every neighborhood of r contains infinitely many distinct points of S.

Examples:

• What is the boundary and the interior of (0, 4), [-1, 2], R, and O ? Which points are isolated and accumulation points, if any ?
• Find the boundary, interior, isolated and accumulation points, if any, for the set {1, 1/2, 1/3, ... } {0}

Proposition: Boundary, Accumulation, Interior, and Isolated Points

• Let S R. Then each point of S is either an interior point or a boundary point.
• Let S R. Then bd(S) = bd(R \ S).
• A closed set contains all of its boundary points. An open set contains none of its boundary points.
• Every non-isolated boundary point of a set S R is an accumulation point of S.
• An accumulation point is never an isolated point.

Finally, here is a theorem that relates these topological concepts with our previous notion of sequences.

Theorem: Closed Sets, Accumulation Points, and Sequences

• A set S R is closed if and only if every Cauchy sequence of elements in S has a limit that is contained in S.
• Every bounded, infinite subset of R has an accumulation point.
• If S is closed and bounded, and is any sequence in S, then there exists a subsequence of that converges to an element of S.