definition of Euclidean metric space
Topics
About: metric space
The table of contents of this article
Starting Context
- The reader knows a definition of Euclidean metric on Euclidean set.
Target Context
- The reader will have a definition of Euclidean metric space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( d\): \(\in \mathbb{N} \setminus \{0\}\)
\( \mathbb{R}^d\): \(= \text{ the Euclidean set }\)
\( dist\): \(= \text{ the Euclidean metric for } \mathbb{R}^d\)
\(*(\mathbb{R}^d, dist)\):
//
Conditions:
//
