How many elements does B have to have? At least one, since A is not empty. If

Similar documents
MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that

Math 300 Introduction to Mathematical Reasoning Autumn 2017 Inverse Functions

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

MATH 2001 MIDTERM EXAM 1 SOLUTION

Lecture 3: Sizes of Infinity

MODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.

MODEL ANSWERS TO THE FIRST HOMEWORK

Functions Functions and Modeling A UTeach/TNT Course

CHAPTER 0: BACKGROUND (SPRING 2009 DRAFT)

Cardinality and ordinal numbers

Logic and Mathematics:

A Logician s Toolbox

MAS114: Numbers and Groups, Semester 2

The tensor product of commutative monoids

4.1 Real-valued functions of a real variable

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Figure 1. Symmetries of an equilateral triangle

Supplementary Material for MTH 299 Online Edition

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

HOW TO CREATE A PROOF. Writing proofs is typically not a straightforward, algorithmic process such as calculating

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring

Modern Geometry Homework.

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

Notes on ordinals and cardinals

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

Discrete Structures Proofwriting Checklist

Math 396. Quotient spaces

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham

Foundations Revision Notes

We introduce one more operation on sets, perhaps the most important

An Introduction to University Level Mathematics

Introduction to Functions

Contribution of Problems

Math 300: Final Exam Practice Solutions

1. Decide for each of the following expressions: Is it a function? If so, f is a function. (i) Domain: R. Codomain: R. Range: R. (iii) Yes surjective.

Lecture 10: Everything Else

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

Elements of solution for Homework 5

1.8 Dual Spaces (non-examinable)

LECTURE 16: TENSOR PRODUCTS

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

1.2 Functions What is a Function? 1.2. FUNCTIONS 11

Solution of the 7 th Homework

Nondeterministic finite automata

Algebraic Topology M3P solutions 1

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Great Theoretical Ideas in Computer Science. Lecture 5: Cantor s Legacy

Carmen s Core Concepts (Math 135)

MATH 2200 Final Review

Adam Blank Spring 2017 CSE 311. Foundations of Computing I

18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems

ABOUT THE CLASS AND NOTES ON SET THEORY

1. A Little Set Theory

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

Relations, Functions, and Sequences

Solving with Absolute Value

Functions. If x 2 D, then g(x) 2 T is the object that g assigns to x. Writing the symbols. g : D! T

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

(So SamID 1 ( ) = Ken W. Smith.)

Set theory. Math 304 Spring 2007

Review of Functions. Functions. Philippe B. Laval. Current Semester KSU. Philippe B. Laval (KSU) Functions Current Semester 1 / 12

Section 7.2: One-to-One, Onto and Inverse Functions

Math Precalculus I University of Hawai i at Mānoa Spring

Equivalence Relations

Counting Colorings Cleverly

Foundations of Mathematics

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Meta-logic derivation rules

(D) Introduction to order types and ordinals

Foundations of Abstract Mathematics. Paul L. Bailey

Day 15. Tuesday June 12, 2012

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

1 Take-home exam and final exam study guide

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

Selected problems from past exams

Cartesian Products and Relations

c 1 v 1 + c 2 v 2 = 0 c 1 λ 1 v 1 + c 2 λ 1 v 2 = 0

A PRIMER ON SESQUILINEAR FORMS

Mathematical Logic Part One

The Different Sizes of Infinity

Functions. Given a function f: A B:

ABSTRACT NONSINGULAR CURVES

Contribution of Problems

Notes. Functions. Introduction. Notes. Notes. Definition Function. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y.

Week Some Warm-up Questions

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

2. Prime and Maximal Ideals

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Transcription:

15. Injective surjective and bijective The notion of an invertible function is very important and we would like to break up the property of being invertible into pieces. Definition 15.1. Let f : A B be a function. We say that f is injective if whenever f(a 1 ) = f(a 2 ), for some a 1 and a 2 A, then a 1 = a 2. To help understand any property, it sometime helps to write down the simplest example of something that does not have the property. What is the simplest example of a function which is not injective? Can we take A to be the emptyset? Well, no. In terms of quantifiers, injective is the property: a 1 A, a 2 A, (f(a 1 ) = f(a 2 )) = (a 1 = a 2 ). If we negate this then we get a 1 A, a 2 A, (f(a 1 ) = f(a 2 )) (a 1 a 2 ). The emptyset has no elements and so any function from the emptyset is always injective. How about if A has just one element? We still can not find a function which is not injective. We want to find a 1 a 2 A, not possible if A has only one element. But we are okay if A has two elements, A = { α 1, α 2 }. How many elements does B have to have? At least one, since A is not empty. If B = { β } then there is one function f from A to B, the constant function which sends everything to β. So f is not injective, since f(α 1 ) = β = f(α 2 ) and yet α 1 α 2. This is a minimal example of function which is not injective. One way to think of injective functions is that if f is injective we don t lose any information. If f translates English words into French words, it will be injective provided different words in English get translated into different words in French. If we translate both the word big and large into the single French word grand then we have lost information. If I ask you what word in English corresponds to the word grand, you would have to say that is depends, it might either be big or large. A function is injective if we can recover a simply by knowing its image f(a). 1

Another way to describe an injective function is that there is no duplication. Note that if A is a finite set and f : A B is injective then A B. There is a companion notion to injective: Definition 15.2. Let f : A B be a function. We say f is surjective if for every element b of B there is an element a of A mapping to b. Again, how small an example can we construct of a function which is not surjective? Now we focus on B. Can we take B to be the emptyset? Well, no. In terms of quantifiers, surjective is the property: If we negate this then we get b B, a A, f(a) = b. b B, a A, f(a) b. If B is empty then we don t get past the first quantifier. How about if B contains one element? If we take A to be the emptyset then we win. Perhaps a more convincing example is if we take A to have one element and B to have two elements, A = { α } and B = { β 1, β 2 }. In this case we could take f to be the function f(α) = β 1. Then f is not surjective as β 2 is not the image of any element of A. Of course β 1 is in the image. In terms of French and English, translation from English into French is surjective, if for every word in French, there is a word in English which we would translate into that word. Another way to describe a surjective function is that nothing is overlooked. Note that if B is a finite set and f : A B is surjective then A B. Definition 15.3. A function f is a bijection (or f is bijective) if it is injective and surjective. The main point of all of this is: Theorem 15.4. Let f : A B be a function. Then f is invertible if and only if it is bijective. 2

Proof. Suppose that f is invertible. We have to show that f is bijective. Let g : B A be the inverse of f. We check that f is injective. Suppose that f(a 1 ) = f(a 2 ) for some a 1 and a 2 A. We have g f = id A. If we apply g to both sides we get a 1 = id A (a 1 ) = (g f)(a 1 ) = g(f(a 1 )) = g(f(a 2 )) = (g f)(a 2 ) = id A (a 2 ) = a 2. Thus f is injective. Now we check that f is surjective. Pick b B. Let a = g(b). We have f g = id B. It follows that f(a) = f(g(b)) = (f g)(b) = id B (b) = b. Thus f is surjective. Thus we have shown that if f is invertible then f is bijective. Now suppose that f is bijective. We have to show that f is invertible. Define a function g : B A as follows. Given b B, as f is surjective, we may find a A such that f(a) = b. Note that a is unique, as f is injective. We check that g is the inverse of f. We first check that g f = id A. Both sides of this equation are functions from A to A. Therefore it suffices to check that they have the same effect on an element a of A. Note that if b = f(a) then g(b) = a, by definition of g. We have (g f)(a) = g(f(a)) = a = id A (a), where we used the observation above to get from line one to line two. Thus g f = id A. Now we check that f g = id B. Both sides of this equation are functions from B to B. Therefore it suffices to check that they have the same effect on an element b of B. Let a = g(b). Then by definition 3

of g, we have f(a) = b. We have (f g)(b) = f(g(b)) = b = id A (b), where we used the observation above to get from line one to line two. Thus f g = id B. It follows that g is the inverse of f. Thus we have shown that if f is bijective then f is invertible. Note that it is not enough to construct a one-sided inverse to conclude that f is invertible, or equivalently, bijective. Example 15.5. Suppose we start with the quintessential example of a function f : A B which is surjective but not injective. A = { α 1, α 2 } and B = { β }. and f is the constant function which sends everything to β. Let g : B A be the function g(β) = α 1. Then f g = id B : B B. But g f : A A is a contsant function, which sends everything to α 1. Example 15.6. Now consider the quintessential example of a function f : A B which is injective but not surjective. We have A = { α } and B = { β 1, β 2 }. and f(α) = β 1. Let g : B A be the constant function which sends everything to α. Then g f = id A : A A but f g : B B is the constant function to β 1. Lemma 15.7. Let f : A B, g : B C and h: C D be three functions. Then we have an equality of functions: h (g f) = (h g) f : A D. Proof. Both sides are functions from A to D. Therefore it suffices to check they have the same effect on an arbitrary element a of A. h (g f)(a) = h((g f)(a)) = h(g(f(a))) = (h g)(f(a)) = ((h g) f)(a). 4

Thus h (g f) and (h g) f are the same function. Lemma 15.8. If f : A B is an invertible function then the inverse is unique. Proof. Suppose that g 1 : B A and g 2 : B A are both inverses of f. Consider the product g 1 f g 2. Note that, by (15.7), we don t have to be careful to correctly bracket this expression. On the one hand, we have On the other hand, we have g 1 f g 2 = (g 1 f) g 2 = id A g 2 = g 2. g 1 f g 2 = g 1 (f g 2 ) Thus g 1 = g 2. = g 1 id B = g 1. 5