Continuity of Barycentric Coordinates in Euclidean Topological Spaces
Karol Pąk · Formalized Mathematics · 2011
Continuity of Barycentric Coordinates in Euclidean Topological SpacesIn this paper we present selected properties of barycentric coordinates in the Euclidean topological space. We prove the topological correspondence between a subset of an affine closed space of εn and the set of vectors created from barycentric coordinates of points of this subset.