Big and little Lipschitz one sets

DOI10.1007/S40879-021-00458-9MaRDI QIDQ2040967zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 15 July 2021

Published in European Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1905.11081

zbMATH Keywords

Lipschitz functionsweak densitybig and little lip functionsone-sided densitystrong uniform densityuniform density properties

Mathematics Subject Classification ID

Lipschitz (Hölder) classes (26A16) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05)

Abstract: Given a continuous function $f:mathbbRomathbbR$ we denote the so-called "big Lip" and "little lip" functions by $mathrmLipf$ and $mathrmlipf$ respectively}. In this paper we are interested in the following question. Given a set $EsubsetmathbbR$ is it possible to find a continuous function $f$ such that $mathrmlipf=mathbf{1}_E$ or $mathrmLipf=mathbf{1}_E$? For monotone continuous functions we provide the rather straightforward answer. For arbitrary continuous functions the answer is much more difficult to find. We introduce the concept of uniform density type (UDT) and show that if $E$ is $G_{d}elta$ and UDT then there exists a continuous function $f$ satisfying $mathrmLipf=mathbf{1}_E$, that is, $E$ is a $mathrmLip1$ set. In the other direction we show that every $mathrmLip1$ set is $G_{d}elta$ and weakly dense. We also show that the converse of this statement is not true, namely that there exist weakly dense $G_{delta}$ sets which are not $mathrmLip1$. We say that a set $EsubsetmathbbR$ is $mathrmlip1$ if there is a continuous function $f$ such that $mathrmlipf=mathbf{1}_E$. We introduce the concept of strongly one-sided density and show that every $mathrmlip1$ set is a strongly one-sided dense $F_{s}igma$ set.

Recommendations

• Characterization of lip sets
• Points of non-differentiability of typical Lipschitz functions
• On sets where $\operatorname{lip} f$ is finite
• Sets where \(\operatorname{Lip}f\) is infinite and \(\operatorname{lip}f\) is finite
• Cantor sets of low density and Lipschitz functions on \(C^1\) curves

Cites work

• scientific article; zbMATH DE number 977420 (Why is no real title available?)
• A differentiable structure for metric measure spaces
• Characteristic Functions and Products of Bounded Derivatives
• Characterization of lip sets
• Derivatives
• Differentiability of Lipschitz functions on metric measure spaces
• Linear dilatation and differentiability of homeomorphisms of \(\mathbb R^n\)
• Lipschitz one sets modulo sets of measure zero
• Mapping analytic sets onto cubes by little Lipschitz functions
• On Characterizing Derivatives
• On Properties of Derivatives
• On Stepanov type differentiability theorems
• On sets where $\operatorname{lip} f$ is finite
• Scaled-oscillation and regularity
• Sets of non-differentiability for functions with finite lower scaled oscillation
• Sur La Premiere Derivee
• Theory of the integral. English translation by L. C. Young. With two additional notes by Stefan Banach
• Über die Baire'sche Kategorie gewisser Funktionenmengen

Cited in

(4)

• Sets where \(\operatorname{Lip}f\) is infinite and \(\operatorname{lip}f\) is finite
• Characterization of lip sets
• Dimension of images and graphs of little Lipschitz functions
• Strong one-sided density without uniform density

This page was built for publication: Big and little Lipschitz one sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040967)