definition of complex Euclidean metric on complex Euclidean set
Topics
About: metric space
The table of contents of this article
Starting Context
- The reader knows a definition of complex Euclidean norm on complex Euclidean vectors space.
- The reader knows a definition of metric induced by norm on real or complex vectors space.
Target Context
- The reader will have a definition of complex Euclidean metric on complex Euclidean set.
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:
\( \mathbb{C}^d\): \(= \text{ the complex Euclidean set }\)
\(*dist\): \(= \text{ the metric for } \mathbb{C}^d \text{ induced by the complex Euclidean norm for the complex Euclidean vectors space }, \mathbb{C}^d\)
//
Conditions:
//
2: Note
The complex Euclidean metric space, \(\mathbb{C}^d\), does not need to really have the complex Euclidean vectors space structure or the complex Euclidean norm: the norm is used just in order to define the metric, and the norm and the vectors space structure can be forgotten after that if one likes so. In fact, the metric can be defined without the norm, but this definition uses the norm in order to use the fact that the metric induced by any norm is indeed a metric.
