Charts. Coordinate Chart  A chart is a neighborhood W and function . W  XW  X  : W  E d  : W  E d  is a diffeomorphism  is a diffeomorphism.

Slides:



Advertisements
Similar presentations
Warm Up.
Advertisements

M. Belkin and P. Niyogi, Neural Computation, pp. 1373–1396, 2003.
The proof is quite similar to that of a previous result: a compact subspace of a Hausdorff is closed. Theorem: If topological X  space is compact and.
One Form. Scalar Field  Map  Goes from manifold M  RGoes from manifold M  R All points in M go to RAll points in M go to R Smooth, i.e. differentiableSmooth,
Tangent Space. Tangent Vector  Motion along a trajectory is described by position and velocity. Position uses an originPosition uses an origin References.
Differential geometry I
Computational Topology for Computer Graphics Klein bottle.
Bagels, beach balls, and the Poincaré Conjecture Emily Dryden Bucknell University.
Computational Geometry The art of finding algorithms for solving geometrical problems Literature: –M. De Berg et al: Computational Geometry, Springer,
Signal , Weight Vector Spaces and Linear Transformations
Computational Geometry The art of finding algorithms for solving geometrical problems Literature: –M. De Berg et al: Computational Geometry, Springer,
Configuration Space CS 326 A: Motion Planning
Points in the State Space of a Topological Surface Josh Thompson February 28, 2005.
CS 326A: Motion Planning Configuration Space. Motion Planning Framework Continuous representation (configuration space and related spaces + constraints)
Nicholas Lawrance | ICRA 20111Nicholas Lawrance | Thesis Defence1 1 Functional Analysis I Presented by Nick Lawrance.
Introductory Notes on Geometric Aspects of Topology PART I: Experiments in Topology 1964 Stephen Barr (with some additional material from Elementary Topology.
Ch 7.1: Introduction to Systems of First Order Linear Equations
Lecture # 32 (Last) Dr. SOHAIL IQBAL
Graphing Linear Equations in Two Variables The Graph of a linear equation in two variables is the graph of all the ordered pairs (x,y) that satisfy the.
Honors Geometry Section 1.1 The Building Blocks of Geometry
MA5209 Algebraic Topology Wayne Lawton Department of Mathematics National University of Singapore S ,
Spatial Concepts Mathematical Types of Space –Euclidean –Network –Metric –Topologic.
8.2.2 – Graphing Polar Points, Converting Equations.
Relative Location of a Point with Respect to a Straight Line (0,0) 5 5 (2, 2) (4, 5) (0, 5) (6, 3) -3x + 2y +2 = 0 s = A x t + B y t + C s < 0 s > 0.
Chapter 13 Section 13.1 Rectangular Space Coordinates.
1 Background and definitions Cindy Grimm. 2 Siggraph 2005, 8/1/ Overview What does it mean to be.
Section 17.5 Parameterized Surfaces
Cindy Grimm Parameterization with Manifolds Cindy Grimm.
Edge Linking & Boundary Detection
Constructing Space A Do-It-Yourself Guide Rachel Maitra.
General (point-set) topology Jundong Liu Ohio Univ.
1 Surface Applications Fitting Manifold Surfaces To 3D Point Clouds, Cindy Grimm, David Laidlaw and Joseph Crisco. Journal of Biomechanical Engineering,
1 Adding charts anywhere Assume a cow is a sphere Cindy Grimm and John Hughes, “Parameterizing n-holed tori”, Mathematics of Surfaces X, 2003 Cindy Grimm,
CS B659: Principles of Intelligent Robot Motion Configuration Space.
Gauge Fields, Knots and Gravity Wayne Lawton Department of Mathematics National University of Singapore (65)
Elementary Linear Algebra Anton & Rorres, 9th Edition
David Renardy.  Simple Group- A nontrivial group whose only normal subgroups are itself and the trivial subgroup.  Simple groups are thought to be classified.
Center for Modeling & Simulation. ► A means of converting coordinates on a curved surface to coordinates on a plane ► The surface of projection can.
Cindy Grimm Parameterizing N-holed Tori Cindy Grimm (Washington Univ. in St. Louis) John Hughes (Brown University)
Euclidean Dimension = E
Metrics. Euclidean Geometry  Distance map x, y, z  E nx, y, z  E n d: E n  E n → [0,  )d: E n  E n → [0,  )  Satisfies three properties d ( x,
Prabhakar.G.Vaidya and Swarnali Majumder A preliminary investigation of the feasibility of using SVD and algebraic topology to study dynamics on a manifold.
Geometry out of the Paper Dr. Jessica Purcell University of Texas at Austin An Introduction to Manifolds.
Dr. Wang Xingbo Fall , 2005 Mathematical & Mechanical Method in Mechanical Engineering.
Section 10-6 The Meaning of Locus. Locus A figure that is the set of all points, and only those points, that satisfy one or more conditions.
Projective Geometry Hu Zhan Yi. Entities At Infinity The ordinary space in which we lie is Euclidean space. The parallel lines usually do not intersect.
Introductory Notes on Geometric Aspects of Topology PART I: Experiments in Topology 1964 Stephen Barr (with some additional material from Elementary Topology.
Parametric Surfaces and their Area Part I
Euler characteristic (simple form):
Hodge Theory Calculus on Smooth Manifolds. by William M. Faucette Adapted from lectures by Mark Andrea A. Cataldo.
Summary of the Last Lecture This is our second lecture. In our first lecture, we discussed The vector spaces briefly and proved some basic inequalities.
Department of Mathematics
Journal of Vision. 2003;3(5):3. doi: /3.5.3 Figure Legend:
Rotation Invariant Minkowski Classes Vienna University of Technology
Introduction to linear Lie groups
Quotient Spaces and the Shape of the Universe
Dipartimento di Ingegneria «Enzo Ferrari»,
Entry Task What are the first 3 steps for constructing a line through point P that is parallel to the line. Reflection Question: What are the main concepts.
Differential Manifolds and Tensors
Distance and Midpoint Formulas; Circles
Introduction to linear Lie groups
Introduction to linear Lie groups -- continued
Introduction to linear Lie groups
Elementary Linear Algebra Anton & Rorres, 9th Edition
Revision of topics/definitions
Physics 451/551 Theoretical Mechanics
Chapter 7 Quotients.
UNIT SELF-TEST QUESTIONS
Name the quadrant or the axis on which the following points lie.
Example of a geometric structure: Riemannian metric
Presentation transcript:

Charts

Coordinate Chart  A chart is a neighborhood W and function . W  XW  X  : W  E d  : W  E d  is a diffeomorphism  is a diffeomorphism  The dimension of the chart is the dimension d of E d. x X W  2-sphere: S 2 real plane: E 2

Countability  A space is first countable if there is countable neighborhood basis. Includes all metric spacesIncludes all metric spaces  A space is second countable if the whole topology has a countable basis. X N x  Euclidean space is second countable. Points with rational coordinates Open balls with rational radii

Differentiable Manifold  A differentiable structure F of class C n satisfies certain topological properties. Union of charts U Diffeomorphisms  Locally Euclidean space M  A differentiable manifold requires that the space be second countable with a differentiable structure.

Charting a circle  Open set around A looks like a line segment.  Two overlapping segments Each maps to the real line Overlap regions may give different values Transformation converts coordinates in one chart to another A  1-sphere: S 1 real line: E 1

Charts to Manifolds  A manifold M of dimension d Closed M  E nClosed M  E n  p  M, W  M.  p  M, W  M. W is a neighborhood of pW is a neighborhood of p W is diffeomorphic to an open subset of E d.W is diffeomorphic to an open subset of E d.  The pairs (W,  ) are charts. The atlas of charts describes the manifold.The atlas of charts describes the manifold. Hausdorff requirement: two distinct points must have two distinct neighborhoods.

Circle Manifold  Manifold S 1  Two charts  : (  /2,  )  ’: (  /2, 2  )  Transition functions (  /2,  ) f:  ’= f(  ) =  (-  /2, 0) f:  ’= f(  ) =   1-sphere: S 1   

Sphere or Torus  Sphere S 2 2-dimensional space2-dimensional space Loops can shrink to a pointLoops can shrink to a point Simply-connectedSimply-connected  Torus S 1  S 1 2-dimensional space Some loops don’t reduce Multiply-connected

Torus Manifold  Manifold S 1  S 1  Four charts Treat as two circles { ,  }, { ,  ’}, {  ’,  }, {  ’,  ’}  : (  /2,  ),  : (  /2,  )  ’: (  /2, 2  ),  ’: (  /2, 2  )  Transition functions are similar to the circle manifold.  Torus: S 1  S 1  (0,0) chart 1 (- ,-  /8) chart 1 (15 ,15  /8) chart 4

Sphere Manifold  Manifold S 2  Chart 1 described in spherical coordinates:  : (  /4,  )  : (  /4, 7  )  Chart 2  ’,  ’ use same type of range as chart 1 Exclude band on chart 1 equator from  = [-  /4,  ] and  = [3  /4, 5  ] 2-sphere: S 2 next Chart 1 Chart 2