∀x, y∈X、h(x), h(y)∈Y
h: X→Y、単射
d(x, y)≧0かつdʏ(h(x), h(y))≧0
x=y⇔h(x)=h(y)⇔dʏ(h(x), h(y))=0⇔d(x, y)=0
dʏから誘導された距離関数
d(x, y)=dʏ(h(x), h(y))と定義する
dʏ(X, Y)
全単射h: M(2, ℝ)→E⁴
d₂から誘導された距離関数d
幾何学的な点として見ることが出来るようになる。