If you're seeing this message, it means we're having trouble loading external resources on our website.

If you're behind a web filter, please make sure that the domains *.kastatic.org and *.kasandbox.org are unblocked.

Main content

# Preimage of a set

## Video transcript

let's say I have some transformation that maps elements in set X to set Y we know that we call X the domain of T so that's my set X and then my set that I'm mapping into set Y that's the codomain we know that T is a transformation that if you take any member of X and you transform it you'll get and or you'll associate it with a member of set Y you'll map it to a member of set Y and that's what the transformation or the function does now if we have some subset of T let's call a to be some subset of T so let me draw a like that this notation right here just means subset some subset of T we've defined the notion of an image of T of a like that which is the image image of a of our subset a under T we've defined this to be equal to the set let me write it here the set of all where if we take each of the members of our subset so if we take each of the members of our subset it's the set of all of their transformations it's the set of all of their transformations and of course these are going to be some subset of Y right there so we essentially take each of the members of a this was one of them you find his transformation it's that point you take another member of a this is all set a right here take another member of a find its transformation maybe it's that point you keep doing that find this transformation maybe it's that point and then the set of all of those transformations maybe it's this blob right here we call this the image of a under T now what if we wanted to think about the opposite problem what if we were to start with set Y which is our codomain so that's Y and we were to have some subset of Y let's call it let's call our subset of Y s so s is a subset of our codomain y and I'm curious about what subset of X maps into s so I'm going I'm curious about this set I'm I'm curious about the set of all vectors that are members of my domain that are members of my domain such that they're mapping or the transformation of those vectors ends up in my subset ends up in my subset of s so what I'm saying is look if I take my my domain there must be some subset of vectors there must be some subset of vectors right here or if I take any member of this set it will map into these guys and that's what I'm defining right here this is equal to that guy so I'm literally saying what is are all of the members of X where those members of X all map into s now I want to make a very subtle notate subtle I guess nuance here point out something here I'm not saying that every point in s necessarily gets mapped to for example maybe there's some element in s right here right there that no element in X ever gets mapped to from our transformation T that's ok all I'm saying is is that everything in this set maps to something within s right here and what we call this we call this set right here we call this the notation is the inverse T of s but this is equal to the pre image pre image of s under T so this is s this is the pre image the pre image of s under t and that makes sense the image we go from a subset of our domain to a subset of our codomain pre image we go from a subset of our codomain and we say what subset of our domain maps into that subset of our codomain now let me ask you an interesting question and this is you know this is kind of for bonus points what is the image of our pre image under s so what is the image of our pre image under s so if we take this guy the in the pre this is essentially the image of this guy right here right this part right here is the pre image of s right here now if we take the image of this we're saying what if we take every member of this what vectors do they map and do all of them are going to be within S so they're gonna map within s but they don't necessarily map to everything within s so this is going to be some subset of s so this right here is going to be some subset of our original s it's not necessarily equal to s but it's a subset of it and so this is I think the motivation for where the notation comes from we can construct a subset of s by taking the image of the pre image of s you can kind of view the the image and the pre image kind of canceling out and that's why the inverse notation was probably introduced now this is all very abstract what I'm gonna do in the next video is actually calculate or or determine the pre image of some subset of my codomain