거리공간 기하학 입문

초록

본 비공식 노트는 거리공간의 기본 성질과 특히 곡선의 길이에 관한 개념들을 정리한다. 거리공간의 정의, 열린 공, 수열의 수렴·완비성, 콤팩트성, 그리고 길이 함수와 직사각형 가능성, 내재 거리와 측지선의 존재 조건 등을 다루며, 유클리드 공간, 이산 거리공간, p‑adic 거리 등 다양한 예시를 통해 직관을 제공한다.

상세 분석

본 논문은 거리공간(metric space)의 기본 구조를 체계적으로 재조명한다. 먼저 거리함수 d(x,y)가 비음성, 대칭, 삼각부등식을 만족한다는 정의에서 출발해, 열린 공 B(x,r)와 폐쇄 공 (\overline{B}(x,r))를 통해 위상적 개념을 도입한다. 수열 ({x_n})이 d-수렴한다는 것은 d(x_n,x)→0인 경우이며, 이는 완비성(complete)과 직접 연결된다. 완비 공간에서는 코시 수열이 반드시 수렴점으로 수렴함을 보이며, 이는 바나흐 공간과 유사한 구조적 안정성을 제공한다. 콤팩트성에 대해서는 거리공간에서의 완비와 전계(총 boundedness)의 동등성을 증명하고, 아르키메데스 성질을 이용해 열린 피복의 유한 부분 피복 존재를 논한다.

특히 곡선의 길이 개념을 도입하기 위해 파라메트릭 곡선 γ: