69
Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 1 / 21

Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Multilinear Algebra

Davis Shurbert

University of Puget Sound

April 17, 2014

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 1 / 21

Page 2: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Overview

1 BasicsMultilinearityDual Space

2 TensorsTensor ProductBasis of T p

q (V )

3 Component RepresentationKronecker ProductComponentsComparison

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 2 / 21

Page 3: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V 7→W , where V and W are vector spaces over a field F ,is linear if for all x , y in V and all α, β in F

f (αx + βy) = αf (x) + βf (y).

Definition

A function f : V × U 7→W , where V , U, and W are vector spaces over afield F , is bilinear if for all x , y in V and all α, β in F

f (αx1 + βx2, y) = αf (x1, y) + βf (x2, y), and

f (x , αy1 + βy2) = αf (x , y1) + βf (x , y2).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 3 / 21

Page 4: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V 7→W , where V and W are vector spaces over a field F ,is linear if for all x , y in V and all α, β in F

f (αx + βy) = αf (x) + βf (y).

Definition

A function f : V × U 7→W , where V , U, and W are vector spaces over afield F , is bilinear if for all x , y in V and all α, β in F

f (αx1 + βx2, y) = αf (x1, y) + βf (x2, y), and

f (x , αy1 + βy2) = αf (x , y1) + βf (x , y2).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 3 / 21

Page 5: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V 7→W , where V and W are vector spaces over a field F ,is linear if for all x , y in V and all α, β in F

f (αx + βy) = αf (x) + βf (y).

Definition

A function f : V × U 7→W , where V , U, and W are vector spaces over afield F , is bilinear if for all x , y in V and all α, β in F

f (αx1 + βx2, y) = αf (x1, y) + βf (x2, y), and

f (x , αy1 + βy2) = αf (x , y1) + βf (x , y2).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 3 / 21

Page 6: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V 7→W , where V and W are vector spaces over a field F ,is linear if for all x , y in V and all α, β in F

f (αx + βy) = αf (x) + βf (y).

Definition

A function f : V × U 7→W , where V , U, and W are vector spaces over afield F , is bilinear if for all x , y in V and all α, β in F

f (αx1 + βx2, y) = αf (x1, y) + βf (x2, y), and

f (x , αy1 + βy2) = αf (x , y1) + βf (x , y2).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 3 / 21

Page 7: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V 7→W , where V and W are vector spaces over a field F ,is linear if for all x , y in V and all α, β in F

f (αx + βy) = αf (x) + βf (y).

Definition

A function f : V × U 7→W , where V , U, and W are vector spaces over afield F , is bilinear if for all x , y in V and all α, β in F

f (αx1 + βx2, y) = αf (x1, y) + βf (x2, y), and

f (x , αy1 + βy2) = αf (x , y1) + βf (x , y2).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 3 / 21

Page 8: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V 7→W , where V and W are vector spaces over a field F ,is linear if for all x , y in V and all α, β in F

f (αx + βy) = αf (x) + βf (y).

Definition

A function f : V × U 7→W , where V , U, and W are vector spaces over afield F , is bilinear if for all x , y in V and all α, β in F

f (αx1 + βx2, y) = αf (x1, y) + βf (x2, y), and

f (x , αy1 + βy2) = αf (x , y1) + βf (x , y2).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 3 / 21

Page 9: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V1 × · · · × Vs 7→W , where {Vi}si=1 and W are vectorspaces over a field F , is s-linear if for all xi , yi in Vi and all α, β in F

f (v1, . . . , αxi + βyi , . . . , vs) =

αf (v1, . . . , xi , . . . , vs) + βf (v1, . . . , yi , . . . , vs),

for all indices i in {1, . . . , s}.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 4 / 21

Page 10: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V1 × · · · × Vs 7→W , where {Vi}si=1 and W are vectorspaces over a field F , is s-linear if for all xi , yi in Vi and all α, β in F

f (v1, . . . , αxi + βyi , . . . , vs) =

αf (v1, . . . , xi , . . . , vs) + βf (v1, . . . , yi , . . . , vs),

for all indices i in {1, . . . , s}.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 4 / 21

Page 11: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

Definition

A function f : V1 × · · · × Vs 7→W , where {Vi}si=1 and W are vectorspaces over a field F , is s-linear if for all xi , yi in Vi and all α, β in F

f (v1, . . . , αxi + βyi , . . . , vs) =

αf (v1, . . . , xi , . . . , vs) + βf (v1, . . . , yi , . . . , vs),

for all indices i in {1, . . . , s}.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 4 / 21

Page 12: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R.

Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 13: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R.

Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 14: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R.

Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 15: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R.

Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 16: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R. Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 17: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R. Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 18: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R. Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 19: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R. Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 20: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

Multilinear Functions

How do we test if a function f is linear?

Fix all inputs of f except the i th input, if f is linear as a function ofthis input, then f is multilinear.

In other words, define f̂i (x) = f (v1, . . . , vi−1, x , vi+1 . . . , vs) , then fis s-linear iff f̂i is linear for all i in {1, . . . , s}.

Example

We already know of a bilinear function from V × V 7→ R. Any innerproduct defined on V is such a function, as

〈αv1 + βv2, u〉 = α〈v1, u〉+ β〈v2, u〉, and

〈v , αu1 + βu2〉 = α〈v , u1〉+ β〈v , u2〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 5 / 21

Page 21: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

More Examples

Example

When treated as a function of the columns (or rows) of an n × n matrix,the determinant is n-linear.

Example

For any collection of vector spaces {Vi}si=1, and any collection of linearfunctions fi : Vi 7→ R, the function

f (v1, . . . vs) =s∏

i=1

(fi (vi ))

is s-linear.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 6 / 21

Page 22: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Multilinearity

More Examples

Example

When treated as a function of the columns (or rows) of an n × n matrix,the determinant is n-linear.

Example

For any collection of vector spaces {Vi}si=1, and any collection of linearfunctions fi : Vi 7→ R, the function

f (v1, . . . vs) =s∏

i=1

(fi (vi ))

is s-linear.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 6 / 21

Page 23: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

Fix a vector space V over R, where dim(V ) = N.

Consider the set of all linear functions f : V 7→ R, denoted L(V : R).

What does this set look like?

R is a vector space of dimension 1, so L(V : R) is the set of all lineartransformations from an N-dimensional vector space to a1-dimensional vector space.

We can thus represent every element of L(V : R) as a 1× N matrix,otherwise known as a row vector.

Definition

L(V : R) is the dual space of V , and is denoted V ∗.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 7 / 21

Page 24: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

Fix a vector space V over R, where dim(V ) = N.

Consider the set of all linear functions f : V 7→ R, denoted L(V : R).

What does this set look like?

R is a vector space of dimension 1, so L(V : R) is the set of all lineartransformations from an N-dimensional vector space to a1-dimensional vector space.

We can thus represent every element of L(V : R) as a 1× N matrix,otherwise known as a row vector.

Definition

L(V : R) is the dual space of V , and is denoted V ∗.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 7 / 21

Page 25: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

Fix a vector space V over R, where dim(V ) = N.

Consider the set of all linear functions f : V 7→ R, denoted L(V : R).

What does this set look like?

R is a vector space of dimension 1, so L(V : R) is the set of all lineartransformations from an N-dimensional vector space to a1-dimensional vector space.

We can thus represent every element of L(V : R) as a 1× N matrix,otherwise known as a row vector.

Definition

L(V : R) is the dual space of V , and is denoted V ∗.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 7 / 21

Page 26: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

Fix a vector space V over R, where dim(V ) = N.

Consider the set of all linear functions f : V 7→ R, denoted L(V : R).

What does this set look like?

R is a vector space of dimension 1, so L(V : R) is the set of all lineartransformations from an N-dimensional vector space to a1-dimensional vector space.

We can thus represent every element of L(V : R) as a 1× N matrix,otherwise known as a row vector.

Definition

L(V : R) is the dual space of V , and is denoted V ∗.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 7 / 21

Page 27: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

Fix a vector space V over R, where dim(V ) = N.

Consider the set of all linear functions f : V 7→ R, denoted L(V : R).

What does this set look like?

R is a vector space of dimension 1, so L(V : R) is the set of all lineartransformations from an N-dimensional vector space to a1-dimensional vector space.

We can thus represent every element of L(V : R) as a 1× N matrix,otherwise known as a row vector.

Definition

L(V : R) is the dual space of V , and is denoted V ∗.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 7 / 21

Page 28: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

Fix a vector space V over R, where dim(V ) = N.

Consider the set of all linear functions f : V 7→ R, denoted L(V : R).

What does this set look like?

R is a vector space of dimension 1, so L(V : R) is the set of all lineartransformations from an N-dimensional vector space to a1-dimensional vector space.

We can thus represent every element of L(V : R) as a 1× N matrix,otherwise known as a row vector.

Definition

L(V : R) is the dual space of V , and is denoted V ∗.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 7 / 21

Page 29: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

V ∗ ∼= V , as they are both vector spaces of dimension N.

v∗ denotes an arbitrary element of V ∗, rather than the conjugatetranspose of v ∈ V .

We keep this distinction in order to preserve generality.

Elements of V are vectors while elements of V ∗ are covectors

(V ∗)∗ is identical to V .

Notation: 〈v∗, v〉 denotes the value of v∗ evaluated at v . For ourpurposes, consider it the inner product of v and (v∗)T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 8 / 21

Page 30: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

V ∗ ∼= V , as they are both vector spaces of dimension N.

v∗ denotes an arbitrary element of V ∗, rather than the conjugatetranspose of v ∈ V .

We keep this distinction in order to preserve generality.

Elements of V are vectors while elements of V ∗ are covectors

(V ∗)∗ is identical to V .

Notation: 〈v∗, v〉 denotes the value of v∗ evaluated at v . For ourpurposes, consider it the inner product of v and (v∗)T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 8 / 21

Page 31: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

V ∗ ∼= V , as they are both vector spaces of dimension N.

v∗ denotes an arbitrary element of V ∗, rather than the conjugatetranspose of v ∈ V .

We keep this distinction in order to preserve generality.

Elements of V are vectors while elements of V ∗ are covectors

(V ∗)∗ is identical to V .

Notation: 〈v∗, v〉 denotes the value of v∗ evaluated at v . For ourpurposes, consider it the inner product of v and (v∗)T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 8 / 21

Page 32: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

V ∗ ∼= V , as they are both vector spaces of dimension N.

v∗ denotes an arbitrary element of V ∗, rather than the conjugatetranspose of v ∈ V .

We keep this distinction in order to preserve generality.

Elements of V are vectors while elements of V ∗ are covectors

(V ∗)∗ is identical to V .

Notation: 〈v∗, v〉 denotes the value of v∗ evaluated at v . For ourpurposes, consider it the inner product of v and (v∗)T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 8 / 21

Page 33: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

V ∗ ∼= V , as they are both vector spaces of dimension N.

v∗ denotes an arbitrary element of V ∗, rather than the conjugatetranspose of v ∈ V .

We keep this distinction in order to preserve generality.

Elements of V are vectors while elements of V ∗ are covectors

(V ∗)∗ is identical to V .

Notation: 〈v∗, v〉 denotes the value of v∗ evaluated at v . For ourpurposes, consider it the inner product of v and (v∗)T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 8 / 21

Page 34: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Basics Dual Space

Dual Space

V ∗ ∼= V , as they are both vector spaces of dimension N.

v∗ denotes an arbitrary element of V ∗, rather than the conjugatetranspose of v ∈ V .

We keep this distinction in order to preserve generality.

Elements of V are vectors while elements of V ∗ are covectors

(V ∗)∗ is identical to V .

Notation: 〈v∗, v〉 denotes the value of v∗ evaluated at v . For ourpurposes, consider it the inner product of v and (v∗)T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 8 / 21

Page 35: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors

Tensors

Definition

A tensor of order (p, q) is a (p + q)-linear map

T : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R.

We denote the set of all order (p, q) tensors on V as T pq (V )

T pq (V ) forms a vector space under natural operations, as the

cartesian product of n vector spaces over F forms a vector space overF × · · · × F .

T 01 (V ) = V ∗, T 1

0 (V ) = V , and T 11 (V ) ∼= L(V : V ).

That is, lower order tensors are the 1 and 2 dimensional arrays weusually work with.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 9 / 21

Page 36: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors

Tensors

Definition

A tensor of order (p, q) is a (p + q)-linear map

T : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R.

We denote the set of all order (p, q) tensors on V as T pq (V )

T pq (V ) forms a vector space under natural operations, as the

cartesian product of n vector spaces over F forms a vector space overF × · · · × F .

T 01 (V ) = V ∗, T 1

0 (V ) = V , and T 11 (V ) ∼= L(V : V ).

That is, lower order tensors are the 1 and 2 dimensional arrays weusually work with.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 9 / 21

Page 37: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors

Tensors

Definition

A tensor of order (p, q) is a (p + q)-linear map

T : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R.

We denote the set of all order (p, q) tensors on V as T pq (V )

T pq (V ) forms a vector space under natural operations, as the

cartesian product of n vector spaces over F forms a vector space overF × · · · × F .

T 01 (V ) = V ∗, T 1

0 (V ) = V , and T 11 (V ) ∼= L(V : V ).

That is, lower order tensors are the 1 and 2 dimensional arrays weusually work with.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 9 / 21

Page 38: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors

Tensors

Definition

A tensor of order (p, q) is a (p + q)-linear map

T : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R.

We denote the set of all order (p, q) tensors on V as T pq (V )

T pq (V ) forms a vector space under natural operations, as the

cartesian product of n vector spaces over F forms a vector space overF × · · · × F .

T 01 (V ) = V ∗, T 1

0 (V ) = V , and T 11 (V ) ∼= L(V : V ).

That is, lower order tensors are the 1 and 2 dimensional arrays weusually work with.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 9 / 21

Page 39: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

Given any two vectors v∗ ∈ V ∗ and v ∈ V , we can construct a tensor oforder (1, 1).

Example

Consider the function (v ⊗ v∗) : V ∗ × V 7→ R, defined as

(v ⊗ v∗)(u∗, u) = 〈u∗, v〉〈v∗, u〉

Recall that this is a special case of our earlier example, as (v ⊗ v∗) isthe product of two linear functions.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 10 / 21

Page 40: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

Given any two vectors v∗ ∈ V ∗ and v ∈ V , we can construct a tensor oforder (1, 1).

Example

Consider the function (v ⊗ v∗) : V ∗ × V 7→ R, defined as

(v ⊗ v∗)(u∗, u) = 〈u∗, v〉〈v∗, u〉

Recall that this is a special case of our earlier example, as (v ⊗ v∗) isthe product of two linear functions.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 10 / 21

Page 41: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

Given any two vectors v∗ ∈ V ∗ and v ∈ V , we can construct a tensor oforder (1, 1).

Example

Consider the function (v ⊗ v∗) : V ∗ × V 7→ R, defined as

(v ⊗ v∗)(u∗, u) = 〈u∗, v〉〈v∗, u〉

Recall that this is a special case of our earlier example, as (v ⊗ v∗) isthe product of two linear functions.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 10 / 21

Page 42: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

Given any two vectors v∗ ∈ V ∗ and v ∈ V , we can construct a tensor oforder (1, 1).

Example

Consider the function (v ⊗ v∗) : V ∗ × V 7→ R, defined as

(v ⊗ v∗)(u∗, u) = 〈u∗, v〉〈v∗, u〉

Recall that this is a special case of our earlier example, as (v ⊗ v∗) isthe product of two linear functions.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 10 / 21

Page 43: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

Given any two vectors v∗ ∈ V ∗ and v ∈ V , we can construct a tensor oforder (1, 1).

Example

Consider the function (v ⊗ v∗) : V ∗ × V 7→ R, defined as

(v ⊗ v∗)(u∗, u) = 〈u∗, v〉〈v∗, u〉

Recall that this is a special case of our earlier example, as (v ⊗ v∗) isthe product of two linear functions.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 10 / 21

Page 44: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

There is a very natural extension of the operator ⊗ to allow any number ofvectors and covectors.

Definition

For any collection of vectors {vi}pi=1, and vectors {v j}pj=1, their tensorproduct is the function

v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R,

defined as

(v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq)(u1, . . . up, u1, . . . uq)

= 〈u1, v1〉 · · · 〈up, vp〉〈v1, u1〉 · · · 〈vq, uq〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 11 / 21

Page 45: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

There is a very natural extension of the operator ⊗ to allow any number ofvectors and covectors.

Definition

For any collection of vectors {vi}pi=1, and vectors {v j}pj=1, their tensorproduct is the function

v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R,

defined as

(v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq)(u1, . . . up, u1, . . . uq)

= 〈u1, v1〉 · · · 〈up, vp〉〈v1, u1〉 · · · 〈vq, uq〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 11 / 21

Page 46: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

There is a very natural extension of the operator ⊗ to allow any number ofvectors and covectors.

Definition

For any collection of vectors {vi}pi=1, and vectors {v j}pj=1, their tensorproduct is the function

v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R,

defined as

(v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq)(u1, . . . up, u1, . . . uq)

= 〈u1, v1〉 · · · 〈up, vp〉〈v1, u1〉 · · · 〈vq, uq〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 11 / 21

Page 47: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Tensor Product

There is a very natural extension of the operator ⊗ to allow any number ofvectors and covectors.

Definition

For any collection of vectors {vi}pi=1, and vectors {v j}pj=1, their tensorproduct is the function

v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq : V ∗ × · · · × V ∗︸ ︷︷ ︸p times

×V × · · · × V︸ ︷︷ ︸q times

7→ R,

defined as

(v1 ⊗ · · · ⊗ vp ⊗ v1 ⊗ · · · ⊗ vq)(u1, . . . up, u1, . . . uq)

= 〈u1, v1〉 · · · 〈up, vp〉〈v1, u1〉 · · · 〈vq, uq〉

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 11 / 21

Page 48: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Tensors formed from the tensor product of vectors and covectors arecalled simple tensors.

In general, not all tensors are simple.

However, we can use simple tensors to build a basis of T pq (V ).

Theorem

For any basis of V , B = {ei}Ni=1, there exists a unique dual basis of V ∗

relative to B, denoted {e j}Nj=1 and defined as

〈e j , ei 〉 = δji =

{1, if i = j

0, if i 6= j.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 12 / 21

Page 49: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Tensors formed from the tensor product of vectors and covectors arecalled simple tensors.

In general, not all tensors are simple.

However, we can use simple tensors to build a basis of T pq (V ).

Theorem

For any basis of V , B = {ei}Ni=1, there exists a unique dual basis of V ∗

relative to B, denoted {e j}Nj=1 and defined as

〈e j , ei 〉 = δji =

{1, if i = j

0, if i 6= j.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 12 / 21

Page 50: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Tensors formed from the tensor product of vectors and covectors arecalled simple tensors.

In general, not all tensors are simple.

However, we can use simple tensors to build a basis of T pq (V ).

Theorem

For any basis of V , B = {ei}Ni=1, there exists a unique dual basis of V ∗

relative to B, denoted {e j}Nj=1 and defined as

〈e j , ei 〉 = δji =

{1, if i = j

0, if i 6= j.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 12 / 21

Page 51: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Tensors formed from the tensor product of vectors and covectors arecalled simple tensors.

In general, not all tensors are simple.

However, we can use simple tensors to build a basis of T pq (V ).

Theorem

For any basis of V , B = {ei}Ni=1, there exists a unique dual basis of V ∗

relative to B, denoted {e j}Nj=1 and defined as

〈e j , ei 〉 = δji =

{1, if i = j

0, if i 6= j.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 12 / 21

Page 52: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Theorem

For any basis {ei}Ni=1 of V , and the corresponding dual basis {e j}Nj=1 ofV ∗, the set of simple tensors

{ei1 ⊗ · · · ⊗ eip ⊗ e j1 ⊗ · · · ⊗ e jq}

for all combinations of {ik}pk=1 ∈ {1, . . . ,N} and {jz}qz=1 ∈ {1, . . . ,N},forms a basis of T p

q (V ).

The size of this basis is N(p+q).

Simplified proof in my paper, but our relation of linear dependence isnasty (p + q nested sums).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 13 / 21

Page 53: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Theorem

For any basis {ei}Ni=1 of V , and the corresponding dual basis {e j}Nj=1 ofV ∗, the set of simple tensors

{ei1 ⊗ · · · ⊗ eip ⊗ e j1 ⊗ · · · ⊗ e jq}

for all combinations of {ik}pk=1 ∈ {1, . . . ,N} and {jz}qz=1 ∈ {1, . . . ,N},forms a basis of T p

q (V ).

The size of this basis is N(p+q).

Simplified proof in my paper, but our relation of linear dependence isnasty (p + q nested sums).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 13 / 21

Page 54: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Tensors Basis of T pq (V )

Theorem

For any basis {ei}Ni=1 of V , and the corresponding dual basis {e j}Nj=1 ofV ∗, the set of simple tensors

{ei1 ⊗ · · · ⊗ eip ⊗ e j1 ⊗ · · · ⊗ e jq}

for all combinations of {ik}pk=1 ∈ {1, . . . ,N} and {jz}qz=1 ∈ {1, . . . ,N},forms a basis of T p

q (V ).

The size of this basis is N(p+q).

Simplified proof in my paper, but our relation of linear dependence isnasty (p + q nested sums).

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 13 / 21

Page 55: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Kronecker Product

Kronecker Product

Can we use this basis to find a component representation of tensors inT pq (V )?

Yes, but first...

Definition

For two matrices Am×n and Bp×q, the Kronecker product of A and B isdefined as

A⊗ B =

[A]1,1B [A]1,2B · · · [A]1,nB[A]2,1B [A]2,2B · · · [A]2,nB

......

. . ....

[A]m,1B [A]m,2B · · · [A]m,nB

Can be represented by 2-dimensional array, but we consider thisproduct to be a list of lists, table of lists, list of tables, table of tables,ect.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 14 / 21

Page 56: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Kronecker Product

Kronecker Product

Can we use this basis to find a component representation of tensors inT pq (V )? Yes, but first...

Definition

For two matrices Am×n and Bp×q, the Kronecker product of A and B isdefined as

A⊗ B =

[A]1,1B [A]1,2B · · · [A]1,nB[A]2,1B [A]2,2B · · · [A]2,nB

......

. . ....

[A]m,1B [A]m,2B · · · [A]m,nB

Can be represented by 2-dimensional array, but we consider thisproduct to be a list of lists, table of lists, list of tables, table of tables,ect.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 14 / 21

Page 57: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Kronecker Product

Kronecker Product

Can we use this basis to find a component representation of tensors inT pq (V )? Yes, but first...

Definition

For two matrices Am×n and Bp×q, the Kronecker product of A and B isdefined as

A⊗ B =

[A]1,1B [A]1,2B · · · [A]1,nB[A]2,1B [A]2,2B · · · [A]2,nB

......

. . ....

[A]m,1B [A]m,2B · · · [A]m,nB

Can be represented by 2-dimensional array, but we consider thisproduct to be a list of lists, table of lists, list of tables, table of tables,ect.

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 14 / 21

Page 58: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Components

Components as Basis Images

Definition

In general, we define the components of T ∈ T pq (V ) to be the

(p + q)-indexed scalars

Ai1,...,ipj1,...,jq

= A(e i1 , . . . , e ip , ej1 , . . . , ejq).

For vectors, this is exactly how we define components (〈v , ei 〉 = [v ]i ).

If T is a simple tensor, then the (p + q)-dimensional array formed by

Ai1,...,ipj1,...,jq

is equal to the Kronecker product of the vectors and covectorswhich make up T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 15 / 21

Page 59: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Components

Components as Basis Images

Definition

In general, we define the components of T ∈ T pq (V ) to be the

(p + q)-indexed scalars

Ai1,...,ipj1,...,jq

= A(e i1 , . . . , e ip , ej1 , . . . , ejq).

For vectors, this is exactly how we define components (〈v , ei 〉 = [v ]i ).

If T is a simple tensor, then the (p + q)-dimensional array formed by

Ai1,...,ipj1,...,jq

is equal to the Kronecker product of the vectors and covectorswhich make up T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 15 / 21

Page 60: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Components

Components as Basis Images

Definition

In general, we define the components of T ∈ T pq (V ) to be the

(p + q)-indexed scalars

Ai1,...,ipj1,...,jq

= A(e i1 , . . . , e ip , ej1 , . . . , ejq).

For vectors, this is exactly how we define components (〈v , ei 〉 = [v ]i ).

If T is a simple tensor, then the (p + q)-dimensional array formed by

Ai1,...,ipj1,...,jq

is equal to the Kronecker product of the vectors and covectorswhich make up T .

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 15 / 21

Page 61: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

Example

For V = R2, consider the vectors u =

[11

], v∗ =

[2 1

], and

w∗ =[

1 3]. Let A = u ⊗ v∗ ⊗ w∗ and consider

A1,11 = A(e1, e1, e1)

= 〈[

1 0],

[11

]〉〈[

2 1],

[10

]〉〈[

1 3],

[10

]〉

= 2

A2,11 = A(e1, e2, e1) = 1

A1,21 = A(e1, e1, e2) = 6

...

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 16 / 21

Page 62: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

Example

For V = R2, consider the vectors u =

[11

], v∗ =

[2 1

], and

w∗ =[

1 3]. Let A = u ⊗ v∗ ⊗ w∗ and consider

A1,11 = A(e1, e1, e1)

= 〈[

1 0],

[11

]〉〈[

2 1],

[10

]〉〈[

1 3],

[10

]〉

= 2

A2,11 = A(e1, e2, e1) = 1

A1,21 = A(e1, e1, e2) = 6

...

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 16 / 21

Page 63: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

Example

Or, we can take the Kronecker product u ⊗ v∗ ⊗ w∗ to get

u ⊗ v∗ ⊗ w∗ =

[11

]⊗[

2 1]⊗[

1 3]

=

[2 12 1

]⊗[

1 3]

=

[2[

1 3]

1[

1 3]

2[

1 3]

1[

1 3] ]

=

[ [2 6

] [1 3

][2 6

] [1 3

] ] ,

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 17 / 21

Page 64: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

Example

Or, we can take the Kronecker product u ⊗ v∗ ⊗ w∗ to get

u ⊗ v∗ ⊗ w∗ =

[11

]⊗[

2 1]⊗[

1 3]

=

[2 12 1

]⊗[

1 3]

=

[2[

1 3]

1[

1 3]

2[

1 3]

1[

1 3] ]

=

[ [2 6

] [1 3

][2 6

] [1 3

] ] ,

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 17 / 21

Page 65: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

Either way, we get

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 18 / 21

Page 66: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

Either way, we get

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 18 / 21

Page 67: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

References

1. INTRODUCTION TO VECTORS AND TENSORS, Linear andMultilinear Algebra, Volume 1. Ray M. Bowen, C.-C. Wang. Updated2010. (Freely available at: http://repository.tamu.edu/bitstream/handle/1969.1/2502/IntroductionToVectorsAndTensorsVol1.pdf?s..)

2. Matrix Analysis for Scientists and Engineers, Alan J. Laub. (Relevantchapter at http://www.siam.org/books/textbooks/OT91sample.pdf)

3. Notes on Tensor Products and the Exterior Algebra, K. Purbhoo.Updated 2008 (Lecture notes, available athttp://www.math.uwaterloo.ca/ kpurbhoo/spring2012-math245/tensor.pdf)

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 19 / 21

Page 68: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

4. Linear Algebra via Exterior Products. Sergei Winitzki. Copyright 2002.

5. Tensor Spaces and Exterior Algebra. Takeo Yokonuma. English versiontranslated 1991.

7. Multilinear Algebra. Werner Greub. Springer, updated 2013.

8. Eigenvalues of the Adjacency Tensor on Products of Hypergraphs.Kelly J. Pearson, Tan Zhang. October, 2012 http://www.m-hikari.com/ijcms/ijcms-2013/1-4-2013/pearsonIJCMS1-4-2013.pdf

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 20 / 21

Page 69: Multilinear Algebrabuzzard.ups.edu/courses/...2014-shurbert-multilinear-algebra-present.pdf · Multilinear Algebra Davis Shurbert University of Puget Sound April 17, 2014 Davis Shurbert

Component Representation Comparison

The End

Davis Shurbert (UPS) Multilinear Algebra April 17, 2014 21 / 21