The compactness tag is for questions about compactness and its many variants (e.g. sequential compactness, countable compactness) as well locally compact spaces; compactifications (e.g. one-point, Stone-Čech) and other topics closely related to compactness.

learn more… | top users | synonyms

65
votes
12answers
5k views

Why is compactness so important?

I've read many times that 'compactness' is such an extremely important and useful concept, though it's still not very apparent why. The only theorems I've seen concerning it are the Heine-Borel ...
37
votes
6answers
1k views

Why is compactness in logic called compactness?

In logic, a semantics is said to be compact iff if every finite subset of a set of sentences has a model, then so to does the entire set. Most logic texts either don't explain the terminology, or ...
32
votes
4answers
651 views

To show that the set point distant by 1 of a compact set has Lebesgue measure $0$

Could any one tell me how to solve this one? Let $K$ be a compact subset of $\mathbb{R}^n$, and $$A:=\{x\in\mathbb{R}^n:d(x,K)=1\}.$$ Show that $A$ has Lebesgue measure $0$. Thank you!
27
votes
5answers
5k views

What's going on with “compact implies sequentially compact”?

I've seen both counterexamples and proofs to "compact implies sequentially compact", and I'm not sure what's going on. Apparently there are compact spaces which are not sequentially compact; quick ...
26
votes
1answer
466 views

When is Stone-Čech compactification the same as one-point compactification?

For the space $\omega_1$ (with the order topology) we have $\beta\omega_1=\omega_1+1$ (or $\beta[0,\omega_1)=[0,\omega_1]$, if you prefer this notation), i.e., it is an example of a space for which ...
22
votes
6answers
982 views

What should be the intuition when working with compactness?

I have a question that may be regarded as 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 ...
22
votes
2answers
266 views

Paracompactness of CW complexes (rather long)

I finished reading Lee's 'introduction to topological manifolds' (2nd edition) and I'm currently tying up some loose ends. One thing I can't understand is the proof of paracompactness of CW complexes. ...
20
votes
1answer
2k views

Theorem of Arzelà-Ascoli

The more general version of this theorem in Munkres' 'Topology' (p. 290 - 2nd edition) states that Given a locally compact Hausdorff space $X$ and a metric space $(Y,d)$; a family $\mathcal F$ of ...
19
votes
1answer
208 views

If $S\times\mathbb{R}$ is homeomorphic to $T\times\mathbb{R}$, and $S$ and $T$ are compact, can we conclude that $S$ and $T$ are homeomorphic?

If $S \times \mathbb{R}$ is homeomorphic to $T \times \mathbb{R}$ and $S$ and $T$ are compact, connected manifolds (according to an earlier question if one of them is compact the other one needs to be ...
16
votes
10answers
3k views

How to prove $[a,b]$ is compact?

Let $[a,b]\subseteq \mathbb R$. As we know, it is compact. This is a very important result. However, the proof for the result may be not familar to us. Here I want to collect the ways to prove $[a,b]$ ...
16
votes
2answers
722 views

Compactness of $\operatorname{Spec}(A)$

In an exercise in Atiyah-Macdonald it asks to prove that the prime spectrum $\operatorname{Spec}(A)$ of a commutative ring $A$ as a topological space $X$ (with the Zariski Topology) is compact. Now ...
15
votes
1answer
323 views

Can compacts on a real line behave “paradoxically” with respect to unions, intersections, and translation? What about other topological groups?

I have the following question i cannot answer myself. Consider two compacts $A$ and $B$ on the real line $\mathbb R$. Let $A'$ be a translation of $A$ and $B'$ a translation of $B$: $A' = A + a$, ...
14
votes
8answers
2k views

How to understand compactness? [duplicate]

How to understand the compactness in topology space in intuitive way?
14
votes
2answers
293 views

Is there a “tree-like” proof of compactness theorem in the case of uncountably many variables?

I like proofs using trees and König's lemma, since they are very visual. One of the applications of König's lemma you can show to students is proving compactness theorem for propositional calculus, ...
14
votes
1answer
317 views

Cardinality of a locally compact Hausdorff space without isolated points

I am interested in the following result: Theorem. A locally compact Hausdorff topological space $X$ without isolated points has at least cardinality $\mathfrak{c}$. To prove it, one can find two ...
13
votes
2answers
418 views

If every real-valued continuous function is bounded on $X$ (metric space), then $X$ is compact.

Let $X$ be a metric space. Prove that if every continuous function $f: X \rightarrow \mathbb{R}$ is bounded, then $X$ is compact. This has been asked before, but all the answers I have seen prove the ...
13
votes
2answers
288 views

Given a fiber bundle $F\to E\overset{\pi}{\to} B$ such that $F,B$ are compact, is $E$ necessarily compact?

Consider a (locally trivial) fiber bundle $F\to E\overset{\pi}{\to} B$, where $F$ is the fiber, $E$ the total space and $B$ the base space. If $F$ and $B$ are compact, must $E$ be compact? This ...
13
votes
2answers
2k views

Topology of matrices

1.Consider the set of all $n×n$ matrices with real entries as the space $\mathbb R^{n^2}$ . Which of the following sets are compact? (a) The set of all orthogonal matrices. (b) The set of all ...
12
votes
5answers
363 views

Compactness in $\mathbb{Q}$

Proving that $[0,1]\subset\mathbb{R}$ is compact you make use of completeness and this is a fundamental step in order to characterize compact subsets of $\mathbb{R}$. Trying to state an analogous ...
12
votes
5answers
2k views

A compact Hausdorff space that is not metrizable

Is there an example of a compact Hausdorff space that is not metrizable? I was thinking maybe the space of continuous functions $f: X \rightarrow Y$ between topological spaces $X, Y$, might work, but ...
12
votes
3answers
928 views

Countable compact spaces as ordinals

I heard at some point (without seeing a proof) that every countable, compact space $X$ is homeomorphic to a countable successor ordinal with the usual order topology. Is this true? Perhaps someone can ...
12
votes
1answer
1k views

If $A$ and $B$ are compact, then so is $A+B$.

This is an exercise in Chapter 1 from Rudin's Functional Analysis. Prove the following: Let $X$ be a topological vector space. If $A$ and $B$ are compact subsets of $X$, so is $A+B$. My guess: ...
11
votes
1answer
187 views

Does there exist a topology for a set $X$ which is compact and Hausdorff?

For every set $X$ and every topology $\tau$ over $X$ we have that $\tau$ contains the trivial topology $\{ X, \emptyset\}$, which is compact, and is contained in the discrete topology $\{ S: S ...
11
votes
2answers
181 views

The smallest compactification

I've been reading about compactifications, and I am very familiar with the Stone-Čech compactification, which can be thought of as the largest compactification of a space. For a locally compact space ...
11
votes
2answers
170 views

Are compact spaces characterized by “closed maps to Hausdorff spaces”?

It is well known that any continuous map between from a compact space to a Hausdorff space must be a closed map. Does this fact characterize compactness? That is, if for a space $X$, every continuous ...
11
votes
1answer
142 views

Proving that a metric space is a group

I'm stuck on this relatively hard problem. Let $G$ be a non-empty set, $d$ a distance on $G$ and $\cdot$ an associative operation on $G$ $\cdot$ is such that $$\forall a \in G , \forall x \in G ...
10
votes
6answers
537 views

Pseudocompactness does not imply compactness

It is well known that compactness implies pseudocompactness; this follows from the Heine–Borel theorem. I know that the converse does not hold, but what is a counterexample? (A pseudocompact space is ...
10
votes
2answers
297 views

Can compact sets completey determine a topology?

Suppose that $\tau_1$ and $\tau_2$ are two topologies on a set $X$ with the property that $K\subset X$ is compact with respect to $\tau_1$ if and only if $K$ is compact with respect to $\tau_2$. Then ...
10
votes
1answer
357 views

How many points does Stone-Čech compactification add?

I would like to know how Stone-Čech compactification works with simple examples, like $(0,1)$, $\mathbb{R}$, and $B_r(0)$ (the open ball of $R^2)$. I've studied the one-point compactification and this ...
10
votes
2answers
412 views

If $A$ is compact, is then $f(A)$ compact?

I just got my exam back, and I still cannot understand this question: Given a continuous function $f:A\subseteq\mathbb{R}\to\mathbb{R}$, show that if $A$ is a compact set, then its image, $f(A)$, ...
10
votes
1answer
233 views

Are there non-Hausdorff examples of maximal compact topologies in the lattice of topologies on a set?

In the lattice of topologies on a set $X$, the compact topologies are a lower set in the lattice, while the Hausdorff topologies are an upper set. A result of this theorem is that the compact ...
10
votes
1answer
186 views

Growth $\beta X\setminus X$ of a Banach space $X$

Is there an analytic characterisation of the Čech-Stone compactification (in the norm topology, which is a normal space) of a Banach space $X$? The reason I ask is because I want to know what the ...
9
votes
4answers
4k views

Projection map being a closed map

Let $\pi: X \times Y \to X$ be a projection map where $Y$ is compact. Prove that $\pi$ is a closed map. First I would like to see a proof of this claim. I want to know that here why compactness is ...
9
votes
2answers
4k views

Understanding the definition of a compact set

I just need a bit of help clarifying the definition of a compact set. Let's start with the textbook definition: A set $S$ is called compact if, whenever it is covered by a collection of open sets ...
9
votes
1answer
2k views

Intersection of finite number of compact sets is compact?

Is the the intersection of a finite number of compact sets is compact? If not please give a counter example to demonstrate this is not true. I said that this is true because the intersection of ...
9
votes
3answers
665 views

M compact $p\in M$ , there exist $f:M-p\to M-p$ continuous bijection but not homeomorphism?

Let M be a compact metric space. We know that if $ g:M\to M$ is a continuous bijection then it's a homeomorphism. But I want to know, if I have a continuous bijection $ f:M - \left\{ p \right\} \to M ...
9
votes
2answers
786 views

compactness / sequentially compact

I'm looking for two examples: A space which is compact but not sequentially compact A space which is sequentially compact but not compact Explanations why the spaces are compact / not compact and ...
9
votes
1answer
412 views

$(X,\mathscr T)$ is compact $\iff$ every infinite subset of $X$ has a complete limit point in $X$.

Let $(X,\mathscr T)$ be a topological space. Given $A\subseteq X$, we say that $x$ is a complete limit point of $A$ if for every nbhd $N$ of $x$, $|N\cap A|=|A|$. I want to prove Suppose ...
9
votes
3answers
281 views

A question on a compact space

Show: If the closure of every discrete subset of a space is compact then the whole space is compact. Thanks advance:)
9
votes
1answer
3k views

Rationals are not locally compact and compactness

I was wondering if someone can please help me with the following problems: Show that $\mathbb{Q}$ is not locally compact. Prove that if $X$ is Lindelöf and $Y$ is compact then $X \times Y$ is ...
9
votes
1answer
185 views

Ideal in compact Hausdorff space

This is exercise 70, chapter 4. from Folland (page 142) Let $X$ be a compact Hausdorff space. An ideal in $C(X, \mathbb{R})$ is a subalgebra $J$ of $C(X, \mathbb{R})$ such that if $f\in J$ and $g\in ...
9
votes
1answer
437 views

Prove that a compact metric space can be covered by open balls that don't overlap too much.

The problem is: For compact metric space $(X,d)$ prove that for every $r>0$ there exists a subset $S$ of $X$ such that $\{\mbox{Open balls of radius }r\mbox{ centered at }p \mid\mbox{ for all }p ...
8
votes
5answers
5k views

Compact sets are closed?

I feel really ignorant in asking this question but I am really just don't understand how a compact set can be considered closed? I mean by definition of a compact set it means that given an open cover ...
8
votes
7answers
708 views

Give an example of a simply ordered set without the least upper bound property.

In Theorem 27.1 in Topology by Munkres, he states "Let $X$ be a simply ordered set having the least upper bound property. In the order topology, each closed interval in $X$ is compact." (The LUB ...
8
votes
5answers
851 views

How to show that this set is compact in $\ell^2$

Let $(a_n)_{n}\in\ell^2:=\ell^2(\mathbb{R})$ be a fixed sequence. Consider the subspace $$C=\{(x_n)_{n}\in\ell^2 : |x_n|\le a_n\text{ for all }n\in\mathbb{N}\}.$$ According to the book [Dunford and ...
8
votes
2answers
78 views

Topological distinguishibilty of $\infty$ after one point compactification?

Let $X$ be the one point compactification of some locally compact Hausdorff space. Let $\infty \in X$ represent the added point. Is there always a homomorphism $\phi:X \to X$ with $\phi: \infty ...
8
votes
2answers
822 views

Compact open sets which are not closed.

Can a nonclosed open subset of a $T_1$ topological space be compact? I mean an open compact set which is not clopen.
8
votes
2answers
766 views

What do compact sets look like in the rationals?

I'm trying to prove that $\mathbb Q$ is not locally compact and I'm having trouble seeing what the compact sets are. Besides merely thinking of sets and then checking if they are compact or not, is ...
8
votes
1answer
460 views

Stone-Čech compactifications and limits of sequences

I've been working on some old prelims from my university when they used to just be on point-set topology. We don't cover a couple of the topics so I've been teaching myself some of the material, one ...
8
votes
2answers
121 views

A metric on $\mathbb{N}$

Define a metric on $\mathbb{N}$ by fixing a prime, $p$, and setting $$d(x,y)=\begin{cases} 0 & x=y \\ p^{-k} & \text{otherwise} \end{cases}$$ where $p^k$ is the highest power of $p$ that ...