Chapter2 - Basic Structures Sets, Functions, Sequences, Sums, and Matrices

Basic Structures: Sets, Functions, Sequences, Sums, and Matrices - Chapter 2

Chapter Summary

  • Sets
  • The Language of Sets
  • Set Operations
  • Set Identities
  • Functions
  • Types of Functions
  • Operations on Functions
  • Computability
  • Sequences and Summations
  • Types of Sequences
  • Summation Formulae
  • Set Cardinality
  • Countable Sets
  • Matrices
  • Matrix Arithmetic

Sets - Section 2.1

Section Summary
  • Definition of sets
  • Describing Sets
    • Roster Method
    • Set-Builder Notation
  • Some Important Sets in Mathematics
  • Empty Set and Universal Set
  • Subsets and Set Equality
  • Cardinality of Sets
  • Tuples
  • Cartesian Product
Introduction
  • Sets are basic building blocks for objects in discrete mathematics.
  • Important for counting.
  • Programming languages have set operations.
  • Set theory is an important branch of mathematics.
  • Many different systems of axioms are used to develop set theory.
  • Using "naïve set theory" instead of formal axioms.
Sets
  • A set is an unordered collection of objects.
    • Examples:
      • Students in this class
      • Chairs in this room
  • Objects in a set are called elements or members.
  • A set is said to contain its elements.
  • Notation:
    • aAa ∈ A denotes that aa is an element of set AA.
    • aAa ∉ A denotes that aa is not a member of set AA.
Describing a Set: Roster Method
  • S=a,b,c,dS = {a,b,c,d}
  • Order is not important: S=a,b,c,d=b,c,a,dS = {a,b,c,d} = {b,c,a,d}
  • Each distinct object is either a member or not; listing more than once does not change the set: S=a,b,c,d=a,b,c,b,c,dS = {a,b,c,d} = {a,b,c,b,c,d}
  • Ellipses (…) may be used to describe a set without listing all members when the pattern is clear: S=a,b,c,d,,zS = {a,b,c,d, ……,z }
Roster Method Examples
  • Set of all vowels in the English alphabet: V=a,e,i,o,uV = {a,e,i,o,u}
  • Set of all odd positive integers less than 10: O=1,3,5,7,9O = {1,3,5,7,9}
  • Set of all positive integers less than 100: S=1,2,3,..,99S = {1,2,3,……..,99}
  • Set of all integers less than 0: S=.,3,2,1S = {…., -3,-2,-1}
Some Important Sets
  • N\mathbb{N} = natural numbers = 0,1,2,3{0,1,2,3…}
  • Z\mathbb{Z} = integers = ,3,2,1,0,1,2,3,{…,-3,-2,-1,0,1,2,3,…}
  • Z+\mathbb{Z^+} = positive integers = 1,2,3,..{1,2,3,…..}
  • R\mathbb{R} = set of real numbers
  • R+\mathbb{R^+} = set of positive real numbers
  • C\mathbb{C} = set of complex numbers
  • Q\mathbb{Q} = set of rational numbers
Set-Builder Notation
  • Specify the property or properties that all members must satisfy:
    • S=xx is a positive integer less than 100S = {x | x \text{ is a positive integer less than 100}}
    • O=xx is an odd positive integer less than 10O = {x | x \text{ is an odd positive integer less than 10}}
    • O = {x ∈ \mathbb{Z^+} | x \text{ is odd and } x < 10}
  • A predicate may be used: S=xP(x)S = {x | P(x)}
    • Example: S=xPrime(x)S = {x | Prime(x)}
  • Positive rational numbers: Q+=xRx=p/q, for some positive integers p,q\mathbb{Q^+} = {x ∈ \mathbb{R} | x = p/q, \text{ for some positive integers } p,q}
Interval Notation
  • [a,b]=xaxb[a,b] = {x | a ≤ x ≤ b} (closed interval)
  • [a,b) = {x | a ≤ x < b}
  • (a,b] = {x | a < x ≤ b}
  • (a,b) = {x | a < x < b} (open interval)
Universal Set and Empty Set
  • The universal set UU is the set containing everything currently under consideration.
    • Sometimes implicit.
    • Sometimes explicitly stated.
    • Contents depend on the context.
  • The empty set is the set with no elements. Symbolized \emptyset, but {} also used.
  • Venn Diagram illustrates sets within the Universal set.
Russell’s Paradox
  • Let SS be the set of all sets which are not members of themselves. A paradox results from trying to answer the question “Is SS a member of itself?”
  • Related Paradox:
    • Henry is a barber who shaves all people who do not shave themselves. A paradox results from trying to answer the question “Does Henry shave himself?”
Some Things to Remember
  • Sets can be elements of sets:
    • 1,2,3,a,b,c{{1,2,3},a, {b,c}}
    • N,Z,Q,R{N,Z,Q,R}
  • The empty set is different from a set containing the empty set: \emptyset ≠ { \emptyset }
Set Equality
  • Definition: Two sets are equal if and only if they have the same elements.
    • Therefore if AA and BB are sets, then AA and BB are equal if and only if every element of AA is an element of BB and every element of BB is an element of AA.
  • We write A=BA = B if AA and BB are equal sets.
    • 1,3,5=3,5,1{1,3,5} = {3, 5, 1}
    • 1,5,5,5,3,3,1=1,3,5{1,5,5,5,3,3,1} = {1,3,5}
Subsets
  • Definition: The set AA is a subset of BB, if and only if every element of AA is also an element of BB.
  • The notation ABA ⊆ B is used to indicate that AA is a subset of the set BB.
  • ABA ⊆ B holds if and only if x(xAxB)\forall x (x ∈ A → x ∈ B) is true.
    • Because aa ∈ \emptyset is always false, S\emptyset ⊆ S, for every set SS.
    • Because aSaSa ∈ S → a ∈ S, SSS ⊆ S, for every set SS.
Showing a Set is or is not a Subset of Another Set
  • Showing that AA is a Subset of BB: To show that ABA ⊆ B, show that if xx belongs to AA, then xx also belongs to BB.
  • Showing that A is not a Subset of B: To show that AA is not a subset of BB, ABA \nsubseteq B, find an element xAx ∈ A with xBx ∉ B. (Such an xx is a counterexample to the claim that xAx ∈ A implies xBx ∈ B.)
  • Examples:
    • The set of all computer science majors at your school is a subset of all students at your school.
    • The set of integers with squares less than 100 is not a subset of the set of nonnegative integers.
Another Look at Equality of Sets
  • Recall that two sets AA and BB are equal, denoted by A=BA = B, iff x(xAxB)\forall x (x ∈ A ↔ x ∈ B).
  • Using logical equivalences we have that A=BA = B iff x[(xAxB)(xBxA)]\forall x [(x ∈ A → x ∈ B) ∧ (x ∈ B → x ∈ A)].
  • This is equivalent to ABA ⊆ B and BAB ⊆ A.
Proper Subsets
  • Definition: If ABA ⊆ B, but ABA ≠B, then we say AA is a proper subset of BB, denoted by ABA ⊂ B. If ABA ⊂ B, then x(xAxB)x(xBxA)\forall x (x ∈ A → x ∈ B) ∧ ∃x (x ∈ B ∧ x ∉ A) is true.
Set Cardinality
  • Definition: If there are exactly nn distinct elements in SS where nn is a nonnegative integer, we say that SS is finite. Otherwise it is infinite.
  • Definition: The cardinality of a finite set AA, denoted by A|A|, is the number of (distinct) elements of AA.
  • Examples:
    • =0|\emptyset| = 0
    • Let SS be the letters of the English alphabet. Then S=26|S| = 26
    • 1,2,3=3|{1,2,3}| = 3
    • =1|{\emptyset}| = 1
    • The set of integers is infinite.
Power Sets
  • Definition: The set of all subsets of a set AA, denoted P(A)P(A), is called the power set of AA.
    • Example: If A=a,bA = {a,b} then P(A)=,a,b,a,bP(A) = {\emptyset, {a},{b},{a,b}}
  • If a set has nn elements, then the cardinality of the power set is 2n2^n.
Tuples
  • The ordered n-tuple (a<em>1,a</em>2,..,a<em>n)(a<em>1,a</em>2,…..,a<em>n) is the ordered collection that has a</em>1a</em>1 as its first element and a<em>2a<em>2 as its second element and so on until a</em>na</em>n as its last element.
  • Two n-tuples are equal if and only if their corresponding elements are equal.
  • 2-tuples are called ordered pairs.
  • The ordered pairs (a,b)(a,b) and (c,d)(c,d) are equal if and only if a=ca = c and b=db = d.
Cartesian Product
  • Definition: The Cartesian Product of two sets AA and BB, denoted by A×BA × B is the set of ordered pairs (a,b)(a,b) where aAa ∈ A and bBb ∈ B.
    • Example:
      • A=a,bA = {a,b}
      • B=1,2,3B = {1,2,3}
      • A×B=(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)A × B = {(a,1),(a,2),(a,3), (b,1),(b,2),(b,3)}
  • Definition: A subset RR of the Cartesian product A×BA × B is called a relation from the set AA to the set BB.
Cartesian Product of n Sets
  • Definition: The cartesian products of the sets A<em>1,A</em>2,,A<em>nA<em>1,A</em>2,……,A<em>n, denoted by A</em>1×A<em>2××A</em>nA</em>1 × A<em>2 × …… × A</em>n, is the set of ordered n-tuples (a<em>1,a</em>2,,a<em>n)(a<em>1,a</em>2,……,a<em>n) where a</em>ia</em>i belongs to AiA_i for i=1,ni = 1, … n.
    • Example: What is A×B×CA × B × C where A=0,1A = {0,1}, B=1,2B = {1,2} and C=0,1,2C = {0,1,2}
    • Solution: A×B×C=(0,1,0),(0,1,1),(0,1,2),(0,2,0),(0,2,1),(0,2,2),(1,1,0),(1,1,1),(1,1,2),(1,2,0),(1,2,1),(1,2,2)A × B × C = {(0,1,0), (0,1,1), (0,1,2),(0,2,0), (0,2,1), (0,2,2),(1,1,0), (1,1,1), (1,1,2), (1,2,0), (1,2,1), (1,2,2)}
Truth Sets of Quantifiers
  • Given a predicate PP and a domain DD, we define the truth set of PP to be the set of elements in DD for which P(x)P(x) is true. The truth set of P(x)P(x) is denoted by xDP(x){x ∈ D | P(x)}
    • Example: The truth set of P(x)P(x) where the domain is the integers and P(x)P(x) is “x=1|x| = 1” is the set 1,1{-1,1}

Set Operations - Section 2.2

Section Summary
  • Set Operations
    • Union
    • Intersection
    • Complementation
    • Difference
  • More on Set Cardinality
  • Set Identities
    • Proving Identities
    • Membership Tables
Boolean Algebra
  • Propositional calculus and set theory are both instances of an algebraic system called a Boolean Algebra. This is discussed in Chapter 12.
  • The operators in set theory are analogous to the corresponding operator in propositional calculus.
  • As always there must be a universal set UU. All sets are assumed to be subsets of UU.
Union
  • Definition: Let AA and BB be sets. The union of the sets AA and BB, denoted by ABA ∪ B, is the set: AB=xxAxBA ∪ B = {x | x ∈ A ∨ x ∈ B}
    • Example: What is 1,2,33,4,5{1,2,3} ∪ {3, 4, 5}?
    • Solution: 1,2,3,4,5{1,2,3,4,5}
Intersection
  • Definition: The intersection of sets AA and BB, denoted by ABA ∩ B, is AB=xxAxBA ∩ B = {x | x ∈ A ∧ x ∈ B}
  • Note if the intersection is empty, then AA and BB are said to be disjoint.
    • Example: What is 1,2,33,4,5{1,2,3} ∩ {3,4,5} ?
    • Solution : 3{3}
    • Example:What is? 1,2,34,5,6{1,2,3} ∩ {4,5,6} ?
    • Solution : \emptyset
Complement
  • Definition: If AA is a set, then the complement of the AA (with respect to UU), denoted by Aˉ\bar{A} is the set Aˉ=xUxA\bar{A} = {x ∈ U | x ∉ A}
  • (The complement of AA is sometimes denoted by AcA^c .)
    • Example: If UU is the positive integers less than 100, what is the complement of {x | x > 70}
    • Solution: xx70{x | x ≤ 70}
Difference
  • Definition: Let AA and BB be sets. The difference of AA and BB, denoted by ABA – B, is the set containing the elements of AA that are not in BB. The difference of AA and BB is also called the complement of BB with respect to AA.
  • AB=xxAxB=ABˉA – B = {x | x ∈ A ∧ x ∉ B} = A ∩ \bar{B}
The Cardinality of the Union of Two Sets
  • Inclusion-Exclusion: AB=A+BAB|A ∪ B| = |A| + | B| − |A ∩ B|
    • Example: Let AA be the math majors in your class and BB be the CS majors. To count the number of students who are either math majors or CS majors, add the number of math majors and the number of CS majors, and subtract the number of joint CS/math majors.
  • We will return to this principle in Chapter 6 and Chapter 8 where we will derive a formula for the cardinality of the union of nn sets, where nn is a positive integer.
Review Questions Example
  • U=0,1,2,3,4,5,6,7,8,9,10U = {0,1,2,3,4,5,6,7,8,9,10}
  • A=1,2,3,4,5,B=4,5,6,7,8A = {1,2,3,4,5}, B ={4,5,6,7,8}
    1. ABA ∪ B
      • Solution: 1,2,3,4,5,6,7,8{1,2,3,4,5,6,7,8}
    2. ABA ∩ B
      • Solution: 4,5{4,5}
    3. Aˉ\bar{A}
      • Solution: 0,6,7,8,9,10{0,6,7,8,9,10}
    4. Bˉ\bar{B}
      • Solution: 0,1,2,3,9,10{0,1,2,3,9,10}
    5. ABA – B
      • Solution: 1,2,3{1,2,3}
    6. BAB – A
      • Solution: 6,7,8{6,7,8}
Symmetric Difference (optional)
  • Definition: The symmetric difference of AA and BB, denoted by ABA \oplus B, is the set AB=(AB)(BA)A \oplus B = (A - B) ∪ (B - A)
    • Example: U=0,1,2,3,4,5,6,7,8,9,10U = {0,1,2,3,4,5,6,7,8,9,10} A=1,2,3,4,5A = {1,2,3,4,5} B=4,5,6,7,8B ={4,5,6,7,8}
    • What is ABA \oplus B:
      • Solution: 1,2,3,6,7,8{1,2,3,6,7,8}
Set Identities
  • Identity laws:
    • A=AA ∪ \emptyset = A
    • AU=AA ∩ U = A
  • Domination laws:
    • AU=UA ∪ U = U
    • A=A ∩ \emptyset = \emptyset
  • Idempotent laws:
    • AA=AA ∪ A = A
    • AA=AA ∩ A = A
  • Complementation law:
    • Aˉˉ=A\bar{\bar{A}} = A
  • Commutative laws:
    • AB=BAA ∪ B = B ∪ A
    • AB=BAA ∩ B = B ∩ A
  • Associative laws:
    • A(BC)=(AB)CA ∪ (B ∪ C) = (A ∪ B) ∪ C
    • A(BC)=(AB)CA ∩ (B ∩ C) = (A ∩ B) ∩ C
  • Distributive laws:
    • A(AB)=AA ∪ (A ∩ B) = A
    • A(AB)=AA ∩ (A ∪ B) = A
  • De Morgan's laws:
    • AB=AˉBˉ\overline{A ∪ B} = \bar{A} ∩ \bar{B}
    • AB=AˉBˉ\overline{A ∩ B} = \bar{A} ∪ \bar{B}
  • Absorption laws:
    • A(AB)=AA ∪ (A ∩ B) = A
    • A(AB)=AA ∩ (A ∪ B) = A
  • Complement laws:
    • AA=UA ∪ \overline{A} = U
    • AA=A ∩ \overline{A} = \emptyset
Proving Set Identities
  • Different ways to prove set identities:
    1. Prove that each set (side of the identity) is a subset of the other.
    2. Use set builder notation and propositional logic.
    3. Membership Tables: Verify that elements in the same combination of sets always either belong or do not belong to the same side of the identity. Use 1 to indicate it is in the set and a 0 to indicate that it is not.
Proof of Second De Morgan Law Example
  • Example: Prove that AB=AˉBˉ\overline{A ∩ B} = \bar{A} ∪ \bar{B}
  • Solution: We prove this identity by showing that:
    1. ABAˉBˉ\overline{A ∩ B} ⊆ \bar{A} ∪ \bar{B}
    2. AˉBˉAB\bar{A} ∪ \bar{B} ⊆ \overline{A ∩ B}
Proof of Second De Morgan Law Steps
  • These steps show that: ABAˉBˉ\overline{A ∩ B} ⊆ \bar{A} ∪ \bar{B}
    1. xABx ∈ \overline{A ∩ B} - by assumption
    2. xABx \notin A ∩ B - defn. of complement
    3. ¬((xA)(xB))\neg((x ∈ A) ∧ (x ∈ B)) - defn. of intersection
    4. ¬(xA)¬(xB)\neg(x ∈ A) ∨ \neg(x ∈ B) - 1st De Morgan Law for Prop Logic
    5. xAxBx \notin A ∨ x \notin B - defn. of negation
    6. xAˉxBˉx ∈ \bar{A} ∨ x ∈ \bar{B} - defn. of complement
    7. xAˉBˉx ∈ \bar{A} ∪ \bar{B} - defn. of union
  • These steps show that: AˉBˉAB\bar{A} ∪ \bar{B} ⊆ \overline{A ∩ B}
    1. xAˉBˉx ∈ \bar{A} ∪ \bar{B} - by assumption
    2. (xAˉ)(xBˉ)(x ∈ \bar{A}) ∨ (x ∈ \bar{B}) - defn. of union
    3. (xA)(xB)(x \notin A) ∨ (x \notin B) - defn. of complement
    4. ¬(xA)¬(xB)\neg(x ∈ A) ∨ \neg(x ∈ B) - defn. of negation
    5. ¬((xA)(xB))\neg((x ∈ A) ∧ (x ∈ B)) - by 1st De Morgan Law for Prop Logic
    6. ¬(xAB)\neg(x ∈ A ∩ B) - defn. of intersection
    7. xABx \notin A ∩ B - defn. of complement
Set-Builder Notation: Second De Morgan Law
  • AB=xxAB\overline{A ∩ B} = {x|x \notin A ∩ B}
  • =x¬(x(AB))= {x|\neg(x ∈ (A ∩ B))}
  • =x¬(xAxB)= {x|\neg(x∈ A ∧ x ∈ B)}
  • =x¬(xA)¬(xB)= {x|\neg(x ∈ A) ∨ \neg(x ∈ B)}
  • =xxAxB= {x|x \notin A ∨ x \notin B}
  • =xxAˉxBˉ= {x|x ∈ \bar{A} ∨ x ∈ \bar{B}}
  • =xxAˉBˉ=AˉBˉ= {x|x ∈ \bar{A}∪ \bar{B}} = \bar{A}∪ \bar{B}
Membership Table
  • Construct a membership table to show that the distributive law holds.
ABCB ∪ CA ∩ (B ∪ C)A ∩ BA ∩ C(A ∩ B) ∪ (A ∩ C)
11111111
11011101
10111011
10000000
01110000
01010000
00110000
00000000
Generalized Unions and Intersections
  • Let A<em>1,A</em>2,,AnA<em>1, A</em>2 ,…, A_n be an indexed collection of sets. We define:
    • <em>i=1nA</em>i=A<em>1A</em>2An\bigcup<em>{i=1}^{n} A</em>i = A<em>1 ∪ A</em>2 ∪ … ∪ A_n
    • <em>i=1nA</em>i=A<em>1A</em>2An\bigcap<em>{i=1}^{n} A</em>i = A<em>1 ∩ A</em>2 ∩ … ∩ A_n
    • These are well defined, since union and intersection are associative.
  • For i=1,2,,i = 1,2,…,, let Ai=i,i+1,i+2,.A_i = {i, i + 1, i + 2, ….}. Then,
    • <em>i=1A</em>i=1,2,3,.\bigcup<em>{i=1}^{\infty} A</em>i = {1, 2, 3, ….}
    • <em>i=1A</em>i=\bigcap<em>{i=1}^{\infty} A</em>i = \emptyset

Functions - Section 2.3

Section Summary
  • Definition of a Function.
    • Domain, Codomain
    • Image, Preimage
  • Injection, Surjection, Bijection
  • Inverse Function
  • Function Composition
  • Graphing Functions
  • Floor, Ceiling, Factorial
  • Partial Functions (optional)
Functions Definition
  • Definition: Let AA and BB be nonempty sets. A function ff from AA to BB, denoted f:ABf: A → B is an assignment of each element of AA to exactly one element of BB. We write f(a)=bf(a) = b if bb is the unique element of BB assigned by the function ff to the element aa of AA.
  • Functions are sometimes called mappings or transformations.
Functions as Relations
  • A function f:ABf: A → B can also be defined as a subset of A×BA×B (a relation). This subset is restricted to be a relation where no two elements of the relation have the same first element.
  • Specifically, a function ff from AA to BB contains one, and only one ordered pair (a,b)(a, b) for every element aAa∈ A.
  • aAbB((a,b)f)\forall a ∈ A ∃ b ∈ B ( (a,b) ∈ f )
  • aAbBcB(((a,b)f)((a,c)f)b=c)\forall a ∈ A \forall b ∈ B \forall c ∈ B ( ((a,b) ∈ f) ∧ ((a,c) ∈ f) → b=c)
Functions Terminology
  • Given a function f:ABf: A → B:
    • We say ff maps AA to BB or ff is a mapping from AA to BB.
    • AA is called the domain of ff.
    • BB is called the codomain of ff.
    • If f(a)=bf(a) = b,
      • then bb is called the image of aa under ff.
      • aa is called the preimage of bb.
    • The range of ff is the set of all images of points in AA under ff. We denote it by f(A)f(A).
    • Two functions are equal when they have the same domain, the same codomain and map each element of the domain to the same element of the codomain.
Representing Functions
  • Functions may be specified in different ways:
    • An explicit statement of the assignment. Students and grades example.
    • A formula. f(x)=x+1f(x) = x + 1
    • A computer program.
      • A Java program that when given an integer nn, produces the nnth Fibonacci Number (covered in the next section and also inChapter 5).
Questions
  • f(a)=?f(a) = ? - z
  • The image of dd is ? - z
  • The domain of ff is ? - A
  • The codomain of ff is ? - B
  • The preimage of yy is ? - b
  • f(A)=?f(A) = ? - {y,z}
  • The preimage(s) of zz is (are) ? - {a,c,d}
Question on Functions and Sets
  • If f:ABf: A \rightarrow B and SS is a subset of AA, then f(S)=f(s)sSf(S) = {f(s) | s \in S}
  • f(c,d)f({c,d}) is ? - {z}
  • f(a,b,c,)f({a,b,c,}) is ? - {y,z}
Injections
  • Definition: A function ff is said to be one-to-one , or injective, if and only if f(a)=f(b)f(a) = f(b) implies that a=ba = b for all aa and bb in the domain of ff. A function is said to be an injection if it is one-to-one.
Surjections
  • Definition: A function ff from AA to BB is called onto or surjective, if and only if for every element bBb ∈ B there is an element aAa ∈ A with f(a)=bf(a) = b. A function ff is called a surjection if it is onto.
Bijections
  • Definition: A function ff is a one-to-one correspondence, or a bijection, if it is both one-to-one and onto (surjective and injective).
Showing that f is one-to-one or onto
  • Suppose that f:ABf: A → B.
    • To show that ff is injective Show that if f(x)=f(y)f(x) = f(y) for arbitrary x,yAx, y ∈ A with xyx ≠ y, then x=yx = y.
    • To show that ff is not injective Find particular elements x,yAx, y ∈ A such that xyx ≠ y and f(x)=f(y)f(x) = f(y).
    • To show that ff is surjective Consider an arbitrary element yBy ∈ B and find an element xAx ∈ A such that f(x)=yf(x) = y.
    • To show that ff is not surjective Find a particular yBy ∈ B such that f(x)yf(x) ≠ y for all xAx ∈ A.
Showing that f is one-to-one or onto Examples
  • Example 1: Let ff be the function from a,b,c,d{a,b,c,d} to 1,2,3{1,2,3} defined by f(a)=3f(a) = 3, f(b)=2f(b) = 2, f(c)=1f(c) = 1, and f(d)=3f(d) = 3. Is ff an onto function?
    • Solution: Yes, ff is onto since all three elements of the codomain are images of elements in the domain. If the codomain were changed to 1,2,3,4{1,2,3,4}, ff would not be onto.
  • Example 2: Is the function f(x)=x2f(x) = x^2 from the set of integers to the set of integers onto?
    • Solution: No, ff is not onto because there is no integer xx with x2=1x^2 = −1, for example.
Inverse Functions
  • Definition: Let ff be a bijection from AA to BB. Then the inverse of ff, denoted f1{f}^{-1}, is the function from BB to AA defined as f1(b)=a{f}^{-1}(b) = a when f(a)=bf(a) = b.
  • No inverse exists unless ff is a bijection. Why?
Inverse Functions Examples
  • A and B examples
Questions on Inverse Functions
  • Example 1: Let ff be the function from a,b,c{a,b,c} to 1,2,3{1,2,3} such that f(a)=2f(a) = 2, f(b)=3f(b) = 3, and f(c)=1f(c) = 1. Is ff invertible and if so what is its inverse?
    • Solution: The function ff is invertible because it is a one-to-one correspondence. The inverse function f1{f}^{-1} reverses the correspondence given by ff, so f1(1)=c{f}^{-1}(1) = c, f1(2)=a{f}^{-1}(2) = a, and f1(3)=b{f}^{-1}(3) = b.
  • Example 2: Let f:ZZf: \mathbb{Z} \rightarrow \mathbb{Z} be such that f(x)=x+1f(x) = x + 1. Is ff invertible, and if so, what is its inverse?
    • Solution: The function ff is invertible because it is a one-to-one correspondence. The inverse function f1{f}^{-1} reverses the correspondence so f1(y)=y1{f}^{-1}(y) = y – 1.
  • Example 3: Let f:RRf: \mathbb{R} \rightarrow \mathbb{R} be such that f(x)=x2f(x) = x^2. Is ff invertible, and if so, what is its inverse?
    • Solution: The function ff is not invertible because it is not one-to-one .
Composition
  • Definition: Let f:BCf: B → C, g:ABg: A → B. The composition of $$f