This site is devoted to mathematics and its applications. Created and run by Peter Saveliev.

Test

From Mathematics Is A Science

Jump to: navigation, search


Applied Topology and Geometry by Peter Saveliev

This is a book draft, in progress. I would appreciate your comments. If you are a beginner, you might want to start here instead.

For a book reading experience, ignore the links in the articles. Instead, click Back when you are finished.

Stokes theorem
Stokes theorem deconstructed.png
Derivative vs boundary



1 Introduction

Complex 3d topology of a piece of foam

A sample of the ideas that the text follows -- in broad brushstrokes.

  1. Topology vs algebra vs geometry
  2. Topology in real life
  3. Equivalence of topological features: homology
  4. Homology in Calculus
  5. A modern view of calculus: differential forms
  6. Is topology enough?

2 Homology of graphs

Tree splitting.png

The best place to get started with homology theory is graphs. One only needs to be concerned with two topological features: components and holes.

  1. Topology of graphs
  2. Euler characteristic of graphs
  3. Homology groups of graphs
  4. Homology maps of graphs

3 Analysis of digital images

A digital image
Capturing its simple topology

With a very little background one can make a good progress in this very important area. Many ideas reappear later -- on a more advanced level.

  1. Zooming in beyond the pixels: cell decomposition of images
  2. Space decomposed into little pieces: cubical complexes (*)
  3. The topology of a binary image
  4. The topology a gray scale image
  5. The geometry a gray scale image
  6. Lengths of digital curves

4 Continuous differential forms

Differentials

An introduction, starting with what you've seen in Calculus: $1$-forms.

  1. Differentials
  2. Examples of differential forms
  3. Algebra of differential forms
  4. Continuous functions (*)
  5. Wedge product of continuous forms
  6. Exterior derivative
  7. Properties of the exterior derivative

5 Cubical differential forms

Exterior derivative of a 0-form

Roughly, they are constant on each cell of a cubical complex. They are "discrete" in this sense. We don't establish a direct relation to the continuous forms yet just observe that they behave similarly.

  1. Space decomposed into little pieces: cubical complexes (*)
  2. Discrete differential forms
  3. Algebra of discrete differential forms
  4. Chains vs cochains
  5. Calculus of discrete differential forms

6 Integration of differential forms

Mobius Band is Non-Orientable

The main goal is to develop analogues of the integral theorems of vector calculus (Gauss, Green, etc). In terms of the exterior derivative, they finally make sense as a whole!

  1. Inside vs outside: orientation
  2. Integration of differential forms of degree 0 and 1
  3. Orientation of manifolds
  4. Integral theorems of vector calculus
  5. Integration of differential forms of degree 2
  6. Properties of integrals of differential forms
  7. The best one: General Stokes Theorem
  8. Linear algebra in elementary calculus
  9. Continuous vs discrete differential forms

7 Cohomology

Loops can be contracted on a sphere

From the calculus of differential forms, continuous or discrete, one can derive the topology of the underlying space.

  1. Calculus and algebra vs topology
  2. Closed and exact forms
  3. Path-connectedness (*)
  4. Continuously deforming continuous functions: homotopy (*)
  5. Closedness and exactness of 1-forms
  6. Quotients of vector spaces (*)
  7. de Rham cohomology
  8. Tunnels
  9. Change of variables for differential forms
  10. Cochain complexes and cohomology
  11. Cohomology of figure 8

8 From vector calculus to exterior calculus

A discrete solution to a 2d ODE

The correspondence between calculus of functions and vector fields in dimensions $2$ and $3$ on one hand and that of differential forms of various degrees on the other is revealed. The correspondence between $grad, div, curl$ and the exterior derivatives of appropriate degrees shows the advantage of the latter approach.

  1. Fundamental correspondence
  2. Identities of vector calculus
  3. Cross and dot products of vector fields under fundamental correspondence
  4. Modelling motion with discrete forms

9 Point-set topology

Continuity in 2d

We need more background for our study. The main topic is continuity, in the setting of $n$-dimensional Euclidean spaces.

  1. Topology in calculus
  2. Topology with points and sets only
  3. Neighborhoods and topologies
  4. Open and closed sets
  5. Classification of points with respect to a subset
  6. Continuous functions (*)
  7. Path-connectedness (*)
  8. Topological equivalence: homeomorphisms
  9. Compactness
  10. Separation axioms

10 New spaces from old

Transoforming the disk into the sphere by adding a single point

Tools for building the topological complexity that we'll need...

  1. Gluing things together: quotient spaces
  2. Quotients of manifolds
  3. Connected sum
  4. Subspaces: relative topology
  5. Product topology
  6. Examples of maps

11 Manifolds and differential forms

tangent lines to curves on a surface
they form the tangent space at that point

Calculus on manifolds is a necessity; ask Einstein!

  1. Manifolds model a curved universe
  2. More about manifolds
  3. Tangent bundle
  4. Tangent bundles and differential forms
  5. Cubical tangent bundle
  6. Modelling motion on manifolds
  7. Configuration spaces

12 Cubical homology

Cube as a cell complex with orientations of the cells

The relation between cells and their boundaries reveals the topology of the space. Little algebra, for now.

  1. The count of topological features: Betti numbers
  2. Space decomposed into little pieces: cubical complexes (*)
  3. Boundary operator of cubical complex
  4. All cells and all boundaries in one place: Cubical chain complex
  5. Quotients of vector spaces (*)
  6. Homology of cubical complexes
  7. Examples of homology of cubical complexes
  8. Realizations of cubical complexes

13 Geometry and differential forms

HodgeDualsR3.png

Topology: everything is deformable. Geometry: also keep track of size. Adding an extra structure to our manifolds allows us to measure things: distances and angles, and then lengths, curvatures, areas, volumes, etc.

  1. Metric tensor
  2. Hodge duality
  3. Dual cells and dual forms

14 Cell complexes

building a cell complex

Going beyond simply decomposing the Euclidean space into squares and cubes. We can build anything from little pieces -- in vacuum!

  1. Products of complexes
  2. Cell complexes
  3. Blueprint of complex: Skeleton
  4. Examples of cell complexes
  5. Gluing boundary to boundary: Quotients of complexes
  6. Count vertices, edges, and faces: Euler characteristic
  7. Down in dimension: Boundary operator

15 Simplicial complexes

Example of 2d simplicial complex.jpg

Turning the relation between cells and their boundaries into algebra.

  1. From squares to triangles: Simplicial complexes
  2. Euler characteristic of graphs
  3. Surfaces
  4. Triangulations of surfaces
  5. Orientable surfaces
  6. Euler characteristic of surfaces
  7. Abstract simplicial complexes
  8. Approximate topological spaces: Nerve of cover
  9. Boundary operator of simplicial complexes

16 Homology and cohomology

The two generators of the homology group of the torus

The algebra of the chains and boundaries reveals the topology of the space. And so does the algebra of the cochains and coboundaries. Progressing from cubical complexes to cell complexes.

  1. The algebra of chains
  2. Homology of cubical complexes
  3. Homology and algebra
  4. Homology as a vector space
  5. Holes and tunnels: Homology in dimension 1
  6. Voids: Homology in dimension 2
  7. Homology of balls and spheres
  8. Dual spaces
  9. Cohomology

17 Homology and computations

A point cloud -- a surface

The computability of the homology of cell complexes is what makes applications possible.

  1. Examples of homology of cubical complexes
  2. How to compute Betti numbers
  3. How to compute homology
  4. Point clouds and simplicial complexes: Vietoris-Rips complex
  5. Point clouds and simplicial complexes: Delauney triangulation
  6. Robustness of topology: persistence

18 Maps and their homology

Collapse of torus onto its equator

Continuous functions also have algebraic interpretations via homology -- as linear operators.

  1. Homology classes under maps
  2. Commutative diagrams
  3. Cell to cell: cell maps
  4. Boundary to boundary: chain operators
  5. Homology class to homology class: homology operators
  6. Persistence via homology operators

19 More on maps

Degree 2 map from circle to circle

The topology of continuous functions.

  1. Continuously deforming continuous functions: homotopy (*)
  2. Simple connectedness (*)
  3. Homology of homotopic maps
  4. Simplex to simplex: Simplicial maps
  5. Compositions of simplicial maps
  6. Derivative to derivative: cochain operators
  7. Homology and cohomology operators
  8. Homotopy equivalence
  9. Fundamental group
  10. Motion planning in robotics

20 Properties of homology groups

Projection of the cylinder on the circle

Progressing from homology as a vector space to groups. Building the rest of the theory... From now on, "homology" means "homology and cohomology".

  1. Homology as a group
  2. Properties of homology groups
  3. Homology of surfaces
  4. Betti numbers vs Euler characteristic: Euler-Poincare formula
  5. Spaces vs subspaces: relative homology
  6. Exact sequences
  7. Homology vs homology of the complement: Alexander duality
  8. Homology vs cohomology in manifolds: Poincare duality
  9. Homology of the product: Kunneth formula
  10. Isomorphic homology: Vietoris Mapping Theorem
  11. Cup product and cap product

21 Differential geometry

With the metric tensor we can measure lengths, curvatures, areas, volumes, etc.

  1. Riemannian manifolds
  2. Codifferential
  3. The Laplacian
  4. Hodge decomposition
  5. Gauss-Bonnet theorem
  6. Poincare-Hopf index theorem
  7. Ranking movies with discrete differential forms
  8. Voting and the Arrow's Impossibility Theorem

22 Physics modelling with discrete PDEs

Heat transfer

Normally, one uses partial differential equations, i.e., equations with respect to derivatives of the quantities involved, and then "discretizes" these PDEs via finite differences to create a simulation. Instead, we look at the derivations of these PDEs and, based on the physics, represent each quantity as a differential form of an appropriate degree. The discrete versions of these equations, i.e., equations with respect to discrete differential forms, are ready-made simulations of the processes. The main advantage of this bottom-up approach is that the laws of physics (conservation of energy, conservation of mass, etc) are satisfied exactly rather than approximately.

  1. Wave equation
  2. Navier–Stokes equations for fluid flow
  3. Heat transfer
  4. Maxwell equations of electromagnetism
  5. Wave equation from Maxwell equations
  6. Thermodynamics
  7. Black–Scholes derivatives pricing
  8. Cellular automata

23 Parametrized complexes and robustness of topology

A gray scale image converted to a sequence of binary images, a filtration

In real life, the data comes from an environment where numerous parameters interact with each other. It is a special challenge to extract topology from such data. In addition, the data comes with noise and other uncertainly. Therefore, the topological features we've found aren't created equal and have to be filtered to reveal the true reality underneath.

  1. Parametrized complexes
  2. The homology of a gray scale image
  3. Homology groups of filtrations
  4. Robustness of topology
  5. The high contrast homology of a gray scale image
  6. Persistent homology groups of filtrations
  7. Computing persistent homology of filtrations
  8. The topology of a color image
  9. Multiparameter filtrations

24 Equilibria and reachability

Vector field with equilibrium.png

Its homology map might detect whether a map has to have a fixed point, $f(x)=x$. This concept corresponds to that of equilibrium for dynamical systems. Another correspondence exists between surjectivity of maps and reachability of control systems.

  1. Brouwer fixed point theorem
  2. Degree of map
  3. Equilibria of dynamical systems
  4. Lefschetz number and fixed points of maps
  5. Set-valued maps
  6. Fiber bundles
  7. Lefschetz theory for coincidences
  8. Lefschetz numbers in control theory

25 PageRank: how not to do things

Bad math

A positive business lesson, but a negative mathematics lesson (Columbus' estimate of the size of the Earth is another example). To appreciate the difference, read the rest of the book.

  1. What is PageRank?
  2. PageRank's dependence on the damping factor
  3. PageRank as a probability distribution
  4. PageRank as a solution of a matrix equation
  5. PageRank: testing
  6. PageRank as a flow: how to do things

26 Examples of spaces

This part is intended as a quick reference.

  1. Circle
  2. Cylinder
  3. Mobius band
  4. Projective plane
  5. Torus
  6. Klein bottle
  7. Rotation group SO(3)

27 Exercise sets

  1. Differential forms: exams
  2. Differential forms: review questions
  3. Introductory algebraic topology: review exercises
  4. Topology II -- final exam
  5. Topology II -- midterm

28 References

  1. Topology of Surfaces by Kinsey
  2. Basic Topology by Armstrong
  3. Introduction to Topology by Gamelin and Greene
  4. Computational Homology by Kaczynski, Mischaikow, Mrozek
  5. Topology for Computing by Zomorodian
  6. Computational Topology by Edelsbrunner and Harer
  7. Introduction to Topology: Pure and Applied by Adams and Franzosa
  8. Differential Forms: A Complement to Vector Calculus by Weintraub
  9. Applied Differential Geometry by Burke
  10. From Calculus to Cohomology by Madsen
  11. Discrete Calculus: Applied Analysis on Graphs for Computational Science by Grady and Polimeni
  12. Mimetic Discretization Methods by Castillo
  13. A New Kind of Science by Wolfram

Note: sections marked with (*) appear more than once.


College Algebra -- Fall 2014 -- final exam

Name:_________________________ $\qquad$ 12 problems, 10 points each

  • Justify every step you make with as thorough an explanation as possible, in English.
  • Unless requested, no decimal representation of the answers is necessary.
  • Start every problem at the top of the page.


$\bullet$ 1.


$$\begin{array}{lll} \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \hline \end{array}$$