THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

Size: px
Start display at page:

Download "THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)"

Transcription

1 4 Vector fields Last updated: November 26, (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M = M n be a manifold. Consider a vector v T x0 M. Suppose γ : ( ε, ε) M is a curve such that v = dx dt at t = 0. Definition 4.1. For an arbitrary function f : M R the number v f := d dt f(x(t)). (the derivative at t = 0) is called the derivative of f along v. Comparing it with the definition of the differential, we see that v f = df(x)(v). If x 1,..., x n are coordinates near x and v i, i = 1,..., n are the components of v, we have n f v f = x (x) i vi. i=1 Proposition 4.1. The operation v : C (M) R satisfies the following properties: linearity over R and the Leibniz rule Proof. Immediate. v (fg) = v f g(x) + f(x) v g. Note that the map sending a function f C (M) to the number f(x) R is a homomorphism, called the evaluation homomorphism at x. We denote it ev x. There are a fundamental algebraic notions. 1

2 Definition 4.2. For a given homomorphism of algebras α: A 1 linear map D : A 1 A 2 is called an derivation over α if A 2, a D(ab) = D(a) α(b) + α(a) D(b) for all a, b A 1. In the special case of a single algebra A 1 = A 2 = A and α = id (the identity map), a derivation over it is simply called a derivation of the algebra A. Hence for any v T x0 M the operation v : C (M) R is a derivation over the evaluation homomorphism at x 0 M. Remark 4.1. It is possible to consider v on C (V ) for any open set V M s.t. x 0 V, and it is a derivation C (V ) R over ev x0 as well. It turns out that all the derivations of the algebra of functions on a manifold to numbers are of the form v. Let us first explore the case of R n. Theorem 4.1. Let x 0 R n. For an arbitrary derivation D : C (R n ) R over the evaluation homomorphism ev x0 there is a vector v T x0 R n such that D = v. The proof uses the following simple but fundamental statement: Lemma 4.1 (Hadamard s Lemma). For any smooth function f C (R n ) and any x 0 R n there is an expansion f(x) = f(x 0 ) + n (x i x i 0)g i (x) i=1 where g i C (R n ) are some smooth functions. Proof. Consider the segment joining x and x 0 and write f(x) = f(x 0 ) d dt f(x 0 + t(x x 0 )) dt = f(x 0 ) + (x i x i 0) 1 0 f x i (x 0 + t(x x 0 )) dt 2

3 Corollary 4.1. There is an expansion f(x) = f(x 0 ) + n i=1 (x i x i 0) f x i (x 0) + n (x i x i 0)(x j x j 0)g ij (x) (1) i,j=1 where g ij C (R n ). Proof. By iterating the previous expansion we arrive at f(x) = f(x 0 ) + n n (x i x i 0)a i + (x i x i 0)(x j x j 0) g ij (x) i=1 i,j=1 where a i R are numbers and g ij C (R n ), functions. Apply partial derivative at x x i 0 and obtain a i = f (x x i 0 ). Now we can prove the main theorem. Proof of Theorem 4.1. Let D : C (R n ). Consider a point x 0 R n. (We are keeping x as a running point.) Apply D to the expansion (1). First note that derivations kill constants; indeed, D(1) = D(1 1) = D(1) 1+1 D(1) = 2D(1), hence D(1) = 0 and then D(c) = D(c 1) = 0 for any c R. Therefore we obtain D(f) = D(x i ) f x (x 0)+ i i ( ) D(x i )(x j 0 x j 0) g ij (x 0 )+(x i 0 x i 0)D(x j ) g ij (x 0 )+(x i x i 0)(x j x j 0) D(g ij ) = ij for v = (v 1,..., v n ) where v i = D(x i ). i D(x i ) f x i (x 0) = v f Theorem 4.1 can be immediately transferred to open domains of a manifold U M admitting a single coordinate system: any derivation D : C (U) R ev x0, where x 0 U M, is of the form D = v for some v T x0 M if there is a chart φ: V U, where V R n. 3

4 This can be made slightly more formal by introducing the so-called germs of functions at a given point. Consider functions defined on open neighborhoods U M of x 0. A function f defined on U and a function g defined on U are said to be equivalent if there is an open neighborhood U of x 0 such that f U = g U. The equivalence class of a (local) function f defined near x 0 is called its germ. Germs at x make an algebra, notation: F x ; and there an evaluation homomorphism ev x to R. We get Theorem 4.2. The derivations F R over ε = ev x correspondence with the tangent vectors v T x M. are in one-to-one It is common to identify vectors v with the corresponding derivations v. For example, the coordinate basis vectors e i = x are identified with the x i partial derivatives i =. x i Now what about global functions, i.e., the algebra C (M)? Theorem 4.3. Every derivation C (M) R over ev x0 a tangent vector v T x0 M. has the form v for Proof. Note that if a function vanishes on an open neighborhood U of x 0, it belongs to I 2 x 0. Indeed, consider h such that h = 0 on W U and h = 1 on M U. Then hf = f. Note that both f and h vanish at x 0, and f is the product of such functions. Therefore every derivation C (M) R over ev x0 annihilates h. It follows that all such derivations can be restricted to local functions (defined near x 0 ) or to germs at x 0, because the results of their application to global functions depend only on the behaviour of functions near x 0. Now we apply the previous Theorem. 4.2 Commutator of vector fields Everything what is said below applies to vector fields defined not necessarily on the whole manifold M, but on an open subset U M. We shall speak of vector fields on M for the simplicity of notation. Recall that a tangent vector v at a point x M defines a linear map v : C (M) R satisfying v (fg) = v f g(x) + f(x) v g 4

5 for all f, g C (M), and is frequently identified with this map. (Such linear maps C (M) R are called derivations at x.) Shortly: vectors at a given point are identified with derivations at this point. Now, if we consider a vector field instead of a single vector, that means that we allow x in the formula above to vary. For a vector field v X(M), we arrive at the linear map v : C (M) C (M) of the algebra C (M) to itself satisfying v (fg) = v f g + f v g. Such linear operators on algebras are known as derivations of algebras. Hence every vector field on M defines a derivation of the algebra C (M). Written in local coordinates, v = v i (x) x i if v = v i (x) x x. i Very frequently vector fields and the corresponding derivations are identified: v v, and one writes v = v i (x) x. i There is a convenient abbreviation i =, so one can write v = v i x i i. It is an important fact that not only we can identify vector fields on M with the corresponding derivations of the algebra of functions C (M), but all the derivations of it arise in this way: every derivation D of the algebra C (M) has the form D = v for some vector field v X(M). Recall the following notion: for two linear operators A and B on a vector space V, their commutator is denoted by [A, B] and defined as [A, B] = AB BA. (Here the product of operators is the composition: AB = A B.) Theorem 4.4. The commutator of vector fields considered as linear operators on the algebra of functions is again a vector field. Proof. Calculation in coordinates. Suppose we are given X, Y X(M) and in some local coordinates X = X i i, Y = Y i i. For an arbitrary function f we have X(Y f) = X i i (Y j j f) = X i i Y j j f + X i Y j 2 ijf 5

6 (where we identify vector fields with operators on functions). Here 2 ijf = 2 f x i x j. In the same way we have Y (Xf) = Y i i X j j f + Y i X j 2 ijf. We can rename indices in the second term to get Y (Xf) = Y i i X j j f + Y j X i 2 jif = Y i i X j j f + Y j X i 2 ijf, where we have used the commutativity of the second partial derivatives. Therefore we obtain (XY Y X)f = X(Y f) Y (Xf) = X i i Y j j f Y i i X j j f = (X i i Y j Y i i X j ) j f. We conclude that the commutator of vector fields X and Y is indeed a vector field given by ) [X, Y ] = (X i i Y j Y i i X j j (2) in local coordinates. We have obtained a binary operation on vector fields, called their commutator or (sometimes) the Lie bracket. An explicit formula is coordinates is equation (2). The following form of this formula is convenient for practical calculations: [X, Y ] = X(Y j ) j Y (X j ) j. (3) (It has the appearance of taking the derivative of the vector field Y along the vector field X minus the same with X and Y swapped. Here taking the derivative of one vector field along the other means taking the derivative of the components. Unfortunately, this makes sense only in a fixed coordinate system. However, the difference, which is the commutator, makes good sense independent of coordinates.) Remark 4.2. As one can see from the calculation, the product (composition) XY of two vector fields X, Y as operators on functions is no longer a vector field. (It is a differential operator of the second order.) Hence the significance of the fact that the commutator [X, Y ] is a vector field. Theorem 4.5. The commutator of vector fields has the following properties: 6

7 1. bilinearity over numbers: [cx, Y ] = c[x, Y ], [X + Y, Z] = [X, Z] + [Y, Z], (and the same w.r.t. the second argument); 2. antisymmetry: [X, Y ] = [Y, X] ; 3. Jacobi identity: for all X, Y, Z X(M) and c R. [X, [Y, Z]] + [Z, [X, Y ]] + [Y, [Z, X]] = 0, Proof. Bilinearity and antisymmetry are obvious from the definition. Let us check the Jacobi identity. By expanding the commutators we have [X, [Y, Z]] + [Z, [X, Y ]] + [Y, [Z, X]] = as claimed. X(Y Z ZY ) (Y Z ZY )X + Z(XY Y X) (XY Y X)Z + Y (ZX XZ) (ZX XZ)Y = XY Z XZY Y ZX + ZY X + ZXY ZY X XY Z + Y XZ + Y ZX Y XZ ZXY + XZY = 0 Definition 4.3. A vector space endowed with a bilinear antisymmetric operator satisfying the Jacobi identity is called a Lie algebra. Therefore the space X(M) with the operation of commutator is a Lie algebra. Lie algebras play fundamental role in many areas of mathematics. Typical examples of Lie algebras, besides the Lie algebras of vector fields X(M), include various matrix Lie algebras, where the operation is the matrix commutator. See examples below. Remark 4.3. Vector fields can also be multiplied by functions, but the commutator of vector fields is not bilinear w.r.t. this multiplication (one cannot take functions out). Check that [X, fy ] = f[x, Y ] + (Xf) Y, where Xf = X f = X i i f is the extra term. 7

8 Our proof of Theorem 4.4 was based on a direct coordinate calculation. A more elucidating approach is possible. For an arbitrary algebra A consider the space of all derivations of A, i.e., the linear operators D : A A satisfying the Leibniz identity D(ab) = D(a) b + a D(b) for all elements a, b A. It is denoted Der A. One can consider commutators of derivations (as linear operators). Theorem 4.6. The commutator of derivations is a derivation. Therefore the space Der A is a Lie algebra w.r.t. the commutator. Proof. Consider two derivations D 1 and D 2. We have D 1 (D 2 (ab)) = D 1 ( D2 (a) b + a D 2 (b) ) = D 1 (D 2 (a)) b + D 2 (a) D 1 (b)+ and similarly D 1 (a) D 2 (b) + a D 1 (D 2 (b)) D 2 (D 1 (ab)) = D 2 (D 1 (a)) b + D 1 (a) D 2 (b) + D 2 (a) D 1 (b) + a D 2 (D 1 (b)). After subtracting, the cross terms such as D 1 (a) D 2 (b) are cancelled and we arrive at [D 1, D 2 ](ab) = D 1 (D 2 (ab)) D 2 (D 1 (ab)) = D 1 (D 2 (a)) b D 2 (D 1 (a)) b + a D 1 (D 2 (b)) a D 2 (D 1 (b)) = Hence [D 1, D 2 ] is a derivation as claimed. [D 1, D 2 ](a) b + a [D 1, D 2 ](b). Now we see that Theorem 4.4 follows from Theorem 4.6 if we identify the space X(M) with Der A for the algebra A = C (M). Example 4.1. Check that the following subspaces of the space of all n n matrices are closed under the commutator: the space of all antisymmetric matrices; the space of all trace-free matrices; 8

9 (for matrices with complex entries) the space of all anti-hermitian matrices, i.e., satisfying A T = A; the space of all upper-triangular matrices (unlike the previous examples, it is already closed under the matrix product). Therefore all these spaces give examples of Lie algebras. Example 4.2. The ordinary Euclidean three-space becomes a Lie algebra w.r.t. the operation of the cross-product (or vector product) of vectors: (u, v) u v, defined, e.g., via a determinant. It is not easy to establish the Jacobi identity directly. However, one can check that the following linear transformation 0 u 3 u 2 u = (u 1, u 2, u 3 ) u 0 u 1 u 2 u 1 0 maps the vector product on R 3 to the commutator of matrices (it is sufficient to check this for the standard basis vectors i, j, k), and the Jacobi identity follows. The Jacobi identity for the matrix Lie algebras is checked in the same way as we did for vector fields. Since the check uses nothing but the associativity of the composition, it carries through to arbitrary associative algebras: each such an algebra gives rise to a Lie algebra by setting [a, b] = ab ba. 4.3 Flow of a vector field Vector fields on a manifold have the following geometrical interpretation. We have a manifold (or its open subset) and to each point of it a tangent vector is attached. If we imagine our manifold as sitting in some large R N, we have a picture of tangent arrows at each point. Interpreting a tangent vector as the velocity of a curve, we have a flow of some fluid flowing on our manifold so that the velocity of the flow at each point is given by the vector attached to that point. (In particular, this is a stationary flow, in the sense that the velocities of particles traveling through any given point are the same and do not depend on the time, so the velocity is a function of a point only.) Such a hydrodynamic interpretation of vector fields as the velocity fields is very 9

10 important. Now we shall elaborate it and in particular define the flow of a vector field as a precise mathematical notion. If u = u(x) is a vector field on M, we can associate with it the following ordinary differential equation on M, which will become a system of ODEs when written in coordinates: dx dt = u(x). (4) Here x = x(t) and the parameter t (the time) runs over some interval, e.g., t ( ε, ε). In coordinates, dx i dt = ui (x), (5) where i = 1,..., n. This is a system of non-linear (in general) ordinary differential equations, with the RHS not depending on the time explicitly. (Such systems are called autonomous.) We shall make use of the two main facts concerning such systems. Firstly, if an initial value x(t 0 ) = x 0 is fixed for some moment of time t 0, there is a unique solution x = x(t) with this initial value for t in some interval around t = t 0 ( the existence and uniqueness theorem for solutions of ODEs ). The solutions x = x(t) are called the trajectories or the integral curves of the vector field u. Secondly, for this unique solution of our ODE with a given initial value x(t 0 ) = x 0, it depends smoothly on x 0 M ( the smooth dependence on initial value theorem ). It follows that we have a well-defined smooth map g t : M M, g t : x 0 g t (x 0 ) = x(t), for each t, where x(t) is the solution of (4) with the initial value x(0) = x 0. Here t belongs to some interval around zero, depending, in principle, on x 0. To avoid complicated notation we shall neglect this fact and write all the formulas as if t can take any value. The uniqueness of solution implies that the family of maps g t : M M has the following properties: g 0 = id (6) (indeed, this simply restates that g 0 (x 0 ) = x(0) = x 0 for any x 0 M taken as the initial value for x(t) at t = 0); g t = g 1 t (7) 10

11 (indeed, this simply says that if we travel along a trajectory from any given point backward in time for the time interval t and then take the result as an initial value and travel in the forward direction for the same t, we shall return to the original point; and the same if we do it other way round: first moving forward and then, back); g t+s = g t g s (8) (this means that, starting from any point, if we travel along a trajectory for the time interval s and then, t, it is the same as to travel for the interval t + s; again follows from the uniqueness of solution). Any family of transformations of a manifold M satisfying (6), (7), (8), which are automatically invertible due to (7), is called a one-parameter group of transformations (or diffeomorphisms) of M or, shortly, a flow on M. We see that any vector field on M gives rise to a flow, which is called the flow of a vector field (or: generated by a vector field), with the vector field called as the generator of a flow. Finding the flow for a given vector field u is the same as solving equation (4) for all initial values. Example 4.3. Let M = R n and u(x) = a (a constant vector). Then (4) will be dx dt = a, which has the general solution x = at + x 0, where x 0 = x(0). Hence the flow g t consists of parallel shifts of all points in the direction of the constant vector a: g t : x x + at for any t R. The trajectories are the straight lines parallel to a. Example 4.4. Let M = R 2 and suppose a vector field X is given in Cartesian coordinates as X = ye x + xe y. To find its flow we have to solve the system { x = y y = x (the time derivative denoted by the dot). This can be written in the matrix form as ( ) ( ) ( ) d x 0 1 x =. dt y 1 0 y 11

12 The solution is given by the matrix exponential: where A = x = e At x 0 ( ) Since in our case A 2 = E, A 3 = A, A 4 = E, etc. (E is the identity matrix), we have ( ) cos t sin t e At =. sin t cos t Therefore the flow g t : R 2 R 2 is ( ) ( ) ( ) x cos t sin t x g t :, y sin t cos t y i.e., is the rotations around the origin through angle t. The trajectories are the circles with the center at the origin, and the origin itself (the whole trajectory is one point). 12

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M. 5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that

More information

0.1 Diffeomorphisms. 0.2 The differential

0.1 Diffeomorphisms. 0.2 The differential Lectures 6 and 7, October 10 and 12 Easy fact: An open subset of a differentiable manifold is a differentiable manifold of the same dimension the ambient space differentiable structure induces a differentiable

More information

7 Curvature of a connection

7 Curvature of a connection [under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the

More information

CALCULUS ON MANIFOLDS

CALCULUS ON MANIFOLDS CALCULUS ON MANIFOLDS 1. Manifolds Morally, manifolds are topological spaces which locally look like open balls of the Euclidean space R n. One can construct them by piecing together such balls ( cells

More information

1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps 1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

More information

b) The system of ODE s d x = v(x) in U. (2) dt

b) The system of ODE s d x = v(x) in U. (2) dt How to solve linear and quasilinear first order partial differential equations This text contains a sketch about how to solve linear and quasilinear first order PDEs and should prepare you for the general

More information

CALCULUS ON MANIFOLDS

CALCULUS ON MANIFOLDS CALCULUS ON MANIFOLDS 1. Introduction. Crash course on the Multivariate Calculus 1.1. Linear algebra. Field of real numbers R and its completeness. Real line R 1 and real spaces R n. Linear functionals,

More information

1 Differentiable manifolds and smooth maps. (Solutions)

1 Differentiable manifolds and smooth maps. (Solutions) 1 Differentiable manifolds and smooth maps Solutions Last updated: February 16 2012 Problem 1 a The projection maps a point P x y S 1 to the point P u 0 R 2 the intersection of the line NP with the x-axis

More information

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.

More information

1 Differentiable manifolds and smooth maps. (Solutions)

1 Differentiable manifolds and smooth maps. (Solutions) 1 Differentiable manifolds and smooth maps Solutions Last updated: March 17 2011 Problem 1 The state of the planar pendulum is entirely defined by the position of its moving end in the plane R 2 Since

More information

Math 147, Homework 1 Solutions Due: April 10, 2012

Math 147, Homework 1 Solutions Due: April 10, 2012 1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M

More information

Reminder on basic differential geometry

Reminder on basic differential geometry Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear

More information

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Most of the groups we will be considering this semester will be matrix groups, i.e. subgroups of G = Aut(V ), the group

More information

7. Baker-Campbell-Hausdorff formula

7. Baker-Campbell-Hausdorff formula 7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood

More information

1 Introduction: connections and fiber bundles

1 Introduction: connections and fiber bundles [under construction] 1 Introduction: connections and fiber bundles Two main concepts of differential geometry are those of a covariant derivative and of a fiber bundle (in particular, a vector bundle).

More information

Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course

Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course Matrix Lie groups and their Lie algebras Mahmood Alaghmandan A project in fulfillment of the requirement for the Lie algebra course Department of Mathematics and Statistics University of Saskatchewan March

More information

Sec. 1.1: Basics of Vectors

Sec. 1.1: Basics of Vectors Sec. 1.1: Basics of Vectors Notation for Euclidean space R n : all points (x 1, x 2,..., x n ) in n-dimensional space. Examples: 1. R 1 : all points on the real number line. 2. R 2 : all points (x 1, x

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

4.7 The Levi-Civita connection and parallel transport

4.7 The Levi-Civita connection and parallel transport Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

2 Constructions of manifolds. (Solutions)

2 Constructions of manifolds. (Solutions) 2 Constructions of manifolds. (Solutions) Last updated: February 16, 2012. Problem 1. The state of a double pendulum is entirely defined by the positions of the moving ends of the two simple pendula of

More information

5 Constructions of connections

5 Constructions of connections [under construction] 5 Constructions of connections 5.1 Connections on manifolds and the Levi-Civita theorem We start with a bit of terminology. A connection on the tangent bundle T M M of a manifold M

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

CHAPTER 1 PRELIMINARIES

CHAPTER 1 PRELIMINARIES CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable

More information

Linear Algebra March 16, 2019

Linear Algebra March 16, 2019 Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented

More information

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps LECTURE 5: SMOOTH MAPS 1. Smooth Maps Recall that a smooth function on a smooth manifold M is a function f : M R so that for any chart 1 {ϕ α, U α, V α } of M, the function f ϕ 1 α is a smooth function

More information

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up

More information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are

More information

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at

More information

Symplectic and Poisson Manifolds

Symplectic and Poisson Manifolds Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to

More information

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,

More information

Symmetric Spaces Toolkit

Symmetric Spaces Toolkit Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................

More information

Derivations and differentials

Derivations and differentials Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,

More information

with a given direct sum decomposition into even and odd pieces, and a map which is bilinear, satisfies the associative law for multiplication, and

with a given direct sum decomposition into even and odd pieces, and a map which is bilinear, satisfies the associative law for multiplication, and Chapter 2 Rules of calculus. 2.1 Superalgebras. A (commutative associative) superalgebra is a vector space A = A even A odd with a given direct sum decomposition into even and odd pieces, and a map A A

More information

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory

More information

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction

More information

Let us recall in a nutshell the definition of some important algebraic structure, increasingly more refined than that of group.

Let us recall in a nutshell the definition of some important algebraic structure, increasingly more refined than that of group. Chapter 1 SOME MATHEMATICAL TOOLS 1.1 Some definitions in algebra Let us recall in a nutshell the definition of some important algebraic structure, increasingly more refined than that of group. Ring A

More information

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................

More information

A brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström

A brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal

More information

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables. Chapter 2 First order PDE 2.1 How and Why First order PDE appear? 2.1.1 Physical origins Conservation laws form one of the two fundamental parts of any mathematical model of Continuum Mechanics. These

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

Choice of Riemannian Metrics for Rigid Body Kinematics

Choice of Riemannian Metrics for Rigid Body Kinematics Choice of Riemannian Metrics for Rigid Body Kinematics Miloš Žefran1, Vijay Kumar 1 and Christopher Croke 2 1 General Robotics and Active Sensory Perception (GRASP) Laboratory 2 Department of Mathematics

More information

The prototypes of smooth manifolds

The prototypes of smooth manifolds The prototypes of smooth manifolds The prototype smooth manifolds are the open subsets of R n. If U is an open subset of R n, a smooth map from U to R m is an m-tuple of real valued functions (f 1, f 2,...,

More information

Course Summary Math 211

Course Summary Math 211 Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.

More information

Chap. 1. Some Differential Geometric Tools

Chap. 1. Some Differential Geometric Tools Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U

More information

THEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009

THEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009 [under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was

More information

Differentiation. f(x + h) f(x) Lh = L.

Differentiation. f(x + h) f(x) Lh = L. Analysis in R n Math 204, Section 30 Winter Quarter 2008 Paul Sally, e-mail: sally@math.uchicago.edu John Boller, e-mail: boller@math.uchicago.edu website: http://www.math.uchicago.edu/ boller/m203 Differentiation

More information

Formal Groups. Niki Myrto Mavraki

Formal Groups. Niki Myrto Mavraki Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal

More information

2. Intersection Multiplicities

2. Intersection Multiplicities 2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

More information

Lecture 8. Connections

Lecture 8. Connections Lecture 8. Connections This lecture introduces connections, which are the machinery required to allow differentiation of vector fields. 8.1 Differentiating vector fields. The idea of differentiating vector

More information

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold

More information

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T 1 1 Linear Systems The goal of this chapter is to study linear systems of ordinary differential equations: ẋ = Ax, x(0) = x 0, (1) where x R n, A is an n n matrix and ẋ = dx ( dt = dx1 dt,..., dx ) T n.

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

3 Applications of partial differentiation

3 Applications of partial differentiation Advanced Calculus Chapter 3 Applications of partial differentiation 37 3 Applications of partial differentiation 3.1 Stationary points Higher derivatives Let U R 2 and f : U R. The partial derivatives

More information

TANGENT VECTORS. THREE OR FOUR DEFINITIONS.

TANGENT VECTORS. THREE OR FOUR DEFINITIONS. TANGENT VECTORS. THREE OR FOUR DEFINITIONS. RMONT We define and try to understand the tangent space of a manifold Q at a point q, as well as vector fields on a manifold. The tangent space at q Q is a real

More information

Appendix E : Note on regular curves in Euclidean spaces

Appendix E : Note on regular curves in Euclidean spaces Appendix E : Note on regular curves in Euclidean spaces In Section III.5 of the course notes we posed the following question: Suppose that U is a connected open subset of R n and x, y U. Is there a continuous

More information

1 Categorical Background

1 Categorical Background 1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

More information

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

7. Homotopy and the Fundamental Group

7. Homotopy and the Fundamental Group 7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have

More information

4 Divergence theorem and its consequences

4 Divergence theorem and its consequences Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........

More information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

UNDERSTANDING THE DIAGONALIZATION PROBLEM. Roy Skjelnes. 1.- Linear Maps 1.1. Linear maps. A map T : R n R m is a linear map if

UNDERSTANDING THE DIAGONALIZATION PROBLEM. Roy Skjelnes. 1.- Linear Maps 1.1. Linear maps. A map T : R n R m is a linear map if UNDERSTANDING THE DIAGONALIZATION PROBLEM Roy Skjelnes Abstract These notes are additional material to the course B107, given fall 200 The style may appear a bit coarse and consequently the student is

More information

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like

More information

Math 147, Homework 5 Solutions Due: May 15, 2012

Math 147, Homework 5 Solutions Due: May 15, 2012 Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is

More information

Chern forms and the Fredholm determinant

Chern forms and the Fredholm determinant CHAPTER 10 Chern forms and the Fredholm determinant Lecture 10: 20 October, 2005 I showed in the lecture before last that the topological group G = G (Y ;E) for any compact manifold of positive dimension,

More information

MANIFOLD STRUCTURES IN ALGEBRA

MANIFOLD STRUCTURES IN ALGEBRA MANIFOLD STRUCTURES IN ALGEBRA MATTHEW GARCIA 1. Definitions Our aim is to describe the manifold structure on classical linear groups and from there deduce a number of results. Before we begin we make

More information

Contents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces

Contents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v 250) Contents 2 Vector Spaces 1 21 Vectors in R n 1 22 The Formal Denition of a Vector Space 4 23 Subspaces 6 24 Linear Combinations and

More information

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt.

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt. RIEMANN SURFACES 6. Week 7: Differential forms. De Rham complex 6.1. Introduction. The notion of differential form is important for us for various reasons. First of all, one can integrate a k-form along

More information

TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology

TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology DONALD M. DAVIS Abstract. We use ku-cohomology to determine lower bounds for the topological complexity of mod-2 e lens spaces. In the

More information

Lecture 2: Review of Prerequisites. Table of contents

Lecture 2: Review of Prerequisites. Table of contents Math 348 Fall 217 Lecture 2: Review of Prerequisites Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams. In this

More information

Fall, 2003 CIS 610. Advanced geometric methods. Homework 3. November 11, 2003; Due November 25, beginning of class

Fall, 2003 CIS 610. Advanced geometric methods. Homework 3. November 11, 2003; Due November 25, beginning of class Fall, 2003 CIS 610 Advanced geometric methods Homework 3 November 11, 2003; Due November 25, beginning of class You may work in groups of 2 or 3 Please, write up your solutions as clearly and concisely

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n

NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n 1. What is a form? Since we re not following the development in Guillemin and Pollack, I d better write up an alternate approach. In this approach, we

More information

Chapter 3a Topics in differentiation. Problems in differentiation. Problems in differentiation. LC Abueg: mathematical economics

Chapter 3a Topics in differentiation. Problems in differentiation. Problems in differentiation. LC Abueg: mathematical economics Chapter 3a Topics in differentiation Lectures in Mathematical Economics L Cagandahan Abueg De La Salle University School of Economics Problems in differentiation Problems in differentiation Problem 1.

More information

Lie algebra cohomology

Lie algebra cohomology Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and

More information

ALGEBRAIC GROUPS: PART III

ALGEBRAIC GROUPS: PART III ALGEBRAIC GROUPS: PART III EYAL Z. GOREN, MCGILL UNIVERSITY Contents 10. The Lie algebra of an algebraic group 47 10.1. Derivations 47 10.2. The tangent space 47 10.2.1. An intrinsic algebraic definition

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

DIFFERENTIAL GEOMETRY. LECTURE 12-13,

DIFFERENTIAL GEOMETRY. LECTURE 12-13, DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of

More information

Notes on the Riemannian Geometry of Lie Groups

Notes on the Riemannian Geometry of Lie Groups Rose- Hulman Undergraduate Mathematics Journal Notes on the Riemannian Geometry of Lie Groups Michael L. Geis a Volume, Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre

More information

14 Divergence, flux, Laplacian

14 Divergence, flux, Laplacian Tel Aviv University, 204/5 Analysis-III,IV 240 4 Divergence, flux, Laplacian 4a What is the problem................ 240 4b Integral of derivative (again)........... 242 4c Divergence and flux.................

More information

Robustly transitive diffeomorphisms

Robustly transitive diffeomorphisms Robustly transitive diffeomorphisms Todd Fisher tfisher@math.byu.edu Department of Mathematics, Brigham Young University Summer School, Chengdu, China 2009 Dynamical systems The setting for a dynamical

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

Linear Algebra. Preliminary Lecture Notes

Linear Algebra. Preliminary Lecture Notes Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........

More information

7 Planar systems of linear ODE

7 Planar systems of linear ODE 7 Planar systems of linear ODE Here I restrict my attention to a very special class of autonomous ODE: linear ODE with constant coefficients This is arguably the only class of ODE for which explicit solution

More information

Exercises for Unit I I (Vector algebra and Euclidean geometry)

Exercises for Unit I I (Vector algebra and Euclidean geometry) Exercises for Unit I I (Vector algebra and Euclidean geometry) I I.1 : Approaches to Euclidean geometry Ryan : pp. 5 15 1. What is the minimum number of planes containing three concurrent noncoplanar lines

More information

Taylor Series and stationary points

Taylor Series and stationary points Chapter 5 Taylor Series and stationary points 5.1 Taylor Series The surface z = f(x, y) and its derivatives can give a series approximation for f(x, y) about some point (x 0, y 0 ) as illustrated in Figure

More information

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication 7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =

More information

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain. Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric

More information

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition) Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational

More information

Elementary realization of BRST symmetry and gauge fixing

Elementary realization of BRST symmetry and gauge fixing Elementary realization of BRST symmetry and gauge fixing Martin Rocek, notes by Marcelo Disconzi Abstract This are notes from a talk given at Stony Brook University by Professor PhD Martin Rocek. I tried

More information

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let

More information