Related papers: The Kolmogorov-Riesz compactness theorem

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only…

A Tychonoff space $X$ is called ({\em sequentially}) {\em Ascoli} if every compact subset (resp. convergent sequence) of $C_k(X)$ is equicontinuous, where $C_k(X)$ denotes the space of all real-valued continuous functions on $X$ endowed…

A brief review is given of black holes in Kaluza-Klein theory. This includes both solutions which are homogeneous around the compact extra dimension and those which are not.

We prove a compactness criterion for asymptotic $L_p$ spaces over arbitrary measure spaces. Total boundedness is characterized by almost equiboundedness together with total boundedness in $L_p$ of all truncations. This gives a…

We show that the vanishing of higher derived limits of the system $\mathbf{A}_\kappa$ implies the additivity of strong homology on the class of locally compact metric spaces of weight at most $\kappa$, thereby establishing a converse to a…

We provide new simple proofs of the Kolmogorov extension theorem and Prokhorovs' theorem. The proof of the Kolmogorov extension theorem is based on the simple observation that $\mathbb{R}$ and the product measurable space…

Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are…

We introduce and study a new class of $\eps$-convex bodies (extending the class of convex bodies) in metric and normed linear spaces. We analyze relations between characteristic properties of convex bodies, demonstrate how $\eps$-convex…

In this paper we develop the compactness theorem for $\lambda$-surface in $\mathbb R^3$ with uniform $\lambda$, genus, and area growth. This theorem can be viewed as a generalization of Colding-Minicozzi's compactness theorem for…

We prove a smooth compactness theorem for the space of elasticae, unless the limit curve is a straight segment. As an application, we obtain smooth stability results for minimizers with respect to clamped boundary data.

We demonstrate that the topological Helly theorem and the algebraic Auslander-Buchsbaum may be viewed as different versions of the same phenomenon. Using this correspondence we show how the colorful Helly theorem of I.Barany and its…

A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…

We generalize the dual notions of "expansion" and "collapse" so they can be applied to arbitrary metric spaces. We also expand the theory to allow for infinitely many such moves. Those tools are then employed to prove a variety of…

We show that there are locally compact spaces that can be condensed onto separable spaces but not onto compact separable spaces. We also show that for every cardinal $\kappa$ there is a locally compact topological group of cardinality…

Locally compact separable metrizable spaces are characterized among all metrizable spaces as those that admit a cofinal sequence $K_1\subset K_2\subset\cdots$ of compact subsets. Their \v{C}ech cohomology is well-understood due to Petkova's…

In the 1970s, the collar theorem was proven, establishing the existence of uniform tubular neighborhoods of simple closed geodesics on compact surfaces, whose widths depend only on the lengths of the geodesics and the lower bound of the…

We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…

Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…

Analogues of Kolmogorov comparison theorems and some of their applications were established.