Hey! welcome to the first post of ‘algebraic topology’. First off all some heads up, I am going to assume that the reader is familiar with two topics: Topology & Group theory. If this is not the case, I recommend you to pause here and come back to this series when you are familiar with those topics since without pre-knowledge, you won’t understand me at all.
OK, if you kept reading it means that you are familiar with the topics above and then I shall begin. What is algebraic topology? If you remember topology classes, then you are probably familiar with the term homeomorphism. If two topological spaces are Homeomorphic, it means that they are the same topolical structre in a way. An improtant problem is to determine whether two topological spaces are homeomorphic or not. In topology class, (At least in my class) we see ways to prove that two topological spaces are not homeomorphic, using topological properties, (for example, connectivty). Sometimes, we need more tools in order to prove it. This is where algebraic topology comes to help, It turns out that we can match each topological space with a group, and learn about the space using the group. Before I start with this match, I need to talk about someting bigger and more general in order to trully understand what is going on here.
Categories
A Category is a collection of objects, where for every pair of objects
there exists a set
.
Wow, that is super abstract, lets try understand that carefully. First of all, is a short for ‘morphism’, does that sound familiar to you? if not, let me just write some words here: homomorphism, Isomorphism, monomorphism…
How about now? this gives us some kind of clue that this set of morphisms, is kind of an abstract way to name the set of property presevring maps between structures. And now we can also think of object as actual structure that we know: Vector space, Group, Field, Ring, Topological space and so on. What we are trying to do here is to generalize all of those cases into this kind of global thing.
There is an action on the objects, for any given objects and
we define:
g\circ f\in \text{Mor}(A,C)
It kind of feels like function compostion, although it might be actually composition in specific cases, here we treat this action as some abstract thing that takes two elements from two different sets, and returns a third element of a another set.
This action is associative: if ,
Then:
h\circ(g\circ f)=(h\circ g)\circ f
Also, for any given , there is
. This element is kind of special: for every
and for every
:
1_B\circ f= f
and:
f\circ 1_A=f
That means that this element is acting like kind of a unit.
Some famous examples of categories are:
- Topolical spaces with the action of continous maps.
- Group with homomorphisms.
- Vector Spaces and linear transformations.
Our goal is To deal with two main categories – one which contains topological spaces, and the other contains groups. However, we still need a way to map objects from one category to the other.
Functors
Given two categories . a Functor from
to
is a map
that matches an object
with an object
. Moreover, for any pair of objects
and morphism
it matches a morphism
such that:
,
then
.
.
Again, the functor we are interested in is the one from the category of topological spaces to the category of groups.
Before I proceed, I want to notify that I will start writing as
or
, Those are just symbols that are easier to use.
Generalized Isomorphism
Now we let be a category,
is called an Isomorphism if there is
such that
and
.
As you might be thinking now, this is the ‘global’ definition of isomorphism, where all the types of isomorphisms you have met so far, are derived from this definition. Let’s play with this definition a bit and prove a statement:
I’ll show that a composition of isomorphisms is also an isomorphism. Let be two isomorphisms. Then, there exists
such that:
\varphi^\prime \circ\varphi = 1_A
\varphi\circ\varphi^\prime=1_B
Moreover, there exits: such that:
\psi^\prime \circ\psi=1_B
\psi\circ\psi^\prime = 1_C
We want to to show that is also an isomorphism. Observe that:
(\varphi^\prime\circ\psi^\prime)\circ(\psi\circ\varphi)=\varphi^\prime\circ(\psi^\prime\circ\psi)\circ\varphi
However, then we get
=\varphi^\prime\circ1_B\circ\varphi=\varphi^\prime\circ\varphi=1_A
It works! with a similar process we get that:
(\psi\circ\varphi)\circ(\varphi^\prime\circ\psi^\prime)=1_C
And we proved the statement.
When there is an isomorphism we say that
are isomorphic and we write
. It is easy to see that the realtion
is an equavilence relation, I won’t prove it here, try it yourself, it is really not that hard and I bet you have already proved similar statements in a group theory class or topology class or some other class. Remember, we are trying to generalize what we have studied before, so that makes sense that the proof will be similar to other related statements in different topics.
Now I want to present an improtant stamenent that will make things clearer, justify the use of functors and motivate us to work with functors. be two categories.
is a functor. Let
be isomorphic objects with an isomorphism
. Then
is also in isomorphism.
Before I’ll go into the proof, Let’s understand first what this theorem says. It basically means that we can translate an isomorphism from one category to anoter. In our desired case, If we have a functor from the category of topological spaces to the category of groups then we can conclude that if two topological spaces are homeomorphic, so the corresponding groups are isomorphic as well! We can also conclude that if the corresponding groups are not isomorphic, then the spaces aren’t homeomorphic! This theorem gives us a tool to check if two topological spaces are not homeomorphic, which is exactly what we were looking for!
Let’s prove this theorem: since is an isomorphism, there exits
such that:
\varphi ^\prime \circ \varphi=1_A
\varphi\circ\varphi^\prime=1_B
Then:
F(\varphi^\prime)\circ F(\varphi)=F(\varphi^\prime\circ\varphi)=F(1_A)=1_{F(A)}
F(\varphi)\circ F(\varphi^\prime)=F(\varphi\circ\varphi^\prime)=F(1_B)=1_{F(B)}
So we have found which proves the theorem!
A short way to state this theorem is: . I find this theorem actually very intuitive, however, the opposite is not always true:
.
Summary
We have met a really abstract topic here, which may seems a little unrelated to topology, however, we will see how we use everything here for our own specific needs, as I mentioned a few times in this post.
In the next post I will start talking about actually topology and introduce the term of Homotopy.
One thought on “Algebraic Topology – Introduction”