접선 공간

Tangent space

수학에서 다지관접선 공간은 3차원의 표면과 2차원의 곡선에 접선 평면의 개념을 더 높은 차원으로 일반화한다. 물리학의 맥락에서 한 지점에서 다지관에 대한 접선 공간은 다지관 위에서 움직이는 입자의 가능한 속도 공간으로 볼 수 있다.

비공식 설명

에 있는 단일 점 의 접선 공간을 그림으로 표현한 그림. 이 접선 공간의 벡터는 에서 가능한 속도를 나타낸다 그 방향으로 근처 지점으로 이동한 후, 그 지점의 접선 공간인, 즉 표시되지 않은 다른 접선 공간에 있는 벡터에 의해 속도가 부여된다.

차동 기하학에서, 다른 다지관의 모든 x 접선 공간, 즉 접선 공간, 즉 으로 x {\을 통과할 수 있는 가능한 방향을 직관적으로 포함하는 실제 벡터 공간. 에서 접선 공간의 요소를 x에서 접선 벡터라고 한다 이것은 유클리드 공간에서 주어진 초기 지점에 근거한 벡터 개념을 일반화한 것이다. 연결된 다지관의 모든 점에서 접선 공간의 치수다지관 자체의 치수와 동일하다.

예를 들어, 주어진 다지관이 } -sphere 경우, 어떤 점에서 접선 공간을 해당 지점에서 구체와 접촉하고 그 지점을 통과하는 구의 반경에 수직인 평면으로 그려볼 수 있다. 더 일반적으로, 만약 주어진 다지관이 유클리드 공간내장형 하위매니폴드로 생각된다면, 사람들은 이런 문자 그대로의 접선 공간을 상상할 수 있다. 이것은 평행 운송을 정의하기 위한 전통적인 접근방식이었다. 미분 기하학 일반 상대성 이론의 많은 저자들이 그것을 사용한다.[1][2] 보다 엄밀하게 말하면, 이것은 현대 용어로 기술된 접선 벡터의 공간과는 구별되는 부속 접선 공간을 정의한다.

대조적으로 대수 기하학에서는 V 그 자체의 치수를 갖는 벡터 공간을 주는 대수적 V{\ 지점에 접선 공간의 본질적 정의가 있다. 접선 공간의 치수가 V 의 치수가 되는 (를) 비송음 점이라고 하며, 다른 점을 단수 점이라고 한다. 예를 들어, 그 자체를 가로지르는 곡선은 그 점에 고유한 접선선을 가지고 있지 않다. 의 단수 지점은 "다지관이 되는 테스트"가 실패한 지점이다. 자리스키 접선 공간을 참조하십시오.

다지관의 접선 공간이 도입되면 공간을 움직이는 입자의 속도장을 추상화하는 벡터장을 정의할 수 있다. 벡터 장은 다지관의 모든 지점에 그 지점의 접선 공간으로부터 벡터를 매끄럽게 부착한다. 그러한 벡터 장은 다지관의 일반화된 일반적인 미분 방정식을 정의하는 역할을 한다: 그러한 미분 방정식의 해법은 어느 지점에서 파생되는 것이든 벡터장이 그 지점에 부착하는 접선 벡터와 동일한 다지관의 차별성 곡선이다.

다지관의 모든 접선 공간은 "함께 글레이징"하여 다지관의 접선다발이라고 하는 원래 다지관의 두 배의 치수를 가진 새로운 다지관을 형성할 수 있다.

형식 정의

위의 비공식적인 설명은 접선 벡터가 주변 공간에 "밖으로 내밀" 수 있도록 주변 벡터 공간 에 삽입되는 다지관의 능력에 의존한다. 그러나 다지관 그 자체만으로 접선 공간의 개념을 정의하는 것이 더 편리하다.[3]

다지관의 접선 공간을 정의하는 다양한 동등한 방법이 있다. 곡선의 속도를 통한 정의는 직관적으로 가장 단순하지만, 또한 작업하기가 가장 번거롭기도 하다. 보다 우아하고 추상적인 접근법이 아래에 설명되어 있다.

접선 곡선을 통한 정의

내장형 manifold 그림에서 점 의 접선 벡터는 점 x을 통과하는 곡선속도로 간주된다 따라서 우리는 에서 서로 접선되는 동안 x displaysty x}를 통과하는 곡선의 등가 등급으로 접선 벡터를 정의할 수 있다. x

이(가) 서로 다른 다지관(평활 1 1이고 x M{\\ M를)이라고 가정하고 좌표 : U을 선택한다, where is an open subset of containing . Suppose further that two curves with are given such that both are differentiable in the ordinary sense (we call these differentiable curves initialized at ). Then and are said to be equivalent at if and only if the derivatives of and at coincide. 이것은 에서 초기화된 모든 다른 곡선 집합에 동등성 관계를 정의하며 그러한 곡선의 동등성 클래스 에서 접선 벡터로 알려져 있다 이러한 곡선 의 동등성 클래스는 ( ) 로 표시된다 에 표시된 displaystyle 에서 접선 공간은 x 의 모든 접선 벡터 집합으로 정의되며 좌표도 : → R : : :

공간 접선 벡터 ∈ M x\M을(를) 통과하는 곡선.

에서 벡터 공간 연산을 정의하려면 차트 : n :U^{을(를) 정의하고 d x : {\ by where . Again, one needs to check that this construction does not depend on the particular chart 및 곡선 이(가) 사용 중이지만, 실제로는 사용되지 않는다.

The map turns out to be bijective and may be used to transfer the vector-space operations on over to , thus turning the latter set into an -dimensional real vector space

파생어를 통한 정의

M 이(가) C 다지관이라고 가정합시다. 값 함수 : → R \(는) 모든 좌표 차트에 과 같은 에만 C ( ) 에 속한다고 한다^{ 지도 - 1: [ ] R → R \circp 는 무한히 다르다 ( ) 점괘 산물 및 함수와 스칼라 곱의 합과 관련하여 실제 연관 대수라는 점에 유의하십시오.

x을(를) 선택하십시오 파생선형 지도 : ( )→ R 아이덴티티를 만족하는}(

미적분학의 생산 규칙을 본떠서 만든 것이다.

(모든 동일 상수 함수 = , 대해 D )= 0 에 온다.

x의 파생 집합에 대한 추가 및 스칼라 곱을 정의한 경우

  • + D ) )= 1( f)+ D ) f) 및 {D
  • ( )( f)= D( ) D)(fdf}}}}}} D

그런 다음 실제 벡터 공간을 얻는다. 이 공간은 에서 접선 공간 M 으로 정의된다

일반화

를 들어, 복잡한 다지관과 대수적 다양성에 대한 이 정의의 일반화가 가능하다. 그러나 함수의 전체 대수에서 된 D }을(를) 조사하는 대신 함수의 세균 수준에서 일을 해야 한다. 그 이유는 이러한 구조물에 대해 구조 피복좋지 않을 수 있기 때문이다. For example, let be an algebraic variety with structure sheaf . Then the Zariski tangent space at a point is the collection of all -derivations , where is the ground field and is the stalk of at .

정의의 등가성

For and a differentiable curve such that define (서 f - ,))에서 R 까지의 함수이기 때문에 일반적인 의미로 파생상품을 취한다. ( ) 이(가) , 지점에서의 파생이며 등가 곡선이 동일한 파생값을 산출한다는 것을 확인할 수 있다. Thus, for an equivalence class we can define where the curve has been 임의로 선택한 지도 () ′ ′ ( ) {\)\D_{\는 등가 등급의 공간 γ (' 파생된 지점 사이의 벡터 공간 이형이다

코탄젠트 공간을 통한 정의

Again, we start with a manifold and a point . Consider the ideal of that consists of all smooth functions vanishing at , i.e., . Then and are both real vector spaces, and the quotient space can be shown to be isomorphic to the cotangent space through t테일러의 정리를 이용했어 접선 공간 을(를) 2 이중 공간으로 정의할 수 있다

이 정의가 가장 추상적이지만, 예를 들어 대수 기하학에서 고려하는 품종과 같은 다른 설정으로 가장 쉽게 이전할 수 있는 정의이기도 하다.

If is a derivation at , then for every , which means that gives rise to a linear map . Conversely, if {(가) 선형 지도인 다음, )= r( - f()+ ) 은(는) 에서 파생어를 정의한다 이는 유도를 통해 정의된 접선 공간과 등가선 공간을 통해 정의된 접선 공간 사이의 동등성을 산출한다.

특성.

If is an open subset of , then is a manifold in a natural manner (take coordinate charts to be identity maps on open subsets of ), and the tangent spaces는 모두 스럽게 {\ ^{ 로 식별된다

방향 유도체로서의 접선 벡터

접선 벡터에 대해 생각하는 또 다른 방법은 방향 유도체로서이다. ^{ v in\mathb { ^{n}}}을(를) 지정하면, 다음 x 에 해당하는 방향 유도체를 정의한다.

이 지도는 x x에서 파생된 것이다 더욱이 R ^{의 한 지점에 있는 모든 파생은 이러한 형태의 것이다. 따라서 벡터(한 점에서 접선 벡터로 간주)와 한 점에서 파생되는 것 사이에는 일대일 일치성이 있다.

한 지점에서 일반 다지관의 접선 벡터는 그 지점에서 파생으로 정의될 수 있으므로, 그들을 방향 유도체로 생각하는 것은 당연하다. 으로는 v{\}이(가) x{\ 지점에서 과(와) 접선 벡터인 경우, 파생 모델 v 을(를) v v 방향으로 정의하십시오.

을(를) x x= ( 0에서 초기화된 다른 곡선 초기 속도로 생각한다면, 대신 다음과 같이 정의하십시오

점의 접선 공간 기준

다지관 의 경우 차트 =( , ): → R is given with , then one can define an ordered basis of 기준

그런 다음 모든 접선 벡터 M 에 대해

This formula therefore expresses as a linear combination of the basis tangent vectors defined by the coordinate chart [4]

지도의 파생상품

매끄러운(또는 다른) 지도 : → N :부드러운(또는 다른) 다지관 사이의 은(는) 해당 접선 공간 사이의 자연 선형 지도를 유도한다.

접선 공간이 서로 다른 곡선을 통해 정의되는 경우 이 지도는

대신, 접선 공간이 파생을 통해 정의되는 경우, 이 지도는 다음과 같이 정의된다.

선형 지도 x 은(는) x 에서 파생, 총 파생, 차등 또는 푸시포워드라고 다양하게 불린다 다양한 다른 명칭을 사용하여 자주 표현된다.

어떤 의미에서 파생상품은 {\ 근처에 있는 에 대한 최상의 선형 근사치 입니다: = N{ = : → R 은(는) 함수 차등 개념과 일치한다 현지 좌표에서 }의 파생어는 Jacobian에 의해 주어진다.

파생상품 지도에 관한 중요한 결과는 다음과 같다.

정리. : :는) x 있는 로컬 차이점형이며, 그 다음 x: T → T ( ) N 선형 이형성이다. 반대로 : :은(는) 지속적으로 다를 수 있으며 x {\(는) 이소형(Isomorphism)이며, 그러면{{\ 에 U }을(으 매핑하는 오픈 인접 이 있다.

이것은 다지관 사이의 지도에 역함수 정리를 일반화한 것이다.

참고 항목

메모들

  1. ^ do Carmo, Manfredo P. (1976). Differential Geometry of Curves and Surfaces. Prentice-Hall.:
  2. ^ Dirac, Paul A. M. (1996) [1975]. General Theory of Relativity. Princeton University Press. ISBN 0-691-01146-X.
  3. ^ Chris J. Isham (1 January 2002). Modern Differential Geometry for Physicists. Allied Publishers. pp. 70–72. ISBN 978-81-7764-316-9.
  4. ^ Lerman, Eugene. "An Introduction to Differential Geometry" (PDF). p. 12.

참조

외부 링크