39
MATH1131 Mathematics 1A Algebra UNSW Sydney Semester 1, 2017 Maike Massierer

MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

Embed Size (px)

Citation preview

Page 1: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

MATH1131 Mathematics 1A Algebra

UNSW Sydney Semester 1, 2017

Maike Massierer

Page 2: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

Chapter 4: Linear Equations and Matrices

Lecture 19: Deducing solubility from row-echelon formand solving systems with indeterminate right hand side

Page 3: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

Definition

a leading row is a nonzero row

a leading entry is the first nonzero entry in a leading row

a leading column is a column containing a leading entry

Page 4: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

Definition

a leading row is a nonzero row

a leading entry is the first nonzero entry in a leading row

a leading column is a column containing a leading entry

a leading variable is a variable xi represented by a leading column

Page 5: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

Definition

a leading row is a nonzero row

a leading entry is the first nonzero entry in a leading row

a leading column is a column containing a leading entry

a leading variable is a variable xi represented by a leading column

ExampleConsider the following matrix:

(

0 5 70 0 0

)

Row 1 is a leading row with leading entry 5.Row 2 is a non-leading row.Column 2 is a leading column but columns 1 and 3 are not.

Page 6: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

Definition

a leading row is a nonzero row

a leading entry is the first nonzero entry in a leading row

a leading column is a column containing a leading entry

a leading variable is a variable xi represented by a leading column

ExampleConsider the following matrix:

(

0 5 70 0 0

)

Row 1 is a leading row with leading entry 5.Row 2 is a non-leading row.Column 2 is a leading column but columns 1 and 3 are not.Suppose that x1, x2, x3 are the variables represented by the columns.Then x2 is a leading variable whereas x1 and x3 are not.

Page 7: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Page 8: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Note that

there is a unique solution if each column is leading.

there are infinitely many solutions ify is not a leading column and at least one variable is non-leading;these variables are the parameter variables for the solutions.

Page 9: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Note that

there is a unique solution if each column is leading.

there are infinitely many solutions ify is not a leading column and at least one variable is non-leading;these variables are the parameter variables for the solutions.

ExampleSuppose that

(U |y) =

(

1 −2 10 0 2

)

.

Page 10: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Note that

there is a unique solution if each column is leading.

there are infinitely many solutions ify is not a leading column and at least one variable is non-leading;these variables are the parameter variables for the solutions.

ExampleSuppose that

(U |y) =

(

1 −2 10 0 2

)

.

Here, y is leading, and there is no solution since 0x1 + 0x2 6= 2.

Page 11: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Note that

there is a unique solution if each column is leading.

there are infinitely many solutions ify is not a leading column and at least one variable is non-leading;these variables are the parameter variables for the solutions.

ExampleSuppose that

(U |y) =

(

1 −2 10 2 2

)

.

Page 12: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

ExampleSuppose that

(U |y) =

(

1 −2 10 2 2

)

.

Page 13: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

ExampleSuppose that

(U |y) =

(

1 −2 10 2 2

)

.

Here, both variables are leading (as are both rows and both columns of U).Row-reducing gives

(U ′|y′) =

(

1 0 30 1 1

)

so (x1, x2) = (3, 1) is the unique solution.

Page 14: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Note that

there is a unique solution if each column is leading.

there are infinitely many solutions ify is not a leading column and at least one variable is non-leading;these variables are the parameter variables for the solutions.

Example

Suppose that (U |y) =

(

1 −2 10 0 0

)

.

Page 15: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremIf (A|b) has a row-echelon form (U |y), then the system of equations has

0 solutions if y is a leading column

1 solution if each variable is leading

∞ solutions otherwise.

Note that

there is a unique solution if each column is leading.

there are infinitely many solutions ify is not a leading column and at least one variable is non-leading;these variables are the parameter variables for the solutions.

Example

Suppose that (U |y) =

(

1 −2 10 0 0

)

.

Here, x2 and y are non-leading, and the infinitely many solutions are

x =

(

x1

x2

)

=

(

1 + 2λλ

)

=

(

10

)

+ λ

(

21

)

, λ ∈ R .

Page 16: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

Page 17: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

Note that if Ax = b has

at least 1 solution for each b ∈ Rn, then n ≥ m.

at most 1 solution for each b ∈ Rn, then m ≥ n.

exactly 1 solution for each b ∈ Rn, then m = n.

Page 18: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

Example

Suppose that U =

(

1 −2 10 2 2

)

.

Page 19: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

Example

Suppose that U =

(

1 −2 10 2 2

)

.

Here, both rows of U are leading and column 3 is non-leading.

Page 20: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

Example

Suppose that U =

(

1 −2 10 2 2

)

.

Here, both rows of U are leading and column 3 is non-leading.For each b ∈ R

n, (A|b) can be transformed into (U |y) for some y ∈ R2

and further reduced to

(U ′|y′) =

(

1 0 3 y′1

0 1 1 y′2

)

.

Page 21: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

Example

Suppose that U =

(

1 −2 10 2 2

)

.

Here, both rows of U are leading and column 3 is non-leading.For each b ∈ R

n, (A|b) can be transformed into (U |y) for some y ∈ R2

and further reduced to

(U ′|y′) =

(

1 0 3 y′1

0 1 1 y′2

)

.

The system Ax = b thus has the infinite solutions

x =

(

x1

x2

)

=

(

y′1− 3λ

y′2− λ

)

=

(

y′1

y′2

)

+ λ

(

−3−1

)

, λ ∈ R .

Page 22: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

ExampleSuppose that

U =

1 00 10 0

.

Page 23: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

ExampleSuppose that

U =

1 00 10 0

.

For each b ∈ Rn, Ax = b either has a unique solution or no solution.

Page 24: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

ExampleSuppose that

U =

1 00 10 0

.

For each b ∈ Rn, Ax = b either has a unique solution or no solution.

ExampleSuppose that

U =

(

1 20 1

)

.

Page 25: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

TheoremLet A be an m×n matrix with a row-echelon form U . Then Ax = b has

at least 1 solution for each b∈Rn ⇔ all rows in U are leading

at most 1 solution for each b∈Rn ⇔ all columns in U are leading

exactly 1 solution for each b∈Rn ⇔ all rows/columns in U are leading

ExampleSuppose that

U =

1 00 10 0

.

For each b ∈ Rn, Ax = b either has a unique solution or no solution.

ExampleSuppose that

U =

(

1 20 1

)

.

Here, Ax = b has a unique solution for each b ∈ Rn.

Page 26: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

Page 27: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

(

2 3 b13 4 b2

)

Page 28: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

(

2 3 b13 4 b2

)

R2−3

2R1

−−−−−→

(

2 3 b10 −1

2−3

2b1 + b2

)

Page 29: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

(

2 3 b13 4 b2

)

R2−3

2R1

−−−−−→

(

2 3 b10 −1

2−3

2b1 + b2

)

R2=−2R2−−−−−→

(

2 3 b10 1 3b1 − 2b2

)

Page 30: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

(

2 3 b13 4 b2

)

R2−3

2R1

−−−−−→

(

2 3 b10 −1

2−3

2b1 + b2

)

R2=−2R2−−−−−→

(

2 3 b10 1 3b1 − 2b2

)

R1−3R2−−−−→

(

2 0 −8b1 + 6b20 1 3b1 − 2b2

)

Page 31: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

(

2 3 b13 4 b2

)

R2−3

2R1

−−−−−→

(

2 3 b10 −1

2−3

2b1 + b2

)

R2=−2R2−−−−−→

(

2 3 b10 1 3b1 − 2b2

)

R1−3R2−−−−→

(

2 0 −8b1 + 6b20 1 3b1 − 2b2

)

R1=1

2R1

−−−−−→

(

1 0 −4b1 + 3b20 1 3b1 − 2b2

)

Page 32: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleSolve the system of equations

2x1 + 3x2 = b13x1 + 4x2 = b2

(

2 3 b13 4 b2

)

R2−3

2R1

−−−−−→

(

2 3 b10 −1

2−3

2b1 + b2

)

R2=−2R2−−−−−→

(

2 3 b10 1 3b1 − 2b2

)

R1−3R2−−−−→

(

2 0 −8b1 + 6b20 1 3b1 − 2b2

)

R1=1

2R1

−−−−−→

(

1 0 −4b1 + 3b20 1 3b1 − 2b2

)

There is thus a unique solution:

x1 = −4b1 + 3b2x2 = 3b1 − 2b2

Page 33: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleFind conditions on b1, b2 for solutions to exist for the system

2x1 + 3x2 = b14x1 + 6x2 = b2

Find all solutions when they exist.

Page 34: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleFind conditions on b1, b2 for solutions to exist for the system

2x1 + 3x2 = b14x1 + 6x2 = b2

Find all solutions when they exist.

We have (

2 3 b14 6 b2

)

Page 35: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleFind conditions on b1, b2 for solutions to exist for the system

2x1 + 3x2 = b14x1 + 6x2 = b2

Find all solutions when they exist.

We have (

2 3 b14 6 b2

)

R2−2R1−−−−→

(

2 3 b10 0 b2 − 2b1

)

Page 36: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleFind conditions on b1, b2 for solutions to exist for the system

2x1 + 3x2 = b14x1 + 6x2 = b2

Find all solutions when they exist.

We have (

2 3 b14 6 b2

)

R2−2R1−−−−→

(

2 3 b10 0 b2 − 2b1

)

For solutions to exist, we must have b2 − 2b1 = 0.

Page 37: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExampleFind conditions on b1, b2 for solutions to exist for the system

2x1 + 3x2 = b14x1 + 6x2 = b2

Find all solutions when they exist.

We have (

2 3 b14 6 b2

)

R2−2R1−−−−→

(

2 3 b10 0 b2 − 2b1

)

For solutions to exist, we must have b2 − 2b1 = 0.When this is true, we have 2x1 + 3λ = b1, so the solutions are:

x =

(

x1

x2

)

=

(

1

2b1 −

3

λ

)

=

(

1

2b10

)

+ λ

(

−3

2

1

)

, λ ∈ R

Page 38: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExerciseFind conditions on b1, b2, b3, b4 for solutions to exist for the system

x1 − x2 = b12x1 + x2 = b23x1 − 3x2 = b34x1 − x2 = b4

Find all solutions when they exist.

Page 39: MATH1131 Mathematics 1A Algebraweb.maths.unsw.edu.au/.../math1131-alg-17s1/files/... · Definition a leadingrowis a nonzero row a leadingentryis the first nonzero entry in a leading

ExerciseFind conditions on b1, b2, b3, b4 for solutions to exist for the system

x1 − x2 = b12x1 + x2 = b23x1 − 3x2 = b34x1 − x2 = b4

Find all solutions when they exist.

1 −1 b12 1 b23 −3 b34 −1 b4

R4−4R1−−−−→

1 −1 b12 1 b23 −3 b30 3 b4 − 4b1

R3−3R1−−−−→

1 −1 b12 1 b20 0 b3 − 3b10 3 b4 − 4b1

R2−2R1−−−−→

1 −1 b10 3 b2 − 2b10 0 b3 − 3b10 3 b4 − 4b1

R4−R2−−−−→

1 −1 b10 3 b2 − 2b10 0 b3 − 3b10 0 b4 − b2 − 2b1

For solutions to exist, we must have b4 − b2 − 2b1 = 0 and b3 − 3b1 = 0.When this is true, the unique solution is (x1, x2) = (1

3(b1+b2),

1

3(b2−2b1)).