핀슬러 다양체 document_id A220623144862

미분기하학에서, 핀슬러 다양체(Finsler manifold)는 리만 다양체의 일반화이다. 각 접공간 위에 양의 정부호 대칭 쌍선형 형식이 주어진 리만 다양체와 달리, 대신 (일반화) 노름이 주어진다. 이다. e0이라면 F(x,v)>0이다. 핀슬러 함수를 갖춘 매끄러운 다양체 (M,F)를 핀슬러 다양체라고 한다. 만약 핀슬러 다양체 (M,F)에 대하여, 임의의 (x,v)in TM에 대하여 F(x,v)=F(x,-v)라면 이를 가역 핀슬러 다양체(reversible Finsler manifold)라고 한다. 가역 핀슬러 함수는 다양체의 각 접공간 위에 노름을 정의한다. 거리와 측지선 핀슬러 다양체 (M,F) 위의 매끄러운 곡선 gammacolon[a,b] o M의 길이(length)는 다음과 같다. 곡선의 길이는 매개변수화에 대하여 불변이다. 즉, 임의의 미분 동형 scolon[a,b] o[a',b']에 대하여, operatorname{length}[gammacirc s]=operatorname{length}[gamma]이다. 임의의 두 점 x,yin M 사이의 거리(distance) operatorname{dist}(x,y)는 두 점 사이를 잇는 곡선들의 길이들의 하한이다. 그렇다면, (M,operatorname{dist})는 길이 거리 공간을 이룬다. 따라서, 측지선의 개념을 정의할 수 있다. 측지선은 다음과 같은 에너지 범함수에 대한 오일러-라그랑주 방정식을 만족시킨다. 기본 텐서 핀슬러 다양체 (M,F)가 주어졌을 때, frac12F^2의 접공간 방향의 헤세 행렬은 TMsetminus M 위에 다음과 같은 대칭 (0,2)-텐서 g를 이루며, 이를 기본 텐서(fundamental tensor)라고 한다. 가 된다. 즉, 기본 텐서로부터 핀슬러 구조 전체를 재구성할 수 있다. 기본 형식이 TM 위에서 양의 정부호라면, (M,F)를 강하게 볼록 핀슬러 다양체(strongly convex Finsler manifold)라고 한다. 일부 문헌에서는 핀슬러 다양체의 정의에 강한 볼록성 조건을 추가하기도 한다. 힐베르트 형식 핀슬러 다양체 (M,F)의 사영 접다발 PTM 위에 다음과 같은 힐베르트 형식(Hilbert form)이라는 1차 미분 형식을 정의할 수 있다. 예 모든 리만 다양체 (M,g)는 다음과 같은 핀슬러 함수로 자연스럽게 핀슬러 다양체를 이룬다. 반대로, 리만 계량을 핀슬러 함수로부터 재구성할 수 있다. 따라서, 핀슬러 다양체는 리만 다양체의 개념의 일반화이다. 이라고 하자. 그렇다면, 다음과 같은 함수는 핀슬러 함수를 이룬다. 이러한 꼴의 핀슬러 다양체를 란데르스 다양체(Randers manifold)라고 한다. 이는 노르웨이의 군나르 란데르스(Gunnar Randers)가 도입하였다. 복소다양체 위의 계량 복소다양체 위의 카라테오도리 계량과 고바야시 계량은 (만약 매끄럽다면) 핀슬러 계량을 이룬다. 역사 독일의 수학자 파울 핀슬러(Paul Finsler, 1894~1970)가 1918년 박사 학위 논문에서 연구하였다. 이후 1933년에 엘리 카르탕이 "핀슬러 공간"(espace de Finsler)이라는 용어를 도입하였다.