Title: Basic Structures: Sets, Functions, Sequences, and Sums
1Chapter 2
- Basic Structures Sets, Functions, Sequences, and
Sums
2Sec 2.1
3Definitions Set element of contains Ø
- The objects in the set are called elements or
members of the set. - A set is said to contain its elements.
- The empty set Ø is a set which contains no
elements. - The universal set, U is the set of all elementss
under consideration
4Standard Sets
- N - Set of natural numbers
- Z - Set of integers
- Z - Set of positive integers
- Q - Set of rational numbers
- R - Set of real numbers
5Definitions Set equality Subset Finite and
Infinite Cardinality
- Two sets are equal if they have the same
elements. - Set A is said to be a subset of set B (A ? B) if
every element of A is also an element of set B. - Set A is a proper subset of set B (A ? B) if A ?B
and A ? B. - A set with n distinct elements is said to be a
finite set. - S - The cardinality of set S is the number n
of elements is the set. - A set that is not finite is called infinite
6Definitions Power Set, Ordered n-tuple
Cartesian Product
- P(S) - The power set of set S is the set of all
subsets of S. - The ordered n-tuple (a1, a2, , an) is the
ordered collection where for each i, ai ? Ai. - A x B The Cartesian product of sets A and B is
the set of all ordered pairs (a,b) with a ? A and
b ? B. - A1 x A2 X x An - The Cartesian product of sets
A1, A2, , An is the set of all ordered
n-tuples (a1, a2, , an) where ai ? Ai. - ?
7Homework
- Sec 2.1
- pg. 119 3, 4, 5, 7, 13, 16, 21, 23, 28, 29
8Sec 2.2
9Definitions Union Intersection Empty set
Disjoint Sets
- A?B The union of sets A and B is the set of all
elements that are contained in either A or B or
both. - A?B - The intersection of sets A and B is the set
of all elements that are contained in both A and
B. - ? - The empty set is the set with no elements.
- Disjoint Two sets are disjoint if the
intersection of these two sets is the empty set. - ?
10Definitions Universal Set Complement, Difference
- Universal set, U The universal set contains all
elements under consideration. - A The complement of set A is the set of all
elements in the Universal set that are not in A. - B A The difference of B and A (or the
complement of A relative to B) is the set of all
elements in B, except those in A, or equivalently
B ? A. - ?
11Set Properties
- Identity Law A ? ? A, A ? U A
- Domination Law A ? U U, A ? ? ?
- Idempotent Laws A ? A A, A ? A A
- Complementation Laws (Ac)c A Note here Ac A
- Commutative Laws A ? B B ? A, A ? B B ?
A - Associative Laws A ? (B ? C) (A ? B) ? C,
A ? (B ? C) (A ? B) ? C - Distributive Laws A ? (B ? C) (A ? B) ? (A ?
C) A ? (B ? C) (A ? B) ? (A ? C) - De Morgans Laws (A ? E)c A ? E, (A ? E)c A
? E - Absorption Laws A ? (A ? B) A, A ? (A ? B)
A - Complement Laws A ? A U, A ? A ?
12Proving Set Identities
- To prove that two sets A and B are equal
- Method I Show that A ? B and B ? A. That is
take an element x from A and, using logic, verify
that x is in B and conversely argue that if x?B
then x?A. - Method II If set A and B are formed by
combining sets, use a set membership table to
show that sets A and B have identical columns in
the table.
13Homework
- Sec 2.2
- pg. 130 1, 3, 11, 12, 15, 17b, 23, 29, 49, 50,
51
14Section 2.3
15Definition function
- f A ? B A function, f, is a correspondence
between two sets, A and B, such that for each
element of set A there corresponds exactly one
element of the B. - Notation f(a) b denotes the fact that the
function makes the assignment between the value
a ? A and the value b ?B - If f A ? B then we say f maps A to B.
- ?
16Definitions Domain Codomain Image Pre-image
Range Maps
- The domain of the function fA?B is the set A.
- The codomain is the set B.
- If f(a) b, then b is called the image of b and
a is called the pre-image of a. - If S is a subset of A, the image of S is the
subset of B that contains all the images of
elements of S. - The Range of f is the set of all images of
elements of A. - The function fA?B is said to map set A to set B.
- ?
17Increasing/Decreasing Functions
- Definition Let f be a function whose domain and
codomain are subsets of the real numbers and
suppose x and y are in the domain of f. - f is said to be increasing if f(x) ? f(y)
whenever x lt y. - f is said to be strictly increasing if f(x) lt
f(y) whenever x lt y. - f is said to be decreasing if f(x) ? f(y)
whenever x lt y. - f is said to be strictly decreasing if f(x) gt
f(y) whenever x lt y.
18Definitions Injection, Surjection, Bijection
- Let f A ? B be a function.
- f is injective or one-to-one iff f(x) f(y)
implies that x y for all x and y in A. - f is surjective or onto if set B is the image of
A (i.e. ?b ?B ? a?A such f(a) b.) - f is a bijection or a one-to-one correspondence
if f is both surjective and injective (i.e. it is
both one-to-one and onto) - ?
19Definitions Inverse
- Let fA?B be a one-to-one correspondence from set
A to set B. The inverse of f is the function
that assigns to each b?B the unique element a?A
such that f(a) b. The inverse function is
denoted by f-1. - Note f-1(y) x if and only if f(x) y, thus
- ?y?B f(f-1(y)) y and ?x?A f-1(f(x)) x.
- ?
20Definition Composition of two functions, Graphs
- Let g A ? B and f B ? C be two functions. The
composition of f and g denoted by f o g is
defined by - f o g (x) f(g(x)). The domain of the function
is the set of x in the domain of f such that g(x)
is in the domain of f. - The graph of a function f A?B is the set of all
ordered pairs (a,b) a?A and f(a)b - ?
21Graph, ceiling, floor
- Let fA ? B. The graph of the function f is the
set of ordered pairs (a,b)a?A bf(a) - Ceiling f(x) x The ceiling function assigns
to the real number x the smallest integer that is
greater than or equal to x. - Floor f(x) x The floor function assigns to
the real number x the largest integer that is
less than or equal to x. - ?
22Homework
- Sec 2.3
- pg. 133 3, 7, 9, 12, 13, 16, 19, 23, 25, 33,
33, 35
23Sec 2.4
24Definitions
- Sequence an A sequence is a function whose
domain is either the set 0, 1, 2, or the set
1, 2, 3, and whose codomain is a generally a
set of numbers. We use the notation an to denote
the image of the integer n and we call an a term
of the sequence. - Geometric Progression A geometric progression
is a sequence of the form a, ar, ar2, , arn.
The number a is called the initial term and the
number r is called the common ratio. - Arithmetic Progression An arithmetic
progression is a sequence of the form a, ad,
a2d, , and. The number a is called the
initial term and the number d is called the
common difference. - ?
25Summation Notation
26Geometric Progression Theorem
27Useful Summation Results
28Definitions
- Cardinality The sets A and B have the same
cardinality if and only if there is a one-to-one
correspondence from A to B. - A set that is either finite of has the same
cardinality as the set of positive integers is
called countable. A set that is not countable is
called uncountable. - ?
29Theorems
- Theorem The set of all Rational numbers is
countable - Theorem The set of all real numbers in the
interval 0,1 are not countable.
30Homework
- Sec 2.4
- pg. 161 3, 5, 7, 13, 15, 17, 32
31THE END