![Page 1: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/1.jpg)
Lecture 1: The Euler characteristic of a series of preparatory lectures for the Fall 2013 online course MATH:7450 (22M:305) Topics in Topology: Scientific and Engineering Applications of Algebraic Topology Target Audience: Anyone interested in topological data analysis including graduate students, faculty, industrial researchers in bioinformatics, biology, computer science, cosmology, engineering, imaging, mathematics, neurology, physics, statistics, etc.
Isabel K. Darcy Mathematics Department/Applied Mathematical & Computational Sciences
University of Iowa
http://www.math.uiowa.edu/~idarcy/AppliedTopology.html
![Page 2: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/2.jpg)
![Page 3: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/3.jpg)
vertex
edge
face
Example:
7 vertices,
9 edges,
2 faces.
We wish to count:
![Page 4: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/4.jpg)
3 vertices, 3 edges, 1 face.
6 vertices, 9 edges, 4 faces.
![Page 5: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/5.jpg)
![Page 6: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/6.jpg)
Euler characteristic (simple form): = number of vertices – number of edges + number of faces
Or in short-hand,
= |V| - |E| + |F| where V = set of vertices E = set of edges F = set of faces
& the notation |X| = the number of elements in the set X.
![Page 7: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/7.jpg)
3 vertices, 3 edges, 1 face.
6 vertices, 9 edges, 4 faces.
= |V| – |E| + |F| = 3 – 3 + 1 = 1
= |V| – |E| + |F| = 6 – 9 + 4 = 1
Note: 3 – 3 + 1 = 1 = 6 – 9 + 4
![Page 8: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/8.jpg)
3 vertices, 3 edges, 1 face.
6 vertices, 9 edges, 4 faces.
Note: 3 – 3 + 1 = 1 = 6 – 9 + 4
= |V| – |E| + |F| = 3 – 3 + 1 = 1
= |V| – |E| + |F| = 6 – 9 + 4 = 1
![Page 9: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/9.jpg)
3 vertices, 3 edges, 1 face.
6 vertices, 9 edges, 4 faces.
Note: 3 – 3 + 1 = 1 = 6 – 9 + 4
= |V| – |E| + |F| = 3 – 3 + 1 = 1
= |V| – |E| + |F| = 6 – 9 + 4 = 1
![Page 10: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/10.jpg)
3 vertices, 3 edges, 1 face.
6 vertices, 9 edges, 4 faces.
Note: 3 – 3 + 1 = 1 = 6 – 9 + 4
= |V| – |E| + |F| = 3 – 3 + 1 = 1
= |V| – |E| + |F| = 6 – 9 + 4 = 1
![Page 11: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/11.jpg)
3 vertices, 3 edges, 1 face.
6 vertices, 9 edges, 4 faces.
Note: 3 – 3 + 1 = 1 = 6 – 9 + 4
= |V| – |E| + |F| = 3 – 3 + 1 = 1
= |V| – |E| + |F| = 6 – 9 + 4 = 1
![Page 12: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/12.jpg)
= 3 – 3 + 1 = 1 = 6 – 9 + 4 = 1
= 7 – 11 + 5 = 1
= |V| – |E| + |F|
![Page 13: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/13.jpg)
= |V| – |E| + |F|
= 3 – 3 + 1 = 1 = 6 – 9 + 4 = 1
= 7 – 11 + 5 = 1
![Page 14: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/14.jpg)
= =
![Page 15: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/15.jpg)
= =
![Page 16: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/16.jpg)
Video Insert illustrating topology
Note a coffee cup is topologically equivalent to a donut
gif from https://en.wikipedia.org/wiki/ File:Mug_and_Torus_morph.gif
![Page 17: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/17.jpg)
= =
![Page 18: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/18.jpg)
= |V| – |E| + |F|
= 3 – 3 + 1 = 1 = 6 – 9 + 4 = 1
= 7 – 11 + 5 = 1
![Page 19: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/19.jpg)
The Euler characteristic is a topological invariant
That means that if two objects are topologically the same, they have the same Euler characteristic.
![Page 20: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/20.jpg)
= 1 = 1
= 1
![Page 21: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/21.jpg)
= 1 = 1
= 1 = 1
![Page 22: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/22.jpg)
The Euler characteristic is a topological invariant
That means that if two objects are topologically the same, they have the same Euler characteristic.
= 1 = 1
Example:
![Page 23: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/23.jpg)
Euler characteristic
2
1
sphere = { x in R3 : ||x || = 1 }
ball = { x in R3 : ||x || ≤ 1 }
disk = { x in R2 : ||x || ≤ 1 }
closed interval = { x in R : ||x || ≤ 1 }
![Page 24: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/24.jpg)
The Euler characteristic is a topological invariant
That means that if two objects are topologically the same, they have the same Euler characteristic.
But objects with the same Euler characteristic need not be topologically equivalent. ≠ ≠
= 1
![Page 25: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/25.jpg)
Let R be a subset of X A deformation retract of X onto R is a continuous map F: X × [0, 1] X, F(x, t) = ft(x) such that f0 is the identity map, f1(X) = R, and ft(r) = r for all r in R.
If R is a deformation retract of X, then (R) = (X).
![Page 26: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/26.jpg)
Let R be a subset of X A deformation retract of X onto R is a continuous map F: X × [0, 1] X, F(x, t) = ft(x) such that f0 is the identity map, f1(X) = R, and ft(r) = r for all r in R.
If R is a deformation retract of X, then (R) = (X).
![Page 27: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/27.jpg)
Euler characteristic
0
S1 = circle = { x in R2 : ||x || = 1 } Annulus Mobius band Solid torus = S1 x disk Torus = S1 x S1
Mobius band and torus images from https://en.wikipedia.org/wiki/Euler_characteristic
![Page 28: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/28.jpg)
Euler characteristic
-1
-2
Solid double torus
The graph:
Double torus = genus 2 torus = boundary of solid double torus
Genus n tori images from https://en.wikipedia.org/wiki/Euler_characteristic
![Page 29: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/29.jpg)
Euler 2-dimensional orientable surface characteristic without boundary
2
0
-2
-4
sphere
S1 x S1 = torus
genus 2 torus
genus 3 torus
Genus n tori images from https://en.wikipedia.org/wiki/Euler_characteristic
![Page 30: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/30.jpg)
Graphs: Identifying Trees
Defn: A tree is a connected graph that does not contain a cycle
= 8 – 7 = 1 = 8 – 8 = 0 = 8 – 9 = -1
![Page 31: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/31.jpg)
= 2
= |V| – |E| + |F|
![Page 32: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/32.jpg)
= |V| – |E| + |F|
= 2 – 1 = 1
![Page 33: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/33.jpg)
= |V| – |E| + |F|
= 3 – 1 = 2
![Page 34: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/34.jpg)
= |V| – |E| + |F|
= 3 – 2 = 1
![Page 35: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/35.jpg)
= |V| – |E| + |F|
= 4 – 3 = 1
![Page 36: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/36.jpg)
= |V| – |E| + |F|
= 5 – 4 = 1
![Page 37: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/37.jpg)
= |V| – |E| + |F|
= 8 – 7 = 1
![Page 38: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/38.jpg)
= |V| – |E| + |F|
= 8 – 8 = 0
![Page 39: Lecture 1: The Euler characteristic - University of Iowahomepage.math.uiowa.edu/~idarcy/AT/plecture1.pdfThe Euler characteristic is a topological invariant That means that if two objects](https://reader034.vdocuments.us/reader034/viewer/2022042123/5e9eb99a31185f2bb24c0830/html5/thumbnails/39.jpg)
= |V| – |E| + |F|
= 8 – 9 = -1