Toward a curriculum for geometry
\( \newcommand\der{\operatorname{der}} \newcommand\Der{\mathrm{D}} \newcommand\dd{\operatorname{d}} \newcommand\ang[1]{#1^\circ} \newcommand\parenthesize[1]{\left(#1\right)} \newcommand\dif{\mathrm{d}} \newcommand\Dif{\Delta} \)
- 1Syllabus(165w~1m)
- 2Appreciating various approaches(198w~1m)
- 3Motivating stress tensor(21w~1m)
- 4Bibliography(1w~1m)
1Syllabus
- Geometry 1: Axioms and drawings
- Understand metric spaces and normed vector spaces.
- Derive a metric space from a normed vector space.
- Understand that the subtraction of two points produces a vector.
- Derive a metric space from a normed vector space.
- Understand ambient spaces.
- Understand two-dimensional Euclidean geometry.
- right triangles, Pythagorean theorem, trigonometry, trigonometric functions
- Understand three and more dimensions.
- Understand transformations, symmetries, and invariants.
- Understand metric spaces and normed vector spaces.
- Geometry 2: Coordinates
- More real numbers, more algebra, less drawing.
- Understand coordinate systems.
- Understand the correspondence between Cartesian coordinate systems and Euclidean spaces.
- Find the intersection of two shapes in two different ways: graphically and algebraically.
- Understand that both ways have the same meaning and give the same result.
- Understand non-Cartesian coordinate systems: polar, spherical.
- Understand coordinate transformations.
- See also WP:analytic geometry.
- Geometry 3: Curves
- Describe these things synthetically, parametrically, and algebraically:
- curves
- hypersurfaces
- curved spaces
- Describe these things synthetically, parametrically, and algebraically:
- Geometry 4: Spheres
- local differential geometry
- local coordinate system
- Navigate the Earth while formulating differential geometry.
- spherical geometry for introducing non-Euclidean geometry
- Generalize straight lines to geodesics.
- Understand local differential geometry.
- Generalize spherical geometry to differential geometry on arbitrary manifolds.
- It readily generalizes.
- Use a sphere such as the idealized Earth as a manifold to concretely motivate differential geometry.
- Motivate local metric
- The length of a great circle
2Appreciating various approaches
- 2.1Appreciating synthetic geometry(61w~1m)
- 2.2Appreciating analytic geometry(136w~1m)
2.1Appreciating synthetic geometry
- A circle, a sphere, a square, and a hypersphere have the same description \( \SetBuilder{x}{d(c,x) = r} \) but different metrics:
- A circle is a generalized circle in two-dimensional Euclidean metric space.
- A sphere is a generalized circle in three-dimensional Euclidean metric space.
- A hypersphere is a generalized circle in \(n\)-dimensional Euclidean metric space.
- A square is a generalized circle in two-dimensional taxicab metric space.
2.2Appreciating analytic geometry
A coordinate system marries points and numbers, so that we can refer to every point as easily as we manipulate numbers. This enables computers to do geometry. This enables geometry with calculator without drawing. This speeds up computation. This enables analytic geometry. This enables the application of the mathematical technology named "differential calculus" to geometry. This enables us to think more precisely about geometry.
Analytic geometry is the usage of coordinate systems for thinking about spaces?
Analytic geometry can be thought of doing geometry by manipulating numbers instead of by drawing shapes.
With analytic geometry, we can describe shapes using real numbers.
John L. Bell sums it up: "The power of analytic geometry derives very largely from the fact that it permits the methods of the calculus, and, more generally, of mathematical analysis, to be introduced into geometry."1
3Motivating stress tensor
See Wikipedia.
Generalize uniaxial normal stress \( \sigma = F/A \) and simple shear stress \( \tau = F/A \) to Cauchy stress tensor
4Bibliography
page 1 in "Two Approaches to Modelling the Universe: Synthetic Differential Geometry and Frame-Valued Sets" by John L. Bell http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.114.1930&rep=rep1&type=pdf↩