Set theory

Set theory is a special area of mathematics that studies collections of objects called sets. These sets can include almost anything—like numbers, letters, or even other sets—but in mathematics, we focus on sets that help us understand numbers and other mathematical ideas better.

The study of set theory began in the 1870s with two German mathematicians, Richard Dedekind and Georg Cantor. Cantor is often called the founder of set theory. Early work in set theory was called "naive set theory," but it faced some big problems or paradoxes. To solve these, mathematicians created more careful rules, or "axioms," for how sets should behave. One of the most popular systems today is called Zermelo–Fraenkel set theory.

Set theory is important because it helps provide a strong foundation for all of mathematics. It also helps mathematicians study the idea of infinity and has useful applications in computer science, philosophy, and many other areas. Today, mathematicians and logicians study many interesting questions about sets, such as the structure of real numbers and the properties of very large numbers.

History

The idea of grouping objects together has been around since numbers began. People have thought about sets, which are just collections of things, for a long time. In the 1800s, mathematicians like Richard Dedekind and Georg Cantor started studying sets more formally.

Georg Cantor, in particular, made big discoveries about sets. He showed that some sets, like the set of all real numbers, are bigger than others. He also created new numbers to describe the sizes of these sets. His work was new and surprising to many, but it became very important for modern mathematics.

Basic concepts and notation

Main articles: Set (mathematics) and Algebra of sets

Set theory is a part of math that studies collections of objects called sets. We say an object o is a member or element of a set A if it belongs to that set, written as o ∈ A. Sets can be described by listing their elements inside braces, like {1, 2, 3}, or by a property they share.

One important idea in set theory is the subset. A set A is a subset of set B (written A ⊆ B) if every element in A is also in B. For example, {1, 2} is a subset of {1, 2, 3}. Sets can also have operations similar to arithmetic, like union (combining sets), intersection (finding common elements), and difference (finding elements in one set but not another).

Ontology

Main article: von Neumann universe

In set theory, a pure set is a collection where every item inside it is also a set, and this continues for every item inside those sets, and so on. For example, a set that contains only the empty set is a pure set because the empty set itself has no items. Modern set theory often focuses on these pure sets, organized into what is called the von Neumann universe. These sets are arranged in layers, called a cumulative hierarchy, based on how deeply their items are nested. Each set is given a special number called its rank, which tells us how many layers deep it is in this hierarchy. The empty set, having no items, is given the rank 0, and a set containing only the empty set is given the rank 1.

Formalized set theory

Elementary set theory can be studied using simple tools like Venn diagrams. However, this simple approach can lead to problems or paradoxes. To avoid these issues, mathematicians developed something called axiomatic set theory.

The most common system is called Zermelo–Fraenkel set theory with the axiom of choice (ZFC). There are also other versions of this theory that are smaller or slightly different. Some systems include not just sets, but also things called "proper classes." These different systems help mathematicians study sets in careful and organized ways.

Applications

Many important math ideas can be described clearly using sets. For example, structures like graphs, manifolds, rings, vector spaces, and relational algebras can all be understood as sets with certain properties. Concepts such as equivalence and order relations are also common in math and can be explained using set theory.

Set theory can serve as a strong foundation for much of mathematics. Since the publication of the first volume of Principia Mathematica, it has been suggested that most math theorems could be built using a well-chosen set of rules for sets, along with definitions and logic. For instance, the properties of natural and real numbers can be explored within set theory by representing these numbers as special kinds of sets. Projects like Metamath have verified thousands of theorems starting from ZFC set theory, first-order logic, and propositional logic.

Areas of study

Set theory is a big part of mathematics with many different areas to explore. One area is combinatorial set theory, which looks at how to count and arrange objects, even when there are infinitely many of them. This includes studying special numbers called cardinals and ideas from theorems like Ramsey's theorem.

Another area is descriptive set theory, which studies groups of numbers and points, like those found on the real line. This area looks at how these groups behave and has links to other parts of mathematics. There is also fuzzy set theory, where objects can partly belong to a group, like how someone might be considered "tall" to a certain degree.

Controversy

Main article: Controversy over Cantor's theory

Since set theory began, some mathematicians have questioned its use as a basis for all of mathematics. One common concern is that it includes ideas about infinite collections that cannot be computed, which some believe should not be part of math. Another worry is that the way sets are defined can be circular, making the definitions unclear.

Philosophers like Ludwig Wittgenstein also criticized set theory, saying it relies on abstract ideas that are not truly mathematical. Some modern mathematicians explore other theories, like topos theory and univalent foundations, as possible alternatives to traditional set theory. These new approaches offer different ways to understand and work with mathematical concepts.

Mathematical education

As set theory became important in mathematics, some people thought it would be good to teach the basics of naive set theory early in mathematics education. In the 1960s in the US, there was an experiment called the New Math that tried to teach set theory to primary school students, but many people did not like it. However, many schools in Europe now teach set theory at different levels.

Teachers often use Venn diagrams to help students understand set theory. These diagrams were created by John Venn to study logic, but they are great for showing relationships between groups. Set theory also helps students learn about logic words like NOT, AND, and OR, which are important in computer programming because they are part of Boolean logic used in many programming languages.

Set theory introduces students to special collections of numbers, like the natural numbers, integers, and real numbers. These sets are useful when learning about mathematical functions.