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

Partial converses to extreme value theorem

Under what conditions can we establish a converse to the extreme value theorem? That is, for what topological spaces $(X, \tau)$ can we say that if $(\forall f \in C(X))(\exists c \in E) \left( f(c) = ...
0
votes
2answers
182 views

$A \subset \mathbb{R}^n$. If every continuous function $f: A \rightarrow \mathbb{R}$ is is bounded and attains its bounds then A is compact.

I'm doing a metric spaces course and got stuck on proposition. I have a feeling that I want to show that $A$ is bounded and closed then use Heine-Borel theorem. The proposition states that $f$ is ...
-3
votes
0answers
29 views
0
votes
1answer
14 views

Problem to demonstrate that it is compact

Let $X$ be a Normed Vector Space. For any $x\in X$ and $r>0$, let $W:=\{y∈X:∥y−x∥≤r\}$. Prove: $W$ is closed and if $\dim(X)<\infty$ $W$ is compact. I have no problems show that it is ...
2
votes
1answer
573 views

Uniform Convergence to the Exponential Function over a Compact Interval

I'm trying to show that the sequence of functions $f_n(x)=(1+(x/n))^n$ converges uniformly to $f(x)=e^x$ over any compact interval of the real line. We're assuming that it converges pointwise. Here is ...
0
votes
2answers
38 views

Metric space on $\mathbb{R^n}$ where Heine-Borel criterion does not hold

Heine-Borel criterion of $\mathbb{R^n}$ : closed and bounded $\implies$ compactness Give an example of a metric space in $\mathbb{R^n}$ where this criterion does not characterize compactness ...
2
votes
1answer
274 views

For any point $a$ of a compact subset $S$ of a metric space, prove that there exists a nearest point $ c $ to $ a $.

Let $S$ be a compact subset of $X$. Define a metric space $(X, p).$ Prove that for any point $a\in X$, there exists a nearest point $c$ in $S$ to $a$. Moreover, $c$ in $S$ such that $p(c,a)\leq ...
0
votes
1answer
31 views

Compactness and sequences in $\mathbb{R}^{n}$

Why is it that: If $A$ is a compact set and $\left ( a_{n} \right )$ a sequence in $A$, then there is a subsequence $\{a_{n_k}\}$ such that $\lim_{k\to\infty} a_{n_k}=a$ with $a\in A$. I get ...
0
votes
1answer
18 views

Prove the boundary is a compact 1 manifold

A closed surface with boundary is a compact connected topological space $B$ with the property that each point $p \in B$ has an open neighborhood $U$ homeomorphic to either: $\{(x, y) \in ...
4
votes
1answer
297 views

Is it possible to construct Hausdorff compact topology on every set?

I'd like to know if it's possible to construct Hausdorff compact topology on every set. Assume the axiom of choice if needed. Thanks for ideas.
2
votes
2answers
33 views

Function is continuous if graph is compact.

Let $X$ be a Hausdorff space and let $f:X\to \mathbb{R}$. If grapph of $f$ is compact we have to show that $f$ is continuous. Since every closed subset of a Hausdorff space is closed, therefore ...
0
votes
0answers
18 views

Sum of compact sets is compact without using continuity [duplicate]

I want to show that if $A$ and $B$ are compact sets, then $A+B$ (that is, the set $\{a+b : a \in A , b \in B\}$) is compact. I know that $A+B$ is bounded, but am having trouble showing that it is ...
1
vote
1answer
47 views

Property of compact metric space

Let $X$ be a compact metric space. Let $A$ be a closed subset of $X$ and let $x\in X$ be a point not in $A$. Show that there exists two disjoint open sets $U$ and $V$ such that one contains $A$ and ...
-2
votes
3answers
73 views

Compactness, why is $(0,1)$ not compact? I need the “thought process” [duplicate]

See, I am told that $(0,1)$ is not compact as a subspace of $\mathbb{R}$. Question is, how do I conclude that? The hint says $(\epsilon,1)_{\epsilon>0}$ does not have a finite subcover. But ...
2
votes
1answer
132 views

When is the dual ball of $L_1(\mu)$ weak*-sequentially compact?

Where could I find a direct proof showing that the dual ball of $L_1(\mu)$ is weak*-sequentially compact? Since $(L_1(\mu))^*=L_\infty(\mu)$, I mean the unit ball $B_{L_\infty(\mu)}$ of ...
0
votes
1answer
17 views

Prove directly from definition: countably compact subsets of metric spaces are closed

I am trying to prove the statement that every countably compact subset Y of a metric space (X,d) is closed. I am aware of the fact that, for metric spaces, countable compactness is equivalent to ...
0
votes
1answer
33 views

Continuous function on a non-compact set

I'm trying to show if $X$ is non compact ($X \subseteq \mathbb{R}$) then there is a cont function $f:X \rightarrow \mathbb{R}$ which is bounded but doesn't attain it's bounds. I'm trying it for a set ...
2
votes
1answer
48 views

Problem following proof of Šmulian theorem for separable space

I tried to solve Problem 10 on p. 464 of Brezis to get a proof of part of the Eberlein-Šmulian theorem, precisely the equivalence between compactness and sequential compactness in the weak topology of ...
0
votes
2answers
59 views

Sequential compactness implies compactness: what is wrong with this argument?

Definitions A filter is a poset $(I,\leq)$ such that for any $\alpha,\beta\in I$ there is $\gamma\in I$ such that $\gamma\geq\beta,\gamma\geq\alpha$. A net in a set $X$ is a function from a poset to ...
0
votes
4answers
80 views

Why can't a open interval in $\mathbb{R}$ be compact?

If I choose $(0,1)$ and do a covering like this: $(-1,1/2)$ and $(1/3,2)$ it's a finite covering, then $(0,1)$ is a compact set?
1
vote
2answers
920 views

Proof: in $\mathbb{R}$, $((0,1),|\cdot|)$ is not compact.

Let $(M,d)$ be a metric space, and $A\subset M$. By definition, $A$ is said to be compact if every open cover of $A$ contains a finite subcover. What is wrong with saying that, in $\mathbb{R}$, if ...
0
votes
2answers
49 views

Why does this proof work: Closed unit ball in $C_0$ is not compact

I know that this question has been asked to death, and multiple solutions are given, but I still don't understand why the "standard" proof works Following Show that the closed unit ball $B[0,1]$ in ...
1
vote
1answer
46 views

A question about closed (but not necessarily compact) connected subsets of Euclidean spaces.

Is the following statement true?...... If $C$ is a non-degenerate closed and connected subset of the Euclidean plane $\mathbb R ^2$ and $p$ is any point of $C$, then there exists a connected ...
0
votes
0answers
24 views

About accumulation point in compact metric space

Let $(X, d)$ be a compact metric space, and $\{x_n\}_{n\in N}$, $\{y_{n,m}\}_{m,n\in N}$ be subsets of $X$. Question: Is there a subsequence $\{n_k\}$ such that $x_{n_k}\rightarrow x$ and ...
0
votes
2answers
25 views

E is infinite subset of compact set, then is E' also a subset?

Here's a theorem in Rudin's Principles of Mathematical Analysis. 2.37 Theorem: If E is an infinite subset of a compact set K, then E has a limit point in K. Proof: If no point of K were a limit ...
1
vote
1answer
24 views

Bounded sequence in $W^{1,p}$ converging to a non-differentiable function in $L^p$

Let $U = B(0,1)$ be the unit ball in $\mathbb R^n$, $p>1$ and $\{u_k \}$ a bounded sequence in $W^{1.p}(U)$. The Rellich-Kondrachov compactness theorem tells us that there is a subsequence $\{ ...
0
votes
1answer
30 views

Normalized measure over compact metric spaces

Consider the following definitions. Let $M = (V,T,d)$ be a compact metric space with finite diameter $$D = D(M) = \max d(x,y), ( x, y \in M)$$ and a finite normalized measure $\mu$$M$(.), ...
1
vote
2answers
69 views

How to define $[-\infty, \infty]$ or $[0, \infty]$?

I am familiar with basic undergraduate topology. For example, I know the process of one point compactification of a non-compact topological space, and how it applies to, say, $\mathbb R^2$. My ...
1
vote
1answer
29 views

Discuss about compactness of these sets

My question is: How can I see if (in $\mathcal H=\mathcal l (\mathbb{N} )$ $B_1=\left\{ u | \frac{|u_k|}{k^2}\leq1 \right \}$ ,$B_2=\left\{ u | \frac{|u_k|}{log(1+k)}\leq1 \right \}$ are compacts or ...
0
votes
1answer
25 views

Why is the the following statement not equivalent to compactness?

Well it comes down to word-play again. I'm confused to the core of my bones as to why the following isn't equivalent to saying that a space is compact Every open cover is finite. A compact set ...
20
votes
5answers
8k views

Projection map being a closed map

Let $\pi: X \times Y \to X$ be a projection map where $Y$ is compact. Prove that $\pi$ is a closed map. First I would like to see a proof of this claim. I want to know that here why compactness is ...
0
votes
1answer
28 views

Proof of being a compact set [closed]

I'm trying to solve this problem but I'm really stuck and it would be nice if someone can explain me proof or any hint for this problem. Let $X \subset\mathbb R^N$ be a nonempty compact set, and $f: ...
3
votes
3answers
89 views

Why is $ \{(1/2)^n : n \in \mathbb{N} \} \cup \{ 0 \} $ not compact?

$ S = \{(1/2)^n : n \in \mathbb{N} \} \cup \{ 0 \} $ is obviously bounded and infinite. It also looks totally disconnected to me (it is not and does not contain as its subset an interval with more ...
4
votes
3answers
469 views

A (not necessarily continuous) function on a compact metric space attaining its maximum.

I am studying for an exam and my study partners and I are having a dispute about my reasoning for $f$ being continuous by way of open and closed pullbacks (see below). Please help me correct my ...
7
votes
5answers
1k views

Fixed point Exercise on a compact set

Let $K$ a compact normed space and $f:K\rightarrow K$ so that $$\|f(x)-f(y)\|<\|x-y\|\quad\quad\forall\,\, x, y\in K, x\neq y.$$ Prove that $f$ have a fixed point.
0
votes
0answers
25 views

What is the $\epsilon$ neighborhood of a subset in $\mathbb R^2$ in $\mathbb R^n$

Let X denote the subset $(-1,1) \times 0$ of $\mathbb R^2$ and let U be the open ball B(0,1) in $\mathbb R^2$ which contains X. Show that there is no $\epsilon > 0$ s.t the $\epsilon$-neighborhood ...
0
votes
1answer
33 views

Does compact set have always content

A set is said to have content iff it's boundary have content zero. So does compact set have always content? I can't really find a way to proof this, but for all examples that I can think of ...
0
votes
2answers
46 views

How can I show $R^n$ is dense in $S^n$?

How can I show $R^n$ is dense in $S^n$? I wanted to show $S^n$ is compactification of $R^n$. for this I need $R^n$ is not compact, for this there is no problem, and $S^n$ is compact, I did it with ...
0
votes
1answer
42 views

Show that a sequence of uniformly bounded continuous functions with Lipschitz condition is pre-compact in the space of bounded continuous functions

I am attempting to solve the following problem: Let the sequence of continuous functions $\{x_{n}(t) \}_{n=1}^{\infty}$, $0 \leq t < \infty$ be uniformly bounded on $t \in [0, \infty)$ and on ...
0
votes
1answer
25 views

Which of the following are compact I need Hint…

Which of the following are compact? $\{(x,y) \in \mathbb{R}^2 :(x-1)^2+(y-2)^2=9\} \cup \{(x,y) \in \mathbb{R}^2: y=3\}$. 2.$\{(\frac{1}{m},\frac{1}{n}) \in \mathbb{R}^2:m,n\in \mathbb{Z}-\{0\}\} ...
1
vote
1answer
37 views

With justification, determine whether or not the following space is compact.

The space in question is the Hausdorff topological space with base β: β = {U(a, b) : a, b ∈ Z, b > 0}, where U(a, b) = {a + kb : k ∈ Z} . (I have confirmed that this in fact a base of a Hausdorff ...
-1
votes
0answers
24 views

Weakest condition under which a set has a compact subset

Can we give conditions under which a set has a infinite compact subset ? I am interested in weakest condition.
1
vote
1answer
65 views

Why must the countable sets shown in this example be closed?

In the book Introductory Real Analysis (Kolmogorov & Fomin, English Translation by Richard Silverman Pg 95, see below) It says: "the sets $X_n= \{x_n, x_{n+1}, ...\}$ form a centered system of ...
39
votes
5answers
9k views

What's going on with “compact implies sequentially compact”?

I've seen both counterexamples and proofs to "compact implies sequentially compact", and I'm not sure what's going on. Apparently there are compact spaces which are not sequentially compact; quick ...
1
vote
0answers
24 views

Show that $ \operatorname{Sp}(n)=\{A \in M_n(\mathbb{H}) \mid AA^*=I=A^*A\} $ is a compact group

Let $M_n(\mathbb{H})$ be the set of all $n \times n$ matrices with entries in the quaternions $\mathbb{H}$. For $A=(a_{ij} ) $ let $ A^*=(a^*_{ij} ) $ be the matrix with $a^*_{ij}=\bar{a}_{ij} $, ...
2
votes
2answers
42 views

Question about product of compact spaces being compact

I'm reading through a proof that for $X,Y$ compact, $X\times Y$ compact with the standard topology. The proof begins by saying: consider a specific type of cover $\mathcal{C}$ where each $T\subseteq ...
0
votes
0answers
9 views

Diagonal argument involving relative compactness of densities

There is a claim from a paper which I do not understand: Let $D$ be a domain in $\mathbb{R}^d$. Let $(p^{\eta})_{\eta >0}$ be a family of densities for random variables on $(C[0,T], ...
0
votes
1answer
21 views

How to index compact set problem?

For any α∈I, if Aα is compact set then ∩(α∈I)Aα is compact set. Tomorrow, I will mid-exam, i'm very dizzy. Please, prove that problem.
0
votes
2answers
16 views

Closed graph of a function

I have difficulties to answer at that question: Let $X$ be a Hausdorff and compact topological space, and let $Y$ be a topological space. Let $f:X→Y$ be such that $G(f) = \{(x,f(x))|x∈X\} $ is a ...
0
votes
2answers
25 views

Uniform convergence on compact intervals of R [closed]

Does the sequence $f_n(x)=e^x(1+x/n)$ converge uniformly on compact intervals of R?