Functions/Sets Flashcards
Preimage
‘a’ is a preimage of f(a)
Domain
If f(x) maps A to B, A is the domain of function f(x).
Codomain
If f(x) maps A to B, B is the codomain of function f(x).
Image
If f(a) is b, b is the image of ‘a’ under function f(x).
Range
The range of f(x) is the set of all images for elements in A.
Function equality
Two functions are equal if:
- they have the same domain
- they have the same codomain
- they map the same element of domain to the same element of codomain
Injective
One to one:
Each element in domain is mapped to at most one element in codomain
Surjective
For each element in B, there exists an element in A such that f(a) = b.
Bijective
Both Injective and Surjective;
both one to one and onto.
There is no element in B that is not mapped to from A.
Composition
ie: f(g(x))
Countably infinite set
A set that has a Bijection
(One-to-One Correspondence) with the Z domain
Countable set
A set that is either Finite OR a set
that is Countably Infinite.
Uncountable set
A set that is NOT a Countable
Set.
Alphabet
A set of symbols
String
A sequence of symbols based on an alphabet