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
43 views

Is every compact totally ordered space homeomorphic to a subset of $[0,1]$?

Let $(X,\leq)$ be a totally ordered set such that, equipped with the order topology, $X$ is compact. Is then $X$ homeomorphic to a closed subset $A \subseteq [0,1]$? A way to ask this question ...
1
vote
1answer
30 views

For compact $A$, $\inf\{\varrho(y,x) : y \in A\}=\varrho(a,x)$

I need help with prooving that if non empty $A$ $\subset(X,\varrho)$ is compact, then: $(\forall x \in X) (\exists a \in A) \inf\{\varrho(y,x) : y \in A\}=\varrho(a,x) $ I found this solution: ...
0
votes
1answer
100 views

Alternate proof for Arzela-Ascoli

Im trying to finish a beautiful excercise, which consist of giving an alternate proof for the following corollary of Arzela-Ascoli´s Theorem. Given $X,Y$ metric spaces, $X$ compact, $Y$ complete, and ...
0
votes
1answer
24 views

Have you ever seen this result about pointwise/uniform convergence of a net of continuous functions?

I am in need of results transforming pointwise convergence of functions into uniform convergence. Since I wasn't satisfied with Dini's theorems, I had to prove the following result: Let $K$ be a ...
0
votes
1answer
28 views

Can a countably infinite compact topological space have isolated point? Can it admit a minimal subsystem?

Examples I could think of are all sequences with their limit. But is every countably infinite compact space admit atleast one isolated point?
2
votes
1answer
28 views

intersection of two relatively compact spaces

It is known that intersection of two compact spaces is might not compact but intersection of two compact Hausdorff spaces is compact. I curious about intersection of two relatively compact spaces. In ...
0
votes
0answers
29 views

Countable fundamental system of neighbourhoods in a compact Hausdorff space?

Is it true (or false) that every point in a compact Hausdorff-Space has a countable local base, i.e. a countable fundamental system of neighbourhoods? If this is false, which additional property ...
16
votes
2answers
413 views

Topological spaces in which every proper closed subset is compact

Let $X$ be a topological space. It is a basic result that that if $X$ is compact, then every proper closed subset $Y \subset X$ is compact. Out of curiosity, I would like to explore the converse of ...
2
votes
1answer
50 views

Comparing the Samuel and Stone-Čech compactifications of a Hausdorff topological group

Let $G$ be an Hausdorff topological group and let $\beta G$ be the Stone-Čech compactification of $G$. Now, $G$ is also a uniform space with respect to the so-called right uniformity. Let $S(G)$ be ...
12
votes
2answers
140 views

Is $\mathbb{R}^n$ properly homotopy equivalent to $\mathbb{R}^m$ if $n \neq m$?

$\DeclareMathOperator{\id}{id} \newcommand{\R}{\mathbb{R}}$ If $f,g : X \to Y$ are two maps (all maps considered are continuous here), a homotopy between $f$ and $g$ is a map $H : [0,1] \times X \to ...
3
votes
1answer
70 views

Finding Function's Extension and Its Unique Existence.

Let $$A= \left\{\frac j{2^n}\in [0,1] \mid n = 1,2,3,\ldots,\;j=0,1,2,\ldots,2^n\right\} $$ and let $$ f:A\rightarrow R $$ satisfy the following condition: There is a sequence $ \epsilon_n \gt 0 $ ...
12
votes
1answer
242 views

Let $D$ be a bounded domain (open connected) in $ \mathbb C$ and assume that complement of $D$ is connected.Then show that $\partial D$ is connected

I am trying to prove the following famous result in Point Set Topology. Let $D$ be a bounded domain (open connected) in $ \mathbb C$ and assume that complement of $D$ is connected. Then show that ...
0
votes
1answer
50 views

Extreme points of the set of positive regular borel measures on a compact Hausdorff space

I have some troubles with a specific proof of a (Bochner-type) theorem in Rudin's book "Functional Analysis". More specifically, let $X$ denote a compact Hausdorff-Space and let $M$ denote the set of ...
1
vote
2answers
40 views

Why $\hat{\mathbb{C}}\setminus K$ connected $\implies {\mathbb{C}}\setminus K$ connected? ($K $ compact)

Let $\hat{\mathbb{C}}=\mathbb{C}\cup \{\infty\}$ denote the extended complex plane, with the usual topology.That is $U$ such that $U$ is open in $\mathbb{C}$ and the neighbourhoods of $\{\infty\}$ ...
7
votes
3answers
359 views

Space on which all real-valued continuous functions achieve maximum but not compact?

A friend is writing a book for non-mathematicians; he has asked me some questions... One possible direction I suggested was whether a topological space (metric space can probably be assumed given what ...
1
vote
0answers
103 views

Why do we need tube lemma to prove the compactness of the product of two compact spaces?

I read the proof in Munkres' book Topology which uses the tube lemma but still thinking about an easier proof using basis of product topology : $X \times Y$ has $$\{B_x \times B_y, B_x \times Y, X ...
0
votes
0answers
9 views

Show that representative functions on a profinite group factors. [duplicate]

Let $G$ be a compact group. A representative function $f\in\mathcal{C}(G,\mathbb{K})$ is a function such that $\dim\left(\operatorname{span}\left(Gf\right)\right)< \infty$. Remark that the ...
1
vote
1answer
63 views

Which of the following condition implies that the set $A$ is compact

Question : Let $A$ be a subset of $\mathbb R$. Which of the following properties implies that $A$ is compact $?$ Every continous function $f :A \rightarrow \mathbb R $ is bounded. Every sequence ...
1
vote
1answer
15 views

Prove that there exist $r>0$ such that $\bigcup_{x \in K} B(x,r) \subset V$

Let $M$ be a metric space, let $K \subset V \subset M$, $K$ compact, $V$ open. Prove that there exist $r>0$ such that $\bigcup_{x \in K} B(x,r) \subset V$ I came up with a proof, but there is ...
0
votes
1answer
15 views

Distance attained by a function

Let $A$ be a subset of $\mathbb R^n$ and let $x\in \mathbb R^n$. Then $\exists y_0\in A$ such that $d(x,y_0)=d(x,A)$ if $A$ is a non-empty subset of $\mathbb R^n$. $A$ is a non-empty closed subset ...
0
votes
1answer
50 views

Is Y a compact subset?

$X$ compact topological space, $f\colon X\to X$ continuous Is then $Y:=\bigcap_{n\geqslant 1}f^n(X)\subset X$ compact? Edit (based on the comments I got below): The assumption that $X$ ...
0
votes
1answer
36 views

How can I formally write $f(x) \to 0$ when $x \to \infty$

I've just proven that if $f:\mathbb{R} \to \mathbb{R}$ is uniformly continuous in $[a,b]$ and it is also uniformly continuous in $[b,+\infty)$ then $f$ is uniformly continuous in $\mathbb{R}_{\geq ...
2
votes
3answers
62 views

A compact Hausdorff space

It is known that every finite space is compact. Then I am worried whether there exists a compact Hausdorff space $X$ with with ordinal of $X$ is $\omega_0$. Does anyone know about it?
3
votes
1answer
57 views

$f\circ g$ continuous, $f$ local homeomorphism, $g$ continuous in a different topology $\implies g$ is continuous

I've asked this question before but neglected some assumptions and got a less than useful answer as a result, so I'm going to try again. Let $g:I\times I\to Y$ (where $I=[0,1]$) be a function such ...
0
votes
1answer
44 views

Condition under which a set is compact

I'm studying at university real analysis and in class the teacher said that a set is compact if and only if is closed and bounded. But I don't really understand the concept, more widely: what really ...
0
votes
1answer
63 views

Can someone please point out the flaw in my proof? [duplicate]

Let $f:X \to Y$ be a proper map.Show that $f$ takes discrete sets to discrete sets. Proof:Let $A$ be discrete in $X$ and let $K$ be compact in $Y$ then $f(A) \cap K=f(A \cap f^{-1}(K))$,is finite ...
1
vote
0answers
22 views

Upper-hemicontinuity of product maps on compact metric spaces.

Let $X$ and $\{Y_i\}_{i\in I}$ be compact metric spaces (where $I$ an index set of possibly uncountable cardinality). Let $\Gamma_i$ be a compact valued, upper hemicontinuous (UHC) correspondence from ...
2
votes
2answers
33 views

Prove that $\delta$ is a metric in $\mathcal{K}(X)$

Let $(X,d)$ be a complete metric space. We define $\mathcal{K}(X)=\{K \subset X : K \text{ is compact and non empty}\}$ Define $d'(A,B)=sup_{a \in A}\{d(a,B)\}$ Show that $\delta$ ...
1
vote
0answers
14 views

Let ϵ=d(K,∂U)/2 , V=Bϵ(K), then V⊆V¯⊆U.

Let $K \subseteq U\subseteq R^{n} $, where K is compact, nonempty and U is open. Let $\epsilon = d(K, \partial U)/2$. Show that closure of set $V = B_{\epsilon}(K) $ is compact and $K \subseteq ...
1
vote
1answer
27 views

Closed and boundary subsets

Let $X$ be a nonempty compact space and let $F_1, F_2, ...$be its closed and boundary subsets. Prove that $\bigcup_{n=1}^{\infty} F_n \neq X$ I have no idea how to do it. My only plan would be to ...
1
vote
1answer
56 views

Countable and not closed subset of infinite compact space

The taks is: Show that in every infinite compact space there is a countable subset that is not closed. At first I read that it should be closed and I had an idea to take a point $x_1 \in X$ and an ...
2
votes
2answers
49 views

Is the intersection of two locally compact subspaces locally compact?

Taking locally compact as such that every point has a local base of compact neighborhoods, is the intersection of two locally compact subspaces locally compact?
2
votes
2answers
23 views

Show that the closed ball $B[x,1]$ in $c_0$ is not compact.

Consider $c_0 = \{(a_n)_{n \in \mathbb{N}}\subset \mathbb{R}:a_n \to 0\}$. Show that the closed ball $B[x,1]=\{y \in c_0 : d_{\infty}(x,y)\leq 1\}$ is not compact in $c_0$. Were ...
2
votes
3answers
71 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
46 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
40 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
25 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
44 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
28 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
33 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
77 views

Prob. 5, Sec. 27 in Munkres' TOPOLOGY, 2nd ed: Every compact Hausdorff space is a Baire 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$ ...
4
votes
2answers
101 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
10 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
39 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
44 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
43 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
47 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, ...
3
votes
0answers
33 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
92 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 ...
6
votes
3answers
102 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 ...