Finite Sets

Finite Sets - Math 100 Finite Sets Martin H. Weissman 1....

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Math 100 Finite Sets Martin H. Weissman 1. Finite Sets Suppose that A and B are sets, and f : A B is a function. f is called injective if the following sentence is true: If x,y A , and f ( x ) = f ( y ), then x = y . f is called surjective if the following sentence is true: If b B , then there exists a A , such that f ( a ) = b . f is called bijective if f is injective and surjective. We will often use an informal definition of finiteness, motivated by counting: Definition 1. Suppose that S is a set, and n N . Then, we say that S is a finite set with n elements, if it is possible to order and name the elements of S with symbols s 1 up to s n : S = { s 1 ,...,s n } . Many of the proofs in these notes are difficult to read. Here is an important piece of advice: when reading the proofs in these notes, draw arrow diagrams, in order to understand what is going on with the functions. 2. Injective Functions Using the above informal definition, we can prove the following: Proposition 2. Suppose that A and B are finite sets, and m = # A , and n = # B . Then, there exists an injective function from A to B if and only if m n . Proof. First, we suppose that m n , and we will prove that there exists an injective function from A to B . Since A is a finite set with m elements, we can name its elements: A = { a 1 ,...,a m } . Since B is a finite set with n elements, we can name its elements: B = { b 1 ,...,b n } . Then, one may define a function f from A to B by: f ( a i ) = b i , for all i N , such that 1 i m....
View Full Document

This note was uploaded on 04/17/2008 for the course MATH 100 taught by Professor Weissman during the Fall '08 term at UCSC.

Page1 / 3

Finite Sets - Math 100 Finite Sets Martin H. Weissman 1....

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online