Arick Shao | 邵崇哲 |

## Why Study Abstract Things?
A major trend in modern mathematics is abstraction.
Rather than studying the more familiar objects, such as the natural numbers or the real numbers, mathematicians often instead consider general systems which satisfy given properties.
The idea is that one is concerned less with the concrete form of something than with its ## An Analogy for AbstractionTo get a better sense of what abstraction means, let us first discuss a most primitive analogy. Imagine, for example, that you are a sheepherder from long before the advent of number systems as we know it. For this role, you would need to keep track of your sheep, so you go through your herd and count: one sheep, two sheep, three sheep, and so on. (Since at this point, we have not defined/discovered numbers yet, you should think instead of the concrete physical states of there being however many sheep.) Next, imagine you are some other person, who for some reason needs to count chickens—one chicken, two chickens, etc.—or perhaps trees, or people, or bowls, or whatever else comes to mind.
Now, if you think through all these hypothetical examples for long enough, you eventually come across an epiphany: these processes of counting sheep, chickens, trees, people, bowls, and so on, are in some sense all the same!
Although three sheep are clearly not the same as three bowls, there still is clearly something common to enumerating sheep and bowls.
This intuition leads to the notion of If we wish, we can certainly take this particular counting analogy even further. For instance, you may observe that "combining a group of three sheep with a group of two sheep results in a group of five sheep" is in some sense equivalent to "combining a group of three people with a group of two people results in a group of five people". Again, this directs us toward an abstraction capturing this common theme: \(3 + 2 = 5\). Of course, this analogy also extends to multiplication, exponentiation, and so on. Although this entire thought experiment seems silly by modern sensibilities, it does demonstrate, in very elementary terms, what abstraction entails. ## Modular ArithmeticLet us now consider more examples, this time in a direction toward abstract algebra. While most people view addition or multiplication as operations one would apply to numbers, be it natural numbers, integers, or real numbers, one already learns in high school that these notions can also be extended to other objects. For example, one learns to add two vectors or matrices (of the same dimensions) by performing a numeral addition on each element, while in linear algebra, one also learns to multiply two matrices (of the appropriate dimensions). An appropriate analogy can be found in computer science, in particular in typed programming languages such as C++. Those languages contain several data types (integers, floating point, and so on, as well as custom data types), which one can think of as different systems. Each of these data types may have its own definition of "addition". For example, integer addition is considered different from floating point addition, although they have similar interpretations; custom data types may also have their own version of addition (for example, ordered pairs of integers and vector addition).
We next consider a more creative example by asking the following question:
If we want, we can also define multiplication and exponentiation in these "clock systems", again with the rule that one loops back to zero after surpassing \(12\) or some other base.
For example, in the "12-hour clock" system, we can write
\[ 11 + 4 = 3 (\text{mod } 12) \text{,} \qquad 11 \cdot 4 = 8 (\text{mod } 12) \text{,} \]
with the last equation holding since \( 11 \cdot 4 = 44 = 3 \cdot 12 + 8 \).
These systems are collectively referred to as ## Abstract Algebra
Now, as in our primitive example for natural numbers, again we can construct abstract concepts that encapsulate the properties common to all the above systems which can be interpreted as "addition" or "multiplication".
From considering addition or multiplication on its own, we often run into the notion of What is interesting is that applications of these abstract concepts go beyond adding and multiplying. For instance, groups have also been used to model symmetries and transformations. For a simple example, let us compare the 12-hour clock to a regular dodecagon (polygon having 12 sides). The rotational symmetries of this dodecagon—the ways one can spin this dodecagon without changing its appearance—can be enumerated as counterclockwise (or clockwise) rotations of \(0, 30, 60, 90, \dots, 330\) degrees. Moreover, we can associate a \(30\)-degree rotation with adding by \(1\) in the (12-hour) clock arithmetic, \(60\)-degree rotation with adding by \(2\), and so on. More explicitly, if we think of the dodecagon as slowly spinning, at 30-degrees per hour, then each hour of spinning corresponds to a rotational symmetry, and adding by \(n\) hours directly corresponds to the rotational symmetry of spinning by \(30 \cdot n\) degrees. In short, via this abstract notion of groups, we have made a connection between two rather different concepts: addition modulo \(12\) and the rotational symmetries of a dodecagon.
Such abstractions can also lead to new perspectives on dealing with the more concrete objects that we ultimately care about.
One elaborate example is the rather elementary statement of Fermat's last theorem: ## Distances and Limits
For a different set of examples, let us now turn toward first-year calculus, in particular to the notion of
For instance, one has a intuitive notion of "distance" between points in two or three-dimensional space from the Pythagorean theorem:
\[ d ( (x_1, y_1), (x_2, y_2) ) = \sqrt{ ( x_2 - x_1 )^2 + ( y_2 - y_1 )^2 } \text{.} \]
By using this distance instead of the single-dimensional distance from before, we obtain limits for ordered pairs and triples of numbers, which is precisely the limits encountered in As an example, one often solves differential equations—more specifically, proves that a differential equation has a solution—by using such infinite-dimensional limits of functions. Without going into details, the idea is to obtain almost-solutions that better and better approximate the actual solution. Then, by using a very abstract theorem on systems with distances—the contraction mapping theorem—one can generate a limit of these approximating functions that is the actual solution to the differential equation. This process, called Picard iteration, is often sketched in a basic differential equations course. What is even more surprising, though, is that the same abstract contraction mapping theorem that generates solutions to differential equations also has many other seemingly unrelated uses. For example, by cleverly constructing a "distance" on regions in a plane, one can use abstract limits and the contraction mapping theorem to construct many well-known fractals, such as the Sierpinski triangle and the Koch snowflake. This is another example of discovering unexpected connections between different topics. Moreover, this connection is uniquely mathematical, since one would not have encountered such insights without having expanded into a broader, more abstract perspective in the framework of mathematics. ## The Brachistochrone Problem
For another example along similar calculus foundations, we look at a historical physics problem from several centuries ago, the brachistochrone problem:
The main idea behind the solution comes from a basic principle in calculus: This provides a very early scientific application of abstracting the concept of differentiation. These ideas also led to the development of what is called the calculus of variations, which is an active topic of research in mathematics today, as well as a fundamental tool for several areas of mathematics and physics. ## The Many Uses of AbstractionIn summary, there are many reasons mathematicians often elect to consider more abstract concepts. For example, we have discussed the following: - Many extensions and generalizations of more familiar concepts, such as multiplication, distance, limits, and dot products, have become fundamental to many modern theories, such as partial differential equations, quantum mechanics, and general relativity.
- Many problems of interest in mathematics and physics have been solved using tools and ideas that come from generalizing more familiar concepts. By understanding not just a particular system itself but rather the essential properties that make that system work, one can begin to understand how to adapt ideas from one setting to study another.
- By taking a more abstract, and hence wider, view of the mathematical landscape, one can sometimes better see what is the essential ingredient required to complete a proof or to understand an idea.
- Through abstraction, one can sometimes find connections between different areas of study. Moreover, these connections can sometimes be quite unexpected.
Given the considerable benefits that abstractions have produced in modern mathematics and in other mathematically-inclinced disciplines, we will likely see many more abstract ideas, as well as many interesting applications and connections, in the years to come. |