/ RDLs / ISO 15926 Part 4: Core reference data - Edition 4 / NORMED VECTOR SPACE

NORMED VECTOR SPACE

Class
Identifier
https://posccaesar.org/ontology/15926-4/4.0/NORMED_VECTOR_SPACE
Definition A <NORMED VECTOR SPACE> is a <METRIC SPACE> and a <VECTOR SPACE> ((D, +D), (R, +R, *R), &amp;amp;#176;D), where R denotes the reals; as defined in ISO 15926 Part 3 Section 4.2.2.21