Related papers: Probabilistic Arzela-Ascoli theorem

Let $X$ be a pointed compact metric space. Assuming that $\mathrm{lip}_0(X)$ has the uniform separation property, we prove that every weakly compact composition operator on spaces of Lipschitz functions $\mathrm{Lip}_0(X)$ and…

We prove the existence of Absolutely Minimizing Lipschitz Extensions by a method which differs from those used by G. Aronsson in general metrically convex compact metric spaces and R. Jensen in Euclidean spaces. Assuming Jensen's…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

The purpose of this paper is to generalize the measure of non-compactness for the space of continuous functions over the $T_{3 \frac{1}{2}}$ space. Motivated by the generalized Arzel\`a-Ascoli theorem for Tichonoff space $T$ via Wallman…

We show that the Arzela-Ascoli theorem and Kolmogorov compactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly's theorem is discussed. The paper contains a detailed discussion on…

We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used. We study the relations of such…

Using a modification of a generalized Takagi-van der Waerden function on a metric space we prove that for any closed subset of a metric space without isolated points there exists a continuous function such that its big and local Lipschitz…

Schweizer, Sklar and Thorp proved in 1960 that a Menger space $(G,D,T)$ under a continuous $t$-norm $T$, induce a natural topology $\tau$ wich is metrizable. We extend this result to any probabilistic metric space $(G,D,\star)$ provided…

Let $X$ be a zero-dimensional metric space and $X'$ its derived set. We prove the following assertions: (1) the space $C_k(X,2)$ is an Ascoli space iff $C_k(X,2)$ is $k_\mathbb{R}$-space iff either $X$ is locally compact or $X$ is not…

We give a short proof that any non-zero Euclidean space has a compact subset of Hausdorff dimension one that contains a differentiability point of every real-valued Lipschitz function defined on the space.

We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped…

The main contribution of this paper is that every convex function with non-empty relative algebraic interior of its domain is Lipschitz and subdifferentiable in some algebraic sense without any additional topological constraints. The…

We show that the zero locus of a normal function on a smooth complex algebraic variety S is algebraic provided that the normal function extends to a admissible normal function on a smooth compactification of S with torsion singularity. This…

In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…

We prove a compact embedding theorem in a class of spaces of piecewise H1 functions subordinated to a class of shape regular, but not necessarily quasi-uniform triangulations of a polygonal domain. This result generalizes the…

We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$:…

We introduce a notion of intrinsically Lipschitz graphs in the context of metric spaces. This is a broad generalization of what in Carnot groups has been considered by Franchi, Serapioni, and Serra Cassano, and later by many others. We…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…