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
votes
2answers
28 views

Proving Open Covers

Consider the following two open covers of $(0, 1):$ $$F_{1} = \bigg\{\bigg(-\frac{x}{2}, \frac{x + 1}{2}\bigg) : 0 < x < 1\bigg\}\text{ and }F_2 = \bigg\{\bigg(\frac{x}{4}, \frac{x + ...
2
votes
1answer
14 views

Proofs of the Riesz–Markov–Kakutani representation theorem

Let $X$ be a compact Hausdorff space, $C(X)$ the set of all real continuous functions on $X$, and $\mathcal{B}$ be the Baire $\sigma$-algebra of $X$, which is the $\sigma$-algebra generated by the ...
1
vote
1answer
7 views

Sigma-compact Polish groups

I would like to see an example of a sigma-compact Polish group which is not locally compact. I know that e.g. $l^{\infty}$ is a topological group which is sigma-compact but not locally compact. But ...
1
vote
2answers
43 views

Examples about compactness

Compactness implies countably compactness which in turn implies limit-point compactness. Sequentially compactness implies limit point compactness. $Z_{+} \times \{0,1\}$ with two-point indiscrete ...
1
vote
1answer
31 views

Connected matrix Lie group

While enjoying Lie groups with Brian C. Hall's "Lie groups, Lie algebras, and representations", I'm stuck with the "standard argument using the compactness of the interval $[0,1]$" in the proof of the ...
0
votes
2answers
43 views

Confusion over the concept of “compactness”

I have to prove some stuff that involves the concept of collection, in particular those relating to compact sets. But then I have got this trouble. For example, consider the set of all rationals. If ...
1
vote
2answers
44 views

Construct an open cover of S with no finite subcover

Let S be a subset of Rn, and suppose that S is not bounded. Construct an open cover of S with no finite subcover, then prove this claim about your open cover. Let S be a subset of Rn such that S is ...
0
votes
1answer
21 views

Measure of open sets covering compact set

Prove that if $F$ is a finite collection of open intervals that covers a compact interval $[a, b]$, then the sum of the lengths of the intervals in the collection is strictly greater than $b − a$ ...
3
votes
2answers
45 views

Preserving compactness and connectedness implies continuity for functions between locally connected, locally compact spaces?

In this question: Connected and Compact preserving function is not continuous example? It is mentioned that "a function between locally-compact, locally-connected topological spaces which preserves ...
0
votes
1answer
33 views

About the weak compactness of a certain set.

Why is the following set weakly compact in $L^1(d\mu)$? $$\left\{-\frac{|x|^2}{2}+O(l)\right\}$$ where $\mu$ is a probability measure in $\mathbb{R}^n$ with finite second order moment: ...
-4
votes
0answers
49 views

Countable compactness implies compactness? [closed]

Can you give me the converse proof for the theorem "Every compact space is countably compact" with an example in topological space. A topological space is compact if every countable open cover has a ...
1
vote
2answers
79 views

How to show there exists $E$ such that $E \cap K_n$ is dense for every $n$?

Let $\Omega$ be a region (nonempty connected open subset of the complex plane). Let $K_n$ be a sequence of compact sets whose union is $\Omega$, such that $K_n \subset \mathring{K_{n+1}}$ (the ...
2
votes
1answer
32 views

Convex open neighborhood of compact convex subset

I'm stuck on what ought to be a straightforward topology problem. Say $X$ is a compact convex subset of a locally convex space (everything in sight is assumed Hausdorff). Say $Y\subseteq X$ is a ...
0
votes
1answer
17 views

Palais–Smale compactness condition

Can someone explain the essence of Palais–Smale compactness condition used in the Mountain Pass Theorem, in particular its weak formulation?
0
votes
1answer
30 views

generalize the question every every intersection of nested sequence of compact non-empty sets is compact and non-empty

I'm aware how to prove that the intersection of nested sequence of compact non-empty sets is compact and non-empty. but I want to generalize this question to transfer the hypothesis of having nested ...
4
votes
2answers
71 views

Quotient Maps and Compact Hausdroff Spaces

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. Prove that if $X$ and $Y$ are compact Hausdroff space and $f:X\rightarrow Y$ is a continuous ...
2
votes
2answers
64 views

Let $A,B$ be compact subsets of $X$. Prove that $A \cap B$ is compact.

Let $A,B$ be compact subsets of $X$. Prove that $A \cap B$ is compact. Attempt: Suppose by contrapositive, that $A \cup B$ is compact. Then let $V$ be an open cover of $A \cup B$. Then let $A$ be ...
4
votes
2answers
48 views

How to show that there exists a sequence in $[0,1]$ such that the set of accumulation points of the sequence is $[0,1]$

This is related to homework but I am trying to find a special case first and see if I can generalize it. The problem is to construct some sequence $(x_n)$ in $[0,1]$ such that the accumulation points ...
0
votes
1answer
33 views

A sequentially compact subset of $\Bbb R^n$ is closed and bounded

Let $U$ be a subset of $\mathbb{R}^n$, and suppose that $U$ is not bounded. Construct a sequence of points $\{a_1, a_2, \ldots \}$ such that no subsequence converges to a point in $U$, then prove this ...
0
votes
1answer
21 views

Is there a lower bound for the maximal number of separated sets?

Let $(X,d)$ be a metric space and $T\colon X\to X$ uniformly continuous. A set $E\subset X$ is said to be $(n,\varepsilon)$-separated if for any distinct $x,y\in E$ there is a $0\leq j< n$ such ...
0
votes
2answers
27 views

Compactness and Hausdorffness with different topology

Here is the question (Munkres pg. 170): Show that if $X$ is compact Hausdorff under both $\mathcal{T}$ and $\mathcal{T}'$, then either $\mathcal{T}$ and $\mathcal{T}'$ are equal or they are not ...
0
votes
1answer
22 views

Limit of bounded functions in compact-open topology

Let $(X, \mathscr{T})$ be a topological space and $(Y,d)$ be a metric space. Recall that the compact-open topology $\mathscr{T}_{co}$ on $Y^X$ is generated by the subbase $$ \mathscr{S} = \{ S(C, V) ...
2
votes
1answer
48 views

Show For any language L two L-structures M and N are elementarily equivalent iff they are elementarily equivalent for every finite sublanguage.

Setting For any language $\mathcal L$, two $\mathcal L$-structures $\mathcal M$ and $\mathcal N$ are elementarily equivalent iff they are elementarily equivalent for every finite sublanguage. ...
1
vote
1answer
27 views

Does $\sigma$ -compact imply separable?

Let $D$ be a metric space. If $D$ is $\sigma$-compact, does this imply that $D$ is separable? I thought I had a proof, but I think it is wrong. my proof: Let $K_n$ the compact sets such that $K_n ...
7
votes
2answers
358 views

Existence of a continuous function which does not achieve a maximum.

Suppose $X$ is a non-compact metric space. Show that there exists a continuous function $f: X \rightarrow \mathbb{R}$ such that $f$ does not achieve a maximum. I proved this assertion as follows: ...
3
votes
1answer
27 views

compact inverse is compact in canonical homomorphism

Let $G$ be locally compact Hausdorff group. Let $N$ be a closed normal subgroup of $G$. Let $f:G\to G/N$ be the canonical homomorphism. I want to show that for every compact subset $C$ of $G/N$, there ...
1
vote
0answers
44 views

Normal space is compact

I know that a compact Hausdorff space implies Normal, but does the converse holds? I.e. If a space is normal, it is compact and Haudorff. (Although $T_4$ imlicitly implies $T_2$)
1
vote
0answers
42 views

Hilbert Space is not locally compact.

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. Show that Hilbert Space is not locally compact at any point. This is what I understand: ...
1
vote
1answer
43 views

Spaces in which “$A \cap K$ is closed for all compact $K$” implies “$A$ is closed.”

Let $X$ denote a topological space. For any $A \subseteq X$, consider two possible conditions on $A$. $A$ is closed $A \cap K$ is closed, for all compact $K \subseteq X$. If $X$ is Hausdorff, then ...
0
votes
1answer
28 views

Proving subsets of $l^{\infty}$ are compact

Recently I started reading up on some set theory and metric spaces. I just read about compact subsets and I thought I understood it but in the exercises I'm having difficulty with the following ...
3
votes
1answer
27 views

Is compact $T_1$ topological space hausdorff?

I'm in a middle of a very hard exercise which its goal is to prove that some space is hausdorff, but all I could show is that it is $T_1$. But I can also deduce that it is compact. Is that enough for ...
0
votes
1answer
25 views

Is Alexandroff duplicate compact?

Consider the Alexandroff duplicate $X\times_{ad} 2$, the space $X\times 2$ where the points of the form $(x,1)$ are isolated and for each open set $U$ in $X$, $(U\times\{0,1\})\setminus (x,1)$ is ...
10
votes
2answers
91 views

Is any compact, path-connected subset of $\mathbb{R}^n$ the continuous image of $[0,1]$?

If $f:[0,1] \to \mathbb{R}^n$ is any continuous map, then the image $f([0,1])$ is a compact, path-connected set, which is easy to show using some elementary topology. My question is the converse: ...
1
vote
1answer
17 views

Bounded set that is not closed nor compact

I am to find a set that is bounded but not closed nor compact. Here are my ideas. Please tell me if any of my logic is flawed. I thank you in advance. Consider the set $A = (0,1)$ where $A \subset ...
2
votes
2answers
90 views

In a Hausdorff space the intersection of a chain of compact connected subspaces is compact and connected

Prove that if $X$ is Hausdorff and $\mathfrak{C}$ is a nonempty chain of compact and connected subsets of $X$, then $\bigcap \mathfrak{C}$ is compact and connected. Here are the definitions which ...
0
votes
2answers
24 views

Negate a proposition with quantifier?

I'm going over the proof of the theorem stating that "In a metric space, compactness impliess sequential compactness". I'm very likely confusing myself. I have the following proposition: $\forall ...
2
votes
0answers
34 views

The square $S := [- R, R] \times [-R, R]$ is a compact subset of $\Bbb R^2$.

The square $S := [- R, R] \times [-R, R]$ is a compact subset of $\Bbb R^2$. An intuitive approach: Let $S$ be not compact then there is an open cover of which there is no finite sub cover of $S$.Now ...
1
vote
1answer
66 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 ...
3
votes
1answer
51 views

Does there exist non-compact metric space $X$ such that , any continuous function from $X$ to any Hausdorff space is a closed map ?

I know that there is a topological space $X$ which is not compact but such that , for any Hausdorff topological space $Y$ , any continuous function $f:X \to Y$ carries closed sets to closed sets . I ...
1
vote
1answer
14 views

Set of points at which a function coincides with its convexification is compact?

Let $f:[0,1]\rightarrow\ \mathbb{\bar{R}}$, and let $\tilde{f}$ be the convexification of $f.$ (i.e., $\tilde{f}$ is the pointwise supremum of all affine functions that lie everywhere below $f$.) Let ...
0
votes
0answers
53 views

Compactness result

I try to prove this lemma: Let $\mathrm{H}_{\text{comp}}^1(\Bbb R^{\mathrm{N}})$ be the subspace of $\mathrm{H}^1(\Bbb R^{\mathrm{N}})$ of functions with compact support. For each ...
2
votes
0answers
27 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
20 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
35 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
35 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
42 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
34 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
30 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 ...
1
vote
0answers
30 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 ...