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

0
votes
1answer
24 views

Is $\{(x,y) \in \mathbb R^2 \mid x^2 + x^3y^2 = 0\}$ compact in $(\mathbb R^2, \mathcal E_2)$?

Determine if $X = \{(x,y) \in \mathbb R^2 \mid x^2 + x^3y^2 = 0\}$ is compact in $(\mathbb R^2, \mathcal E_2)$, where $\mathcal E_2$ denotes the standard Euclidean topology. I know that $X$ is ...
2
votes
0answers
40 views

The compactness of metric space $\mathcal{G}_n$

Here, metric space $\mathcal{G}_n$ is described below: It is said that it is well-known that $\mathcal{G}_n$ is compact for every $n$. But I can't find a proof, can you give me a proof or an ...
0
votes
1answer
44 views

Does being Nonempty Compact Set on $\mathbb{R^+_2}$ imply being Convex set?

Look at the domain of a function $y=x-2$ where $x\in\mathbb{R_+}$. Then, the triangle produced by x and y-intercepts is bounded and closed. So it is compact. Suppose it is also nonempty. Does this ...
3
votes
1answer
43 views

Intersection of Compact sets Contained in Open Set

Just wanted to see if my proof of the following is valid: Let $\{K_i\}_{i=1}^{\infty}$ be compact sets (in some metric space), and let $V$ be an open set such that $$ \bigcap_{i=1}^{\infty} K_i \...
0
votes
2answers
64 views

$M\times N$ compact $\implies$ $M$ compact and $N$ compact

I must prove that $M\times N$ compact $\implies$ $M$ compact and $N$ compact using the definition that, if a metric space $M$ is compact, then every cover has an open finite sub cover. $$M=\cup ...
0
votes
0answers
31 views

Generalization of Strict Local Maxima

I try to generalize a strict local maximum to a local roof which can possibly be a flat area instead of just a single point. Below is my attempt: Let $f$ be a continuous real-valued function on $R^D$ ...
2
votes
1answer
22 views

Defining compact sets with closed covers

This question is a continuation of this. My book says that a metric space is compact if and only if: $$M=\cup A_{\lambda}\implies M = A_{\lambda1}\cup\cdots\cup A_{\lambda_n}$$ where each $A_{\...
2
votes
1answer
24 views

Complement of compact subspace of surface

Let $X$ be a smooth 2-manifold, $K$ be a compact subset of $X$, such that only one component of $X\backslash K$ does not have compact closure, call this component $U$ (there may be other components). ...
1
vote
3answers
37 views

Compact set and a sequence of closed sets, the intersection of all of them is empty

I'm having a hard time to prove this. The problem is: Let $V \subset \mathbb{R}^d $, be a nonempty compact set and $(A_n)_{n\in\mathbb{N}}$ a sequence of closed nonempty sets in $\mathbb{R}^d$ with ...
3
votes
0answers
36 views

Comparing different definitions of tightness for measures

Let $X$ be a Hausdorff space, $\mathcal{B}(X)$ the Borel $\sigma$-algebra and $\mu : \mathcal{B}(X) \to [0, \infty]$ a measure. Consider the following properties: (1) $\forall A \in \mathcal{B}(X): \...
3
votes
1answer
57 views

Question about the proof that the Hilbert Cube is compact.

Because of the fact that $(1)$ The topological space $[0,1]$ is a continuous image of the Cantor space $(G,T)$. There exists a mapping $\phi_n$ of $(G_n, T_n)$ onto $(I_n, T'_n)$ where, for each ...
0
votes
0answers
29 views

Uniform convergence of a equicontinuous sequence of functions [duplicate]

Let $X$ be a compact metric space, and $(C(X),d_{\infty})$ the space of continuous functions. Let $D\subset{X}$ be a dense subset, and $\{{f_n\}}_{n \in N}$ a equicontinuous sequence of functions from ...
0
votes
1answer
32 views

Checking the compactness of sets

I have to check to following sets for compactness in the given spaces with respect to the standard norm for them: \begin{align} M_1 &:= \{f_n:\left[-1, 1\right]\rightarrow \Bbb{R}| f_n(x) = n \cos(...
1
vote
1answer
61 views

Continuous map on $S^2$

Can you help me with this? Let $S^2 := \{x\in \mathbb R^3:||x||_2 = 1\} \subset (\mathbb R^3, ||\cdot||_2)$ and $T:S^2 \to (\mathbb R, |\cdot|)$ be a continuous map. a) Why does T assume its ...
1
vote
2answers
63 views

Show that a subset $E$ $\subset \Bbb Q$ is not compact in $(\Bbb Q, d)$ and decide whether it is open or not

Assume $(\Bbb Q, d),$ $d(p, q):= |p -q|$ is a metric space and $E := \{p \in \Bbb Q : 2 < p^2 < 3\} = \{p \in \Bbb Q : \sqrt2 < p < \sqrt3\} \subset \Bbb Q.$ I have to show ...
2
votes
1answer
40 views

On the matter ; If $f:X \to Y$ is a function with closed graph and compactness preserving then $f$ is continuous

Let $X,Y$ be metric spaces , $f:X \to Y$ be a function , with closed graph , carrying compact sets to compact sets ; then I claim that $f$ is continuous Proof: Let , if possible , $f$ be not ...
1
vote
2answers
77 views

$f$ be a function on real line carrying compact sets to compact sets and fiber of every point under $f$ is closed , is $f$ continuous ?

Let $f:\mathbb R \to \mathbb R$ be a function such that it carries compact sets to compact sets and $f^{-1}(\{x\})$ is closed for every $x \in \mathbb R$ , then is $f$ continuous ? (I know that if $...
0
votes
1answer
42 views

$\{M \in \mathcal{P}(\Bbb Z): \:\: M=\emptyset \: \textrm{or } (-13\in M \wedge13 \not \in M )\}$ give characterisation of compact, non-finite sets

Let $\mathcal T_{\Bbb Z}$ be the following topology on $\Bbb Z$: $$\mathcal T_{\Bbb Z}:=\{M \in \mathcal{P}(\Bbb Z): \:\:\: M=\emptyset\: \: \textrm{or } M=\Bbb Z \: \: \textrm{or } (-13\in M \...
0
votes
1answer
36 views

In $(C[0,1],||.||_{\infty})$ , is the set $\{p(x)\in C[0,1]$, $p(x)$ is a polynomial $:\int_0^1 p(x)dx=1\}$ totally bounded?

Consider the metric space $(C[0,1],||.||_{\infty})$ , in this space , is the set $\{p(x)\in C[0,1]$, $p(x)$ is a polynomial $:\int_0^1 p(x)dx=1\}$ totally bounded ? Please help , Thanks in advance
1
vote
2answers
48 views

Uniform convergence of n-fold composition using Schwarz lemma

Let $f$ be an analytic function mapping the unit disk $\mathbb D$ to itself with $f(0) = 0$ and $|f'(0)| < 1$. Let $f^{n} = f \circ f \circ \dots \circ f$ be the function obtained by composing $f$ ...
3
votes
1answer
44 views

Prove that an infinite chain of proper containments of compact sets is non empty [duplicate]

I need to prove that if $K_1\supset K_2 \supset K_3 \supset K_4 \supset \ldots$ is a chain of proper containments and each $K_{i}\subseteq \mathbb{R}^{n}$ is compact, then $\bigcap_{i=1}^{\infty} K_{i}...
3
votes
2answers
56 views

Is a complement finite topological space compactly generated?

I'm using the following definition: A topological space $X$ is called compactly generated if it verifies: Any subset $U$ of $X$ is open iff for any Hausdorff compact space $Y$ and continuous map $f:Y\...
0
votes
1answer
52 views

Prove there is a compact self adjoint $S:H\to H$ such that $S^3=T$.

Let $T:H\to H$ be compact and self adjoint. Prove there is a compact self adjoint $S:H\to H$ such that $S^3=T$. Is the $S^3$ means power of 3 or applying the operator 3 times? What is there to prove ...
2
votes
1answer
35 views

Tychonoff's theorem for completely regular spaces and the axiom of choice

It is well-known that Tychonoff's theorem, i.e., that the product of any set-indexed family of compact spaces is compact, is equivalent to the axiom of choice. It is also the case that if the spaces ...
1
vote
3answers
56 views

$f:S^1 \to \mathbb R$ be continuous , is the set $\{(x,y) \in S^1 \times S^1 : x \ne y , f(x)=f(y)\}$ infinite ?

Let $f:S^1 \to \mathbb R$ be a continuous function , I know that $\exists y \in S^1 : f(y)=f(-y)$ where $y \ne -y $ (since $||y||=1$) , so that the set $A:=\{(x,y) \in S^1 \times S^1 : x \ne y , f(x)=...
0
votes
1answer
23 views

Does there exist any surjection from a Hausdorff compact space to complement finite topological space?

Let $X$ denote a countable infinite set endowed with complement topology (that is, $X$ itself and all its finite subsets consisit of the set of closed set). Can we find a Hausdorff compact space $Y$ ...
2
votes
0answers
42 views

A set is compact iff every collection… Proof check

I asked this question (A set is compact iff all closed collections of subsets with the f.i.p. have nonempty intersection) a few days ago and was lucky enough to get an answer, but I'm afraid that the ...
1
vote
2answers
32 views

Finite product of compact subspaces is compact

I am working through an old qualifying exam and I have run into what I think is a very simple question but the way it is posed is confusing to me and I am worried I a missing the point. The question ...
1
vote
1answer
34 views

$\ell_0$ norm and the induced complete metric spaces

I have been reading about the $\ell_0$ norm, wikipedia gives us that "The mathematical definition of the $\ell_0$ norm was established by Banach's Theory of Linear Operations. The space of sequences ...
0
votes
0answers
23 views

Closed unit ball in $\ell^p$ is compact

I'm curious as to whether the closed unit ball in $\ell^p$ is compact for $1 \leq p \leq \infty$, with respect to the $p$-norm, and the $\sup$ norm?
0
votes
1answer
49 views

Homeomorphism between a compact space and non compact space? [closed]

Can such a thing exist? I am relatively new to topological spaces but my intuition would be that such a thing cannot exist. I guess this question could also be asking whether a Hausdorff space can be ...
1
vote
1answer
36 views

Sequences of 0s and 1s are compact

Let $X$ be the space of sequences $x = (x_1, x_2, ..., x_n,...)$ such that $x_i = 0$ or $x_i=1$, equipped with the metric $$d(x,y) = \sum_{n=1}^{\infty} \frac{1}{2^n} \left| x_n - y_n \right|.$$ Prove ...
3
votes
0answers
53 views

Is there a name for a topological space $X$ in which every proper closed subset is compact? [duplicate]

Is there a name for a topological space $X$ in which every proper closed subset is compact$^{(*)}$? It is well known that in a compact topological space, every closed set is compact. Hence, the class ...
0
votes
1answer
34 views

Is any closed ball compact in the Weak$^*$ topology $\sigma(E^*,E)$ for a Banach Space $E$?

For a Banach Space $E$, the Banach Alaoglu Bourbaki theorem asserts that the closed unit ball in $E^*$: $$B_{E^*}= \{f \in E^* \ | \ ||f|| \leq 1 \} $$ is compact in the weak$^*$ topology $\sigma(E^*...
-1
votes
1answer
52 views

Showing $f$ has a maximum [closed]

Assume that $(X,d)$ is a metric space and that $f: X \to [0, \infty)$ is a continuous function. Assume that for each $\epsilon >0$ there is a compact set $K_{\epsilon} \subset X$ such that $f(x) &...
2
votes
0answers
35 views

Compactness and sequential compactness are equivalent in metric space but not always in others

There are many discussions about such question; however, they are proof-type answer Compactness and sequential compactness in metric spaces If $(X,d)$ is a metric space then I want to show ...
1
vote
2answers
67 views

Showing the continuity of $d(x,f(x))$

Assume that $(X,d)$ is compact, and that $f: X \to X$ is continuous. Show that the function $g(x) = d(x,f(x))$ is continuous and has a minimum point. Consider the function $g(x) = d(x,f(x))$. If $g$ ...
2
votes
1answer
29 views

A set is compact iff all closed collections of subsets with the f.i.p. have nonempty intersection

I came across the following proposition in my Complex Analysis book, stated as "A set $K \subseteq X$ is compact iff every collection $\mathcal{F}$ of closed subsets of $K$ with the f.i.p. has $\cap_{...
1
vote
1answer
17 views

Motivation and intuition behind concept of totally bounded-ness in metric spaces

The way I understand it is, a set in a m.s. is totally bounded means the set Admits a finite open cover of fixed size. Regardless of whether it admits an arbitrary open cover. Why do we need totally ...
1
vote
0answers
24 views

Is it true that the closed convex hull of a compact subset of the dual equipped with the w*-topology is compact?

Let $X$ be a Banach space. Consider the dual $X^*$ equipped with the weak*-topology. Is it true that the closed convex hull of a compact subset $K$ of the dual $X^*$ is compact? ps: I know that the ...
0
votes
1answer
53 views

Difficulty in choosing correct answer among the options.

1) The Cantor set, a subset of the real numbers: A. is not compact. B. is not contained in an interval. C. does not contain a non-trivial interval. D. does not have uncountably ...
3
votes
1answer
68 views

To prove that if a function $f : \mathbb R \to \mathbb R$ is locally increasing at every point then the function is increasing [duplicate]

I am trying to prove that if $f : \mathbb R \to \mathbb R$ is locally increasing at every point , i.e. if for every $x\in \mathbb R , \exists r_x >0$ such that $f(a)\ge f(b) , $ whenever $ x+r_x &...
1
vote
4answers
58 views

One point compactification of uncountable set with discrete topology cannot be imbedded into $\mathbb{R}^{2}$?

Let $X$ be an uncountable set with the discrete topology. Prove that the one point compactification $Y$ of $X$ cannot be imbedded into the plane $\mathbb{R}^{2}$. I'm assuming that there exists an ...
1
vote
1answer
53 views

When is $C(X)$ reflexive?

Let $X$ be a compact Hausdorff space. What are sufficient and necessary conditions on $X$ under which $C(X)$ would be a reflexive Banach space. Is there a non reflexive Banach space $C(X)$ such that $...
1
vote
1answer
16 views

Locally compact Hausdorff and Second countable space and nested compact sequences

I have seen a theorem in my lecture notes without proof. It says: If $X$ is a locally compact Hausdorff and second countable space, then it can be written as a nested sequence of compact subsets ...
2
votes
1answer
31 views

Shift of first category set in a compact metric space.

Question. If $X$ is a homogeneous compact metric space, and $F=\bigcup _{n\in\omega}F_n$ is a countable union of closed nowhere dense subsets of $X$, then is there a homeomorphism $\varphi:X\to X$ ...
0
votes
2answers
58 views

Every sequentially compact space is countably compact

Every sequentially compact space is countably compact. The most that I can get out of this $(\Rightarrow)$ is that ${x_{n_j}} \subseteq \bigcup_{i=1}^{n_0}O_{x_i}$, where $O_{x_i}$ is open ...
0
votes
1answer
36 views

A topological space is countably compact iff every countably infinite subset has a limit point

A topological space is countably compact iff every countably infinite subset has a limit point. I'm completely stuck on this one. The book is recommending to use the fact that a space is countably ...
0
votes
0answers
14 views

All small enough subsets of a compact metric spaces are covered by one element of its open cover [duplicate]

$(X,d)$ is a compact metric space, $\{U_i | i \in I\}$ is an open cover of $X$. I need to show that there is a number $\delta > 0$, such that if $A \subset X$ and diameter of $A \le \delta$, then ...
2
votes
0answers
27 views

Stone-Cech Compactification equivalence

Let $X$ a Tychonoff space, $(e, \beta X)$ Stone-Cech Compactification and consider $(i,K)$ another compactification of $X$ that satisfies: $\forall f: X \to \mathbb R$ continuous and bounded, exists $...