Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a topological space $X$ and a subset of it $S$, $S$ is compact iff for every open cover of $S$, there is a finite subcover of $S$.

Just curiosity: I've done some search in Internet why compact sets are called compact, but it doesn't contain any good result. For someone with no knowledge of the topology, Facing compactness creates the mentality that a compact set is a compressed set!

Does anyone know or have any information on the question?

share|cite|improve this question
Maybe you can try looking up a dictionary - the definition of compact. I personally like Google's definition: closely and neatly packed together. – ireallydonknow Jan 4 '14 at 16:21
Actually, I think "compact" is one of the best names for a concept in mathematics. The word really captures the intuitive feel of this fairly abstract definition quite well. (Really, the only other word I can think of that does so much conceptual legwork is "smooth".) – Jim Belk Jan 4 '14 at 18:53

Frechet oiginally coined the term in 1904 to refer to a space where every sequence had a limit point. Thus, the space was 'compact' because there was no room for the sequence to escape (my interpretation).

share|cite|improve this answer

I like to think of compact spaces as those which admit a "compact" description. So then the usual characterization of compactness can be interpreted along the lines of: whenever you have an infinite amount of information to describe a space, you really only need some finite reduction of that information.

share|cite|improve this answer

If you are curious about the history of compact sets (the definition of which dates back to Fréchet as mentioned in another response) and you can read French, then I suggest checking out the following historical article:

Pier, J. P. (1980). Historique de la notion de compacité. Historia mathematica, 7(4), 425-443. Retrieved from

I came across this article when posting a response on MO here.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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