Infinite set

In set theory, an infinite set is a set that has more members than any finite set. This means it goes on forever and cannot be counted completely. Sets are groups of objects, and some of these groups can be measured, while others are too large to count.

Infinite sets can be of two main types: countable or uncountable. A countable set, like the set of all whole numbers, can be matched one-to-one with the natural numbers, even though it never ends. An uncountable set, like the set of all real numbers, is so large that it cannot be matched in the same way.

Understanding infinite sets helps mathematicians explore the sizes of different types of infinity and how these sets relate to each other. This idea is important in many areas of math and logic, showing how even something as simple as grouping objects can lead to deep and interesting questions.

Properties

The set of natural numbers is an example of an infinite set. It is the only set that the rules of math directly say must be infinite. We can show that other sets are infinite by linking them back to the natural numbers.

A set is infinite if, no matter how big a number you pick, the set has a smaller part that matches the size of that number. This helps us understand just how big or endless a collection can be.

History

Important ideas in the history of math include how to describe parts of a group, how to show that some groups never end, and ways to compare groups that end and groups that don’t. Many smart thinkers, like Cantor, helped shape these ideas. They used tools such as ordered sets, coordinate planes, and universal sets to study infinity.

Math experts used smaller, ending groups to help explain bigger, never-ending groups. They looked at how these big groups behave and how they connect to each other. The study of infinite sets has even helped in areas like biology and genetics.

Examples

Some sets have a lot of elements, more than we can easily count. We call these infinite sets.

One type is called countably infinite. This means we could list all the elements in a line, even if it would take forever to finish. For example, the set of all whole numbers {..., −1, 0, 1, 2, ...} is countably infinite. The set of all even whole numbers is also countably infinite.

Another type is called uncountably infinite. These sets are so big we cannot list their elements in a line. For example, the set of all real numbers is uncountably infinite. So is the set of all irrational numbers, and the set of all groups of whole numbers.