The Steiner mapping for three points in Euclidean plane (Q1647259): Difference between revisions

Let \(\{ a,b,c \}\) be a triplet of points in a Banach space \(X\). The Steiner point \(s(a,b,c)\) is a point of the Steiner set \(\mathrm{St}(a,b,c)= \{ s \in X \;| \;||a-s|| + ||b-s|| + ||c-s|| = \inf_{x \in X} ||a - x|| + ||b - x|| + ||c-x|| \}.\) The set can contain no more than one element. If \(M\) is a subspace of \(X\), then \(\rho(x,M) = \inf \{ ||x - y || \;| \;y \in M\}.\) The set \(P_M(x) = \{ y \in M \;| \;||x-y|| = \rho(x,M) \}\) is the metric projection of \(x\) on to \(M\). In the case of uniqueness and existence of the Steiner point, we have \(P_D(x_1,x_2,x_3) = (s(x_1,x_2,x_3), s(x_1,x_2,x_3),s(x_1,x_2,x_3)).\) The author proves that in the space \({\mathbf C}^3 = l^3_1({\mathbf C})\) of vectors \((z_1,z_2,z_3)\) with norm \(||(z_1,z_2,z_3)||_3 = |z_1| + |z_2| + |z_3|\), the linearity coefficient \(\lambda(P_D)\) of the metric projection operator \(P_D\) onto the subspace \(D= \{(d,d,d) \;| \;d \in {\mathbf C}\}\) is equal to \(\sqrt{22}/14.\)