Sequence = enumerated or indexed collection of elements where repetition is allowed and order matters
- Sequences are numbers
- Sequences are infinite
Examples:
If X is a set, then an X-string is an ordered sequence of elements in X with repetition allowed
Given X and Y are sets, an ordered pair mapping to means that is an image of .
A function is a set of ordered pairs st. each has one ordered pair in - 1 input, 1 output
Example: can also be represented as
Domain = X Codomain = Y Range is a subset of the codomain such that = the Y that exists in f for some x
A function is…
- Injective (one to one) if no element in its range is in more than 1 ordered pair of
- Surjective (onto) if the codomain of is equal to its range
- Bijective if it is both injective and surjective
,
injective surjective
Injective means every output has only one input Surjective means every possible output is in the function
Can apply the pigeonhole principle for injectivity/surjectivity
Pigeonhole Principle
If pigeons want to fit in holes, at least one pigeonhole contains 2 pigeons
To prove injection, show if , then
To prove surjection, show for any , there exists some x where
Do both for bijection
Example:
Let E be the set of even numbers and O for odd. Prove . Odd is even + 1. . f is injective because if then . f is surjective because pick any , then consider . put in f and get y
Bijective →