Kirszbraun's theorem via an explicit formula
Let X,Y be two Hilbert spaces, E a subset of X and G:E→Y a Lipschitz mapping. A famous theorem of Kirszbraun's states that there exists G:X→Y with G=G on E and Lip(G)=Lip(G). In this note we show that in fact the function G:=∇Y(conv(g))(⋅,0),where g(x,y)=infz∈E{⟨G(z),y⟩+2M∥(x−z,y)∥2}+2M∥(x,y)∥2, defines such an extension. We apply this formula to get an extension result for {\em strongly biLipschitz homeomorphisms.} Related to the latter, we also consider extensions of C1,1 strongly convex functions.