Surjective (onto) and injective (one-to-one) functions

In this video I want to introduce you to some terminology that will be useful in our discussion of functions and invertibility. And this is, in general, terminology that you'll probably see in your mathematical careers. So let's say I have a function f, and it is a mapping from the set x to the set y. We've drawn this diagram many times, but it never hurts to draw it again. So that is my set x or my domain. And then this is the set y over here, or the co-domain. Remember the co-domain is the set that you're mapping to. You don't necessarily have to map to every element of the set, or none of the elements of the set. This is just all of the elements, the set that you might map elements in your co-domain to. So let's see. If I have some element there, f will map it to some element in y in my co-domain. So the first idea, or term, I want to introduce you to, is the idea of a function being surjective. And sometimes this is called onto. And a function is surjective or onto, if for every element in your co-domain-- so let me write it this way, if for every, let's say y, that is a member of my co-domain, there exists-- that's the little shorthand notation for exists --there exists at least one x that's a member of x, such that. And I can write such that, like that. Actually, let me just write the word out. Such that f of x is equal to y. So it's essentially saying, you can pick any y here, and every y here is being mapped to by at least one of the x's over here. So, for example, actually let me draw a simpler example instead of drawing these blurbs. Let's say that I have a set y that literally looks like this. Let's say that a set y-- I'll draw it very --and let's say it has four elements. It has the elements a, b, c, and d. This is my set y right there. And let's say my set x looks like that. And let's say it has the elements 1, 2, 3, and 4. Now, in order for my function f to be surjective or onto, it means that every one of these guys have to be able to be mapped to. So what does that mean? If every one of these guys, let me just draw some examples. Let's say that this guy maps to that. Let's say that this guy maps to that. Let's say that this guy maps to that. And let's say, let me draw a fifth one right here, let's say that both of these guys right here map to d. So f of 4 is d and f of 5 is d. This is an example of a surjective function. So these are the mappings of f right here. This function right here is onto or surjective. Why is that? Because every element here is being mapped to. Now, let me give you an example of a function that is not surjective. Let me add some more elements to y. Let's say element y has another element here called e. Now, all of a sudden, this is not surjective. And why is that? Because there's some element in y that is not being mapped to. If I tell you that f is a surjective function, it means if you take, essentially, if you map all of these values, everything here is being mapped to by at least one element here. So you could have it, everything could be kind of a one-to-one mapping. And I'll define that a little bit better in the future. So it could just be like that, and like that. And you could even have, it's at least one, so you could even have two things in here mapping to one thing in here. But the main requirement is that everything here does get mapped to. Another way to think about it, is that if you take the image. So surjective function-- let me write this here. Let me write it this way --so if I say that f is surjective or onto, these are equivalent terms, that means that the image of f. Remember the image was, all of the values that f actually maps to. So that means that the image of f is equal to y. Now, we learned before, that your image doesn't have to equal your co-domain. But if you have a surjective or an onto function, your image is going to equal your co-domain. Everything in your co-domain gets mapped to. Actually, another word for image is range. You could also say that your range of f is equal to y. Remember the difference-- and I drew this distinction when we first talked about functions --the distinction between a co-domain and a range, a co-domain is the set that you can map to. You don't have to map to everything. The range is a subset of your co-domain that you actually do map to. If you were to evaluate the function at all of these points, the points that you actually map to is your range. And that's also called your image. And the word image is used more in a linear algebra context. But if your image or your range is equal to your co-domain, if everything in your co-domain does get mapped to, then you're dealing with a surjective function or an onto function. Now, the next term I want to introduce you to is the idea of an injective function. And this is sometimes called a one-to-one function. So let me draw my domain and co-domain again. So let's say that that is my domain and this is my co-domain. So this is x and this is y. If I say that f is injective or one-to-one, that implies that for every value that is mapped to-- so let me write it this way --for every value that is mapped to-- so let's say, I'll say it a couple of different ways --there is at most one x that maps to it. Or another way to say it is that for any y that's a member of y-- let me write it this way --for any y that is a member y, there is at most one-- let me write most in capital --at most one x, such that f of x is equal to y. There might be no x's that map to it. So for example, you could have a little member of y right here that just never gets mapped to. Everyone else in y gets mapped to, but that guy never gets mapped to. So this would be a case where we don't have a surjective function. This is not onto because this guy, he's a member of the co-domain, but he's not a member of the image or the range. He doesn't get mapped to. But this would still be an injective function as long as every x gets mapped to a unique y. Now, how can a function not be injective or one-to-one? And I think you get the idea when someone says one-to-one. Well, if two x's here get mapped to the same y, or three get mapped to the same y, this would mean that we're not dealing with an injective or a one-to-one function. So that's all it means. Let me draw another example here. Let's actually go back to this example right here. When I added this e here, we said this is not surjective anymore because every one of these guys is not being mapped to. Is this an injective function? Well, no, because I have f of 5 and f of 4 both mapped to d. So this is what breaks its one-to-one-ness or its injectiveness. This is what breaks it's surjectiveness. Now if I wanted to make this a surjective and an injective function, I would delete that mapping and I would change f of 5 to be e. Now everything is one-to-one. I don't have the mapping from two elements of x, going to the same element of y anymore. And everything in y now gets mapped to. So this is both onto and one-to-one.