Produced by Charles Wells.  Home.   Website Contents     Website Index   

Back to top of functions chapter.

Last edited 4/15/2007 11:43:00 AM

THE NAME OF A FUNCTION

Functions may have names, for example "sine" or "the exponential function". The name in English and the symbol  for the function may be different; for example "sine" and "sin", "exponential function" and "exp".

A function may be named by a letter of the Roman or Greek alphabet, for temporary use in that particular section of text.  (This is what the Handbook calls a local identifier).  This usage is ubiquitous: 

¨  “Let F be the squaring function…” 

¨  “Let  be a continuous function with no derivative at 0.” 

¨  “Let  ”.  (  is the letter psi.)

Naming a function by its value at  x

It is common to refer to a function with identifier  (which may or may not be a name) as  (x) (of course some other variable may be used instead of  x). This is used with functions of more than one variable, too.

Example

"Let h(x) be a continuous function."

Example

"The function  is bounded."

Other ways of writing the value of a function are discussed under value of a function.

The defining expression as the name of a function

It is very common to refer to a function by using its formula.  This is common in calculus books.

Example

"The derivative of  is always nonnegative."

or

“The derivative of  is always nonnegative.”  

If you analyze this latter usage carefully, you see that it is literally nonsense.   The equation  is a statement.  How can a statement be greater than or equal to zero?   Many mathematicians Frown Fiercely at this usage, but it is very common.

Barred arrow notation

Another technique is barred arrow notation.  If E is some mathematical expression that has a definite value for each x in the domain, then you can refer to the function  without having to give it a name. 

Example

“The function  is not defined at 0.”  Here E is the expression . 

Example

We could refer to the function G as “  ”.  For example, we could say:

“The derivative of  is  ”

or

“  ”

It is also used with the plain arrow notation to define a function completely:

                                            “Let  ”.

Barred arrow notation may not be familiar to you, but it is becoming more common.  Like the defining expression, it allows you to refer to a function without giving it a name.   Using the barred arrow clears up ambiguity when the defining expression has parameters in it. 

Example

Let .  This notation tells you that x is the function variable and y and z are parameters.  If you write “Consider the function  ” the sophisticated reader will assume you mean that x is the variable and a and b are parameters, by convention.  The barred arrow notation does not depend on knowledge of conventions.

Anonymous notation

Using barred arrow notation (“the function  ”) or defining expression (“the function  ”) to refer to a function are two examples of anonymous notation for functions.   Another anonymous notation used in theoretical computing science is lambda notation, where you would refer to the same function as .