Hilbert space factor of metric spaces
arXiv:2503.00864
Abstract
We prove that any complete metric space has a unique decomposition as a direct product of a possibly finite or zero-dimensional Hilbert space and a space that does not split off lines.
7 pages, comments very welcome!