A note on Brehm's extension theorem
Metric Geometry
2016-10-04 v2
Abstract
Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive provided that the finite subset consists of points with rational coordinates. Additionally, the initial non-expansive map needs to send points with rational coordinates to points with rational coordinates. The two-dimensional case is considered.
Cite
@article{arxiv.1609.00965,
title = {A note on Brehm's extension theorem},
author = {Pavel Osinenko},
journal= {arXiv preprint arXiv:1609.00965},
year = {2016}
}
Comments
4 pages, minor corrections made