<< Chapter < Page Chapter >> Page >

Function

Definitions on function

A function is something that associates each element of a set with an element of another set (which may or may not be the same as the first set). The concept of function appears quite often even in non-technical contexts. For example, a social security number uniquely identifies the person, the income tax rate varies depending on the income, and the final letter grade for a course is often determined by test and exam scores, homeworks and projects, and so on.

In all these cases to each member of a set (social security number, income, tuple of test and exam scores, homeworks and projects) some member of another set (person, tax rate, letter grade, respectively) is assigned.

As you might have noticed, a function is quite like a relation. In fact, formally, we define a function as a special type of binary relation.

Definition (function): A function, denote it by f, from a set A to a set B is a relation from A to B that satisfies

1. for each element a in A, there is an element b in B such that<a, b>is in the relation, and

2. if<a, b>and<a, c>are in the relation, then b = c .

The set A in the above definition is called the domain of the function and B its codomain.

Thus, f is a function if it covers the domain (maps every element of the domain) and it is single valued.

The relation given by f between a and b represented by the ordered pair  <a, b> is denoted as  f(a) = b , and b is called the image of a under f .

The set of images of the elements of a set S under a function f is called the image of the set S under f, and is denoted by  f(S) , that is,

f(S) = { f(a) | a ∈ S }, where S is a subset of the domain A of  f .

The image of the domain under f is called the range of f.

Example: Let f be the function from the set of natural numbers N to N that maps each natural number x to x2. Then the domain and co-domain of this f are N, the image of, say 3, under this function is 9, and its range is the set of squares, i.e. { 0, 1, 4, 9, 16, ....} .

Definition (sum and product): Let f and g be functions from a set A to the set of real numbers R.

Then the sum and the product of f and g are defined as follows:

For all x, ( f + g )(x) = f(x) + g(x) , and

for all x, ( f*g )(x) = f(x)*g(x) ,

where f(x)*g(x) is the product of two real numbers f(x) and g(x).

Example: Let f(x) = 3x + 1 and g(x) = x2 . Then ( f + g )(x) = x2 + 3x + 1 , and ( f*g )(x) = 3x3 + x2

Definition (one-to-one): A function f is said to be one-to-one (injective) , if and only if whenever f(x) = f(y) , x = y .

Example: The function f(x) = x2 from the set of natural numbers N to N is a one-to-one function. Note that f(x) = x2 is not one-to-one if it is from the set of integers (negative as well as non-negative) to N, because for example f(1) = f(-1) = 1 .

Definition (onto): A function f from a set A to a set B is said to be onto(surjective) , if and only if for every element y of B , there is an element x in A such that  f(x) = y ,  that is,  f is onto if and only if  f( A ) = B .

Example: The function f(x) = 2x from the set of natural numbers N to the set of non-negative even numbers E is an onto function. However, f(x) = 2x from the set of natural numbers N to N is not onto, because, for example, nothing in N can be mapped to 3 by this function.

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Discrete structures. OpenStax CNX. Jan 23, 2008 Download for free at http://cnx.org/content/col10513/1.1
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Discrete structures' conversation and receive update notifications?

Ask