이중 공간의 거리 역반군은 기본 구조를 이룬다

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

두 복사본으로 만든 이중 공간 위의 거리 동치류가 역반군을 이루고 모든 거리 공간에 대해 이 역반군이 기본임을 보인다

논문은 먼저 거리 공간 X의 이중 X×{0,1}을 정의하고 두 복사본 사이의 거리값만 자유롭게 정할 수 있음을 설명한다 이렇게 정의된 거리들의 동치류 집합을 M(X)라 부른다 M(X) 위에 (d1 d2)(x,y′)=inf_{u∈X}