Mathematics · Ch 2 — Relations and Functions
Functions
Functions
What is a Function?
A function is a special kind of relation — the most important one in mathematics. You can think of it as a rule that takes an input and gives you exactly one output. If a relation is a set of ordered pairs, a function is that relation with two strict conditions:
- Every element of the first set (the domain) must appear as a first element in some ordered pair. No element is left out.
- No element of the domain can appear as the first element in two different ordered pairs with different second elements. Each input has exactly one output.
The words 'function', 'map', and 'mapping' are used interchangeably. When we say " maps to ", we mean exactly the same thing as " is a function from to ".
Definition 5 (from the textbook) states this formally: A relation from a set to a set is said to be a function if every element of set has one and only one image in set .
In other words, a function is a relation from a non-empty set to a non-empty set such that:
- The domain of is (every element of is used).
- No two distinct ordered pairs in have the same first element (no input maps to two different outputs).
If is a function from to and , we write . Here:
- is called the image of under .
- is called the preimage of under .
The notation means " is a function from to ".
A common mistake is to think every relation is a function. Look back at the earlier examples in the chapter: the relation in Example 7 failed because element 6 had no image. The relation in Example 8 failed because elements in the domain were connected to more than one image. The relation in Example 9 also failed — can you see why? (Check if every domain element has exactly one image.)
Checking Whether a Relation is a Function
Example 10
Let be the set of natural numbers. Define a relation on by
- Domain of : (all natural numbers).
- Codomain of : (the set in which we look for images).
- Range of : The set of even natural numbers .
Is a function? Yes. Every natural number has exactly one image: . No natural number maps to two different values. So this relation satisfies both conditions of a function.
Example 11
Examine each relation and state, with reasons, whether it is a function.
(i)
The domain elements are . Each appears exactly once as a first element, and each has a unique image. This is a function.
(ii)
The first element appears twice, with images and . This violates the "one and only one image" rule. This is not a function.
(iii)
Every first element appears exactly once, each with a unique image. This is a function.
To quickly test if a relation is a function, check the set of first elements. If any first element repeats with a different second element, it's not a function. If a first element is missing entirely (and the domain is supposed to be the whole set), it's also not a function.
Real Functions and Real-Valued Functions
Definition 6
A function whose range is either (the set of real numbers) or a subset of is called a real-valued function.
If, in addition, its domain is also either or a subset of , it is called a real function.
In practice, most functions you study in Class 11 are real functions — they take real numbers as input and give real numbers as output.
Example 12 …
A relation from a set to a set is called a function if it satisfies two conditions:
- Every element of has an image in — that is, the domain of is exactly . No element of is left out.
- Each element of has exactly one image in — no element of is paired with more than one element of .
In the language of ordered pairs: a function is a relation from a non-empty set to a non-empty set such that no two distinct ordered pairs in have the same first element. If , we write , where is the image of and is the preimage of . The notation means is a function from to .
The textbook also defines a real function as a function whose domain and range are subsets of (or itself). That is a special case — the core definition above applies to any sets and .
Intuition: A function is a rule that gives each input exactly one output — like a vending machine: you press one button (input), you get exactly one item (output). If a button gives nothing, or gives two different items at once, it's not a function.
Tiny concrete example:
Let and . …
Definition
A real valued function is any function whose range is either the entire set or a subset of .
If, in addition, the domain of that function is also either or a subset of , then the function is called a real function.
In other words, a real function is a function that takes real numbers (or a part of them) as inputs and gives real numbers as outputs. Every real function is automatically a real valued function, but a real valued function need not have a domain that is a subset of — its domain could be any set.
The textbook makes a careful distinction:
- Real valued function — range is a subset of (domain can be anything).
- Real function — both domain and range are subsets of .
Intuition
Think of a machine that only produces real numbers as output. That machine is a real valued function. If the machine also only accepts real numbers as input, it is a real function. The key idea is that the output is always a real number — that is the "real valued" part.
Example
Take defined by . …