Undo It

One of the basic notions of functions that’s taught in Precalculus and in Discrete Mathematics is the notion of an inverse function: if f: A \to B is a one-to-one and onto function, then there is an inverse function f^{-1}: B \to A so that

f^{-1}(f(a)) = a for all a \in A and

f(f^{-1}(b)) = b for all b \in B.

If A = B = \mathbb{R}, this is commonly taught in high school as a function that satisfies the horizontal line test.

In other words, if the function f is applied to a, the result is f(a). When the inverse function is applied to that, the answer is the original number a. Therefore, I’ll tell my class, “By applying the function f^{-1}, we uh-uh-uh-uh-uh-uh-uh-undo it.”

If I have a few country music fans in the class, this always generates a bit of a laugh.

See also the amazing duet with Carrie Underwood and Steven Tyler at the 2011 ACM awards:

Leave a comment

4 Comments

  1. The second definition of the log function is something which I found rather unsatisfactory at the time, and it has been bugging the back of my mind ever since. The reason is “How on earth did they come across the idea that the integral of 1/x had anything to do with logs.?”
    But last year, while getting upset at school definitions of the exponential function as a power series (really gross), I thought “Use a bit of calculus”. So here you are:

    Let y = e^x
    Since it is a “nice” function it has an inverse g
    So g(y) = x …… goes both ways
    Differentiate wrt x
    g’ (y) * y’ = 1
    But y’ = y
    So g'(y) = 1/y
    and since y is “just another variable – the psychological sticking point!)
    we have g'(x) = 1/x
    And so g(x) = integral of 1/x wrt x

    Not a proof, it’s not meant to be, but it does show how 1/x got into the story.
    The integration of 1/x now gives the product into sum form as is needed.
    I sleep much better now !

    Reply

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: