Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [compactness]

The tag has no usage guidance.

1
vote
0answers
69 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 ...
0
votes
0answers
27 views

Approximation of deterministic problem with stochastic problem

A lot of problems in PDE theory are solved in the following way: We can't solve the original problem, so we make the approximation problem that we can solve. Than we go back and with the new ...
2
votes
1answer
127 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 in measure". ...
4
votes
2answers
150 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 ...
6
votes
1answer
174 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 ...
9
votes
0answers
125 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
96 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
122 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
294 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
0answers
72 views

A finiteness property of profinite sets

I would like to understand the canonical topology on the category of profinite sets. Unless I am making mistakes, this translates to the following question in point set topology: Say $X$ is a ...
0
votes
1answer
42 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 \...
4
votes
0answers
177 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
70 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 ...
1
vote
1answer
94 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'|...
2
votes
1answer
115 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 ...
6
votes
1answer
190 views

Is there a compactification with nontrivial connected remainder?

Question: Let $X$ be a continuum and $p \in X$. Under what conditions does there exist a compactification $\gamma (X-p)$ with $\gamma (X-p) - (X-p)$ connected and nondegenerate? Throughout, $X$ is a ...
2
votes
1answer
123 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$ ...
0
votes
1answer
69 views

Upper bound for KL divergence on compact space

Let $(\Omega, \mathcal{F}, \mu)$ be a probability space and let $Q$ be the uniform distribution on $(\Omega, \mathcal{F})$ such that $q = dQ / d\mu$ exists. Then the KL-divergence for some probability ...
1
vote
1answer
97 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 ...
3
votes
1answer
131 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 ...
8
votes
1answer
454 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, ...
9
votes
0answers
143 views

Masas in SAW*-algebras

I asked this question three years ago at MSe but it has no response; let me try here. Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras (Journal of Operator Theory, ...
5
votes
2answers
229 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 ...
0
votes
0answers
270 views

Second derivative of convex functions

Let $f: [0,1] \to \mathbb{R}$ be a convex function. Clearly, $f$ is continuous, and up to a countable set of exceptions, it is also differentiable, if I recall correctly from my math undergraduate ...
4
votes
2answers
286 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 ...
7
votes
2answers
404 views

On the definition of locally compact for non-Hausdorff spaces

It seems that there are different conventions in the literature as to what is a locally compact space (when the space is not supposed Hausdorff). The two main non equivalent definitions I've seen ...
5
votes
0answers
284 views

Noncompactness of the Sobolev embedding in the critical exponent case

Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$. It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...
13
votes
1answer
498 views

A topology on $\Bbb R$ where the compact sets are precisely the countable sets

QUESTION. In there a topology on $\Bbb R$ where the compact subsets are precisely the countable subsets? I am trying to create a counterexample to a certain claim, and I found that what I need ...
8
votes
3answers
452 views

Is there a non-metrizable topological space for which any countably compact subset is compact?

The title is the question : Is there a non-metrizable topological space for which any countably compact subset is compact ? EDIT : non-metrizable and Hausdorff
5
votes
1answer
167 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–...
1
vote
1answer
95 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+...
1
vote
1answer
60 views

Extremal of an L^1 continuous functional on a compact bounded set

Please, I need a small help with a reference. Lets say we do have a continuous functional $f$ on $L^1$ space and we want to prove the existence of extremals $f(\Omega)$, where $\Omega$ is compact and ...
5
votes
1answer
297 views

Mapping scheme from a proper variety

Let $X$ be a proper scheme over a field $k$. Let $T$ be a scheme over $k$. Is it true that morphisms $T \times X \to \mathbb{A}^1$ are in bijection with morphisms $T \to \Gamma (X, \mathcal{O}_X)$ (...
4
votes
1answer
376 views

Rellich-Kondrachov compacteness Theorem for the Euclidean space with Gaussian measure

Let $\gamma_n: \mathbb{R}^n\to\mathbb{R}$ be the Gaussian distribution function defined by $$ \gamma_n(x):=(2 \pi)^{-\frac{n}{2}} e^{-\frac{|x|^2}{2}}. $$ Let $d\gamma_n$ denote the following measure ...
3
votes
2answers
722 views

How do I prove that compact-open topology is metrizable?

Let $X$ be a $\sigma$-compact topological space and $(Y,d)$ be a metric space. Let $\{K_n\}$ be a sequence of compact subsets of $X$ whose union is $X$. Define $\rho_n(f,g):=\sup \{d(f(z),g(z)): z\...
3
votes
0answers
178 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$. ...
3
votes
2answers
497 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 ...
2
votes
0answers
93 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 ...
1
vote
0answers
111 views

Category-theoretic characterization of zero-dimensional spaces

Some background: a zero-dimensional space is one admitting a basis of clopen sets, whereas an extremely disconnected space is one where the closures of open sets are open. In the category CHauss of ...
2
votes
1answer
167 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
vote
1answer
421 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\}$$ ...
2
votes
0answers
88 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 ...
3
votes
0answers
130 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_\...
3
votes
1answer
240 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 ...
8
votes
2answers
340 views

Compact operators on Lebesgue spaces

Let $K:{\rm L}^p({\bf R}^d)\to {\rm L}^p({\bf R}^d)$ be a bounded linear operator for every $p\in(1,\infty)$. Assume that for some $r\in(2, \infty)$ it holds that $K$ is compact on ${\rm L}^q({\bf R}^...
2
votes
0answers
125 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$. ...
5
votes
2answers
482 views

Anti-compactness

Let $(X,\tau)$ be a topological space such that $\tau\ne\{\emptyset\ X\}.\ $ We call an open cover $\mathcal{U}$ of $(X,\tau)$ proper if $\ X\notin \mathcal{U}.\ $ Moreover we say that $(X,\...
2
votes
1answer
226 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$. ...
8
votes
2answers
431 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 ...
2
votes
2answers
219 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 ...