Data is a large part of our everyday lives. We personally take in all kinds of data everyday. Things such as weather, political polls, meal costs, and much much more make up most of our daily lives. Companies collect data as well. Medical, consumer, weather, and other kinds of data have been collected for years. Recently, we have started learning how to use this data to model and predict future outcomes. This is a hot field of study in industry known as big data and data science. One particular field of study is concerned with the shape of data.

The anthem of Topological Data Analysis is that data has shape and that shape matters. We would like to take a data sample and describe the topological space it was sampled from. This will help us make predictions to where new data may land. But what tools do we need? As the name suggests we are going to be looking in our topology textbooks. We need an invariant of homeomorphisms that can be described easily by linear algebra. This is so because we wish to be able to actually compute these things.

Homeomorphisms would be ideal, however they won’t work. It can be quite difficult to even come up with a homeomorphism. So we look to the next best thing, homotopy. Again homotopy groups are difficult to even write down, we wouldn’t want to try to code them. Okay, well there is one more ‘H’ word that might help us out, and you may have guessed it! It’s homology. Homology is invariant under homeomorphisms, meaning if two topological spaces are homeomorphic, then they have the same homology. Hence, if two spaces do not have the same homology, then they cannot be topologically the same. Also, homology is easily describable through linear algebra. This makes it incredibly easy to compute! The main problem is that two problems with the same homology may still not be homeomorphic. This problem is handled with the principle of Occam’s Razor and will be explained later.

In this post we will give an introduction to simplicial complexes. We will also define two simplicial complexes, the Rips and Čech complexes, that are quite popular in practice. So let us begin with the definition of a simplex.

**DEFINITION: **An **m****-simplex ** is the convex hull of *m*+1 points (called **vertices**) in . We describe a simplex by its vertices. i.e. will denote an *m*-simplex.

From left to right we have a 0-simplex, 1-simplex, 2-simplex, and 3-simplex.

If is an *m**–*simplex, and is an *n*-simplex for *n* < *m*, and if the vertex set of is contained in the vertex set of we say . We are immediately able to build structures with these simplices.

**DEFINITION: **A **simplicial complex ** is a collection of simplices satisfying the following two rules.

- If and then .
- If then or .

The first property is commonly known as *downward closure*. We refer to the second one as a *minimal incidence* property.

On the left is a simplicial complex. The structure on the right fails property 2.

**DEFINITION: **A **simplicial map** between, is a map so that whenever is a simplex in , we have is a simplex in .

**LEMMA: ** **Simp**, with objects as simplicial complexes and morphisms as simplicial maps, forms a category.

*Proof: *The reader is encouraged to try to prove this using the definition of categories in Categories and Functors.

While it is great to have an idea for what simplicial complexes look like, this definition is actually slightly too concrete. For this reason, we need to define abstract simplicial complexes. The idea of these objects is that they are abstract enough to be useful in theory and computation, and it is okay to worry about the nice space that they will fit in later.

**DEFINITION: **An **abstract simplicial complex ** is a finite collection of sets satisfying, and implies .

Notice we dropped the minimal incidence property as well as the necessity of having a vertex set of points in Euclidean space. The notion of a simplicial map is exactly the same. Hence we obtain a category **AbSimp**. What we will see next is a justification for using abstract simplicial complexes. First note, that for every simplicial complex there is an abstract simplicial complex with the same vertex set of .

**LEMMA: **There is a functor so that for all and for all .

This lemma simply says that we can associate each abstract simplicial complex with a simplicial complex in a nice way. This allows us to work with these abstract objects and then fit them into a nice space later.

Now, we will take a look at two popular abstract simplicial complexes. One gives an accurate description of the space but is not easily computable, while the other is not as accurate but is easily computable.

**DEFINITION: **Let be a finite set of points in some metric space. Let be a positive real number. We define the **Čech complex at scale **to be the set of all simplices whose vertices lie in and the intersection of the balls centered at these vertices with radius is nonempty. In symbols

Where denotes the ball of radius centered at .

The Nerve Theorem tells us that our space is properly described by this complex. However, computationally, this complex is taxing. The problem is one is trying to find the intersection of metric balls which is much harder than just simply checking a condition. So we look to the next complex.

**DEFINITION:** Let be a finite set of points in some metric space. Let be a positive real number. We define the **Rips complex at scale **to be the set of all simplices whose vertices are within of each other. In symbols,

Notice the Rips condition is simply one we have to check. Though as previously stated it does not give an accurate description of the space since as we see in the picture we would fill the triangle in well befor the Čech complex would. However! It does it “well enough” as described by the following Lemma.

**LEMMA: (RIPS) ** .

Really this thing says that the Rips complex approximates the Čech complex well enough.

That will do it for part 1. It is meant to be an introduction to simplicial complex. Part 2 will cover enough Homology to understand Persistence. In the future we will look at concrete examples and the categorification of the field.