Imagine holding a rubber band in your hands. You have the freedom to play around with it however you like – stretch it, twist it, bend it – basically, deform it from its original round and circular shape. Here, two fascinating things come into play.
Firstly, all your deformations are smooth and continuous. You deform the band in a flexible manner, allowing for seamless transformations. This is a matter of common sense and something we intuitively understand.
Secondly, there are inherent properties of that original, circular rubber band that remain unchanged, no matter how much you twist, bend, or stretch it. These unique qualities persist in every deformed shape, holding a constant presence amid the transformations.
Now, this might not be immediately apparent, but this nature of objects is at the heart of the study of knots and links. Think of knots as deformed rubber bands or envision two distinct rubber bands intricately tangled in such a messy link that it is nearly impossible to un-link them. We have such kind of situations with different objects from our day to day life like ropes, electric wires, shoelaces, threads and many more. And it is this interplay of deformations and unchanging properties that makes the study of knots and links both intriguing and crucial in the world of mathematics.
So, the lesson learnt from the rubber band experience above can be expressed in a single line. There exist objects which when subjected to smooth seamless transformations, or I should rather say continuous deformations, does not tend to change some properties inherent to it no matter how rigorous the processes of the deformations are.
And the field of mathematics which is concerned with such properties of geometric objects, like ropes, wires and threads, that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending, without closing holes, opening holes, tearing, gluing, or passing through itself is called Topology. In the language of Topology, the rubber band is called a Topological Space, the continuous deformations, that transforms one shape of the rubber band to another, are regarded as Homeomorphism and the properties of the rubber band that remains preserved under such deformations are called Topological Invariants. Let's try to understand these keywords one by one in somewhat detail, because this is going to aid us in understanding the main algorithm, LINKAGE, later.
Let X be a set. A topology T on X is a collection of subsets of X such that:
The pair (X, T) is called a Topological Space. The sets in T are called open sets, and the elements of X are called points.
The definition is too technical for us to understand, let's use the example of a rubber band to simplify the technicalities and enhance our understanding.
We can envision the rubber band as a collection of infinitely many points, each with a unique location on the band, which is continuous in its structure. Since continuous structures are considered to be infinitely discretized, to facilitate visualization, let's discretize the continuous band with discrete points, labeling them as A, B, C, and so on. The set X represents all these points, X = {A, B, C, ...}, where each element is a point on the rubber band.
Now, consider dividing the band into small segments or arcs. Each arc contains numerous points. Deforming one of these segments—whether by stretching, twisting, or bending—while keeping the rest of the band unchanged constitutes a small deformation to the entire band. Each small segment is what we call as an "open set." The whole band itself can be considered an open set if treated as a single segment and deformed accordingly. Note that a deformed rubber band is nothing but a combination of deformations of these small segments.
When we talk about closeness between two points, we don't rely on the geometric concept of distance. Instead, if two points lie on the same segment or open set, we consider them close. This topological closeness remains even if the points geometrically move away from each other due to stretching.
Here are some rules for open sets:
Therefore, deforming the rubber band involves moving points within open sets. Points on the same arc are considered close, while points in different arcs might not be close. Tearing or gluing is strictly forbidden, emphasizing the continuity of deformations.
In conclusion, the rubber band, along with the defined open sets, forms a topological space. Any geometric object that can be treated similarly becomes a topological space. This concept allows us to discuss the closeness of points based on their configurations, capturing the essence of topology without resorting to precise measurements.
Now that we have a clear grasp of the concept of topological spaces, let us delve into another key concept, namely Homeomorphism, which serves as the connection between two topological spaces.
A function f: X → Y between two topological spaces is a homeomorphism if it satisfies the following properties:
A homeomorphism is sometimes referred to as a bicontinuous function. If such a function exists, we say that X and Y are homeomorphic. A self-homeomorphism is a homeomorphism from a topological space onto itself. The notion of being "homeomorphic" establishes an equivalence relation on topological spaces, with its equivalence classes termed homeomorphism classes.
To elucidate this technical definition, let's consider the example of a rubber band. Imagine taking the rubber band and deforming it into some random intricate shape. In this scenario, both the original shape and the deformed shape represent two distinct topological spaces. Suppose we have a method to isolate the original and deformed shapes independently. Deeping both the structures into the tanks of 3D rectangular coordinate space, each point on these structures gets painted with distinct coordinate points, each with x, y, and z values. A homeomorphism, in this context, is such a function that when it takes input coordinate points from the original shape, it reproduces outputs that are destined coordinated points of the deformed shape. The function is one-to-one, signifying that each distinct point on the original shape corresponds to a unique point on the deformed shape. It is onto, meaning that every distinct point on the deformed shape has a corresponding point on the original shape. Consequently, the function is bijective. Furthermore, the function must be continuous as the input coordinate points come from a continuous topological space. This ensures that every point is mapped in a way that the deformed shape remains continuous without any holes or tears appearing during the mapping process.
To understand homeomorphism effectively, let's consider the essential properties of topological spaces that remain unchanged under homeomorphisms, leading us to the concept of topological invariants.
Some fundamental properties that remain invariant under homeomorphisms include:
These invariants allow mathematicians to classify and study topological spaces based on their underlying properties. Ultimately, homeomorphism plays a pivotal role in establishing equivalences between seemingly distinct topological spaces while preserving their essential characteristics.
To wrap up this discussion, we will delve into what topological invariants are and how they allow us to differentiate between various topological spaces.
Topological invariants are properties of a topological space that remain unchanged under homeomorphism. They act as a tool for mathematicians to discern between different topological spaces and establish classifications. Some notable examples include:
These invariants help classify topological spaces into homeomorphism classes, showcasing their intricate and unique structures. Understanding topological invariants opens doors to various applications, from algebraic topology to knot theory, where we analyze the properties of knots and links under continuous transformations.