Prolog Algebra / Analysis vs Geometry Relativity → Riemannian Geometry Symmetry → Lie Derivatives → Lie Group → Lie Algebra Integration → Differential.

Slides:



Advertisements
Similar presentations
Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
Advertisements

Chapter 4 Euclidean Vector Spaces
3D Geometry for Computer Graphics
Prolog Algebra / Analysis vs Geometry Relativity → Riemannian Geometry Symmetry → Lie Derivatives → Lie Group → Lie Algebra Integration → Differential.
1.Vectors in Space 2.Length and Angle Measures II. Linear Geometry of n-Space.
Chapter 5 Orthogonality
I. Homomorphisms & Isomorphisms II. Computing Linear Maps III. Matrix Operations VI. Change of Basis V. Projection Topics: Line of Best Fit Geometry of.
6. One-Dimensional Continuous Groups 6.1 The Rotation Group SO(2) 6.2 The Generator of SO(2) 6.3 Irreducible Representations of SO(2) 6.4 Invariant Integration.
Computer Graphics Recitation 5.
4.I. Definition 4.II. Geometry of Determinants 4.III. Other Formulas Topics: Cramer’s Rule Speed of Calculating Determinants Projective Geometry Chapter.
5.II. Similarity 5.II.1. Definition and Examples
Chapter 3 Determinants and Matrices
Chapter Two: Vector Spaces I.Definition of Vector Space II.Linear Independence III.Basis and Dimension Topic: Fields Topic: Crystals Topic: Voting Paradoxes.
The Terms that You Have to Know! Basis, Linear independent, Orthogonal Column space, Row space, Rank Linear combination Linear transformation Inner product.
Chapter 1 Vector analysis
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 08 Chapter 8: Linear Transformations.
化工應用數學 授課教師: 郭修伯 Lecture 9 Matrices
Stats & Linear Models.
Linear Algebra Review By Tim K. Marks UCSD Borrows heavily from: Jana Kosecka Virginia de Sa (UCSD) Cogsci 108F Linear.
Introduction The central problems of Linear Algebra are to study the properties of matrices and to investigate the solutions of systems of linear equations.
Compiled By Raj G. Tiwari
Math 3121 Abstract Algebra I Lecture 3 Sections 2-4: Binary Operations, Definition of Group.
1 February 24 Matrices 3.2 Matrices; Row reduction Standard form of a set of linear equations: Chapter 3 Linear Algebra Matrix of coefficients: Augmented.
8.1 Vector spaces A set of vector is said to form a linear vector space V Chapter 8 Matrices and vector spaces.
Review of basic concepts and facts in linear algebra Matrix HITSZ Instructor: Zijun Luo Fall 2012.
Kansas State University Department of Computing and Information Sciences CIS 736: Computer Graphics Monday, 26 January 2004 William H. Hsu Department of.
Slide Chapter 7 Systems and Matrices 7.1 Solving Systems of Two Equations.
CHAPTER FIVE Orthogonality Why orthogonal? Least square problem Accuracy of Numerical computation.
Elementary Linear Algebra Anton & Rorres, 9th Edition
CHAP 0 MATHEMATICAL PRELIMINARY
Digital Image Processing, 3rd ed. © 1992–2008 R. C. Gonzalez & R. E. Woods Gonzalez & Woods Matrices and Vectors Objective.
Network Systems Lab. Korea Advanced Institute of Science and Technology No.1 Appendix A. Mathematical Background EE692 Parallel and Distribution Computation.
General (point-set) topology Jundong Liu Ohio Univ.
Matrices CHAPTER 8.1 ~ 8.8. Ch _2 Contents  8.1 Matrix Algebra 8.1 Matrix Algebra  8.2 Systems of Linear Algebra Equations 8.2 Systems of Linear.
Chap. 6 Linear Transformations
17. Group Theory 1.Introduction to Group Theory 2.Representation of Groups 3.Symmetry & Physics 4.Discrete Groups 5.Direct Products 6.Symmetric Groups.
Mathematical foundationsModern Seismology – Data processing and inversion 1 Some basic maths for seismic data processing and inverse problems (Refreshement.
Matrix Differential Calculus By Dr. Md. Nurul Haque Mollah, Professor, Dept. of Statistics, University of Rajshahi, Bangladesh Dr. M. N. H. MOLLAH.
Gauge Fields, Knots and Gravity Wayne Lawton Department of Mathematics National University of Singapore (65)
Elementary Linear Algebra Anton & Rorres, 9th Edition
Chapter 1 SETS, FUNCTIONs, ELEMENTARY LOGIC & BOOLEAN ALGEBRAs BY: MISS FARAH ADIBAH ADNAN IMK.
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 02 Chapter 2: Determinants.
Chapter 3 Determinants Linear Algebra. Ch03_2 3.1 Introduction to Determinants Definition The determinant of a 2  2 matrix A is denoted |A| and is given.
A Review of Some Fundamental Mathematical and Statistical Concepts UnB Mestrado em Ciências Contábeis Prof. Otávio Medeiros, MSc, PhD.
Dr. Wang Xingbo Fall , 2005 Mathematical & Mechanical Method in Mechanical Engineering.
Review of Matrix Operations Vector: a sequence of elements (the order is important) e.g., x = (2, 1) denotes a vector length = sqrt(2*2+1*1) orientation.
Mathematical Tools of Quantum Mechanics
Signal & Weight Vector Spaces
A function is a rule f that associates with each element in a set A one and only one element in a set B. If f associates the element b with the element.
Hodge Theory Calculus on Smooth Manifolds. by William M. Faucette Adapted from lectures by Mark Andrea A. Cataldo.
Unsupervised Learning II Feature Extraction
Boot Camp in Linear Algebra TIM 209 Prof. Ram Akella.
1 Objective To provide background material in support of topics in Digital Image Processing that are based on matrices and/or vectors. Review Matrices.
Matrices, Vectors, Determinants.
Lecture XXVI.  The material for this lecture is found in James R. Schott Matrix Analysis for Statistics (New York: John Wiley & Sons, Inc. 1997).  A.
INTRODUCTION SC116: Algebraic Structures Short Title of the Course: ALG Instructor: Professor Samaresh Chatterji.
Beyond Vectors Hung-yi Lee. Introduction Many things can be considered as “vectors”. E.g. a function can be regarded as a vector We can apply the concept.
Introduction The central problems of Linear Algebra are to study the properties of matrices and to investigate the solutions of systems of linear equations.
Review of Matrix Operations
Matrices and vector spaces
Linear Algebra Lecture 36.
CS201: Data Structures and Discrete Mathematics I
Systems of First Order Linear Equations
Differential Manifolds and Tensors
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Lecture on Linear Algebra
Chapter 3 Linear Algebra
Elementary Linear Algebra
MA5242 Wavelets Lecture 1 Numbers and Vector Spaces
Chapter 2 Determinants.
Presentation transcript:

Prolog Algebra / Analysis vs Geometry Relativity → Riemannian Geometry Symmetry → Lie Derivatives → Lie Group → Lie Algebra Integration → Differential forms → Homotopy, Cohomology Tensor / Gauge Fields → Fibre Bundles Topology Website: Homework Hamiltonian dynamics Electrodynamics Thermodynamics Statistics Fluid Dynamics Defects

Supplementary Y.Choquet-Bruhat et al, “Analysis, Manifolds & Physics”, rev. ed., North Holland (82) H.Flanders, “Differential Forms”, Academic Press (63) R.Aldrovandi, J.G.Pereira, “An Introduction to Geometrical Physics”, World Scientific (95) T.Frankel, “The Geometry of Physics”, 2nd ed., CUP (03) B.F.Schutz, “Geometrical Methods of Mathematical Physics”, CUP (80) Main Textbook

Geometrical Methods of Mathematical Physics 1.Some Basic Mathematics 2.Differentiable Manifolds And Tensors 3.Lie Derivatives And Lie Groups 4.Differential Forms 5.Applications In Physics 6.Connections For Riemannian Manifolds And Gauge Theories Bernard F. Schutz, Cambridge University Press (80)

1. Some Basic Mathematics 1.1The Space R n And Its Topology 1.2 Mappings 1.3 Real Analysis 1.4 Group Theory 1.5 Linear Algebra 1.6 The Algebra Of Square Matrices See: Choquet, Chapter I.

Basic Algebraic Structures See §1.5 for details. Structures with only internal operations: Group ( G,  ) Ring ( R, +,  ) : ( no e, or x  1 ) Field ( F, +,  ) : Ring with e & x  1 except for 0. Structures with external scalar multiplication: Module ( M, +,  ; R ) Algebra ( A, +,  ; R with e ) Vector space ( V, + ; F ) Prototypes: R is a field. R n is a vector space.

1.1. The Space R n And Its Topology Goal: Extend multi-variable calculus (on E n ) to curved spaces without metric. –Bonus: vector calculus on E 3 in curvilinear coordinates Basic calculus concepts & tools (metric built-in): – Limit, continuity, differentiability, … – r-ball neighborhood, δ-ε formulism, … – Integration, … Essential concept in the absence of metric: Proximity → Topology.

A system U of subsets U i of a set X defines a topology on X if ( Closure under arbitrary unions. ) ( Closure under finite intersections. ) Elements U i of U are called open sets. A topological space is the minimal structure on which concepts of neighborhood, continuity, compactness, connectedness can be defined.

Trivial topology: U = { , X } → every function on X is dis-continuous Discrete topology: U = 2 X → every function on X is continuous Exact choice of topology is usually not very important: 2 topologies are equivalent if there exists an homeomorphism (bi-continuous bijection) between them. Tools for classification of topologies: topological invariances, homology, homotopy, …

= Set of all ordered n-tuples of real numbers ~ Prototype of an n-D continuum Distance function (Euclidean metric): (Open) Neighborhood / ball of radius r at x : A set S is open if Real number R = complete Archimedian ordered field. A set S is discrete if

Usual topology of R n = Topology with open balls as open sets Metric-free version: Define neighborhoods N r (x) in terms of open intervals / cubes. Preview: Continuity of functions will be defined in terms of open sets. Hausdorff separated: Distinct points possess disjoint neighborhoods. E.g., R n is Hausdorff separated.

1.2. Mappings by Map f from set X into set Y, denoted, associates each x  X uniquely with y = f (x)  Y. Domain of f = Range of f = Image of M under f = Inverse image of N under f = f  1 exists iff f is 1-1 (injective): f is onto (surjective) if f (X) = Y. f is a bijection if it is 1-1 onto.

by Composition Givenby The composition of f & g is the map

Elementary calculus version: Let f : R → R. Then f is continuous at x 0 if Open ball version: Let Then f is continuous at x 0 if Continuity i.e.,

Open set version : f continuous: Open set in domain (f ) is mapped to open set in codomain (f ). f discontinuous: Open set in domain (f ) is mapped to set not open in codomain (f ). Counter-example: f continuous but Open M → half-closed f(M) f is continuous if every open set in domain (f ) is mapped to an open set in codomain (f ) ? Wrong!

Correct criterion: f is continuous if every open set in codomain( f) has an open inverse image. Open N → half-closed f  1 (N)

Continuity at a point: f : X → Y is continuous at x if the inverse image of any open neighborhood of f (x) is open, i.e., f  1 ( N [f(x)] ) is open. Continuity in a region: f is continuous on M  X if f is continuous  x  M, i.e., the inverse image of every open set in M is open. Differentiability of f : R n → R i.e., Taylor expansion exists. f is smooth → k = whatever value necessary for problem at hand.

by Inverse function theorem : f is invertible in some neighborhood of x 0 if ( Jacobian ) Letthen where Let

1.3. Real Analysis is analytic at x 0 if f (x) has a Taylor series at x 0 if f is analytic over Domain( f) is square integrable on S  R n if exists. A square integrable function g can be approximated by an analytic function f s.t.

An operator on functions defined on R n maps functions to functions. E.g., Commutator of operators: s.t. A & B commute if E.g., Domain (AB)  C 2 but Domain ([A, B ])  C 1

1.4. Group Theory A group (G,  ) is a set G with an internal operation  : G  G → G that is 1. Associative: 2. Endowed with an identity element: 3. Endowed with an inverse for each element: A group (G, +) is Abelian if all of its elements commute: ( Identity is denoted by 0 ) Examples: ( R,+) is an Abelian group. The set of all permutations of n objects form the permutation group S n. All symmetries / transformations are members of some groups. It’s common practice to refer to group (G,  ) simply as group G.

(S,  ) is a subgroup of group (G,  ) if S  G. Rough definition: A Lie group is a group whose elements can be continuously parametrized. ~ continuous symmetries. E.g., The set of all even permutations is a subgroup of S n. But the set of all odd permutations is not a subgroup of S n (no e). Groups (G,  ) is homomorphic to (H,*) if  an onto map f : G → H s.t. It is an isomorphism if f is 1-1 onto. ( R +,  ) & ( R,+) are isomorphic with f = log so that

1.5. Linear Algebra Ring ( R, , + ) is a field if 1.  e  R s.t. e  x = x  e = x  x  R. 2.  x  1  R s.t. x  1  x = x  x  1 = e  x  R except 0. ( R, , + ) is a ring if 1.( R, + ) is an Abelian group. 2.  is associative & distributive wrt +, i.e.,  x,y,z  R, E.g., The set of all n  n matrices is a ring (no inverse). The function space is also a ring (no inverse). E.g., R & C are fields under algebraic multiplication & addition. See Choquet, Chap 1 or Aldrovandi, Math.1.

( V, + ; R ) is a module if 1.( V, + ) is an Abelian group. 2. R is a ring. 3. The scalar multiplication R  V→V by (a,v)   a v satisfies Module ( V, + ; F ) is a linear (vector) space if F is a field. 4. If R has an identity e, then ev = v  v  V. We’ll only use F = K = R or C. ( A, , + ; R ) is an algebra over ring R if 1. ( A, , + ) is a ring. 2. ( A, + ; R ) is a module s.t. Examples will be given in Chap 3

For historical reasons, the term “linear algebra” denotes the study of linear simultaneous equations, matrix algebra, & vector spaces. Mathematical justification: ( M, , + ; K ), where M is the set of all n  n matrices, is an algebra. Linear combination: { v i } is linearly independent if A basis for V is a maximal linearly independent set of vectors in V. The dimension of V is the number of elements in its basis. An n-D space V is sometimes denoted by V n. Given a basis { e i }, we have v i are called the components of v. Einstein’s notation A subspace of V is a subset of V that is also a vector space. Elements of vector space V are denoted either by bold faced or over-barred letters.

A norm on a linear space V over field K  R or C is a mapping s.t. ( Triangular inequality ) ( Positive semi-definite ) ( Linearity ) n is a semi- (pseudo-) norm if only 1 & 2 hold. A normed vector space is a linear space V endowed with a norm. Examples: Euclidean norm

An inner product on a linear space (V, + ; K ) is a mapping s.t. or, for physicists, u & v are orthogonal  Sometimes this is called a sesquilinear product and the term inner product is reserved for the case  v | u  =  u | v . by

Inner Product Spaces Inner product space  linear space endowed with an inner product. An inner product  |  induces a norm || || by Properties of an inner product space: ( Cauchy-Schwarz inequality ) ( Triangular inequality ) ( Parallelogram rule ) The parallelogram rule can be derived from the cosine rule : ( θ  angle between u & v )

1.6.The Algebra of Square Matrices A linear transformation T on vector space (V, + ; K ) is a map s.t. If { e i } is a basis of V, then  Settingwe have  T j i = (j,i)-element of matrix T Writing vectors as a column matrix, we have ( · = matrix multiplication )

In linear algebra, linear operators are associative, then  ~ i.e., linear associative operators can be represented by matrices. ~ Similarly, We’ll henceforth drop the symbol 

In general: Transpose: Adjoint: Unit matrix: Inverse: A is non-singular if A -1 exists. The set of all non-singular n  n matrices forms the group GL(n, K ). Determinant:

Cofactor: cof(A i j ) = (-) i+j  determinant of submatrix obtained by deleting the i-th row & j-th column of A. Laplace expansion: j arbitrary  See T.M.Apostol, “Linear Algebra”, Chap 5, for proof. Trace: Similarity transform of A by non-singular B:~ Det & Tr are invariant under a similarity transform:

Miscellaneous formulae λ is an eigenvalue of A if  v  0 s.t. ~ For an n-D space, λ satifies the secular equation: v is then called the eigenvector belonging to λ. There are always n complex eigenvalues and m eigenvectors with m  n. Eigenvalues of A & A T are the same.