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

Are Hausdorff compactifications of a Tychonoff space $X$ in one-to-one correspondence with completely regular subalgebras of $BC(X)$?

Let $X$ be a completely regular (Tychonoff) topological space. It is known that if $\mathscr F\subseteq C(X,[0,1])$ separates points and closed sets (that is, for every closed set $E\subseteq X$ and ...
6
votes
1answer
82 views

Is a compact simplicial complex necessarily finite?

I'm aware that a finite simplicial complex is compact, and I am wondering whether the converse is true. If we have the topological realisation of a simplicial complex (not necessarily finite), $|K|$, ...
-1
votes
0answers
31 views

Comapctness property [on hold]

Is the arbitrary union of compact sets is compact in $R^2$? The finite union of compact sets is compact but what about infinite union i don't know.If it is not compact then please give one counter ...
1
vote
2answers
52 views

Sequentially compact space

Is every sequentially compact space metrisable? If not, then, can you give me an example of a sequentially compact space that is not compact.
9
votes
2answers
759 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 ...
1
vote
2answers
51 views

Sequence of compact sets

Let $(X,d)$ be a metric space and consider an increasing sequence $A_n$ of its subsets such that $A = \bigcup_n A_n$ is compact. Can it happen that $A\setminus A_n$ is compact for all finite $n$?
2
votes
3answers
72 views

Show that a map with some properties is closed

Let X be a topological space and Y hausdorff and local compact. Let $f:X \rightarrow Y$ be a continuous map such that $f^{-1}(K)$ is compact for all compact sets $K$. Show that $f$ is a closed map. ...
3
votes
5answers
819 views

Non-closed compact subspace of a non-hausdorff space

I have a topology question which is: Give an example of a topological (non-Hausdorff) space X and a a non-closed compact subspace. I've been thinking about it for a while but I'm not really getting ...
2
votes
1answer
60 views

Hilbert space, orthonormal system, compact set of vectors

Could you help me solve this problem? Let $e_1, e_2, ...$ be an orthonormal system in a Hilbert space, $\delta_1, \delta_2 ... \in (0, + \infty)$. Prove that the set of all vectors $\sum _{n=1} ...
5
votes
0answers
32 views

A generalization of the Arhangelskii Theorem [migrated]

Arhangeleskii's Theorem states the following For any Hausdorff topological space $X$, $$ |X|\leq2^{\chi(X)L(X)} $$ where $\chi(X)$ is the character of $X$ and $L(X)$ is the Lindelöf degree of ...
-4
votes
1answer
194 views

Can we prove that a bounded closed subset of $\mathbb R^n$ is compact without Axiom of Choice?

Can we prove that a bounded closed subset of $\mathbb R^n(n \ge 1)$ is compact without using Axiom of Choice? This is a related question which was closed.
2
votes
2answers
45 views

If X is local compact, then it holds: A is closed $\iff$ $A\cap K$ is compact for all compact K [closed]

Prove: Show that for every local compact space X holds the following: A $\subseteq$ X is closed $\iff$ $A \cap K$ is compact, for all compact sets K. I use the following definition of local ...
2
votes
1answer
32 views

The set of zeros of a holomorphic function is finite in compact sets

Statement Let $f:\mathbb \Omega \to \mathbb C$ be a holomorphic function, $f \neq 0$ ($\Omega$ is a region, i.e., an open, nonempty, connected set). Prove that in every compact subset $K$ of ...
1
vote
1answer
49 views

Closed subsets of $\beta \mathbb R$

Definitions. Suppose $X$ is a topological space. $w(X)=\min\{|\mathcal B|:\mathcal B$ is a base for $X\}+\omega$ $e(X)=\sup\{|D|:D\subseteq X$ is closed and discrete$\}+\omega$ $K(X)$ is the ...
1
vote
1answer
80 views

Topological counterexample: compact, Hausdorff, separable space which is not first-countable

I need an example for a compact, Hausdorff, separable space which is not first-countable. I tried to look for it for some time without success...
0
votes
2answers
55 views

In a metric space a compact set is closed

I want to show the following: Let $X$ be a metric space. Show that every compact subset $Y$ of $X$ is closed. The idea is to show that $X\setminus Y$ is open. So, for any $x \in X\setminus Y$, I ...
0
votes
1answer
55 views

Properties of compact set: non-empty intersection of any system of closed subsets with finite intersection property

Let $X$ be a Hausdorff topological vector space. Let $C$ be a nonempty compact subset of $X$ and $\{C_\alpha\}_{\alpha \in I}$ be a collection of closed subsets such that $C_\alpha \subset C$ for each ...
2
votes
3answers
52 views

Intuition Behind Compactification

I'm heading into my second semester of analysis, and I still don't have a good intuition of when a set is compact. I know two definitions, covering compact and sequentially compact, but both of those ...
1
vote
1answer
88 views

How to check that finite sets are dense in exp(X)?

How i can check if finite set $\bigcup F_{n}$ is dense in $exp(X)$, where $exp(X)$ is $$exp(X)= \{ A\in X ; A\not= \emptyset ; A \textit{ compact in } X\} $$ ($exp(X)$ is hyperspace, so it is set ...
4
votes
1answer
35 views

Topological property: set-theoretically large subsets of an infinite space are not compact.

Let $X$ be an infinite topological space. Say that $X$ satisfies # if no subset of $X$ of cardinality $|X|$ is compact. So for instance it is clear that no (infinite) compact space satisfies # any ...
1
vote
1answer
234 views

In a Hilbert space, every bounded and closed set is weakly relatively compact.

My aim is to prove that in a Hilbert space, any sequence has a weakly convergent subsequence. To prove this, I'm trying to prove that: ...
3
votes
1answer
47 views

Stone-Cech compactification: clarification of definition

When defining Stone-Cech compactification we take a Tychonoff space $X$, the space $C_b(X)$ of bounded continuous real functions on $X$, define $I_f$ as closed limited intervals containing $f(X)$ for ...
3
votes
1answer
33 views

Does paracompact Hausdorff imply perfectly normal?

That paracompact Hausdorff implies normal is standard and there are examples on StackExchange of perfectly normal Hausdorff spaces that are not paracompact, but I'm not sure of the answer, especially ...
-1
votes
1answer
29 views

let $A$ be a subset of $\mathbb R$ s.t. both $A$ and $\mathbb R-A$ is dense in $\mathbb R$. > Then show that $A$ is nowhere locally compact.

let $A$ be a subset of $\mathbb R$ s.t. both $A$ and $\mathbb R-A$ is dense in $\mathbb R$. Then show that $A$ is nowhere locally compact.
2
votes
1answer
62 views

A set is compact if and only if every continouos function is bounded on the set?? [duplicate]

I was asked to prove the following statement: let $K \subseteq R^n$. show that $K$ is compact (meaning closed and bounded) if and only if every continouos function is bounded on $K$. What I did: ...
3
votes
2answers
220 views

If a subset of $\mathbb{R}$ is closed and bounded with respect to a metric equivalent to the Euclidean metric, must it be compact?

Two different metrics $d$ and $\hat d$ in a space $X$ are said to be equivalent iff the topologies generated by them are the same, in other words $U\subseteq X$ is $d$-open iff it is $\hat d$-open. ...
1
vote
2answers
27 views

Proving compactness of the extended complex plane

Prove that $(\overline{\mathbb C}, \overline{d})$ with $\overline{d}(z,z')=d(\phi(z),\phi(z'))$, where $d$ denotes the euclidean distance in $\mathbb R^3$ and $\phi$ is the inverse of the ...
1
vote
1answer
55 views

Compactness of a set of partitions

The interval $[0,1]$ is partitioned to $n$ disjoint parts. Is the set of all possible partitions compact? There are several cases: A. All $n$ parts are connected intervals (possibly empty). In this ...
2
votes
1answer
45 views

Compactness and existence of Pareto-efficient cake partitions

I am trying to understand a fundamental statement in the theory of cake-cutting. BACKGROUND: There is a certain "cake" $C$ (a subset of $R^n$). The cake is divided among two agents, 0 and 1. Each ...
0
votes
0answers
40 views

If X is a space in the order topology with lub. If A is closed, is A compact?

In J R Munkres section 27, there is a theorem that states that every closed interval(note not ray) in the order topology where $X$ is a set with lub property is compact. I'm wondering if $X$ is a ...
1
vote
1answer
35 views

compactness and maximal elements

Let $C$ be a nonempty compact subset of $R^n$, with a certain partial order defined on it. I am trying to prove that $C$ contains a maximal element. My idea is: start with a certain element of $C$. ...
0
votes
0answers
23 views

Does it suffices to have a compact support together with continuously differentiability to imply compactness of a subset of functions?

Is the subset of D of $C^{1}(A,\mathbb R^{L}_{++})$ where A is a compact subset of $R^{L+1}_{++} $ and $R^{L+1}_{++} $=$({a\in\mathbb{R}^{L+1}|a>>0})$ , where D is defined as a all functions of ...
5
votes
2answers
283 views

Question on proof that first countable, countable compact space is sequentially compact

I'm reading some notes with a proof that a first countable, countably compact space is sequentially compact. On page 118 of these notes (third page of the pdf), they are constructing a convergent ...
2
votes
1answer
37 views

In a compact space, every net has a convergent subnet

I'm just learning how to work with nets. I'm attempting the proof that $X$ compact $\implies$ every net in $X$ has a convergent subnet, and I wonder if I'm overcomplicating it. Suppose $\langle x_i ...
2
votes
1answer
104 views

Arzela-Ascoli net question

Let $X$ be a compact metric space. Let $C(X)$ denote the space of real-valued continuous functions on $X$. A commonly given corollary to the Arzela-Ascoli theorem is: Proposition: If $f_n$ is an ...
3
votes
1answer
16 views

Subspace of certain series in a Hilbert space is compact

Let $E$ be a Hilbert space and let $\{x_{n}\}$ be an orthonormal basis.  Let $\{c_{n}\}$ be a sequence of positive numbers such that $\sum c_{n}^{2}$ converges.  Let $C$ be the subset of $E$ ...
0
votes
0answers
57 views

alternative Compactness theorem proof

I'm attempting a problem which requires me to prove the compactness theorem for propositional logic ![enter image description here][1]in a slightly different way to normal. I'm struggling to ...
1
vote
1answer
37 views

Show that a set is compact.

Let $X$ be a Banach space and $\{A_t\}_{t\in R}$ a family of linear and continuous maps $X \rightarrow X$ such that function $\mathbb{R} \ni t\rightarrow \|A_t x\| \in \mathbb{R}$ is continuous for ...
3
votes
1answer
2k views

totally bounded, complete $\implies$ compact

Show that a totally bounded complete metric space $X$ is compact. I can use the fact that sequentially compact $\Leftrightarrow$ compact. Attempt: Complete $\implies$ every Cauchy sequence ...
0
votes
0answers
38 views

How to prove that a metric space is compact if it is complete and totally bounded?

How to prove that a metric space is compact if it is complete and totally bounded? Wiki wrote that it is a generalisation of Heine–Borel theorem but I can't prove it.
1
vote
2answers
330 views

Sequence has a convergent subsequence in R^n

Suppose A is a closed and bounded subset of R^n. Let {ak} be a sequence in A. Thus, the elements of {ak} are: (a11,a12,...,a1n), (a21,a22,...,a2n), ... ... (ak1,ak2,...,akn), ... We are not sure if ...
1
vote
1answer
49 views

Is this a totally bounded set in the space of continuous functions?

If $A=\{f\in C[0, 1]: \int^1_0|f(x)|^2\,dx\leq1\}$ and metric $d(f, g)$ is $(\int^1_0|f(x)-g(x)|^2dx)^\frac{1}{2}$. Is $A$ totally bounded? I know $A$ is clearly bounded since $d(f, 0)\leq 1$ under ...
6
votes
3answers
439 views

$K\subseteq \mathbb{R}^n$ is a compact space iff every continuous function in $K$ is bounded.

I need to prove that $K\subseteq \mathbb{R}^n$ is a compact space iff every continuous function in $K$ is bounded. One direction is obvious because of Weierstrass theorem. How can i prove the other ...
1
vote
1answer
47 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 ...
3
votes
1answer
55 views

Compact Hausdorff topological spaces

If we have a topological space $(X,\mathcal{T})$, where it is compact and Hausdorff, them we can say that any other topology $\mathcal{H}$ on $X$ such that $\mathcal{T}\subseteq\mathcal{H}$, the ...
0
votes
0answers
52 views

Finite covering space with compact spce.

Prove that if $p: \ Y \rightarrow X$ is finite covering, then if $Y$ is compact so it is X. Can someone check my attempt? :) Let $\mathcal{U}$ be any open cover of $X$. For every $x \in X$ let us ...
0
votes
3answers
56 views

Compact Space: Locally Continuous $\implies$ Uniformly Continuous

Given metric spaces. Prove that any locally continuous function on a compact space is uniformly continuous!
2
votes
1answer
49 views

infinite disceret subspace

**Each infinite subspace of a KC space contain an infinite discrete subspace.** Proof: Let $ (X,\tau)$ be aKC space, and $A ‎‎\subseteq‎ X$ is infinite. since $A$ does not have the cofine topolog , ...
4
votes
1answer
41 views

Compactness and sequential compactness in metric spaces

I got a question: I'm trying to proof that every metric space is compact if and only if the space is sequentially compact. In all the proves I have found, they used the Bolzano-Weierstrass theorem. Is ...
16
votes
2answers
713 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 ...