Fill in the blanks to complete the proof:Recall that permutations are defined as bijections on a set X. In order to show that the two permutations στ and τσ are equal, it’s enough to show that they are the same function. In other words, we just need to show that στ (x) = < 1 > for all x ∈ X. We’ll define A = {a1, a2, . . . , aj} and B = {b1, b2, . . . , bk}. By hypothesis A and B are disjoint, so A < 2 > B = < 3 > . Given an arbitrary x ∈ X, there are three possibilities: (i) x ∈ A and x /∈ B; (ii) x ∈ < 4 > and x /∈ < 6 > ; (iii) x /∈ < 7 > and x /∈ < 8 > . (i) In this case, since x /∈ B it follows that τ (x) = x. We then have στ (x) = σ(τ (x)) = σ(x). Furthermore, since x ∈ A it follows that σ(x) ∈ A, so σ(x) ∈/ B. We then have τσ(x) = τ (σ(x)) = σ(x). It follows that στ (x) = τσ(x). (ii) In this case, since x /∈ < 9 > it follows that < 10 > (x) = x. We then have τσ(x) = < 11 > = < 12 > (x). Furthermore, since x ∈ < 13 > it follows that < 14 > (x) ∈ < 15 > , so < 16 > (x) ∈/ < 17 > . We then have στ (x) = < 18 > = < 19 > (x). It follows that στ (x) = τσ(x). (iii) In this case, since x /∈ A it follows that < 20 > (x) = x. Similarly since x /∈ < 21 > it follows that < 22 > (x) = x.We then have τσ(x) = < 23 > and στ (x) = < 24 > . It follows that στ (x) = τσ(x). In all three cases we have στ (x) = < 25 > , so therefore στ = τσ   The blanks are the spots with numbers surrounded by these symbols < >

Linear Algebra: A Modern Introduction
4th Edition
ISBN:9781285463247
Author:David Poole
Publisher:David Poole
Chapter7: Distance And Approximation
Section7.1: Inner Product Spaces
Problem 1BEXP
icon
Related questions
Question
100%

Fill in the blanks to complete the proof:
Recall that permutations are defined as bijections on a set X. In order to show that the two permutations στ and τσ are equal, it’s enough to show that they are the same function. In other words, we just need to show that στ (x) = < 1 > for all x ∈ X.


We’ll define A = {a1, a2, . . . , aj} and B = {b1, b2, . . . , bk}. By hypothesis A and B are disjoint, so A < 2 > B = < 3 > . Given an arbitrary x ∈ X, there are three possibilities: (i) x ∈ A and x /∈ B; (ii) x ∈ < 4 > and x /∈ < 6 > ; (iii) x /∈ < 7 > and x /∈ < 8 > .


(i) In this case, since x /∈ B it follows that τ (x) = x. We then have στ (x) = σ(τ (x)) = σ(x). Furthermore, since x ∈ A it follows that σ(x) ∈ A, so σ(x) ∈/ B. We then have τσ(x) = τ (σ(x)) = σ(x). It follows that στ (x) = τσ(x).


(ii) In this case, since x /∈ < 9 > it follows that < 10 > (x) = x. We then have τσ(x) = < 11 > = < 12 > (x). Furthermore, since x ∈ < 13 > it follows that < 14 > (x) ∈ < 15 > , so < 16 > (x) ∈/ < 17 > . We then have στ (x) = < 18 > = < 19 > (x). It follows that στ (x) = τσ(x).


(iii) In this case, since x /∈ A it follows that < 20 > (x) = x. Similarly since x /∈ < 21 > it follows that < 22 > (x) = x.We then have τσ(x) = < 23 > and στ (x) = < 24 > . It follows that στ (x) = τσ(x). In all three cases we have στ (x) = < 25 > , so therefore στ = τσ

 

The blanks are the spots with numbers surrounded by these symbols < >

Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Big Ideas Math A Bridge To Success Algebra 1: Stu…
Big Ideas Math A Bridge To Success Algebra 1: Stu…
Algebra
ISBN:
9781680331141
Author:
HOUGHTON MIFFLIN HARCOURT
Publisher:
Houghton Mifflin Harcourt
College Algebra
College Algebra
Algebra
ISBN:
9781938168383
Author:
Jay Abramson
Publisher:
OpenStax
Holt Mcdougal Larson Pre-algebra: Student Edition…
Holt Mcdougal Larson Pre-algebra: Student Edition…
Algebra
ISBN:
9780547587776
Author:
HOLT MCDOUGAL
Publisher:
HOLT MCDOUGAL