Google Classroom
GeoGebraGeoGebra Classroom

1.1.2 A subtlety

Two functions are said to be equal if they have the same set of inputs and each input is mapped to the same output. That is, the functions and are equal if their domains are the same and for every element in the common domain, . Note that we did not say the two functions are equal if their domains and their images are equal. Think about why this second definition is not strong enough. Can you think of two functions with the same domain and same image that are not equal?

With this understanding of equality in mind, let's return to parameterized plane curves. Remember, the curve itself is the IMAGE of the function . We just saw above that same domain and same image are not enough to guarantee equality between two functions. Hit animate below to see two distinct (i.e. not-equal) functions whose image curves are the same.

In what ways are the two functions displayed above not equal?

It's important to remember that when we look at the plane curve associated with a path in we are looking at the image of the function drawn in the codomain. To understand the function itself it's not sufficient to just look at the static image. We need to view the way the image was formed. Animation helps us spot when the same image is generated by two distinct functions. If we were to analyze the functions and by animating the way they produce their images, we would have an animation like the one below.

Some questions to ponder. Think about all the knowledge you have of the two functions and . Is there any way to glean that information from the animation above? Specifically is it possible to look at the animation above and see that: 1. Both functions fail to be injective. 2. Both functions have an absolute minimum at . 3. is differentiable everywhere, but fails to be differentiable at . 4. The derivative of is a variable linear function while the derivative of (where it exists) is one of just two different constant functions. 5. is concave up across its domain, but has no concavity anywhere on its domain.