Majoring in Mathematics
This article is intended to provide a brief introduction to what college mathematics is all about. It is aimed at high school students who have enjoyed mathematics in high school, and are starting to think about what to study in college. This article is a work in progress -- please expand and leave suggestions at the talk page.
Here is an outline of what I hope to write.
What College Mathematics is Not
Before we look at the sorts of problems that actually are dealt with by mathematics in college, let's look at some that are not. Rest assured, many of the most painful aspects of math classes you've taken before aren't so bad in college!
- Simply learning more advanced versions of mathematical ideas from high school. Tired of learning tricks for integration? Majoring in math won't just teach you new methods to integrate functions -- if you've taken an introductory calculus class, chances are you already know the important ones! What it will do is force you to think carefully about basic questions about what an integral is. Given some subset of space, what does it really mean to find its volume?
- Doing lots of computations. Chances are you'll have to do a few, but most mathematics in college is based around "proofs" -- very careful and rigorous arguments which show that mathematical statements are true. Many proofs won't involve any computations at all!
- Learning a bag of tricks to do Olympiad-type problems. If you've ever taken the AMC, Math League, or other similar competition tests, and not done well, don't worry! Much of these tests check nothing more than whether you're familiar with some collection of techniques for solving special problems. One math professor at Harvard keeps in his desk a copy of a math competition on which he scored a perfect 0/120. Mathematical theory goes far beyond these problems.
Instead, college mathematics is about developing new ways to rigorously approach a wide array of problems. More than aiming to find tricky techniques to solve certain problems, it is about building powerful approaches that solve many problems, and learning to think rigorously about them.
Major Topics of Study
Given that a math major won't just be getting more practice at the sorts of math encountered in high school, what is it about? Here's a list of some of the major fields that are the foundation of a mathematics education.
For each field, I hope give a very general description and to describe a few problems/theorems that are nice results and capture some of the essence of a subject. I'll aim for a few paragraphs about each one. Then I will give a problem or two that is a much more open-ended question that has motivated the development of large amounts of theory. For now I have no written about any of these -- please leave feedback and suggestions on the talk page and I will try to arrive at the best set of motivating problems!
- How many positions are there for a Rubik's cube. Brief discussion of group theory, and how a group acts on the Rubik's cube.
- Bezout's theorem. Discuss intersection of conic sections, plane cubics, etc. Two conics intersect at 4 points, in generally.
- Is the quintic solvable in radicals? And what in the world does this problem have to do with group theory?
A motivating question: failure of unique factorization in certain number fields (with explicit examples)
- The Theorema Egregium - that there exists a quality inherent to a surface no matter how it is "bent."
- What happens if we remove some the Euclidean postulates taught in high school? Specifically, the parallel postulate?
- Double-bubble conjecture (a nice result, easy to state and wave hands about "curvature", and with a connection to CP!)
The Bridges of Konigsberg
The earliest roots of the modern study of topology (and graph theory in particular) lie in Leonhard Euler's investigations of a famous puzzle from the 1730s. The town of Konigsberg (now Kaliningrad) was bisected by a river, which contained two large islands. There were seven bridges connecting the islands, as indicated in the accompanying image. The problem asked for a walk through the town which would cross each bridge exactly once: every bridge must be crossed once, and none more than once.
Euler proved that no such path existed, with the following simple and elegant argument: observe that the path one takes while on the islands is irrelevant to the problem at hand, and that all that matters is the order in which the bridges are traversed. Every time one enters one landmass by means of a bridge, he leaves it by means of another. This means that the number of bridges entering and exiting each landmass must be even, except possibly the landmass in which he starts and the one in which he ends (since he does not both enter and exit these). However, in Konigsberg, each of the four landmasses is served by an odd number of bridges! This means that no tour of the sort desired is possible.
This argument is fundamentally a "topological" one because of the recognition that the rigid shapes and geometry of the problem make no difference. If the shape of the islands were changed, or a bridge were moved but stayed between the same two islands, the solution of the problem would not be affected. The only thing that matters is the number of islands and which islands are connected by bridges. The modern field of topology is at its heart the study of geometric objects whose rigid shape is not important.
- Connection between topological spaces and algebraic groups
- Ham sandwich theorem (easy to state, harder to motivate solution. Possibly there's something better.
How can we tell the difference between a sphere and a torus?
This is the sort of question that motivated the development of the field of topology for many years. Recall that a torus is the shape of an inner tube, or the surface of a donut: it is a two-dimensional surface with one whole. If a torus were made out of clay, one could stretch and squish it, but it is intuitively clear that no amount of stretching could possibly deform in into a sphere: it's simply impossible to get rid of the hole! Similarly, a sphere made out of clay can't be deformed into a torus without ripping it. The question of why the two shapes are not the same is fundamentally a topological one: we are interested in some intrinsic geometric properties of these objects, but not their specific rigid shapes.
It turns out that methods from algebra provide the easiest way to prove that it is impossible to deform a sphere into a donut. Observe that a sphere has the following property: given any loop drawn on the sphere (say, a rubber band stretched around it somehow), it is possible to "contract" that loop to a point (i.e., to scrunch up the whole rubber band at one place). On the other hand, if a rubber band is placed on a donut in such a way that it loops around the central whole, there is no way to contract it to a single point. A crucial observation in the field of algebraic topology is that if a space can be obtained by squeezing and stretching a sphere, then it will still have the property that every loop is contractible. Since a torus doesn't, we conclude that it must be fundamentally different from a sphere. Arguments like this are the basis for the field of algebraic topology, and this problem of contracting loops in a space is studied using the fundamental group.
- Riemann mapping theorem. State this in terms of conformal mappings of the unit disk and draw lots of pictures!
- Sharkovsky's theorem. A cute result, and makes possible some discussion of fixed points.
- Periodic orbits in billiards in polyhedra. I think it should be possible to say some interesting things about this but with some real content. Possibly there's a better idea.
Hard problem: What does an integral really mean? Babble a bit about integrating the characteristic function of Q.
Probability and Statistics
- Discussion of Benford's law, application to recognizing fraud.
- Understanding the concept of the "random variable"
- Proving the Central Limit Theorem
Motivating problem: Deriving conclusions from rarely occurring events, such as multiple no-hitters by the same pitcher. Specifically, how many no-hitters must a pitcher toss before one can conclude from that evidence alone that he is a great pitcher?
- Logic: still need a good problem
- Number theory: connected to the other fields above in many ways. Prime number theorem?
- Set theory: some discussion of axioms, maybe talk about AoC.
Many other subjects are often considered parts of mathematics as well. Depending on specific undergraduate programs, a math major may or may not be required to take courses in these areas, but many of the same ideas are used in these subjects as in the others.
- Computer science: something about algorithmic complexity: maybe the fact that primality testing may be done in polynomial time?
None of these fields exists in a vacuum, and there is rich interplay between them. If you insert "algebraic" or "differential" before the name of just about any branch of math, you get a more specialized, but important field. Motivate some of these connections:
- Algebra+topology: discussion of fundamental group.
- Analysis+topology: discuss conservative fields, and hint at de Rham cohomology without actually saying those words.
- Algebra+analysis: find a good simple example of a Lie group showing up in the study of some differential equations.
After finishing a major in mathematics, most people don't keep working in Pure Math. But the ways of thinking and skills that the study of mathematics provide make available a wide range of career opportunities.