거리와 거리공간의 본질

초록

본 논문은 거리공간(metric space)의 정의와 기본 공리들을 소개하고, 유클리드 거리, 이산 거리, 맨해튼 거리 등 대표적인 예시들을 통해 그 특성을 살펴본다. 또한 열린 공, 수열의 수렴, 완비성, 콤팩트성 등 주요 위상적 성질을 논의하며, 거리공간이 현대 분석과 기하학에서 차지하는 역할을 강조한다.

상세 분석

거리공간은 집합 X와 거리 함수 d:X×X→ℝ⁺가 만족해야 하는 네 가지 공리(비음성, 자가동등성, 대칭성, 삼각부등식)로 정의된다. 이 네 공리는 직관적인 거리 개념을 추상화한 것으로, 각각 “거리값은 음수가 아니다”, “같은 점 사이의 거리는 0이며, 거리 0은 동일성을 의미한다”, “두 점 사이의 거리는 순서를 바꿔도 같다”, “세 점을 잇는 경로의 길이는 직접 연결한 거리보다 짧거나 같다”는 의미를 담고 있다. 이러한 정의는 위상공간을 자연스럽게 유도한다. 구체적으로, 거리 d에 대해 열린 구(ball) B(x,ε)={y∈X | d(x,y)<ε}를 정의하면, 이 열린 구들의 모임이 X 위에 자연스러운 위상을 만든다. 따라서 거리공간은 위상공간의 한 종류이며, 거리 자체가 위상의 세부 구조를 결정한다.

논문은 먼저 실수선 ℝ에 유클리드 거리 d(x,y)=|x−y|를 적용한 예를 제시한다. 이 경우 열린 구는 일반적인 열린 구간이 되며, 수열의 수렴, 연속성, 완비성 등 모든 기본 위상 개념이 직관과 일치한다. 이어서 이산 거리 d(x,y)=1(x≠y), 0(x=y) 를 가진 이산 공간을 살펴본다. 이 경우 모든 점이 서로 거리 1만큼 떨어져 있어, 모든 부분집합이 열린 동시에 닫힌 집합이 된다. 따라서 이산 공간은 완비이지만, 유한 집합이 아닌 경우 콤팩트하지 않다. 맨해튼 거리 d₁(x,y)=|x₁−y₁|+|x₂−y₂|를 갖는 ℝ²는 유클리드 거리와 위상이 동일하지만, 구의 형태가 다이아몬드 모양이 되는 등 거리 함수에 따라 기하학적 직관이 달라짐을 보여준다.

함수공간 C(