2 Composition. Invertible Mappings

Σχετικά έγγραφα
Homework 3 Solutions

Section 8.3 Trigonometric Equations

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

4.6 Autoregressive Moving Average Model ARMA(1,1)

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

EE512: Error Control Coding

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Example Sheet 3 Solutions

Other Test Constructions: Likelihood Ratio & Bayes Tests

Every set of first-order formulas is equivalent to an independent set

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Areas and Lengths in Polar Coordinates

Finite Field Problems: Solutions

Areas and Lengths in Polar Coordinates

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

ST5224: Advanced Statistical Theory II

Matrices and Determinants

Math221: HW# 1 solutions

Fractional Colorings and Zykov Products of graphs

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Homomorphism in Intuitionistic Fuzzy Automata

derivation of the Laplacian from rectangular to spherical coordinates

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

A Note on Intuitionistic Fuzzy. Equivalence Relation

Inverse trigonometric functions & General Solution of Trigonometric Equations

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

TMA4115 Matematikk 3

C.S. 430 Assignment 6, Sample Solutions

Concrete Mathematics Exercises from 30 September 2016

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

Solution Series 9. i=1 x i and i=1 x i.

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Chapter 3: Ordinal Numbers

6.3 Forecasting ARMA processes

Section 7.6 Double and Half Angle Formulas

Statistical Inference I Locally most powerful tests

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

CRASH COURSE IN PRECALCULUS

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Uniform Convergence of Fourier Series Michael Taylor

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

PARTIAL NOTES for 6.1 Trigonometric Identities

Solutions to Exercise Sheet 5

w o = R 1 p. (1) R = p =. = 1

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Trigonometric Formula Sheet

( y) Partial Differential Equations

Reminders: linear functions

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

SOLVING CUBICS AND QUARTICS BY RADICALS

Problem Set 3: Solutions

Second Order RLC Filters

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Lecture 2. Soundness and completeness of propositional logic

Tridiagonal matrices. Gérard MEURANT. October, 2008

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Lecture 15 - Root System Axiomatics

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Generating Set of the Complete Semigroups of Binary Relations

The Simply Typed Lambda Calculus

Commutative Monoids in Intuitionistic Fuzzy Sets

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

1. Introduction and Preliminaries.

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Parametrized Surfaces

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

Second Order Partial Differential Equations

Lecture 13 - Root Space Decomposition II

The challenges of non-stable predicates

If we restrict the domain of y = sin x to [ π 2, π 2

Quadratic Expressions

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Congruence Classes of Invertible Matrices of Order 3 over F 2

Arithmetical applications of lagrangian interpolation. Tanguy Rivoal. Institut Fourier CNRS and Université de Grenoble 1

Homework 8 Model Solution Section

( ) 2 and compare to M.

Srednicki Chapter 55

Lecture 21: Properties and robustness of LSE

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

Strain gauge and rosettes

Section 9.2 Polar Equations and Graphs

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano

A Note on Characterization of Intuitionistic Fuzzy Ideals in Γ- Near-Rings

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

Numerical Analysis FMN011

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

SEMIGROUP ACTIONS ON ORDERED GROUPOIDS. 1. Introduction and prerequisites

Differentiation exercise show differential equation

Notes on the Open Economy

Transcript:

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely, the composition of mappings and invertible mappings. Composition of Two Mappings Composition is the combination of two or more mappings to form a single new mapping. Definition.1 Let α : S T and β : T U be two mappings. We define the composition of α followed by β, denoted by β α, to be the mapping for all x α. (β α)(x) = β(α(x)) Note carefully that in the notation β α the mapping on the right is applied first. See Figure.1 Figure.1 Example.1 Let α and β be given by the Venn diagram of Figure.. 1

Figure. Then (β α)(x) = β(α(x)) = β() = c (β α)(y) = β(α(y)) = β(1) = b (β α)(z) = β(α(z)) = β(3) = a Example. Let f and g be two functions given as sets of (x, y) points: f = {(, 3), ( 1, 1), (0, 0), (1, 1), (, 3)}, g = {( 3, 1), ( 1, ), (0, ), (, ), (3, 1)}. Find (f g)(0). Since g(0) = and f() = 3 then (f g)(0) = f(g(0)) = f() = 3. Example.3 The following example shows how to find the formula of the composition mapping given the formulas for both α and β. Let α : R R and β : R R be defined by α(x) = x + and β(x) = x 1 respectively. Find β α and α β. Using the definition of composition we have (β α)(x) = β(α(x)) = β(x + ) = (x + ) 1 = x + 1

while (α β)(x) = α(β(x)) = α(x 1) = (x 1) + = x x + 3 This example, shows that, in general, α β and β α need not be equal. In the following two theorems, we discuss the question of either composing two onto mappings or two one-to-one mappings. Theorem.1 Assume that α : S T and β : T U are two mappings. (a) If α and β are onto then the composition β α is also onto. (b) If β α is onto then β is onto. (a) The mapping β α is a mapping from S to U. So, let u U. Since β is onto then there is a t T such that β(t) = u. Now, since α is onto then there is an s S such that α(s) = t. Thus, given u U we can find an s S such that (β α)(s) = β(α(s)) = β(t) = u. This says that β α is onto. (b) Suppose now that β α is onto. Pick an arbitrary element u U. Since β α is onto then there is an s S such that β(α(s)) = u. Let t = α(s) T. Then β(t) = u. This shows that β is onto. Example.4 Consider the two mappings α : N N defined by α(n) = n and β : N N defined by { n+1 if n is odd β(n) = n if n is even Show that β and β α are onto but α is not. First, we show that β is onto. Let n N. If n is even then n is even and β(n) = n. If n is odd then n 1 is odd and β(n 1) = n. Thus, β is onto. One can easily check that β α = ι N. Since the identity map is onto then β α is onto. The mapping α is not onto since odd positive integers do not have preimages. 3

Theorem. Assume that α : S T and β : T U are two mappings. (a) If α and β are one-to-one then β α is also one-to-one. (b) If β α is one-to-one then α is one-to-one. (a) Suppose that α and β are one-to-one. Suppose that (β α)(s 1 ) = (β α)(s ) for some s 1, s S. This implies that β(α(s 1 )) = β(α(s )). Since β is one-to-one then α(s 1 ) = α(s ). Now since α is one-to-one then s 1 = s. Thus, β α is one-to-one. (b) Assume that β α is one-to-one. Suppose that α(s 1 ) = α(s ). Since β is a well-defined mapping then β(α(s 1 )) = β(α(s )). Since β α is one-toone then s 1 = s. This shows that α is one-to-one. Example.5 Consider the two mappings α : N N defined by α(n) = n and β : N N defined by { n+1 if n is odd β(n) = n if n is even Show that α and β α are one-to-one but β is not. Since α(n 1 ) = α(n ) implies n 1 = n and this in turns implies that n 1 = n then α is one-to-one. Since β α = ι N and ι N is one-to-one then β α is one-to-one. The mapping β is not one-to-one since β(1) = β() with 1. Example.6 Let α : S T, β : T U, and γ : U V be three mappings such that γ (β α) and (γ β) α are well defined. Show that γ (β α) = (γ β) α Note first that the mappings γ (β α) and (γ β) α have the same codomain V. The following argument shows that γ (β α) and (γ β) α have the 4

same range. Let s be in S then [γ (β α)](s) = γ((β α)(s)) = γ(β(α(s))) = (γ β)(α(s)) = [(γ β) α](s) Invertible Mappings In this section we consider special kind of mappings which have the property that for each output value we can work our way backwards to find the unique input that produced it. Let α : S T and β : T S be two given mappings. Definition. We say that β is an inverse of α if and only if β α = ι S and α β = ι T. In this case we say that β is invertible. An invertible mapping has a unique inverse as shown in the next theorem. Theorem.3 If α : S T is invertible then its inverse is unique. Suppose that α 1 : T S and α : T S are two inverses of α. Then from Definition. we have α 1 α = α α = ι S and α α 1 = α α = ι T. We want to show that the mappings α 1 and α are equal. That is, we must show that α 1 (t) = α (t) for each t T. Indeed, Thus, α 1 = α. α 1 (t) = ι S (α 1 (t)) = (α α)((α 1 (t)) = α ((α α 1 )(t)) = α (ι T (t)) = α (t) Definition.3 We denote the unique inverse of a mapping α by α 1. 5

Example.7 Show that the mapping α in Example.1 is invertible and find its inverse. Solution The inverse of α is defined by α 1 (1) = y, α 1 () = x, α 1 (3) = z. One can easily check that α α 1 = ι T and α 1 α = ι S where S = {x, y, z} and T = {1,, 3}. Looking closely at the Venn diagram we see that α 1 is gotten by reversing the direction of the arrows under α. The following theorem characterizes those mappings that are invertible. Theorem.4 A mapping α : S T is invertible if and only if α is one-to-one and onto. Suppose first that α is invertible with inverse α 1 : T S. We will show that α is both one-to-one and onto. To see that α is one-to-one, we assume that α(s 1 ) = α(s ), where s 1, s S, and show that s 1 = s. Indeed, s 1 = ι S (s 1 ) = (α 1 α)(s 1 ) = α 1 (α(s 1 )) = α 1 (α(s )) = (α 1 α)(s ) = ι S (s ) = s Next, to show that α is onto we pick an arbitrary member t in T and show that there is an s in S such that α(s) = t. Indeed, since t is in T then t = ι T (t) = (α α 1 )(t) = α(α 1 (t)) = α(s) where s = α 1 (t) S. This shows that α is onto. Conversely, suppose that α is one-to-one and onto. We will find a mapping β : T S such that α β = ι T and β α = ι S. Let t T. Since α is onto then there is an element s S such that α(s) = t. s is unique, for if s S is such that α(s ) = t then α(s) = α(s ). But α is one-to-one so that s = s. Hence, for each t T there is a unique s S such that α(s) = t. Define β : T S by β(t) = s. Then β satisfies the following properties: and (α β)(t) = α(β(t)) = α(s) = t, t T (β α)(s) = β(α(s)) = β(t) = s, s S. That is, α β = ι T and β α = ι S. According to Definition., α is invertible 6

Example.8 Show that the function f : R R defined by f(x) = x is not invertible. Indeed, since f( 1) = f(1) and 1 1 then f is not one-to-one. Theorem.4, f can t be invertible. Example.9 Show that the function f(x) = x 3 is invertible and find a formula for the inverse. We have seen (See Example 1.13(a), Sec. 1.1) that f(x) = x 3 is one-to-one and onto so that it has an inverse. To find the inverse we proceed as follows: 1. Replace f(x) by y to obtain y = x 3.. Switch the letters x and y to obtain x = y 3. 3. Solve for y in terms of x to obtain y = 3 x. 4. Replace y by f 1 (x) to obtain f 1 (x) = 3 x. Theorem.5 Let α : S T and β : T U be two given mappings. (a) If α is invertible then α 1 is also invertible with (α 1 ) 1 = α. (b) If α and β are both invertible then β α is invertible with inverse (β α) 1 = α 1 β 1. (a) Suppose α is invertible with inverse α 1 : T S. Since α 1 α = ι S and α α 1 = ι T then by Definition., α 1 is invertible with inverse α. (b) Suppose α and β are invertible. Then α 1 α = ι S, β 1 β = α α 1 = ι T, and β β 1 = ι U. Thus, for any u U we have [(β α) (α 1 β 1 )](u) = [β (α α 1 ) β 1 ](u) = β (ι T (β 1 (u)) = (β β 1 )(u) = ι U (u) = u It follows that (β α) (α 1 β 1 ) = ι U. Similarly, one can show that (α 1 β 1 ) (β α) = ι S. By Definition., β α is invertible with inverse α 1 β 1. 7 By