{"title":"Continuity of extensions of Lipschitz maps and of monotone maps","authors":"Krzysztof J. Ciosmak","doi":"10.1112/jlms.70014","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mi>X</mi>\n <annotation>$X$</annotation>\n </semantics></math> be a subset of a Hilbert space. We prove that if <span></span><math>\n <semantics>\n <mrow>\n <mi>v</mi>\n <mo>:</mo>\n <mi>X</mi>\n <mo>→</mo>\n <msup>\n <mi>R</mi>\n <mi>m</mi>\n </msup>\n </mrow>\n <annotation>$v\\colon X\\rightarrow \\mathbb {R}^m$</annotation>\n </semantics></math> is such that\n\n </p><p>Moreover, if either <span></span><math>\n <semantics>\n <mrow>\n <mi>m</mi>\n <mo>∈</mo>\n <mo>{</mo>\n <mn>1</mn>\n <mo>,</mo>\n <mn>2</mn>\n <mo>,</mo>\n <mn>3</mn>\n <mo>}</mo>\n </mrow>\n <annotation>$m\\in \\lbrace 1,2,3\\rbrace$</annotation>\n </semantics></math> or <span></span><math>\n <semantics>\n <mi>X</mi>\n <annotation>$X$</annotation>\n </semantics></math> is convex, we prove the converse: We show that a map <span></span><math>\n <semantics>\n <mrow>\n <mi>v</mi>\n <mo>:</mo>\n <mi>X</mi>\n <mo>→</mo>\n <msup>\n <mi>R</mi>\n <mi>m</mi>\n </msup>\n </mrow>\n <annotation>$v\\colon X\\rightarrow \\mathbb {R}^m$</annotation>\n </semantics></math> that allows for a 1-Lipschitz, uniform distance preserving extension of any 1-Lipschitz map on a subset of <span></span><math>\n <semantics>\n <mi>X</mi>\n <annotation>$X$</annotation>\n </semantics></math> also satisfies the above set of inequalities. We also prove a similar continuity result concerning extensions of monotone maps. Our results hold true also for maps taking values in infinite-dimensional spaces.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70014","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70014","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a subset of a Hilbert space. We prove that if is such that
Moreover, if either or is convex, we prove the converse: We show that a map that allows for a 1-Lipschitz, uniform distance preserving extension of any 1-Lipschitz map on a subset of also satisfies the above set of inequalities. We also prove a similar continuity result concerning extensions of monotone maps. Our results hold true also for maps taking values in infinite-dimensional spaces.
让 X $X$ 是一个希尔伯特空间的子集。我们证明,如果 v : X → R m $v\colon X\rightarrow \mathbb {R}^m$ 是这样的,而且,如果 m ∈ { 1 , 2 , 3 } 或者 X $X$ 是凸的,我们证明反过来:如果 v : X → R m $v\colon X\rightarrow \mathbb {R}^m$ 是这样的。 或 X $X$ 是凸的,我们证明反过来:我们证明了一个映射 v : X → R m $v\colon X\rightarrow \mathbb {R}^m$ 可以在 X $X$ 的子集上对任何 1-Lipschitz 映射进行 1-Lipschitz、均匀距离保持的扩展,这个映射也满足上述不等式集。我们还证明了关于单调映射扩展的类似连续性结果。我们的结果也适用于在无限维空间取值的映射。
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.