91Ó°ÊÓ

One-to-one correspondence is a fundamental concept used to show that two sets have the same size, even if they are infinite. Imagine you have two clubs, and you want to make sure there's exactly one member from Club A paired with exactly one member from Club B. If you can set up this pairing without leaving anyone out in either club, you have a one-to-one correspondence.

In mathematics, this concept helps us compare the sizes of infinite sets. Specifically, when we want to show that a set is countably infinite, we demonstrate a one-to-one correspondence with the natural numbers—a set we already know is countably infinite. The key is that each element in one set corresponds to a unique element in the other set, without any gaps or overlaps. This ensures that both sets "count" to infinity in the same way.

Natural numbers are the first numbers we learn. These numbers start from 1 and go upward: 1, 2, 3, and so on. They are sometimes called the counting numbers because they are used to count objects.

The set of natural numbers is fundamental when discussing countably infinite sets. Since natural numbers just keep going up without an end point, they are infinite. This makes them a useful reference when showing that another set is countably infinite, by demonstrating a one-to-one correspondence with the natural numbers.

• The smallest natural number is 1.
• There is no largest natural number.
• Every natural number has a successor, typically the next number in counting order.

Integers extend the idea of natural numbers by including zero and the negatives of natural numbers. The sequence of integers looks like this: -3, -2, -1, 0, 1, 2, 3, ..., continuing indefinitely in both the positive and negative directions.

While natural numbers only include positive numbers (starting from one), integers incorporate zero and negatives, providing a more complete picture when describing many natural phenomena and mathematical problems. Integers allow us to balance additions and subtractions that go below zero, making them indispensable in arithmetical operations and algebra. Despite including a broader range of numbers, the set of integers is considered countably infinite, just like the natural numbers.

• Integers include negative numbers, zero, and positive numbers.
• They are representable on a number line.
• Each integer has an opposite; for example, the opposite of 2 is -2.

Understanding injective and surjective functions is central to discussing one-to-one correspondence.
- **Injective (One-to-One):** A function is injective if it maps distinct elements of one set to distinct elements of another. This means there's no repetition in the target set for different inputs. If you know the function's output, you can tell exactly what the input was. - **Surjective (Onto):** A function is surjective if every element in the target set is the image of at least one element from the domain. In other words, the function covers the entire target set. When a function is both injective and surjective, it is bijective. A bijective function establishes a perfect one-to-one correspondence between two sets, showing they have the same cardinality. This completeness—both injective and surjective—is what allows the function we defined between the integers and natural numbers to show that these sets are equivalent in size, both being countably infinite.