Sequence = enumerated or indexed collection of elements where repetition is allowed and order matters

  1. Sequences are numbers
  2. 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 →