I have a question that may be regarded by many as duplicate since there's a similar one at MathOverflow. The point is that I think I'm not really getting the idea on compactness. I mean, in $\mathbb{R}^n$ the compact sets are those that are closed and bounded, however the guy who answered this question and had his answer accepted says that compactness is some analogue of finiteness.

That's the first problem: In my intuitive view of finiteness, only boundeness would suffice to say that a certain subset of $\mathbb{R}^n$ is in some sense "finite". On the other hand there's the other definition of compactness (in terms of covers) which is the one I really need to work with and I cannot see how that definition implies this intuition on finiteness.

Also, I feel it's pretty strange the covers people use when they want to deal with compact sets. To prove a set is compact I know they must show that for every open cover there's a finite subcover, the problem is that I can't see intuitively how one could show this for every cover. Also when trying to disprove compactness the books I've read start presenting strange covers that I would have never thought about. I think my real problem is that I didn't yet get the intuition on compactness.

So, what intuition should we have about compact sets in general and how should we really put this definition to use?

Can someone provide some reference that shows how to understand the process of proving (and disproving) compactness?

  • 14
    $\begingroup$ Look at $(0,1)$. You can "stretch it out infinitely to the side" and it will look just look $\Bbb R$. In fact, you can "see" it is similar to $\Bbb R$ since it has no "visible end", i.e., you can zoom near $1$ or $0$ and you would keep on going indefinitely, never getting to $0$ or $1$. However, when you look at $[0,1]$, you will "bump" into $0$ or $1$, and you'll see that this, in some sense, "ends". From the MO thread, "whenever one takes an infinite number of "steps" in the space, eventually one must get arbitrarily close to some other point of the space." $\endgroup$ – Pedro Tamaroff Apr 24 '13 at 22:00
  • 3
    $\begingroup$ It's strange to me that the books you're reading would construct "strange covers", because one of the things about compactness is that for every open cover, you can find a finite subcover. How do your books deal with "every open cover" in a constructive way? $\endgroup$ – Christopher A. Wong Apr 24 '13 at 22:01
  • 12
    $\begingroup$ Maybe it is a duplicate but gee, that is a good question, and it is asked in a good way. The other question should be closed not this one. On the other quesiton there is also a comment that it should be more specific and this question is much better than the other. $\endgroup$ – Dominic Michaelis Apr 25 '13 at 3:53
  • 3
    $\begingroup$ Well, for finite sets that is vacuously true. $\endgroup$ – Pedro Tamaroff Feb 25 '15 at 18:36
  • 3
    $\begingroup$ There are a lot of questions on this site already that might be helpful. $\endgroup$ – MJD Feb 25 '15 at 21:09

14 Answers 14


The following story may or may not be helpful. Suppose you live in a world where there are two types of animals: Foos, which are red and short, and Bars, which are blue and tall. Naturally, in your language, the word for Foo over time has come to refer to things which are red and short, and the word for Bar over time has come to refer to things which are blue and tall. (Your language doesn't have separate words for red, short, blue, and tall.)

One day a friend of yours tells you excitedly that he has discovered a new animal. "What is it like?" you ask him. He says, "well, it's sort of Foo, but..."

The reason he says it's sort of Foo is that it's short. However, it's not red. But your language doesn't yet have a word for "short," so he has to introduce a new word - maybe "compact"...

The situation with compactness is sort of like the above. It turns out that finiteness, which you think of as one concept (in the same way that you think of "Foo" as one concept above), is really two concepts: discreteness and compactness. You've never seen these concepts separated before, though. When people say that compactness is like finiteness, they mean that compactness captures part of what it means to be finite in the same way that shortness captures part of what it means to be Foo.

But in some sense you've never encountered the notion of compactness by itself before, isolated from the notion of discreteness (in the same way that above you've never encountered the notion of shortness by itself before, isolated from the notion of redness). This is just a new concept and you will to some extent just have to deal with it on its own terms until you get comfortable with it.

  • 24
    $\begingroup$ Are you familiar with the Raymond Smullyan thought experiment about the world in which all spheres are red and all cubes are green, and the discomfiture of the person who sees a green sphere and has to try to explain that he has seen an object that is both spherical and cubical? (Five Thousand B.C. and Other Philosophical Fantasies, page 79) $\endgroup$ – MJD Apr 25 '13 at 2:51
  • $\begingroup$ @MJD: no, but thanks for sharing the reference! $\endgroup$ – Qiaochu Yuan Apr 28 '13 at 7:36
  • 1
    $\begingroup$ Friggin' Awesome analogy Quaochu! Does anyone happen to know of any books that try to describe these various mathematical concepts in analogies? Perhaps a little like "Godel Escher Bach"? $\endgroup$ – Relative0 Nov 22 '14 at 19:36

You may read various descriptions and consequences of compactness here. But be aware that compactness is a very subtle finiteness concept. The definitive codification of this concept is a fundamental achievement of $20^{\,\rm th}$ century mathematics.

On the intuitive level, a space is a large set $X$ where some notion of nearness or neighborhood is established. A space $X$ is compact, if you cannot slip away within $X$ without being caught. To be a little more precise: Assume that for each point $x\in X$ a guard placed at $x$ could survey a certain, maybe small, neighborhood of $x$. If $X$ is compact then you can do with finitely many (suitably chosen) guards.

  • $\begingroup$ If I were to search for this fitness thing what would it be? "Searching for fitness functions = stats, fit functions = weird not maths" $\endgroup$ – Alec Teal Feb 25 '15 at 20:14
  • 6
    $\begingroup$ "finiteness", not "fitness". $\endgroup$ – Eric Stucky Feb 25 '15 at 20:21
  • $\begingroup$ @EricStucky thanks! $\endgroup$ – Alec Teal Feb 25 '15 at 21:48
  • 4
    $\begingroup$ @EricStucky Survival of the finitest? $\endgroup$ – Marc van Leeuwen Feb 26 '15 at 13:01
  • 6
    $\begingroup$ Sort of relevant: spikedmath.com/505.html $\endgroup$ – Rami Luisto Feb 26 '15 at 13:06

I answered a very similar question here.


Compactness does for continuous functions what finiteness does for functions in general.

If a set $A$ is finite then every function $f:A\to \mathbb R$ has a max and a min, and every function $f:A\to\mathbb R^n$ is bounded. If $A$ is compact, the every continuous function from $A$ to $\mathbb R$ has a max and a min and every continuous function from $A$ to $\mathbb R^n$ is bounded.

If $A$ is finite then every sequence of members of $A$ has a subsequence that is eventually constant, and "eventually constant" is the only kind of convergence you can talk about without talking about a topology on the set. If $A$ is compact, then every sequence[ net ] of members of $A$ has a convergent subsequence.

  • $\begingroup$ I have a question. Do you really think of the concept in your answer when you see compactness, or is it just an explanation to explain? Or do you think as I do as in my answer? $\endgroup$ – Rubertos Feb 25 '15 at 19:28
  • $\begingroup$ I do think of it that way, but perhaps not always only that way. $\endgroup$ – Michael Hardy Feb 25 '15 at 19:31
  • $\begingroup$ Of course, your statement that compactness implies sequential compactness is false. (Take, for example, $\beta \mathbb{N}$ which has no non-trivial convergent sequences.) $\endgroup$ – user642796 Feb 25 '15 at 19:44
  • 1
    $\begingroup$ It also works that way for separation axioms: in a Hausdorff space (where we can separate finite sets with pairwise disjoint open sets) we can also do this with pairwise disjoint compact sets instead of points to give an example. $\endgroup$ – Henno Brandsma Feb 25 '15 at 19:47
  • 2
    $\begingroup$ Do you suppose this analogy of "functions are to finite sets as continuous functions are to compact sets" can be expressed in category theory somehow? $\endgroup$ – Milo Brandt Feb 26 '15 at 0:12

The definition of compactness that reads: "every cover has a finite subcover" is most directly related to the idea that being compact is, in some sense, like being finite: compact sets share with finite sets the property that every cover has a finite subcover. It is a concept that takes some time getting used to, so at first proofs of/with it may look weird.

Compactness in $\mathbb R^n$ is equivalent to being closed and bounded. This again is a property shared with finite sets: any finite set in $\mathbb R^n$ is closed and bounded. Also, in a metric space, a set is compact if, and only if, every sequence in it has a convergent subsequences. Again, a property that holds for finite sets: Every sequence in a finite set contains a convergent subsequence.

Finally, there is a less straightforward analogy using nonstandard analysis. A set is compact if, and only if, every point in its enlargement is near-standard. Intuitively, an enlargement of a set is obtained by adding new points generated from the set. Being near-standard means a new point is infinitesimally close to an already existing point in the set. For a finite set, the enlargement is equal to the set, so every point in the enlargement is simply equal to some point from the set. So again, this is a property shared with compact sets: a set is compact if every point in the enlargement is infinitesimally close to some point from the set.

  • $\begingroup$ "Every sequence in a finite set contains a convergent subsequence" - I don't follow this. How is convergence defined for finite sets? $\endgroup$ – Casebash Nov 19 '18 at 17:32
  • $\begingroup$ Sequences have infinitely many terms, but the terms themselves don't need to be distinct. Think about the convergent sequences on a discrete metric space. $\endgroup$ – Eleftheria Chatziargyriou Jan 31 '19 at 20:22

Also, I feel it's pretty strange that when people come to prove some set is compact, they must show that for every open cover there's a finite subcover.

That’s a bit like finding it pretty strange that in order to prove that an integer $n$ is even, one must show that $n=2k$ for some integer $k$: in both cases we’re simply verifying that something satisfies the definition of a particular property. An integer $n$ is by definition even if and only if there is an integer $k$ such that $n=2k$, so the most straightforward way to show that $n$ is even is to show that such a $k$ exists. Similarly, a subset $K$ of a space $X$ is by definition compact if and only if every open cover of $K$ has a finite subcover, so the most straightforward way to show that $K$ is compact is to prove that every open cover of $K$ has a finite subcover.

For the intuition, note first that every finite set is clearly compact. If $F$ is finite, and $\mathscr{U}$ is an open cover of $F$, then for each $x\in F$ we can choose a $U_x\in\mathscr{U}$ such that $x\in U_x$, and $\{U_x:x\in F\}$ will then be a finite subfamily of $\mathscr{U}$ that still covers $F$. In fact, finite sets are the only ones that are guaranteed to be compact no matter what the topology on the space might be: if the topology is the discrete topology, in which every set is open, the compact sets are precisely the finite sets. Thus, compactness generalizes a property of finite sets. What probably isn’t at all clear at this point is why this particular property of finite sets is so important. In fact, as you can see from this brief historical survey, it took topologists a number of years to realize its central importance.

More generally, one might say that compact sets are in a certain important sense small sets. Suppose that every point $x$ of some compact set $K$ has an open neighborhood $U_x$ with some property $P$. Then $\mathscr{U}=\{U_x:x\in K\}$ is an open cover of $K$, so it has a finite subcover $\{U_{x_1},\dots,U_{x_n}\}$: $K\subseteq U_{x_1}\cup\ldots\cup U_{x_n}$. If $P$ is one of a great many ‘nice’ properties, the union of finitely many open sets having $P$ also has $P$, and $U_{x_1}\cup\ldots\cup U_{x_n}$ is then an open neighborhood of $K$ with the property $P$. The compact set $K$ behaves just like a single point in terms of having an open nbhd with $P$. The importance of this characteristic of compact sets probably won’t really become clear until you’ve actually used this property of compact sets in a variety of contexts with a variety of properties $P$, but at least it should offer further evidence that compactness is in some sense a kind of smallness.

  • 9
    $\begingroup$ You analogy might become even better if you replaced "even" with "odd" and inverted the definition. IME, a common initial reaction to the definition of compactness is "but how can I be sure there isn't some weird open cover that doesn't have a finite subcover?" (The answer, of course, is "you prove it", but the point is that it's generally not feasible to do that just by enumerating all possible open covers of the set, just like it's not feasible to show that an integer $n$ is odd just by checking every $k\in\mathbb Z$ to make sure that $n\ne2k$.) $\endgroup$ – Ilmari Karonen Apr 25 '13 at 13:27

Regarding the definition in terms of open covers, this turns out to be technically very useful, but I agree that it can be hard to understand at first. You might want to consider one of the equivalent definitions in terms of closed sets.

The contrapositive of the standard open cover condition says that if $U_i$ is a collection of open sets so that no finite union of $U_i$'s covers the compact set $X$, then the entire set of $U_i$'s doesn't cover $X$. Passing to complements, we find that if $F_i$ is a collection of closed subsets having non-empty intersection with $X$, then the intersection of the entire collection has non-empty intersection with $X$.

Now this can be rephrased in a slightly simpler way: given a chain of closed subsets (i.e. a collection of non-empty closed subsets such that for any two members of the collection, one is contained in the other) each having non-empty intersection with $X$, their intersection has non-empty intersection with $X$. (For a discussion of this, see this answer, or more-or-less any topology text book.)

So this says that we can't find a shrinking collection of closed subsets each having a point in common with $X$, but whose intersection doesn't have a point in common with $X$.

Contrast with say the interval $X := (0,1).$ The subsets $[0,1/n]$ are closed intervals having non-empty intersection with $X$, but their intersection is the singleton $\{0\}$, which doesn't have non-empty intersection with $X$.

Consider also the whole real line. The subsets $[n,\infty)$ are closed and non-empty, but their intersection is empty.

So these two examples capture the basic intuition for how compactness fails: a set may be missing some kind of "boundary point" or "point at infinity". Conversely, the intuition is that a compact set is not missing any such points.

The definition in terms of subsequences necessarily containing a convergent subsequence (valid in a metric space) captures the same idea.

As in the above linked answer, one can also rephrase the definition in terms of chains of open sets. Then it says that if $U_i$ is any chain of open sets whose union covers $X$, then already one of the of open sets $U_i$ must contain $X$.

So you can think of this as saying that it is not possible to fill out $X$ by taking an increasing union of proper open sets (in the induced topology).

Compare this with the open interval $(0,1)$, which is the increasing union of the proper open subsets $(1/n,1-1/n)$.

Also, here is an aside on index sets, which can sometimes be confusing when you first encounter them: note that while one can't reduce to countable open covers, or decreasing sequences of closed subsets, in the general definition of compactness (and one can't use sequences to test for compactness in general --- although there is a generalization of sequences (in fact more than one --- nets or filters) which can be used), when building up intuition it is fairly safe to imagine that the open covers in question are countable, or that the chain of closed subsets is just a decreasing sequence of closed subsets.

While it is technically important to learn to argue with non-countable index sets as in the general definition of compactness, I wouldn't let the possible non-countability of those index sets be the thing I focus on when building up intuition; this truly is a technical point which will just get in the way from an intuitive view-point. As you become more confident in manipulating index sets, the distinction between the countable and general case won't seem like that big of a deal anyway.


I like to think of compactness as generalised finiteness.

When studying the topology of a space, the information we care about is in the structure of open sets. In particular we might associate with some open sets a mathematical object, like a number (such as the radius of a open ball) or something more sophisticated like a chart on a manifold.

Compactness is useful because some properties, like taking minimums of lists or making sure an arbitrary sum converges, only work for finite sets. Consider the following sketch:

Given a function $f : [a,b] \rightarrow \mathbb{R}$, can it attain arbitrarily large values?

The key is to notice that since $f$ is continuous, if we cover it's image with open sets in any way we like, the preimages of these open sets will be open in $[a,b]$. Let's say we pick balls of radius 1 around each point in the image. There are uncountably many of them, so there's not much we can say, but surely, the preimages of these balls will cover the whole domain.

Now, since $[a,b]$ is compact, we can refine this cover (of preimages) to a finite one, and the corresponding refinement still covers Im $f$. But this means $f$ must be bounded, since its image is covered by finitely many balls of radius 1!

Most applications of compactness follow this same pattern. We start we some arbitrary cover that has nice properties, but which don't serve us much if the cover is infinite. We then invoke compactness to say there's a finite subcover which is just as good.

  • 2
    $\begingroup$ I am sorry I can only give you one upvote, this is a superb answer! $\endgroup$ – Alec Teal Mar 9 '15 at 2:06

On $\mathbb{R}^n$, compactness is equivalent to a set being closed and bounded. In a compact set every sequence has convergent subsequences and every continuous function is uniformly continuous, attains a maximum and a minimum, and can be integrated without any trouble.

Compactness in a general topological space is basically a way to capture the nice properties of closed and bounded subsets of $\mathbb{R}^n$.


I believe this article on compactness and compactification should provide enough motivation and answer your question. http://www.math.ucla.edu/~tao/preprints/compactness.pdf

  • 4
    $\begingroup$ Yet another coward downvoting without leaving a comment. $\endgroup$ – user17762 Apr 25 '13 at 23:59
  • 5
    $\begingroup$ This is a link-only answer. Link-only answers are frowned upon because the link can (and indeed, over sufficient time is almost guaranteed to) become invalid. For example, the file you link to is obviously on the personal homepage of someone at UCLA with the local login name "tao" (the form of the URL is a dead giveaway for that). So what do you think happens to this link if that person some day moves to another university (or retires), and his user account on UCLA's servers gets deleted? $\endgroup$ – celtschk May 14 '15 at 14:59

You know pigeonhole or Dirichlet principle? After you have 6 baseballs put into 5 holes you ended up having in at least one hole at least two balls. Now if you have infinite number of baseballs putting into 5 holes(assume the holes have no bottom) you ended up having in at least one hole the infinite number of baseballs. ( proof by contradiction assume there were finite number of baseballs in all 5 holes you would have finite number of balls in total, contradiction). It works for any finite number of holes. In continuous R^3 case rather than a finite number of holes you have a bounded set (or totally bounded to be precise, you have a set inside a finite number of arbitrarily small balls) and instead of baseballs you have points. You put infinite number of points into this totally bounded set. in at least one of the arbitrarily small balls the infinite number of points must have accumulated around a certain point. (accumulate around a point means in arbitrarily small ball covering the point you get infinite number of points) The points can accumulate around a point inside the set or around the point outside the set (for example if the point is at the boundary which does not belong to set, open set). We are interested only in class of sets which always accumulate around the points inside the set. The property: "Any collection of the infinite number of the points from an (infinite) set always accumulate around at least one point of the set" is called the compact property of the set. This property must imply boundness because for unbounded set you can find one specific collection of infinite points that do not accumulate at all.(you space points equidistantly into direction where it is not bounded). It must also imply completeness because Any/Every Cauchy sequence (as any sequence in fact) is made of infinite number of points so it does accumulate around at least one point of the set (from the compact property) , but from the Cauchy sequence property it has never more than one accumulation point. So in this case it has exactly one accumulation point which is its limit, so it converges.(Definition of completeness.) This property also implies that any infinite open cover {O_i} of the set you can simplify to finite cover. Because otherwise if you can not simplify the cover to finite one you can create an infinite sequence of points x_i where every point is in none of the sets O_1...O_i. (escaping sequence of points). Obviously this sequence would not converge to any point of the set x because x would be inside (at least) one open set O_k, but every open set in cover would have at most finite number of points (escaping sequence of points) which prevents convergence and accumulation point inside any open set in cover and hence in the set itself. This is contrary to our compact property.


What should be the intuition when working with compactness?

ANS: PACMANenter image description here

In the picture you see Pacman about to eat two compact topological spaces one after the other, but imagine Pacman being allowed to grab a bite from anywhere it wants to. As it eats the whole thing, it might bite into air (reworking the same areas of the lunch plate), only eating one-tenth of some dot. It can take an infinite number of bites, but it only really needs a finite number of chomps to take care of lunch.

If we look at Pacman eating up the closed unit interval $[0,1]$ (a compact, complete and connected space), taking 'open bites' you can ask how far it can go in the form $[0,k)$ using only a finite number of 'interval' bites. With a little thought (no supremum $k \lt 1$ can stop Pacman), you come to the conclusion that Pacman can consume at least up to $[0,1)$. If that took $n$ bites, since Pacman is relentless it will also eat the singleton $\{1\}$ (that supremum thing again), so the interval $[0,1]$ is covered in $n+1$ bites.

Using only open interval bites works since they form a basis for the topology.


Boundedness is a metric concept, not a topological concept. Boundedness means that you can be "before" (< M) or "beyond" (> M) the bound M.

On general topological spaces, there is no ">" or "<" so this doesn't make sense. Hence the need for a more general concept : compactness.


Although this question already received a lot of nice answers, in mine I would to present a different accent. I have a lot of experience dealing with compact sets, so I can call them my good friends. :-) But I have to confess that despite my familiarity with compacts, I don’t have in my mind a clear idea of them, for instance, thinking them as “small and complete” spaces. On the other hand, from a professional point of view this is not very important, because usual ways to think about compacts are methods to prove something about them. To be acquainted with these methods, you may look, for instance, a chapter on compact spaces in Engelking’s “General topology”. I remark that compactness proofs are not always direct, but often use that compactness is a very nice property, preserved by taking closed subspaces, continuous images, and Tychonoff products. For an illustration, here is a big list of ways to prove that every closed interval in $\Bbb R$ is compact and my most upvoted answer at MSE. :-)


In my opinion, I think it's okay that you treat compactness as a clever trick as you said. But as it is an abstract concept, I think it's recommended to take the concept as itself, not comparing to real examples.

Maybe the concept of compactness is motivated from Heine-Borel property, but even without a motivation, I think the definition of compactness itself is very natural.

There are many branches of mathematics and each branch has its main vocabularies. For example, in number theory, one's main vocabulary is an "integer". Just like this, "openess" is a main vocabulary in general topology. (The question of asking why openess is a main vocabulary is a completely different question and this is well-answered in wikipedia.) So when you do general topology, you play with open sets. And definitely it's hard to make an argument on infinite open objects, but compactness ease this so that when you play with compactness you can only consider finite objects (for each compact set).

If you take concepts in this way, definitions of Lindelöf space and paracompact space and etc are very natural just like compactness. I'm quite sure no one has a clear "real life example" of paracompactness but almost all of people here think the definition is very natural.

  • $\begingroup$ I strongly disagree. Compactness is not a "trick"; it is a subtle but crucial property, and as Christian Blatter says elsewhere on this page. identifying this concept is an important achievement of 20th-century mathematics. $\endgroup$ – MJD Feb 25 '15 at 21:12
  • $\begingroup$ @MJD Even I don't treat this as a trick, but from my experience, it was not really helpful to compare the concept of compactness to other easy concepts (at least to me) and if someone describes the compactness with other intuitively clear concepts, one looses some properties of compactness, as Meelo said in the comment. To sum up, i think it's recommendable to treat compactness as compactness itself. Do you still disagree with my opinion? (I'm not trying to argue with you, but I want to learn from you) $\endgroup$ – Rubertos Feb 26 '15 at 11:15
  • $\begingroup$ I owe you an apology. I didn't read your answer carefully, and I'm sorry I posted such a poorly-considered comment. $\endgroup$ – MJD Feb 26 '15 at 15:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.