Maths - Algegraic Topology

On these pages we discuss some concepts in algegraic topology.

Click on the subject on the right to go to the subject you are interested in.

Equality Between Spaces

In two dimensions it is relatively easy to determine if two spaces are topologically equivalent (homeomorphic). We can check if they:

However, when we scale up to higher dimensions this does not work and it can become impossible to determine homeomorphism. There are methods which will, at least, allow us to prove more formally when topological objects are not homeomorphic.

These methods use 'invariants': properties of topological objects which do not change when going through a homeomorphism. Here we look at two types of invariants which arise from homotopy and homology.

Homotopy

It would take up too much space to properly explain the concept here so see this page for more details


nth homotopy group

In homotopy we use equivalence classes between a circle and loops (which don't collapse) on the topological object that we are investigating. We can get further invariants by extending the circle to the surface of higher order n-spheres.

We can then get algebraic structures (mostly groups) by investigating what happens when these loops are composed, the loops are generators of the group. In homotopy the order of these compositions can be significant, that is the groups are not necessarily abelian.

Homology

It would take up too much space to properly explain the concept here so see this page for more details

homology groups

In homology we dont just use n-spheres but every closed oriented n-dimensional sub-manifold.

It also uses a different definition of equivalence classes where composition of loops commutes. This results in abelian groups.

So we dont need to fix the basepoint.

Topology on a Set

A topology on a set X is a collection Τ of subsets of X, called open sets satisfying the following properties:

The requirements for the existence of of meets and joins correspond to the requirements for the existence of unions and intersections of open sets. Therefore these lattice structures can represent topologies.

  Lattice Open Set
  lat 1 open 1
  lat2 open 2
     
invalid - every intersection should be an open set: lat open
Venn Diagram Topological Space (or not) Lattice (frame)
topological space example 1 This is not a topological space because 'a' and 'b' are subsets but not the union of 'a' and 'b' lattice
topological space example 2 This is now a topological space because we have added the union of 'a' and 'b' lattice2
topological space example 3 This is not a topological space because 'ab' and 'bc' are subsets but not their intersection. lattice3
topological space example 4 This is now a topological space because we have added 'b' lattice4

Note: Assume Ø is included in the above examples.

Link between Topology and Logic

One way to visualise the link between topology and logic is to start with a Venn diagram.

We can then map points in the Venn diagram to either true or false depending on whether they are in a given set.

topology and logic

This is a nice way to link geometry, logic and topology.

Link between Topology and Category Theory

Presheaf

 

Fibre in Category Theory

See page here.

Slice Category

See page here.

Examples

Non-Geometric Examples

Sequences

Here the concept of 'nearness' comes from sequences that begin in the same way.

Denotional Semantics

 

Recursively Defined Structures

 

Further Information


metadata block
see also:

external sites:

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flag Steven Vickers - Topology Via Logic.

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2021 Martin John Baker - All rights reserved - privacy policy.