Skip to main content

Questions tagged [compactness]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
76 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 ...
Maths_GEES 's user avatar
2 votes
1 answer
102 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 ...
Ennio's user avatar
  • 23
0 votes
0 answers
43 views

Existence of sequence of regular projections

Reading the book :Krasnosel'skii, M.A.; Pustylnik, E.I.; Sobolevskii, P.E.; Zabreiko, P.P. (1976), Integral Operators in Spaces of Summable Functions, Leyden: Noordhoff International Publishing, 520 p....
Guillermo García Sáez's user avatar
0 votes
1 answer
90 views

Sequential compactness of a sequence of curves of Borel probability measures

$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \DeclareMathOperator*{\supp}{supp} \newcommand{\bR}{\mathbb{R}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bN}{\mathbb{N}} \newcommand{\bP}{\mathbb{...
Akira's user avatar
  • 1,179
0 votes
0 answers
57 views

Sequential compactness via Arzela-Ascoli theorem for uniform state spaces

Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
PDEprobabilist's user avatar
0 votes
0 answers
83 views

Weakly compact set

I want to show that if the set $$ \big\{u \in L^{q}([0, n] ; X): u(t) \in \phi(t, x(t)), t \in[0, n]\big\} $$ is weakly compact, then the set $$ \mathcal{S}_{\phi}(x)=\Big\{u\in L_{loc}^{q}(\mathbb{R}...
Mathlover's user avatar
1 vote
0 answers
70 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$. ...
Gaspar's user avatar
  • 91
1 vote
0 answers
121 views

Extremally disconnected sets as building blocks for compact Hausdorff spaces

Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
Peter Kropholler's user avatar
1 vote
0 answers
72 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,\...
Gaspar's user avatar
  • 91
5 votes
0 answers
92 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\...
Pietro Majer's user avatar
  • 58.1k
11 votes
1 answer
297 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 ...
Pietro Majer's user avatar
  • 58.1k
3 votes
1 answer
204 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 ...
Sebastian Bechtel's user avatar
0 votes
0 answers
59 views

Existence of a measurable maximizer

Let $F$ be a continuous cdf with full support on $[0,1].$ Let $A$ be a compact subset of $\mathbb{R}$ and $\mathcal{M}$ be the set of measurable functions $\alpha:[0,1]\rightarrow A.$ Let $\bar \alpha ...
FeleMath's user avatar
0 votes
0 answers
158 views

Are all infinite-dimensional Lie groups noncompact?

Basically what the title says — if a Lie group is infinite-dimensional, is it necessarily noncompact?
Panopticon's user avatar
2 votes
2 answers
289 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 ...
Daniel Goc's user avatar
2 votes
0 answers
168 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 \...
Ali's user avatar
  • 4,113
2 votes
1 answer
153 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 ...
Ali's user avatar
  • 4,113
6 votes
1 answer
292 views

Topologies that turn the real numbers into a compact Hausdorff topological group

If I'm not mistaken, the question I put on the title used to be on this site, but I'm not being able to find it at all. I'm therefore reposting it so that someone can either give me the old link or ...
Pedro Lourenço's user avatar
6 votes
0 answers
195 views

Making the analogy of finiteness and compactness precise

If one asks about the intution behind compact topological spaces, most often one will hear the mantra “Compactness of a topological space is a generalisation of the finiteness of a set.” For example,...
Jannik Pitt's user avatar
  • 1,350
1 vote
1 answer
119 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 ...
Zuhair Al-Johar's user avatar
5 votes
2 answers
193 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,...
chj's user avatar
  • 157
4 votes
1 answer
235 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 $...
Arno's user avatar
  • 4,501
6 votes
3 answers
843 views

Convolution of $L^2$ functions

Let $u\in L^2(\mathbb R^n)$: then $u\ast u$ is a bounded continuous function. Let me assume now that $u\ast u$ is compactly supported. Is there anything relevant that could be said on the support of $...
Bazin's user avatar
  • 15.7k
6 votes
1 answer
220 views

When does base-change in topological spaces preserve quotient maps?

The question when $(-) \times X$ preserves colimits in topological spaces is well-studied. Since it always preserves arbitrary coproducts (disjoint unions), one only has to show when it preserves ...
Lennart Meier's user avatar
3 votes
1 answer
142 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 ...
Nikhil Sahoo's user avatar
  • 1,205
9 votes
1 answer
425 views

Do compactly generated spaces have a more direct definition?

Is there an elementary way to define Haussdorf-compactly generated weakly Hausdorff topological spaces in a way that does not need defining topological space first? Weakly Hausdorff sequential spaces ...
saolof's user avatar
  • 1,843
1 vote
0 answers
82 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 ...
B.Hueber's user avatar
  • 1,077
4 votes
1 answer
271 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 ...
Saúl RM's user avatar
  • 10.4k
0 votes
0 answers
149 views

Implicit function theorem on curves

I am trying to figure out, whether the IFT can be generalized to curves. Let's say I have a function $G(x,u)$ mapping $\mathbb{R}^{n+m}\rightarrow \mathbb{R}^n$ with invertible jacobian $\frac{\...
Matthias Himmelmann's user avatar
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{...
Motaka's user avatar
  • 291
5 votes
0 answers
156 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$ ...
Noah Schweber's user avatar
11 votes
2 answers
483 views

When is a k-space locally compact?

We're looking at the possible cardinal sequences of LCS (locally compact, Hausdorff, scattered) spaces, which has led us to think about taking a quotient of a locally compact, scattered space. A k-...
Carla Simons's user avatar
0 votes
0 answers
77 views

A question about a class of pro-$\mathcal X$-group

This question concerns the following lemma of this paper: Lemma 2. Let $\mathcal X_1,\ldots,\mathcal X_n$ be classes of finite groups closed with respect to normal subgroups and subdirect products ...
Meisam Soleimani Malekan's user avatar
4 votes
1 answer
237 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 ...
Malik Amine's user avatar
2 votes
1 answer
165 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 ...
Vinicius Ramos's user avatar
2 votes
1 answer
476 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? ...
Ussesjskskns's user avatar
4 votes
0 answers
103 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-...
user avatar
6 votes
2 answers
275 views

Is every compact simply-connected reductive p-adic group perfect?

Let $k$ be a nonarchimedean local field and $G$ a reductive $k$-group, which we assume to be semisimple and simply-connected. Recall that an abstract group $H$ is perfect if it is generated by ...
David Schwein's user avatar
2 votes
0 answers
237 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}}$$ ...
Mathlover's user avatar
0 votes
0 answers
136 views

Prove or disprove the compactness of an operator

Consider $X=L^{2}(0,\pi, \mathbb{R})$. Let $X_{\frac{1}{2}}$ be the domain of $(\Delta)^\frac{1}{2}$ where $\Delta$ is the laplacien operator. We define the operator $K:C([0,a],X_{\frac{1}{2}})\...
Mathlover's user avatar
0 votes
0 answers
154 views

Compact embedding of anisotropic Sobolev space

I am wondering if the embedding from $W^{2,1}_p(\Omega \times [0,T])$ to $C^{\alpha,\alpha/2}(\Omega \times [0,T])$ is compact, for some suitable domain, $p$ and $\alpha$. I have found some results. I ...
mnmn1993's user avatar
9 votes
3 answers
803 views

Structure theorems for compact sets of rationals

Everyone knows the Heine-Borel theorem characterizing compact subsets of Euclidean space. For any $n \in \mathbb N$ a set $A \subseteq \mathbb R^n$ is compact just in case it is closed and bounded (in ...
Corey Bacal Switzer's user avatar
1 vote
0 answers
50 views

An algebraic analogue of the Bolzano-Weierstrass for formal limits?

The Bolzano-Weierstrass Theorem is a very useful result in the theory of metric spaces. It states that given a compact space $X$, a sequence $(u_n) \in X^\omega$ always has a subsequence $(u_{n_k})\in ...
wlad's user avatar
  • 4,873
1 vote
0 answers
217 views

Closure of finite rank operators on $L^p$

It well-known that, an operator $T:H\to H$ on a Hilbert space, is compact if and only if T is limit of finite rank operators. Besides this, the results by Per Enflo 1973 shows that this results is ...
Guy Fsone's user avatar
  • 1,043
0 votes
1 answer
43 views

Exhaustions of product subsets by smaller product subsets

Let $X$ be a compact metric space, $A,B\subset X$ be subsets and $f\colon X\times X\to \mathbb{R}$ a continuous function that is strictly positive on $A\times B$. Do there exist increasing sequences ...
Federico Vigolo's user avatar
1 vote
1 answer
297 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$ ...
kaba's user avatar
  • 397
0 votes
1 answer
185 views

Is the Čech–Stone compactification of the integers always a retract of an extremally disconnected space?

Probably $\beta \mathbb N$ is not an absolute retract (is there an easy argument for this?), but I'd be interested to know what happens in the class of extremally disconnected (compact) spaces. Is it ...
Tomasz Kania's user avatar
  • 11.3k
4 votes
0 answers
243 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 ...
user avatar
5 votes
2 answers
672 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 ...
D.R.'s user avatar
  • 771
7 votes
2 answers
532 views

Is the union of a compact and the relatively compact components of its complementary in a manifold compact?

I was thinking of a way to prove this and I realised that for my approach the lemma from the title would be useful, and it´s an interesting question on its own. Obviously it is true if the manifold is ...
Saúl RM's user avatar
  • 10.4k