# Tagged Questions

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.

9k 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 ...
10k 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 ...
4k 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 ...
4k views

2k views

### If the graph of a function $f: A \rightarrow \mathbb R$ is compact, is $f$ continuous where $A$ is a compact metric space?

I have seen answers to this question, which go beyond my understanding of compactness and continuity. I was wondering whether we can cook up a proof using sequential compactness and certain equivalent ...
430 views

### When Cantor's Intersection theorem won't work with closed sets

Give an example to show that Cantor's Intersection Theorem would not be true if compact sets were replaced by closed sets. Compact set is closed and bounded, so what I'm going to find is something ...
233 views

### If $A$ is compact and $B$ is Lindelöf space , will be $A \cup B$ Lindelöf

I have 2 different questions: As we know a space Y is Lindelöf if each open covering contains a countable subcovering. (1) :If $A$ is compact and $B$ is Lindelöf space , will be $A \cup B$ ...
136 views

### Assume that $(\text{X}, T)$ is compact and Hausdorff. Prove that a comparable but different topological space $(\text{X},T')$ is not.

Say that a topological space is CH if it is both compact and Hausdorff. Let $T$ and $T'$ be two topologies on the same set X that are comparable but different, i.e., $T$ is either strictly smaller ...
581 views

### A theorem due to Gelfand and Kolmogorov

For any topological space $X$, we can define $C(X)$ to be the commutative ring of continuous functions $f\,:\,X\rightarrow \mathbb{R}$ under pointwise addition and multiplication. Then $C(-)$ becomes ...
2k views

### Topology: Example of a compact set but its closure not compact

Can anyone gives me an example of a compact subset such that its closure is not compact please? Thank you.
790 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 ...
825 views

2k views

### True Or not: Compact iff every continuous function is bounded [duplicate]

Let $X$ be a topological space. My question is: If $f:X\to \mathbb{R}$ is bounded for all such continuous $f$, then is $X$ compact. Is is really? If $X$ is the subset of $\mathbb{R}^d$, then it is ...
2k views

### Sum of closed and compact set in a TVS

I am trying to prove: $A$ compact, $B$ closed $\Rightarrow A+B = \{a+b | a\in A, b\in B\}$ closed (exercise in Rudin's Functional Analysis), where $A$ and $B$ are subsets of a topological vector space ...
2k views

### Fixed point Exercise on a compact set

Let $K$ a compact normed space and $f:K\rightarrow K$ so that $$\|f(x)-f(y)\|<\|x-y\|\quad\quad\forall\,\, x, y\in K, x\neq y.$$ Prove that $f$ have a fixed point.
281 views

### When is a subset of $\ell^2$ compact?

I have been looking on the internet for hours now and even asking in chat without an answer. When is a set $M\subseteq\ell^2$ compact? For $L^p$, there is the Arzelà–Ascoli theorem that provides a ...
2k views

### Why is an open interval not a compact set?

I learned that every compact set is closed and bounded; and also that an open set is usually not compact. How to show that a concrete open set, for example the interval $(0,1)$, is not compact? I ...
Can a nonclosed open subset of a $T_1$ topological space be compact? I mean an open compact set which is not clopen.