What’s wrong with these high-school math questions?

- State the domain of the function .
- Where is the function undefined?
- State the range of the function .

As a math teacher, I’ve asked these questions before too. But I always ask them with a bit of a cringe. Do you see what’s wrong with them?

**Domain**

A function is only well-defined when it is defined *with its domain*. A function is an association between two sets and that assigns only one element of to each element of . The set is called the *domain* and the set is sometimes called the *codomain*. If is a function mapping elements from into , then we often write . For instance, consider the function defined by

The domain of this function is , since *that’s how the function is defined*. Notice I explicitly gave the domain right before defining the function rule. Technically, this must always be done when defining any function, ever.

We might ask a student, “What is the domain of ?” But this is a poor question. The function rule isn’t well-defined by itself. There are many possible domains for this function, like the set of integers , the set of positive reals , or rational numbers between 20 and 30. What a teacher probably means is, “What is the largest possible subset of that could be used as the domain of ?” In this case, the answer is .

So I hope you see why question (1) at the beginning of this post is not a very precise question. Likewise, question (2) is not very precise either. “Where is undefined?” has multiple answers. The answer the teacher is looking for is . The question would be better worded, “What real values cannot be in the domain of ?”

**Range**

What about the range? The codomain in the example is also . But the *range* of is . The range of a function is defined to be the set of all such that there exists an with .

But the range depends on the choice of domain. So asking questions like (3), “State the range of the function ” aren’t well defined for all the same reasons as above. The desired answer is probably . But the domain of could be the integers, in which case the range is the non-negative integers. We’re not told. So in the case of (3), the more precise question would read, “State the range of the function with .”

**Should we change our teaching?**

Maybe. But maybe not. I think I’ll still ask the questions in the imprecise way I started this post. Using the more precise questions would be unnecessarily confusing for most students. But we as teachers should be aware of our slightly incorrect usage, and be ready to give a more precise and thoughtful answer to students who ask.

That being said, I think there’s room for more set theory and basic topology at the high school level. I’m a bit sad I didn’t learn the words onto, surjective, one-to-one, injective, bijective, image, and preimage until very late in my post-high-school studies. I’m not sure all students are ready for such language, but we shouldn’t ever shy away from using precise language. That’s part of what makes us mathematicians.

I ❤ precise language!

Consider checking out “Conceptual Mathematics” for some interesting ways to talk and think about domain and codomain, etc.

http://www.amazon.com/Conceptual-Mathematics-First-Introduction-Categories/dp/052171916X

Yes, I’ve heard math friends talk about category theory, but I don’t know anything about it. Thanks, Dan, for the recommendation. It’s now on my wish list! 🙂

OK, So either I’m missing a link or you’ve got a mistake in your range for f(x) = c**x. (The range should be (infinity,infinity), not 0,infinity) no? What about f(3) with c = -1? or am I missing why c can not be negative.

Sorry if it didn’t render properly…it’s “e” not “c”…as in 2.71828…

If you did have f(x) = c^x with c < 0, then there are going to be problems. For example, if c = 1, then f(x) is undefined for x = 1/2, 1/4, 3/4, etc. as long as we mean for f to be a real-valued function.

Pingback: Inverse functions and the horizontal line test « Random Walks

Pingback: Looking back on 299 random walks | Random Walks

From your explanation though, it looks like you’re calling the pre-image the “domain” ? Aren’t these different things? If I have a function f(x) = 1/x which maps from R to R, shouldn’t the domain be R, but the pre-image be R – {0}, or are you suggesting that I can’t define a function f: R to R as f(x) = 1/x ?

Yes, you are correct. I’m suggesting that you

can’tdefine a function as , since it makes no sense to define this function at zero. It’s kind of like promising something and not carrying through on your promise! When you say let , you’re kind of saying, “Okay everyone, I’m about to define a function for every real number.” If you say you’re about to that, you should do it.The pre-image usually refers to a subset of the domain that is of interest. So, for example, you might speak about a transformation of the plane with the domain being all of . We’re often also interested in what happens to a particular geometric figure in the plane (some triangle of interest, say), which we refer to as the “pre-image.” It’s important to note, however, that

everypoint in the plane undergoes the transformation you defined, though.You can also consider the entire domain as the pre-image, in which case the range is the image of the domain. (And remember that the range and “codomain” are only the same if the function is surjective.)

Did I just add clarity, or confuse? I hope I helped!