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

# Test

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 Derivative vs boundary

### Introduction

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?

### Homology of graphs

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

### Analysis of digital images

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

### Continuous differential forms

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

### Cubical differential forms

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

### Integration of differential forms

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!

### Cohomology

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

### From vector calculus to exterior calculus

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.

### Point-set topology

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

### New spaces from old

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

### Manifolds and differential forms

Calculus on manifolds is a necessity; ask Einstein!

### Cubical homology

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

### Geometry and differential forms

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.

### Cell complexes

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

### Simplicial complexes

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

### Homology and cohomology

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.

### Homology and computations

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

### Maps and their homology

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

### More on maps

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

### Properties of homology groups

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

### Differential geometry

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

### Physics modelling with discrete PDEs

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.

### Parametrized complexes and robustness of topology

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.

### Equilibria and reachability

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.

### PageRank: how not to do things

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.

### Examples of spaces

This part is intended as a quick reference.