거리 함수

거리 함수(距離 函數, )는 집합의 각 원소 쌍 사이에 거리를 주는 함수이다. 거리가 있는 집합을 거리 공간이라고 부른다. 거리는 집합의 위상을 유도하지만 모든 위상을 거리로부터 생성할 수는 없다. 거리로부터 위상을 생성할 수 있는 공간을 거리화 가능 공간이라고 부른다.
미분기하학에서 거리를 정의하는 한 가지 중요한 방법은 계량 텐서이다. 계량 텐서는 미분 가능 다양체의 두 접벡터를 받아 스칼라를 내놓는 쌍선형 형식이다. 계량 텐서는 적분을 통해 곡선의 길이를 결정할 수 있도록 해 주고, 따라서 거리를 결정한다.
정의.
집합 의 거리는 다음과 같이 함수("거리 함수" 또는 단순히 "거리"라고 부름)로 표현한다.
여기서 formula_2는 음이 아닌 실수의 집합이며 모든 formula_3에 대해 다음 3가지 공리가 충족된다.
이 공리들은 거리가 음수가 아니라는 "분리 조건"을 함의한다. 즉, 모든 formula_4에 대해 formula_5이다.
왜냐하면 1번, 3번, 2번 공리를 순서대로 적용하면 formula_6이고, 따라서 formula_7이기 때문이다.
함수값이 음이 아니라는 조건과 1번 공리는 "양의 정부호 함수"라고 불리는 것을 정의한다.
두 점 사이에 다른 점이 들어갈 수 없도록 다음과 같이 삼각 부등식보다 강한 조건을 만족하는 거리를 초거리라고 한다.
의 임의의 두 점 와 에 대해, 두 점을 이으면서 그 길이가 에 임의로 가까운 곡선이 존재하는 경우, 를 의 길이 거리라고 부른다.
군 "G"의 거리 "d"가 다음 조건을 만족하면 "왼쪽 불변"(반대 개념은 "오른쪽 불변")이라고 한다. (곱셈 표기법 사용)
가환 덧셈군 formula_12의 거리 formula_13는 모든 formula_3에 대해 formula_15인 경우 또는 모든 formula_4에 대해 formula_17인 경우에 평행변환불변이라고 한다. 또한 모든 벡터 공간은 가환 덧셈군이며, 실벡터공간 또는 복소벡터공간에서 노름에 의해 유도되는 거리는 항상 평행변환불변이다.
실벡터공간 또는 복소벡터공간에서 거리 formula_13는 평행변환불변이고 "절대동차"인 경우에만 노름으로 유도된다. 여기서 절대동차라는 것은 모든 스칼라 "s"와 모든 formula_4에 대해 formula_20임을 의미한다. 이 경우에 함수 formula_21는 formula_12에 대한 노름을 정의하고 formula_23에 의해 유도된 노름 거리는 formula_13와 같다.
참고.
이러한 조건들은 거리에 대한 직관적인 이해를 반영한다. 예를 들어 구별되는 점 사이의 거리는 양수이고, "x"에서 "y"까지의 거리는 "y"에서 "x"까지의 거리와 같다. 삼각 부등식은 "x"에서 "y"를 거쳐 "z"까지 가는 거리가 적어도 "x"에서 "z"까지 직접 가는 거리만큼 길다는 사실을 나타낸다. 에우클레이데스는 《원론》에서 두 점 사이의 최단 거리는 직선이라고 했는데, 이는 유클리드 기하학에 대한 삼각 부등식이다.
거리의 동치.
주어진 집합 "X"와 그 위의 거리 함수 "d"1, "d"2에 대해, 거리 공간 사이의 항등 사상
가 위상동형사상이면, "d"1과 "d"2가 위상적으로 동치라고 한다. 추가로, id가 균등동형사상이면 두 거리 함수가 균등 동치(uniformly equivalent)라고 한다. (어떤 함수가 균등동형사상이라는 것은 균등연속이면서 그 역함수도 균등연속이라는 뜻이다.)
예를 들어 formula_43이 거리이면 formula_44 및 formula_45는 formula_43와 동치인 거리이다.
노름 유도 거리.
벡터 공간의 노름은 절대동차이고 평행변환불변인 거리와 동치이다. 즉 모든 노름은 거리 함수를 결정하고, 어떤 거리 함수는 노름을 결정한다.
노름 공간 formula_47가 주어지면 formula_12의 거리 formula_43를 정의할 수 있다.
이때 formula_43를 노름 (formula_23)에 의해 유도된 거리 또는 노름 유도 거리라고 부른다.
반대로 벡터 공간 formula_12의 거리 formula_43가 다음 조건을 만족한다 하자.
그러면 formula_12의 노름을 다음과 같이 정의할 수 있다.
이러한 노름에 의해 유도되는 거리는 원래 주어진 거리 formula_43이다.
마찬가지로 반노름은 유사거리를 유도하고, 절대동차이고 평행변환불변인 유사거리는 반노름을 유도한다.
중복집합에서의 거리.
두 원소 사이의 거리 개념을 일반화하여 공집합이 아닌 유한 중복집합의 거리 개념을 정의할 수 있다. 중복집합은 원소가 2번 이상 발생할 수 있도록 집합의 개념을 일반화한 것이다. formula_60가 중복집합 formula_12와 formula_62의 요소로 구성된 중복집합일 때, formula_63라고 정의한다. 예를 들어 formula_12에 한 번, formula_62에 한 번 나타나는 원소는 formula_60에 두 번 나타난다. 공집합이 아닌 유한 중복집합들의 집합 위의 함수 "d"가 다음 조건을 만족하면 "d"를 거리 함수라 한다.
조건 1, 2에서 중복집합 formula_12가 두 원소 집합이고 조건 3에서 중복집합 formula_74가 각각 한 원소 집합인 경우 보통의 거리 함수에 대한 조건이 된다. 예를 들어 formula_12가 formula_76 2개로 구성된 중복집합이면 조건 1에 따라 formula_68이 된다.
간단한 예시는 정수의 모든 공집합이 아닌 유한 중복집합 formula_12에 대한 거리인 formula_79이다. 더 복잡한 예시는 중복집합의 정보 거리(information distance)와 다중 집합의 정규화된 압축 거리(normalized compression distance)이다.
일반화된 거리.
거리 함수의 공리를 여러 방식으로 약화시켜 거리 공간의 개념을 일반화할 수 있다. 이러한 일반화된 개념끼리 서로 결합될 수도 있다. 이런 개념들을 부르는 용어들은 아직 완전히 표준화되어 있지 않다. 특히 함수해석학에서 유사거리는 벡터 공간의 반노름에서 오는 경우가 많으므로 "반거리"라고 부르는 것이 자연스럽다고 느낄 수 있는데, 이는 위상수학의 용어와 충돌한다.
확장 거리.
일부 저자들은 거리 함수 "d"가 값 ∞를 갖도록 허용한다. 즉 거리는 음이 아닌 확장된 실수가 될 수 있다. 이러한 함수를 "확장 거리"(extended metric) 또는 "∞ 거리"라고 부른다. 모든 확장 거리는 똑같은 위상을 유도하는 유한 거리로 변환할 수 있는데, 0을 0으로 보내는 준가법 유계 증거함수를 사용하면 된다. 예를 들어 "d"′("x", "y") = "d"("x", "y") / (1 + "d"("x", "y")) 또는 "d"′′("x", "y") = min(1, "d"("x", "y"))와 같이 변환할 수 있다.
거리가 [0,∞)에 속해야 한다는 조건을 완화하여 다른 유향집합으로 확장할 수도 있다. 이렇게 공리를 재구성하면 균등 공간, 즉 서로 다른 점에서의 국소적 위상을 비교할 수 있는 추상적 구조를 가진 위상 공간의 개념이 얻어진다.
유사거리.
"X"의 유사거리(pseudometric)는 두 번째 거리 공리(식별불가능자 동일성) 대신에 모든 "x"에 대해 "d"("x","x")=0라는 조건을 만족하고 거리에 대한 나머지 공리를 만족하는 함수이다. 즉 유사거리의 공리는 다음과 같다.
어떤 맥락에서 유사거리는 반노름과의 관계 때문에 "반거리"(semimetric)라고도 불린다.
준거리.
준거리(quasimetric)는 대칭성을 제외하고 거리에 대한 모든 공리를 만족하는 함수로 정의한다. 이 개념의 이름이 완전히 표준화된 것은 아니다.
준거리는 실제 생활에서 흔히 볼 수 있다. 예를 들어 산촌의 집합 "X"가 주어지면 언덕을 내려가는 것보다 언덕을 올라가는 것이 더 오래 걸리기 때문에 "X"의 원소들 사이의 걷는 시간은 준거리를 이룬다. 또 다른 예시는 일방통행 도로가 있는 맨해튼 거리로서 여기서 "A" 지점에서 "B" 지점까지의 최단 경로는 "B"에서 "A"까지의 최단 경로와 다를 수 있다.
다음은 실수 집합 위의 준거리가 된다.
이러한 준거리 공간에 대응하는 위상공간은 소젠프리 선이다. 이 공간을 금속 막대기를 자르는 과정을 묘사한다. 금속 막대기의 크기를 줄이는 것은 쉽지만 그것을 늘리는 것은 어렵거나 불가능하다.
"d"가 "X"의 준거리이면 "X"의 거리 "d'를 다음과 같이 정의할 수 있다.
메타거리.
메타거리(metametric)는 동일한 점들 사이의 거리가 0이 아닐 수 있다는 점을 제외하면 모든 거리 공리를 만족한다. 즉 준거리에 대한 공리는 다음과 같다.
메타거리는 그로모프 쌍곡 거리 공간과 그 경계에 대한 연구에 나타난다. 그러한 공간에서 "시각적 메타거리"(visual metametric)는 경계에 있는 점 "x"에 대해 "d"("x", "x") = 0을 만족하지만 그렇지 않으면 "d"("x", "x")는 대략 "x"에서 경계까지의 거리이다. 메타거리는 유시 비시슬래(Jussi Visisllä)에 의해 처음 정의되었다.
반거리.
"X"의 반거리(semimetric)는 함수 "d" : "X" × "X" → R로서 첫 세 공리를 만족하지만 삼각 부등식을 만족할 필요는 없다.
일부 저자들은 다음과 같은 약한 형태의 삼각 부등식을 추가한다.
ρ-하위 거리 부등식은 (첫번째 공리를 가정할 때) ρ-완화 삼각 부등식을 함의하며, ρ-완화 삼각 부등식은 2ρ-하위 거리 부등식을 함의한다. 서로 동치인 이러한 조건을 만족하는 반거리는 때때로 "유사거리"(quasimetric), "근거리"(nearmetric) 또는 "하위 거리"(inframetric)라고 불린다.
ρ-하위 거리 부등식은 인터넷에서 왕복 지연 시간을 모델링하기 위해 도입되었다. 삼각 부등식은 2-하위 거리 부등식을 함의하며 초거리 부등식은 정확히 1-하위 거리 부등식과 같다.
전거리.
전거리(premetric)은 다음 3가지 조건을 만족하는 함수이다.
이것은 표준 용어가 아니다. 이 용어는 유사반거리 또는 유사거리와 같은 다른 개념을 가리키는 용어로도 사용된다. 러시아어 서적의 번역본에서는 "prametric"이라는 표기도 등장한다. 경우에 따라서는 거리(distance)라고 부르기도 한다.
모든 전거리는 다음과 같은 위상을 생성한다. 양의 실수 "r"에 대해 점 "p"를 중심으로 한 "r"-공은 다음과 같이 정의된다.
집합에 포함된 각 점 "p"에 대해 "p"를 중심으로 한 "r"-공이 그 집합에 속하면 이 집합을 열린 집합이라고 한다. 모든 전거리는 이렇게 위상 공간을, 나라가 점렬 공간을 정의한다. 일반적으로 "r"-공 자체는 이 위상에서 열린 집합일 필요가 없다. 거리 함수의 경우와 같이, 두 집합 "A"와 "B" 사이의 전거리는 다음과 같이 정의된다.
이것은 전거리 공간의 멱집합에 대한 전거리를 정의한다. (유사반)거리 공간에서 출발하면 유사반거리, 즉 대칭적인 전거리가 얻어진다. 임의의 전거리는 다음과 같은 전폐포(preclosure) 연산자 "cl"을 낳는다.
유사준거리.
'유사', '준', '반'과 같은 접두사들이 결합될 수 있다. 예를 들어 유사준거리(pseudoquasimetric 또는 hemimetric)는 무차별성 공리와 대칭성 공리를 모두 완화하여, 단순히 삼각 부등식을 만족시키는 준거리이다. 유사준거리 공간의 경우 열린 "r"-공은 열린 집합의 기저를 이룬다. 유사준거리 공간의 매우 간단한 예로는 "d"(0,1) = 1과 "d"(1,0) = 0으로 주어진 전거리가 있는 집합 {0,1}이 있다. 이에 대응하는 위상 공간은 시에르핀스키 공간이다.
확장된 유사준거리를 갖춘 집합은 윌리엄 로베어가 "일반화된 거리 공간"이라는 이름으로 연구한 바 있다. 범주론의 관점에서 보면, 비확장사상(nonexpansive map)이 주어진 확장된 유사거리 공간 및 확장된 유사준거리 공간들은 거리 공간 범주들 중 가장 좋은 성질을 가지는 것들이다. 이러한 범주 안에서는 임의 개수의 곱과 쌍대곱을 취하고 몫대상을 정의할 수 있다. '확장'이라는 조건을 빼면 유한 곱과 유한 쌍대곱만 취할 수 있다. '유사'라는 조건을 빼면 몫대상을 정의할 수 없다. 접근 공간(approach space)은 이런 좋은 범주론적 특성을 유지하는 거리 공간의 일반화이다.
우카시크-카르모프스키 거리.
우카시크-카르모프스키 거리는 두 확률 변수 또는 두 무작위 벡터 사이의 거리를 정의하는 함수이다. 이 함수의 공리는 다음과 같다.
이 거리 함수가 식별불가능자 동일성 원리를 만족할 필요충분조건은 두 인수 "x"와 "y" 모두의 확률밀도함수가 디랙 델타 함수인 것이다.
일반화된 거리의 중요한 예시.
미분기하학의 계량 텐서 개념은 "무한소" 크기의 거리 함수의 제곱으로 생각할 수 있다. 이는 적절한 미분가능성을 가진 다양체의 접공간 위에서 정의된 비퇴화 대칭 쌍선형 형식으로 정의된다. 계량 텐서는 이 문서에서 정의한 거리 함수의 예는 아니지만, 다양체 위의 경로를 따라 계량 텐서의 제곱근을 적분하면 유사반거리 함수가 나온다. 계량 텐서의 내적이 양의 정부호성을 만족하는 경우 이는 리만 다양체가 되며, 경로 적분은 거리 함수를 낳는다.
이와 비슷하게 일반 상대성 이론에서는 준 리만 다양체의 구조를 기술하는 계량 텐서의 개념이 등장한다. 비록 "거리"라는 용어가 쓰이긴 하지만, 이러한 다양체의 접공간에는 영벡터가 아니면서 노름이 0인 벡터가 있고 노름의 제곱이 음수가 될 수도 있기 때문에 근본적인 개념이 다르다. 이처럼 식별불가능자 동일성 원리를 만족하지 않는 경우에도 "거리"(metric)라는 용어를 쓰는 관습이 수학 문헌에도 일부 확산되었다.