목차
112 처지: C* 대수, CAT, CAT(κ) 공간, 덮개 (위상수학), 도메인 이론, 동등 연속 함수족, 동역학계, 로비어 공간, 르베그 공간, 르베그 수, 리만 다양체, 립시츠 연속 함수, 맨해튼 거리, 멱급수, 모리스 르네 프레셰, 무어 공간, 반사 부분 범주, 바나흐 고정점 정리, 바나흐 공간, 거리, 거리화 가능 공간, 베르 공간, 결합 도식, 고유 함수, 곱위상, 보흐너 적분, 볼차노-바이어슈트라스 정리, 공 (수학), 공간, 균등 공간, 균등 유계 함수족, 균등 수렴 위상, 균등 연속 함수, 균등수렴, 근방 필터, 기저 (위상수학), 길이, 길이 거리 공간, 블록 부호, 구간, 두 점 사이의 거리, 등거리변환, 노름 공간, 단위구, F-공간, 스펙트럼 (함수해석학), 힐베르트 공간, 작용소 노름, 크리스토피데스 알고리즘, 폐포 (위상수학), ... 색인을 확장하십시오 (62 더) »
C* 대수
수해석학에서, C* 대수(시스타 대수)는 대합 대수와 복소수 바나흐 대수의 구조를 서로 호환되게 갖춘 수학 구조이.
보다 거리 공간와 C* 대수
CAT
CAT, Cat, cat 는 다음과 같은 뜻이 있.
보다 거리 공간와 CAT
CAT(κ) 공간
학에서, CAT(κ) 공간(-空間)은 단면 곡률이 어디서나 \kappa 이하인 거리 공간이.
덮개 (위상수학)
수학에서, 덮개()는 합집합이 전체 집합인 부분 집합들의 집합족이.
도메인 이론
메인 이론()은 수학에서 특별한 종류의 일반적으로 도메인이라 불리는 부분순서에 대하여 연구하는 분야이.
동등 연속 함수족
석학에서, 동등 연속 함수족(同等連續函數族)은 정의역의 값이 작게 변화하면, 치역의 값이 함수족의 모든 원소에 대하여 같은 유계를 가질 정도로 작게 변화하는 함수족이.
동역학계
로렌즈 끌개(Lorenz attractor) 동역학계(動力學系, dynamical system)는 수학 또는 물리학의 한 분야로서 시간에 따른 움직임의 과정으로 정의.
보다 거리 공간와 동역학계
로비어 공간
학에서, 로비어 공간(Lawvere空間) 또는 일반화 거리 공간(一般化距離空間) 또는 반거리 공간(半距離空間) 또는 확장 준 유사 거리 공간(擴張準類似距離空間,, 약자 ∞qp-거리 공간)은 거리 공간 및 유사 거리 공간 및 확장 유사 거리 공간의 개념의 일반화이.
르베그 공간
수해석학에서, 르베그 공간(Lebesgue空間) 또는 Lp 공간()은 절댓값의 p승이 르베그 적분 가능한 가측 함수들의 동치류들로 구성된 노름 공간이.
르베그 수
위상수학에서, 거리 공간의 열린 덮개의 르베그 수(Lebesgue數)는 열린 덮개의 섬세함을 측정하는 수이.
보다 거리 공간와 르베그 수
리만 다양체
미분기하학에서, 리만 다양체(Riemann多樣體)는 각 점의 접공간 위에 양의 정부호 쌍선형 형식이 주어져, 두 점 사이의 거리를 측정할 수 있는 매끄러운 다양체이.
립시츠 연속 함수
석학에서, 립시츠 연속 함수()는 두 점 사이의 거리를 일정 비 이상으로 증가시키지 않는 함수이.
맨해튼 거리
맨해튼 거리와 유클리드 거리의 비교: 빨간색, 파란색, 노란색 선은 길이가 12로 같으며, 유클리드 거리와 맨해튼 거리 양쪽 모두 가지고 있다. 유클리드 기하학의 경우 초록색 선의 길이는 6×√2 ≈ 8.48로, 선들 가운데 유일하게 길이가 가장 짧으며, 맨해튼 거리의 경우 파란색 선의 길이는 12로, 이보다 길이가 더 짧은 선은 없다.
멱급수
석학에서, 멱급수(冪級數) 또는 거듭제곱 급수(-級數)는 중심이 같은 일련의 멱함수를 항으로 갖는 급수이.
보다 거리 공간와 멱급수
모리스 르네 프레셰
모리스 르네 프레셰(1878 ~ 1973)는 프랑스의 수학자이.
무어 공간
일반위상수학에서, 무어 공간(Moore空間)은 거리화 가능 공간과 유사한 성질을 갖는 위상 공간이.
보다 거리 공간와 무어 공간
반사 부분 범주
범주론에서, 반사 부분 범주(反射部分範疇)는 어떤 범주의 부분 범주에 대하여, 범주의 일반적 원소를 "표준적으로" 부분 범주에 속하도록 "완성할" 수 있는 성질을 갖는 충만한 부분 범주이.
바나흐 고정점 정리
수학에서 바나흐 고정점 정리(-不動點定理, Banach fixed-point theorem) 또는 축약사상정리(縮約寫像定理, contraction mapping theorem)는 거리공간에 관한 정리이.
바나흐 공간
수해석학에서, 바나흐 공간(Banach空間)은 완비 노름 공간이.
거리
리(距離)는 어떤 사물이나 장소가 공간적으로 얼마나 멀리 떨어져 있는가를 수치로 나타낸 것이.
보다 거리 공간와 거리
거리화 가능 공간
일반위상수학에서, 거리화 가능 공간(距離化可能空間)은 어떤 거리 공간과 위상동형인 위상 공간이.
베르 공간
일반위상수학에서, 베르 공간(Baire空間)은 가산 개의 조밀 열린집합들의 교집합이 조밀할 수 있도록, ‘충분한 수의’ 점들을 갖는 위상 공간이.
보다 거리 공간와 베르 공간
결합 도식
조합론에서, 결합 도식(結合圖式) 또는 일관 구조(一貫構造)는 어떤 특별한 조건을 만족시키는 일련의 이항 관계들이 주어진 유한 집합이며, 변 색칠이 주어진 완전 그래프로도 간주될 수 있. 주어진 결합 도식으로부터 그 구조를 나타내는 결합 대수인 보스-메스너 대수(बसु-Mesner代數)가 존재.
보다 거리 공간와 결합 도식
고유 함수
일반위상수학에서, 고유 함수(固有函數)은 콤팩트 집합의 원상이 콤팩트한 연속 함수이.
보다 거리 공간와 고유 함수
곱위상
일반위상수학에서, 곱위상(-位相)은 위상 공간들의 곱집합에 표준적으로 부여되는 위상이.
보다 거리 공간와 곱위상
보흐너 적분
수해석학에서, 보흐너 적분(Bochner積分)은 바나흐 공간 값의 함수에 대하여 정의되는, 르베그 적분의 일반화이.
볼차노-바이어슈트라스 정리
석학과 일반위상수학에서, 볼차노-바이어슈트라스 정리(Bolzano-Weierstraß定理)는 유클리드 공간에서 유계 닫힌집합과 점렬 콤팩트 공간의 개념이 일치한다는 정리이.
공 (수학)
공은 구의 내부이다. 수학에서, 공()은 일종의 구의 안쪽을 뜻. 공의 개념은 3차원 유클리드 공간뿐만 아니라, 유클리드 공간 · 거리 공간 · 위상 공간으로 확장.
공간
공간(空間)은 어떤 물질 또는 물체가 존재할 수 있거나 어떤 일이 일어날 수 있는 장소이.
보다 거리 공간와 공간
균등 공간
일반위상수학에서, 균등 공간(均等空間)은 두 점이 서로 "가까운지" 여부가 주어진 집합이.
보다 거리 공간와 균등 공간
균등 유계 함수족
실해석학에서, 균등 유계 함수족(均等有界函數族)은 동일한 상계·하계에 의하여 유계 함수가 되는 함수족이.
균등 수렴 위상
석학에서, 균등 수렴 위상(均等收斂位相)은 일반위상수학적인 극한이 균등 수렴과 일치하게 하는, 함수 공간 위의 위상이.
균등 연속 함수
수학에서, 균등 연속 함수(均等連續)는 두 균등 공간 사이의, 균등 공간의 구조와 호환되는 함수이.
균등수렴
석학에서, 균등수렴(均等收斂, uniformly convergent)하는 함수열은, 주어진 함수로 일제히 '동일한 속도'로 수렴하는 함수열이.
보다 거리 공간와 균등수렴
근방 필터
일반위상수학에서, 근방 필터(近傍filter)는 주어진 점의 모든 근방들로 구성된 필터이.
보다 거리 공간와 근방 필터
기저 (위상수학)
일반위상수학에서, 위상 공간의 기저(基底)는 모든 열린집합을 합집합을 통해 생성할 수 있는 열린집합들이.
길이
thumb 길이()는 물체의 한 끝에서 다른 끝까지의 공간적 거리이.
보다 거리 공간와 길이
길이 거리 공간
리 공간 이론에서, 길이 거리 공간(-距離空間)은 두 점 사이의 거리가 두 점을 잇는 곡선들의 길이들의 하한으로 주어지는 거리 공간이.
블록 부호
수학과 컴퓨터 과학에서, 블록 부호(block符號)는 데이터를 중복해서 “블록”으로 부호화하되, 각 비트 또는 블록의 성분이 전송 과정에서 노이즈를 겪어 바뀌는 것을 일부 경우 교정할 수 있게 하는 부호화 체계이.
보다 거리 공간와 블록 부호
구간
수학에서, 구간(區間)은 주어진 두 실수 (또는 무한대) 사이의 모든 실수의 집합이.
보다 거리 공간와 구간
두 점 사이의 거리
right 기하학에서, 두 점 사이의 거리는 좌표평면에서 임의의 두 점 P(x_1, y_1), Q(x_2, y_2)을 예약하고, \begin l^2 &.
등거리변환
수학에서, 등거리 변환(等距離變換) 또는 등거리 사상(等距離寫像) 또는 등장 사상(等長寫像)은 거리를 보존하는 거리 공간 사이 함수.
보다 거리 공간와 등거리변환
노름 공간
선형대수학 및 함수해석학에서, 노름 공간(norm空間)은 원소들에 일종의 ‘길이’ 또는 ‘크기’가 부여된 벡터 공간이.
보다 거리 공간와 노름 공간
단위구
_2은 아래의 첫 번째 부분에서 이야기되는 유클리드 공간의 노름이다. 수학에서, 단위구는 고정된 중심점으로부터의 거리가 1인 점들의 집합이.
보다 거리 공간와 단위구
F-공간
수해석학에서, F-공간은 다음을 만족하는 실수또는 복소수가 같이 있는 거리 함수d: V × V → R을 가지는 벡터 공간 V이.
보다 거리 공간와 F-공간
스펙트럼 (함수해석학)
수해석학에서, 유계 작용소 또는 바나흐 대수의 원소의 스펙트럼()은 그 고윳값의 집합을 일반화한 개념이.
힐베르트 공간
수해석학에서, 힐베르트 공간(Hilbert空間)은 모든 코시 열의 극한이 존재하는 내적 공간이.
작용소 노름
수해석학에서, 작용소 노름(作用素norm)은 두 노름 공간 사이의 유계 작용소에 대하여 정의되는 노름이.
크리스토피데스 알고리즘
리스토피데스 알고리즘은 거리 공간 외판원 문제에서 근사해를 구하는 알고리즘이.
폐포 (위상수학)
위상수학에서, 어떤 위상 공간의 부분 집합의 폐포(閉包)는 그 집합을 포함하는 가장 작은 닫힌집합이.
이산 공간
일반위상수학에서, 이산 공간(離散空間)은 모든 부분집합이 열린집합인 위상 공간이.
보다 거리 공간와 이산 공간
일반위상수학
일반위상수학(一般位相數學) 또는 점-집합 위상수학(點集合位相數學)은 위상 공간을 일반적으로 그것을 정의하는 집합론적 공리만으로 다루는 위상수학의 한 분과이.
점렬 콤팩트 공간
점렬 콤팩트 공간(點列 compact 空間)은 모든 점렬이 수렴하는 부분 점렬을 갖는 위상 공간이.
점마다 수렴
수학에서 점마다 수렴(), 또는 점별수렴(點別收斂)하는 함수열은, 모든 점에서 각각 수렴하는 함수열이.
절댓값
수학에서, 절댓값(絶對-)은 실수가 실수선의 원점과, 복소수가 복소평면의 원점과 떨어진 거리를 나타내는 음이 아닌 실수이.
보다 거리 공간와 절댓값
절댓값 (대수학)
수학 및 대수적 수론에서, 절댓값(絶對값)은 정역의 원소의 크기를 측정하는 실수 함수이.
절대수렴
수학에서, 무한급수의 항들의 절댓값들을 구하여 이의 합이 수렴할 때, 이 무한급수가 절대수렴(絶對收斂, 영어: absolute convergence).
보다 거리 공간와 절대수렴
정규 공간
일반위상수학에서, 정규 공간(正規空間)은 서로소 닫힌집합들을 서로소 근방 또는 연속 실함수로 분리할 수 있는 위상 공간이.
보다 거리 공간와 정규 공간
종순 바나흐 대수
수해석학에서, 종순 바나흐 대수(從順Banach代數)는 1차 유계 호흐실트 호몰로지가 자명군인 바나흐 대수이.
중심화 부분 모노이드
상대수학에서, 중심화 부분 모노이드(中心化部分monoid)는 어떤 모노이드의 부분 집합과 가환하는 모든 원소로 구성된 부분 모노이드이.
준등거리사상
수학에서, 준등거리사상(), 준등거리동형사상, 준등거리변환, 준거리동형사상 혹은 준등장사상은 거리 공간의 일정한 집합 위에 줄 수 있는 동치관계로서, 엉성한 구조(coarse structure)를 탐구하기 위해 일반적인 등거리사상에서 약간의 세부사항을 무시하는 것이.
직선
직교 좌표 평면 위의 직선(일차 함수)의 예. 빨간 직선과 파란 직선은 기울기가 같고, 빨간 직선과 초록 직선은 ''y''절편이 같다. 기하학에서, 직선(直線)은 곧게 뻗은 선을 추상화한 개념이.
보다 거리 공간와 직선
지름
원의 둘레 지름은 원 또는 구의 중심을 지나가는 직선으로 반지름의 두 배이.
보다 거리 공간와 지름
지지집합
수학에서, 함수의 지지집합(支持集合) 또는 받침은 그 함수가 0이 아닌 점들의 집합의 폐포이.
보다 거리 공간와 지지집합
초거리 공간
수학에서, 초거리 공간(超距離空間)은 삼각 부등식보다 더 강한 부등식을 만족시키는 거리 공간이.
초공간
공간(超空間)은 초대칭 전하를 운동량과 동등하게 다루기 위하여, 시공에 초대칭 전하를 생성하는 반가환 스피너 좌표를 추가하여 얻는 공간이.
보다 거리 공간와 초공간
축소구간정리
축소하는 닫힌구간들의 열 수학에서, 축소구간열(縮小區間列, sequence of nested intervals)은 각 구간이 바로 앞 구간의 부분 집합인 구간들의 열이.
축약
축약(縮約)은 다음과 같은 뜻을 갖.
보다 거리 공간와 축약
축약사상
수학에서 축약사상(縮約寫像) 또는 축소사상(縮小寫像)은 거리 공간 사이에 정의된, 두 점 사이의 거리를 일정 비율 이하로 축소시키는 함수이.
보다 거리 공간와 축약사상
측도
수학에서, 측도(測度)는 특정 부분 집합에 대해 일종의 ‘크기’를 부여하며, 그 크기를 가산개로 쪼개어 계산할 수 있게 하는 함수이.
보다 거리 공간와 측도
측지선
측지선(測地線, geodesic) 또는 지름길이란 직선의 개념을 굽은 공간으로 일반화한 것이.
보다 거리 공간와 측지선
측지선 완비 준 리만 다양체
리만 기하학에서, 측지선 완비 준 리만 다양체(測地線完備準Riemann多樣體)는 그 측지선들이 중간에 임의로 끊기지 않는 준 리만 다양체이.
콤팩트 작용소
수해석학에서, 콤팩트 작용소(compact作用素)는 유계 집합의 상이 상대 콤팩트 부분공간인 바나흐 공간 사이의 선형 변환이.
콤팩트-열린집합 위상
일반위상수학에서, 콤팩트-열린집합 위상(compact-열린集合位相)은 연속 함수의 공간 위에 정의될 수 있는 위상의 하나이.
콕서터 길이 함수
에서, 콕서터 길이 함수(Coxeter길이函數)는 콕서터 군 위에 정의된 자연수 값의 함수이며, 해당 군 원소를 나타내기 위한 단순 반사의 수이.
쿨백-라이블러 발산
백-라이블러 발산(Kullback–Leibler divergence, KLD)은 두 확률분포의 차이를 계산하는 데에 사용하는 함수로, 어떤 이상적인 분포에 대해, 그 분포를 근사하는 다른 분포를 사용해 샘플링을 한다면 발생할 수 있는 정보 엔트로피 차이를 계산.
유계 작용소
수해석학에서, 유계 작용소(有界作用素)는 유계 집합을 항상 유계 집합에 대응시키는, 두 위상 벡터 공간 사이의 선형 변환이.
유계 집합
위의 집합은 유계집합이지만, 아래는 유계가 아닌 집합 수학에서, 유계 집합(有界集合)은 유한한 영역을 가지는 집합이.
보다 거리 공간와 유계 집합
유계형 집합
수학에서, 유계형 집합(有界型集合)은 유계 부분 집합들의 집합족이 명시된 집합이.
유니터리 표현
현론에서, 유니터리 표현(unitary表現)은 모든 군 원소의 상이 어떤 복소수 힐베르트 공간 위의 유니터리 작용소를 이루는 군 표현이.
유사 거리 공간
학에서, 유사 거리 공간(類似距離空間)은 임의의 두 점 사이의 거리를 잴 수 있지만, 서로 다른 두 점 사이의 거리가 0이 될 수 있는 기하학적 공간이.
파라콤팩트 공간
일반위상수학에서, 파라콤팩트 공간(paracompact空間)은 단위 분할의 존재를 증명하기 위하여 필요한, 콤팩트 공간의 개념의 일반화이.
융의 정리
학에서, 융의 정리(Jung's Theorem)는 독일의 수학자 하인리히 융(Heinrich Jung)이 1901년에 처음 증명한 정리이.
보다 거리 공간와 융의 정리
위상 공간 (수학)
일반위상수학에서, 위상 공간(位相空間)은 어떤 점의 근처(근방)가 무엇인지에 대한 정보를 담고 있지만, 점 사이의 거리나 넓이·부피 따위의 정보를 포함하지 않는 공간이.
위상동형사상
넛 모양으로 만들 수 있으며, 따라서 두 공간은 위상동형이다. 그러나, 이와 같은 방식으로 변형시킬 수 없으면서도 위상동형인 공간들도 있다. 위상수학에서 위상 동형 사상(位相同型寫像)은 위상적 성질(topological property)을 보존하는 동형 사상이.
상태 (함수해석학)
C* 대수 이론에서, 상태(狀態)는 C* 대수 위에 정의된, 특정한 부등식을 만족시키는, 작용소 노름 1의 복소수 값 유계 작용소이.
수렴 수열 공간
수해석학에서, 수렴 수열 공간(收斂數列空間)은 어떤 값으로 수렴하는 수열들로 구성된 바나흐 공간이.
수축량
이 원환면 위에서, 수축 불가능 폐곡선 가운데 길이가 최소인 것은 붉게 표시된 폐곡선이며, 그 길이는 이 원환면이 수축량이다. 기하학에서, 수축량(收縮量)은 어떤 거리 공간에서, 상수 함수와 호모토픽하지 않는 폐곡선의 최소 길이이.
보다 거리 공간와 수축량
수열의 극한
접 ''n''각형의 둘레의 수열의 극한 역시 이와 같다. 해석학에서, 수열의 극한(極限)은 수열이 한없이 가까워지는 값이.
수학 기호
수학 기호는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용.
보다 거리 공간와 수학 기호
예고로프의 정리
측도론에서, 예고로프의 정리(Егоров의定理)는 가측 함수에 대하여, 점별 수렴과 균등 수렴이 거의 일치한다는 정리이.
최근접 점쌍 문제
접 점쌍이 빨간색으로 표시되어있다. 최근접 점쌍 문제 (closest pair problem) 는 계산기하학의 문제로서, 거리 공간상에 n 개의 점이 주어졌을 때, 사이의 거리가 가장 짧은 두 점을 찾아내는 문제이.
엡실론-델타 논법
석학에서, 엡실론-델타 논법(έψιλον-δέλτα論法)은 함수의 극한을 수학적으로 명확하게 정의하는 방법이.
연속 쌍대 공간
수해석학에서, 연속 쌍대 공간(連續雙對空間)은 주어진 위상 벡터 공간 위의 연속 선형 범함수들로 구성된 벡터 공간이.
연속 함수
위상수학과 해석학에서, 연속 함수(連續函數)는 정의역의 점의 "작은 변화"에 대하여, 치역의 값 역시 작게 변화하는 함수이.
보다 거리 공간와 연속 함수
열린집합
부, 즉 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 즉 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, 열린집합(-集合) 또는 개집합(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이.
보다 거리 공간와 열린집합
삼각 부등식
삼각 부등식(三角不等式)은 삼각형의 세 변에 대한 부등식으로, 임의의 삼각형의 두 변의 길이의 합은 나머지 한 변의 길이보다 크다는 것이.
프레셰 공간
수해석학에서, 프레셰 공간(Fréchet空間)은 일련의 반노름들로 위상을 정의할 수 있는 위상 벡터 공간이.
선형 부호
학과 조합론에서, 선형 부호(線型符號)는 알파벳이 유한체이며, 부호화 함수가 유한체 위의 선형 변환인 블록 부호이.
보다 거리 공간와 선형 부호
함수의 극한
석학에서, 함수의 극한()은 독립 변수가 일정한 값에 한없이 가까워질 때, 함수의 값이 한없이 가까워지는 값이.
해밍 거리
블록 부호 이론에서, 해밍 거리(Hamming距離)는 곱집합 위에 정의되는 거리 함수이.
보다 거리 공간와 해밍 거리
해석학 (수학)
석학(解析學)은 미적분학을 엄밀하게 형식화하는 것을 목적으로 시작된 수학의 한 분야로, 수열이나 함수의 극한 및 무한급수, 미분, 적분, 측도 및 해석함수 등의 개념을.
하우스도르프 차원
이트브리튼 섬 해안선의 하우스도르프 차원의 근사값을 구하는 방법. 기하학에서, 하우스도르프 차원()은 거리 공간의 부분집합의 차원을 자연수에서 음이 아닌 실수로 확장한 것이.
하우스도르프 측도
측도론에서, 하우스도르프 측도()는 임의의 거리 공간에 d차원 "부피"를 부여하는 방법이.
하와이 귀고리
와이 귀고리 일반위상수학에서, 하와이 귀고리(Hawaiʻi-)는 여러 특이한 성질들을 보이는 위상 공간이.
실수
실수을 수직선으로 나타낸 것 수학에서, 실수(實數)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이.
보다 거리 공간와 실수
실수의 구성
수학에서 실수 체계를 정의하는 방법은 다양.
시공간
시공간(時空間, spacetime) 혹은 시공(時空)이란 3차원 공간과 1차원 시간을 하나의 구조로 묶은 4차원 모델로, 상대성이론에서 중요하게 사용되는 개념이.
보다 거리 공간와 시공간
완비 거리 공간
학에서, 완비 거리 공간(完備距離空間)은 그 안이나 경계에 "빠진 점"이 없는 거리 공간이.
완비 균등 공간
일반위상수학에서, 완비 균등 공간(完備均等空間)은 그 속에 "있어야 하지만 없는 점"이 없는 균등 공간이.
완전 유계 공간
석학에서, 완전 유계 공간(完全有界空間) 또는 프리콤팩트 공간()은 임의적으로 "작은" 집합들로 구성된 유한 덮개를 갖는 공간이.
P진수
수론에서, p진수(p進數, p-adic number)는 유리수의 체를 마치 어떤 소수 p에 대한 로랑 급수처럼 해석하여 완비시켜 얻는 체이.
보다 거리 공간와 P진수
또한 거리 공간의 지름, 거리공간로 알려져 있다.