Questions tagged [compactness]
The compactness tag has no usage guidance.
18 questions
48
votes
19
answers
17k
views
What is your favorite proof of Tychonoff's Theorem?
Here is mine. It's taken from page 11 of "An Introduction To Abstract Harmonic Analysis", 1953, by Loomis:
https://archive.org/details/introductiontoab031610mbp
https://ia800309.us.archive....
11
votes
2
answers
314
views
Spaces with every compactification $0$-dimensional which aren't locally compact
Recently I've proven the following theorem
Theorem. Let $X$ be a zero-dimensional locally compact Hausdorff space. Then the following are equivalent:
Every compactification of $X$ is zero-dimensional....
- 1,201
7
votes
1
answer
899
views
Is a closed subset of an extremally disconnected set again extremally disconnected?
Let $T$ be a compact Hausdorff extremally disconnected set (so $T$ is a compact Hausdorff space, such that the closure of each open subset is again open). Let $S \subseteq T$ be a closed subset.
...
- 755
7
votes
1
answer
342
views
Does a compact Lie group have finitely many conjugacy classes of maximal Abelian Lie subgroups?
Let $G$ be a compact Lie group. An Abelian Lie subgroup $A \leq G$ is a maximal Abelian Lie subgroup if, for any Abelian Lie subgroup $A'$ such that $A \leq A' \leq G$, then $A' = A$.
Of course any ...
- 863
32
votes
3
answers
6k
views
Is "compact implies sequentially compact" consistent with ZF?
Over at the nForum, we've been discussing sequential compactness. The discussion led me to realise that I naively assumed that nets were simply Big Sequences, and that I could make a reasonable guess ...
- 26.8k
13
votes
1
answer
602
views
A generalization of the Arhangelskii Theorem
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 $...
Ottenbreit
12
votes
1
answer
2k
views
What are compact objects in the category of topological spaces?
Let $\mathscr C$ be a locally small category that has filtered colimits. Then an object $X$ in $\mathscr C$ is compact if $\operatorname{Hom}(X,-)$ commutes with filtered colimits.
On the other hand, ...
- 28.7k
11
votes
1
answer
308
views
Which closed subsets $Y$ of a compact space $X$ admit a linear extensor $C(Y)\to C(X)$?
In the following $X$ is a Hausdorff compact topological space. Let $Y$ be a closed subset of $X$.
The restriction operator $R_Y:C(X)\to C(Y)$ is surjective (Tietze), so it admits a continuous right ...
- 60.5k
8
votes
2
answers
579
views
Totally disconnected subspaces
This question is motivated by this one, where no simple solution within ZFC seems to exist. Let me ask a weaker question then.
Suppose that $K$ is a compact, Hausdorff, non-metrizable space. Does it ...
- 81
6
votes
2
answers
2k
views
Is there an easier proof to show that the closed convex hull of a normalized weakly null sequence is weakly compact?
In a paper that I am reading there is a following step:
Let $X$ be a Banach space and let $(x_k) \subset X$ be a normalized sequence that converges weakly to $0$.
Then $\overline{co}(x_k)$ is a ...
- 163
5
votes
1
answer
506
views
Weak compactness of order intervals in $L^1$
Let $(\Omega,\mu)$ be a measure space, say $\sigma$-finite for the sake of simplicity, and let $L^1 := L^1(\Omega,\mu)$ denote the real-valued $L^1$-space over $(\Omega,\mu)$.
For all $f,h \in L^1$ ...
- 12.5k
5
votes
1
answer
923
views
Existence of injective compact operators
We know that if $X$ is a separable Banach space, then for every infinite dimensional Banach space $Y$, there exists an injective compact operator from $X$ to $Y$.
My query is for every Banach ...
- 585
4
votes
1
answer
142
views
Can the degree of $k$-nilpotence of a simple simply connected compact Lie group be in $(0,1)$?
Let $G$ be a simple (i.e. every proper normal subgroup is discrete) simply connected compact Lie group. Define the degree of $k$-nilpotence of $G$ to be the Haar measure of the set
$$\{(x_1,\dotsc,x_{...
- 2,118
4
votes
1
answer
259
views
Integral operator (compactness)
I am studying the compactness of some convolution operators. Let the convolution
$$ \Gamma: X\longrightarrow X; x\mapsto\int_0^t T(t-s)B(s)x\mathrm{d}s. $$
Here $T(\cdot)$ is a $C_0$-semigroup on some ...
- 299
4
votes
0
answers
291
views
trace-class embeddings
There is a classical theorem of Riesz-Kolmogorov that characterizes compact embedding in $L^p$-spaces of some subspace of them. A generalization to arbitrary metric spaces has been recently obtained ...
- 3,388
2
votes
1
answer
103
views
LCH spaces $X$ such that if $Y$ is a perfect image of $X$, then $Y$ is zero-dimensional
I am looking for locally compact Hausdorff spaces $X$ with the following property:
If $f:X\to Y$ is a perfect map onto locally compact Hausdorff space $Y$, then $Y$ is zero-dimensional.
One can see ...
- 1,201
2
votes
3
answers
435
views
Compact, densely ordered spaces
During my work with order preserving homeomorphisms, I got interested in the double arrow space and, subsequently, in the lexicographic square.
I would really like to find examples of spaces like ...
- 203
1
vote
0
answers
71
views
Continuous injection of metric ball into Euclidean ball
This is a follow-up to this post.
Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by
$$
\kappa_X(\epsilon)\triangleq\sup\left\{
k : \exists x_0,\dots,x_k \...
- 5,405