0052名無しさん@├\├\廾□`/垢版 | 大砲2023/03/23(木) 21:45:05.58ID:43jjfoMT ∀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 幾何学的な点として見ることが出来るようになる。