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

1
vote
1answer
19 views

Baby Rudin Theorem 2.41 boundedness

I'm currently reading the POMA of Rudin and I don't understand the proof of boundedness of the theorem 2.41 (p. 40) of the book. It wants to prove that if $E \subset \mathbb{R}^k$ we have that every ...
2
votes
1answer
31 views

Two disjoint compact sets in a topological group

Let $(G, \cdot )$ be a compact (Hausdorff) topological group. If $A$ and $B$ are two disjoint compact subsets of $G$, how can we show that there exists a nonempty open set $V$ such $A\cdot ...
1
vote
2answers
19 views

Cantor's Intersection Theorem

If the subsets of the compact space are already non-empty, isn't it obvious that the even the smallest subset is non-empty, and so the intersection is also non-empty because it would be the smallest ...
2
votes
1answer
42 views

Help me understand the reasoning used in the following lemma (38.1) from James Munkres' Topology.

Let $X$ be a space and $h: X \to Z$ be an embedding of $X$ in the compact Hausdorff space $Z$. There exists a corresponding compactification $Y$ of $X$ such that $H:Y \to Z$ is an embedding and equals ...
9
votes
9answers
395 views

Motivation for the Definition of Compact Space

A compact topological space is defined as a space, $C$, such that for any set $\mathcal{A}$ of open sets such that $C \subseteq \bigcup_{U\in \mathcal{A}} U$, there is finite set $\mathcal{A'} ...
1
vote
1answer
46 views

What do you call a space whose only compact sets are finite? [duplicate]

What do you call a topological space where a subset is compact iff it's finite? Is there a technical name? For example, take the discrete topology, or the countable complement topology.
1
vote
1answer
21 views

Average integral for continuous functions with compact support

Let $f$ be a continuous function with compact support in $\mathbb{R}^n$. Show that \begin{equation} \lim_{r\to 0} \frac{1}{|B_r(x)|} \int_{B_r(x)} f(y)\,dy = f(x), \end{equation} where $B_r(x)$ is the ...
2
votes
1answer
57 views

Prove that the set of square matrices $A(x)=\begin{pmatrix} 2x+y & x \\ 3x & 2x+3y \\ \end{pmatrix}$ for $x,y\in [0,1]$ is a compact set.

Prove that the set of square matrices $A(x)=\begin{pmatrix} 2x+y & x \\ 3x & 2x+3y \\ \end{pmatrix}$ for $x,y\in [0,1]$ is a compact set.(Take into consideration metric $d_2...$) I was ...
7
votes
2answers
176 views

Does anyone have a proof that the intersection and union of two compact sets is compact.

I have my take on it. It is quite informal and don;t know where it would be evaluated correctly on an exam. Since the sets are compact that means for every open cover there is a finite cover. When ...
4
votes
2answers
133 views

Prove that closed subsets of a compact set is compact. What's wrong with this proof?

I understand other methods of achieving the result, but this was my first try. I'm not sure where my mistake is, if any. And yes, I realize that using the fact that $B$ is closed would help. For a ...
0
votes
1answer
31 views

Intersection of arbitrary union of compact subsets.

My textbooks asks to prove that arbitrary intersection of compact subsets in hausdorff space is again compact. I've kinda found the counterexample $\bigcap_{1\leq x<2} [x,3]=(2,3]$, and can't find ...
2
votes
1answer
27 views

Uniformly $\beta$-continuous functions (jumps no greater than $\beta$) converge uniformly to $f$, is $f$ continuous?

Let $(X,\rho)$ be a compact metric space, we say a function on $X$ is uniformly $\beta$-continuous if, for every $\epsilon > 0$, there exists $\delta > 0$ such that if $\rho(x,y) < \delta$, ...
0
votes
2answers
52 views

Reference request for Heine-Borel theorem

I would like to know a nice reference for the Heine-Borel theorem. In a text, I have the compactness argument for the following two sets. The reference should be able to cover these two cases. ...
0
votes
3answers
91 views

Definition of compactness unnecessarily verbose?

The definition of a compact set is given as a set, $X$, for which all open covers have a finite subcover. This seems unnecessarily verbose to me. Wouldn't it be sufficient to simply say that $X$ has ...
5
votes
1answer
57 views

Continuity of a “minimal distance” projection $f:(X,d) \to (K, d_{|K})$ for a compact $K \subset X$. (Hint preferred)

Let $(X,d)$ be a metric space and $K$ be a compact subset of $X$. Show that for every $x \in X$ there exists $k_x \in K$ such that $$d(x,K)=d(x,k_x)$$ Suppose that for every $x\in X$, there exists ...
6
votes
3answers
186 views

What is the sheafification of the presheaf of the one point compactification?

Okay, so I had this idea for a presheaf that is quite peculiar. Instead of being based on algebraic category (i.e. abelian groups), it is based on a topological one, the category of compact ...
1
vote
1answer
23 views

Show that there exists a constant C depending on $U$ and $K$ such that $|f(z)| \leq C(\int_{U} |f|^2)^{1/2}$.

Let $f$ be analytic in an open set $U \subseteq \Bbb C$ and let $K \subseteq U$ be compact. Show that there exists a constant C depending on $U$ and $K$ such that $|f(z)| \leq C(\int_{U} |f|^2)^{1/2}$ ...
1
vote
2answers
30 views

Does finite covering dimension imply local compactness?

I have a space which is not locally compact and I'm trying to see if I can say anything about the dimension of the space. I suspect that it is not finite dimensional but I have thus far been unable to ...
-5
votes
1answer
33 views

it is a problem on topology [closed]

let $X$ BE LOCALLY COMPACT SECOND countable hausdorff space show that there exist a sequence {$K_n$} of compact subset such that $X=\cup K_n$ and $K_n \subset Int(K_{n+1}) $ .
2
votes
2answers
42 views

Open balls with radis $>\epsilon$ in a compact metric space

In a compact metric space $(X,d)$, for a given $\epsilon>0$, if $(x_j)_{j \in J}$ is a family of points of $X$ such that the balls $B(x_j, \epsilon)$ are pairwise disjoint, does it automatically ...
4
votes
1answer
77 views

When only eventually constant sequences are convergent?

Let $X$ be a compact Hausdorff topological space whose convergent sequences are eventually constant. Is there a description of such spaces. How ''far'' these spaces from Stonean ones?
4
votes
1answer
23 views

Squeezing an open set and a compact set between two sets

Let $U\subseteq \mathbb{R}^2$ be open, and $C\subset U$ be compact. Show there exists $V$ open and $D$ compact such that $C\subset V\subset D\subset U$. My attempt : For each $x\in U$ consider balls ...
2
votes
1answer
54 views

Proof of the Banach–Alaoglu theorem

The Banach–Alaoglu theorem states that the closed unit ball of $B'$ (where $B'$ is the dual to a Banach space $B$ over a field) is compact in the weak* topology. I'm having trouble trying to prove the ...
0
votes
1answer
30 views

Infinite set which is Dedekind finite and Weierstrass compactness

Weierstrass compactness states that each infinite set has a limit point. Why Infinite set which is Dedekind finite with discrete metric not Weierstrass compact.
2
votes
1answer
43 views

Question on definition of a cover and results with compactness

My professor defines a cover of $A$ to be a collection of sets whose union is equal to $A$. I am used to this being instead a superset of $A$. Doesn't this lead to contradictions? Then, there can be ...
0
votes
1answer
23 views

Does totally bounded imply covering compact?

Let S be totally bounded. So, $\forall\epsilon>0$, $S$ can be covered by a finite number of balls of radius $\epsilon$. Now, let $\{S_n\}$ be a cover of $S$ with open sets. So, $S_n\cap S$ is also ...
2
votes
1answer
47 views

The assumption of nonemptiness in the theorem (3.10 from Rudin) about the intersection of nested compact sets

There is Theorem 3.10(b) in baby Rudin. If $K_n$ is a sequence of compact sets in a metric space $X$ such that $K_n\supset K_{n+1}$ and if $$\lim_{n\to \infty}\text{diam}K_n=0,$$ then ...
1
vote
1answer
17 views

Closure of set of vectors with norm 1 in $\mathbb{C}^n$

In the proof for existence of SVD, it always says - Due to compactness, we can always find a vector $v_{1} \in \mathbb{C}^n$ such that $A\,v_{1} = \sigma_{1} \, u_{1}$. Another post explained what is ...
0
votes
2answers
43 views

Understanding the proof of “continuous image of compact set is compact”

I have a trouble understanding the proof of theorem. Theorem. If a function $f:K \rightarrow \mathbb{R}$ is continuous and $K$ is compact set, then $f(K)$ is compact too. Proof. (This is part ...
1
vote
1answer
31 views

Proving that $O(n)$ is compact

Let $O(n)$ denote the group of orthogonal matrices under multiplication. We want to show that this is set is compact. To show $O(n)$ is compact, we can use Heine-Borel and show that it is closed and ...
0
votes
1answer
29 views

Property of topologically equivalent metrics [closed]

Let $X$ be a compact topological space, and $d_1,d_2$ two metrics that induce the topology on $X$. Is it necessarily true that for every $\epsilon > 0$ there exists a $\delta > 0$ such that: ...
1
vote
1answer
57 views

$\beta \mathbb{R}$ is a quotient space of $ \beta \mathbb{N} $

I know that a quotient space can be thought of as being an open continuous image of a space. Therefore, it would be enough to find some map from $ \beta \mathbb{N}$ open and continuous to $ \beta ...
-1
votes
2answers
65 views

Easier way to prove compactness?

Consider the topological space $(X,\tau)$ with $X=\{a,b,c\}$ and $\tau=\{\emptyset ,X,\{b\},\{a,b\},\{b,c\}\}$. This space is compact if every open cover contains a finite subcover. But there are a ...
2
votes
1answer
41 views

Is the continuous image of a compact metric space second countable?

I have been trying to determine if the continuous image of a compact metric space is second countable. I know that a compact metric space can be shown to be separable and that continuous functions ...
1
vote
1answer
42 views

How do you quickly show whether an operator is compact?

In my text on functional analysis, the author defines an operator on normed space as compact if it: continuous transforms bounded sets into relatively compact sets Okay, number 1 we can work with. ...
0
votes
2answers
54 views

Weighted shift operator is Hilbert-Schmidt

If $W : \ell^2 \to \ell^2$ is the weighted shift operator defined by $$W(x_1,x_2,x_3,\ldots)=(0,x_1,\frac 12x_2,\frac 13x_3,\ldots),$$ how can I show that $W$ is Hilbert-Schmidt? If I have ...
3
votes
1answer
31 views

A question related to convex and compact set

I encounter a problem related to convex and compact set, which is stated as follows. Whether or not the following claim is correct? Claim: Let $C$ be an arbitrary subset of $R^n$ such that $C$ is ...
1
vote
0answers
37 views

$1 \leq a^2x^2 + b^2y^2 - abxy \leq 9 , x\geq 1$- question compactness and connectedness..

I was told that this object was a cone, I cannot see that, can anyone tell me how to identify which object this is, so as to continue assesing and answering questions of compactness and ...
7
votes
2answers
84 views

Two Point Stone-Cech Compactification of an uncountable space

I looked at quite a bit of questions on the site and didn't quite find this but apologies if it's here already. I was wondering if any one knows if there exists an uncountable space and some ...
2
votes
0answers
36 views

Prove that the set of extreme points of a compact convex set is not empty.

The Krein–Milman theorem states that if $S$ is convex and compact in a locally convex space, then $S$ is the closed convex hull of its extreme points. In particular, such a set has extreme points. Is ...
3
votes
1answer
55 views

Insight about compact groups

I'm quite familiar with the general notion of compactness in math but I have some troubles with its extension to group theory. I'm not talking about definitions or theorems: I would like to have some ...
13
votes
2answers
397 views

Is a space compact iff it is closed as a subspace of any other space?

I am trying to come up with an alternate definition of a compact topological space that coincides with the usual one. Sorry if my topology is a little rusty. My proposed alternative definition is ...
1
vote
1answer
33 views

Prob. 2, Sec. 28 in Munkres' TOPOLOGY, 2nd ed: Compactness of $[0,1]$ in the lower limit topology

Let $\mathbb{R}_l$ denote the set of real numbers with the topology having as a basis all the half open intervals $[a,b)$ on the real line. Then is the closed interval $[0,1]$ compact as a subspace ...
0
votes
0answers
25 views

Prob. 1, Sec. 28 in Munkres' TOPOLOGY, 2nd ed: An infinite subset of $[0,1]^\omega$ without limit points in the uniform topology?

Let $[0,1]^\omega$ denote the set of all sequences of real numbers in the closed unit interval $[0,1]$, and let the uniform metric $d$ on $[0,1]^\omega$ be given by $$d\left( (x_n)_{n\in\mathbb{N}} , ...
0
votes
1answer
57 views

Can anyone provide a proof that a compact set in metric space $(X,d)$ is bounded using..

using anyone of the following definitions(and no other concerning compactness): -$A \subseteq (X, \tau)$ is compact if for every open cover of A there exists a finite cover. -A compact set in a ...
1
vote
1answer
35 views

Need help with this question concerning compact spaces

Let the set be given like in the following manner: $$\{x_n: n\in\mathbb N\}\subset \mathbb{R^n}$$ $$l^2=\left\{\{x_{n}\}_{n=1}^{\infty}\,\Big|\, \sum_{n=1}^{\infty}|x_n|^2<\infty\right\}.$$ Prove ...
0
votes
2answers
79 views

Does anyone understand this proof: If $A$ is closed and bounded $\implies A$ is sequentially compact.

This is how it goes, I will highlight the parts in yellow which I don;t understand why it is , or the idea behind it. $A$ is bounded so $(\forall x \in A)(\exists M > 0)(\|x\|<M)$ Let ...
4
votes
2answers
60 views

Stone-Čech compactification $\beta\mathbb{N}$ of the integers $\mathbb{N}$ with discrete topology has uncountably many points?

How do I show that the Stone-Čech compactification $\beta\mathbb{N}$ of the integers $\mathbb{N}$ with the discrete topology has uncountably many points? There is a hint that crux is to construct a ...
0
votes
1answer
71 views

An example for uncountable compact space

Would someone please give an example of a space which is compact but not countably compact space? Is my example right? : suppose there exist a collection of sets ${\{S_i}\}$ for all $i\in \mathbb ...
1
vote
1answer
64 views

Locally connected Locally compact separable metric space

Let $X$ be a locally connected locally compact separable metric space. Is it possible to find a countable collection $\mathcal{B}$ such that every member of $\mathcal{B}$ is a nonempty peano subspace ...