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

2
votes
3answers
47 views

(Non-Euclidean) Compactness

Compactness in Euclidean Space The only definition of compact set that ever made sense to me was the intro calculus one: A set is called compact if it is closed and bounded. ...
1
vote
1answer
41 views

Question on one point compactification

I was given the following question in my general topology class assignment which is multi parts - most of which I managed alright by myself some of which I need help on. We are given a non compact ...
2
votes
1answer
21 views

prove finite intersection property for compact sets using sequential compactness

Prove finite intersection property for compact sets in metric spaces using sequential compactness with a direct proof . One approach is to prove sequential compactness and covering compactness are ...
1
vote
1answer
16 views

L^p spaces are separable and complete but not compact?

Where is the mistake in my reasoning?: Let X be a separable metric space, then for every $p\in [1,\infty)$ and for every borel measure $\mu$ on $X$: $L^p_{\mu}(X)$ is separable. Therefore by a ...
2
votes
2answers
34 views

Show that $F \subseteq X$ is closed iff $F \cap K$ is closed for every compact set $K\subseteq X$

Let $(X,d)$ be a metric space. Show that $F \subseteq X$ is closed iff $F \cap K$ is closed for every compact set $K\subseteq X$. If $F\subseteq X$ is closed then $K\subseteq X$ compact implies $K$ ...
1
vote
1answer
22 views

if one of the sets A and B is compact then d(A,B)>0.

Let $A$ and $B$ be two nonempty disjoint subsets of $\mathbb{R}^{n}$. Put $d(A,B)=inf\left \{ ||a-b||:a\in A, b\in B \right \}$. a) Show that if one of the sets $A$ and $B$ is compact then ...
1
vote
2answers
24 views

Extreme value theorem, without Heine Borel.

I was wondering, if there are any mistakes, in this proof of the extreme value theorem: Theorem. Let $X$ be a compact set and $f:X\rightarrow\mathbb{R}$, s.t. $f$ is continuous. Then there exists ...
4
votes
1answer
51 views

The union of a sequence of closed sets with empty interiors has empty interior in a compact Hausdorff space?

This is problem 5 in section 27 of Munkres' TOPOLOGY, 2nd ed Let $X$ be a compact Hausdorff space; let $\{A_n\}_{n\in \mathbb{N}}$ be a countable collection of closed sets of $X$. If each set $A_n$ ...
1
vote
1answer
48 views

Does proper map $f$ take discrete sets to discrete sets?

Suppose $f:X \to Y$ is a continuous proper map between locally compact Hausdorff spaces. Are the following results true? $1$. The map $f$ takes discrete sets to discrete sets. $2$. If $f$ is ...
0
votes
0answers
9 views

Compactness of a collection

Given $\epsilon\in(0,1)$, suppose we have collection $\mathscr{C}(\epsilon)$ of multilinear polynomials in $\Bbb R[x_1,\dots,x_n]$ that on $\{0,1\}^n$ is in range $[-\epsilon,\epsilon]$ on $S_0$ while ...
2
votes
4answers
29 views

Show that if $X$ is sequentially compact, then $X$ is complete and totally bounded

Given a metric space $X$ which is sequentially compact (i.e every sequence has a converging subsequence), show that $X$ is complete and totally bounded. I've already shown that $X$ is complete, since ...
0
votes
1answer
38 views

Prob. 3 (b), Sec. 27 in Munkres' TOPOLOGY, 2nd ed: How does the $K$-topology on $\mathbb{R}$ differ from the usual topology?

Let $$ K \colon= \left\{\ \frac{1}{n} \ \colon \ n \in \mathbb{N} \ \right\},$$ and let the $K$-topology on $\mathbb{R}$ be the one having as basis all open intervals $(a,b)$ and all sets of the form ...
2
votes
1answer
30 views

Show that if $(X,d)$ is compact then, every open covering of $X$ has a Lebesgue number.

Let $(U_i)_{i \in I}$ be an open cover of a metric space $(X,d)$, a number $\epsilon >0$ is called a Lebesgue number of $(U_i)_{i \in I}$ if for all $x \in X$ exist $j \in I$ such that ...
3
votes
0answers
39 views

If a set is Hausdorff relative to one topology, can it be compact relative to a strictly finer topology?

Let $\tau_1$ and $\tau_2$ be two topologies on set $X\neq\phi$ such that $(X, \tau_1)$ is Hausdorff and $\tau_1 \subsetneq \tau_2$. Can $(X, \tau_2)$ be compact? My effort: Suppose that $(X, ...
-4
votes
0answers
21 views

Metric spaces and compactness [on hold]

Let $X$ be a metric space. If for all compact $K$, the set $K\cap F $ is closed, then $F$ is closed.
-3
votes
2answers
38 views

Three questions from σ-compact spaces and topological groups [on hold]

every locally compact subgroup of a Hausdorff group is closed. A Hausdorff and $σ-$compact space X is a Baire space if and only if the set of points at which is $X$ is locally compact is dense in ...
3
votes
0answers
24 views

Prob. 1, Sec. 27 in Munkres' TOPOLOGY, 2nd ed: How to show that the compactness of every closed interval implies the least upper bound property?

Let $X$ be an ordered set in which every closed interval is compact. Then $X$ has the least upper bound property. How to prove this? My effort: Let $A$ be a non-empty subset of $X$ such that $A$ is ...
2
votes
2answers
54 views

Bounded complete metric space is compact?

This question may seem trivial, but in topology we were taught that in a complete metric space, a subset of that space was compact if and only if it is closed and bounded. Moreover, we are told that ...
-2
votes
1answer
21 views

Proof cube & trapezium a Compact Space & $E^n$ & $I^n, I^{\infty}$ are connected space ??? [closed]

I need a serious help here please! Question 1: Prove that $E^n$ & $I^n$, $I^{\infty}$ are connected spaces. After a lot of search I found some two theorems in James Dugundji book. But I still ...
6
votes
3answers
64 views

Prob 12, Sec 26 in Munkres' TOPOLOGY, 2nd ed: How to show that the domain of a perfect map is compact if its range is compact?

Let $X$ and $Y$ be topological spaces such that $Y$ is compact, and let $f \colon X \to Y$ be a closed, surjective, and continuous map such that, for each $y \in Y$, the inverse image $f^{-1} ( \ \{y ...
0
votes
1answer
16 views

Additive function in $\mathbb{R}^n$ is continuous, and related subspaces compact

I want to show that the function: $A: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}^n, (x, y) \mapsto x + y$ is continuous. Also, why is it that if $K, L$ are compact subspaces of $\mathbb{R}^n$, ...
0
votes
1answer
26 views

Connection between one-point compactification of $\mathbb{R}$ and $S^1$

Definition I got: A one-point compactification of $X$ is $\hat{X}=(X\cup\{\infty\},\tau).$ The new topology $\tau$ is generated by open subsets of $X$, and $U\cup\{\infty\}$ where $U=K^C$ where $K$ ...
2
votes
1answer
44 views

Is there an example of a non compact operator whose square is compact?

Is there an example of a non compact linear operator T from a Banach space X to itself such that T^2 is compact? Of course the converse is true, as T ^2 is compact if T is. Here T^2 means T composite ...
2
votes
1answer
24 views

What does compactness of $\mathbb R$ under one of these topologies imply about compactness under the other?

Let $\tau ,\tau_1$ be two topologies on the set $\mathbb R$ .Suppose $\tau \subset \tau_1$ .What does compactness of $\mathbb R$ under one of these topologies imply about compactness under the other? ...
1
vote
1answer
53 views

When a sigma-finite space is a sigma-compact space?

$X$ is a topological space, $m$ is a $\sigma-$finite measure on $B(X)$, and what condition can make $X$ be a $\sigma-$compact space? This question is from topological groups (for me). Locally compact ...
0
votes
0answers
32 views

A confusion of a real analysis online lecture: Relative compactness

https://www.youtube.com/watch?v=kkKfRaI-cqs At 13.00 what does the professor mean to let those subcovers be "restricted" to Y? Is that a process like A is contained by B implies that A intersect C in ...
0
votes
0answers
15 views

core-compact but not locally copact

A space $X$ is called core-compact if the set of all open set in $X, \mathcal{O}(X)$, is a continuous poset. It is known that every locally compact is core-compact. Here, a space $X$ is locally ...
1
vote
2answers
33 views

continuous image of a locally compact space is locally compact

Is continuous image of a locally compact space is locally compact? Let $X$ be locally compact(l.c.).Let $f:X\to Y$ is continuous and surjective. A space $X$ is locally compact if for each $x\in X$ ...
1
vote
2answers
43 views

compactness of Hilbert cube

I want to show that the Hilbert cube which is: $H=\{(x_1,x_2,...) \in [0,1]^{\infty} : for \ each \ n \in \mathbb{N}, |x_n|\leq \dfrac{1}{2^n}\}$ is compact with respect to the metric: ...
1
vote
0answers
26 views

Prob. 7, Sec. 26 in Munkres' TOPOLOGY, 2nd ed: How is the projection onto the first factor closed in the second factor is compact?

Let $X$ and $Y$ be topological spaces such that $Y$ is compact. Then how to show that the projection map $\pi_1 \colon X \times Y \to X$ is a closed map? My effort: Let $C$ be a non-empty closed ...
2
votes
1answer
30 views

Arbitrary intersection of closed compact sets is compact (Topology)

Arbitrary intersection of closed compact sets is compact We've been trying to find a counter example to this, however we failed. So we would be happy if someone can tell us if this proposition is ...
-1
votes
1answer
14 views

Construction of a given neighbourhood in a locally compact group

Let $G$ be a locally compact group. Why is it possible to select a compact neighbourhood $U$ of $e \in G$ such that $U=U^{-1}$ and $gU^2 \subset V$? This is a construction quickly stated by Helgason, ...
3
votes
2answers
32 views

Product of Compactly Generated and Locally Compact is Compactly Generated

I'm trying to prove that if $X$ is compactly generated and $Y$ is T2 (Hausdorff) and locally compact then $X\times Y$ is compactly generated. First it is clear that since both $X$ and $Y$ are T2 then ...
0
votes
1answer
30 views

Let $K_1 \supset K_2 \supset… $ be a sequence of connected compact subsets of $ \Bbb R^2 $. Is $ K = \cap_{i=1}^\infty K_i $ is connected? [duplicate]

I have managed to write down two proofs showing the connectedness of $K$. But still shaky about both of them. Here are the proofs: 1)Suppose $K$ is disconnected. Then we write it's separation as $ K ...
9
votes
1answer
89 views

Epimorphisms of locally compact spaces

Let $LCH$ be the category of locally compact Hausdorff spaces with proper continuous maps. Question. What are the epimorphisms in $LCH$? I suspect them to be surjective, but I haven't been able to ...
0
votes
0answers
15 views

About submanifolds, diffeomorphisms, compact subsets and jordan measurable subsets.

I am given the following problem set which left me pretty puzzled. Let $M \subset \mathbb{R}^n$ be a $C^1$ submanifold and $$\psi : \Omega \rightarrow U \cap M$$ a chart of $M$. $\Omega \subset ...
1
vote
4answers
38 views

Show that the closed unit ball $B[0,1]$ in $C[0,1]$ is not compact

Show that the closed unit ball $B[0,1]$ in $C[0,1]$ is not compact under the following metrics: $1. d(f,g)=\sup_{x\in [0,1]}|f(x)-g(x)|$ $2.d(f,g)=\int _0^1 |f(x)-g(x)| dx$ My try: In order to ...
1
vote
0answers
25 views

compact convergence for a series in complex space

I need some help with this. I have to show that the follwing series converges compat. $$\sum_{n=1}^\infty f_n :D:= \{z \in \mathbb{C} | Re(z) > 0 \} \to \mathbb{C}, f_n (z):=\frac{1}{z+n^2} $$ I ...
1
vote
3answers
45 views

Topology: Continuous bijective function, domain = covering compact

Final in real analysis coming up. I could really use some help. If a function f from one set M to another set N is a continuous bijection and M is covering compact, can anything in general be said ...
1
vote
1answer
27 views

function on k-space

A topological space $X$ is called k-space if the following condition holds: $A\subseteq X$ is open in $X\iff A\cap K$ is open in $K$ for any compact subest $K$ of $X$. A space $kX$ is a topological ...
1
vote
1answer
33 views

Show that $\exists a\in A; b\in B$ such that $d(a,b)=d(A,B)$

Let $A,B$ be two compact subsets of $X$ where $(X,d)$ is a metric space. 1.Show that $\exists a\in A; b\in B$ such that $d(a,b)=d(A,B)$ where $d(A,B)=\sup\{d(a,b):a \in A;b\in B\}$ 2.Show that ...
4
votes
1answer
23 views

Image of a bounded sequence by a convex continuous function in a Banach space

Let $(X, \Vert \cdot \Vert)$ be a Banach space, and $f : X \longrightarrow \mathbb{R}$ a convex function, continuous for the norm topology. Suppose that $x_n$ is a sequence which weakly converges to ...
2
votes
1answer
33 views

compactly generated spaces

A topological space $X$ is called compactly generated if following condition holds: $A\subseteq X$ is open in $X$ iff for every compact $K\subseteq X$, $A\cap K$ is open in $K$. My lecturer said ...
1
vote
1answer
34 views

Maximum and minimum of a function from $\mathbb{R}^n$ to $\mathbb{R}$

Let $A \in \mathbb{R}^{n \times n}$ be a real $n \times n$-matrix. Consider the function $$q: \mathbb{R}^n \to \mathbb{R}, x \mapsto x^t A x$$ where $x^t$ is the transposed vector $x$. I now want ...
0
votes
1answer
15 views

unitalization of the $c^*$-algebra of complex polynoms without constant term / compactness of the spectrum of elements in non-unital $c^*$-algebras

Let A be $C^*$-algebra with unit $e$ and $a\in A$ normal. We define $$alg(a,a^*)=\overline{ \{ \sum\limits_{k,l=0}^n\lambda_{k,l}a^k\overline{a}^l; \lambda_{k,l}\in\mathbb{C}, n\in\mathbb{N}\} \\}$$ ...
4
votes
3answers
38 views

Prob 10 Sec 26 in Munkres' TOPOLOGY, 2nd ed: How to give examples of this result failing?

Let $X$ be a compact topological space. Let $f_n \colon X \to \mathbb{R}$ be a sequence of continuous functions such that $f_n(x) \leq f_{n+1}(x)$ for all $x \in X$ and for all $n \in \mathbb{N}$. Let ...
1
vote
4answers
54 views

Are there compact manifolds without boundary?

Based on this question I'd like to know: Are there compact (sub)manifolds without boundary in $\mathbb{R}^n$ ? Because, as that question shows, the topology of the manifolds has to be the trace ...
2
votes
1answer
60 views

Prob 9, Sec 26 in Munkres' TOPOLOGY, 2nd ed: How to prove the generalised tube lemma?

The tube lemma is as follows: Let $X$ and $Y$ be topological spaces. Let $Y$ be compact. Let $x \in X$. If $N$ is an open set in $X \times Y$ such that $x \times Y \subset N$, then there is an open ...
3
votes
2answers
132 views

Complementary compactness

Let $X$ be a topological space having the property that whenever a subset $A$ of $X$ is compact, then $X\setminus A$ is compact too. Is every subset of $X$ compact?
0
votes
3answers
50 views

Compact Sets in $\mathbb{R^{n^2}}$ [duplicate]

I have a question of multivariable analysis and I don't know how to resolve this. The $n \times n$ orthogonal matrices form a compact subset of $\mathbb{R^{n^2}}$? I will be very grateful for ...