등거리 사상

등거리 사상

정의

거리공간 $(X,\ d_X), (Y,\ d_Y)$에 대해서 아래의 조건을 만족하는 사상 $f : X \to Y$가 존재하면 $X$와 $Y$가 아이소메트릭isometric이라 하고 $X \approx Y$라고 표기한다. 또한 사상 $f$를 등거리 사상isomertic map, isometry 이라 한다.

$$ d_X(x_1,\ x_2) =d_Y\big( f(x_1),\ f(x_2) \big),\quad \forall\ x_1,x_2\in X $$

설명

등거리 사상은 이름 그대로 거리를 보존하는 사상이다. 따라서 등거리사상이 존재하는 두 공간은 ‘사실상’ 같다고 볼 수 있다. 또한 등거리 사상은 정의로부터 자연스럽게 일대일 함수가 된다.

놈 공간에서

만약 $X$와 $Y$가 놈 공간이라면 아래와 거리가 정의되기 때문에 등거리 사상은 놈을 보존하는 사상이 된다.

$$ d_X(x_1,x_2) = \|x_1-x_2\|_X $$

정의1

$(X, \left\| \cdot \right\|_{X}), (Y, \left\| \cdot \right\|_{Y})$를 놈 공간이라고 하자. $X$와 $Y$에 대해서 아래의 조건을 만족하는 선형 작용소 $L\ : X \to Y$ 이 존재하면 $L$ 을 등거리동형사상isometric isomorphism이라 한다. 또한 $X$와 $Y$가 등거리동형isometrically isomorphic이라 한다.

$$ \|x\|_X = \|L(x)\|_Y, \quad \forall\ x\in X $$

성질

등거리사상에 대해서 다음과 같은 사실이 성립한다.

증명

$x_1,x_2\in X$이고 $f(x_1)=f(x_2)$라고 하자. 그러면 거리의 정의에 의해서 $d_Y\big( f(x_1),\ f(x_2) \big)=0$이다. $f$는 거리를 보존하므로 $d_X(x_1,\ x_2)=0$이고 마찬가지로 거리의 정의에 의해서 $x_1=x_2$이다. $f(x_1)=f(x_2)$이면 $x_1=x_2$이므로 $f$ 는 일대일 함수이다.


  1. Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p5 ↩︎

댓글