### Quick description

If you want to prove that a set is open or closed, then it is tempting to argue directly from the definitions of "open" and "closed". But one can often argue much more cleanly by using some basic facts and avoiding epsilons and deltas.

### Prerequisites

Basic analysis, definitions of open and closed sets, easy theorems about open and closed sets.

### General discussion

Here are some theorems that can be used to shorten proofs that a set is open or closed.

A union of open sets is open, as is an intersection of finitely many open sets.

An intersection of closed sets is closed, as is a union of finitely many closed sets.

If is a continuous function and is open/closed, then is open/closed.

A subset of (or more generally of a metric space) is closed if and only if whenever is a sequence of elements of and , then is also an element of .

### Example 1

Let be the set of all real numbers such that there exists a rational number such that . What is the neatest way of showing that is open?

One method that involves nothing more than formal manipulations is to express the definition of as

where is the continuous function and is the open interval . Since each is open and is continuous, so is each , and therefore so is their union. And we have shown this without dirtying our hands with epsilons and deltas.

### General discussion

Often in analysis it is helpful to bear in mind that "there exists" goes with unions and "for all" goes with intersections. For example, the set of all real numbers such that there exists a positive integer with is the union over all of the set of with . Perhaps writing this symbolically makes it clearer:

This often makes it possible to show that a set is open by showing that it is a union of sets that are more obviously open. Similarly, one can often express the set of all that satisfy some condition as the inverse image of another set under a continuous function. Here is an example.

### Example 2

Prove that the set of all non-singular matrices is open (in any reasonable metric that you might like to put on them).

A quick argument is that this set is equal to , which is the inverse image of the open set under the continuous map .

### General discussion

This example differs from the previous one in that the definition of "non-singular" was not in a form where we could immediately apply the basic theorems. Instead, we had to search for an appropriate function (the determinant) that would do the job for us. In spirit, this argument is a bit like proving that a subgroup of a group is normal by finding a homomorphism from to some other group with as its kernel.

### Example 3

Let be a continuous function. Then the graph of is closed. The graph of is the set of all points of the form .

A direct proof of this would be to take some point with and argue that there exists such that if has distance at most from then . That can be done, but it is slightly tedious.

A quick proof is to consider the map . This is continuous, and the graph of is . Therefore, the graph is closed.

### General discussion

Again, we chose a continuous function in order to solve this problem. Was any ingenuity required? Well, the graph of is . If one is trying to express it as the inverse image of a closed set under a continuous function, then it doesn't take too much ingenuity to rewrite this as . But if you want a proof that takes *no* ingenuity at all, then notice that the statement is telling us that the pair lies on the line (to put it slightly confusingly). So we could have argued first that the line consisting of all points of the form is closed and then that the map is continuous. The graph of is so we are done.

But how would we prove that is closed if we wanted to do no work? Probably we'd end up considering the map and then we would be back with the earlier argument.

### Example 4

Is there another work-free way to prove that the graph of a continuous function is closed? How about using the sequence definition of closed sets? So we take a sequence of points in that converges to some other point in . That implies that for some . Since is continuous, . But then , which belongs to the graph of , so we are done.

6 years 26 weeksago6 years 34 weeksago6 years 35 weeksago7 years 13 weeksago7 years 33 weeksago