NORMED SPACE

< mathematics > A vector space with a function , ||F||, such that

||F|| = 0 if and only if F=0 ||aF|| = abs(a) * ||F|| ||F+G|| Roughly, a distance between two elements in the space is defined.

(2000-03-10)