Local vs. global Lipschitz geometry
In this article, we prove that for a definable set in an o-minimal structure with connected link (at 0 or infinity), the inner distance of the link is equivalent to the inner distance of the set restrict to the link. As consequences, we obtain: (1) a definable set, with connected link at infinity, i...
Main Author: | |
---|---|
Format: | Text |
Language: | unknown |
Published: |
2023
|
Subjects: | |
Online Access: | http://arxiv.org/abs/2305.11830 |
id |
ftarxivpreprints:oai:arXiv.org:2305.11830 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:2305.11830 2023-09-05T13:21:50+02:00 Local vs. global Lipschitz geometry Sampaio, José Edson 2023-05-19 http://arxiv.org/abs/2305.11830 unknown http://arxiv.org/abs/2305.11830 Mathematics - Metric Geometry Mathematics - Algebraic Geometry Mathematics - Logic 14Pxx 53Cxx (primary) 32S50 (secondary) text 2023 ftarxivpreprints 2023-08-16T17:42:42Z In this article, we prove that for a definable set in an o-minimal structure with connected link (at 0 or infinity), the inner distance of the link is equivalent to the inner distance of the set restrict to the link. As consequences, we obtain: (1) a definable set, with connected link at infinity, is LNE at infinity if and only if it is LLNE at infinity; (2) a definable set is LNE at infinity if and only if its stereographic modification is LNE at the North Pole; (3) a connected definable set is LNE if and only if its stereographic modification is LNE; and under certain extra conditions we prove that: (4) two definable sets are definably inner (resp. outer) lipeomorphic if and only if their stereographic modifications are definably inner (resp. outer) lipeomorphic if and only if their inversions are definably inner (resp. outer) lipeomorphic. Moreover, we also prove that two sets in Euclidean spaces, not necessarily definables in an o-minimal structure, are outer lipeomorphic if and only if their stereographic modifications are outer lipeomorphic if and only if their inversions are outer lipeomorphic. Comment: 16 pages and 1 figure Text North Pole ArXiv.org (Cornell University Library) North Pole |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Mathematics - Metric Geometry Mathematics - Algebraic Geometry Mathematics - Logic 14Pxx 53Cxx (primary) 32S50 (secondary) |
spellingShingle |
Mathematics - Metric Geometry Mathematics - Algebraic Geometry Mathematics - Logic 14Pxx 53Cxx (primary) 32S50 (secondary) Sampaio, José Edson Local vs. global Lipschitz geometry |
topic_facet |
Mathematics - Metric Geometry Mathematics - Algebraic Geometry Mathematics - Logic 14Pxx 53Cxx (primary) 32S50 (secondary) |
description |
In this article, we prove that for a definable set in an o-minimal structure with connected link (at 0 or infinity), the inner distance of the link is equivalent to the inner distance of the set restrict to the link. As consequences, we obtain: (1) a definable set, with connected link at infinity, is LNE at infinity if and only if it is LLNE at infinity; (2) a definable set is LNE at infinity if and only if its stereographic modification is LNE at the North Pole; (3) a connected definable set is LNE if and only if its stereographic modification is LNE; and under certain extra conditions we prove that: (4) two definable sets are definably inner (resp. outer) lipeomorphic if and only if their stereographic modifications are definably inner (resp. outer) lipeomorphic if and only if their inversions are definably inner (resp. outer) lipeomorphic. Moreover, we also prove that two sets in Euclidean spaces, not necessarily definables in an o-minimal structure, are outer lipeomorphic if and only if their stereographic modifications are outer lipeomorphic if and only if their inversions are outer lipeomorphic. Comment: 16 pages and 1 figure |
format |
Text |
author |
Sampaio, José Edson |
author_facet |
Sampaio, José Edson |
author_sort |
Sampaio, José Edson |
title |
Local vs. global Lipschitz geometry |
title_short |
Local vs. global Lipschitz geometry |
title_full |
Local vs. global Lipschitz geometry |
title_fullStr |
Local vs. global Lipschitz geometry |
title_full_unstemmed |
Local vs. global Lipschitz geometry |
title_sort |
local vs. global lipschitz geometry |
publishDate |
2023 |
url |
http://arxiv.org/abs/2305.11830 |
geographic |
North Pole |
geographic_facet |
North Pole |
genre |
North Pole |
genre_facet |
North Pole |
op_relation |
http://arxiv.org/abs/2305.11830 |
_version_ |
1776202399353929728 |