# Two properties preserved by continuous maps: compactness and connectivity

These two properties are key to existence of solutions to infinitely many problems in mathematics and physics.

## Compactness

Compactness (of a subset ) is the “nearest approximation” to finiteness of . Obviously, if is a finite set of points, then

- Any infinite sequence has an infinite stationary (constant) subsequence;
- is bounded and closed;
- If is an arbitrary covering of by open subsets , then one can always choose a finite subcovering .

The first two properties are obvious, the third one also. For each point it is enough to find just one open set which covers this point. Their union (automatically finite) covers all of .

**Definition.**The following three properties of a set are equivalent:

- Any infinite sequence has a partial limit (i.e., the limit of an infinite subsequence), which is again in ;
- is bounded and closed;
- If is an arbitrary covering of by open subsets , then one can always choose a finite subcovering .

**Example.** The closed segment, say, possesses all three properties.

- The standard trick of division into halves and choosing each time the half that contains infinitely many members of the sequence allows to construct a partial limit for any sequence confined to .
- Obvious.
- Assume (by contradiction) that there exists a very perverse covering of , which does not allow for a choice of finite subcovering. Then at least one of the two segments, , also suffers from the same problem (if both admit finite subcovering, one would easily construct a finite subcovering for the initial segment ). Continuing this way, we construct an infinite nested sequence of closed intervals which do not admit a finite subcovering. Their intersection is a point which must be covered by at least one open set. But then this set covers also all sufficiently small segments from our nested sequence. Contradiction.

**Problem.** Prove (using the Example) that the three conditions are indeed equivalent. Hint: any bounded set can be confined to a cube . Use the closedness of to prove that the partial limit of any sequence is again in .

**Theorem.** *If is a continuous map and is compact, than is also compact.*

**Corollary.** *Any continuous function restricted on a compact is bounded and attains its extremal values. *

## Connectivity

A subset is called *connected*, if it cannot be split into two disjoint parts “apart from each other”. How this can be formalized?

**Example (proto-Definition). ** A subset is called *connected*, if together with any two points it contains all points such that .

All connected subsets of the real line can be easily described (Do it!).

How can we treat subsets for ? Two ways can be suggested.

**Definition.** *A set is called ***path connected**, *if for any two points there exists a continuous map such that .*

This definition mimics the one-dimensional construction. However, this is not the only possibility to say that a set cannot be split into smaller parts.

**Definition.** *A subset is called disconnected, if there exist two open disjoint sets , such that the two parts are both nonempty. If such partition is impossible, then is called connected*.

**Problem. ** Prove that for subsets on the real line the two definitions coincide.

**Problem.** Consider the subset of the plane which consists of the graph and the point . Prove that it is connected but not path connected.

## Further reading

Chapter 3 from Abbot, Understanding Analysis. Especially sections 3.2 (open/closed sets), 3.3 (compact sets) and 3.4 (connected sets). Pay attention to the exercises!

## Leave a Reply