2 differentiable manifolds and tensors
Download
1 / 55

2. Differentiable Manifolds and Tensors - PowerPoint PPT Presentation


  • 477 Views
  • Updated On :

2. Differentiable Manifolds and Tensors. 2.1 Definition of a Manifold 2.2 The Sphere as a Manifold 2.3 Other Examples of Manifolds 2.4 Global Considerations 2.5 Curves 2.6 Functions on M 2.7 Vectors and Vector Fields 2.8 Basis Vectors and Basis Vector Fields 2.9 Fiber Bundles

Related searches for 2. Differentiable Manifolds and Tensors

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about '2. Differentiable Manifolds and Tensors' - wind


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
2 differentiable manifolds and tensors l.jpg
2. Differentiable Manifolds and Tensors

2.1 Definition of a Manifold

2.2 The Sphere as a Manifold

2.3 Other Examples of Manifolds

2.4 Global Considerations

2.5 Curves

2.6 Functions on M

2.7Vectors and Vector Fields

2.8 Basis Vectors and Basis Vector Fields

2.9 Fiber Bundles

2.10 Examples of Fiber Bundles

2.11 A Deeper Look at Fiber Bundles

2.12 Vector Fields and Integral Curves

2.13 Exponentiation of the Operator d/d

2.14 Lie Brackets and Noncoordinate Bases

2.15 When is a Basis a Coordinate Basis?


Slide2 l.jpg

2.16 One-forms

2.17 Examples of One-forms

2.18 The Dirac Delta Function

2.19 The Gradient and the Pictorial Representation of a One-form

2.20 Basis One-forms and Components of One-forms

2.21 Index Notation

2.22 Tensors and Tensor Fields

2.23 Examples of Tensors

2.24 Components of Tensors and the Outer Product

2.25 Contraction

2.26 Basis Transformations

2.27 Tensor Operations on Components

2.28 Functions and Scalars

2.29 The Metric Tensor on a Vector Space

2.30 The Metric Tensor Field on a Manifold

2.31 Special Relativity


2 1 definition of a manifold l.jpg
2.1. Definition of a Manifold

Rn Set of all n-tuples of real numbers

A ( topological ) manifold is a continuous space that looks like Rn locally.

Definition: ( Topological ) manifold

A manifold is a set M in which every point P has an open neighborhood U that is related to some open set fU(U)of Rn by a continuous 1-1 onto map fU.

Caution: Length is not yet defined.

xUj(P) are the coordinates of P under fU.

Dim(M) = n.

M is covered by patches of Us.

Subscript U will often be omitted


Slide4 l.jpg

Let

be 1-1.

(U, f ) = Chart

U,V open 

open

Let

( Coordinate transformation )

Charts (U, f ) & (V, g ) are Ck - related if

exist & are continuous  i, j


Slide5 l.jpg

Atlas = Union of all charts that cover M

M is a Ck manifold if it is covered by Ck charts.

A differentiable manifold is a Ck manifold with k > 1.

  • Some allowable structures on a differentiable manifold:

  • Tensors

  • Differential forms

  • Lie derivatives

M is smooth if it is Ck with k = whatever is required for the problem at hand.

M is C if all derivatives of its coordinate transformations exist.

M is analytic (C) if all coordinate transformations in it are analytic functions.


2 2 the sphere as a manifold l.jpg
2.2. The Sphere as a Manifold

Every P has a neighborhood that maps 1-1 onto an open disc in R2.

( Lengths & angles not preserved )

Spherical coordinates:

  • Breakdowns of f:

  • North & south poles in S2 mapped to line (0, x2) & (, x2) in R2, resp.

  • Points (x1, 0) & (x1, 2) correspond to same point in S2.

2nd map needed

 Both poles & semi-circle joining them (  = 0 ) not covered


Slide7 l.jpg

One choice of 2nd map:

Another spherical coordinates with its  = 0 semi-circle given by { (/2 , ) |   {/2 , 3/2 } } in terms of coordinates of 1st system.

Stereographic map (fails at North pole only)

North pole mapped to all of infinity

These conclusions apply to any surface that is topologically equivalent to S2.

The 2-D annulus bounded by 2 concentric circles inR2 can be covered by a single ( not differentiable everywhere ) coordinate patch


2 3 other examples of manifolds l.jpg
2.3. Other Examples of Manifolds

Loosely, any set M that can be parameterized continuously by n parameters is an n-D manifold

  • Examples

  • Set of all rotations R(,, ) in E3. ( Lie group SO(3) )

  • Set of all boost Lorentz transformations (3-D).

  • Phase space of N particles ( 6N-D).

  • Solution space of any ( algebraic or differential ) equation

  • Any n-D vector space is isomorphic to Rn.

  • A Lie group is a C-manifold that is also a group.

Rn is a Lie group wrt addition.

See Frankel, §1.2.b for more examples.


2 4 global considerations l.jpg
2.4. Global Considerations

Any n-D manifolds of the same differentiability class are locally indistinguishable.

Let f: M  N

If f & f –1 are both 1–1 & C, then f is a diffeomorphism of M onto N.

M & N are diffeomorphic.

  • Example of diffeomorphic manifolds:

  • Smooth crayon & sphere

  • Tea cup & torus


2 5 curves l.jpg
2.5. Curves

Parametrized curve with parameter 

Caution: In differential geometry, a curve is defined as the mapping ( e.g., σ) that produces the geometric object called a “curve”.

Thus, different parametrizations of the same “curve” are treated as different curves.


2 6 functions on m l.jpg
2.6. Functions on M

fC k if all partials of f  g1(x1,…,xn) are C k

Often, one writes f  g1(x1,…,xn) simply as f (x1,…,xn).

Reminder:

Any sufficiently differentiable set of equations

that is locally invertible ( J  0 ) is an acceptable coordinate transformation.


2 7 vectors and vector fields l.jpg
2.7. Vectors and Vector Fields

Let

be a curve σ() through P on M.

be a differentiable function on M.

is a differentiable function on σ().

Chain rule:

 vector tangent to σ() with components

wrt coordinate basis

Tangent (vector) space TP(M) at P =

Vector addition:


Slide13 l.jpg

  • Reasons / advantages of defining a vector as d/d:

  • Transforms under coordinate changes like a contravariant vector in tensor analysis.

  • No notion of “distance” involved  works on manifolds without metric.

  • Definition is intrinsic: depends only on curves on M.

  • Finer points:

  • Each d/d denotes an equivalent class of distinct curves having the same tangent at P.

  • Two vectors d/d & d/d may denote the same tangent to the same curve under different parametrization.

  • Only vectors at the same point on M can be added to produce another vector. ( Vectors at different points belong to different vector spaces )


2 8 basis vectors and basis vector fields l.jpg
2.8. Basis Vectors and Basis Vector Fields

  • Let M be an n-D manifold.

  • P  M, TP(M)is an n-D vector space.

  • Any collection of n linearly independent vectors in TP(M) is a basis for TP(M).

  • A coordinate system { x i} in a neighborhood U of P defines a coordinate basis { i} at all points in U.

Let

be an arbitrary (non-coordinate) basis for TP(M).

A vector field, is a way to pick a vector in TP(M) P M.

Its components are therefore functions on M.

The vector field is Ck if its components are.

A more formal definition will be given later in terms of tangent bundles.


Slide15 l.jpg

{  /  xi } is a basis  it is a linearly independent set.

This is guaranteed if { xi } are good coordinates at P.

Proof:

Let { y i } be another set of good coordinates at P.

is invertible

Inverse function theorem 

i.e., vectors with components given by the columns of J are linearly independent .

The jth column

represents the vector

QED


2 9 a bundles l.jpg

Ref: Choquet, § III.2

2.9.a. Bundles

Let E & B be 2 topological spaces with a continuous surjective mapping

: E  B

Then ( E, B, ) is abundle with baseB.

Cartesian product:

E.g. Cartesian bundle

with

Bundle is a generalization of the topological products. E.g.,

A cylinder can be described as the product of a circle S1 with a line segment I.

A Mobius strip can only be described as a bundle.

If the topological spaces –1(x) are homeomorphic to a space F  xB,

then –1(x) is called a fibreFx at x, and F is a typical fibre.


Slide17 l.jpg

2.9. Fibre Bundles

  • A fibre bundle ( E, B, , G ) is a bundle ( E, B,  ) with a typical fibre F,

  • a structural groupG of homeomorphism of F onto itself,

  • and a coveringB by a family of open sets { Uj; jJ } such that

  • The bundle is locally trivial ( homeomorphic to a product bundle )


Slide18 l.jpg

b) Let

then

is an element of G

c) The induced mappings

are continuous

These transition functions satisfy


Slide19 l.jpg

A vector bundle is a fibre bundle where the typicle fibre F is a vector space & the structural group G is the linear group.

The tangent bundle

is a vector bundle with F = Rn.

In a coordinate patch (U,x) of M, the natural basis of Tp(U) is { /xi }.

The natural coordinates of T(U) are ( x1, …, xn, /x1, … , /xn ) = ( x, v ).

A vector field is a cross section of a vector bundle.


2 10 examples of fiber bundles l.jpg
2.10. Examples of Fiber Bundles

  • Tangent bundle T(M).

  • Tensor field on M.

  • Particle with internal, e.g., isospin, state.

  • Galilean spacetime: B = time, F = E3.

    • Time is a base since every point in space can be assigned the same time in Newtonian mechanics.

    • Relativistic spacetime is a manifold, not a bundle.

  • Frame bundle: derived from T(M) by replacing Tp(M) with the set of all of its bases , which is homomorphic to some linear group. ( see Aldrovandi, §6.5 )

  • Principal fibre bundle: F G. E.g. frame bundle.


2 11 a deeper look at fiber bundles l.jpg
2.11. A Deeper Look At Fiber Bundles

A fibre bundle is locally trivial but not necessarily globally so.

→ generalizes product spaces

ExampleT(S2) :

Schutz’s discussion is faulty.

It is true that S2 has no continuous cross-section  frame bundle of S2 is not trivial.

For proof: see Choquet, p.193.

However, the (Brouwer) fixed point theorem states that every homeomorphism from a closed n-ball onto itself has at least one fixed point.

It says nothing about n-spheresSn.


Slide22 l.jpg

Example: see Choquet, p.126.

Mobius band = Fibre bundle ( M, S1, π, G ) with typical fibre F = I R.

The base S1 is covered by 2 open sets.

G = { e, σ}  C2 .


2 12 vector fields and integral curves l.jpg
2.12. Vector Fields and Integral Curves

Vector field: A rule to select V(P) from TP PM.

Integral curve of a vector field: A curve C() with tangent equal to V.

where

Vector field ~ set of 1st order ODEs.

Solution exists & is unique in a region where {vi(x)} is Lipschitzian (Choquet, p.95)

f : X → Y , where X, Y are Banach spaces, is Lipschitzian in U  X if  k > 0 s.t.

Uniqueness of solution  non-crossing integral curves

( except at singular polints )

Congruence: the set of integral curves that fills M.


Slide24 l.jpg

Integral curves:

 V is not Lipschitzian in any neighborhood of (0,0) since

as r → 0

V is not Lipschitzian if any partial of V j does not exist.


2 13 exponentiation of the operator d d l.jpg
2.13. Exponentiation of the Operator d/d

Let M be C.

If the integral curve xi() of Y = d/d is analytic, then


2 14 lie brackets and noncoordinate bases l.jpg
2.14. Lie Brackets and Noncoordinate Bases

Coordinate basis :

with

Let

&

then

(Einstein's summation notation)

Lie bracket

are noncoordinate basis vectors if


Slide27 l.jpg

Example of a noncoordinate basis (Exercise 2.1):

Coordinate grid:

xi is constant on the integral curves of ∂j .

Integral curves of arbitrary vector fields

&

λ need not be constant on integral curves of d/dμ

→ λ & μ are not good coordinates.


Slide28 l.jpg

Ex 2.3: Jacobi Identity

Lie algebra: (Additional) closure under Lie bracket.

Vector fields on UM is a linear space closed under linear combinations of constant coefficients.

Lie algebra of vector fields on UM : Closed under both.

Invariances of M → Lie group (Chap 3)


2 15 when is a basis a coordinate basis l.jpg
2.15. When Is A Basis A Coordinate Basis?

Let

be a basis for vector fields in an n-D region U M.

Then { λi } is a coordinate (holonomic) basis for U

Let { xi } be coordinates for U.

Prooffor  :

Proof for  : (2-D case only)

Let

Task is to show that (α,β) are good coordinates and

( /α, /β) are basis vectors.


Slide30 l.jpg

so that ( /α, /β) are basis vectors if (α,β) are good coordinates


Slide31 l.jpg

defines a map (α,β) → ( x1, x2 )

If the map is invertible, then (α,β) are good coordinates.

By the implicit function theorem, this inverse exists 

This is true since vectors A & B are linearly independent.

QED

General case:


1 forms l.jpg
1-Forms

Let X & Y be linear spaces over K. A mapping f : X → Y is called linear if

The set L(X,Y) of all linear mappings from X to Y is a linear space over K with

( vector addition )

( scalar multiplication )

The set L(X, K) is called the dual X* of X.

Let T*x(M) be the dual to the tangent space Tx(M) at xM.

Elements of T*x(M) are called cotangent vectors, covariant vectors, covectors, differential forms, or 1-forms.

In contrast, Elements of Tx(M) are called tangent vectors, contravariant vectors, or simply vectors.


Slide33 l.jpg

Thus,

i.e., a 1-form is a linear function that takes a vector to a number in K.

 one can define

 ,  is called thecontraction. Its 1st argument must be a 1-form; the 2nd, a vector.

Do not confuse it with the inner product  |  , where both arguments are vectors.


2 17 examples of 1 forms l.jpg
2.17. Examples of 1-Forms

Gradient of a function f is a 1-form denoted by

Matrix algebra:

Column matrix ~ vector Row matrix ~ covector

Matrix multiplication ~ contraction

Hilbert space in quantum mechanics:

Ket | ψ ~ vector Bra  ψ | ~ covector

 ψ | φ ~ contraction / sesquilinear product

There is no natural way to associate vectors with covectors.

Doing so requires the introduction of a metric or inner product.


2 18 the dirac delta function l.jpg
2.18. The Dirac Delta Function

Let C[1,1] be the set of all C real functions on interval [1,1]R.

( C[1,1], + ) is a group.

( C[1,1], + ; R ) is an -D vector space.

The dual 1-forms are called distributions.

E.g., the Dirac delta function δ(xx0) is a distribution.

By definition, δ(x  x0) maps a function/vector f(x) to a real number f(x0) :

by

We shall avoid the abiguous notation


Slide36 l.jpg

We can associate a function/vector with a unique 1-form by the condition

Setting

one may say δ(xa) is a function in C[1,1] that gives rise to the 1-form δa .

However, calling δ(xa) is a function is not mathematically correct.

The “delta function” is actually a Dirac measure (distribution of order 0).

It behaves like a function only inside an integral.

It can be shown that the Dirac measure cannot be associated with a locally integrable function. [see Choquet, VI,B.]


2 19 the gradient the pictorial representation of a 1 form l.jpg
2.19. The Gradient & the Pictorial Representation of a 1-Form

A 1-form field is a cross section of the cotangent bundle T*(M).

satisfying

The gradient of a function f : M → K is the 1-form

Let h(x) = height at x. Then

→ 1-form is a set of parallel planes

= number of ω planes crossed by V

Steepest descend & gradient vector can only be defined in the presence of a metric.


2 20 basis 1 forms components of 1 forms l.jpg
2.20. Basis 1-Forms & Components of 1-Forms 1-Form

Given a basis

for TP(M), there is a natural dual basis

for T*P(M)

s.t.

Since

we have

Let

then

where

V is arbitrary →

is indeed a basis for T*P(M)

Coordinate basis:


Slide39 l.jpg

Example 1-Form: E2 with polar coordinates

By definition, xiare constant on the coordinate curve of xk.

Example: E2 with oblique coordinates


2 21 index notation l.jpg
2.21. Index Notation 1-Form

Coordinate bases:

→ vector :

Dual bases:

→ 1-form :

Contraction:

Einstein notation: implied summation if a pair of upper & lower indices are denoted by the same letter.


2 22 tensors tensor fields l.jpg
2.22. Tensors & Tensor Fields 1-Form

A tensor F of type (NM) at P is a multi-linear function that takes N 1-forms & M vectors to a number in K, i.e.,

Multi-linear means F is linear in each of its arguments.

For a (21) tensor, we have

and

Linearity:

etc

A vector is a (10) tensor, a 1-form is a (01) tensor & a function is a (00) tensor.

is a 1-form.

Operators or transformations on a linear space are (11) tensors.


2 2 3 examples of tensors l.jpg
2.2.3 Examples of Tensors 1-Form

Matrix algebra:

Column vector is a (10) tensor, row vector is a (01) tensor, & matrix is a (11) tensor.

Function space C[1,1]:

A differential operator maps linearly a vector (function) into another vector.

→ it is a (11) tensor.

Elasticity:

Stress vector = resultant force per unit area across a surface

Let the stress vector over cube face S(k) with normal ekbe F(k) , then

or

The normal to a plane is equivalent to a 1-form ( a set of parallel planes ) .

τ takes a 1-form into another vector → it is a (20) tensor called the stress tensor.


2 24 components of tensors the outer product l.jpg
2.24. Components of Tensors & the Outer Product 1-Form

Outer ( direct, or tensor ) product :

(NM) tensor  (PQ) tensor = (N+PM+Q) tensor

Example:

is a (20) tensor with

Caution:

since

Reminder:

 = Cartesian product

The components of a (NM) tensorS are given by

so that


2 25 contraction l.jpg
2.25. Contraction 1-Form

The summation of a pair of upper & lower tensor indices is called contraction.

  • Contraction of a (NM) with a (PQ) tensor gives a (N+P1M+Q1) tensor.

  • Contraction within a (NM) tensor gives a (N1M1) tensor.

Contraction is basis independent.

Proof for case A is rank (20) & B rank (02) :

Let C be the (11) tensor with components


2 26 basis transformations l.jpg
2.26. Basis Transformations 1-Form

Tensor analysis: A tensor is an object that transforms like a tensor.

Consider

by

with

(Λ nonsingular )

Let

then

Hence


Slide46 l.jpg

1-Form

( contravariant to ej)

( covariant to ej)

are basis independent

Coordinate transform:

Coordinate basis:

Dual basis:

( not true for general bases )


2 27 tensor operations on components l.jpg
2.27. Tensor Operations on Components 1-Form

Operations on components that result in another tensor are called tensor operations.

They are necessarily basis independent.

  • Examples:

  • Aij+ B ij = C ij → A + B = C

  • a Aij → aA

  • Aij B kl = C i kj l → AB = C

  • C i kk l = D il ( contraction )

Equations containing only tensor operations on tensors are called tensor equations.

They are necessarily basis independent.


2 28 functions scalars l.jpg
2.28. Functions & Scalars 1-Form

Scalar = (00) tensor at a point on M. E.g., V j ωj |P.

Scalar function on M = (00) tensor field on M. E.g., V j (x) ωj(x)

V j(x) is a function on M but not a scalar function.

Note: It is possible to have a scalar function f(x) s.t. f(x) = V j(x)  x.

 Can’t tell whether a function is scalar by looking at its values alone.


2 29 the metric tensor on a vector space l.jpg
2.29. The Metric Tensor on a Vector Space 1-Form

Given a real vector space X, one can define a bilinear inner product

by

One can associate a (02) metric tensorg with  by

g is symmetric since  is :

Matrix notation:

Since Λ is invertible, we can set Λ = O D, where O is orthogonal & D is diagonal.


Slide50 l.jpg

Since 1-Formg is real-symmetric, it can be digonalized with an orthogonal transform:

 O can be chosen s.t.

Setting

g is diagonal with elements 1

Canonical form of g is diag( 1, …, 1, +1, …, +1 ).

The corresponding basis is orthonormal, i.e.,

Signature of g = t = Tr g = (number of +1)  (number of  1)

Metric is positive-definite if t = n ( all +1’s ).

Metric is negative-definite if t = n ( all 1’s ).

Definite metrics are called Euclidean.

Minkowski metric is indefinite.


Slide51 l.jpg

g 1-Form = I wrt the Cartesian basis for a Euclidean space.

Transformations between different Cartesian bases are orthogonal since

Canonical form of the Minkowski metric is

Corresponding bases are called Lorentz bases.

Transformations between different Lorentz bases satisfy

They are called Lorentz transformations.


Slide52 l.jpg

A metric tensor associates a unique 1-form to each vector via

where

i.e., g i jraises & gi j lowers an index.

E.g.

In a metric space, tensors of ranks (NM) , (N1M1), (N2M 2) , …., are all equivalent.

They’re simply called tensors of orderN+M.

In a Euclidean with a orthonormal basis, the components of a vector & its dual have the same numerical value.

→ In calculations, there’s no need to distinguish between them.


2 30 the metric tensor field on a manifold l.jpg
2.30. The Metric Tensor Field on a Manifold via

A metric tensor field assigns continuously a metric tensor g to TP(M) pM.

g must be (02), symmetric, & invertible.

A metric is a high level structure that allows the definition of distance, curvature, metric connection, parallel transport, …. (see Chap 6)

Reminder: Lie derivatives & differential forms do not require a metric.

Continuity of g(p) → canonical form of g must be a constant  p M.

If one is free to choose the basis for any TP(M), g can be made canonical everywhere.

However, these bases may not all be coordinate ones (see Ex 2.14).

One exception is Rn with Euclidean metric & Cartesian coordinates (c.f. Ex 2.15-6).


Slide54 l.jpg

Arc-length Δ vial of a curve with tangent

is given by

If g is positive definite, then

If g has the canonical form

then case Δl2 > 0 is called space-like & Δl2 < 0, time-like.

then gives the proper distance / proper time.

Case Δl2 = 0 is called light-like.

Note that


2 31 special relativity l.jpg
2.31. Special Relativity via

Minkowski spacetime = R4 with metric of signature +2.

Lorentz frames: coordinates ( x0, x1, x2, x3 ) = ( ct, x, y, z ).

Metric tensor is in canonical form everywhere:

Event intervals:

are invariant under Lorentz transformations.

Δs2 defines a pseudo-norm for the vector

Inner product is defined as:


ad