On Lebesgue null sets.

Thierry De Pauw

DOI: https://doi.org/10.48550/arxiv.1904.12276

2019-01-01

Abstract:Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if $A cap W(x)$ has m dimensional Hausdorff measure vanishing for almost every x.

What problem does this paper attempt to address?

A Borel linear subspace of R^\omega that cannot be covered by countably many closed Haar-meager sets

Taras Banakh,Eliza Jabłońska

DOI: https://doi.org/10.12775/tmna.2023.002

2024-04-04

Topological Methods in Nonlinear Analysis

Abstract:We prove that the countable product of lines contains a Haar-null Haar-meager Borel linear subspace that cannot be covered by countably many closed Haar-meager sets. This example is applied to studying the interplay between various classes of ``large'' sets and Kuczma-Ger classes in the topological vector spaces for .

mathematics
An Example Pertaining to the Failure of the Besicovitch-Federer Structure Theorem in Hilbert Space

Thierry De Pauw

DOI: https://doi.org/10.5565/publmat_61117_06

2017-01-01

Abstract:We give an example, in the innite dimensional separable Hilbert space, of a purely unrectiable Borel set with nite nonzero one dimensional Hausdor measure, whose projection is nonnegligible in a set of directions which is not Aronszajn null.
On volumes determined by subsets of Euclidean space

Allan Greenleaf,Alex Iosevich,Mihalis Mourgoglou

DOI: https://doi.org/10.48550/arXiv.1110.6790

2011-10-31

Abstract:Given $E \subset {\Bbb R}^d$, define the \emph{volume set} of $E$, ${\mathcal V}(E)= \{det(x^1, x^2, ... x^d): x^j \in E\}$. In $\R^3$, we prove that ${\mathcal V}(E)$ has positive Lebesgue measure if either the Hausdorff dimension of $E\subset \Bbb R^3$ is greater than 13/5, or $E$ is a product set of the form $E=B_1\times B_2\times B_3$ with $B_j\subset\R,\, dim_{\mathcal H}(B_j)>2/3,\, j=1,2,3$. We show that the same conclusion holds for $\V(E)$ of Salem subsets $E\subset\R^d$ with $\hde>d-1$, and give applications to discrete combinatorial geometry.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Lebesgue decomposition type theorems for weakly null-additive functions on D-posets

Mona Khare,Anurag Shukla,Pratibha Pandey

DOI: https://doi.org/10.1007/s00500-023-09608-5

IF: 3.732

2024-01-30

Soft Computing

Abstract:In the present paper, we have developed the theory of weak null-additivity and absolute continuity in the realm of nonadditive measures on difference posets, and afterward proved two variants of the Lebesgue decomposition theorem in the context. A number of examples are constructed to illustrate the theory.

computer science, artificial intelligence, interdisciplinary applications
On the weak$^*$ separability of the space of Lipschitz functions

Leandro Candido,Marek Cuth,Benjamin Vejnar

2024-06-06

Abstract: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 projectional skeleton, Banach spaces with a $w^*$-separable dual unit ball and locally separable complete metric spaces.

Functional Analysis
On Sobolev spaces of bounded subanalytic manifolds

Guillaume Valette

DOI: https://doi.org/10.1007/s00208-024-02810-2

2024-02-15

Mathematische Annalen

Abstract:We focus on the Sobolev spaces of bounded subanalytic submanifolds of . We prove that if M is such a manifold then the space is dense in (the kernel of the trace operator) for all , where is the codimension in M of the singular locus of (which is always at least 2). In the case where M is normal, i.e. when is connected for every and small, we show that is dense in for all such p . This yields some duality results between and in the case where and is a bounded subanalytic open subset of . As a byproduct, we deduce uniqueness of the (weak) solution of the Dirichlet problem associated with the Laplace equation. We then prove a version of Sobolev's Embedding Theorem for subanalytic bounded manifolds, show Gagliardo–Nirenberg's inequality (for all ), and derive some versions of Poincaré–Friedrichs' inequality. We finish with a generalization of Morrey's Embedding Theorem.

mathematics
Undecidably Semilocalizable Metric Measure Spaces

Thierry De Pauw

DOI: https://doi.org/10.1142/s0219199723500128

2024-01-01

Communications in Contemporary Mathematics

Abstract:We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the order completeness of a quotient Boolean algebra associated with measurable sets and with locally null sets. Another one is in terms of the possibility to decompose space in a certain way into sets of nonzero finite measure. We give examples of $X$ and $d$ so that whether these conditions are met is undecidable in ZFC, including one with $d$ equals the Hausdorff dimension of $X$.
A Fubini-type theorem for Hausdorff dimension

K. Héra,T. Keleti,A. Máthé

DOI: https://doi.org/10.48550/arXiv.2106.09661

2022-09-15

Abstract:It is well known that a classical Fubini theorem for Hausdorff dimension cannot hold; that is, the dimension of the intersections of a fixed set with a parallel family of planes do not determine the dimension of the set. Here we prove that a Fubini theorem for Hausdorff dimension does hold modulo sets that are small on all Lipschitz graphs. We say that $G\subset \mathbb{R}^k\times \mathbb{R}^n$ is $\Gamma_k$-null if for every Lipschitz function $f:\mathbb{R}^k\to \mathbb{R}^n$ the set $\{t\in\mathbb{R}^k\,:\,(t,f(t))\in G\}$ has measure zero. We show that for every Borel set $E\subset \mathbb{R}^k\times \mathbb{R}^n$ with $\dim (\text{proj}_{\mathbb{R}^k} E)=k$ there is a $\Gamma_k$-null subset $G\subset E$ such that $$\dim (E\setminus G) = k+\text{ess-}\sup(\dim E_t)$$ where $\text{ess-}\sup(\dim E_t)$ is the essential supremum of the Hausdorff dimension of the vertical sections $\{E_t\}_{t\in \mathbb{R}^k}$ of $E$. In addition, we show that, provided that $E$ is not $\Gamma_k$-null, there is a $\Gamma_k$-null subset $G\subset E$ such that for $F=E \setminus G$, the Fubini-property holds, that is, $\dim (F) = k+\text{ess-}\sup(\dim F_t)$. We also obtain more general results by replacing $\mathbb{R}^k$ by an Ahlfors-David regular set. Applications of our results include Fubini-type results for unions of affine subspaces, connection to the Kakeya conjecture and projection theorems.

Metric Geometry,Classical Analysis and ODEs
Products of Lipschitz-free spaces and applications

Pedro Levit Kaufmann

DOI: https://doi.org/10.48550/arXiv.1403.6605

2014-11-12

Abstract:We show that, given a Banach space $X$, the Lipschitz-free space over $X$, denoted by $\mathcal{F}(X)$, is isomorphic to $(\sum_{n=1}^\infty \mathcal{F}(X))_{\ell_1}$. Some applications are presented, including a non-linear version of Pelczyśki's decomposition method for Lipschitz-free spaces and the identification up to isomorphism between $\mathcal{F}(\mathbb{R}^n)$ and the Lipschitz-free space over any compact metric space which is locally bi-Lipschitz embeddable into $\mathbb{R}^n$ and which contains a subset that is Lipschitz equivalent to the unit ball of $\mathbb{R}^n$. We also show that $\mathcal{F}(M)$ is isomorphic to $\mathcal{F}(c_0)$ for all separable metric spaces $M$ which are absolute Lipschitz retracts and contain a subset which is Lipschitz equivalent to the unit ball of $c_0$. This class contains all $C(K)$ spaces with $K$ infinite compact metric (Dutrieux and Ferenczi had already proved that $\mathcal{F}(C(K))$ is isomorphic to $\mathcal{F}(c_0)$ for those $K$ using a different method). Finally we study Lipschitz-free spaces over certain unions and quotients of metric spaces, extending a result by Godard.

Functional Analysis
Countably perfectly meager and countably perfectly null sets

Tomasz Weiss,Piotr Zakrzewski

2023-04-15

Abstract:We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set. We say that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager (respectively, countably perfectly null) in $X$, if for every perfect Polish topology $\tau$ on $X$, giving the original Borel structure of $X$, $A$ is covered by an $F_\sigma$-set $F$ in $X$ with the original Polish topology such that $F$ is meager with respect to $\tau$ (respectively, for every finite, non-atomic, Borel measure $\mu$ on $X$, $A$ is covered by an $F_\sigma$-set $F$ in $X$ with $\mu(F)=0$). We prove that if $2^{\aleph_0}\leq \aleph_2$, then there exists a universally meager set in $2^{\mathbb N}$ which is not countably perfectly meager in $2^{\mathbb N}$ (respectively, a universally null set in $2^{\mathbb N}$ which is not countably perfectly null in $2^{\mathbb N}$).

Logic,General Topology
Spaceability of sets of non-injective maps

Mikaela Aires,Geraldo Botelho

2024-04-14

Abstract:Generalizing a recent result on lineability of sets of non-injective linear operators, we prove, for quite general linear spaces $A$ of maps from an arbitraty set to a sequence space, that, for every $0 \neq f \in A$, the subset of $A$ of non-injective maps contains an infinite dimensional subspace of $A$ containing $f$. We provide aplications of the main result to spaces of linear operators between quasi-Banach spaces, to spaces of linear operators belonging to an operator ideal, and, in the nonlinear setting, to linear spaces of homogeneous polynomials and to linear spaces of vector-valued Lispshitz functions on metric spaces.

Mathematics
On the exceptional sets of the flux of a bounded vectorfield

Thierry De Pauw

DOI: https://doi.org/10.1016/S0021-7824(03)00060-6

IF: 2.282

2003-01-01

Journal de Mathématiques Pures et Appliquées

Abstract:For each purely n−1 unrectifiable compact set C⊂Rn such that 0<Hn−1(C)<∞, there is a bounded Borel measurable vectorfield v:Rn→Rn whose flux vanishes in Rn∼C but not in Rn.
Null projections and noncommutative function theory in operator algebras

David P. Blecher,Raphaël Clouâtre

2024-04-07

Abstract:We study projections in the bidual of a $C^*$-algebra $B$ that are null with respect to a subalgebra $A$, that is projections $p\in B^{**}$ satisfying $|\phi|(p)=0$ for every $\phi\in B^*$ annihilating $A$. In the separable case, $A$-null projections are precisely the peak projections in the bidual of $A$ at which the subalgebra $A$ interpolates the entire $C^*$-algebra $B$. These are analogues of null sets in classical function theory, on which several profound results rely. This motivates the development of a noncommutative variant, which we use to find appropriate `quantized' versions of some of these classical facts. Through a delicate generalization of a theorem of Varopoulos, we show that, roughly speaking, sufficiently regular interpolation projections are null precisely when their atomic parts are. As an application, we give alternative proofs and sharpenings of some recent peak-interpolation results of Davidson and Hartz for algebras on Hilbert function spaces, also illuminating thereby how earlier noncommutative peak-interpolation theory may be applied. In another direction, given a convex subset of the state space of $B$, we characterize when the associated Riesz projection is null. This is then applied to various important topics in noncommutative function theory, such as the F.& M. Riesz property, the existence of Lebesgue decompositions, the description of Henkin functionals, and Arveson's noncommutative Hardy spaces (maximal subdiagonal algebras).

Operator Algebras,Complex Variables,Functional Analysis
On subspaces of Orlicz spaces spanned by independent copies of a mean zero function

Sergey V. Astashkin

2024-07-20

Abstract:We study subspaces of Orlicz spaces $L_M$ spanned by independent copies $f_k$, $k=1,2,\dots$, of a function $f\in L_M$, $\int_0^1 f(t)\,dt=0$. Any such a subspace $H$ is isomorphic to some Orlicz sequence space $\ell_\psi$. In terms of dilations of the function $f$, a description of strongly embedded subspaces of this type is obtained, and conditions, guaranteeing that the unit ball of such a subspace consists of functions with equicontinuous norms in $L_M$, are found. In particular, we prove that there is a wide class of Orlicz spaces $L_M$ (containing $L^p$-spaces, $1\le p< 2$), for which each of the above properties of $H$ holds if and only if the Matuszewska-Orlicz indices of the functions $M$ and $\psi$ satisfy the inequality: $\alpha_\psi^0>\beta_M^\infty$.

Functional Analysis
Beurling-Carleson sets, inner functions and a semi-linear equation

Oleg Ivrii,Artur Nicolau

2023-08-30

Abstract:Beurling-Carleson sets have appeared in a number of areas of complex analysis such as boundary zero sets of analytic functions, inner functions with derivative in the Nevanlinna class, cyclicity in weighted Bergman spaces, Fuchsian groups of Widom-type and the corona problem in quotient Banach algebras. After surveying these developments, we give a general definition of Beurling-Carleson sets and discuss some of their basic properties. We show that the Roberts decomposition characterizes measures that do not charge Beurling-Carleson sets. For a positive singular measure $\mu$ on the unit circle, let $S_\mu$ denote the singular inner function with singular measure $\mu$. In the second part of the paper, we use a corona-type decomposition to relate a number of properties of singular measures on the unit circle such as membership of $S'_\mu$ in the Nevanlinna class $\mathcal N$, area conditions on level sets of $S_\mu$ and wepability. It was known that each of these properties holds for measures concentrated on Beurling-Carleson sets. We show that each of these properties implies that $\mu$ lives on a countable union of Beurling-Carleson sets. We also describe partial relations involving the membership of $S'_\mu$ in the Hardy space $H^p$, membership of $S_\mu$ in the Besov space $B^p$ and $(1-p)$-Beurling-Carleson sets and give a number of examples which show that our results are optimal. Finally, we show that measures that live on countable unions of $\alpha$-Beurling-Carleson sets are almost in bijection with nearly-maximal solutions of $\Delta u = u^p \cdot \chi_{u > 0}$ when $p > 3$ and $\alpha = \frac{p-3}{p-1}$.

Complex Variables,Analysis of PDEs,Classical Analysis and ODEs
On extremal nonexpansive mappings

Christian Bargetz,Michael Dymond,Katriin Pirk

2024-10-01

Abstract:We study the extremality of nonexpansive mappings on a nonempty bounded closed and convex subset of a normed space (therein specific Banach spaces). We show that surjective isometries are extremal in this sense for many Banach spaces, including Banach spaces with the Radon-Nikodym property and all $C(K)$-spaces for compact Hausdorff $K$. We also conclude that the typical, in the sense of Baire category, nonexpansive mapping is close to being extremal.

Functional Analysis
A note on non-support points, negligible sets, Gâteaux differentiability and Lipschitz embeddings

Lixin Cheng,Wen Zhang

DOI: https://doi.org/10.1016/j.jmaa.2007.12.046

IF: 1.417

2009-01-01

Journal of Mathematical Analysis and Applications

Abstract:This paper first presents a characterization of three classes of negligible closed convex sets (i.e., Gauss null sets, Aronszajn null sets and cube null sets) in terms of non-support points; then gives a generalization of Gâteaux differentiability theorems of Lipschitz mapping from open sets to those closed convex sets admitting non-support points; and as their application, finally shows that a closed convex set in a separable Banach space X can be Lipschitz embedded into a Banach space Y with the Radon–Nikodym property if and only if the closure of its linear span is linearly isomorphic to a closed subspace of Y.
Restricted spaces of holomorphic sections vanishing along subvarieties

Dan Coman,George Marinescu,Viêt-Anh Nguyên

2023-10-07

Abstract:Let $X$ be a compact normal complex space of dimension $n$ and $L$ be a holomorphic line bundle on $X$. Suppose that $\Sigma=(\Sigma_1,\ldots,\Sigma_\ell)$ is an $\ell$-tuple of distinct irreducible proper analytic subsets of $X$, $\tau=(\tau_1,\ldots,\tau_\ell)$ is an $\ell$-tuple of positive real numbers, and let $H^0_0(X,L^p)$ be the space of holomorphic sections of $L^p:=L^{\otimes p}$ that vanish to order at least $\tau_jp$ along $\Sigma_j$, $1\leq j\leq\ell$. If $Y\subset X$ is an irreducible analytic subset of dimension $m$, we consider the space $H^0_0 (X|Y, L^p)$ of holomorphic sections of $L^p|_Y$ that extend to global holomorphic sections in $H^0_0(X,L^p)$. Assuming that the triplet $(L,\Sigma,\tau)$ is big in the sense that $\dim H^0_0(X,L^p)\sim p^n$, we give a general condition on $Y$ to ensure that $\dim H^0_0(X|Y,L^p)\sim p^m$. When $L$ is endowed with a continuous Hermitian metric, we show that the Fubini-Study currents of the spaces $H^0_0(X|Y,L^p)$ converge to a certain equilibrium current on $Y$. We apply this to the study of the equidistribution of zeros in $Y$ of random holomorphic sections in $H^0_0(X|Y,L^p)$ as $p\to\infty$.

Complex Variables,Algebraic Geometry,Differential Geometry
Banach Spaces with the Lebesgue Property of Riemann Integrability

Harrison Gaebler,Bunyamin Sari

2024-03-26

Abstract:A Banach space is said to have the Lebesgue property if every Riemann-integrable function $f:[0,1]\to X$ is Lebesgue almost everywhere continuous. We give a characterization of the Lebesgue property in terms of a new sequential asymptotic structure that is strictly between the notions of spreading and asymptotic models. We also reproduce an apparently lost theorem of Pelczynski and da Rocha Filho that a subspace $X\subset L_{1}[0,1]$ has the Lebesgue property if every spreading model of $X$ is equivalent to the unit vector basis of $\ell_{1}$.

Functional Analysis
On nonexpansiveness of metric projection operators on Wasserstein spaces

Anshul Adve,Alpár Mészáros

2024-02-20

Abstract:In this paper we investigate properties of metric projections onto specific closed and geodesically convex proper subsets of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p).$ When $d=1$, as $(\mathcal{P}_2(\mathbf{R}),W_2)$ is isometrically isomorphic to a flat space with a Hilbertian structure, the corresponding projection operators are expected to be nonexpansive. We give a direct proof of this fact, relying on intrinsic analysis, which also implies nonexpansiveness in certain special cases in higher dimensions. When $d>1$, we show the failure of this property in two regimes: when $p>1$ is either small enough or large enough. Finally, we prove some positive curvature properties of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p)$ when $d\ge 2$ and $p\in(1,+\infty)$ are arbitrary: we show that Wasserstein spaces are nowhere locally Busemann NPC spaces, and they nowhere locally satisfy the so-called projection criterion. As a corollary of the former, they have nonnegative upper Alexandrov curvature, in a precise sense that we define here. In our analysis a particular subset of probability measures having densities uniformly bounded above by a given constant plays a special role.

Functional Analysis

On Lebesgue null sets.

A Borel linear subspace of R^\omega that cannot be covered by countably many closed Haar-meager sets

An Example Pertaining to the Failure of the Besicovitch-Federer Structure Theorem in Hilbert Space

On volumes determined by subsets of Euclidean space

Lebesgue decomposition type theorems for weakly null-additive functions on D-posets

On the weak$^*$ separability of the space of Lipschitz functions

On Sobolev spaces of bounded subanalytic manifolds

Undecidably Semilocalizable Metric Measure Spaces

A Fubini-type theorem for Hausdorff dimension

Products of Lipschitz-free spaces and applications

Countably perfectly meager and countably perfectly null sets

Spaceability of sets of non-injective maps

On the exceptional sets of the flux of a bounded vectorfield

Null projections and noncommutative function theory in operator algebras

On subspaces of Orlicz spaces spanned by independent copies of a mean zero function

Beurling-Carleson sets, inner functions and a semi-linear equation

On extremal nonexpansive mappings

A note on non-support points, negligible sets, Gâteaux differentiability and Lipschitz embeddings

Restricted spaces of holomorphic sections vanishing along subvarieties

Banach Spaces with the Lebesgue Property of Riemann Integrability

On nonexpansiveness of metric projection operators on Wasserstein spaces