부피 형식

수학에서 '''부피 형식'''() 또는 '''최고차 형식'''()은 미분 다양체 차원과 동일한 차수를 가진 미분 형식이다. 따라서 차원 다양체 에서 부피 형식은 제 미분 형식이다. 선다발 의 단면 공간 의 원소이다. 다양체는 방향을 잡을 수 있는 경우에만 사라지지 않는 부피 형식을 허용한다. 유향 다양체는 무한히 많은 부피 형식을 가진다. 왜냐하면 부피 형식을 여기서에도 모든 곳에서 영이 되지 않는 실수 값 함수로 곱하면 또 다른 부피 형식이 생성되기 때문이다. 방향이 지정되지 않는 다양체에서는 대신 밀도라는 약한 개념을 정의할 수 있다.
부피 형식은 미분 다양체에서 함수의 적분을 정의 할 수 있게 한다. 다른 말로, 부피 형식은 함수가 적절한 르베그 적분에 의해 적분될 수 있는 것과 관련하여 측도를 제공한다. 부피 형식의 절대값은 부피 요소 로 꼬인 부피 형식 또는 준 ''부피 형식''이라고도 다양하게 알려져 있다. 또한 측도를 정의하지만 방향 지정 가능 여부에 관계없이 미분 가능 다양체에 존재한다.
리만 기하학에서 '''부피 형식'''은 유향 준 리만 다양체에 대하여 정의되는 특별한 최고 차수 실수 미분 형식이다. 이를 적분하여, 다양체의 구역의 부피를 정의할 수 있다.
복소 다양체인 켈러 다양체는 자연적으로 방향이 지정되어 있으므로 부피 형식을 가진다. 보다 일반적으로,  심플렉틱 다양체에서 심플렉틱 형식의 외승은 부피 형식이다. 많은 다양체 종류들에는 정규 부피 형식이 있다: 선호하는 부피 형식을 선택할 수 있는 추가 구조가 있다. 유향 준-리만 다양체는 연관된 표준 부피 형식을 가진다.
다음은 미분 다양체의 방향에 관한 것이다(위상 다양체에서 정의된 보다 일반적인 개념임).
다양체는 모든 추이 함수에 양의 야코비 행렬식을 갖는 아틀라스가 있는 경우 유향이다. 이러한 극대 아틀라스의 선택은 에서 방향을 결정한다.  위의 부피 형식 은 의 아틀라스처럼 자연스러운 방식으로 를 유클리드 부피 형식 의 양의 배수로 보내는 방향을 제시한다.
부피 형식은 또한 에서 선호하는 틀의 지정을 허용한다. 접벡터의 기저 가 만약이면 오른손잡이라고 한다. 양의 행렬식을 가진 차원 일반 선형 사상군 이 모든 오른손잡이 틀의 모임에 작용한다. 이는 의 선형 틀 다발의 -부분 주다발을 형성하고, 따라서 부피 형식와 관련된 방향은 의 틀 다발을 구조 군 이 있는 부분 다발로 표준 축소를 제공한다. 즉, 부피 형식이 의 -구조에 발생한다. 틀을 고려하면 더 많은 축소가 가능하다.따라서 부피 형식은  -구조를 발생시킨다. 반대로 주어진 -구조에 대해, 특수 선형 틀이 ()을 만족하도록 하고, 필요한 -형식 이 동차성을 가져야함을 통해 풀면 부피 형식을 복원 할 수 있다.
다양체는 여기서에도 모든 곳에서 영이 아닌 부피 형식이 있는 경우에만 방향을 지정할 수 있다. 물론, 이므로 는 변형 수축이다. 여기서 양의 실수는 스칼라 행렬로 포함된다. 따라서, 모든  구조는  구조로 축약가능하며,  구조는 에 주어진 방향과 일치한다. 보다 구체적으로, 행렬식 다발 의 자명함  은 다양체의 가향성과 동일하며 선다발은 모든 곳에서 영이 아닌 단면이 있는 경우에만 자명하다. 따라서 부피 형식의 존재는 가향성과 동일하다.
유향 다양체에 주어진 부피 형식 에 대해, 밀도 는 방향을 잊어버리고 얻은 무방향 다양체의 준 부피 형식이다. 밀도는 비방향성 다양체에서 더 일반적으로 정의될 수도 있다.
모든 준 부피 형식 (따라서 모든 부피 형식)은 보렐 집합에 대한 측도를 다음과 같이 정의한다.차이점은 측도값이 (Borel) ''부분 집합''에 대해 적분될 수 있는 반면 부피 양식은 방향이 있는 상자에 대해서만 적분 될 수 있다는 것이다. 일변수 미적분에서 임은 를 단순한 측도가 아닌 부피 형식으로 본다는 뜻이다, 그리고 는 "상자  전체에서 반대 방향으로 적분"을 나타낸다."
또한 일반적인 측도는 연속적이거나 매끄러울 필요가 없다. 부피 형식으로 정의할 필요가 없으며 더 구체적으로, 주어진 부피 형식에 대한 라돈-니코딤 도함수가 절대 연속일 필요는 없다.
에 주어진 부피 형식 에 대해 벡터장 의 발산을 로 표시되는 유일한 스칼라 값 함수로 정의할 수 있다.여기서 는 를 따른 리 미분을 나타낸다. 그리고 는 내부곱 또는 을 따른 의 왼쪽 수축을 나타낸다. 만약에 가 콤팩트 지지 벡터장이며 는 경계가 있는 다양체이면 스토크스의 정리는 다음을 의미한다.이는 발산 정리의 일반화이다.
솔레노이드 벡터장은 이 성립하는 벡터장이다. 리 미분의 정의에 따르면 솔레노이드 벡터장의 흐름에서 부피 형식이 보존된다. 따라서 솔레노이드 벡터장은 정확히 부피 보존 흐름을 갖는 것이다. 이 사실은 예를 들어 속도장의 발산이 유체의 압축성을 측도하는 유체역학에서 잘 알려져 있으며, 이는 다시 유체의 흐름을 따라 부피가 보존되는 정도를 나타낸다.
=== 리 군 ===
모든 리 군에 대해 자연스러운 부피 형식은 병진 변환에 의해 정의될 수 있다. 즉, 만약 가 의 원소이면, 왼쪽 불변 형식은 과 같이 정의될 수 있다. 여기서 는 왼쪽 병진 변환이다. 결과적으로 모든 리 군에 방향을 지정할 수 있다. 이 부피 형식은 스칼라곱을 기준으로 유일하며 해당 측도를 하르 측도라고 한다.
=== 심플렉틱 다양체 ===
모든 심플렉틱 다양체(또는 버금 심플렉틱 다양체)에는 자연스러운 부피 형식이 있다. 만약에 이 심플렉틱 형식 이 주어진  차원 의 차원 다양체이면,  는 심플렉틱 형식의 비퇴화성의 결과로 모든곳에서 0이 아니다. 결과적으로 모든 심플렉틱 다양체는 방향을 지정할 수 있다(실제로, 방향이 지정되어 있다). 다양체가 심플렉틱이면서 리만인 경우 다양체가 켈러이면 두 부피 형식이 일치한다.
=== 리만 부피 형식 ===
임의의 유향 준-리만(리만을 포함) 다양체는 자연스러운 부피 형식을 가지고 있다. 국소 좌표계에서, 이는로 표현될 수 있다. 여기서 는 다양체의 여접다발에 대해 양의 방향 기저를 형성하는 제 1미분형식이다. 여기서, 는 다양체에서 계량 텐서의 행렬 표현의 행렬식의 절대값이다. 부피 형식은 다음과 같이 다양하게 표시된다.여기서, 는 호지 별이므로 마지막 형식 은 부피 형식이 레비-치비타 ''텐서'' 와 동일한 다양체의 상수 사상의 호지 쌍대임을 강조한다.
그리스 문자 는 부피 형식을 나타내는 데 자주 사용되지만 이 표기법은 완전히 보편적이지는 않다. 기호 는 종종 미분 기하학에서 많은 다른 의미(예: 심플렉틱 형식)를 뜻한다.
부피 형식은 유일하지 않다. 그것들은 다음과 같이 다양체에서 모든 곳에서 영이 아닌 함수 위에 꼬임을 형성한다: 에 부피 형식 과 모든 곳에서 영이 아닌 함수 가 주어지면, 는 의 부피 형식이다.  반대로 두 가지 부피 형식 이 주어지면 이들이 비는 모든 곳에서 영이 아닌 함수이다(동일한 방향을 정의하면 양수, 반대 방향을 정의하면 음수).
좌표에서 둘 다 단순히 모든 곳에서 영이 아닌 함수 곱하기 르베그 측도이며 비는 좌표 선택과 무관한 함수의 비이다. 내재적으로 이것은 에 대한 의 라돈-니코딤 도함수이다. 유향 다양체에서 두 부피 형식의 비는 라돈-니코딤 정리의 기하학적 형태로 생각할 수 있다.
=== 국소 구조의 부재 ===
다양체의 부피 형식은 작은 열린 집합에서 주어진 부피 형식와 유클리드 공간의 부피 형식을 구별하는 것이 불가능하다는 점에서 국소 구조가 없다 . 즉, 모든 점 에 대해 의 열린 이웃 과 에서 부피 형식이 를 따라 를 당긴 것이 되는 에서  의 열린 집합으로 가는 미분동형사상 가 존재한다.
결과적으로, 만약 , 이 각각 부피 형식 을 갖는 두 가지 다양체이면, 모든 점 에 대해 의 열린 이웃 과 의 열린 이웃 , 그리고 에 제한된  위의 부피 형식이 에 제한된 의 부피 형식으로 당겨지는(즉, ) 함수가 있다.
1차원에서 다음과 같이 증명할 수 있다. 에 주어진 부피 형식 에 대해로 정의 하자. 그러면 표준 르베그 측도 는 로 당겨진다. 즉,  : . 구체적으로, . 더 높은 차원에서, 어떤 점 이 주어졌을 때, 그것은 국소적으로 과 위상동형인 이웃을 가지고 있고, 동일한 절차를 적용할 수 있다.
=== 대역 구조: 부피 ===
연결 다양체 의 부피 형식은 단일 전역 불변량, 즉 (전체) 부피 를 가진다. 이는 부피 형식 보존 사상에 대해 불변이다. 이것은 에서 르베그 측도과 같이 무한대 일 수 있다. 연결이 아닌 다양체에서 각 연결 성분의 부피는 불변량이다.
만약 가 를 로 당기는 위상 동형이면,이고 두 다양체는 동일한 부피를 가진다.
피복 사상으로 부피 형식을 다시 가져올 수도 있다. 이 경우 부피에 올의 기수를 곱한다(공식적으로는 올를 따라 적분하여). 무한 덮개의 경우(예: ), 유한 부피 다양체의 부피 형식은 무한 부피 다양체의 부피 형식으로 당겨진다.
차원 유향 준 리만 다양체 가 주어졌다고 하자. 그렇다면, 그 부피 형식은 다음과 같은 차 실수 미분 형식
:
이다.
:
여기서
* 은 의 (홀로노믹) 국소 좌표계이며, 그 방향은 양의 방향이다.
* 는 다음과 같은, 리만 계량의 성분으로 구성된  대칭 행렬의 행렬식이다.
*:
는 만약 가 짝수라면 양수이며, 가 홀수라면 음수이다. 즉,
:
이다.
부피 형식은 준 리만 다양체의 방향에 의존한다. 만약 방향을 뒤집는다면, 부피 형식은
:
로 변환한다. 비가향 다양체의 경우, 부피 형식을 정의할 수 없다(다만, 부피의 개념 자체는 밀도의 개념을 사용하여 정의될 수 있다).
* 원통좌표계의 부피 형식
* 측도
* 푸앵카레 측도는 복소 평면에서 부피 형식을 준다
* 구면좌표계의 부피 형식
* .
* .
* 
분류:리만 기하학
분류:미분 형식
분류:행렬식