Questions tagged [compactness]
The compactness tag has no usage guidance.
190 questions
5
votes
1
answer
206
views
Compactness in trace class operators space
Let $H$ be a separable Hilbert space. Let $L_1$ denote the space of trace class operators on $H$ with the trace-class norm $\|\cdot\|_1$, i.e. $\|K\|_1=Tr|K|$ for all $K\in L_1$.
Are there easy ...
- 59
5
votes
2
answers
202
views
Polish space isometric to its hyperspace
For a Polish space $(X,d)$ its hyperspace $(K(X),d_H)$ is also a Polish space. (Here $K(X)$ denotes the set of all nonempty compact subsets of $X$, and the Hausdorff metric $d_H$ is defined by $d_H(K,...
- 157
5
votes
2
answers
852
views
Covering compactness in the weak sequential topology
Let $X$ be a real Banach space. Apart from the norm topology, we can consider the following weak topologies on $X$:
the weak toplogy, defined as the initial topology with respect to $X^*$. In other ...
- 171
5
votes
1
answer
242
views
Corson-Lindenstrauss : Weakly compact sets as intersection of finite unions of cells
A theorem of Corson and Lindenstrauss in:
Corson, H. H. and Lindenstrauss, J. “On weakly compact subsets of Banach spaces”. In: Proceedings of the American Mathematical Society 17.2 (1966), pp. 407–...
- 128
5
votes
1
answer
530
views
Locally finite compact groups
I assume all tolpological groups here to be Hausdorff. A group is called locally finite if every finitely generated subgroup is finite. What can be said about a locally finite compact group? Must it ...
- 11.3k
5
votes
1
answer
805
views
Arzelà-Ascoli for $C_b(0,1)$? Or more generally, why is that continuous functions "live most naturally" on compact spaces?
I’m wondering if there is a version of Arzelà-Ascoli for continuous functions on not-necessarily compact metric/Hausdorff spaces $X$, i.e. a characterization of the compact subsets of $C_b(X)$ (under ...
- 831
5
votes
1
answer
772
views
Compact quasi-coherent sheaves
Let $X$ be a scheme. What are the compact objects in the category of quasi-coherent $\mathcal{O}_X$-modules? All references seem to discuss the derived category but I need the abelian category.
user139947
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.6k
5
votes
1
answer
168
views
Compactness of symmetric power of a compact space
Suppose I have a compact metric space $(X,d)$ and let $\mathcal{X}=X^K$ be the product space. Consider the equivalence relation $\sim$ on $\mathcal{X}$ given as: for $\alpha,\beta\in \mathcal{X}$, $\...
- 59
5
votes
1
answer
206
views
Reeb stability counterexample: foliation in $S^{n-2}\times S^1\times S^1$ with non-diffeomorphic leaves
Reeb's global stability theorem requires the foliation to be of codimension 1. As a counterexample, in "Geometric theory of foliations", Camacho and Lins Neto present the following.
Consider the ...
- 135
5
votes
2
answers
3k
views
Zariski topology and compact \paracompact space?
Does the Zariski topology on a ring (not commutative in common) form a compact or paracompact space and why?
- 53
5
votes
0
answers
94
views
When a compact subset of a TVS can be continuously projected on a closed linear subspace?
Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.
(Q):
When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\...
- 60.5k
5
votes
0
answers
158
views
Does "achieving more GH-distances than some compact space" imply compactness?
Previously asked and bountied at MSE:
For complete metric spaces $X,Y$, write $X\trianglelefteq Y$ iff for every complete metric space $Z$ such that the Gromov-Hausdorff distance between $X$ and $Z$ ...
- 21.2k
5
votes
1
answer
490
views
$L^2$ uniform integrability in terms of Fourier coefficients
Given a bounded sequence $(f_n)_n$ in $L^2(\mathbf{T})$ where $\mathbf{T}:=\mathbf{R}/\mathbf{Z}$, the strong compactness of $(f_n)_n$ is equivalent to $$\lim_N \sup_n \sum_{|k|\geq N} |c_k(f_n)|^2=0,$...
- 3,425
5
votes
0
answers
290
views
Pullback of Morse form satisfies Palais Smale
Let $(\alpha,g)$ be a Morse-Smale pair on a closed smooth manifold $M$, i.e. $\alpha$ is a Morse form and $g$ a Riemannian metric on $M$ such that stable and unstable manifolds of the gradient vector ...
4
votes
3
answers
428
views
Can the intersection of the boundaries of compact and convex sets be a single element?
Let $H_1,H_2,\dots,H_n$ be compact and convex sets in $\mathbb{R}^n$ such that $\bigcap_{j=1}^n H_j$ has non-empty interior and for each $i=1,2,\dots,n$ there exist at least one element $x \in H_i$ ...
- 43
4
votes
2
answers
634
views
How to describe the compact real forms of the exceptional Lie groups as matrix groups?
I know that $G_2$ can be described as the subgroup of $SO(7)$ preserving a specific element of $\Lambda^3(\mathbb{R}^7)^*$. It can thus be realized as a matrix group. Prof. Robert Bryant did describe ...
- 5,215
4
votes
2
answers
468
views
When is a Nemytskii map between Sobolev spaces compact?
Let $f:\mathbb{R} \to \mathbb{R}$ be a smooth function with bounded derivative. Define the Nemytskii map $F:H^1(\Omega) \to H^1(\Omega)$ by $F(u)(x) := f(u(x))$. Here $\Omega$ is a bounded smooth ...
- 65
4
votes
2
answers
244
views
Compact images of nowhere dense closed convex sets in a Hilbert space
Let $B=-B$ be a nowhere dense bounded closed convex set in the Hilbert space $\ell_2$ such that the linear hull of $B$ is dense in $\ell_2$.
Question. Is there a non-compact linear bounded operator ...
- 41.9k
4
votes
1
answer
292
views
Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?
I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an ...
- 10.6k
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
2
answers
282
views
Compact spaces whose compactness does not come from a product of compact spaces
For the (Hausdorff) compact spaces I can think of, compactness is established either using a product of compact spaces (including the Heine-Borel Theorem, the Banach-Alaoglu Theorem, Stone-Čech ...
- 3,816
4
votes
1
answer
245
views
Being contained in a compact set
I have a sequential, hereditarily Lindelöf topological space $\mathcal{X}$, and some subset $A \subseteq \mathcal{X}$. I am interested in the following properties:
There is some compact set $B$ with $...
- 4,727
4
votes
0
answers
132
views
A Lipschitzian's condition for the measure of nonconvexity
I'm actually working on the measure of nonconvexity and its application. Especially, the Eisenfeld–Lakshmikantham MNC defined - in a Banach space - by:
$$\alpha(A)=\sup_{b\in\overline{\operatorname{...
- 291
4
votes
0
answers
109
views
Reflexivity for the compact open topology on a topological $\mathbb{R}$-vector space
On page 20 of these lectures, Peter Scholze and Dustin Clausen show that a broad class of topological vector spaces is reflexive, i.e. $V \cong [[V, \mathbb{R}], \mathbb{R}]$, where we endow these hom-...
user30211
4
votes
0
answers
247
views
Is this property of continuous maps equivalent to some more familiar condition?
Let $f : X \rightarrow Y$ be a continuous map. Suppose that, for each collection of open sets $\{ V_i \}_{i \in I}\subset X $,
$$ \bigcup_{U \subset Y \text{ open}, \ f^{-1}(U) \subset \bigcup_{i \in ...
user30211
4
votes
0
answers
202
views
Double commutant of compact operators
So my question is straightforward. Let $\mathfrak{X}$ be a (complex, if necessary) Banach space and $K\colon\mathfrak{X}\to\mathfrak{X}$ a nonzero compact operator. Denote by $\mathcal{C}(K)$ the ...
- 1,453
4
votes
0
answers
144
views
Examples of indefinite Einstein non-Ricci-flat metric on solvmanifolds
A solvmanifold (resp. nilmanifold) is a compact quotient of a solvable (risp. nilpotent) Lie group $G$. Usually one consider a co-compact lactice $\Gamma$ on $G$ and the solvmanifold is $G/\Gamma$. ...
4
votes
0
answers
131
views
Approximation argument in geometric flows
I'm studying by myself Mean Curvature Flow and I'm reading the paper "Interior estimates for hypersurfaces moving by mean curvature" by Klaus Ecker and Gerhard Huisken and I'm stuck in the following ...
- 435
4
votes
0
answers
404
views
Hilbert Schmidt Operators and the Conditional Expectation Operator
Consider the function $\text{E}_W: L_2(\mathbb{R},P_X) \mapsto L_2(\mathbb{R},P_W)$ where $P_X$ and $P_W$ are two different probability measures. They are related in such a way that if $f_X$, $f_W$ ...
- 289
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
3
votes
2
answers
363
views
Are compact sets in a Banach lattice order bounded?
Given a compact subset $A$ of a Banach lattice $E$, is the following true?
There exist $u,v\in E$ so that $u\leq a\leq v$ for all $a\in A$.
This is true in case $E=C(X)$, $X$ compact, with the ...
- 33
3
votes
3
answers
895
views
Compactness of sigma-algebra for the $L^1$ metrics
Consider a probability space $(X,F,\mu)$, and the quotient $G$ of the sigma-algebra $F$ by its null sets. Endow $G$ with the metric $d(A,B) = \mu(A \triangle B)$. Is $(G,d)$ a compact metric space?
...
- 5,721
3
votes
1
answer
418
views
Compact subsets and Hausdorffness of topology
We know that all closed subsets of a compact topological space $(X,\tau)$ are compact. If we add the Hausdorff condition on the topology $\tau$ we can see the equivalence of these conditions on a ...
- 1,788
3
votes
1
answer
331
views
Checking finite subcover property on dense subset
Let $X$ be a topological space with a dense subset $D\subseteq X$. Suppose that every open cover of $X$ has a finite subfamily which covers $D$. Can I conclude that $X$ itself is compact?
The answer ...
- 6,406
3
votes
2
answers
485
views
Relative compactness in topological spaces (reference request)
Motivation and context: For a subset $S$ of a metric space $(M,d)$, the following are two very classical compactness results in Analysis:
1a) The set $S$ is compact if and only if each sequence in $S$...
- 12.6k
3
votes
1
answer
169
views
When is compactness of fiber components an open condition?
Consider a smooth map $f:M\rightarrow N$ between smooth manifolds.
Ehresmann's theorem states that if $f$ is a proper submersion, then it is locally trivializable; in particular, this implies that ...
- 1,225
3
votes
1
answer
970
views
On compactness in Sion's minimax theorem
Sions minimax theorem (wiki, paper) can be stated as follows:
Let $X$ be a compact convex subset of a linear topological space and $Y$ a convex
subset of a linear topological space. Let $f$ be a ...
- 359
3
votes
1
answer
245
views
PDE: compactness vs blowup
There are, of course, plenty of approaches on how to solve a non-linear PDE. Two of them are the following:
Solve (easier) approximate problems, show some form of compactness for the approximate ...
3
votes
2
answers
749
views
History of limit point compact -/-> compact example
A standard example in elementary topology (e.g. Munkres) of a space that is limit-point compact (every infinite subset of the space has a limit point) but not compact is the minimal uncountable well-...
- 339
3
votes
0
answers
147
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 91
3
votes
0
answers
93
views
About the nilpotency of a subgroup
Let $G$ be a compact group. Let $\mathcal N$ be a family of closed normal subgroups of nilpotency class at most $k$. Assume that $\mathcal N$ is closed under finite intersections and $\bigcap_{N\in\...
- 2,118
3
votes
0
answers
114
views
Compact generation of the category of D-modules on moduli stack of principal bundles for algebraic groups?
Let $k$ be an algebraically closed field of characteristic 0. Let $X$ be a connected smooth complete curve over $k$. Consider the moduli stack $\mathrm{Bun}_G$ of principal $G$-bundles on $X$ for ...
user74900
3
votes
0
answers
392
views
Compact embedding of ${\rm L}^1_{loc}$ space
I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely:
Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle
1,2\rangle$. ...
- 165
3
votes
0
answers
240
views
Using compactness method to prove the existence of a pathwise solution to an SPDE
For given initial data $u_0\in H^k$ for some $k$, I want to prove the existence of solution to some PDE with multiplicative white noise. I modify the SPDE by regularizing it and then use the ...
3
votes
0
answers
201
views
Which compact topological spaces are homeomorphic to their ultrapower?
It is well known that for any compact metric space $(X, d)$, and any ultrafilter $\mu$ there is a map $i_\mu:\prod_\mu (X, d) \to (X_d)$ in the category of metric spaces and Lipschitz maps where $i_\...
- 2,221
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
2
votes
2
answers
297
views
Density of subsequences in Bolzano-Weierstrass
Let $(M, d)$ be a metric space and $K$ compact. It is known that $K$ is sequentially compact, so we can "run" Bolzano-Weierstrass on it.
I want to identify the set $\mathcal{F}$ of all ...
- 83
2
votes
1
answer
261
views
Bounded ball measure on compact metric space
Fix $c>1$. Let $(X,d)$ be a separable compact metric space, does there necessarily exist a Borel probability measure $\nu$ on $(X,d)$ such that
$\operatorname{sup}_{x \in X,r>0}\frac{\nu(\...
- 5,405