기하학에서, '''로비어 또는 '''일반화 거리 공간'''(一般化距離空間, 또는 '''반거리 공간'''(半距離空間, 또는 '''확장 유사 거리 약자 ∞qp-거리 공간 )은 거리 공간 유사 거리 공간 확장 유사 거리 공간의 개념의 일반화이다. 경우와 달리, “거리 함수”가 대칭적이지 못할 있다. == 정의 == '''로비어 공간'''의 개념은 다음과 같이 여러 가지로 정의될 있다. 기초적으로, 일련의 공리를 만족시키는 거리 함수를 갖춘 집합으로 정의될 있다. 일반적인 개념은 '''접근 공간'''()의 특수한 경우로 정의될 있다. 풍성한 범주의 이론을 사용하여, 음이 아닌 확장된 실수의 닫힌 모노이드 범주 위의 풍성한 범주로 정의될 있다. 정의는 서로 동치이다. 그러나 범주론적 정의를 사용하면, 기초적 정의에서 일일이 정의해야 하는 개념들이 범주론적 구성들의 특별한 경우로 자동적으로 얻어진다. === 기초적 정의 === 집합 위의 '''로비어 계량'''()은 다음 조건을 만족시키는, 확장된 실수 함수 이다. (삼각 부등식) 임의의 대하여, d(x,z) 임의의 대하여, 다만, 정의에서 필요는 없다. 조건을 추가로 만족시키는 로비어 공간을 '''확장 유사 거리 공간'''이라고 한다. 만약 값이 항상 추가로 유한하다면 이는 '''유사 거리 공간'''이 된다. 로비어 공간들과 상수 1의 립시츠 연속 함수들, 함수 f\colon (X,d_X)\to (Y,d_Y) 가운데 만족시키는 것들은 구체적 범주를 이룬다. 이를 라고 표기하자. === 접근 구조를 통한 정의 === 집합 위의 '''접근 구조'''(接近構造, 다음 조건을 만족시키는 함수 이다. 접근 구조를 갖춘 집합을 '''접근 공간'''(接近空間, )이라고 하자. 그렇다면, 접근 공간 (X,\delta)에 대하여 다음 조건이 서로 동치이다. 임의의 부분 집합 대하여, 임의의 집합족 대하여, 로비어 계량을 이룬다. 이에 따라, 서로 동치인 조건들을 만족시키는 접근 공간을 '''로비어 공간'''이라고 한다. 다시 말해, 로비어 공간은 접근 구조를 한원소 집합만으로부터 재구성할 있는 접근 공간이다. 반대로, 로비어 공간 주어졌을 때, 위의 접근 구조는 된다. === 범주론적 정의 === 다음과 같은 작은 범주 생각하자. 대상은 음이 아닌 확장된 실수이다. 임의의 대하여, 만약 라면, 하나의 사상 존재한다. 범주는 완비 범주이며, 텐서곱 대하여 닫힌 모노이드 범주를 이룬다. 이에 따라 대한 풍성한 범주의 개념을 정의할 있다. 경우, -풍성한 작은 범주 '''로비어 공간'''이라고 하며, 경우 풍성한 함자의 개념은 상수 1의 립시츠 연속 함수의 개념과 일치한다. 정의 사이의 관계는 다음과 같다. 기초적 정의 범주론적 정의 공간 속의 범주의 대상 거리 함수 사상 집합 삼각 부등식 사상의 합성 스스로와의 거리 항등 사상 === 위상 === 유사 거리 공간의 경우와 달리, 로비어 공간 위에는 다양한 위상이 사용된다. 로비어 공간 위의, 중심 x\in X의, 반지름 r\in(0,\infty의 '''열린 공'''()은 다음과 같다. 열린 공들의 집합족 위상의 기저를 이루며, 이들로 생성되는 위상을 '''일반화 알렉산드로프 위상'''() 또는 '''열린 위상'''()이라고 한다. '''증명:''' 다음 조건을 보이면 족하다. 임의의 대하여 이므로, 열린 공들은 덮개를 이룬다. 임의의 대하여, 정의하면, 삼각 부등식에 의하여 이다. ==== 일반화 스콧 위상 ==== 로비어 공간 속의 점렬 다음 조건을 만족시키면 '''코시 열'''이라고 하자. 여기서 이어야 하는 것에 주의하자. (마찬가지로 반대 개념을 정의할 있다. 즉, 코시 열과 코시 열은 일반적으로 다르다.) 코시 대하여, 만약 이라면, '''수렴'''한다고 하자. 로비어 공간 위의 '''일반화 스콧 위상'''()에서, 부분 집합 열린집합일 필요 충분 조건은 다음과 같다. 임의의 코시 x\in X로 수렴한다면, *: 일반화 스콧 위상은 일반화 알렉산드로프 위상보다 섬세한 위상이며, 사실 이는 일반화 알렉산드로프 위상보다 섬세한 위상들 가운데 코시 열의 (위의 정의에 따른) 극한이 (일반위상수학의 정의에 따른) 극한이 되는 가장 엉성한 위상이다. 만약 확장 유사 거리 공간이라면, 일반화 알렉산드로프 위상과 일반화 스콧 위상은 일반적인 위상과 같다. 만약 원순서 집합이라면 (즉, 치역이 라면), 일반화 알렉산드로프 위상은 알렉산드로프 위상과 같다. == 연산 == === 반대 공간 === 임의의 로비어 공간 대하여, '''반대 로비어 다음과 같이 정의할 있다. 이는 반대 범주의 개념의 특수한 경우이다. === 대칭화 === 로비어 공간 (X,d)에 대하여, 거리 함수를 다음과 같이 가지로 대칭화할 있다. 그렇다면, (X,d^\max)와 확장 유사 거리 공간을 이룬다. 만약 이미 확장 유사 거리 공간이라면 이다. === 상수배 === 로비어 공간 음이 아닌 확장된 실수 대하여, 역시 로비어 공간이다. (만약 경우, 이는 비이산 공간이다. 만약 경우, 으로 정의하며, 이는 원순서 집합이다.) === 로비어 계량의 합성 === 집합 위에 로비어 계량들의 주어졌다고 하자. 그렇다면, 역시 로비어 계량을 이룬다. 이는 사실 항등 함수에 대한 시작 구조의 특수한 경우이다. 마찬가지로, 가산 개의 로비어 계량의 주어졌을 때, 역시 로비어 계량을 이룬다. (특히, 만약 유한 집합이라면, 평균 계량 역시 로비어 계량이다.) === 주어진 함수를 상계로 하는 최대 로비어 계량 === 임의의 집합 임의의 함수 주어졌다고 하자. 그렇다면, 함수 집합 만족시키는 로비어 계량 들의 집합이라고 하자. (이 로비어 계량이므로, 이는 항상 공집합이 아니다.) 그렇다면, 이는 최대 원소 가지며, 이는 상계로 하는 최대의 로비어 계량이다. 구체적으로, 임의의 집합 함수 주어졌을 때, 다음을 정의하자. 그렇다면, 의하여 생성되는 로비어 계량은 다음과 같다. === 몫공간 === 로비어 공간 대하여 다음과 같은 동치 관계를 정의할 있다. 이에 대하여 몫집합 위에 자연스럽게 로비어 공간의 구조를 부여할 있다. 만약 유사 거리 공간이라면, 거리 공간을 이룬다. 마찬가지로, 로비어 공간 대하여 다음과 같은 동치 관계를 정의할 있다. 이에 대한 몫집합 대략 “연결 성분”들의 집합으로 생각할 있다. X/\sim_\infty 위에는 자연스럽게 원순서 취할 있다. 만약 원순서 집합이라면, === 분리합 === 임의의 로비어 공간들의 (유한 또는 무한) '''분리합'''()은 집합으로서 분리합집합 이다. 위의 로비어 계량은 다음과 같다. 연산은 로비어 공간의 범주 범주론적 쌍대곱을 이룬다. === === 임의의 로비어 공간들의 (유한 또는 무한) '''곱'''은 집합으로서 곱집합 이며, 위의 로비어 계량은 다음과 같다. 연산은 로비어 공간의 범주 범주론적 곱을 이룬다. === 시작 계량과 계량 === 로비어 공간의 범주의 망각 함자 위상 함자이므로, 시작 구조와 구조를 정의할 있다. 구체적으로, 임의의 집합 로비어 공간들의 함수의 주어졌을 때, 유도되는, 위의 '''시작 로비어 계량'''()은 다음과 같다. 마찬가지로, 임의의 집합 로비어 공간들의 함수의 주어졌을 때, 유도되는, 위의 '''끝 로비어 계량'''()은 함수 상계로 하는 최대 로비어 계량이다. == 성질 == === 함의 관계 === 다음과 같은 함의 관계가 성립한다. :길이 거리 공간 거리 공간 유사 거리 공간 확장 유사 거리 공간 로비어 공간 === 범주론적 성질 === 로비어 공간의 범주 주어졌을 때, 망각 함자 위상 함자이다. 특히, 만약 집합 위의 임의의 함수족 주어졌으며 들이 모두 로비어 공간의 구조를 가진다면, 이로부터 '''시작 로비어 계량'''()을 정의할 있다. 이는 위상 공간의 시작 위상과 유사하다. 마찬가지로, 집합 가는 임의의 함수족 주어졌으며 들이 모두 로비어 공간의 구조를 가진다면, 이로부터 '''끝 로비어 계량'''()을 항상 정의할 있다. 이는 위상 공간의 위상과 유사하다. 또한, 위상 공간과 연속 함수의 범주로 가는 망각 함자 존재하며, 이는 로비어 공간에 열린 위상을 대응시킨다. === 위상 공간의 로비어 계량을 통한 표현 === 임의의 위상은 일련의 로비어 계량들로 표현될 있다. 구체적으로, 임의의 위상 공간 대하여, 다음 조건을 만족시키는, 위의 로비어 계량들의 집합 존재한다. 항등 함수 들에 의하여 생성되는 시작 위상이다. (여기서 로비어 공간 에는 열린 위상을 부여한다.) 이다. '''구성:''' 위상 공간 임의의 열린집합 대하여, 다음을 정의하자. 이는 로비어 계량을 이루며, 로비어 계량으로 생성되는 위상은 한원소 집합 기저로 하는 위상, 이다. 이에 따라, 로비어 계량들의 집합 조건을 자명하게 만족시킨다. == 역사와 어원 == 프랜시스 윌리엄 로비어가 도입하였다. 개념은 거리 공간의 개념을 일반화하는데, 이에 대하여 로비어는 다음과 같이 적었다. 즉, 로비어 공간의 개념에서, "거리" 사실 어떤 "상태" 또는 "위치" 에서 전이하는 드는 "에너지" 또는 "비용"이라고 여길 있다. 경우 로비어 공간의 공리들은 다음과 같이 해석된다. 에서 이동하는 드는 비용은 경로를 같이 분해했을 x\to 비용과 비용의 합보다 같거나 적다. (예를 들어, 만약 거치지 않는 지름길이 있을 경우 부등식이 성립한다.) 상태 에서, 이동하지 않는 드는 비용은 0이다. 즉, 이다. 상태 에서 이동할 있을 필요는 없다. 만약 전이가 불가능하다면 이다. 간혹 사용되는 용어 ‘확장 유사 거리 공간’()에서, 성분은 고전적 거리 공간의 개념의 다음과 같은 일반화를 의미한다. 확장(擴張, ): 계량 함수의 값이 ∞일 있음을 뜻한다. 준(準, ): 계량 함수가 대칭적이지 못할 있음을 뜻한다. 즉, 있다. 유사(類似, ): 계량 함수가 분리공리를 만족시키지 못할 있음을 뜻한다. 즉, 이지만 있다. == == 모든 확장 유사 거리 공간은 로비어 공간이다. === 시작 대상과 대상 === 공집합 위에는 유일한 (자명한) 로비어 계량이 존재한다. 이는 로비어 공간의 범주의 시작 대상이다. 한원소 공간 \{\bullet\} 위에는 유일한 (자명한) 로비어 계량()이 존재한다. 이는 로비어 공간의 범주의 대상이다. === 원순서 집합 === 임의의 원순서 집합 (X,\lesssim)에 대하여, 다음과 같은 거리 함수를 주자. 그렇다면 로비어 공간을 이룬다. == 참고 문헌 == == 외부 링크 == 분류:계량기하학