Questions tagged [compactness]
The compactness tag has no usage guidance.
106
questions
1
vote
0answers
121 views
Relative compactness… but what is the toplogy?
The following Theorem was described in a text I was reading as a compactness result. The proof is probably too advanced for me but I was just wondering with respect to what topology we have ...
2
votes
1answer
99 views
Weakly convergent sequence and compensated compactness
This question is about a claim made in the proof of theorem 2.1.1 in the book Hyperbolic Conservation Laws and the Compensated Compactness Method by Yunguang Lu. (For simplicity I will only write done ...
1
vote
1answer
111 views
Gradient-like dynamical systems
I've tried asking this question on Mathematics site, but I only got an upvote and no answer. I've searched online, tried to find something about this topic, but I haven't found much (and the things I ...
4
votes
0answers
86 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$. ...
7
votes
1answer
182 views
Characterization of pretty compact spaces
This is a cross post from MSE.
I believe that the following problem have already been considered by some sophisticated topologist.
Definition 1. A non-compact Hausdorff topological space $X$ is called ...
0
votes
1answer
84 views
Tightness on a set $A$ implies tightness on a set $B$ where $A\subset B$?
From the book Billingsley - Convergence of probability measures, 1999, we have the following definitions of tightness and relative compactness and the Prohorov's theorem:
Tightness: Let $\Pi$ be a ...
2
votes
0answers
83 views
Compact embedding of the Sobolev space $H^m(\Omega)$ and $L^2(\Omega)$ from Rellich-Kondrachov theorem
From the Rellich-Kondrachov theorem we know that $H^m(\Omega)\hookrightarrow_c L^2(\Omega)$ when $\Omega$ is bounded of class $C^1$ and $m\geq 1$ is an integer. Also this is not true if $\Omega:=\...
1
vote
1answer
119 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
votes
2answers
144 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$...
2
votes
1answer
107 views
Space of embedded minimal surfaces of fixed genus in a generic $3$-manifold
Let $M^3$ be a closed, connected and oriented smooth $3$-manifold, and fix an integer $g \geq 1$. Is it true that for a generic set of Riemannian metrics on $M$ the set of closed, connected and ...
3
votes
1answer
103 views
Compactness of a sequence
Let $E$ be a Banach space, $T:E\rightarrow E$ a continuous, norm-bounded, and nonlinear mapping., and $\{x_n\}_{n\in\mathbb N}$ such that $$x_{n+1}=T(x_n),\:\forall n\in \mathbb{N}:=\{0,1,\cdots\}.$$
...
1
vote
1answer
40 views
S-unital compact rings are profinite
It is well-known that compact Hausdorff topological unital rings are profinite. The proof generalises to (left or right) s-unital rings (i.e. rings such that for all $r\in R$ we have $r\in Rr$ or for ...
4
votes
2answers
250 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 ...
8
votes
0answers
100 views
Subspaces of $L_p([0,1])$ whose unit ball is compact for the topology of convergence in measure
Any information about the following questions would be welcome.
I wonder whether there are (well-known or easy) closed and infinite dimensional subspaces of $L_p([0,1])$ ($1<p<\infty$) whose ...
1
vote
0answers
51 views
$ \{x\in X:h(x)\leq r\} $ is sequentially compact subset of $X$?
Let $(X,\|.\|)$ be a reflexive Banach space and $(D,\|.\|)$ be a Suslin subspace of $X$ such that $D$ is weakly closed subset of $X$.
Take $h:X\to [0,+\infty]$ such that $h(x)=\|x\|$ if $x\in D$ and ...
1
vote
1answer
91 views
$C$ is **weakly compact** or **weakly locally compact**?
Let $X$ be a separable Banach space such that $X$ and its dual $X^*$ have Radon-Nikodym property. Let $C$ be a convex, closed and bounded subset of $X$.
Can we say that $C$ is weakly compact or ...
7
votes
1answer
168 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 ...
4
votes
2answers
224 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 ...
2
votes
1answer
148 views
Compact embedding of space of signed Radon measures into Sobolev space $W^{-1,q}$ from Evans paper; Does it work in one space dimension?
Background: I work on a PDE problem where I have some approximating sequence of measure-valued functions and I need to compactly embed it into some negative Sobolev space $W^{-m,q}$ on the bounded ...
5
votes
1answer
336 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 ...
0
votes
0answers
126 views
Spectral Theorem for compact self-adjoint operators on real Hilbert spaces [duplicate]
Is the spectral theorem for self-adjoint compact operators on a Hilbert space also true if the Hilbert space is real (instead of complex)?
Wikipedia says this is true.
However, it seems to me that ...
5
votes
1answer
141 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 ...
6
votes
2answers
381 views
Is the separability of the space needed in the proof of the Prohorov's theorem?
The Section 5 of the book:
Billingsley, P., Convergence of Probability Measures, 1999,
studies Prohorov's theorem. A short reminder is given below.
Let $\Pi$ be a family of probability measures on ...
0
votes
1answer
239 views
Can I get away without using Arzela-Ascoli?
I am currently thinking of function-valued random variables. In order to prove a result, I need to approximate by (function-valued) step functions. This naturally leads to the idea of chopping up the ...
0
votes
0answers
507 views
On weak compactness of the unit ball in a reflexive Banach space
It is a well known result in functional analysis that a Banach space $X$ is reflexive if and only if the unit ball is weakly compact (compact in the weak topology). This result is also known as ...
0
votes
1answer
129 views
About the finished, $\aleph_0$…-compactness
Definitions :
$(E,d)$ a metric space is finished-compact if any covering of $E$ by open, we can extract a finite subcover
$(E,d)$ is $\aleph_0$-compact if for any infinite covering of $E$ by open, we ...
3
votes
1answer
121 views
A non-condensing operator with a power condensing
Let $\alpha$ to be the Kuratowski measure of non-compactness, in a Banach space $E$.
It's very easy to prove that $\alpha (D_1\times D_2)\leq \alpha (D_1)+\alpha (D_2)$, where $D_1$ and $D_2$ are ...
1
vote
0answers
99 views
Subspaces of compact spaces and quotients of Hausdorff spaces
Let $\operatorname{Top}$ be the class of topological spaces. Furthermore, let $\mathcal{U}\subset\operatorname{Top}$ and $\mathcal{V}\subset\operatorname{Top}$ classes satisfying the following ...
7
votes
2answers
662 views
CG spaces from the perspective of sheaves over compact Hausdorff spaces
A compactly generated space is a space $X$ such that $f : X \rightarrow Y$ is continuous if and only if $K \rightarrow X \stackrel{f}{\rightarrow} Y$ is continuous for each compact hausdorff space $K$....
2
votes
1answer
150 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(\...
0
votes
1answer
69 views
Finite sub-covering of ball in Hilbert space
Let $H$ be a separable Hilbert space, $B$ the closed unit ball in $H$, and $(x_n)$ be a dense sequence in $B$, $(e_n)$ be an orthonormal basis, and $\varepsilon>0$. Then $B$ is covered by the (...
-1
votes
1answer
92 views
Compactness of a special kind of Integral operators
Let $(S(t))_{t>0}$ be a continuous operator from $L^2(0,1)$ to its self and Let $K$ be the operator $$\eqalign{
& K:{L^2}(0,1) \to {L^2}(0,1) \cr
& f: \to (Kf)(x) = \int\limits_0^1 {k(...
5
votes
0answers
323 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.
7
votes
1answer
412 views
Compactness of set of indicator functions
Let $\chi_A(x)$ denote an indicator function on $A\subset [0,1]$. Consider the set
$$K=\{\chi_A(x): \text{ A is Lebesgue measurable in }[0,1]\}.$$
Is this set compact in $L^\infty(0,1)$ with respect ...
0
votes
0answers
120 views
Compact operator
Let $k:[0,1]^2 \to [0,1]$ be a measurable function. Define $K:L^2([0,1])\to L^2([0,1])$ to be the operator:
$$
(Kf)(x) = \int_0^1\int_0^1 f(z) k(x,y) \mathbf{1}_{x\leq z\leq y} \ \mathrm{d}z \mathrm{d}...
1
vote
0answers
51 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 \...
4
votes
0answers
108 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 ...
6
votes
1answer
356 views
When Stone–Čech compactification is totally disconnected
A topological space $X$ is totally disconnected if the connected components in $X$ are the one-point sets, and a topological space, $X$ is called completely regular exactly in case points can be ...
6
votes
1answer
222 views
Uniqueness of limits and compactness implies closure
It is not difficult to prove that in a Hausdorff topological space every compact set is closed, and almost trivial that if in a topological space X every compact set is closed then X is T1. As ...
2
votes
0answers
83 views
Approximation of deterministic problems in the PDEs with the stochastic ones
A lot of problems in PDE theory are solved in the following way:
The original problem is quite hard and we can't solve it, so we make the approximation problem that we can solve. Than we go back and ...
2
votes
1answer
148 views
“Compactness in Measure” in Function Spaces
In Chapter 4.9 of the book "Measures of Noncompactness and Condensing Operators" (Vol. 55 of Operator Theory: Advances and Applications), the authors mention the property "compactness ...
4
votes
2answers
193 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 ...
7
votes
1answer
514 views
Weak*-convergence of signed measures
Let $X$ be a compact Hausdorff space and let $M(X)$ denote the space of signed measures that is naturally dual to $C(X)$, the space of continuous functions on $X$. I am interested whether the ...
11
votes
0answers
208 views
A ZFC-example of a countably compact paratopological group which is not a topological group
Problem. Does there exist a ZFC-example of a countably compact Hausdorff paratopological group which is not a topological group?
(The problem posed 27 May 2015 by Alexander Ravsky on page 9 of Volume ...
1
vote
2answers
259 views
Extending homeomorphisms between compact metric subsets
Let $X$ be a compact metric, second countable space with finite covering dimension. Let $A,B$ be two closed subsets of $X$. Assume that $h:A\to B$ is a homeomorphism.
Is it possible to extend $h$ to a ...
1
vote
0answers
155 views
Compact embedding result
Let $\tau$ and $\ell$ be positive numbers. We know that the space $H^2(0,\ell)\cap H^1_0(0,\ell)$ is compactly embedded into $L^6(0,\ell)$. Now, is the space $L^2(0,\tau;H^2(0,\ell)\cap H^1_0(0,\ell))$...
0
votes
2answers
686 views
Does point-wise weak convergence give weak convergence in $L^2(I;X)$?
Let $X$ be a separable reflexive Banach space, $F$ be a locally Lipschitz nonlinear operator on $X$ that is weakly continuous on $X$, and $u_n$ are $u_n$ weakly converges to $u$ on $L^2(0,T;X)$. Now, ...
0
votes
1answer
47 views
Does $K^{1/2} (t,s)$ inherit the continuity of $K(t,s)$?
Assume that $K(t,s)$ is a (1) symmetric, (2) continuous, and (3) positive definite kernel on $[0,1] \times [0,1]$. The spectral decomposition of $K(t,s)$ is:
$$
K (t,s) = \sum_{i=1}^\infty \lambda_i \...
5
votes
0answers
242 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 ...
3
votes
0answers
89 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 ...
