Geometry and Symmetry The work of Gromov
|
|
|
- Belinda Harmon
- 7 years ago
- Views:
Transcription
1 Geometry and Symmetry The work of Gromov Kapil Hari Paranjape The Institute of Mathematical Sciences 5 April 2009
2 Research in Geometry? Conversation in a train: Co-passenger What are you scribbling on that notebook? Geometer I do research in Geometry. Co-passenger (genuinely puzzled) Is there anything left to do?
3 Research in Geometry? Conversation in a train: Co-passenger What are you scribbling on that notebook? Geometer I do research in Geometry. Co-passenger (genuinely puzzled) Is there anything left to do?
4 Research in Geometry? Conversation in a train: Co-passenger What are you scribbling on that notebook? Geometer I do research in Geometry. Co-passenger (genuinely puzzled) Is there anything left to do?
5 Research in Geometry? Conversation in a train: Co-passenger What are you scribbling on that notebook? Geometer I do research in Geometry. Co-passenger (genuinely puzzled) Is there anything left to do?
6 Research in Geometry? Conversation in a train: Co-passenger What are you scribbling on that notebook? Geometer I do research in Geometry. Co-passenger (genuinely puzzled) Is there anything left to do?
7 Some Important Geometric Figures René Descartes Bernhard Riemann Sophus Lie Felix Klein Élie Cartan Mikhail Gromov
8 A Group of Axioms A Group is a set G, with a special element e called the identity element, a binary operation µ called group multiplication and a unary operation ι called inversion such that: The operation µ is associative µ(a, µ(b, c)) = µ(µ(a, b), c) The element e is a multiplicative identity µ(a, e) = e = µ(e, a) The inversion of an element provides a multiplicative inverse µ(a, ι(a)) = e = µ(ι(a), a)
9 A Group of Axioms A Group is a set G, with a special element e called the identity element, a binary operation µ called group multiplication and a unary operation ι called inversion such that: The operation µ is associative µ(a, µ(b, c)) = µ(µ(a, b), c) The element e is a multiplicative identity µ(a, e) = e = µ(e, a) The inversion of an element provides a multiplicative inverse µ(a, ι(a)) = e = µ(ι(a), a)
10 A Group of Axioms A Group is a set G, with a special element e called the identity element, a binary operation µ called group multiplication and a unary operation ι called inversion such that: The operation µ is associative µ(a, µ(b, c)) = µ(µ(a, b), c) The element e is a multiplicative identity µ(a, e) = e = µ(e, a) The inversion of an element provides a multiplicative inverse µ(a, ι(a)) = e = µ(ι(a), a)
11 A Group of Axioms A Group is a set G, with a special element e called the identity element, a binary operation µ called group multiplication and a unary operation ι called inversion such that: The operation µ is associative µ(a, µ(b, c)) = µ(µ(a, b), c) The element e is a multiplicative identity µ(a, e) = e = µ(e, a) The inversion of an element provides a multiplicative inverse µ(a, ι(a)) = e = µ(ι(a), a)
12 Reflections on Geometry High school (or Euclidean) geometry can be seen as the properties of figures that are preserved under the group generated by reflections. This group also contains rotations and translations.
13 Reflections on Geometry High school (or Euclidean) geometry can be seen as the properties of figures that are preserved under the group generated by reflections. This group also contains rotations and translations.
14 Reflections on Geometry High school (or Euclidean) geometry can be seen as the properties of figures that are preserved under the group generated by reflections. This group also contains rotations and translations.
15 Reflections on Geometry High school (or Euclidean) geometry can be seen as the properties of figures that are preserved under the group generated by reflections. This group also contains rotations and translations.
16 The Euclidean Group The group generated by reflections can be described in co-ordinate terms as the collection of all transformations of the form where, p Ap + w p denotes a point of the plane written as a vertical vector. A is a 2 2 orthogonal matrix (AA t = 1). w is some vector. This is an example of a Lie (or continuous or topological) group. The group operations are continuous.
17 The Euclidean Group The group generated by reflections can be described in co-ordinate terms as the collection of all transformations of the form where, p Ap + w p denotes a point of the plane written as a vertical vector. A is a 2 2 orthogonal matrix (AA t = 1). w is some vector. This is an example of a Lie (or continuous or topological) group. The group operations are continuous.
18 The Euclidean Group The group generated by reflections can be described in co-ordinate terms as the collection of all transformations of the form where, p Ap + w p denotes a point of the plane written as a vertical vector. A is a 2 2 orthogonal matrix (AA t = 1). w is some vector. This is an example of a Lie (or continuous or topological) group. The group operations are continuous.
19 The Euclidean Group The group generated by reflections can be described in co-ordinate terms as the collection of all transformations of the form where, p Ap + w p denotes a point of the plane written as a vertical vector. A is a 2 2 orthogonal matrix (AA t = 1). w is some vector. This is an example of a Lie (or continuous or topological) group. The group operations are continuous.
20 The Euclidean Group The group generated by reflections can be described in co-ordinate terms as the collection of all transformations of the form where, p Ap + w p denotes a point of the plane written as a vertical vector. A is a 2 2 orthogonal matrix (AA t = 1). w is some vector. This is an example of a Lie (or continuous or topological) group. The group operations are continuous.
21 Discrete Groups enter quietly There are also discrete groups of plane transformations that create interesting patterns: The basic ingredient of discrete groups in the plane is the lattice which can be thought of as moving like a rook on a chess board.
22 Discrete Groups enter quietly There are also discrete groups of plane transformations that create interesting patterns: The basic ingredient of discrete groups in the plane is the lattice which can be thought of as moving like a rook on a chess board.
23 Discrete Groups enter quietly There are also discrete groups of plane transformations that create interesting patterns: The basic ingredient of discrete groups in the plane is the lattice which can be thought of as moving like a rook on a chess board.
24 The Poincaré disk Poincaré visualised the non-euclidean plane as a disk which has the wierd property that things become smaller and smaller as they approach the boundary. Henri Poincaré The Poincaré Disk The strange consequence of this is that the shortest paths are not always along straight lines. Instead they are along circles that are perpendicular to the boundary.
25 The Poincaré disk Poincaré visualised the non-euclidean plane as a disk which has the wierd property that things become smaller and smaller as they approach the boundary. Henri Poincaré The Poincaré Disk The strange consequence of this is that the shortest paths are not always along straight lines. Instead they are along circles that are perpendicular to the boundary.
26 Broken Lattices Since shorter people take the same number of steps to walk a shorter distance(!)... the usual lattice based tiling of the plane breaks to become the tree-like tiling of the non-euclidean plane. 1 1 We ignore the curving of the paths in the picture.
27 Broken Lattices Since shorter people take the same number of steps to walk a shorter distance(!)... the usual lattice based tiling of the plane breaks to become the tree-like tiling of the non-euclidean plane. 1 1 We ignore the curving of the paths in the picture.
28 Broken Lattices Since shorter people take the same number of steps to walk a shorter distance(!)... the usual lattice based tiling of the plane breaks to become the tree-like tiling of the non-euclidean plane. 1 1 We ignore the curving of the paths in the picture.
29 A superior artist The artwork of M. C. Escher can explain this much better than my own (admittedly poor) artwork! Does he remind you of someone?!
30 A superior artist The artwork of M. C. Escher can explain this much better than my own (admittedly poor) artwork! Does he remind you of someone?!
31 A superior artist The artwork of M. C. Escher can explain this much better than my own (admittedly poor) artwork! Does he remind you of someone?!
32 Erlangen Programme Felix Klein proposed the unification of all (homogeneous) geometries by understanding the structure of groups. The structure of continuous groups. This part was to be done by Sophus Lie who had already done most of the groundwork. The structure of discrete groups. This was the monumental effort of Klein.
33 Erlangen Programme Felix Klein proposed the unification of all (homogeneous) geometries by understanding the structure of groups. The structure of continuous groups. This part was to be done by Sophus Lie who had already done most of the groundwork. The structure of discrete groups. This was the monumental effort of Klein.
34 Erlangen Programme Felix Klein proposed the unification of all (homogeneous) geometries by understanding the structure of groups. The structure of continuous groups. This part was to be done by Sophus Lie who had already done most of the groundwork. The structure of discrete groups. This was the monumental effort of Klein.
35 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
36 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
37 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
38 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
39 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
40 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
41 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
42 Riemann was the man Bernhard Riemann had taken a different approach. the fundamental geometric notion is that of the measurement of speed. Given a path between two points the length of the path is determined by integrating the speed. The geodesic is the path of least resistance or energy minimising path. It plays the role of straight line in the geometry of this space. Thus Riemann could construct and study geometries that were not homogeneous. In some sense in-homogeoneity is closer to physical reality, with homogeneity being a Platonic ideal.
43 Cartan blanched Élie Cartan was able to find a way to combine the work of Riemann on the one hand and the work of Lie and Klein on the other. His fundamental idea is: the infinitesimal geometry at any two points is isomorphic The theory of invariants tensors allows us to make this precise. Thus infinitesimal geometry is understood using the geometries of Klein and Lie, while allowing the development (or integral) of these structures to evolve in-homogeoneously.
44 Cartan blanched Élie Cartan was able to find a way to combine the work of Riemann on the one hand and the work of Lie and Klein on the other. His fundamental idea is: the infinitesimal geometry at any two points is isomorphic The theory of invariants tensors allows us to make this precise. Thus infinitesimal geometry is understood using the geometries of Klein and Lie, while allowing the development (or integral) of these structures to evolve in-homogeoneously.
45 Cartan blanched Élie Cartan was able to find a way to combine the work of Riemann on the one hand and the work of Lie and Klein on the other. His fundamental idea is: the infinitesimal geometry at any two points is isomorphic The theory of invariants tensors allows us to make this precise. Thus infinitesimal geometry is understood using the geometries of Klein and Lie, while allowing the development (or integral) of these structures to evolve in-homogeoneously.
46 Dead End? The work of Cartan provides the framework to study differential geometry even today. So it looked as if the final word on what is a geometry had been written! Not So! Says Misha
47 Dead End? The work of Cartan provides the framework to study differential geometry even today. So it looked as if the final word on what is a geometry had been written! Not So! Says Misha
48 A spider s web The kind of tiling (a discrete structure) that is available for a homogeneous geometry closely reflects the underlying (continuous) geometry. For example, the tiling groups for the Euclidean plane contain the lattice which is a free abelian group, whereas the tiling groups for the Poincaré disk contain the free (non-commutative) group. The free group F (a, b) on two generators a and b consists of all words in the symbols a, b, a 1 and b 1 ; where we are allowed to add and drop the pairs aa 1 ; a 1 a; bb 1 ; b 1 b when they occur (adjacently) in a word.
49 A spider s web The kind of tiling (a discrete structure) that is available for a homogeneous geometry closely reflects the underlying (continuous) geometry. For example, the tiling groups for the Euclidean plane contain the lattice which is a free abelian group, whereas the tiling groups for the Poincaré disk contain the free (non-commutative) group. The free group F (a, b) on two generators a and b consists of all words in the symbols a, b, a 1 and b 1 ; where we are allowed to add and drop the pairs aa 1 ; a 1 a; bb 1 ; b 1 b when they occur (adjacently) in a word.
50 A spider s web The kind of tiling (a discrete structure) that is available for a homogeneous geometry closely reflects the underlying (continuous) geometry. For example, the tiling groups for the Euclidean plane contain the lattice which is a free abelian group, whereas the tiling groups for the Poincaré disk contain the free (non-commutative) group. The free group F (a, b) on two generators a and b consists of all words in the symbols a, b, a 1 and b 1 ; where we are allowed to add and drop the pairs aa 1 ; a 1 a; bb 1 ; b 1 b when they occur (adjacently) in a word.
51 A spider s web The kind of tiling (a discrete structure) that is available for a homogeneous geometry closely reflects the underlying (continuous) geometry. For example, the tiling groups for the Euclidean plane contain the lattice which is a free abelian group, whereas the tiling groups for the Poincaré disk contain the free (non-commutative) group. The free group F (a, b) on two generators a and b consists of all words in the symbols a, b, a 1 and b 1 ; where we are allowed to add and drop the pairs aa 1 ; a 1 a; bb 1 ; b 1 b when they occur (adjacently) in a word.
52 Large scale structure Mikhail Gromov was able to define a precise relation-ship between the discrete and the continuous via the notion of quasi-isometry. A (set-theoretic) map f : X Y is said to be a (k, c) quasi-isometry if for any pair of points u, v in X we have d(u, v) kd(f (u), f (v)) + c d(f (u), f (v)) kd(u, v) + c This is a way of tearing and stitching together that leaves invariant certain kinds of hyperbolicity of the space.
53 Large scale structure Mikhail Gromov was able to define a precise relation-ship between the discrete and the continuous via the notion of quasi-isometry. A (set-theoretic) map f : X Y is said to be a (k, c) quasi-isometry if for any pair of points u, v in X we have d(u, v) kd(f (u), f (v)) + c d(f (u), f (v)) kd(u, v) + c This is a way of tearing and stitching together that leaves invariant certain kinds of hyperbolicity of the space.
54 Large scale structure Mikhail Gromov was able to define a precise relation-ship between the discrete and the continuous via the notion of quasi-isometry. A (set-theoretic) map f : X Y is said to be a (k, c) quasi-isometry if for any pair of points u, v in X we have d(u, v) kd(f (u), f (v)) + c d(f (u), f (v)) kd(u, v) + c This is a way of tearing and stitching together that leaves invariant certain kinds of hyperbolicity of the space.
55 Hyperbolicity The fundamental property of non-euclidean space like the Poincaré disk is that geodesic triangles are thin. If o is a point of the space and oa and ob are two distinct geodesics through o, then the geodesic from a to b goes close to o. If you go far enough from o in different directions, then the distance between the points on these two geodesis grows exponentially in terms of the distance from o. One can show that this property carries over to higher dimensional fugures.
56 Hyperbolicity The fundamental property of non-euclidean space like the Poincaré disk is that geodesic triangles are thin. If o is a point of the space and oa and ob are two distinct geodesics through o, then the geodesic from a to b goes close to o. If you go far enough from o in different directions, then the distance between the points on these two geodesis grows exponentially in terms of the distance from o. One can show that this property carries over to higher dimensional fugures.
57 Hyperbolicity The fundamental property of non-euclidean space like the Poincaré disk is that geodesic triangles are thin. If o is a point of the space and oa and ob are two distinct geodesics through o, then the geodesic from a to b goes close to o. If you go far enough from o in different directions, then the distance between the points on these two geodesis grows exponentially in terms of the distance from o. One can show that this property carries over to higher dimensional fugures.
58 Hyperbolicity The fundamental property of non-euclidean space like the Poincaré disk is that geodesic triangles are thin. If o is a point of the space and oa and ob are two distinct geodesics through o, then the geodesic from a to b goes close to o. If you go far enough from o in different directions, then the distance between the points on these two geodesis grows exponentially in terms of the distance from o. One can show that this property carries over to higher dimensional fugures.
59 Almost-, Quasi-, Pseudo- The other big advantange of this approach is that it allows us to study space that are quasi-isometric to homogeneous spaces without themselves being homogeneous.this allows us to carry over results from Group theory to Geometry and vice versa. So one can say that under Gromov s theory, group theory and geometry have been unified.
60 Almost-, Quasi-, Pseudo- The other big advantange of this approach is that it allows us to study space that are quasi-isometric to homogeneous spaces without themselves being homogeneous.this allows us to carry over results from Group theory to Geometry and vice versa. So one can say that under Gromov s theory, group theory and geometry have been unified.
61 Almost-, Quasi-, Pseudo- The other big advantange of this approach is that it allows us to study space that are quasi-isometric to homogeneous spaces without themselves being homogeneous.this allows us to carry over results from Group theory to Geometry and vice versa. So one can say that under Gromov s theory, group theory and geometry have been unified.
2. Length and distance in hyperbolic geometry
2. Length and distance in hyperbolic geometry 2.1 The upper half-plane There are several different ways of constructing hyperbolic geometry. These different constructions are called models. In this lecture
1 Symmetries of regular polyhedra
1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an
Lesson 18: Looking More Carefully at Parallel Lines
Student Outcomes Students learn to construct a line parallel to a given line through a point not on that line using a rotation by 180. They learn how to prove the alternate interior angles theorem using
UNIFORMLY DISCONTINUOUS GROUPS OF ISOMETRIES OF THE PLANE
UNIFORMLY DISCONTINUOUS GROUPS OF ISOMETRIES OF THE PLANE NINA LEUNG Abstract. This paper discusses 2-dimensional locally Euclidean geometries and how these geometries can describe musical chords. Contents
PROJECTIVE GEOMETRY. b3 course 2003. Nigel Hitchin
PROJECTIVE GEOMETRY b3 course 2003 Nigel Hitchin hitchin@maths.ox.ac.uk 1 1 Introduction This is a course on projective geometry. Probably your idea of geometry in the past has been based on triangles
Creating Repeating Patterns with Color Symmetry
Creating Repeating Patterns with Color Symmetry Douglas Dunham Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812-3036, USA E-mail: ddunham@d.umn.edu Web Site: http://www.d.umn.edu/
alternate interior angles
alternate interior angles two non-adjacent angles that lie on the opposite sides of a transversal between two lines that the transversal intersects (a description of the location of the angles); alternate
The Euler Line in Hyperbolic Geometry
The Euler Line in Hyperbolic Geometry Jeffrey R. Klus Abstract- In Euclidean geometry, the most commonly known system of geometry, a very interesting property has been proven to be common among all triangles.
Metric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS
1 Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS This lecture, just as the previous one, deals with a classification of objects, the original interest in which was perhaps
Tangent circles in the hyperbolic disk
Rose- Hulman Undergraduate Mathematics Journal Tangent circles in the hyperbolic disk Megan Ternes a Volume 14, No. 1, Spring 2013 Sponsored by Rose-Hulman Institute of Technology Department of Mathematics
Metrics on SO(3) and Inverse Kinematics
Mathematical Foundations of Computer Graphics and Vision Metrics on SO(3) and Inverse Kinematics Luca Ballan Institute of Visual Computing Optimization on Manifolds Descent approach d is a ascent direction
MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry. Figure 1: Lines in the Poincaré Disk Model
MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry Put your name here: Score: Instructions: For this lab you will be using the applet, NonEuclid, created by Castellanos, Austin, Darnell,
Classical theorems on hyperbolic triangles from a projective point of view
tmcs-szilasi 2012/3/1 0:14 page 175 #1 10/1 (2012), 175 181 Classical theorems on hyperbolic triangles from a projective point of view Zoltán Szilasi Abstract. Using the Cayley-Klein model of hyperbolic
Geometric Transformations
Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted
A Correlation of Pearson Texas Geometry Digital, 2015
A Correlation of Pearson Texas Geometry Digital, 2015 To the Texas Essential Knowledge and Skills (TEKS) for Geometry, High School, and the Texas English Language Proficiency Standards (ELPS) Correlations
Physics 235 Chapter 1. Chapter 1 Matrices, Vectors, and Vector Calculus
Chapter 1 Matrices, Vectors, and Vector Calculus In this chapter, we will focus on the mathematical tools required for the course. The main concepts that will be covered are: Coordinate transformations
Vector Notation: AB represents the vector from point A to point B on a graph. The vector can be computed by B A.
1 Linear Transformations Prepared by: Robin Michelle King A transformation of an object is a change in position or dimension (or both) of the object. The resulting object after the transformation is called
Solving Simultaneous Equations and Matrices
Solving Simultaneous Equations and Matrices The following represents a systematic investigation for the steps used to solve two simultaneous linear equations in two unknowns. The motivation for considering
Hyperbolic Islamic Patterns A Beginning
Hyperbolic Islamic Patterns A Beginning Douglas Dunham Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812-2496, USA E-mail: ddunham@d.umn.edu Web Site: http://www.d.umn.edu/
Section 1.7 22 Continued
Section 1.5 23 A homogeneous equation is always consistent. TRUE - The trivial solution is always a solution. The equation Ax = 0 gives an explicit descriptions of its solution set. FALSE - The equation
Angle - a figure formed by two rays or two line segments with a common endpoint called the vertex of the angle; angles are measured in degrees
Angle - a figure formed by two rays or two line segments with a common endpoint called the vertex of the angle; angles are measured in degrees Apex in a pyramid or cone, the vertex opposite the base; in
Factoring Patterns in the Gaussian Plane
Factoring Patterns in the Gaussian Plane Steve Phelps Introduction This paper describes discoveries made at the Park City Mathematics Institute, 00, as well as some proofs. Before the summer I understood
Arrangements And Duality
Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,
Math 181 Handout 16. Rich Schwartz. March 9, 2010
Math 8 Handout 6 Rich Schwartz March 9, 200 The purpose of this handout is to describe continued fractions and their connection to hyperbolic geometry. The Gauss Map Given any x (0, ) we define γ(x) =
Projective Geometry: A Short Introduction. Lecture Notes Edmond Boyer
Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Contents 1 Introduction 2 11 Objective 2 12 Historical Background 3 13 Bibliography 4 2 Projective Spaces 5 21 Definitions 5 22 Properties
Lecture 8 : Coordinate Geometry. The coordinate plane The points on a line can be referenced if we choose an origin and a unit of 20
Lecture 8 : Coordinate Geometry The coordinate plane The points on a line can be referenced if we choose an origin and a unit of 0 distance on the axis and give each point an identity on the corresponding
3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem
MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem David L. Finn November 30th, 2004 In the next few days, we will introduce some of the basic problems in geometric modelling, and
Unified Lecture # 4 Vectors
Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,
Shortcut sets for plane Euclidean networks (Extended abstract) 1
Shortcut sets for plane Euclidean networks (Extended abstract) 1 J. Cáceres a D. Garijo b A. González b A. Márquez b M. L. Puertas a P. Ribeiro c a Departamento de Matemáticas, Universidad de Almería,
12. Parallels. Then there exists a line through P parallel to l.
12. Parallels Given one rail of a railroad track, is there always a second rail whose (perpendicular) distance from the first rail is exactly the width across the tires of a train, so that the two rails
Midterm Practice Problems
6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator
Solutions to Practice Problems
Higher Geometry Final Exam Tues Dec 11, 5-7:30 pm Practice Problems (1) Know the following definitions, statements of theorems, properties from the notes: congruent, triangle, quadrilateral, isosceles
Geometry Chapter 1. 1.1 Point (pt) 1.1 Coplanar (1.1) 1.1 Space (1.1) 1.2 Line Segment (seg) 1.2 Measure of a Segment
Geometry Chapter 1 Section Term 1.1 Point (pt) Definition A location. It is drawn as a dot, and named with a capital letter. It has no shape or size. undefined term 1.1 Line A line is made up of points
Comparison of Non-linear Dimensionality Reduction Techniques for Classification with Gene Expression Microarray Data
CMPE 59H Comparison of Non-linear Dimensionality Reduction Techniques for Classification with Gene Expression Microarray Data Term Project Report Fatma Güney, Kübra Kalkan 1/15/2013 Keywords: Non-linear
Situation: Proving Quadrilaterals in the Coordinate Plane
Situation: Proving Quadrilaterals in the Coordinate Plane 1 Prepared at the University of Georgia EMAT 6500 Date Last Revised: 07/31/013 Michael Ferra Prompt A teacher in a high school Coordinate Algebra
Orthogonal Projections
Orthogonal Projections and Reflections (with exercises) by D. Klain Version.. Corrections and comments are welcome! Orthogonal Projections Let X,..., X k be a family of linearly independent (column) vectors
Lecture 2: Homogeneous Coordinates, Lines and Conics
Lecture 2: Homogeneous Coordinates, Lines and Conics 1 Homogeneous Coordinates In Lecture 1 we derived the camera equations λx = P X, (1) where x = (x 1, x 2, 1), X = (X 1, X 2, X 3, 1) and P is a 3 4
Section 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
Inversion. Chapter 7. 7.1 Constructing The Inverse of a Point: If P is inside the circle of inversion: (See Figure 7.1)
Chapter 7 Inversion Goal: In this chapter we define inversion, give constructions for inverses of points both inside and outside the circle of inversion, and show how inversion could be done using Geometer
Name Class. Date Section. Test Form A Chapter 11. Chapter 11 Test Bank 155
Chapter Test Bank 55 Test Form A Chapter Name Class Date Section. Find a unit vector in the direction of v if v is the vector from P,, 3 to Q,, 0. (a) 3i 3j 3k (b) i j k 3 i 3 j 3 k 3 i 3 j 3 k. Calculate
NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS
NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS TEST DESIGN AND FRAMEWORK September 2014 Authorized for Distribution by the New York State Education Department This test design and framework document
Incenter Circumcenter
TRIANGLE: Centers: Incenter Incenter is the center of the inscribed circle (incircle) of the triangle, it is the point of intersection of the angle bisectors of the triangle. The radius of incircle is
Mathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
The Dot and Cross Products
The Dot and Cross Products Two common operations involving vectors are the dot product and the cross product. Let two vectors =,, and =,, be given. The Dot Product The dot product of and is written and
Chapter 7. Permutation Groups
Chapter 7 Permutation Groups () We started the study of groups by considering planar isometries In the previous chapter, we learnt that finite groups of planar isometries can only be cyclic or dihedral
(Q, ), (R, ), (C, ), where the star means without 0, (Q +, ), (R +, ), where the plus-sign means just positive numbers, and (U, ),
2 Examples of Groups 21 Some infinite abelian groups It is easy to see that the following are infinite abelian groups: Z, +), Q, +), R, +), C, +), where R is the set of real numbers and C is the set of
On Motion of Robot End-Effector using the Curvature Theory of Timelike Ruled Surfaces with Timelike Directrix
Malaysian Journal of Mathematical Sciences 8(2): 89-204 (204) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal On Motion of Robot End-Effector using the Curvature
Escher Style Tessellations
Escher Style Tessellations The delightful designs by M. C. Escher have captured peoples imagination the world over. These are examples of what we will call Escher Style Tessellations, patterns which can
Big Ideas in Mathematics
Big Ideas in Mathematics which are important to all mathematics learning. (Adapted from the NCTM Curriculum Focal Points, 2006) The Mathematics Big Ideas are organized using the PA Mathematics Standards
A Non-Linear Schema Theorem for Genetic Algorithms
A Non-Linear Schema Theorem for Genetic Algorithms William A Greene Computer Science Department University of New Orleans New Orleans, LA 70148 bill@csunoedu 504-280-6755 Abstract We generalize Holland
DEGREE OF NEGATION OF AN AXIOM
DEGREE OF NEGATION OF AN AXIOM Florentin Smarandache, Ph D Professor of Mathematics Chair of Department of Math & Sciences University of New Mexico 200 College Road Gallup, NM 87301, USA E-mail: smarand@unm.edu
ISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
11.1. Objectives. Component Form of a Vector. Component Form of a Vector. Component Form of a Vector. Vectors and the Geometry of Space
11 Vectors and the Geometry of Space 11.1 Vectors in the Plane Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. 2 Objectives! Write the component form of
arxiv:1502.02078v1 [math.mg] 7 Feb 2015
![arxiv:1502.02078v1 [math.mg] 7 Feb 2015](/thumbs/40/21086225.jpg "arxiv:1502.02078v1 [math.mg] 7 Feb 2015")
Orthocenters of triangles in the n-dimensional space Wilson Pacheco (wpachecoredondo@gmail.com) John Vargas (varjohn@gmail.com) arxiv:502.02078v [math.mg] 7 Feb 205 February 0, 205 Departamento de Matematicas
Geometry: Unit 1 Vocabulary TERM DEFINITION GEOMETRIC FIGURE. Cannot be defined by using other figures.
Geometry: Unit 1 Vocabulary 1.1 Undefined terms Cannot be defined by using other figures. Point A specific location. It has no dimension and is represented by a dot. Line Plane A connected straight path.
Selected practice exam solutions (part 5, item 2) (MAT 360)
Selected practice exam solutions (part 5, item ) (MAT 360) Harder 8,91,9,94(smaller should be replaced by greater )95,103,109,140,160,(178,179,180,181 this is really one problem),188,193,194,195 8. On
What's the Spin? - Discover Properties of Geometric Rotations
What's the Spin? - Discover Properties of Geometric Rotations Geometry Major Topics: Rotations and their relation to reflections NCTM Principles and Standards: Content Standards Geometry Apply transformations
DRAFT. Further mathematics. GCE AS and A level subject content
Further mathematics GCE AS and A level subject content July 2014 s Introduction Purpose Aims and objectives Subject content Structure Background knowledge Overarching themes Use of technology Detailed
NON-EUCLIDEAN GEOMETRIES
Chapter 3 NON-EUCLIDEN GEOMETRIES In the previous chapter we began by adding Euclid s Fifth Postulate to his five common notions and first four postulates. This produced the familiar geometry of the Euclidean
The Math Circle, Spring 2004
The Math Circle, Spring 2004 (Talks by Gordon Ritter) What is Non-Euclidean Geometry? Most geometries on the plane R 2 are non-euclidean. Let s denote arc length. Then Euclidean geometry arises from the
Systems of Linear Equations
Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and
Computing the Symmetry Groups of the Platonic Solids With the Help of Maple
Computing the Symmetry Groups of the Platonic Solids With the Help of Maple Patrick J. Morandi Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA pmorandi@nmsu.edu
Introduction to Geometric Algebra Lecture II
Introduction to Geometric Algebra Lecture II Leandro A. F. Fernandes laffernandes@inf.ufrgs.br Manuel M. Oliveira oliveira@inf.ufrgs.br Visgraf - Summer School in Computer Graphics - 2010 CG UFRGS Checkpoint
LINEAR INEQUALITIES. Mathematics is the art of saying many things in many different ways. MAXWELL
Chapter 6 LINEAR INEQUALITIES 6.1 Introduction Mathematics is the art of saying many things in many different ways. MAXWELL In earlier classes, we have studied equations in one variable and two variables
Notes on Orthogonal and Symmetric Matrices MENU, Winter 2013
Notes on Orthogonal and Symmetric Matrices MENU, Winter 201 These notes summarize the main properties and uses of orthogonal and symmetric matrices. We covered quite a bit of material regarding these topics,
The Use of Dynamic Geometry Software in the Teaching and Learning of Geometry through Transformations
The Use of Dynamic Geometry Software in the Teaching and Learning of Geometry through Transformations Dynamic geometry technology should be used to maximize student learning in geometry. Such technology
Hyperbolic Groups Lecture Notes
Hyperbolic Groups Lecture Notes James Howie Heriot-Watt University, Edinburgh EH14 4AS Scotland J.Howie@ma.hw.ac.uk Introduction This is a revised and slightly expanded set of notes based on a course of
14.11. Geodesic Lines, Local Gauss-Bonnet Theorem
14.11. Geodesic Lines, Local Gauss-Bonnet Theorem Geodesics play a very important role in surface theory and in dynamics. One of the main reasons why geodesics are so important is that they generalize
3. Reaction Diffusion Equations Consider the following ODE model for population growth
3. Reaction Diffusion Equations Consider the following ODE model for population growth u t a u t u t, u 0 u 0 where u t denotes the population size at time t, and a u plays the role of the population dependent
DEFINITIONS. Perpendicular Two lines are called perpendicular if they form a right angle.
DEFINITIONS Degree A degree is the 1 th part of a straight angle. 180 Right Angle A 90 angle is called a right angle. Perpendicular Two lines are called perpendicular if they form a right angle. Congruent
Copyright 2011 Casa Software Ltd. www.casaxps.com. Centre of Mass
Centre of Mass A central theme in mathematical modelling is that of reducing complex problems to simpler, and hopefully, equivalent problems for which mathematical analysis is possible. The concept of
Making tessellations combines the creativity of an art project with the challenge of solving a puzzle.
Activities Grades 6 8 www.exploratorium.edu/geometryplayground/activities EXPLORING TESSELLATIONS Background: What is a tessellation? A tessellation is any pattern made of repeating shapes that covers
Least-Squares Intersection of Lines
Least-Squares Intersection of Lines Johannes Traa - UIUC 2013 This write-up derives the least-squares solution for the intersection of lines. In the general case, a set of lines will not intersect at a
Chapter 17. Orthogonal Matrices and Symmetries of Space
Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length
Grade 7 & 8 Math Circles Circles, Circles, Circles March 19/20, 2013
Faculty of Mathematics Waterloo, Ontario N2L 3G Introduction Grade 7 & 8 Math Circles Circles, Circles, Circles March 9/20, 203 The circle is a very important shape. In fact of all shapes, the circle is
Numerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
Grade 7/8 Math Circles November 3/4, 2015. M.C. Escher and Tessellations
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Tiling the Plane Grade 7/8 Math Circles November 3/4, 2015 M.C. Escher and Tessellations Do the following
BALTIC OLYMPIAD IN INFORMATICS Stockholm, April 18-22, 2009 Page 1 of?? ENG rectangle. Rectangle
Page 1 of?? ENG rectangle Rectangle Spoiler Solution of SQUARE For start, let s solve a similar looking easier task: find the area of the largest square. All we have to do is pick two points A and B and
Elasticity Theory Basics
G22.3033-002: Topics in Computer Graphics: Lecture #7 Geometric Modeling New York University Elasticity Theory Basics Lecture #7: 20 October 2003 Lecturer: Denis Zorin Scribe: Adrian Secord, Yotam Gingold
Number Sense and Operations
Number Sense and Operations representing as they: 6.N.1 6.N.2 6.N.3 6.N.4 6.N.5 6.N.6 6.N.7 6.N.8 6.N.9 6.N.10 6.N.11 6.N.12 6.N.13. 6.N.14 6.N.15 Demonstrate an understanding of positive integer exponents
Triangle Congruence and Similarity A Common-Core-Compatible Approach
Triangle Congruence and Similarity A Common-Core-Compatible Approach The Common Core State Standards for Mathematics (CCSSM) include a fundamental change in the geometry program in grades 8 to 10: geometric
Lecture L3 - Vectors, Matrices and Coordinate Transformations
S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between
Student Outcomes. Lesson Notes. Classwork. Exercises 1 3 (4 minutes)
Student Outcomes Students give an informal derivation of the relationship between the circumference and area of a circle. Students know the formula for the area of a circle and use it to solve problems.
Linear Algebra Notes for Marsden and Tromba Vector Calculus
Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of
Lecture L22-2D Rigid Body Dynamics: Work and Energy
J. Peraire, S. Widnall 6.07 Dynamics Fall 008 Version.0 Lecture L - D Rigid Body Dynamics: Work and Energy In this lecture, we will revisit the principle of work and energy introduced in lecture L-3 for
MATH1231 Algebra, 2015 Chapter 7: Linear maps
MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter
Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 7 : Symmetries and the Quark Model. Introduction/Aims
Particle Physics Michaelmas Term 2011 Prof Mark Thomson Handout 7 : Symmetries and the Quark Model Prof. M.A. Thomson Michaelmas 2011 206 Introduction/Aims Symmetries play a central role in particle physics;
88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
5.1 Midsegment Theorem and Coordinate Proof
5.1 Midsegment Theorem and Coordinate Proof Obj.: Use properties of midsegments and write coordinate proofs. Key Vocabulary Midsegment of a triangle - A midsegment of a triangle is a segment that connects
Let s first see how precession works in quantitative detail. The system is illustrated below: ...
lecture 20 Topics: Precession of tops Nutation Vectors in the body frame The free symmetric top in the body frame Euler s equations The free symmetric top ala Euler s The tennis racket theorem As you know,
1. A student followed the given steps below to complete a construction. Which type of construction is best represented by the steps given above?
1. A student followed the given steps below to complete a construction. Step 1: Place the compass on one endpoint of the line segment. Step 2: Extend the compass from the chosen endpoint so that the width
ON SELF-INTERSECTIONS OF IMMERSED SURFACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 12, December 1998, Pages 3721 3726 S 0002-9939(98)04456-6 ON SELF-INTERSECTIONS OF IMMERSED SURFACES GUI-SONG LI (Communicated by Ronald
LINEAR EQUATIONS IN TWO VARIABLES
66 MATHEMATICS CHAPTER 4 LINEAR EQUATIONS IN TWO VARIABLES The principal use of the Analytic Art is to bring Mathematical Problems to Equations and to exhibit those Equations in the most simple terms that
Why do mathematicians make things so complicated?
Why do mathematicians make things so complicated? Zhiqin Lu, The Math Department March 9, 2010 Introduction What is Mathematics? Introduction What is Mathematics? 24,100,000 answers from Google. Introduction
5.3 The Cross Product in R 3
53 The Cross Product in R 3 Definition 531 Let u = [u 1, u 2, u 3 ] and v = [v 1, v 2, v 3 ] Then the vector given by [u 2 v 3 u 3 v 2, u 3 v 1 u 1 v 3, u 1 v 2 u 2 v 1 ] is called the cross product (or
Vector Spaces; the Space R n
Vector Spaces; the Space R n Vector Spaces A vector space (over the real numbers) is a set V of mathematical entities, called vectors, U, V, W, etc, in which an addition operation + is defined and in which
So let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
Mathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 Pre-Algebra 4 Hours
MAT 051 Pre-Algebra Mathematics (MAT) MAT 051 is designed as a review of the basic operations of arithmetic and an introduction to algebra. The student must earn a grade of C or in order to enroll in MAT