리만 기하학 용어집
Glossary of Riemannian and metric geometry이것은 리만 기하학 및 미터법 기하학에서 사용되는 일부 용어의 용어집입니다. 미분 토폴로지의 용어는 다루지 않습니다.
다음 기사도 유용할 수 있습니다. 전문 용어를 포함하거나 아래에 제시된 정의에 대한 자세한 설명을 제공합니다.
다음 항목도 참조하십시오.
달리 명시되지 않은 한 아래의 문자 X, Y, Z는 미터법 공간을, M, N은 리만 다양체, xy X _는 X에서 점 x와 y 사이의 거리를 나타냅니다.이탤릭체는 이 용어집에 대한 자기 참조를 나타냅니다.
주의: 볼록함수, 볼록 집합 등 리만과 미터법의 많은 용어는 일반적인 수학 용법과 정확히 같은 의미를 가지고 있지 않습니다.
A
알렉산드로프 공간 상한, 하한 또는 적분 곡률 한계를 갖는 리만 다양체의 일반화(마지막은 차원 2에서만 작동)
호상등축은 경로등축과 동일하다.
자동평행은 완전히 측지선과 동일합니다.
B
바리센터, 질량 중심을 봐.
바이 립시츠 지도f : (\ f Y는 X의 임의의 x와 y에 대해 양의 상수 c와 C가 있는 경우 bi-Lipschitz라고 한다.
부세만 함수는 광선 θ : [0, θ)→X가 주어졌을 때 다음과 같이 정의된다.
C
Cartan–Hadamard 정리 발언은non-positive 지방적 곡선으로 연결된, 단순히 연결되어 완전한 리만 다양체 Rn에 기하 급수적인 지도를 통해diffeomorphic, 미터 공간을 이 성명이non-positive 곡선으로 알렉산드 로프의 측면에서 연결된, 단순히 연결되어 완전한 측지 계량 공간은 a (글로벌) CAT(0) 공간.
카르탄은 리만 기하학 대신 리만-카르탄 기하학을 사용하여 아인슈타인의 일반 상대성을 아인슈타인-카르탄 이론으로 확장했다.이 확장은 비대칭 곡률 텐서와 스핀-오빗 커플링을 통합할 수 있는 아핀 비틀림을 제공합니다.
질량 중심점 q µ M은 함수의 전역 최소점일 경우 점 , , { 의 질량 중심이라고 불립니다.
이러한 점은 모든 j가 볼록 반지름보다 작을 경우 고유하다.
등각 지도는 각도를 보존하는 지도입니다.
국소적으로 유클리드 공간과 등가라면 등가 평탄한 M은 등가 평탄하다. 예를 들어 표준구는 등가 평탄하다.
{ } 위의 2개의 점 p와 q는 { }의 야코비 필드가 p와 q에 0이 있는 경우 켤레라고 합니다.
볼록 함수리만 다양체의 함수 f는 측지학 {\에 대해 f{\ f가 볼록한 경우 볼록하다.함수 f는 자연 t t를 갖는 측지학에 대해 함수 ft - { f t가 볼록한 경우, 함수 는 볼록하다.
볼록 리만 다양체 M의 부분 집합 K는 K에 있는 두 점을 연결하는 최단 경로가 K에 있는 경우 볼록이라고 한다. 완전 볼록도 참조한다.
D
미터법 공간의 지름은 점 쌍 사이의 거리의 최상이다.
메트릭 공간 간의 맵 확장은 지정된 맵이 L-Lipschitz가 되도록 번호 L의 최소값입니다.
E
지수 지도: 지수 지도(거짓말 이론), 지수 지도(리만 기하학)
F
매립 또는 침하를 위한 첫 번째 기본 형태는 미터법 텐서의 풀백이다.
G
지오데식 흐름은 궤적이 ( () , ()\ ( \ () ) \ ' ( ) )형인 벡터장에 의해 생성되는 매니폴드 M의 접선다발 TM 위의 흐름이다. 서 \ \는 지오데식이다.
측지선 메트릭 공간은 임의의 두 점이 최소 측지선의 끝점이 되는 메트릭 공간입니다.
H
아다마르 공간은 양의 곡률이 아닌 완전히 단순하게 연결된 공간입니다.
부세만 함수의 수평 집합인 호로스피어.
I
주입 반지름 리만 다양체의 점 p에서의 주입 반지름은 p에서의 지수 맵이 미분 동형인 가장 큰 반지름입니다.리만 다양체의 주입 반지름은 모든 점에서 주입 반지름의 최소값이다.절단 궤적을 참조하십시오.
완전한 다양체의 경우, p에서의 주입 반지름이 유한수 r이면 p에서 시작하고 끝나는 길이 2r의 측지선이 존재하거나 p에 공역하는 점 q(위의 공역점 참조) 및 p로부터의 거리 r이 존재한다.닫힌 리만 다양체의 경우 주입 반지름은 닫힌 측지선의 최소 길이의 절반 또는 측지선의 공역점 사이의 최소 거리이다.
Infranilmanifold 왼쪽 곱셈에 의해 스스로 작용하는 단순접속 nilpotent Lie 군 N과 N의 유한한 자기동형군 F가 주어지면 N에 대한 NF \ NF의 작용을 정의할 수 있다.N에 자유자재로 작용하는 NF {\ N F의 이산 서브그룹에 의한 N의 궤도공간을 인프라닐매니폴드라고 한다.인프라닐매니폴드는 완전히 제로매니폴드로 덮여있다.
등각도는 거리를 보존하는 지도입니다.
J
Jacobi 필드 A Jacobi 필드는 다음과 같은 방법으로 얻을 수 있는 측지선 θ 위의 벡터 필드이다. = 0 ( \ style \ style{ 0 } = \ parameter parameter1 파라미터 패밀리의 매끄러운 패밀리를 취하면 Jacobi 필드는 다음과 같이 설명됩니다.
K
L
길이 메트릭은 고유 메트릭과 동일합니다.
Levi-Civita 연결은 리만 다양체의 벡터장을 구별하는 자연스러운 방법입니다.
Lipschitz는 Lipschitz 메트릭에 의해 정의된 컨버전스를 컨버전스합니다.
메트릭 공간 사이의 립시츠 거리는 상수 exp(-r), exp(r)를 가진 이러한 공간 사이에 바이젝티브 바이 립시츠 맵이 존재하도록 숫자 r의 최소값이다.
로그 지도는 지수 지도의 오른쪽 역이다.
M
미터법 볼
최소 표면은 (벡터가) 평균 곡률 0인 서브매니폴드입니다.
N
자연 파라미터화는 길이에 따른 파라미터화입니다.
Net. 미터법 공간 X의 서브셋 S는 X의 어느 점에서도 거리에 S의 점이 있는 경우 θ\epsilon라고 불리며, 이는 한계를 일반화하는 위상 그물과는 다르다.
Nilmanifold:점을 포함하는 최소 매니폴드 세트의 요소로서, nilmanifold에 대한 방향 S -bundle은 nilmanifold이다.격자에 의해 연결된 nilpotent Lie 그룹의 인자로 정의할 수도 있습니다.
노멀 번들: 주변 유클리드 (\에 매니폴드 M을 삽입하는 것과 관련된 노멀 번들은 각 점 p가 접선 PYL의 직교 보체(\display\인 벡터 번들입니다. T_ 입니다.
쇼트 맵과 동일한 맵 확장 없음
P
다면체 공간은 유도 메트릭을 가진 각 심플렉스가 유클리드 공간에서 심플렉스와 등각되도록 메트릭을 가진 단순 복합체이다.
주 곡률은 표면의 한 점에서 최대 및 최소 정규 곡률입니다.
주방향은 주곡선의 방향이다.
적절한 미터법 공간은 닫힌 모든 공이 콤팩트한 미터법 공간입니다.마찬가지로 모든 닫힌 경계 부분 집합이 압축된 경우.모든 적절한 메트릭 공간이 완성됩니다.
Q
준지오데식에는 두 가지 의미가 있습니다.여기서 우리는 가장 일반적인 의미를 부여합니다.f : \ f :서 I I 은 서브세그먼트)는 x x, x, x, x, x, x, x, x, x, x, x , x, x x, x, x, x, x, x, x, x, x, x x, x x, x, x, x, x, x, x, x,x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, , x
준지오데식이라고 해서 반드시 연속 곡선이 되는 것은 아닙니다.
준등각법.f : (\ f Y는 다음과 같은 K1 (\ 1 0 (\ 0이 있는 경우 준등축이라고 불립니다.
그리고 Y의 모든 점은 f(X)의 어떤 점으로부터 최대 C의 거리를 가진다.준등축은 연속적인 것으로 가정하지 않는다.예를 들어, 콤팩트 메트릭 공간 사이의 지도는 준등각계이다.만약 X에서 Y까지의 준등축이 존재한다면, X와 Y는 준등축이라고 한다.
R
메트릭 공간의 반지름은 공간을 완전히 포함하는 메트릭 볼 반지름의 최소값입니다.
리만 다양체의 점 p에서의 볼록 반지름은 볼록 부분 집합인 공의 가장 큰 반지름이다.
Ray는 각 간격에서 최소화하는 단면 무한 측지선입니다.
리만 수몰은 수몰과 서브메트리인 리만 다양체 사이의 지도이다.
S
두 번째 기본 형식은 하이퍼서페이스의 접선 공간상의 2차 형식이며, 보통 하이퍼서페이스의 형상 연산자를 기술하는 동등한 방법이다.
또한 임의의 코디멘션으로 일반화할 수 있으며, 이 경우 정규 공간에 값이 있는 2차 형식입니다.
하이퍼서페이스 M의 형상 연산자는 접선 공간의 선형 연산자p S: TMp→TM입니다p.n이 M에 대한 단위 정규 필드이고 v가 탄젠트 벡터일 경우
(정의에 + 또는 -를 사용할지 여부에 대한 표준적인 합의는 없습니다).
쇼트 맵은 거리 비증가 맵입니다.
솔 다양체는 격자에 의해 연결된 용해 가능한 Lie 그룹의 인자입니다.
R > 0이 존재하면 서브메트리라고 불리며 임의의 점x 및 반지름r < R에 대해 메트릭 r-ball 이미지가 r-ball이 됩니다.
수축기의 k-sy () { 는 0에 대한 k 사이클의 최소 볼륨입니다.
T
완전히 볼록하다.리만 다양체 M의 부분집합 K는 K에서 이들을 연결하는 측지선이 모두 K에 있으면 완전 볼록이라고 한다.
완전 지오데식 서브매니폴드는 서브매니폴드이며 서브매니폴드의 모든 지오데식도 주변 매니폴드의 지오데식입니다.
U
고유 측지선 메트릭 공간은 임의의 두 점이 고유 최소 측지선의 끝점인 메트릭 공간입니다.