Search the courses, subjects, tracks, games and features, or jump straight to a page.
Learn it your way
A short class with Sarah and her students. The other ways are under More.
Sign up free to listen. Transcripts are free to read.
Today, we will start by discussing functions. Can anyone tell me what a function is?
Isn't it a relation between two sets where each input has only one output?
Exactly! A function maps elements from set A to set B, and each element in A must correspond to one and only one element in B.
What do you mean by 'only one element'?
Great question! It means if you have two different inputs from A, they cannot lead to the same output in B, unless we specifically say it's allowed. Just remember the rule: one input, one output!
Got it! So if I have two inputs that give the same output, it wouldn't be a function?
That's right! Let's summarize: A function is a special kind of relation where every element in the domain maps to exactly one element in the co-domain.
Now that we've grasped functions, let's explore injective functions. What does it mean for a function to be injective?
Does it mean that no two different elements in A can have the same image in B?
Exactly! If f(a1) = f(a2), then it must be true that a1 = a2. Let’s remember this with the acronym I before O for 'Injective = Input before Output'!
So, can you give us an example of an injective function?
Sure! Consider f(x) = 2x for all real x. Each input produces a unique output. Now, if we alter this to f(x) = x^2 over all integers, it's not injective anymore, right?
Because both 1 and -1 map to 1?
Exactly! Let’s remember: Injective = Unique images!
Now, let’s talk about surjective functions. What does it mean for a function to be surjective?
I think that means every element in the co-domain has at least one pre-image?
Exactly! If an element in B has no corresponding element in A, the function is not surjective. Let's remember: Surjective = Every output has an input!
Could you give us an example?
Consider f(x) = x + 1 over the integers. For every integer y, what pre-image does it have?
If y is any integer, then x can be y - 1, so it’s surjective!
Well done! Always look for that mapping!
As we have learned, a function must be both injective and surjective to be a bijection. Can someone tell me why this is important?
Because only bijective functions have inverses?
Exactly right! If a function is not a bijection, it cannot have a proper inverse. Let’s summarize with the mnemonic 'Bijective functions: Both need to connect fully to inverse!'
So, how do we define the inverse of a function?
The inverse function f^-1 maps each element b in B back to its corresponding unique a in A. That means f^-1(f(a)) = a.
What if it's not a bijection?
Then the inverse is undefined. Let's remember: Inverse functions = Bijective required!
A relation between two sets that associates each element of the domain with exactly one element in the codomain.
A function that maps distinct elements of the domain to distinct elements of the codomain.
A function where every element in the codomain has at least one corresponding element from the domain.
A function that is both injective and surjective, allowing for a perfect one-to-one matching.
A function that reverses the effect of the original function.
f(x) = 3x + 2 is an injective function since no two different inputs produce the same output.
The function g(x) = x^2 is not injective over all reals since both 2 and -2 yield the same output.
The function f(x) = x is both injective and surjective, making it a bijection. Therefore, it has an inverse f^-1(x) = x.
If every input's fate is one, an injective function can be fun!
Once in Functionland, every unique hero (input) paired with their unique destiny (output) — that’s the injective way! But beware, if some heroes share their destinies, they become lost in surjectivity without a bijective map back home.
For 'Injective', remember 'Individual inputs, Individual outputs' — I before O!
B.I.J. for Bijection: Bijective, Individual (injective), Join (surjective)!
Term
What defines an injective function?
Click to flip
Term
What is the condition for a function to be surjective?
Click to flip
Term
What do we call a function that is both injective and surjective?
Click to flip
A relation that assigns exactly one output for each input from a set.
A function where distinct inputs map to distinct outputs.
A function where every element in the co-domain is an image of at least one element in the domain.
A function that is both injective and surjective.
A function that reverses the mapping of the original function.
This section explores the concept of inverse functions, explaining how a function needs to be a bijection to have an inverse.
The section provides an overview of the conditions necessary for a function to have an inverse, emphasizing the definitions of injective and surjective functions. It concludes that only bijective functions possess an inverse.
In this section, we discuss the essential concept of the inverse of a function, represented as f^-1. An inverse function effectively reverses the mapping of a given function. For a function f: A → B to have an inverse, it must be a bijection, meaning it is both injective (one-to-one) and surjective (onto).
If a function fails to be injective, there will be ambiguity in determining the inverse since multiple inputs could yield the same output. Similarly, if it is not surjective, some elements in B will lack a corresponding input from A, rendering the inverse undefined for those elements.
Thus, we conclude that only bijective functions have defined inverses, which are critical in various applications across mathematics.