Mathematical Writing - Vivaldi Franco 2014
Functions
Essential Dictionary I
Functions are everywhere. Whenever a process transforms a mathematical object into another object, there is a function in the background. ’Function’ is arguably the most used word in mathematics.
A function consists of two sets together with a rule5 that assigns to each element of the first set a unique element of the second set. The first set is called the domain of the function and the second set is called the co-domain. A function whose domain is a set may be called a function over or a function defined on . The terms map or mapping are synonymous with function. The term operator is used to describe certain types of functions (see below).
A function is usually denoted by a single letter or symbol, such as . If is an element of the domain of a function , then the value of at , denoted by is the unique element of the co-domain that the rule defining assigns to . The notation
(2.16)
indicates that is a function with domain and co-domain that maps to . The symbol is the variable or (the argument) of the function. The symbols and have different meanings, and should not be confused. The function
is called the identity (function) on . When explicit reference to the set is unnecessary, the identity is also denoted by Id or .
In Definition (2.16) the symbols used for the function’s name and variable are inessential; the two expressions
define exactly the same function (even though the rightmost expression breaks just about every rule concerning mathematical notation—see Sect. 6.2).
Let us use the word ’function’ in short expressions. These are function definitions:
1.
2.
3.
4.
We surmise that the function in item 2 is defined over the real numbers. Item 3 is a much-studied function in number theory. The set of values assumed by the function in item 4 is the closed interval .
Functions of several variables are defined over cartesian products of sets. For example, the function
depends on two integer arguments, and hence is defined over the cartesian product of two copies of the integers. This definition requires a value for , which normally is taken to be zero.
Let be a function. The set
(2.17)
is called the graph of . A function is completely specified by three sets: domain, co-domain and graph. We can now reformulate the definition of a function, replacing the imprecise term ’rule’ with the precise term ’graph’. We write a formal definition.
DEFINITION. A function is a triple of non-empty sets. The sets and are arbitrary, while is a subset of with the property that for every there is a unique pair . The quantity is called the value of the function at , denoted by .
We see that, besides sets, the definition of a function requires the constructs of ordered pair and triple. It turns out that these quantities can be defined solely in terms of sets (see Exercise 2.14). So, to define functions, all we need are sets after all.
Given a function , and a subset , the set
(2.18)
is called the image of under . The assignment operator gives meaning to the symbolic expression , which otherwise would be meaningless, since we stipulated that the argument of a function is an element of the domain, not a subset of it. Thus is the closed interval .
Clearly, , and is the smallest set that can serve as co-domain for . The set is often called the image or the range of the function . This term is sometimes used to mean co-domain, which should be avoided. A constant is a function whose image consists of a single point.
The notation (2.18) is suggestive and widely used. However, in computer algebra, the quantities and (with an element and a subset of the domain, respectively) are written with a different syntax, e.g., f(x) and map(f,X) with Maple.
A function is said to be injective (or one-to-one) if distinct points of the domain map to distinct points of the co-domain. A function is surjective (or onto) if , that is, if the image coincides with the co-domain. A function that is both injective and surjective is said to be bijective.
For any non-empty subset of the domain , we define the restriction of to as
Given two functions and , their composition is the function
(2.19)
The notation reminds us that acts before . The image of under is denoted by , where the parentheses isolate as the function’s symbolic name. The hybrid notation should be avoided.
If is a bijective function, then the inverse of is the function such that
where are the identities in the respective sets. A function is said to be invertible if its inverse exists. If is injective, then we can always define the inverse of by restricting its domain to if necessary. In absence of injectivity, it may still be possible to construct an inverse by a suitable restriction of the function. Thus the arcsine may be defined by restricting the sine to the interval .
Let be a function, and let be a subset of . The set of points
(2.20)
is called the inverse image of the set .
Since the definition of inverse image does not involve the inverse function, the inverse image exists even if the inverse function does not. These two concepts must be distinguished carefully. When the reciprocal of a function comes into play, things get very confusing, since we now have three unrelated objects represented by closely related notation:
The first expression is well-defined if belongs to the image of and is invertible there. In the second expression there is no condition on , and need only be an element of the co-domain. In the third expression the point must belong to the domain of , and must be non-zero. Thus
In the first expression we tacitly assume that . In the third expression the symbol denotes the co-secant (), defined in the domain .
With a judicious use of definite and indefinite articles, we can specify a function’s type without committing ourselves to a specific object.
1.
2.
3.
4.
In item 2, we infer that the function maps its domain into itself. Functions of type 3 will be considered in the next section to define cardinality of sets. Functions of type 4 are called involutions (e.g., , over a suitable domain).
Writing about real functions is considered in Chap. 5.
Exercise 2.5
Turn symbols into words. [ ]
Exercise 2.6
Explain clearly and plainly. [ ] 6
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
Exercise 2.7
I have two finite sets and a function between them. I am able to compute the value of the function at each point of the domain, and to count and compare the elements of these sets. I need explicit instructions for answering the following questions. [ ]
1.
2.
Exercise 2.8
Answer each question as clearly as you can.
1.
2.
3.