catflap.org Online Dictionary Query |
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
normed spaceFrom English - German Ding/FreeDict dictionary ver. 1.9-fd1 : [ freedict:eng-deu ]A vector space with a function, ||F||, such that ||F|| = 0 if and only if F=0 ||aF|| = abs(a) * ||F|| ||F+G|| <= ||F|| + ||G|| Roughly, a distance between two elements in the space is defined. (2000-03-10)
normed space /nˈɔːmd spˈeɪs/ normierter Raum [math.] see: space