Bases in normed affine spaces. #
This file contains results about bases in normed affine spaces.
Main definitions: #
Given a finite-dimensional normed real vector space, the interior of the convex hull of an affine basis is the set of points whose barycentric coordinates are strictly positive with respect to this basis.
TODO Restate this result for affine spaces (instead of vector spaces) once the definition of convexity is generalised to this setting.
Given a set
s of affine-independent points belonging to an open set
u, we may extend
an affine basis, all of whose elements belong to