본문 바로가기

tensor11

텐서란 무엇인가? 텐서의 이해, 표기법, 연산 완전 정리 물리학을 배우는 학생이라면 방학 중에 꼭 상대성이론 한번 공부해 보겠다고 책을 샀다가, 텐서에서 눈물을 머금고 포기하기를 반복하는 경험을 한번씩은 할 것이다. 그만큼 물리학과 학생에게 텐서는 애증의 개념이라고 할수 있다. 아마 텐서가 무엇인지, 텐서가 왜 필요한지에 대해서는 이런 저런 소스로부터 많이 봤을 것이니, 여기에서는 텐서의 핵심적인 특징과 표기법, 연산에 대하여 정리하여 실제적으로 텐서를 가지고 계산을 하는 방법들에 대하여 살펴본다. 먼저, 텐서를 이해하기 위해서는 다음의 개념들에 대해서는 반드시 알아야 한다. 1. 함수 : 함수의 기본 개념, 변수와 함수값, 벡터 함수 2. 스칼라와 벡터 : 스칼라와 벡터의 기본 개념, 벡터의 덧셈, 스칼라 곱, 벡터의 내적, 벡터의 내적의 성질 3. 벡터와 .. 2020. 8. 11.
[양자역학] 5.1 입자가 2개인 시스템 2-Particle System 이번 페이지에서 서로 상호작용이 없는 2개의 입자를 통해, 입자 1개의 이론에서 입자 여러개의 이론을 발전시켜 본다. #Schrödinger Equation of 2-Particle System in 1-D Box질량이 \(m_1\)인 입자를 1번 입자 , \(m_2\)인 입자를 2번 입자라고 하고, 1번 입자의 position을 \(x_1\), momentum을 \(p_1\), 2번 입자의 position과 momentum을 각각 \(x_2\), \(p_2\)라고 하자. 이 시스템의 파동함수는 1번 입자와 2번 입자를 모두 표현할 수 있어야 하므로 \(x_1\)과 \(x_2\)의 함수가 된다고 할 수 있다.\[ \text{(wave function)} \longrightarrow \Psi(x_1,x_2.. 2020. 7. 26.
[다양체,텐서] 3.2-(2) Coordinates Changes of Christoffel Symbols 수학에서는 tensor field를 vector field와 1-form에 대한 multilinear map으로 정의하는 반면에, 많은 상대성이론 텍스트북에서는 2.3 Tensor Fields에서 살펴본 계수의 coordinate transformation으로 tensor를 구별한다. 예를 들어 수학에서는, vector field와 1-form에 대한 함수 \(A: \mathfrak{X}(M) \times \Omega^1 (M) \to \mathbb{R}\) 가 임의의 실수 \(c\), vector field \(X\), \(Y\), 1-form \(\omega\), \(\mu\)에 대하여,$$ \begin{eqnarray} A(cX+Y,\omega) & = & c\cdot A(X,\omega) + A(.. 2018. 9. 26.
[다양체,텐서] 3.2 Affine Connections, Covariant Derivatives Euclidean space에서는, translation에 의하여 point \(p\)에서의 tangent space가 \(p\) 주변의 point \(q\)에서의 tangent space로 자연스럽게 연결되기 때문에 curve나 surface를 분석하기 위해서 사용되는 directional derivative가 자연스럽게 정의된다. 그러나 일반적인 manifold는 point \(p\)의 tangent space와 그 주변의 tangent space를 연결하는데 정해진 방법이 없다. 이렇게 tangent space 간의 연결 구조를 정의해 주는 것이 affine connection이다. Affine Connections DEFINITION Affine Connection Smooth manifold \.. 2018. 9. 15.
[다양체,텐서] 2.4-(3) Lie Derivatives of Tensor Fields 1.6 Integral Curve에서 살펴본 Lie derivative는 vector calculus에서 directional derivative의 일반화된 개념이다. Real-valued function과 vector field에 정의된 것과 마찬가지로 differentiable form에도 Lie derivative를 정의할 수 있다. Lie Derivatives of Tensor Fields Vector field의 Lie derivative를 정의할 때, local flow를 이용한 것과 같이 tensor field의 Lie derivative도 local flow를 이용하여 정의한다. DEFINITION Lie Derivative of Tensor Field Smooth manifold \(M\.. 2018. 9. 8.
[다양체,텐서] 2.4 Differential Forms, Exterior Derivatives Manifold의 성질과 기하학에서 antisymmetric tensor field는 중요한 역할을 한다. 이번 페이지에서는 differentiable antisymmetric tensor field인 differential form과 differential form에 정의되는 연산인 differential exterior derivative에 대하여 살펴본다. Differential Form Antisymmetric covariant \(k\)-tensor field를 \(k\)-form이라고 부른다. DEFINITION \(k\)-form Smooth manifold \(M\)에 대하여 Antisymmetric covariant \(k\)-tensor field를 \(k\)-form이라고 부른다. 즉.. 2018. 9. 8.
[다양체,텐서] 2.3 Tensor Fields Manifold의 기하학에 등장하는 curvature와 같은 오브젝트를 다루기 위해서는 tensor field를 정의해야 한다. 이 페이지에서는 manifold에서의 tensor field와 tensor의 coordinate change에 대하여 살펴본다. Cotangent Space \(n\)-dimentional differentiable manifold \(M\)에 정의 되는 real-valued differentiable function \(f:M \to \mathbb{R} \) 에 대하여, \(M\)의 point \(p\)에서의 differential \((df)_p\) 를 생각해보자. 1.4 Derivatives of Differentiable maps에서 정의한 것과 같이 \((df)_p\).. 2018. 9. 8.
[다양체,텐서] 2.2 Symmertric Tensors, Antisymmetric Tensors, Exterior Algebra 이 페이지에서는 앞으로 많이 등장하게 될 antisymmetric tensor들을 살펴본다. 그리고 비슷한 개념의 symmetric tensor도 같이 살펴본다. 논의의 편의상 covariant tensor만 다루지만, contravariant tensor에도 똑같은 방식으로 적용된다. 이하에서는 vector space \(V\)의 basis를 $$ \{ e_1, e_2, \cdots , e_n\} $$ 그리고 dual space \(V^*\)의 dual basis를 $$ \{ e^* _1, e^* _2, \cdots, e^* _n \} $$ 으로 가정한다. Symmetric Tensors Symmetric tensor는 변수로 들어가는 vector들 중에서 2개의 위치를 바꿨을 때 같은 값이 나오는 t.. 2018. 9. 8.