Questions tagged [compactness]
The compactness tag has no usage guidance.
190 questions
2
votes
3
answers
465
views
Axiomatization of locally compact Hausdorff spaces via compact subspaces
The usual axiomatization of a topological space (in the sense of Bourbaki) goes by declaring certain subsets as being open and such that a few axioms are fulfilled by the family of open subsets.
It ...
- 2,399
2
votes
1
answer
507
views
(Dis)prove : if every function with closed graph are continuous then the target space is compact
$(X, \tau_X) $ and $(Y, \tau_Y) $ be two topological spaces.
$\forall f\in Y^X$ with $\text{Gr}(f) $ is closed implies $f\in C(X, Y) $.
Question : Does this implies $(Y, \tau_Y) $ is compact?
...
- 307
2
votes
2
answers
346
views
Why the intersection of a scott open (or \w the relatively compactness property) filter on a topology of a sober (and 2nd countable) space is compact?
Definitions and notations.
Let $\mathcal{P}(X)$ the power set of $X$.
Let $\tau_X\subseteq\mathcal{P}(X)$ a topology on X.
We call $A$ irreducible if every time $A=B\cup C$ with $B,C$ closed set ...
- 163
2
votes
1
answer
191
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 ...
- 2,095
2
votes
1
answer
650
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 ...
- 657
2
votes
1
answer
211
views
A quasicompact space with a net that contains no convergent strict subnet
If $x:\Lambda \rightarrow X$ is a net in a topological space $X$ and $\Lambda '\subseteq \Lambda$ is a cofinal subset of the directed set $\Lambda$, then $x|_{\Lambda '}$ is a subnet of $x$. We call ...
- 1,270
2
votes
1
answer
331
views
Relative Compactness vs Way Below in Locally Compact Hausdorff Spaces
Let $Y$ be a subset of a locally compact Hausdorff topological space $X$ and consider the following properties.
$\overline{Y}$ is compact.
Every open cover of $X$ has a finite subcover of $Y$.
...
- 1,307
2
votes
1
answer
156
views
Question about coverings of zero Hausdorff measure compact sets
Consider a compact set $E\subset \mathbb{R}^n$ ad assume that ${\cal H}^{n-1}(E)=0$.
If $\epsilon>0$, there is a finite covering of $E$ made of $N_\epsilon$ open balls $B_{r_{\epsilon,k}}(x_{\...
- 205
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
1
answer
159
views
A compact embedding claim
Let $U= (0,1)\times (0,1)$. Consider the weighted Sobolev spaces $H_1$ with the norms
$$ \|u\|_{H_1}^2 = \int_0^1 (\int_0^1 x\,|u(x,y)|^2\,dx) \,dy$$
Let $H_2$ be the weighted Sobolev space with the ...
- 4,143
2
votes
1
answer
184
views
Example of a compact operator that is not uniformly continuous
I want to find a Banach space $E$ and a compact operator $K:[0,1]\times E \rightarrow E$ (that is, $K$ maps every bounded sequence onto a sequence that converges up to a subsequence) satisfying the ...
2
votes
1
answer
165
views
Li-Yorke chaos: the non compact case
1) Is there any notion of Li-Yorke chaos for non compact (metric) spaces $X$ and non continuous transformation $f:X \rightarrow X$? Could you bring some references?
2) I mean, why are so important ...
2
votes
1
answer
720
views
Riemannian manifolds: every compact subset is contained in a connected relatively compact open subset [closed]
While working on some problem (not relevant here), it turned out to be convenient to be able to enclose arbitrary compact subsets in "nicer" compact subsets, hence the question:
if $(M,g)$ is a ...
- 5,407
2
votes
1
answer
226
views
A question on countably compact space
A regular space $X$ is
star compact (which implies pseudocompact)
with $G_\delta$-diagonal
star countable
first countable
$e(X)\le \aleph_0$ ( in fact it implies star countable)
$|X|=\aleph_1$
Cech-...
- 654
2
votes
1
answer
262
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,755
2
votes
1
answer
246
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 ...
- 163
2
votes
1
answer
174
views
Compactness and omega models
If $T$ is a first order set theory having finitely many axioms, suppose the consistency of $T$ is already known and that $T$ proves existence of naturals, now suppose that $S$ is a schema and that $T+...
- 11.3k
2
votes
1
answer
123
views
Signed measures on algebras (fields) and their boundedness properties
I asked this question here on math.StackEchange, but it might be too technical so I re-post it here.
Let $X$ be a compact Hausdorff second countable topological space. Let $\mathcal{B}$ a countable ...
- 23
2
votes
1
answer
139
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\}.$$
...
- 291
2
votes
1
answer
135
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 ...
- 291
2
votes
1
answer
274
views
A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$
Let $f_n \to f$ on compact subsets of the real line (these are functions defined on the real line) satisfying some conditions: $f$ has linear growth (but is nonlinear function) and is continuous and ...
- 173
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,143
2
votes
0
answers
267
views
Compactness of a nonlinear operator
Let $H^{1}_{0}(0;\pi)=\{f\in L^{2}(0; \pi): f^{\prime}\in L^{2}(0; \pi)\ \text{and}\ f(0)=f(\pi)=0 \} .$ equipped with the following norm $$\|f\|=\Big(\int_{0}^{\pi}|f'(x)|^2dx \Big)^{\frac{1}{2}}$$
...
- 39
2
votes
0
answers
125
views
Conditions replacing compactness
Reading this book, the authors used the following "classic" idea:
Let $X$ be a Banach space and $C$ a nonempty, weakly compact, convex subset of $X$. Let $T: C \rightarrow C$ be a ...
- 291
2
votes
0
answers
1k
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:=\...
- 657
2
votes
0
answers
2k
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 ...
- 364
2
votes
0
answers
90
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 ...
- 657
2
votes
0
answers
96
views
On compactness in $C(X)$
Let $X$ be a Tychonoff space. It is well known, that for a family of scalar functions equicontinuity + pointwise boundedness imply relative compactness in $C(X)$ (with compact-open topology). It is ...
- 5,529
2
votes
0
answers
206
views
Regularity of Dirac measure on Baire sets [closed]
Suppose $X$ is a locally compact Hausdorff space.
Define the Baire sets in $X$, denoted by $\mathcal Ba(X)$,
to be the smallest $\sigma$-algebra that contains all compact $G_\delta$ subsets of $X$.
...
- 373
2
votes
0
answers
428
views
Weak relative compactness in $L^1_{loc}$.
In my work I stumbled upon a proposition (without proof, alas), which I can't really prove.
Suppose we have a family of functions $\left\{\phi_\epsilon (t,x,v)\right\}_{\epsilon\in(0,1]}$, and $M(v)$ ...
- 173
1
vote
3
answers
688
views
How to show the cardinality of nonisometric compact metric spaces is the continuum
It is asserted in A Course in Metric Geometry by Burago, Burago, Ivanov that
there can be no more than continuum of mutually nonisometric compact spaces
How is this proven?
Its clear that there ...
- 7,197
1
vote
2
answers
202
views
Spaces $X$ with every compactification $0$-dimensional with $\beta X\setminus X$ not locally compact
Previously, in this post I've shown the following characterization of spaces with only zero-dimensional compactifications:
Theorem. Let $X$ be strongly zero-dimensional and $\beta X\setminus X$ ...
- 1,201
1
vote
2
answers
529
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 ...
- 11
1
vote
1
answer
124
views
Is bounded-$\mathcal L_{\omega_1,\omega_1}$ significantly different from $\mathcal L_{\omega_1,\omega_1}$?
Take the language $\mathcal L(=,\in)_{\omega_1,\omega_1}$, if we restrict infinite quantification strings, i.e. of the forms $``(\forall v_i)_{i \in \omega}"; ``(\exists v_i)_{i \in \omega}"$, to ...
- 11.3k
1
vote
1
answer
215
views
Compactness with respect to topology induced by total-variation distance
I've been working on a problem and at some point in the proof I need to show that the following set $$\left\{\mu \in \mathcal{P}_{ac}(\mathbb R^d): \int \varphi(x)\mu(\mathrm{d}x)\leq C\right\}$$
is ...
- 21
1
vote
1
answer
123
views
Limit of $u^\epsilon_t + u^\epsilon_x - \epsilon u^\epsilon_{xx} + \epsilon u^\epsilon_{xxx} = 0$ as $\epsilon \to 0$
Consider the initial-value problem associated to the PDE $u^\epsilon_t + u^\epsilon_x - \epsilon u^\epsilon_{xx} + \epsilon u^\epsilon_{xxx} = 0$.
To prove that, as $\epsilon \to 0$, the weak solution ...
user139844
1
vote
1
answer
323
views
Is the restriction of a projection to a compact subset a quotient map?
Let $(X, \mathcal{T}_X)$ and $(Y, \mathcal{T}_Y)$ be topological spaces, $Z = X \times Y$, $\mathcal{T}_Z$ be the product topology on $Z$, $f : Z \to X$ be defined by $f(x, y) = x$, and $C \subset Z$ ...
- 397
1
vote
1
answer
137
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 ...
- 199
1
vote
1
answer
119
views
Proving that compact Hausdorff groups are cofiltered limits of compact Lie groups
What is the easiest way to show that a compact hausdorff topological group is a closed subgroup of a product of finite dimensional Lie groups?
Here are the relevant definitions:
Definition: (compact ...
user531936
1
vote
1
answer
169
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 ...
- 141
1
vote
1
answer
110
views
Extend a bundle "trivially"
Suppose I have a fibre bundle $E\to B$ with compact fibre. Furthermore, $B$ is open in a larger, compact space, e. g. $B\subseteq B'$. I want to get a map $E'\to B'$ (not a bundle any more!) with
$E'|...
- 1,623
1
vote
1
answer
141
views
Does the compactness of parameter of distribution function imply the compactness of the distribution (or probability measure) in Wasserstein space?
For a family of probability measures sharing the same form of distribution function $F(x; p)$ with different parameters (i.e., $p$'s), if the parameter falls in a compact subset of real line, can we ...
- 13
1
vote
1
answer
137
views
Density and compactness of Boolean embeddings
Let A and B be Boolean algebras and $h:A\rightarrow B$ a
Boolean embedding.
If every element of $B$ can be expressed both as a join
of meets and as a meet of joins of elements in $h(A)$, then the ...
- 281
1
vote
1
answer
50
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 ...
- 1,338
1
vote
1
answer
618
views
Condition to obtain a not compact embedding
I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...
- 277
1
vote
0
answers
36
views
When must a space generated by compacts also be generated by Hausdorff compacts?
Cross-posted from Math.SE: https://math.stackexchange.com/questions/4948421/.
I'm interested in comparing $k_1$-spaces,
spaces whose topologies are witnessed by
their compact subspaces, and $k_3$-...
- 1,352
1
vote
0
answers
75
views
Trying to achieve "some sort of hemicompactness" in a Tychonoff space
Let $X$ be a Tychonoff space, i.e. Hausdorff and completely regular. Additionally, consider a map $\psi: X \to (0,\infty)$ such that $K_R := \psi^{-1}((0,R])$ is compact in $X$, for every $R>0$. ...
- 161
1
vote
0
answers
127
views
Extremally disconnected sets as building blocks for compact Hausdorff spaces
Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
- 1,638
1
vote
0
answers
76
views
Uniform approximation over compacts using weighted function spaces
I'm interested in approximations over the so-called weighted function spaces.
Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
- 161
1
vote
0
answers
86
views
Poisson equations for tensors on compact Riemannian manifold
Let $({M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well known that the Poisson equation
$$\Delta f=S$$
where $\Delta:C^{\infty}({M})\to C^{\infty}({M})$ denotes ...
- 1,171