Homology (mathematics)

Homology is a special way to study the secrets of shapes. It is a tool used in a field called algebraic topology. This math helps us tell different shapes apart by looking at their structure. Most people think of homology as a way to find and count holes. For example, a circle has one hole in the middle. A solid ball has no holes at all. By using homology, mathematicians can describe these features using groups of numbers.

To understand how it works, we look at cycles and boundaries. A cycle is a shape that has no ends, like a closed loop. A boundary is a shape that acts like the edge of something else. For instance, the edge of a flat disk is a circle. In homology, we look for cycles that are not boundaries. If a cycle cannot be "filled in" by a larger shape, it represents a hole. This way, we can use math to see if a shape is empty or solid.

Mathematicians use something called a chain complex to do this work. A chain complex is a sequence of groups connected by maps. These maps are called boundary maps. We look for a specific group called the kernel to find our cycles. We also look for a group called the image to find our boundaries. The homology group is what we get when we compare these two. It is a way of measuring what is left over after we remove the boundaries.

There are many different ways to calculate these groups. These different methods are called homology theories. Some famous ones include singular homology and Morse homology. There is also Khovanov homology and Hochschild homology. For simple shapes like graphs, we can use graph homology. Some theories use triangles, which are called simplices, to study a space. Others use disks to create what is called cellular homology. Each theory helps us learn something new about the object.

Homology connects to many things you might already know. It helps us see why a figure-eight shape is different from a single circle. A figure-eight has more holes than a circle does. It also explains why an inner tube, or a torus, is different from a basketball. A sphere, like a basketball, has a different kind of hole than a torus. Even the number of separate pieces in a shape matters. A zero-dimensional hole is simply a gap between two separate parts.