Poly and Raby's theorem splits in infinite dimensions
A classic result of Poly and Raby \cite{Poly-Raby:1984} states that, in finite-dimensional Euclidean spaces, $\mathcal{C}^k$-smoothness (with $k\geq2$) of the squared distance function near a point of a closed set characterizes smoothness of the set as a submanifold, with the same order of differentiability. In this work, we show that this characterization splits in infinite-dimensional Hilbert spaces: $\mathcal{C}^k$-smoothness of the squared distance function characterizes weakly $\mathcal{C}^k$-submanifolds, while $\mathcal{C}^k$-submanifolds are characterized by this smoothness together…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.06595
curl -X POST /api/v1/records/arxiv/2610.06595/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.06595/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'