Creating a cell complex = CW complex Building block: n-cells = { x in R n : || x || ≤ 1 } 2-cell = open disk = { x in R 2 : ||x || < 1 } Examples: 0-cell.

Slides:



Advertisements
Similar presentations
Computing Persistent Homology
Advertisements

The Topology of Graph Configuration Spaces David G.C. Handron Carnegie Mellon University
Tyler White MATH 493 Dr. Wanner
CSE554Cell ComplexesSlide 1 CSE 554 Lecture 3: Shape Analysis (Part II) Fall 2014.
Applications of Euler’s Formula for Graphs Hannah Stevens.
Proximity graphs: reconstruction of curves and surfaces
Lecture 5: Triangulations & simplicial complexes (and cell complexes). in a series of preparatory lectures for the Fall 2013 online course MATH:7450 (22M:305)
Computational Topology for Computer Graphics Klein bottle.
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.
Sampling conditions and topological guarantees for shape reconstruction algorithms Andre Lieutier, Dassault Sytemes Thanks to Dominique Attali for some.
Discrete Exterior Calculus. More Complete Introduction See Chapter 7 “Discrete Differential Forms for Computational Modeling” in the SIGGRAPH 2006 Discrete.
Mesh Representation, part II based on: Data Structures for Graphics, chapter 12 in Fundamentals of Computer Graphics, 3 rd ed. (Shirley & Marschner) Slides.
CHAPTER 5: CONVEX POLYTOPES Anastasiya Yeremenko 1.
2. Voronoi Diagram 2.1 Definiton Given a finite set S of points in the plane , each point X of  defines a subset S X of S consisting of the points of.
Realizability of Graphs Maria Belk and Robert Connelly.
©2008 I.K. Darcy. All rights reserved This work was partially supported by the Joint DMS/NIGMS Initiative to Support Research in the Area of Mathematical.
Simplicial Sets, and Their Application to Computing Homology Patrick Perry November 27, 2002.
Introductory Notes on Geometric Aspects of Topology PART I: Experiments in Topology 1964 Stephen Barr (with some additional material from Elementary Topology.
Chapter 4: Straight Line Drawing Ronald Kieft. Contents Introduction Algorithm 1: Shift Method Algorithm 2: Realizer Method Other parts of chapter 4 Questions?
Volume and Angle Structures on closed 3-manifolds Feng Luo Rutgers University Oct. 28, 2006 Texas Geometry/Topology conference Rice University.
MA5209 Algebraic Topology Wayne Lawton Department of Mathematics National University of Singapore S ,
Graph Theory Ch6 Planar Graphs. Basic Definitions  curve, polygon curve, drawing  crossing, planar, planar embedding, and plane graph  open set  region,
Department of Computer Science and Engineering Practical Algorithm for a Large Class of Domains Tamal K. Dey and Joshua A. Levine The Ohio State University.
Lecture 4: Addition (and free vector spaces) of a series of preparatory lectures for the Fall 2013 online course MATH:7450 (22M:305) Topics in Topology:
General (point-set) topology Jundong Liu Ohio Univ.
Topological Data Analysis
Lecture 2: Addition (and free abelian groups) of a series of preparatory lectures for the Fall 2013 online course MATH:7450 (22M:305) Topics in Topology:
6.896: Topics in Algorithmic Game Theory Lecture 6 Constantinos Daskalakis.
Stable, Circulation- Preserving, Simplicial Fluids Sharif Elcott, Yiying Tong, Eva Kanso, Peter Schröder, and Mathieu Desbrun.
Let C be the simplicial complex on the right (the boundary of a tetrahedron). Find the following: C 0 = C 1 = C 2 = C 3 = Z 0 = Explain your answer for.
Euler’s characteristic and the sphere
Optional Lecture: A terse introduction to simplicial complexes in a series of preparatory lectures for the Fall 2013 online course MATH:7450 (22M:305)
Creating a simplicial complex Step 0.) Start by adding 0-dimensional vertices (0-simplices)
Introductory Notes on Geometric Aspects of Topology PART I: Experiments in Topology 1964 Stephen Barr (with some additional material from Elementary Topology.
MATH:7450 (22M:305) Topics in Topology: Scientific and Engineering Applications of Algebraic Topology Sept 9, 2013: Create your own homology. Fall 2013.
1 Overview (Part 1) Background notions A reference framework for multiresolution meshes Classification of multiresolution meshes An introduction to LOD.
Euler characteristic (simple form):
MATH:7450 (22M:305) Topics in Topology: Scientific and Engineering Applications of Algebraic Topology Sept 16, 2013: Persistent homology III Fall 2013.
Topology Preserving Edge Contraction Paper By Dr. Tamal Dey et al Presented by Ramakrishnan Kazhiyur-Mannar.
 Matrix Operations  Inverse of a Matrix  Characteristics of Invertible Matrices …
MA5209 Algebraic Topology Wayne Lawton Department of Mathematics National University of Singapore S ,
Sept 25, 2013: Applicable Triangulations.
Algebraic Topology Simplicial Homology Wayne Lawton
3.1 Clustering Finding a good clustering of the points is a fundamental issue in computing a representative simplicial complex. Mapper does not place any.
Zigzag Persistent Homology Survey
Persistent homology I Peter Kálnai Autumn school Department of Algebra
We propose a method which can be used to reduce high dimensional data sets into simplicial complexes with far fewer points which can capture topological.
Creating a cell complex = CW complex
Dec 2, 2013: Hippocampal spatial map formation
Main Project total points: 500
Dec 4, 2013: Hippocampal spatial map formation
Non-manifold Multiresolution Modeling (some preliminary results)
3.1 Clustering Finding a good clustering of the points is a fundamental issue in computing a representative simplicial complex. Mapper does not place any.
Elements of Combinatorial Topology
Polyhedron Here, we derive a representation of polyhedron and see the properties of the generators. We also see how to identify the generators. The results.
Topological Data Analysis
Polyhedron Here, we derive a representation of polyhedron and see the properties of the generators. We also see how to identify the generators. The results.
Volume and Angle Structures on closed 3-manifolds
e2 e1 e5 e4 e3 v1 v2 v3 v4 f The dimension of f = 2
CSE 554 Lecture 3: Shape Analysis (Part II)
Unstructured grid: an introduction
Quantum Foundations Lecture 3
Combinatorial Topology and Distributed Computing
Chapter 5: Morse functions and function-induced persistence
e2 e1 e5 e4 e3 v1 v2 v3 v4 f The dimension of f =
A Portrait of a Group on a Surface with Boundary
Chapter 3: Simplicial Homology Instructor: Yusu Wang
Betti numbers provide a signature of the underlying topology.
Lecture 5: Triangulations & simplicial complexes (and cell complexes).
Presentation transcript:

Creating a cell complex = CW complex Building block: n-cells = { x in R n : || x || ≤ 1 } 2-cell = open disk = { x in R 2 : ||x || < 1 } Examples: 0-cell = { x in R 0 : ||x || < 1 } 1-cell =open interval ={ x in R : ||x || < 1 } ( ) 3-cell = open ball = { x in R 3 : ||x || < 1 }

Cell complex = CW complex Building block: n-cells = { x in R n : || x || < 1 } 2-cell = open disk = { x in R 2 : ||x || < 1 } Examples: 0-cell = { x in R 0 : ||x || < 1 } 1-cell =open interval ={ x in R : ||x || < 1 } ( ) Grading = dimension (n-cells) = { x in R n : || x || = 1 } n

Example: disk = { x in R 2 : ||x || ≤ 1 } ( ) U = = Simplicial complex 3 vertices, 3 edges, 1 triangle Cell complex 1 vertex, 1 edge, 1 disk. [ ] U = U =

Cell complex = CW complex Building block: n-cells = { x in R n : || x || < 1 } 2-cell = open disk = { x in R 2 : ||x || < 1 } Examples: 0-cell = { x in R 0 : ||x || < 1 } 1-cell =open interval ={ x in R : ||x || < 1 } ( ) X 0 = set of points with discrete topology. Given the (n-1)-skeleton X n-1, form the n-skeleton, X n, by attaching n-cells via maps σ α : ∂D n  X n-1, I.e., X n = X n-1 D n / ~ where x ~ σ α (x) for all x in ∂D n Π α α α

Example: disk = { x in R 2 : ||x || ≤ 1 } ( ) U = = Simplicial complex 3 vertices, 3 edges, 1 triangle Cell complex 1 vertex, 1 edge, 1 disk. [ ] U = U =

Example: sphere = { x in R 3 : ||x || = 1 } U = Simplicial complex Cell complex U = = Fist image from

Example: constant, identity, constant maps ( ) U U U Cell complex 1 vertex, 1 edge, 2 disks. [ ] U = U = U =

X 0 = set of points with discrete topology. Given the (n-1)-skeleton X n-1, form the n-skeleton, X n, by attaching n-cells via attaching maps σ α : ∂D n  X n-1, I.e., X n = X n-1 D n / ~ where x ~ σ α (x) for all x in ∂D n The characteristic map Φ α : D n  X is the map that extends the attaching map σ α : ∂D n  X n-1 and Φ α |D n onto its image is a homeomorphism. Φ α is the composition D n  X n-1 D n  X n  X Π α α α α α α Π   α α o Let X be a CW complex.

Your name homology 3 ingredients: 1.) Objects 2.) Grading 3.) Boundary map

Grading Grading: Each object is assigned a unique grade. Let X n = {x 1, …, x k } = generators of grade n. Extend grading on the set of generators to the set of n-chains: C n = set of n-chains = R[X n ] Normally n-chains in C n are assigned to the grade n.

C n+1  C n  C n-1 ...  C 2  C 1  C 0  0 H n = Z n /B n = (kernel of )/ (image of ) null space of M n column space of M n+1 Rank H n = Rank Z n – Rank B n = n+1 n n210 n : C n  C n-1 such that 2 = 0

Čech homology Given U V   where  V   open for all  in A. Objects = finite intersections = { V   i in A } Grading = n = depth of intersection. ( V   V  Ex: (V     V  V   V   V   V  V  V   V   V     V   V     V   V   U i = 1 n i  in A n+1 j = 1 n i i U i = 1 i ≠ j n U i = 1 n ( ) 0 1 U UUUUU 2

Creating the Čech simplicial complex 1.) B 1 … B k+1 ≠ ⁄, create k-simplex {v 1,..., v k+1 }. UU 0

v2v2 e2e2 e1e1 e3e3 v1v1 v3v3 2-simplex = face = {v 1, v 2, v 3 } Note that the boundary of this face is the cycle e 1 + e 2 + e 3 = {v 1, v 2 } + {v 2, v 3 } + {v 1, v 3 } 1-simplex = edge = {v 1, v 2 } Note that the boundary of this edge is v 2 + v 1 e v1v1 v2v2 0-simplex = vertex = v Unoriented simplicial complex using Z 2 coefficients Grading = dimension

Nerve Lemma: If V is a finite collection of subsets of X with all non-empty intersections of subcollections of V contractible, then N(V) is homotopic to the union of elements of V.

C n+1  C n  C n-1 ...  C 2  C 1  C 0  0 H n = Z n /B n = (kernel of )/ (image of ) null space of M n column space of M n+1 Rank H n = Rank Z n – Rank B n = n+1 n n210 n : C n  C n-1 such that 2 = 0 Theorem: The choice of triangulation does not affect the homology.

3-simplex = σ = (v 1, v 2, v 3, v 4 ) = (v 2, v 3, v 1, v 4 ) = (v 3, v 1, v 2, v 4 ) = (v 2, v 1, v 4, v 3 ) = (v 3, v 2, v 4, v 1 ) = (v 1, v 3, v 4, v 2 ) = (v 4, v 2, v 1, v 3 ) = (v 4, v 3, v 2, v 1 ) = (v 4, v 1, v 3, v 2 ) = (v 1, v 4, v 2, v 3 ) = (v 2, v 4, v 3, v 1 ) = (v 3, v 4, v 1, v 2 ) – σ = (v 2, v 1, v 3, v 4 ) = (v 3, v 2, v 1, v 4 ) = (v 1, v 3, v 2, v 4 ) = (v 2, v 4, v 1, v 3 ) = (v 3, v 4, v 2, v 1 ) = (v 1, v 4,v 3, v 2 ) = (v 1, v 2, v 4, v 3 ) = (v 2, v 3, v 4, v 1 ) = (v 3, v 1, v 4, v 2 ) = (v 4, v 1, v 2, v 3 ) = (v 4, v 2, v 3, v 1 ) = (v 4, v 3, v 1, v 2 ) Building blocks for oriented simplicial complex v4v4 v3v3 v1v1 v2v2

Čech homology Given U V   where  V   open for all  in A. Objects = finite intersections = { V   i in A } Grading = n = depth of intersection. ( V   V  Ex: (V     V  V   V   V   V  V  V   V   V     V   V     V   V   U i = 1 n i  in A n+1 j = 1 n i i U i = 1 i ≠ j n U i = 1 n ( ) 0 1 U UUUUU 2

v2v2 e2e2 e1e1 e3e3 v1v1 v3v3 2-simplex = oriented face = (v 1, v 2, v 3 ) 1-simplex = oriented edge = (v 1, v 2 ) Note that the boundary of this edge is v 2 – v 1 e v1v1 v2v2 0-simplex = vertex = v Note that the boundary of this face is the cycle e 1 + e 2 + e 3 = (v 1, v 2 ) + (v 2, v 3 ) – (v 1, v 3 ) = (v 1, v 2 ) – (v 1, v 3 ) + (v 2, v 3 ) Oriented simplicial complex Grading = dimension

v1v1 e2e2 e1e1 e3e3 v0v0 v2v2 2-simplex = oriented face = (v 0, v 1, v 2 ) 1-simplex = oriented edge = (v 0, v 1 ) Note that the boundary of this edge is v 1 – v 0 e v0v0 v1v1 0-simplex = vertex = v Note that the boundary of this face is the cycle e 1 + e 2 + e 3 = (v 0, v 1 ) + (v 1, v 2 ) – (v 0, v 2 ) = (v 1, v 2 ) – (v 0, v 2 ) + (v 0, v 1 ) Building blocks for a simplicial complex Grading = dimension

v1v1 e2e2 e1e1 e3e3 v0v0 v2v2 2-simplex = oriented face = [v 0, v 1, v 2 ] 1-simplex = oriented edge = [v 0, v 1 ] Note that the boundary of this edge is v 1 – v 0 e v0v0 v1v1 0-simplex = vertex = v Note that the boundary of this face is the cycle e 1 + e 2 - e 3 = [v 0, v 1 ] + [v 1, v 2 ] – [v 0, v 2 ] = [v 1, v 2 ] – [v 0, v 2 ] + [v 0, v 1 ] Building blocks for a  -complex Grading = dimension

Creating a simplicial complex 0.) Start by adding 0-dimensional vertices (0-simplices) 0-skeleton

Creating a simplicial complex 1.) Next add 1-dimensional edges (1-simplices). Note: These edges must connect two vertices. I.e., the boundary of an edge is two vertices 1-skeleton

Creating a simplicial complex 1.) Next add 1-dimensional edges (1-simplices). Note: These edges must connect two vertices. I.e., the boundary of an edge is two vertices 1-skeleton = graph no loops

Creating a simplicial complex 1.) Next add 1-dimensional edges (1-simplices). Note: These edges must connect two vertices. I.e., the boundary of an edge is two vertices 1-skeleton = graph

Creating a simplicial complex 2.) Add 2-dimensional triangles (2-simplices). Boundary of a triangle = a cycle consisting of 3 edges. 2-skeleton

Creating a simplicial complex 3.) Add 3-dimensional tetrahedrons (3-simplices). Boundary of a 3-simplex = a cycle consisting of its four 2-dimensional faces. 3-skeleton

Creating a simplicial complex n.) Add n-dimensional n-simplices, {v 1, v 2, …, v n+1 }. Boundary of a n-simplex = a cycle consisting of (n-1)-simplices. n-skeleton

n.) Add n-dimensional n-simplices, {v 1, v 2, …, v n+1 }. Boundary of a n-simplex = a cycle consisting of (n-1)-simplices. n-skeleton = U k-simplices k ≤ n

Let {v 0, v 1, …, v n } be a simplex. A subset of {v 0, v 1, …, v n } is called a face of this simplex. Ex: The faces of are {v 1, v 2 }, {v 2, v 3 }, {v 1, v 3 }, {v 1 }, {v 2 }, {v 3 } v2v2 e2e2 e1e1 e3e3 v1v1 v3v3

A simplicial complex K is a set of simplices that satisfies the following conditions: 1. Any face of a simplex from K is also in K. 2. The intersection of any two simplices in K is either empty or a face of both the simplices.

A simplicial complex K is a set of simplices that satisfies the following conditions: 1. Any face of a simplex from K is also in K. 2. The intersection of any two simplices in K is either empty or a face of both the simplices. simplex = convex hull

The persistent cosmic web and its filamentary structure I: Theory and implementation - Sousbie, Thierry

How many vertices?

Standard triangulation of the torus:

A simplicial complex K is a set of simplices that satisfies the following conditions: 1. Any face of a simplex from K is also in K. 2. The intersection of any two simplices in K is either empty or a face of both the simplices.

n-simplex = {v 0, v 1, …, v n } Let V be a finite set. A finite abstract simplicial complex is a subset A of P (V) such that 1.) v in V implies {v} in A, then 2.) if X is in A and if Y X, then Y is in A 1-simplex = edge = {v 1, v 2 } 0-simplex = vertex = {v} Building blocks for an abstract simplicial complex U

3-simplex = σ = (v 1, v 2, v 3, v 4 ) = (v 2, v 3, v 1, v 4 ) = (v 3, v 1, v 2, v 4 ) = (v 2, v 1, v 4, v 3 ) = (v 3, v 2, v 4, v 1 ) = (v 1, v 3, v 4, v 2 ) = (v 4, v 2, v 1, v 3 ) = (v 4, v 3, v 2, v 1 ) = (v 4, v 1, v 3, v 2 ) = (v 1, v 4, v 2, v 3 ) = (v 2, v 4, v 3, v 1 ) = (v 3, v 4, v 1, v 2 ) – σ = (v 2, v 1, v 3, v 4 ) = (v 3, v 2, v 1, v 4 ) = (v 1, v 3, v 2, v 4 ) = (v 2, v 4, v 1, v 3 ) = (v 3, v 4, v 2, v 1 ) = (v 1, v 4,v 3, v 2 ) = (v 1, v 2, v 4, v 3 ) = (v 2, v 3, v 4, v 1 ) = (v 3, v 1, v 4, v 2 ) = (v 4, v 1, v 2, v 3 ) = (v 4, v 2, v 3, v 1 ) = (v 4, v 3, v 1, v 2 ) Building blocks for oriented simplicial complex v4v4 v3v3 v1v1 v2v2

3-simplex = σ = [v 1, v 2, v 3, v 4 ] Building blocks for a  -complex v4v4 v3v3 v1v1 v2v2

v1v1 e2e2 e1e1 e3e3 v0v0 v2v2 2-simplex = oriented face = (v 0, v 1, v 2 ) 1-simplex = oriented edge = (v 0, v 1 ) Note that the boundary of this edge is v 1 – v 0 e v0v0 v1v1 0-simplex = vertex = v Note that the boundary of this face is the cycle e 1 + e 2 + e 3 = (v 0, v 1 ) + (v 1, v 2 ) – (v 0, v 2 ) = (v 1, v 2 ) – (v 0, v 2 ) + (v 0, v 1 ) Building blocks for a simplicial complex Grading = dimension

v1v1 e2e2 e1e1 e3e3 v0v0 v2v2 2-simplex = oriented face = [v 0, v 1, v 2 ] 1-simplex = oriented edge = [v 0, v 1 ] Note that the boundary of this edge is v 1 – v 0 e v0v0 v1v1 0-simplex = vertex = v Note that the boundary of this face is the cycle e 1 + e 2 - e 3 = [v 0, v 1 ] + [v 1, v 2 ] – [v 0, v 2 ] = [v 1, v 2 ] – [v 0, v 2 ] + [v 0, v 1 ] Building blocks for a  -complex Grading = dimension

Δ n = [v 0, v 1, …, v n ], Δ n = interior of Δ n A  -complex structure on a space X is a collection of maps σ α : Δ n → X, with n depending on the index α, such that: (i) The restriction σ α |Δ n is injective, and each point of X is in the image of exactly one such restriction σ α |Δ n. (ii)Each restriction of σ α to an n-1 face of Δ n is one of the maps σ β : Δ n−1 → X. Here we identify the face of Δ n with Δ n−1 by the canonical linear homeomorphism between them that preserves the ordering of the vertices. (iii) A set A ⊂ X is open iff σ α −1 (A) is open in Δ n for each σ α. o o o

X 0 = set of points with discrete topology. Given the (n-1)-skeleton X n-1, form the n-skeleton, X n, by attaching n-cells via attaching maps σ α : ∂D n  X n-1, I.e., X n = X n-1 D n / ~ where x ~ σ α (x) for all x in ∂D n The characteristic map Φ α : D n  X is the map that extends the attaching map σ α : ∂D n  X n-1 and Φ α |D n onto its image is a homeomorphism. Φ α is the composition D n  X n-1 D n  X n  X Π α α α α α α Π   α α o Let X be a CW complex.

X 0 = set of points with discrete topology. Given the (n-1)-skeleton X n-1, form the n-skeleton, X n, by attaching n-cells via their (n-1)-faces via attaching maps σ β : D n-1  X n-1 such that σ β |D n-1 is a homeomorphism. o Building blocks for a  -complex

Example: sphere = { x in R 3 : ||x || = 1 }  -complex = C 3  C 2  C 1  C 0  0 0  R 2  R 3  R 3 

Example: sphere = { x in R 3 : ||x || = 1 }  -complex = C 3  C 2  C 1  C 0  0 0  R 2  R 3  R 3  0 H 0 = Z 0 /B 0 = R 3 /R 2 = R 3210

Example: sphere = { x in R 3 : ||x || = 1 }  -complex = C 3  C 2  C 1  C 0  0 0  R 2  R 3  R 3  0 H 1 = Z 1 /B 1 = R/R =

Example: sphere = { x in R 3 : ||x || = 1 }  -complex = C 3  C 2  C 1  C 0  0 0  R 2  R 3  R 3  0 H 2 = Z 2 /B 2 = R/0 = R 3210

Example: sphere = { x in R 3 : ||x || = 1 } Cell complex U = Fist image from C 3  C 2  C 1  C 0 

Example: sphere = { x in R 3 : ||x || = 1 } Cell complex U = Fist image from C 3  C 2  C 1  C 0  0 0  R  0  R 

Example: sphere = { x in R 3 : ||x || = 1 } Cell complex U = Fist image from C 3  C 2  C 1  C 0  0 0  R  0  R  0 H i = Z i /B i = R/0 = R for i =

Example: sphere = { x in R 3 : ||x || = 1 } Cell complex U = Fist image from C 3  C 2  C 1  C 0  0 0  R  0  R  0 H i = Z i /B i = R/0 = R for i = 0,

Example: sphere = { x in R 3 : ||x || = 1 } Cell complex U = Fist image from C 3  C 2  C 1  C 0  0 0  R  0  R  0 H i = Z i /B i = R/0 = R for i = 0, 2 H i = Z i /B i = 0/0 = R for i = 1, 3, 4, 5, … 3210

Example:  -complex of a Torus Note the required orientation of edge c for the above complex to be a  -complex. Simplices are oriented via the increasing sequence of their vertices.

Singular homology A singular n-simplex in a space X is a map σ: Δ n → X These n-simplices form a basis for C n (X). ∂ n (σ) =  (−1) i σ|[v 0,..., v i,...,v n ] Note if X and Y are homeomorphic, then H n (X) = H n (Y)