Re: [MATHEDCC] Semantics

Kevin L. Broussard (broussard@SISKIYOUS.EDU)
Thu, 05 Jun 1997 13:51:59 -0700

>Although I find Bret's comments below to be both interesting and true
>there are cases in mathematical symbolism that are confusing and/or
>require reading in context. For instance consider the expression:
>
> (2,3)
>
>This could be the coordinates of a point or in interval notation, the
>interval from 2 to 3, not including 2 or 3.
>
>
>A problematic notation is the one for the inverse of a function which is
>written as:
>
> F ^-1 (x) ( Sorry, I can't type this as it would appear in a text
>book, but you know what I mean.)
>Students think, quite reasonably, that this means just take the
>reciprocal of F(x)

This confusion in notation is due to the fact that you are asking for the
inverse of a mathematical object (a function, in this case) without
specifiying the binary operation (multiplication or composition) under which
the inverse is to be taken. And it is simply a special case of the
ambiguity arising from "exponent" notation for functions in general: should
it mean iterated multiplication or iterated composition?

But mathematicians generally prefer to have unambiguous notation, and I have
seen the attempt by at least one author to deal with this problem. He would
reserve $f^3(x)$ or $f^{-1}(x)$ for iterated multiplication or
multiplicative inverse, respectively, of the function, and $f^{\circ 3}$ or
$f^{\circ -1}(x)$ for iterated composition or compositional inverse,
respectively. (To find out how that is really supposed to look, run this
paragraph through some version of TeX.) IMHO, this is an elegant solution.

---------------------------------------------------------------
Kevin Broussard broussard@siskiyous.edu
College of the Siskiyous
800 College Avenue *remember to replace this
Weed, CA 96094 *section with some witty
*quotation or something.

****************************************************************************
* To post to the list: email mathedcc@archives.math.utk.edu *
* To unsubscribe, send mail to: majordomo@archives.math.utk.edu *
* In the mail message, enter ONLY the words: unsubscribe mathedcc *
* Words in the Subject: line are NOT processed! *
* Archives at http://archives.math.utk.edu/hypermail/mathedcc/ *
****************************************************************************