intersection and sum of subspacesseaver-faculty.pepperdine.edu/dstrong/linear... · intersection...

49
Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17, 2019

Upload: others

Post on 31-Mar-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Intersection and Sum of Subspaces

Connor Ahlbach

University of Washington, Seattle

January 17, 2019

Page 2: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Outline

I Intersecting Subspaces and Relation Form

I Summing Subspaces

I Favorite Problems

I Complements and Projection Maps

Page 3: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Outline

I Intersecting Subspaces and Relation Form

I Summing Subspaces

I Favorite Problems

I Complements and Projection Maps

Page 4: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Outline

I Intersecting Subspaces and Relation Form

I Summing Subspaces

I Favorite Problems

I Complements and Projection Maps

Page 5: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Outline

I Intersecting Subspaces and Relation Form

I Summing Subspaces

I Favorite Problems

I Complements and Projection Maps

Page 6: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why?

I Subspaces interact with other subspaces!

I Better understanding of subspaces

I Gives rise to interesting problems

I Preparation for more advanced STEM fields

Page 7: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why?

I Subspaces interact with other subspaces!

I Better understanding of subspaces

I Gives rise to interesting problems

I Preparation for more advanced STEM fields

Page 8: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why?

I Subspaces interact with other subspaces!

I Better understanding of subspaces

I Gives rise to interesting problems

I Preparation for more advanced STEM fields

Page 9: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why?

I Subspaces interact with other subspaces!

I Better understanding of subspaces

I Gives rise to interesting problems

I Preparation for more advanced STEM fields

Page 10: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Intersection Problem

I The intersection of two subspaces of Rn is another subspace ofRn.

I Consider

S1 = span

100

,0

10

, S2 = span

123

,6

45

.

I Problem: Find a basis for S1 ∩ S2.

Page 11: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Intersection Problem

I The intersection of two subspaces of Rn is another subspace ofRn.

I Consider

S1 = span

100

,0

10

, S2 = span

123

,6

45

.

I Problem: Find a basis for S1 ∩ S2.

Page 12: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Intersection Problem

I The intersection of two subspaces of Rn is another subspace ofRn.

I Consider

S1 = span

100

,0

10

, S2 = span

123

,6

45

.

I Problem: Find a basis for S1 ∩ S2.

Page 13: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Relation Form

I Change to relation form

S1 = span

100

,0

10

=

x1x2x3

∣∣∣∣∣∣x3 = 0

,

S2 = span

123

,6

45

=

x1x2x3

∣∣∣∣∣∣2x1 − 13x2 + 8x3 = 0

.

I Therefore,

S1 ∩ S2 =

x1x2x3

∣∣∣∣∣∣2x1 − 13x2 + 8x3 = 0, x3 = 0

.

Page 14: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Relation Form

I Change to relation form

S1 = span

100

,0

10

=

x1x2x3

∣∣∣∣∣∣x3 = 0

,

S2 = span

123

,6

45

=

x1x2x3

∣∣∣∣∣∣2x1 − 13x2 + 8x3 = 0

.

I Therefore,

S1 ∩ S2 =

x1x2x3

∣∣∣∣∣∣2x1 − 13x2 + 8x3 = 0, x3 = 0

.

Page 15: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Relation Form to Span form

I To find S1 ∩ S2, we solve 2x1 − 13x2 + 8x3 = 0, x3 = 0:[2 −13 8 00 0 1 0

]∼[

1 −132 0 0

0 0 1 0

],

so x2 is free, x1 = 132 x2, x3 = 0.

I Thus,

S1 ∩ S2 =

13

2 x2x20

= span

13210

.

I Solving a linear system is converting from relation form to spanform.

Page 16: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Relation Form to Span form

I To find S1 ∩ S2, we solve 2x1 − 13x2 + 8x3 = 0, x3 = 0:[2 −13 8 00 0 1 0

]∼[

1 −132 0 0

0 0 1 0

],

so x2 is free, x1 = 132 x2, x3 = 0.

I Thus,

S1 ∩ S2 =

13

2 x2x20

= span

13210

.

I Solving a linear system is converting from relation form to spanform.

Page 17: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Span form to relation form

I How did we find

span

123

,6

45

=

x1x2x3

∣∣∣∣∣∣2x1 − 13x2 + 8x3 = 0

?

I We have

x1x2x3

∈ span

123

,6

45

when

1 6 x12 4 x23 5 x3

∼1 6 x1

0 −8 −2x1 + x20 0 2x1 − 13x2 + 8x3

has a solution, which is when 2x1 − 13x2 + 8x3 = 0.

Page 18: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Span form to relation form

I How did we find

span

123

,6

45

=

x1x2x3

∣∣∣∣∣∣2x1 − 13x2 + 8x3 = 0

?

I We have

x1x2x3

∈ span

123

,6

45

when

1 6 x12 4 x23 5 x3

∼1 6 x1

0 −8 −2x1 + x20 0 2x1 − 13x2 + 8x3

has a solution, which is when 2x1 − 13x2 + 8x3 = 0.

Page 19: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why relation form?

I Easy to intersect subspaces

I Easy to test if an element lies in the subspace

I Many subspaces come expressed in relation form

I Disadvantage: Hard to say what the elements of the subspacelook like.

Page 20: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why relation form?

I Easy to intersect subspaces

I Easy to test if an element lies in the subspace

I Many subspaces come expressed in relation form

I Disadvantage: Hard to say what the elements of the subspacelook like.

Page 21: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why relation form?

I Easy to intersect subspaces

I Easy to test if an element lies in the subspace

I Many subspaces come expressed in relation form

I Disadvantage: Hard to say what the elements of the subspacelook like.

Page 22: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why relation form?

I Easy to intersect subspaces

I Easy to test if an element lies in the subspace

I Many subspaces come expressed in relation form

I Disadvantage: Hard to say what the elements of the subspacelook like.

Page 23: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Multi-augmented matrices

I Let augmented columns denote coefficients of each variable:

x1 x2 x3 x1 x2 x31 6 1 0 02 4 0 1 03 5 0 0 1

∼1 6 1 0 0

0 −8 −2 1 00 0 2 −13 8

I This is a great way to understand finding inverses. If

T : R2 → R2 with [T ] =

[1 23 4

], then

T

([x1x2

])=

[y1y2

]=⇒

[1 2 1 03 4 0 1

]∼[

1 0 −2 10 1 3

2 −12

],

so [T−1] =

[−2 132 −1

2

].

Page 24: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Multi-augmented matrices

I Let augmented columns denote coefficients of each variable:

x1 x2 x3 x1 x2 x31 6 1 0 02 4 0 1 03 5 0 0 1

∼1 6 1 0 0

0 −8 −2 1 00 0 2 −13 8

I This is a great way to understand finding inverses. If

T : R2 → R2 with [T ] =

[1 23 4

], then

T

([x1x2

])=

[y1y2

]=⇒

[1 2 1 03 4 0 1

]∼[

1 0 −2 10 1 3

2 −12

],

so [T−1] =

[−2 132 −1

2

].

Page 25: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why intersect?

I Question: Suppose (~u1, . . . , ~uk) and (~v1, . . . , ~vm) are linearlyindependent in Rn. In terms of

S1 = span(~u1, . . . , ~uk), S2 = span(~v1, . . . , ~vm),

when is (~u1, . . . , ~uk , ~v1, . . . , ~vm) linearly independent?

I Answer: (~u1, . . . , ~uk , ~v1, . . . , ~vm) is linearly independent if andonly if S1 ∩ S2 = {~0}. (Good proof question for students)

I For matrices A,B, ker

([AB

])= ker(A) ∩ ker(B).

Page 26: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why intersect?

I Question: Suppose (~u1, . . . , ~uk) and (~v1, . . . , ~vm) are linearlyindependent in Rn. In terms of

S1 = span(~u1, . . . , ~uk), S2 = span(~v1, . . . , ~vm),

when is (~u1, . . . , ~uk , ~v1, . . . , ~vm) linearly independent?

I Answer: (~u1, . . . , ~uk , ~v1, . . . , ~vm) is linearly independent if andonly if S1 ∩ S2 = {~0}. (Good proof question for students)

I For matrices A,B, ker

([AB

])= ker(A) ∩ ker(B).

Page 27: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Why intersect?

I Question: Suppose (~u1, . . . , ~uk) and (~v1, . . . , ~vm) are linearlyindependent in Rn. In terms of

S1 = span(~u1, . . . , ~uk), S2 = span(~v1, . . . , ~vm),

when is (~u1, . . . , ~uk , ~v1, . . . , ~vm) linearly independent?

I Answer: (~u1, . . . , ~uk , ~v1, . . . , ~vm) is linearly independent if andonly if S1 ∩ S2 = {~0}. (Good proof question for students)

I For matrices A,B, ker

([AB

])= ker(A) ∩ ker(B).

Page 28: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Unioning Subspaces

I The union of two subpaces need not be a subspace:

span

([10

])∪ span

([01

])=

{[x1x2

]∣∣∣∣x1 = 0, or x2 = 0

}.

I Want an analog of union for subspaces: sum. For subspacesS1,S2, let S1 + S2 denote the smallest subspace containing S1and S2.

Page 29: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Unioning Subspaces

I The union of two subpaces need not be a subspace:

span

([10

])∪ span

([01

])=

{[x1x2

]∣∣∣∣x1 = 0, or x2 = 0

}.

I Want an analog of union for subspaces: sum. For subspacesS1,S2, let S1 + S2 denote the smallest subspace containing S1and S2.

Page 30: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Summing Subspaces

I For subspaces S1, S2,

S1 + S2 = {~x + ~y | ~x ∈ S1, ~y ∈ S2}.

I Summing is easy in span form:

span(~u1, . . . , ~uk)+span(~v1, . . . , ~vm) = span(~u1, . . . , ~uk , ~v1, . . . , ~vm).

I range([A B

]) = range(A) + range(B).

Page 31: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Summing Subspaces

I For subspaces S1, S2,

S1 + S2 = {~x + ~y | ~x ∈ S1, ~y ∈ S2}.

I Summing is easy in span form:

span(~u1, . . . , ~uk)+span(~v1, . . . , ~vm) = span(~u1, . . . , ~uk , ~v1, . . . , ~vm).

I range([A B

]) = range(A) + range(B).

Page 32: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Summing Subspaces

I For subspaces S1, S2,

S1 + S2 = {~x + ~y | ~x ∈ S1, ~y ∈ S2}.

I Summing is easy in span form:

span(~u1, . . . , ~uk)+span(~v1, . . . , ~vm) = span(~u1, . . . , ~uk , ~v1, . . . , ~vm).

I range([A B

]) = range(A) + range(B).

Page 33: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Dimension Formula

I For subspaces S1, S2,

dim(S1 + S2) = dim(S1) + dim(S2)− dim(S1 ∩ S2).

I Analog of |X ∪ Y | = |X |+ |Y | − |X ∩ Y |.

I Proof outline:

(i) Prove S1 ∩ S2 = {~0} case first.(ii) Extending a basis of S1 ∩ S2 to S1 lets us write

S1 = (S1 ∩ S2) + V , with V ∩ S2 = {0}.

(iii) Since V ∩ S2 = {~0}, we can apply the formula.

Page 34: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Dimension Formula

I For subspaces S1, S2,

dim(S1 + S2) = dim(S1) + dim(S2)− dim(S1 ∩ S2).

I Analog of |X ∪ Y | = |X |+ |Y | − |X ∩ Y |.

I Proof outline:

(i) Prove S1 ∩ S2 = {~0} case first.(ii) Extending a basis of S1 ∩ S2 to S1 lets us write

S1 = (S1 ∩ S2) + V , with V ∩ S2 = {0}.

(iii) Since V ∩ S2 = {~0}, we can apply the formula.

Page 35: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Favorite Problems

I Find a linear map T : R3 → R with

ker(T ) =

x1x2x3

∣∣∣∣∣∣x1 + 4x2 + 3x3 = 0

.

I Suppose (~u1, . . . , ~uk) is linearly independent in S1,~w1, . . . , ~wk ∈ S2, and S1 ∩ S2 = {~0}. Show that

(~u1 + ~w1, . . . , ~uk + ~wk) is linearly independent.

I Suppose S1 ∩ S2 = {~0}. Show that every ~v ∈ S1 + S2 can bewritten as ~v = ~x + ~y for some unique ~x ∈ S1 and ~y ∈ S2.

Page 36: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Challenge Problem

Suppose subspaces S1, . . . ,Sk have bases B1, . . . ,Bk , respectively.Show that the following are equivalent:

1. If ~v1 + · · ·+ ~vk = ~0 with ~v1 ∈ S1, . . . , ~vk ∈ Sk , then~v1 = 0, . . . , ~vk = 0.

2. Every ~x ∈ S1 + · · ·+ Sk can be written as ~x = ~v1 + · · ·+ ~vkwith ~v1 ∈ S1, . . . , ~vk ∈ Sk in a unique way.

3. B1 ∪ · · · ∪ Bk is linearly independent.

4. dim(S1 + · · ·+ Sk) = dim(S1) + · · ·+ dim(Sk).

5. Si ∩ (S1 + · · ·+ Si−1 + Si+1 + · · ·+ Sk) = {~0} for alli = 1, . . . , k .

These are properties of eigenspaces of a linear map.

Page 37: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Challenge Problem

Suppose subspaces S1, . . . ,Sk have bases B1, . . . ,Bk , respectively.Show that the following are equivalent:

1. If ~v1 + · · ·+ ~vk = ~0 with ~v1 ∈ S1, . . . , ~vk ∈ Sk , then~v1 = 0, . . . , ~vk = 0.

2. Every ~x ∈ S1 + · · ·+ Sk can be written as ~x = ~v1 + · · ·+ ~vkwith ~v1 ∈ S1, . . . , ~vk ∈ Sk in a unique way.

3. B1 ∪ · · · ∪ Bk is linearly independent.

4. dim(S1 + · · ·+ Sk) = dim(S1) + · · ·+ dim(Sk).

5. Si ∩ (S1 + · · ·+ Si−1 + Si+1 + · · ·+ Sk) = {~0} for alli = 1, . . . , k .

These are properties of eigenspaces of a linear map.

Page 38: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Complementary Subspaces

I Two sets X ,Y are complementary in a universe U is

X ∪ Y = U, X ∩ Y = ∅.

I Subspaces S1,S2 of Rn are complementary if

S1 + S2 = Rn, S1 ∩ S2 = {~0}.

I When we transition to subspaces, complements lose uniquess.For example, any two different lines through ~0 in R2 arecomplementary.

Page 39: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Complementary Subspaces

I Two sets X ,Y are complementary in a universe U is

X ∪ Y = U, X ∩ Y = ∅.

I Subspaces S1,S2 of Rn are complementary if

S1 + S2 = Rn, S1 ∩ S2 = {~0}.

I When we transition to subspaces, complements lose uniquess.For example, any two different lines through ~0 in R2 arecomplementary.

Page 40: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Complementary Subspaces

I Two sets X ,Y are complementary in a universe U is

X ∪ Y = U, X ∩ Y = ∅.

I Subspaces S1,S2 of Rn are complementary if

S1 + S2 = Rn, S1 ∩ S2 = {~0}.

I When we transition to subspaces, complements lose uniquess.For example, any two different lines through ~0 in R2 arecomplementary.

Page 41: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Complement Decomposition and Projections

I If S1,S2 are complementary subspaces of Rn, then every~v ∈ Rn can be written as

~v = ~x + ~y

for some unique ~x ∈ S1, ~y ∈ S2.

I We can then define the projection map πS1,S2 : Rn → S1 by

πS1,S2(~x + ~y) = ~x for all ~x ∈ S1, ~y ∈ S2.

Page 42: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Complement Decomposition and Projections

I If S1,S2 are complementary subspaces of Rn, then every~v ∈ Rn can be written as

~v = ~x + ~y

for some unique ~x ∈ S1, ~y ∈ S2.

I We can then define the projection map πS1,S2 : Rn → S1 by

πS1,S2(~x + ~y) = ~x for all ~x ∈ S1, ~y ∈ S2.

Page 43: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Properties of Projections

For complementary subspaces S1,S2 of Rn, the projectionπS1,S2 : Rn → S1 satisfies

I πS1,S2 is linear.

I range(πS1,S2) = S1,

I ker(πS1,S2) = S2.

I πS1,S2(~x) = ~x for all ~x ∈ S1.

I π2S1,S2 = πS1,S2 .

Page 44: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Properties of Projections

For complementary subspaces S1,S2 of Rn, the projectionπS1,S2 : Rn → S1 satisfies

I πS1,S2 is linear.

I range(πS1,S2) = S1,

I ker(πS1,S2) = S2.

I πS1,S2(~x) = ~x for all ~x ∈ S1.

I π2S1,S2 = πS1,S2 .

Page 45: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Properties of Projections

For complementary subspaces S1,S2 of Rn, the projectionπS1,S2 : Rn → S1 satisfies

I πS1,S2 is linear.

I range(πS1,S2) = S1,

I ker(πS1,S2) = S2.

I πS1,S2(~x) = ~x for all ~x ∈ S1.

I π2S1,S2 = πS1,S2 .

Page 46: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Favorite Problems

I If S1,S2 ⊆ Rn are complementary subspaces, andT1 : S1 → Rm,T2 : S2 → Rm are linear maps, then there existsa unique linear map T : Rn → Rm so that

T |S1= T1,T |S2= T2.

I If P : Rn → Rn is linear with P2 = P, then P is a projectionmap.

I For any subspace S and complementary subspaces S1,S2,

πS1,S2(S) = (S + S2) ∩ S1,

π−1S1,S2

(S) = (S ∩ S1) + S2.

Page 47: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Conclusion

I The operations of sum and intersection show that subspacesinteract in interesting and useful ways and gives rise to goodproblems.

I If you only have time to include one new idea, introducerelation form and converting between relation and span form.

I For more details and problems, seehttps://sites.math.washington.edu/∼ahlbach/linaltextbook/

I [email protected]

Page 48: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Conclusion

I The operations of sum and intersection show that subspacesinteract in interesting and useful ways and gives rise to goodproblems.

I If you only have time to include one new idea, introducerelation form and converting between relation and span form.

I For more details and problems, seehttps://sites.math.washington.edu/∼ahlbach/linaltextbook/

I [email protected]

Page 49: Intersection and Sum of Subspacesseaver-faculty.pepperdine.edu/dstrong/Linear... · Intersection and Sum of Subspaces Connor Ahlbach University of Washington, Seattle January 17,

Conclusion

I The operations of sum and intersection show that subspacesinteract in interesting and useful ways and gives rise to goodproblems.

I If you only have time to include one new idea, introducerelation form and converting between relation and span form.

I For more details and problems, seehttps://sites.math.washington.edu/∼ahlbach/linaltextbook/

I [email protected]