2016/09/04 by Pavel Osinenko, Osinenko, Pavel
Mathematics · #03F60 #51F99 #FOS: Mathematics #Metric Geometry (math.MG) #math.MG #msc:03F60 #msc:51F99
paper · pdf · doi:10.48550/arxiv.1609.00965
4 pages, minor corrections made
arxiv created 2016/10/03 · arxiv updated 2016/10/04
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.