This session intends to introduce the basic idea of a relation between sets. We focus on a special kind of relationship known as a function. By mastering the content in this session, you will:
Understand that a relation is just a mapping between two sets
Be able to distinguish between one-to-one, one-to-many, many-to-one and many-to-many relationships
Define and use a function and a relation as mappings between sets, and as a rule or a formula that defines one variable quantity in terms of another β define a relation as any set of ordered pairs of real numbers β understand the formal definition of a function as a set of ordered pairs of real numbers such that no two ordered pairs have the same first component (or x-component)
Use function notation, domain and range, independent and dependent variables (ACMMM023)
Identify types of functions and relations on a given domain, using a variety of methods β know what is meant by one-to-one, one-to-many, many-to-one and many-to-many β determine if a function is one-to-one (ACMSM094)
A relation is formed by pairing items in two different sets. For example, you might have a set of animals (A) and a set of food (F).
You can pair every animal with food that it likes to make a new set (L). Or you can just visualize this by drawing lines between the two sets as shown:
Showing the pairing between animals and foods
We classify relationships into four different types. For example a βone to manyβ relationship between and has two conditions:
We can have many links from one element in to elements of
We can have only one link from elements in to elements of
The four possible relationship types are shown below:
Types of pairings
You can also have relations between elements in the same set. For example a group of people can have friends in the same group:
Pairings of friends
Functions
A function can be thought of as a machine that takes points from the input set and always produces the same output from the same input. Therefore a function is just a many to one relationship, since multiple inputs can map to the same output (but each input only has one arrow drawn from it).
For example, using the sets above, mapping each animal to their favorite food can be done with a function. Weβve visualized this for you below, click on an animal to see its favorite food:
F A f
Numeric Functions
Most functions youβll deal with take any number () in the input set (). They then use this to produce a new number () in the output set (). We usually write this as:
Here is the name of the function. Functions can be defined by an expression, where you can swap the input variable () for any number in the input set (). You then use the expression to find the output number:
For example, if the function squares and adds one to it, we would write this in one of two different ways:
When we want to choose a particular number instead of , we just replace every for the number that we want to put into our function. So for example if we wanted to see what our function would do to 10 we write:
So an input of , produces an output of . This forms the pair . We have visualized this on the diagram below to show the mapping from the input set to the output set. The sets are drawn as number lines instead of bubbles because the numbers are ordered:
Below, we have the input set - which we call the domain as a number line. You can pick any element , and you can see how the output value changes as you do that. Feel free to change the value of and to change the function:
0 0 x y f f(x)
Piecewise Functions
Piecewise expressions are functions that use different expressions for different values of . To define a piecewise expression , you just have to:
Have a set of ordered conditions, that are either true or false for any
Attach an expression to each condition
Use the expression for the first condition that is true for your value
If you had the piecewise function:
If we substitute a value less than three into our function, it gets directed to . So for example:
But if the value is greater than 3, it will use , so:
So as you can see we will use different expressions based on the value of that you choose.
You can imagine thereβs a reception desk inside the function that sends numbers to the right expression as soon as they enter the box. Try changing the two expressions and the value of to see how it effects the function:
0 0 f x y
Inverting Functions
An inverse function is like an undo button for a function, it can take the output from some function and give you back the original value.
The inverse function of can be written as either:
Inverse function action
It will always be true that:
A function can only be inverted under two conditions:
It is one to one (injective)
Every element in has an arrow from (surjective)
The conditions for an inverse function
If a function satisfies both conditions it is bijective. For a bijective function, it is possible to just turn the arrows around and you have your inverse function. Of course, in practice, finding the inverse function can be tricky if you have a numeric function.
For a numeric inverse function becomes your new input and becomes your output, so you want to be able to make the subject of your expression.
If you have the function
Then the inverse function just swaps and :
Now we need to make y the subject, so:
So we can write:
Testing the Inverse Function
If we try inputting a random value, like into the original function:
Now if we put 16 into the inverse function we should get back to 4:
Which we do
Numeric Sets
A numeric set is
Binary Relations
Relations as Functions
By moving everything over to the left hand side:
For example, if you started with the expression:
It is impossible to make the subject without using a plus-minus (). Therefore, we can safely say that this is not a function of because you canβt uniquely find if you know .
However, you can move everything to the left and you can read off g(x):
So here weβve colored , so
So if you had a point and you wanted to decide whether it satisfied this relationship, it would need to make . This is rarely ever true. For example, if we try the point , we get:
Which is not zero, so does not satisfy our relation. however if you try the point :
So does satisfy the relationship. Finding other points that satisfy this relationship is not that easy, but it is incredibly useful!
So this time, we are looking for pairs , that make the output of the function zero. Below we have , so the number is what youβd get by substituting and into the function . Try:
Specifying the relationship you want to try
Dragging around and to find pairs that make
0 0 0 x y z g g(x, y)
If you play around with this interactive for even a short time, youβll notice that it is very hard to find pairs and that make . So we will look for a better way to do this in the next session.
Lesson Loading
Interactive description
Difficulty
00
Time
SOLUTION
Difficulty
1 Mins
Time
Let . Evaluate and simplify the expressions below.
SOLUTION
Part 1
Substitute 2 for any place where there is an .
Part 2
Subbing in , ensuring to square the negative as well:
Part 3
Notice that for all the previous problems, any time a substitution is made, the substituted value is enclosed in brackets. This helps you keep track of what has changed, and will be easy to see if any additional operations need to be made, like expanding signs, powers or terms.
Difficulty
3 Mins
Time
For , find in simplest form .
SOLUTION
Replace every with the expression . This gives us:
Now just expand and simplify where possible.
We can then finish simplifying to get:
Difficulty
1 Mins
Time
For each of these graphs, determine whether it is a function or not:
Graph y = 0.01x(x+3)(x+2)(x-2)(x-4)^2
Graph y = 100x
Graph x^y y^2 = 5
Graph y = x - floor(x), with open and closed circles
SOLUTION
(a)
This is a function. For every input there is exactly one output. We can also check this by doing the vertical line test.
(b)
This is again a function. Even though this line is extremely steep, it still obeys the rule for a relation to be a function.
(c)
This is not a function. Using the vertical line test, it fails this when is near 0. Remember that even if it only for a few cases, if a relation fails this test even once, it cannot be a function.
(d)
While this looks like it fails the vertical line test at the peaks, there are in fact open and closed circles indicated on the graph. This means that at that particular input where there may possibly be two outputs, this graph is specially made such that it only exists where the circle is coloured in, and not where it is open. As a result, this will still be a function
Difficulty
2 Mins
Time
A piecewise function is defined as follows:
Calculate the value of , and .
SOLUTION
For , we are in the domain , since it is inclusive of . That means:
Next, we are in the domain when . In this case, the function is , so there is nothing to substitute into. This means:
Finally, when , we are in the final domain, .
Difficulty
3 Mins
Time
A function is defined as . Show that .
SOLUTION
First, finding and , we simply substitute and .
To get , we simply add these equations.
Now, we calculate .
Expanding and simplifying gives:
As shown, , as there is an extra term in .
Difficulty
3 Mins
Time
Let . Show that .
SOLUTION
Firstly, for , we get:
When a negative number is raised to an even power, it becomes positive, whereas when it is raised to an odd power, it stays negative. Keeping this fact in mind, the expression simplified to this:
By factorizing the negative from the denominator and placing it out the front we can get:
We can now note that this is the same as the original function with a negative out the front. This hence tells us that:
Difficulty
3 Mins
Time
By choosing an appropriate value for , show why is not a function, giving reasons.
SOLUTION
Letβs start with the value . Substituting this into the equation gives us this:
The equation gets reduced to a quadratic. Solving this gives:
Since there are two possible values of that apply to one value of , this equation is not a function. For a relation to be a function, the condition is that each value (assuming it is the independent variable) maps to only one value. Furthermore, if we look at the graph, we can easily see that it doesnβt pass the vertical line test.
Insert graph of x2y2 - 3x^2 + y^2 = 0
Difficulty
2 Mins
Time
Let and . A relation, , maps from to , under the rule that the input must be a factor of the output. Using an arrow diagram, show how set maps to set under the rule . Based on this mapping, is a function?
SOLUTION
Remember with relations, we have inputs and outputs. The numbers in set are the possible inputs, while set contains all possible outputs.
One example of how works, is if we take the input 3. In set , we can see there are three possible numbers that have a factor of 3, those being 6, 9, and 12. Following this same logic, we can draw a mapping diagram.
mapFromXtoY
Based on this, we can conclude that is not a function. This is because the inputs are mapping to many values.
Difficulty
3 Mins
Time
A relation is defined by the equation below.
Create a table of values of integers for the domain .
SOLUTION
To make this simpler, we should first try to make the subject of this equation.
Now, we substitute each value of , and get our results. First, notice that when we substitute or , we get an undefined answer, since we cannot take the square root of a negative number. This is fine, since if you look at the graph of this relation, there is no real value for between and .
For the next values of , we will get real values, so this carries on as normal.
An interesting note is that there is exactly one value of at the point , and two solutions for every other value of . These points of interest can be clearly seen in the graph of this equation.
Graph x^2/4 - y^2/9 = 1
Difficulty
4 Mins
Time
Prove that , if
SOLUTION
First, find an expression for .
A similar expression can be made for .
Now, putting this together to form the left hand side of the equation, we can show the statement holds true.
Difficulty
2 Mins
Time
A function is given as . Find the value of when . What do you notice? What value will approach when becomes larger and larger?
SOLUTION
Substituting in all the values of gives us these answers:
We can see that as becomes larger, is not becoming much bigger. This is an indication that the function approaches a limiting value as becomes bigger. To figure this value out, letβs keeping substituting in bigger values of . Letβs try .
If we choose a bigger , we see that this answer doesnβt change. In fact, this value is a constant known as Eulerβs number (not to be confused with Eulerβs constant), but more simply called . This is a type of transcendental number like , and is very important in many topics of maths.
Homework will appear here once homework is set for this session
Edit Homework
Confirm
Clear All
Cancel
Presets
Functions and Function Notation
3A - Cambridge Advanced Year 11
Question 2 (b, d)
Question 4 (c, d)
Question 6 (b, c)
Question 7 (b, d, f)
Question 8 (b, c)
Question 9 (b)
Question 10 (a, d, e)
Question 11
Question 12 (a, d)
Question 13 (b)
Question 14 (b, d)
Question 16 (a, b)
Question 17 (a, c)
Lesson Loading
Γ
Γ
Binary Relations
Review Questions
Which of the following best describes a binary relationship?
A pair of sets with all elements in common
A pair of sets that can be written in terms of each other
A set of lines drawn between two sets
A pair of sets with some elements in common
Given the set and the set , which of the following is a valid relationship between the sets A and B
(b, 5)
(a, 4)
(c, b)
(3, d)
(3, 5)
How many possible relationships could exist between the sets and ?
6
2
9
4
7
Γ
Binary Relations
Review Questions
Which of the following best describes a binary relationship?
A set of lines drawn between two sets
A pair of sets with all elements in common
A pair of sets with some elements in common
A pair of sets that can be written in terms of each other
Given the set and the set , which of the following is a valid relationship between the sets A and B
(c, b)
(3, 5)
(a, 4)
(b, 5)
(3, d)
How many possible relationships could exist between the sets and ?
6
7
9
2
4
Γ
Introducing Functions
Review Questions
What kind of relationship is a function?
Many to one
One to many
Many to many
One to one
If a function related a shape in π΅β¬πΊ to the number of sides it has - which of the following correctly represents this relationship?
πΊ
πΊ
π΅
β¬
Which of the following best describes a function
A formula that takes an element from one set and relates it to an element in another set or vice versa
A machine that takes an element from the output set and always produces an element from the input set
A machine that takes an element from the input set and always produces the same element in the output set
A formula that takes an element from a domain set and produces another set known as the range (or codomain)
Γ
Introducing Functions
Review Questions
What kind of relationship is a function?
Many to one
Many to many
One to many
One to one
If a function related a shape in π΅β¬πΊ to the number of sides it has - which of the following correctly represents this relationship?
π΅
πΊ
πΊ
β¬
Which of the following best describes a function
A formula that takes an element from one set and relates it to an element in another set or vice versa
A machine that takes an element from the input set and always produces the same element in the output set
A machine that takes an element from the output set and always produces an element from the input set
A formula that takes an element from a domain set and produces another set known as the range (or codomain)
Γ
Real Functions
Review Questions
If we wrote , what do each of the letters represent?
The function is called , its input is and it outputs
The function is called , its input is and it outputs
The function is called , its input is and it outputs
The function is called , its input is and it outputs
Given the function , what is the output when
6
5
1
2
7
What is the correct way to write when
Γ
Real Functions
Review Questions
If we wrote , what do each of the letters represent?
The function is called , its input is and it outputs
The function is called , its input is and it outputs
The function is called , its input is and it outputs
The function is called , its input is and it outputs
Given the function , what is the output when
1
6
2
7
5
What is the correct way to write when
Γ
Sharing Secret Messages
Ciphers are simply one-to-one functions. Imagine an input letter maps to an output letter through a cipher , then we could write this as:
Since every letter maps to exactly one other letter, this cipher is simply a one-to-one mapping.
Review Questions
What is a cipher, and what is it used for
A cipher is a many to many function that is used to share messages between two people so that everybody can read them
A cipher is a one to one function that is used to share messages between two people so that everybody can read them
A cipher is a one to one function that is used to share messages between two people so that everybody can read them
A cipher is a one to one function that is used to send secret messages from one person to another
What kind of mathematical relation does a cipher represent?
A one to many relation, where both the inputs and outputs are letters
A one to one relation, where both the inputs and outputs are letters
A many to many relation, where both the inputs and outputs are letters
A many to one relation, where both the inputs and outputs are letters
If we have a cipher , that shifts an english letter to the right by two letters, so for example maps to . What will equal?
Γ
Sharing Secret Messages
Ciphers are simply one-to-one functions. Imagine an input letter maps to an output letter through a cipher , then we could write this as:
Since every letter maps to exactly one other letter, this cipher is simply a one-to-one mapping.
Review Questions
What is a cipher, and what is it used for
A cipher is a one to one function that is used to share messages between two people so that everybody can read them
A cipher is a one to one function that is used to share messages between two people so that everybody can read them
A cipher is a one to one function that is used to send secret messages from one person to another
A cipher is a many to many function that is used to share messages between two people so that everybody can read them
What kind of mathematical relation does a cipher represent?
A one to one relation, where both the inputs and outputs are letters
A many to one relation, where both the inputs and outputs are letters
A many to many relation, where both the inputs and outputs are letters
A one to many relation, where both the inputs and outputs are letters
If we have a cipher , that shifts an english letter to the right by two letters, so for example maps to . What will equal?