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
0answers
30 views

Proving some property of a set of logical expressions that satisfies some properties

I am stuck at this problem. Let $\Sigma$ be a (finite/ infinite) set of logical expression (I.e. strings of the form $(P\land Q)$ or $\lnot(P\lor \lnot (Q\land R))$ etc.). That satisfies the ...
0
votes
1answer
21 views

Equivalence relation, product and quotient spaces

I have a problem with the following: "Define a relation $\sim$ on $R^2$ by $(u,v) \sim (x,y)$ if and only if both $u-x$ and $v-y$ are integers. Show that for each point $(x,y) \in R^2$ there exists ...
-1
votes
2answers
28 views

Compact Subsets [closed]

I drastically need help with these questions. I have been working on this last problem for hours and do not even know where to start or what I am doing. The questions are: a) Let $K$ be a compact ...
1
vote
2answers
46 views

why union and Cartesian product of infinitely many compact sets is not compact

I'm aware that the union and Cartesian product of finitely many compact sets is compact, but why we can't generalize it to the union and Cartesian product of infinitely many of them? for example for ...
0
votes
1answer
41 views

Show that $R$ is closed but not sequentially compact.

Show that $R$ is closed but not sequentially compact. Attempt: A subset E of a metric space X is said to be sequentially compact if and only if every sequence $x_n \in E$ has a convergent ...
1
vote
1answer
51 views

Set of all orthogonal matrices over $\mathbb C$ is compact/not

How to show the fact that the set of all orthogonal matrices over $\mathbb C$ is compact By an orthogonal matrix over $\mathbb C$ I mean a matrix $A$ satisfying $AA^T=I$ and here $A^T=(a_{ji})$ where ...
0
votes
0answers
36 views

Non Satisfiability of disjuction

Problem: If S1,S2 are (possibly infinite) sets of propositional formulas where their union: S1VS2 is not satisfiable, prove that there exists an ψ such that S1|=ψ and S2|=¬ψ. Can we say that if ...
2
votes
1answer
35 views

Showing a mapping is a Homeomorphism

I am trying to prove that the Stone Cech Compactification map is a homeomorphism. I have most the proof finished, but I am stuck on showing that the inverse function is continuous. Here is what I have ...
2
votes
0answers
41 views

Characterization of compactness in terms of closed sets

I came across an exercise that asked to characterize compactness in terms of closed sets. This is what I came up with: Claim: $X$ is compact $\Leftrightarrow$ for every set of closed sets ...
0
votes
1answer
35 views

closed subset of locally compact

A space $X$ is said locally compact if for any $x\in X$ and for any neighbourhood $U$ of $x$ there is a compact neighbourhood $V$ such that $V\subseteq U$. Does closed subset of locally compact is ...
4
votes
4answers
73 views

$f :\mathbb N \to \mathbb R$ be the function $f(0)=0 , f(n)=\dfrac 1 n , \forall n >0$;is $\mathbb N$ induced with the metric $|f(x)-f(y)|$ compact?

Let $\mathbb N$ be the set of non-negative integers and $f :\mathbb N \to \mathbb R$ be the function $f(0)=0 , f(n)=\dfrac 1 n , \forall n >0$ , then obviously $f$ is injective , so $d : \mathbb N ...
1
vote
1answer
60 views

Why does countable compactness imply compactness on metric spaces?

By "$E$ is countably compact", I mean that every countable open cover of $E$ has a finite subcover. By "$E$ is compact", I mean that every open cover of $E$ has a finite subcover. Let $M$ be a metric ...
1
vote
3answers
153 views

is union of nested compact spaces still compact?

Stel $D$ a metric space. Let $K_1 \subset K_2 \subset K_3 \subset ...$ a serie of compact sets in $D$. I was wondering if $K = \bigcup_{n=1}^\infty K_n$ is compact too. If we take an open cover of $K$ ...
4
votes
1answer
187 views

Proving that a sequence in $L^2(\mathbb R)$ is relatively compact

I have a bounded sequence $\{f_n\}_n$ in $L^2(\mathbb R)$ such that $\mbox{supp } f_n$ is uniformly bounded and $$ \int_{\mathbb R} x^2 |\Theta_n(x) (F f_n)(x)|^2 dx \leq C^2 $$ for all $n$, where ...
1
vote
2answers
20 views

Compactness argument in SVD existence proof

The classical proof of the existence of the SVD factorization by Trefethen and Bau reports Set $\sigma_1 = \mid\mid A \mid\mid_2$. By a compactness argument, there must be a vector $v_1 \in ...
1
vote
2answers
30 views

Are compact Lie algebras necessarily compact as a set of matrices?

I'm reading through a paper and came across something confusing; my limited experience with Lie theory is a bit of a hindrance: The author starts with a compact set of matrices (in the usual ...
0
votes
1answer
55 views

Can the ball $B(0,r_0)$ be covered with a finite number of balls of radius $<r_0$

Consider an infinite dimensional Banach space $X$. Let $B(0,r_0)$ be the ball with radius $r_0$. We know that the ball $B(0,r_0)$ is not relatively compact, so it is not totally bounded. This implies ...
2
votes
1answer
133 views

Closure of a set in a “Topology of finite complement”

Well, I was reading this article by Kelley and when reached the point where he say that $X_a$ is closed in $Y_a$ I had to stop, probably mine is just a stupid misunderstand but can't figure out how to ...
1
vote
1answer
36 views

Prove that the given subset satisfying the given hypothesis is compact.

Let C be a subset of a compact metric space (X, d). Assume that, for every continuous function h : X → R, the restriction of h to C attains a maximum on C. Prove that C is compact. My attempt: I ...
0
votes
0answers
9 views

Question about metric spaces(compact, dense) [duplicate]

Prove, that every compact metric space has a countable, and dense sub-set. I don't know how I should prove this, I tried with the definition: A topological space X is called compact if each of its ...
1
vote
1answer
46 views

$X$ is Frechet Compact iff $X$ is compact.

I have done the proof that $1)\ X$ is Frechet Compact iff $X$ is sequentially compact. $2) \ X$ is sequentially compact iff $X$ is compact. Thus we can conclude that $X$ is Frechet Compact iff ...
0
votes
1answer
185 views

A conjecture on uniform convergence of functions with a compact metric space

So I was having a discussion with a friend about this problem and we have conflicting views. Here it is We let $f_n: E \rightarrow \mathbb{R}$ be continuous functions for $1 \leq n \leq N$ and we ...
0
votes
3answers
78 views

Give an example of a compact metric space $X$ such that $X$ and $X\times X$ are homeomorphic

Give an example of a compact metric space $X$ such that $X$ and $X\times X$ are homeomorphic.($|X|>1)$ Please suggest me ways on how should I think about this.Its quite sure that $X$ cant be ...
0
votes
0answers
51 views

Gromov compactness theorem

Reference: this book, page 493. For a compact metric space $X$ define $\text{Cov}(X,\epsilon)= \min \{n \, : \, X \text{ is covered by $n$ closed } \epsilon\text{-balls} \}$ and ...
2
votes
1answer
66 views

To prove Heine-Borel theorem for $\mathbb R^n$ with usual Euclidean topology

To prove that any closed and bounded subset of $\mathbb R^n$ is compact , I proceed as : Since $\mathbb R^n$ is complete so any closed subset of it is complete . Then I show that any bounded subset of ...
3
votes
2answers
84 views

Find all compact sets in $\mathbb{R}$

In $\mathbb{R}$, considering the topology consisting of the empty set and all sets containing $0$ and $1$, I need to find all compact sets. I understand the definition of a compact set but don't know ...
5
votes
2answers
63 views

Tychonoff's theorem for $[0,1]^\mathbb{R}$

According to Tychonoff's theorem any uncountable product of compact spaces is compact with respect to product topology. Then $[0,1]^\mathbb{R}$, the space of all functions defined on $\mathbb{R}$ ...
2
votes
4answers
108 views

There's no continuous injection from the unit circle to $\mathbb R$

I read a proof that goes as follows: Let $U$ be the unit circle, and let $f : U \longrightarrow \mathbb R$ be a continuous mapping. $U$ is compact and connected, so $f(U)$ is a closed, bounded ...
2
votes
1answer
48 views

A set $A \subset l_1$ is compact

A set $A \subset l_1$ is compact if and only if $A$ is closed and bounded and given any $\epsilon >0$, there exists $n_0$ such that $\sum_{k=n}^{\infty} |x_k| < \epsilon$ for all $n> n_0$ and ...
3
votes
0answers
38 views

$E$ compact, real-valued $f : E \to \mathbb{R}$ continuous iff graph is compact - is real valued necessary?

Problem The graph $G$ of $f$ is defined as the points $(x, f(x))$ for $x \in E$. Suppose $E \subset \mathbb{R}$ is compact, then $f : E \to \mathbb{R}$ is continuous iff its graph is compact. ...
3
votes
1answer
38 views

If $X$ is a metric space such that any metric space $Y$ , which is a homeomorphic image of $X$ , is complete , then is $X$ compact? [duplicate]

Let $X$ be a compact metric space , then it is easy to show that every homeomorphic image metric space of $X$ is complete . Is the reverse true ? That is if $X$ is a metric space such that any ...
1
vote
1answer
37 views

$(M,d)$ is a compact metric space and $f:M \to M$ is bijective such that $d(f(x),f(y)) \le d(x,y) , \forall x,y \in M$ , then is $f$ an isometry?

$(M,d)$ is a compact metric space and $f:M \to M$ is an bijective function such that $d(f(x),f(y)) \le d(x,y) , \forall x,y \in M$ , then is $f$ an isometry i.e. $d(f(x),f(y)) = d(x,y) , \forall x,y ...
6
votes
2answers
198 views

Let $(M,d)$ be a compact metric space and $f:M \to M$ such that $d(f(x),f(y)) \ge d(x,y) , \forall x,y \in M$ , then $f$ is isometry?

Let $(M,d)$ be a compact metric space and $f:M \to M$ such that $d(f(x),f(y)) \ge d(x,y) , \forall x,y \in M$ ; then how to prove that $d(f(x),f(y))=d(x,y) , \forall x,y \in M$ i.e. that $f$ is an ...
0
votes
1answer
34 views

Intersection between a compact and a locally compact set

I'm trying to understand Rudin's proof of Pontryagin duality theorem, but I still haven't undersood an argument. (Fourier analysis on groups, p29) Let $G$ be a group and denote $\Gamma =\widehat{G}$ ...
1
vote
2answers
41 views

Sequential Compactness: Show that there exists a number $\alpha$ and a sequence of positive integers $a_1, a_2, a_3,…$

Here's the problem: Consider the function $f(x)=\text{cos}(\sqrt{x}e^x)$. Show that there exists a number $\alpha$ and a sequence of positive integers $a_1, a_2, a_3,...$ such that $$ \lvert ...
0
votes
0answers
36 views

Proving version of Stone Weierstrass for locally compact space

Let $X$ be a locally compact Hausdorff (LCH) space. Suppose that $\mathcal{A}$ is a closed algebra of $C_0(X)$ (the continuous real-valued functions on $X$ with compact support). Suppose in addition ...
2
votes
1answer
68 views

Is there an errata for Ahlfors Complex Analysis?

I believe a question is incorrectly worded, but I could be wrong as well. I tried searching for an errata for Ahlfors Complex Analysis but was unable to find one. On page 63, question 2, it ask: ...
1
vote
1answer
58 views

Weak convergence + compactness = strong convergence? [duplicate]

Let $X$ be a Banach space and $K$ a compact subset of $X$. If $(x_n)_n$ is a sequence such that $x_n\in K$ for all $n$ and $(x_n)_n$ converges weakly to some $x\in X$, i.e. $x^*(x_n)\to x^*(x)$ for ...
1
vote
0answers
52 views

Compactness & Continuity - Looking for feedbacks on a specific setting

I am trying to get the implications of the following general setting concerning compact spaces and continuous maps. Any feedback would be greatly appreciated, because I have some difficulties in ...
0
votes
1answer
37 views

Compact set is nowhere dense in $\mathbb{N}^{\mathbb{N}}$

Show that any compact set is nowhere dense in $\mathbb{N}^{\mathbb{N}}$, the set of all infinite sequences. A set $A$ is nowhere dense if the interior of its closure is empty, i.e. ...
0
votes
2answers
58 views

Stabilizer, Cosets, homeomorphism and Compact groups : proving things in The Structure of Compact Groups by Hofmann and Morris

I'm currently struggling trying to prove a few things in the book The Structure of Compact Groups by Hofmann and Morris. The first one would be Proposition 1.10.i (or E1.4) : If the topological ...
2
votes
1answer
51 views

Relative compactness and sequences such that $|x_p-x_q|\geq c$

Let $X$ be a Banach space and $B$ is a bounded subset of $X$. If there exist a constant $c>0$ and a sequence $(x_n)_n\in B$ such that $$|x_p-x_q|\geq c,$$ for all $p,q$ with $p\neq q$, then $B$ is ...
5
votes
1answer
44 views

Is the countable product of co-countable topology Lindelöf?

For $i\in\mathbb{N}$, let $(X_i,T_i)$ be the countable complement topology on $\mathbb{R}$. Let $(X,T)$ be the product topology (not box product). Is $(X,T)$ Lindelöf? That is, does every open cover ...
0
votes
1answer
52 views

Why can't we use closed sets to make covers for compactness?

In particular, what about the real line? If our topology is generated by sets of the form [a,b] or [a,b), why can't we form an open cover of, say, [0,1] with those and be guaranteed a finite subcover? ...
1
vote
0answers
20 views

Minimal conditions for compactness of PDFs

I need to find some set of (minimal) conditions to put on a family of probability density functions with bounded support so that the family becomes compact. (I want to use Sion's theorem, which ...
4
votes
1answer
91 views

Compactness of a set of functions

During lunch break, somebody submitted us this problem today: Let $a$ and $b$ be real numbers and $F:\mathbb R\to\mathbb R$ a continuous function. Let $K=\{u\in C^1([a,b],\mathbb R), ...
3
votes
0answers
25 views

Does having a real valued cauchy sequence on a function in a compact space imply the function is continous on that space?

I had to prove for a homework assignment this function $$ s_n(x) = \sum_{i=0}^n (-1)^i \frac{ x^{2i+1}}{(2i+1)!} $$ is a Cauchy sequence with respect to the sup norm for $$ s_n : [-M,M] ...
0
votes
1answer
29 views

Show (0,1) is not compact [duplicate]

Let $I_n=\left(\frac{1}{n},1\right)$. Show that $(0,1)$ is not compact: show that any finite collection of $\{I_n\}$ will not cover $(0,1)$. Give me a hint.
3
votes
2answers
47 views

“Redundant” finite subcovering of a compact space.

Let $M$ be compact and $\mathcal{U}$ an open covering of M such that each $p \in M$ is contained in at least two members of $\mathcal{U}$. Show that $\mathcal{U}$ reduces to a finite subcovering with ...
0
votes
3answers
52 views

How does one show that $\{ \frac{1}{n} | n \in \mathbb{Z_{>0}}\} $is not compact in the standard topology?

How does one show that $\{ \frac{1}{n} | n \in \mathbb{Z_{>0}}\}$ is not compact in the standard topology of $\mathbb{R}$? I know this is not compact because if we take small enough intervals ...