MATH 436 Notes: Functions and Inverses.

Similar documents
Cartesian Products and Relations

Lecture 16 : Relations and Functions DRAFT

You know from calculus that functions play a fundamental role in mathematics.

1 The Concept of a Mapping

Discrete Mathematics. Hans Cuypers. October 11, 2007

Mathematics Course 111: Algebra I Part IV: Vector Spaces

3. Mathematical Induction

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

Geometric Transformations

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

( ) which must be a vector

NOTES ON LINEAR TRANSFORMATIONS

1 if 1 x 0 1 if 0 x 1

INTRODUCTORY SET THEORY

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Quotient Rings and Field Extensions

6.2 Permutations continued

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

MA651 Topology. Lecture 6. Separation Axioms.

Similarity and Diagonalization. Similar Matrices

Section 2.7 One-to-One Functions and Their Inverses

3. Prime and maximal ideals Definitions and Examples.

SMALL SKEW FIELDS CÉDRIC MILLIET

Math 223 Abstract Algebra Lecture Notes

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Math 55: Discrete Mathematics

Math 319 Problem Set #3 Solution 21 February 2002

INCIDENCE-BETWEENNESS GEOMETRY

Practice with Proofs

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea

Abstract Algebra Theory and Applications. Thomas W. Judson Stephen F. Austin State University

ORIENTATIONS. Contents

Introduction to Topology

2. Properties of Functions

ON FIBER DIAMETERS OF CONTINUOUS MAPS

Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook. John Rognes

Full and Complete Binary Trees

Fixed Point Theorems in Topology and Geometry

Computability Theory

5. Linear algebra I: dimension

160 CHAPTER 4. VECTOR SPACES

Matrix Representations of Linear Transformations and Changes of Coordinates

About the inverse football pool problem for 9 games 1

Handout #1: Mathematical Reasoning

7 Relations and Functions

Representing Reversible Cellular Automata with Reversible Block Cellular Automata

Galois Theory III Splitting fields.

Functions CHAPTER 2. Introduction. 2.1 Some Basic Terminology. Terminology for Sets

6.3 Conditional Probability and Independence

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

T ( a i x i ) = a i T (x i ).

GROUPS ACTING ON A SET

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

Chapter 7. Functions and onto. 7.1 Functions

Mathematical Methods of Engineering Analysis

4.5 Linear Dependence and Linear Independence

Solving Linear Systems, Continued and The Inverse of a Matrix

Metric Spaces. Chapter 1

Introduction to Modern Algebra

CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

University of Lille I PC first year list of exercises n 7. Review

Proseminar on Semantic Theory Fall 2013 Ling 720. Problem Set on the Formal Preliminaries : Answers and Notes

Lecture Notes on Discrete Mathematics

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

CONTENTS 1. Peter Kahn. Spring 2007

Algebraic Geometry. Keerthi Madapusi

4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION

NOTES ON CATEGORIES AND FUNCTORS

Student Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)

Degrees that are not degrees of categoricity

16.3 Fredholm Operators

1 Sets and Set Notation.

MATH10040 Chapter 2: Prime and relatively prime numbers

Section Composite and Inverse Functions

LIMITS AND CONTINUITY

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

FIBER PRODUCTS AND ZARISKI SHEAVES

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

TOPIC 4: DERIVATIVES

Regular Languages and Finite Automata

THE BANACH CONTRACTION PRINCIPLE. Contents

Section Inner Products and Norms

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

GRE Prep: Precalculus

S on n elements. A good way to think about permutations is the following. Consider the A = 1,2,3, 4 whose elements we permute with the P =

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

Synthetic Projective Treatment of Cevian Nests and Graves Triangles

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

Inner Product Spaces

MA106 Linear Algebra lecture notes

Real Roots of Univariate Polynomials with Real Coefficients

MATH1231 Algebra, 2015 Chapter 7: Linear maps

Tiers, Preference Similarity, and the Limits on Stable Partners

Transcription:

MATH 436 Notes: Functions and Inverses. Jonathan Pakianathan September 12, 2003 1 Functions Definition 1.1. Formally, a function f : A B is a subset f of A B with the property that for every a A, there is a unique element b B such that (a, b) f. The set A is called the domain of f and the set B is the codomain of f. While the above definition provides a definition of a function purely in terms of set theory, it is usually not a useful picture to work with. However it does emphasize the important point that the domain and codomain of a function are an intrinsic part of any function f. Less formally, we usually think of a function f : A B as a rule of assignment which assigns a unique output f(a) B for every input a A. The graph of f, denoted Graph(f) = {(a, f(a)) a A} A B then recovers the more formal set theoretic definition of the function. Definition 1.2. Let f : A B be a function. Given S A we define f(s) = {f(s) s S}. Note that f(s) B. f(s) is called the image of the set S under f. f(a) is called the image of f, and is denoted Im(f). Given T B we define f 1 (T) = {a A f(a) T }. Note that f 1 (T) A. f 1 (T) is called the preimage of the set T under f. Fix a function f : A B, then it is easy to see that for all S A, S f 1 (f(s)) and for all T B, we have f(f 1 (T)) T. The next example shows that these inclusions do not have to be equalities in general. 1

Example 1.3. Define f : Z Z via f(n) = n 2 for all n Z. Then Im(f) = {0, 1, 4, 9, 16,... }, f({2}) = {4} and f 1 ({0, 1, 2}) = {0, 1, 1}. It follows that f(f 1 ({0, 1, 2})) = {0, 1} and f 1 (f({2})) = { 2, 2}. The following are among the most important concepts involving functions, we shall see why shortly. Definition 1.4. Given a function f : A B we say that: (a) f is surjective (equivalently onto ) if Im(f) = B. (b) f is injective (equivalently one-to-one ) if for all a, a A, (f(a) = f(a )) = (a = a ). Equivalently, f is injective if for all a, a A, (a a ) = (f(a) f(a )). Thus an injective function is one that takes distinct inputs to distinct outputs. (c) f is bijective (equivalently a one-to-one correspondence ) if it has both properties (a) and (b) above. These properties are important as they allow f to be inverted in a certain sense to be made clear soon. First let us recall the definition of the composition of functions: Definition 1.5. If we have two functions f : A B and g : B C then we may form the composition g f : A C defined as (g f)(a) = g(f(a)) for all a A. It is fundamental that the composition of functions is associative: Proposition 1.6 (Associativity of composition). Let f : A B, g : B C, h : C D be functions. Then (h g) f = h (g f). Proof. The two expressions give functions from A to C. To show they are equal we only need to show they give the same output for every input a A. Computing we find: ((h g) f)(a) = (h g)(f(a)) = h(g(f(a))). (h (g f))(a) = h((g f)(a)) = h(g(f(a))). Since the two expressions agree, this completes the proof. Definition 1.7. For any set S, the identity function on S, denoted by 1 S : S S is the function defined by 1 S (s) = s for all s S. It is easy to check that if we have a function f : A B then f 1 A = f = 1 B f. 2

Now we are ready to introduce the concept of inverses: Definition 1.8. Suppose we have a pair of functions f : A B and g : B A such that g f = 1 A. Then we say that f is a right inverse for g and equivalently that g is a left inverse for f. The following is fundamental: Theorem 1.9. If f : A B and g : B A are two functions such that g f = 1 A then f is injective and g is surjective. Hence a function with a left inverse must be injective and a function with a right inverse must be surjective. Proof. g f = 1 A is equivalent to g(f(a)) = a for all a A. Showing f is injective: Suppose a, a A and f(a) = f(a ) B. Then we may apply g to both sides of this last equation and use that g f = 1 A to conclude that a = a. Thus f is injective. Showing g is surjective: Let a A. Then f(a) B and g(f(a)) = a. Thus a g(b) = Im(g) for all a A showing A = Im(g) so g is surjective. The following example shows that left (right) inverses need not be unique: Example 1.10. Let A = {1, 2} and B = {a, b, c}. Define f 1, f 2 : A B by f 1 (1) = a, f 1 (2) = c, f 2 (1) = b, f 2 (2) = c. Define g 1, g 2 : B A by g 1 (a) = g 1 (b) = 1, g 1 (c) = 2 and g 2 (a) = 1, g 2 (b) = g 2 (c) = 2. Then it is an easy exercise to show that g 1 f 1 = 1 A = g 1 f 2 so that g 1 has two distinct right inverses f 1 and f 2. Furthermore since g 1 is not injective, it has no left inverse. Similarly one can compute, g 2 f 1 = 1 A so that f 1 has two distinct left inverses g 1 and g 2. Furthermore since f 1 is not surjective, it has no right inverse. From this example we see that even when they exist, one-sided inverses need not be unique. However we will now see that when a function has both a left inverse and a right inverse, then all inverses for the function must agree: Lemma 1.11. Let f : A B be a function with a left inverse h : B A and a right inverse g : B A. Then h = g and in fact any other left or right inverse for f also equals h. 3

Proof. We have that h f = 1 A and f g = 1 B by assumption. Using associativity of function composition we have: h = h 1 B = h (f g) = (h f) g = 1 A g = g. So h equals g. Since this argument holds for any right inverse g of f, they all must equal h. Since this argument holds for any left inverse h of f, they all must equal g and hence h. So all inverses for f are equal. We finish this section with complete characterizations of when a function has a left, right or two-sided inverse. Proposition 1.12. A function f : A B has a left inverse if and only if it is injective. Proof. = : Follows from Theorem 1.9. =: If f : A B is injective then we can construct a left inverse g : B A as follows. Fix some a 0 A and define { a if b Im(f) and f(a) = b g(b) = a 0 otherwise Note this defines a function only because there is at most one a with f(a) = b. It is an easy computation now to show g f = 1 A and so g is a left inverse for f. Proposition 1.13. A function f : A B has a right inverse if and only if it is surjective. Proof. = : Follows from Theorem 1.9. =: Suppose f : A B is surjective. Then for each b B, f 1 ({b}) is a nonempty subset of A. Thus by the Axiom of Choice we may construct a choice function g : B A such that g(b) is a choice of element from the nonempty set f 1 ({b}) for all b B. It is easy now to compute that f g = 1 B and so g is a right inverse for f. Proposition 1.14. A function f : A B has a two-sided inverse if and only if it is bijective. In this case, the two-sided inverse will be unique and is usually denoted by f 1 : B A. 4

Proof. First note that a two sided inverse is a function g : B A such that f g = 1 B and g f = 1 A. = : Theorem 1.9 shows that if f has a two-sided inverse, it is both surjective and injective and hence bijective. =: Now suppose f is bijective. From the previous two propositions, we may conclude that f has a left inverse and a right inverse. By Lemma 1.11 we may conclude that these two inverses agree and are a two-sided inverse for f which is unique. Alternatively we may construct the two-sided inverse directly via f 1 (b) = a whenever f(a) = b. 5