Related papers: Lebesgue numbers and Atsuji spaces in subsystems o…
A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…
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…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…
In this paper, we establish a sequential characterisation of Lebesgue fuzzy metric and explore the relationship between Lebesgue, weak G-complete and compact fuzzy metric spaces. We also discuss the Lebesgue property of several well-known…
Let $X$ be a Borel and Borel-regular metric measure space whose closed balls are of positive and finite measure. In this paper, we shall give equivalent conditions for averaging operators on non-reflexive Lebesgue spaces $L^1(X)$ and…
Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…
We provide several characterizations of the Lebesgue property for fuzzy metric spaces. It is known that a fuzzy metric space is Lebesgue if and only if every real-valued continuous function is uniformly continuous. Here we show that it…
In this paper (as in [Ken15]), we consider an effective version of the characterization of separable metric spaces as zero-dimensional iff every nonempty closed subset is a retract of the space (actually, it is a relative result for closed…
We establish the following result, confirming a conjecture of Jean Esterle. For each closed subset $E$ of the unit circle of Lebesgue measure zero, there exists a positive sequence $u_n\to\infty$ with the following property: if $T$ is a…
We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…
This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the…
A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…
We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take $\mathsf{ACA}_0^\omega + (\mu)$. The system $\mathsf{ACA}_0^\omega$ is the higher order extension of Friedman's…
We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and…
L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport…
We show that the standard partition of unity subordinate to an open cover of a metric space has Lipschitz constant $\max(1,M-1)/\mathcal{L}$, where $\mathcal{L}$ is the Lebesgue number and $M$ is the multiplicity of the cover. If the metric…
A metric space $\mathbf{X}$ is called densely complete if there exists a dense set $D$ in $\mathbf{X}$ such that every Cauchy sequence of points of $D $ converges in $\mathbf{X}$. One of the main aims of this work is to prove that the…
We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…
This paper extends the Lebesgue property and (weak) $G$-completeness to generalized quasi-uniform spaces. It investigates the connections between completeness, (weak) $G$-completeness, and the Lebesgue property of the product of generalized…