-
Kurzweil--Stieltjes integration on compact lines
Authors:
Leandro Candido,
Pedro L. Kaufmann
Abstract:
We develop a version of the Kurzweil--Stieltjes integral on compact lines and establish its fundamental properties. For sufficiently regular integrators, we obtain convergence theorems and show that the presented integration process generalizes Lebesgue integration with respect to positive Radon measures. Additionally, we introduce a notion of derivation on compact lines which, when paired with th…
▽ More
We develop a version of the Kurzweil--Stieltjes integral on compact lines and establish its fundamental properties. For sufficiently regular integrators, we obtain convergence theorems and show that the presented integration process generalizes Lebesgue integration with respect to positive Radon measures. Additionally, we introduce a notion of derivation on compact lines which, when paired with the proposed integral, yields a formulation of the Fundamental Theorem of Calculus in this context.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Equivariant liftings in Lipschitz-free spaces
Authors:
Valentin Ferenczi,
Pedro L. Kaufmann,
Eva Pernecká
Abstract:
We consider Banach spaces $X$ that can be linearly lifted into their Lipschitz-free spaces $F(X)$ and, for a group $G$ acting on $X$ by linear isometries, we study the possible existence of $G$-equivariant linear liftings. In particular, we prove that such lifting exists when $G$ is compact in the strong operator topology, or an increasing union of such groups and $F(X)$ is complemented in its bid…
▽ More
We consider Banach spaces $X$ that can be linearly lifted into their Lipschitz-free spaces $F(X)$ and, for a group $G$ acting on $X$ by linear isometries, we study the possible existence of $G$-equivariant linear liftings. In particular, we prove that such lifting exists when $G$ is compact in the strong operator topology, or an increasing union of such groups and $F(X)$ is complemented in its bidual by an equivariant projection.
△ Less
Submitted 12 January, 2025;
originally announced January 2025.
-
On the Vapnik-Chervonenkis dimension of products of intervals in $\mathbb{R}^d$
Authors:
Alirio Gómez Gómez,
Pedro L. Kaufmann
Abstract:
We study combinatorial complexity of certain classes of products of intervals in $\mathbb{R}^d$, from the point of view of Vapnik-Chervonenkis geometry. As a consequence of the obtained results, we conclude that the Vapnik-Chervonenkis dimension of the set of balls in $\ell_\infty^d$ -- which denotes $\R^d$ equipped with the sup norm -- equals $\lfloor (3d+1)/2\rfloor$.
We study combinatorial complexity of certain classes of products of intervals in $\mathbb{R}^d$, from the point of view of Vapnik-Chervonenkis geometry. As a consequence of the obtained results, we conclude that the Vapnik-Chervonenkis dimension of the set of balls in $\ell_\infty^d$ -- which denotes $\R^d$ equipped with the sup norm -- equals $\lfloor (3d+1)/2\rfloor$.
△ Less
Submitted 14 April, 2021;
originally announced April 2021.
-
On the geometry of Banach spaces of the form $\mathrm{Lip}_0(C(K))$
Authors:
Leandro Candido,
Pedro L. Kaufmann
Abstract:
We investigate the problem of classifying the Banach spaces $\mathrm{Lip}_0(C(K))$ for Hausdorff compacta $K$. In particular, sufficient conditions are established for a space $\mathrm{Lip}_0(C(K))$ to be isomorphic to $\mathrm{Lip}_0(c_0(\varGamma))$ for some uncountable set $\varGamma$.
We investigate the problem of classifying the Banach spaces $\mathrm{Lip}_0(C(K))$ for Hausdorff compacta $K$. In particular, sufficient conditions are established for a space $\mathrm{Lip}_0(C(K))$ to be isomorphic to $\mathrm{Lip}_0(c_0(\varGamma))$ for some uncountable set $\varGamma$.
△ Less
Submitted 25 October, 2020;
originally announced October 2020.
-
Approximation properties in Lipschitz-free spaces over groups
Authors:
Michal Doucha,
Pedro Levit Kaufmann
Abstract:
We study Lipschitz-free spaces over compact and uniformly discrete metric spaces enjoying certain high regularity properties - having group structure with left-invariant metric. Using methods of harmonic analysis we show that, given a compact metrizable group $G$ equipped with an arbitrary compatible left-invariant metric $d$, the Lipschitz-free space over $G$, $\mathcal{F}(G,d)$, satisfies the me…
▽ More
We study Lipschitz-free spaces over compact and uniformly discrete metric spaces enjoying certain high regularity properties - having group structure with left-invariant metric. Using methods of harmonic analysis we show that, given a compact metrizable group $G$ equipped with an arbitrary compatible left-invariant metric $d$, the Lipschitz-free space over $G$, $\mathcal{F}(G,d)$, satisfies the metric approximation property. We show also that, given a finitely generated group $G$, with its word metric $d$, from a class of groups admitting a certain special type of combing, which includes all hyperbolic groups and Artin groups of large type, $\mathcal{F}(G,d)$ has a Schauder basis. Examples and applications are discussed. In particular, for any net $N$ in a real hyperbolic $n$-space $\mathbb{H}^n$, $\mathcal{F}(N)$ has a Schauder basis.
△ Less
Submitted 26 April, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
-
On Lipschitz-free spaces over spheres of Banach spaces
Authors:
Leandro Candido,
Pedro Levit Kaufmann
Abstract:
We prove that, for each Banach space $X$ which is isomorphic to its hyperplanes, the Lipschitz-free spaces over $X$ and over its sphere are isomorphic.
We prove that, for each Banach space $X$ which is isomorphic to its hyperplanes, the Lipschitz-free spaces over $X$ and over its sphere are isomorphic.
△ Less
Submitted 19 May, 2020;
originally announced May 2020.
-
Characterization of metric spaces whose free space is isometric to $\ell_1$
Authors:
Aude Dalet,
Pedro L. Kaufmann,
Antonín Procházka
Abstract:
We characterize metric spaces whose Lipschitz free space is isometric to $\ell_1$. In particular, the Lipschitz free space over an ultrametric space is not isometric to $\ell_1(Γ)$ for any set $Γ$. We give a lower bound for the Banach-Mazur distance in the finite case.
We characterize metric spaces whose Lipschitz free space is isometric to $\ell_1$. In particular, the Lipschitz free space over an ultrametric space is not isometric to $\ell_1(Γ)$ for any set $Γ$. We give a lower bound for the Banach-Mazur distance in the finite case.
△ Less
Submitted 11 December, 2015; v1 submitted 9 February, 2015;
originally announced February 2015.
-
Products of Lipschitz-free spaces and applications
Authors:
Pedro Levit Kaufmann
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…
▽ More
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.
△ Less
Submitted 12 November, 2014; v1 submitted 26 March, 2014;
originally announced March 2014.
-
Large structures made of nowhere $L^p$ functions
Authors:
Szymon Glab,
Pedro L. Kaufmann,
Leonardo Pellegrini
Abstract:
We say that a real-valued function $f$ defined on a positive Borel measure space $(X,μ)$ is nowhere $q$-integrable if, for each nonvoid open subset $U$ of $X$, the restriction $f|_U$ is not in $L^q(U)$. When $(X,μ)$ satisfies some natural properties, we show that certain sets of functions defined in $X$ which are $p$-integrable for some $p$'s but nowhere $q$-integrable for some other $q$'s (…
▽ More
We say that a real-valued function $f$ defined on a positive Borel measure space $(X,μ)$ is nowhere $q$-integrable if, for each nonvoid open subset $U$ of $X$, the restriction $f|_U$ is not in $L^q(U)$. When $(X,μ)$ satisfies some natural properties, we show that certain sets of functions defined in $X$ which are $p$-integrable for some $p$'s but nowhere $q$-integrable for some other $q$'s ($0<p,q<\infty$) admit a variety of large linear and algebraic structures within them. The presented results answer a question from Bernal-González, improve and complement recent spaceability and algebrability results from several authors and motivates new research directions in the field of spaceability.
△ Less
Submitted 30 October, 2012; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Spaceability and algebrability of sets of nowhere integrable functions
Authors:
Szymon Glab,
Pedro L. Kaufmann,
Leonardo Pellegrini
Abstract:
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ía-Pacheco, M. Martín, and J. B. Seoane-Sepúlveda. \textit{Lineability, spaceability, and algebrability of certain subsets of function spaces,} Taiwanese J. Math., \textbf{13} (2009), no. 4, 1257--1269], and that it is strongly $\mathfrak{c}$-algeb…
▽ More
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ía-Pacheco, M. Martín, and J. B. Seoane-Sepúlveda. \textit{Lineability, spaceability, and algebrability of certain subsets of function spaces,} Taiwanese J. Math., \textbf{13} (2009), no. 4, 1257--1269], and that it is strongly $\mathfrak{c}$-algebrable. We prove strong $\mathfrak{c}$-algebrability and non-separable spaceability of the set of functions of bounded variation which have a dense set of jump discontinuities. Applications to sets of Lebesgue-nowhere-Riemann integrable and Riemann-nowhere-Newton integrable functions are presented as corollaries. In addition we prove that the set of Kurzweil integrable functions which are not Lebesgue integrable is spaceable (in the Alexievicz norm) but not 1-algebrable. We also show that there exists an infinite dimensional vector space $S$ of differentiable functions such that each element of the $C([0,1])$-closure of $S$ is a primitive to a Kurzweil integrable function, in connection to a classic spaceability result from [V. I. Gurariy, \textit{Subspaces and bases in spaces of continuous functions (Russian),} Dokl. Akad. Nauk SSSR, \textbf{167} (1966), 971-973].
△ Less
Submitted 28 April, 2012;
originally announced April 2012.
-
Spaceability of sets of nowhere $L^q$ functions
Authors:
Pedro L. Kaufmann,
Leonardo Pellegrini
Abstract:
We say that a function $f:[0,1]\rightarrow \R$ is \emph{nowhere $L^q$} if, for each nonvoid open subset $U$ of $[0,1]$, the restriction $f|_U$ is not in $L^q(U)$. For a fixed $1 \leq p <\infty$, we will show that the set $$ S_p\doteq {f \in L^p[0,1]: f is nowhere $L^q$, for each p<q \leq \infty}, $$ united with ${0}$, contains an isometric and complemented copy of $\ell_p…
▽ More
We say that a function $f:[0,1]\rightarrow \R$ is \emph{nowhere $L^q$} if, for each nonvoid open subset $U$ of $[0,1]$, the restriction $f|_U$ is not in $L^q(U)$. For a fixed $1 \leq p <\infty$, we will show that the set $$ S_p\doteq {f \in L^p[0,1]: f is nowhere $L^q$, for each p<q \leq \infty}, $$ united with ${0}$, contains an isometric and complemented copy of $\ell_p$. In particular, this improves a result from G. Botelho, V. Fávaro, D. Pellegrino, and J. B. Seoane-Sepúlveda, $L_p[0,1]\setminus \cup_{q>p} L_q[0,1]$ is spaceable for every $p>0$, preprint, 2011., since $S_p$ turns out to be spaceable. In addition, our result is a generalization of one of the main results from S. Głcab, P. L. Kaufmann, and L. Pellegrini, Spaceability and algebrability of sets of nowhere integrable functions, preprint, 2011.
△ Less
Submitted 26 October, 2011;
originally announced October 2011.