加载中…
A closed subset of , definable in some given o-minimal structure, is Lipschitz normally embedded in if and only if its one-point compactification is Lipschitz normally embedded in the unit sphere (), i.e. the closure of its image by the inverse of the stereographic projection is Lipschitz normally embedded in . This implies that any closed connected unbounded definable subset of an Euclidean space is definably inner bi-Lipschitz homeomorphic to a Lipschitz normally embedded definable set.

生成讲解博客的中文版本

生成AI智能校验的中文版本