Algebraic topology

Math can study shapes.

We look for holes in them. This helps us know a shape.

We can use math to name these holes. Some shapes have many holes. Some have none.

We can also study knots. A math knot is a loop. The ends are joined together. You cannot undo it.

We can glue small parts to make big shapes. These are called complexes. They help us see how shapes work.

Math helps us understand the world of shapes.

Math can study shapes in many ways. One way is called algebraic topology. This field uses algebra to study shapes. Algebra is the study of groups and numbers.

Scientists look for special traits in a shape. They call these traits invariants. These traits do not change if you stretch a shape. This helps us tell shapes apart. One way to do this is to look for holes. We use homotopy groups to study these holes. The simplest one is the fundamental group. It looks at loops in a space.

We can also study manifolds. A manifold is a shape that looks flat nearby. A sphere or a torus are types of manifolds. Some shapes are hard to see. For example, a Klein bottle needs four dimensions.

Another part of this math is knot theory. A math knot is a closed loop. The ends are joined together. You cannot undo a math knot. You can only move the string. You cannot cut the string or pass it through itself. We can also build shapes by gluing parts together. These are called complexes. They help us study shapes in a clear way.

Algebraic topology is a special branch of math. It uses algebra to study shapes and spaces. Algebra is the study of groups and rules.

Scientists look for special traits called invariants. These traits stay the same even if you stretch a shape. They help us tell different shapes apart. This field helps us see how shapes connect. It can even help solve algebra problems. One example is proving things about free groups. This makes hard math problems much easier to solve.

One way to study shapes is through holes. We use homotopy groups to find these holes. The first one is called the fundamental group. It looks at loops within a space.

We also use homology and cohomology. Homology uses a process to find groups for a shape. Cohomology is a more refined way to do this. It assigns algebraic traits to a space. These methods help us understand the basic structure of a shape. They turn shapes into math groups we can measure.

People have worked on these ideas for a long time. In the 1920s and 1930s, the name of the subject changed. It used to be called combinatorial topology. This was because people focused on how shapes were built. Later, they began using algebra to study the spaces.

Georges de Rham was a mathematician who worked with cohomology. He showed how different math methods were linked together. In the 1950s, Samuel Eilenberg and Norman Steenrod expanded this work. They created rules called axioms to define these theories. Their work helped make these math tools very organized.

There are many different types of shapes to study. A manifold is a shape that looks flat nearby. A sphere and a torus are examples of manifolds.

Some shapes are very strange and hard to see. A Klein bottle cannot fit in three dimensions. It needs four dimensions to exist fully. We also study mathematical knots. These are loops where the ends are joined together. You cannot undo a math knot without cutting it. You can only move the string around.

We can also build shapes by gluing pieces together. These are called complexes. A simplicial complex uses points and triangles.

J. H. C. Whitehead introduced a type called a CW complex. These are very useful for studying homotopy. This math connects to many things we know. It can prove the fundamental theorem of algebra. It also explains the hairy ball theorem about spheres. Even simple loops on a circle tell us big secrets. Math helps us see the hidden patterns in every shape.

Algebraic topology is a branch of mathematics that studies topological spaces using the tools of abstract algebra. The primary goal is to identify algebraic invariants, which are properties that remain unchanged under certain transformations. These invariants help mathematicians classify spaces up to homeomorphism or homotopy equivalence. While the field mainly uses algebra to solve topological problems, the reverse is also true. For instance, topology provides a convenient proof that any subgroup of a free group is itself a free group. This illustrates how the two fields support one another through a deep, structural connection.

To understand the mechanism of this field, one must look at how spaces are converted into algebraic structures. Mathematicians seek a correspondence between spaces and groups that respects the relationship of homeomorphism. This allows complex statements about shapes to be recast as statements about groups. Groups possess a highly manageable structure, which makes these proofs much easier to complete. Two major methods for this conversion are homotopy theory and the study of homology and cohomology groups. Homotopy theory uses fundamental groups to provide basic information about a space's structure. However, these groups are often nonabelian and can be quite difficult to manipulate.

In contrast, homology and cohomology groups offer a different approach. Homology is a general procedure that associates a sequence of abelian groups or modules with a mathematical object. Because these groups are abelian, they are often easier to work with, especially when they are finitely generated. Cohomology is a more refined method that assigns algebraic invariants to a space using a cochain complex. It arises from the algebraic dualization of the homology construction. While homology looks at the basic structure, cohomology provides a more detailed algebraic description through the study of cochains, cocycles, and coboundaries.

There are several distinct types of objects and spaces studied within this discipline. Manifolds are topological spaces that resemble Euclidean space near every point. Common examples include the plane, the sphere, and the torus. Some manifolds, like the Klein bottle or the real projective plane, cannot be embedded in three dimensions and require four dimensions instead. Another area is knot theory, which studies mathematical knots. Unlike a common shoelace knot, a mathematical knot is an embedding of a circle in three-dimensional Euclidean space where the ends are joined. Two knots are considered equivalent only if one can be transformed into the other through ambient isotopy, which involves deforming the string without cutting it.

Mathematicians also construct spaces using complexes. A simplicial complex is built by gluing together points, line segments, triangles, and higher-dimensional counterparts. A related concept is the CW complex, which was introduced by J. H. C. Whitehead. CW complexes are broader than simplicial complexes and possess better categorical properties for homotopy theory. These structures allow for computational work while maintaining a combinatorial nature. Historically, the field was known as combinatorial topology because it focused on how spaces were constructed from simpler parts. By the 1920s and 1930s, the emphasis shifted toward investigating spaces through algebraic correspondences, leading to the modern name.

The history of the field is marked by significant individual contributions. Georges de Rham was a pioneer in cohomology research. He demonstrated that different approaches, such as de Rham cohomology and simplicial homology, were interrelated. Specifically, he showed that for a closed, oriented manifold, the Betti numbers derived from these different methods were identical. In the 1950s, Samuel Eilenberg and Norman Steenrod expanded this work by generalizing these approaches. They defined homology and cohomology as functors equipped with natural transformations. They also proved that an axiomatization based on these rules uniquely characterized the theory.

The significance of algebraic topology is seen in its many profound applications. It can be used to prove the fundamental theorem of algebra by using the fundamental group of a circle. It also provides the basis for the Brouwer fixed point theorem, which states that every continuous map from a unit n-disk to itself has a fixed point. In geometry, the "hairy ball theorem" describes how an n-sphere admits a nowhere-vanishing continuous unit vector field only if n is odd. Furthermore, the field connects to broader concepts like category theory. In fact, the notions of category, functor, and natural transformation originated within the constructions of algebraic topology.