|This article/section deals with mathematical concepts appropriate for late high school or early college.|
Real analysis is a field in mathematics that focuses on the set of real numbers, their properties, sequences and functions. Included in this branch of mathematics are the concepts of limits and convergence, calculus, and properties of real-valued functions such as continuity. It also includes measure theory.
For the purposes of this article, "analysis" will be limited to the generalization and extension of the concepts of calculus, using the concepts of elementary point-set topology.
The reader should be quite familiar with the concepts of calculus, especially limits and continuity. In particular, the reader should be comfortable with the ramifications of the phrase "for every epsilon".
Open sets (and, by extension, closed sets, which are just the complements of open sets) are the fundamental concept of analysis. Analysis and topology are really just the study of open sets.
Before giving the definition of open sets in Euclidean space, we present some examples. Readers who are aware of the general intuitive notion of open sets should find these examples familiar.
In one dimension
The simplest open sets in 1-dimensional Euclidean space (formally called ; informally called the real numbers of the "real line") are open intervals. An open interval consists of those numbers lying strictly between two endpoints a and b. In set-theoretic notation:
A shorter notation for this set consists of the two endpoints in parentheses:
A closed interval (we will have more to say about closed sets later) would include the endpoints. It is commonly denoted with brackets:
An interval that includes one endpoint but not the other is called semi-open:
When drawing pictures of intervals, those same symbols are typically used:
- Need a picture here!
Open intervals are not the only open sets. Any union of open intervals is an open set. For example:
Bizarrely defined sets like the one above are commonly used as examples and counterexamples in analysis and topology.
In two or more dimensions
In two or more dimensions the situation becomes more complicated, because even simple open sets can come in an endless variety of shapes. The fundamental open set (equivalent to an open interval) is the open neighborhood, also called an open ball. An open neighborhood has a center point and a nonzero radius, and is the set of all points whose distance from the center is strictly less than that radius. In set-theoretic notation:
The double-stroke absolute value sign is the norm or the metric distance function. In the common case it is the Euclidean/Pythagorean distance:
- in two dimensions (similarly for higher dimensions)
The double-stroke absolute value sign is similar to the usual absolute value operation, generalized to arbitrary dimensions or other metric spaces.
It is easy to see that, in two dimensions, an open neighborhood is the interior of a circle. It does not include the actual boundary of the circle, because it consists of the points whose distance from is strictly less than . This point is crucial—the whole subject of analysis and topology depends on it!
To draw a picture of an open neighborhood, use a circle bounded by a dotted line:
- Need a picture here!
(To make a closed ball, the formula would be:
and the picture would be a solid circle. But open neighborhoods are the important sets from a theoretical standpoint.)
Definition of open set
Here is the proper theoretical definition:
Definition: A set is open if it contains a neighborhood of each of its points.
What this means is that a set is open if, for every point in , there is a neighborhood such that and . This construction is shown in the following diagram:
- Need a picture here!
If the point were allowed to lie exactly on the edge of , it wouldn't be possible to draw a nonzero neighborhood around that lies in . So the important feature of 's openness is that no point can lie exactly on its edge. Every point in must be some finite distance back from the edge, which makes it possible to draw a neighborhood around it.
Here are a few extremely fundamental and far-reaching theorems. Some of them are surprisingly simple:
Theorem: Neighborhoods are open sets.
Proof: Suppose a neighborhood has center and radius . If a point is in that neighborhood, its distance from must be strictly less than , call it .
Place a new neighborhood, of radius , around . Every point in that neighborhood has a distance less than from . That distance is less than , so every point in the new neighborhood is in the original neighborhood, so the new neighborhood lies within the original one.
Theorem: Any union of open sets, including unions of an infinite number of open sets, is an open set.
Proof: If a point lies in the union, it must lie within one of the constituent open sets. There must be a neighborhood of contained in that constituent open set. That neighborhood must be contained in the union.
Theorem: The intersection of two open sets is an open set.
Proof: Let , and let . Then and . Since and are open, there must be neighborhoods and that contain . Whichever of those two neighborhoods has the smaller radius will be a subset of both and , so it will be a subset of .
This theorem can be extended for any finite intersection, but it does not work for infinite intersections. Here is an example:
Let be an infinite sequence of ever-decreasing open intervals:
for integer The intersection of all of the 's is the closed interval
which is not open.
So the topological rule of thumb is:
- Any union of open sets is open.
- Any finite intersection of open sets is open
Theorem: The null set (empty set) is open.
Proof: It needs to contain a neighborhood of each of its points. But it has no points.
Theorem: The entire space is open.
Proof: We need a neighborhood of each point in the space. The neighborhood centered on that point, with radius 1, will do the trick.
This means that the real line is open. It is not an open interval, because that interval would have to be "", and infinity is not a number. The real line is an open set, because it is:
over all integers . (Infinite unions are allowed, even though infinity is not a number.)
Theorem: Every open set is a union of neighborhoods.
Proof: It contains a neighborhood of each of its points; those are its constituent neighborhoods.
This means that any open set in the plane, for example, is a union of open circles. (It is also the union of open rectangles, open diamonds, open 5-pointed stars, and so on. This is a consequence of the invariance of the metric in defining a topology.)
In the field of topology, a collection of open sets, whose unions comprise all of the opens sets that exist, is called a basis. So what we have just shown is that the open neighborhoods (open intervals, open circles, open spheres, etc.) are a basis for the topology of finite-dimensional Euclidean spaces.
Definition: A set is closed if its complement is open.
That's all there is to it.
Because of some simple theorems of set theory, including DeMorgan's laws, some of the preceding theorems relating to open sets can be reformulated for closed sets.
Any intersection of closed sets, including the intersection of an infinite number of closed sets, is closed.
Any union of a finite number of closed sets is closed.
The null set is closed.
The entire space (for example, the real line) is closed.
Limit points, and the other definition of closed sets
Closed sets are sometimes given a different definition, as sets containing their limit points.