WEBVTT
00:00:02.780 --> 00:00:12.530
True or False: The following set of ordered pairs represents a function: the set containing one, three; two, six; three, nine; four, 12.
00:00:12.880 --> 00:00:17.990
In this question, we’re given a set of ordered pairs, and we need to determine if this set represents a function.
00:00:18.140 --> 00:00:21.900
So to do this, let’s start by recalling what we mean by a function.
00:00:22.080 --> 00:00:27.540
These map every element of one set onto exactly one member of a second set.
00:00:27.650 --> 00:00:29.210
And there’s a few important things to note.
00:00:29.270 --> 00:00:32.360
For example, the two sets mentioned can be equal.
00:00:32.460 --> 00:00:37.690
And the important thing to notice they map the inputs onto exactly one member in the output set.
00:00:37.810 --> 00:00:42.000
And this means when we input something into a function, we always get the same output.
00:00:42.280 --> 00:00:47.610
However, in this question, we’re not given something in function notation; we’re given a set of ordered pairs.
00:00:47.670 --> 00:00:49.980
And a set of ordered pairs is called a relation.
00:00:49.980 --> 00:00:51.800
In fact, it’s a binary relation.
00:00:51.890 --> 00:00:56.490
And so to answer this question, we need to recall how a relation can represent a function.
00:00:56.650 --> 00:01:04.640
We recall for a relation to represent a function, the first value of the ordered pair represents the input value and the second value, the output value.
00:01:04.850 --> 00:01:13.540
For example, if 𝑥, 𝑦 is an element of our relation, then we want to say that 𝑥 is the input value of the function and 𝑦 is the corresponding output value.
00:01:13.830 --> 00:01:17.140
We could now start looking at the relation given to us in the question.
00:01:17.210 --> 00:01:22.310
However, we could also ask the question, how do we guarantee that a relation represents a function?
00:01:22.480 --> 00:01:28.060
We know that functions map every element of one set onto exactly one member in the second set.
00:01:28.110 --> 00:01:31.640
In other words, the inputs are mapped to exactly one output.
00:01:31.880 --> 00:01:34.620
And we can ask the question, what does this mean for our relation?
00:01:34.700 --> 00:01:46.650
If the first value of our ordered pairs represents the input values and we need these to be mapped onto exactly one member of the output set, then we need each input value to only appear once in our relation.
00:01:46.750 --> 00:01:51.110
Otherwise, we’d be trying to map input values onto two different output values.
00:01:51.230 --> 00:01:53.100
And we can see this is true in this set.
00:01:53.200 --> 00:02:00.100
The input value of one only appears once, two only appears once, three only appears once, and four only appears once.
00:02:00.230 --> 00:02:05.130
We don’t even need to look at the output values to determine whether this relation represents a function.
00:02:05.390 --> 00:02:14.130
Therefore, we were able to show it’s true that the relation the set containing one, three; two, six; three, nine; four, 12 represents a function.