Range of a function

Imagine you have a group of inputs.

Each input gives you one result. These results are the outputs.

Sometimes we call these outputs the range. But the word can mean two things. It can mean all possible results. Or it can mean the results we get.

One group is the domain. The other group is the codomain. The image is the set of actual results.

Some functions use every result in the codomain. These are called onto functions. Knowing these names helps us be clear. Math uses these ideas to show patterns.

Imagine you have a group of starting numbers. We call this group the domain.

Each number in the domain gives you one result. These results belong to a larger group. This larger group is called the codomain.

Sometimes, the word "range" is used for the codomain. Other times, it means the image. The image is the set of actual results you get. The image is always a part of the codomain.

Let us look at a math rule. This rule takes a number and squares it. The codomain is all real numbers. But the image is only numbers that are not negative. This is because a squared number is never negative.

Some rules use every part of the codomain. We call these onto functions. This means the image and the codomain are the same. For example, a rule that doubles a number is onto. If we use only integers, it is not onto. Only even integers are in the image then. You can make a new rule to fix this. You can make the even integers the new codomain. This makes the new rule onto.

Imagine you have a rule that connects two groups of things. In math, we call this rule a function. The first group is called the domain. It is the set of all starting values. The second group is called the codomain. This is the set where all results could land. Sometimes, people use the word "range" to talk about the codomain. Other times, they use it for the image. The image is the set of results that actually happen.

How does a function work step by step? You pick one item from the domain. The function gives you exactly one result. This result must come from the codomain. The image is a subset of the codomain. This means the image lives inside the codomain. It only includes the values that the function actually reaches. Some functions use every value in the codomain. We call these special functions surjective or onto.

Math books have changed how they use words over time. Older books often used "range" to mean the codomain. This was the target set for all outputs. Modern books often use "range" to mean the image. The image is the set of actual outputs. Because of this, many modern books avoid the word "range" entirely. They do this to prevent any confusion for the reader.

Let us look at a real math example. Consider a function that squares every real number. The codomain is the set of all real numbers. However, the image is only non-negative real numbers. This is because a squared number is never negative. If "range" means codomain, it is all real numbers. If "range" means image, it is only non-negative numbers.

Another example is a function that doubles a number. If we use all real numbers, it is onto. The image and the codomain are the same. But what if we only use integers? The doubling function is not surjective then. Only even integers are part of the image. You can fix this by making a new function. You can set the even integers as the new codomain. This makes the new rule onto.

In mathematics, a function is a specific kind of rule. This rule connects elements from one set to another set. To understand a function, we must first understand its two main parts. The first set is called the domain, which contains all the starting values. The second set is called the codomain, which is the set where all possible outputs are constrained to fall.

The term "range" is often used when discussing these sets. However, the word "range" can be confusing because it has two different meanings in mathematics. Depending on the textbook or the era, it might refer to the codomain or the image.

To see how a function operates, we must look at the relationship between its elements. A function exists between a domain $X$ and a codomain $Y$ if every element in $X$ relates to exactly one element in $Y$. The image of the function is a special subset of the codomain. This image consists only of those elements in $Y$ that are actually reached by the function. Specifically, an element belongs to the image if there is at least one element in the domain that maps to it. Because the image only contains actual outputs, it is always a subset of the codomain.

Because the term "range" is ambiguous, mathematicians use it in different ways. The history of the term shows a shift in usage over time. Older mathematics books often used the word "range" to mean the codomain. In these texts, the range was simply the target set for the outputs. Modern books have changed this convention. Most modern authors use "range" to mean the image of the function. Because of this potential for confusion, many modern textbooks choose not to use the word "range" at all. They prefer to use the specific terms "codomain" or "image" to ensure clarity.

We can see how these definitions change the meaning of a problem using real analysis. Consider a function that takes any real number and outputs its square. In this case, the codomain is the set of all real numbers, denoted as $\mathbb{R}$. However, the image is only the set of non-negative real numbers. This is because the square of a real number can never be negative. If a reader uses the older definition of range, the range is $\mathbb{R}$. If a reader uses the modern definition, the range is the set of non-negative real numbers.

Some functions behave differently than the squaring function. A function is called surjective, or "onto," if its image and its codomain are exactly the same. In a surjective function, every single element in the codomain is reached by at least one element from the domain. For example, consider a function that inputs a real number and outputs its double. For this function, both the codomain and the image are the set of all real numbers. In this specific case, the word "range" is unambiguous because both definitions lead to the same set.

We can also observe these concepts by looking at integers. Consider a function that doubles every integer, where the codomain is also the set of all integers. This function is not surjective because the image only contains even integers. The odd integers in the codomain are never reached by the doubling rule. However, we can define a new function to fix this. We can create a new function that uses the even integers as its codomain. By making the codomain the same as the image, the new function becomes surjective.

Understanding the distinction between the codomain and the image is essential for higher mathematics. These concepts are foundational to set theory and the study of mappings. By clearly defining whether a function is surjective, mathematicians can precisely describe the relationship between different mathematical systems. This precision allows for the study of more complex structures like bijections and injections. Whether a mathematician is working with real numbers or integers, knowing the exact nature of the range is vital for accuracy.