Groups, Fields and Vector Spaces
-
Upload
f1tatemush -
Category
Documents
-
view
229 -
download
1
Transcript of Groups, Fields and Vector Spaces
-
8/13/2019 Groups, Fields and Vector Spaces
1/46
Class Notes For Advanced EngineeringMathematics I
(ENM510)
Michael A. Carchidi
September 20, 2010
Chapter 2 - Groups, Fields and Linear Vector Spaces
The following notes are written by Dr. Michael A. Carchidi at the Universityof Pennsylvania for the purpose of teaching the contents covered in the ENM510- Advanced Engineering Mathematics I Course.
2.1 Binary Operations and Groups
LetG be a set of elements and let G G be the set of all ordered pairs fromG, i.e.,
G G= {(x, y) |x G and y G}.Abinary operation defined onG is a rule that takes an element,(x, y),ofGGas input and returns an element, z, ofG as output. We write this operation asz= x y and this is shown schematically in the following diagram.
(x, y) (z= x y).
In other words, a binary operation on a set G is just a mapping from GG toG, i.e.,
T :G G G such that T(x, y) =x y.Note that by definition a set is always closed under a binary operation definedon the set, which means for any x andy, in G, x y is also in G. For example,
-
8/13/2019 Groups, Fields and Vector Spaces
2/46
division would not be a binary operation defined on the positive integers (Z+)
since a b
is not necessarily a positive integer, i.e., 2 3 / Z+. On the other hand multipli-cation would be a binary operation defined on the positive integers (Z+) since
a b
is a positive integer.
Note that a binary operation defined on a set G can also be viewed as a rulethat takes two elements ofG (in some order) as input and provides some element
ofG as output. Note that order is important since, in general,a b6=b a, i.e.,236= 3 2.
LetG be a set of elements with a binary operation defined onG and denotedby . The set G together with this binary operation is called a group, and isdenoted byhG, i, if the following 3 properties hold.
a.) For alla,b and c in G, it is true that (a b) c=a (b c), i.e., the binaryoperation isassociative.
b.) There exist an element inGcalled theidentity(and denoted bye) such that
a e= e a= a for all a inG.c.) For each a in G, there exist its inverse in G (denoted by a0) such that
a a0 =a0 a= e.
Note that the property of commutation (i.e., a b= b a) need not hold forhG, i to be a group and a group for which a b = b a for all a andb in G iscalled a commutative (or Abelian) group.
Example
The set of integers Zunder addition forms a group. In fact, it forms an Abeliangroup.
2
-
8/13/2019 Groups, Fields and Vector Spaces
3/46
-
8/13/2019 Groups, Fields and Vector Spaces
4/46
Abelian group. This is called a Lie Group because the elements in G are all
functions of a continuous parameter .
Example: A Finite Group
Consider the set G = {1, +1} with multiplication as the binary operation.You can easily check that this forms an Abelian group. It contains only twoelements and if hence called a finite group. Consequently, this is not an exampleof a Lie group.
Example: A Non-Abelian Group
LetGn be the set of all invertiblennmatrices with matrix multiplication asthe binary operation. This set forms a group and in this case we have anon-abeliangroup since the multiplication of matrices is not commutative.
2.1 Fields
Let Fbe a set of elements with two binary operations defined on F, calledadditionand denoted by andmultiplicationand denoted by . The setFtogether with these operations is called a field, and is denoted by hF,,i, if thefollowing 10 properties hold.
a1.) For allaandbinF, it is true thatab= ba, i.e., addition iscommutative.
a2.) For alla,b and c in F, it is true that (a b) c= a (b c), i.e., additionisassociative.
a3.) There exist an element called the additive identity(and denoted by ) suchthata = a= a for all a inF.
a4.) For each a in F, there exist an additive inverse(denoted by a0) such thata a0 =a0 a= 0.
b1.) For all a and b in F, it is true that a
b = b
a, i.e., multiplication iscommutative.
b2.) For all a, b and c in F, it is true that (a b) c = a (b c), i.e.,multiplication isassociative.
4
-
8/13/2019 Groups, Fields and Vector Spaces
5/46
b3.) There exist an element called themultiplicative identity(and denoted by )
such that a = a= a for all a in F, and 6=.
b4.) For eachainFexcept for the additive identity0, there exist amultiplicativeinverse(denoted bya00) such that a a00 =a00 a= 1.
c1.) For all a, b andc inF, it is true that a (b c) = (a b) (a c), i.e.,right distributivity.
c2.) For alla,b andc in F, it is true that (a b) c= (a c) (b c), i.e.,leftdistributivity.
Note that we will drop the abstract symbols and and simply use +
for addition (i.e., write a+ b instead of a b), and we will use no symbol formultiplication, (i.e., write ab instead of a b). In addition, we shall use thesymbols0 in place of,1 in place of,a in place ofa0, and a1 in place ofa00.With these conventions, the above field properties become more familiar and arewritten as follows.
a1.) For allaandbinF, it is true thata+b= b +a, i.e., addition iscommutative.
a2.) For alla,b andc in F, it is true that (a + b) + c= a + (b + c), i.e., additionisassociative.
a3.) There exist an element called the additive identity(and denoted by0) suchthata + 0 = 0 + a=a for all a in f .
a4.) For each a inf, there exist an additive inverse (denoted bya) such thata + (a) = (a) + a= 0.
b1.) For all a and b in F, it is true that a b = b a, i.e., multiplication iscommutative.
b2.) For alla,b andc in F, it is true that(a b) c=a (b c), i.e., multiplicationisassociative.
b3.) There exist an element called themultiplicative identity(and denoted by1)such that a 1 = 1 a= a for alla in F, and1 6= 0.
b4.) For eachainFexcept for the additive identity0, there exist amultiplicativeinverse(denoted bya1) such that a a1 =a1 a= 1.
5
-
8/13/2019 Groups, Fields and Vector Spaces
6/46
c1.) For all a,b and c inF, it is true that a (b + c) = (a b) + (a c), i.e.,right
distributivity.
c2.) For all a, b andc in F, it is true that (a+b)c = (ac) + (bc), i.e., leftdistributivity.
We shall call the elements of a fieldscalars.
Some Examples of Fields
We shall assume that addition of two elements a and b in a field F is represented
bya + band multiplication of two elementsa and b in a fieldFis represented byab. Some examples of common fields F include:
F =R, the field of all realnumbers under ordinary real addition and realmultiplication,
F = C, the field of all complexnumbers under ordinary complex additionand complex multiplication, i.e.
C=
a + ib | a R,b R and i =
1with
(a1+ ib1) + (a2+ ib2) = (a1+ a2) + i(b1+ b2)
and(a1+ ib1)(a2+ ib2) = (a1a2 b1b2) + i(b1a2+ a1b2).
F = Q, the field of all rationalnumbers under ordinary fraction additionand fraction multiplication, i.e.,
Q=
p
q
p Z,q Zandq6= 0
with p1q1
+p2
q2= p
1q2+ q1p2q1q2
& p1
q1p
2
q2= p
1p2q1q2
.
6
-
8/13/2019 Groups, Fields and Vector Spaces
7/46
F =Fp, an extension field of rational numbers, which is defined by the set
Fp= {a + bp | a, b Q and pa prime integer}
with addition defined by
(a1+ b1
p) + (a2+ b2
p) = (a1+ a2) + (b1+ b2)
p
and multiplication defined by
(a1+ b1
p)(a2+ b2
p) = (a1a2+pb1b2) + (a1b2+ a2b1)
p.
F = Zp
, the field of all integers from 0 to p
1, inclusive (for p prime)under addition and multiplication mod p. This means for a and b in Zp,a + bequals the remainder you get when the sumofa and b is divided bypandab equals the remainder you get when the productofa and b is dividedbyp. That is,
a + b= (a + b)mod(p) and a b= (ab)mod(p).
For example, in the fieldhZ11, +, i,additionandmultiplicationare definedby the tables
+ 0 1 2 3 4 5 6 7 8 9 10
0 0 1 2 3 4 5 6 7 8 9 101 1 2 3 4 5 6 7 8 9 10 02 2 3 4 5 6 7 8 9 10 0 13 3 4 5 6 7 8 9 10 0 1 24 4 5 6 7 8 9 10 0 1 2 35 5 6 7 8 9 10 0 1 2 3 46 6 7 8 9 10 0 1 2 3 4 57 7 8 9 10 0 1 2 3 4 5 68 8 9 10 0 1 2 3 4 5 6 79 9 10 0 1 2 3 4 5 6 7 8
10 10 0 1 2 3 4 5 6 7 8 9
7
-
8/13/2019 Groups, Fields and Vector Spaces
8/46
and
0 1 2 3 4 5 6 7 8 9 100 0 0 0 0 0 0 0 0 0 0 01 0 1 2 3 4 5 6 7 8 9 102 0 2 4 6 8 10 1 3 5 7 93 0 3 6 9 1 4 7 10 2 5 84 0 4 8 1 5 9 2 6 10 3 75 0 5 10 4 9 3 8 2 7 1 66 0 6 1 7 2 8 3 9 4 10 57 0 7 3 10 6 2 9 5 1 8 48 0 8 5 2 10 7 4 1 9 6 39 0 9 7 5 3 1 10 8 6 4 2
10 0 10 9 8 7 6 5 4 3 2 1
respectively.
Note thatR,C,Q, andFp are fields consisting of an infinite number of elementswhileZpis a field consisting of a finite number (namelyp). In this course, we willbe concerned only with thefields R and C.
2.2 An Example of an Exotic Field
Consider the set of real numbersR with the usual definition of multiplication,
but not the usual defi
nition of addition. Let+and no symbol be ordinary additionand multiplication of real numbers and let use define the binary operation ofaddition as
x y= (x3 + y3)1/3
and the binary operation of multiplication as
x y = xy.
For example2 3 = (23 + 33)1/3 = (351/3
Let us show that hR,,i does forms a field. Toward this end we need to show
that propertiesa1 - a4,b1 - b4 and c1 and c2 all hold.
a1.) Commutativity of Addition: Starting with
x y= (x3 + y3)1/3
8
-
8/13/2019 Groups, Fields and Vector Spaces
9/46
we have
x y= (x3
+ y3
)1/3
= (y3
+ x3
)1/3
=y xfor allx and y inR.
a2.) Associativity of Addition: Starting with
x y= (x3 + y3)1/3
we have
(x y) z = (x3 + y3)1/3 z
= ((x3 + y3)1/3)3 + z3)1/3
= (x3 + y3 + z3)1/3
= (x3 + ((y3 + z3)1/3)3)1/3
= x (y3 + z3)1/3
= x (y z)
and so(x y) z= x (y z)
for allx,y andz inR.
a3.) The Existence of an Additive Identity: Note that = 0is an additive identity
sincex = (x3 +3)1/3 = (x3 + 03)1/3 = (x3)1/3 =x
and x= (3 + x3)1/3 = (03 + x3)1/3 = (x3)1/3 =x
for allx in R.
a4.) The Existence of an Additive Inverse for each element of V: For each ele-mentx, we note that
x (
x) = (x3 + (
x)3)1/3 = (x3
x3)1/3 = 0
and(x) x= ((x)3 + x3)1/3 = (x3 + x3)1/3 = 0
so that for each element x, there exist and additive inversex.
9
-
8/13/2019 Groups, Fields and Vector Spaces
10/46
b.) Since multiplication is defined in the usual way and the additive identity is
0, the four properties b1 through b4 all hold.
c1.) Right Distributivity: Using the definitions of addition and multiplication wenote that
x (y z) = x ((y3 + z3))1/3
= x((y3 + z3))1/3
= (x3(y3 + z3))1/3
= (x3y3 + x3z3)1/3
= ((xy)3 + (xz)3)1/3
= ((x
y)3
+ (x
z)3
)1/3
= (x y) (x z)
and sox (y z) = (x y) (x z)
for allx,y andz inR.
c2.) Left Distributivity: Using the definitions of addition and multiplication wenote that
(x y) z = ((x3 + y3)1/3) z
= ((x3 + y3)1/3)z= ((x3 + y3)z3)1/3
= (x3z3 + y3z3)1/3
= ((xz)3 + (yz)3)1/3
= ((x z)3 + (y z)3)1/3
= (x z) (y z)
and so(x y) z= (x z) (y z)
for allx,y andz inR.
The above calculations show thatR is a field of with the operations, and as defined above.
10
-
8/13/2019 Groups, Fields and Vector Spaces
11/46
2.3 Vector Spaces
Let hF, +, i be a field. A vector space over a field F is a non-empty set Vof elements (called vectors) together with two algebraic operations called vectoraddition () and scalar multiplication () such that the following 10 propertiesare true.
.) For all x andy in V, x y V, that is, the set V is closed under vectoraddition.
1.) For all x andy inV, it is true that x y= y x, i.e., vector addition iscommutative.
2.) For allx, y and z in V, it is true that (x y) z= x (y z), i.e., vectoraddition isassociative.
3.) There exist an element called the additive identity(and denoted by ) suchthatx 0= 0 x= x for all xin V.
4.) For each x inV, there exist an additive inverse (denoted by x0) such thatx x0 =x0 x= 0.
.) For all Fand all x inV, x V, that is, the set V isclosed underscalar multiplication over F.
1.) For all Fand all x and y inV, it is true that (x y) = ( x) ( y), i.e.,distributivityover vector addition.
2.) For all and inFand all x in V, it is true that ( + ) x= ( x) ( x), i.e.,distributivityover scalar addition.
3.) For all andinFand all x in V, it is true that ( )x= (x),i.e.,multiplicityof scalars.
4.) If1 is the multiplicative identity inF, then1 x= x for all xin V.
Note that we will drop the special symbols ,and, and write (for example)2 and 3 as
(+)x= x +x and ()x= (x),
11
-
8/13/2019 Groups, Fields and Vector Spaces
12/46
respectively, and it should not cause any confusion as long as we know what are
thescalars (italics font) and what are the vectors (bold font). In addition weshall use the symbol 0 for the additive identity in the field and the symbol 0 forthe additive identity in the vector space. Also we shall use the symbol xin placeofx0 for the additive inverse ofx.
We could denote the vector space by hV, ,; F, +, i, but we just use thesymbolVwith the field and operations understood. The fieldFunder the vectorspace V is called the coefficientfield for V. IfF = R, then V is called a realvector space, and ifF =C,V is called a complex vector space. In this course, weshall be concerned mostly with real and complex vector spaces.
Note that it can easily be shown in any vector space that
0 x= 0 or 0x= 0
for all x V, and(1) x= x
for all x V, and 0= 0 or 0= 0
for all F.
2.4 Numerous Examples
We now present examples of vector spaces, many of which we will encounterand need for this course.
Example: Mnm(F)
This vector space is given by
Mnm(F) =
[aij]nm | aij F
which is the set of alln mmatrices whose entries come from the fieldhF, +, i,with vector addition and scalar multiplication given in the usual way as
[aij]nm [bij]nm= [aij+ bij]nm
12
-
8/13/2019 Groups, Fields and Vector Spaces
13/46
and
[aij]nm= [ aij]nm
for F. Thedimension ofMnm(F) is given by nm. We will shortly definethe dimension of a vector space.
Example: Fn andFm
These vector spaces are special cases ofMnm(F)and are given by
Fn =Mn1(F) and Fm= M1m(F)
which are the sets of all n1columnmatrices and 1m rowmatrices whose entries
come from the fieldF, with vector addition and scalar multiplication defined asinMnm(F).The dimension ofF
n is given byn and the dimension ofFmis givenbym.
Example: Pn[x; F]
This vector space is defined by
Pn[x; F] =
( n
Xk=0akx
k
ak F)
,
which is the set of all polynomials in x havingdegree less than or equal to nandwhose coefficients come from the fieldF, with vector or polynomial addition andscalar multiplication defined by
nXk=0
akxk
nXk=0
bkxk =
nXk=0
(ak+ bk)xk
and
n
Xk=0akx
k =n
Xk=0(ak)x
k
for F. The dimension ofPn[x; F] is given byn + 1.
13
-
8/13/2019 Groups, Fields and Vector Spaces
14/46
Example: P[x; F]
This vector space is defined by
P[x; F] =
( Xk=0
akxk
ak F
)
which is the set of allpolynomials inx withno limitation on its degreeand whosecoefficients come from the fieldF, with vector or polynomial addition and scalarmultiplication defined by
Xk=0 akxk
Xk=0 bkxk =
Xk=0(ak+ bk)xkand
Xk=0
akxk =
Xk=0
(ak)xk
for F. The dimension ofP[x; F] is infinite.
Example: C[x, R; a, b]
This vector space consist of all continuous real-valued functions in x over the
intervala x b, with vector addition and scalar multiplication given by(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)
for R. The dimension ofC[x, R; a, b] is infinite.
Example: B[x, R; a, b]
This vector space consist of all bounded real-valued functions in x over theintervala x b, with vector addition and scalar multiplication given by
(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)for R. The dimension ofB [x, R; a, b]is infinite.
14
-
8/13/2019 Groups, Fields and Vector Spaces
15/46
Example: D[x, R; a, b]
This vector space consist of all differentiable real-valued functions in x overthe intervala < x < b, with vector addition and scalar multiplication given by
(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)
for R. The dimension ofD[x, R; a, b]is infinite.
Example: D2[x, R; a, b]
This vector space consist of all twice differentiable real-valued functions in x
over the interval a < x < b, with vector addition and scalar multiplication givenby
(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)for R. The dimension ofD2[x, R; a, b] is infinite.
Example: Dn[x, R; a, b]
This vector space consist of alln-times differentiable real-valued functions inxover the intervala < x < b, with vector addition and scalar multiplication givenby
(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)for R. The dimension ofDn[x, R; a, b] is infinite.
Example: D[x, R; a, b]
This vector space consist of all infinitely differentiable real-valued functions inxover the intervala < x < b, with vector addition and scalar multiplication givenby
(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)for
R. The dimension ofD[x, R; a, b] is infinite.
15
-
8/13/2019 Groups, Fields and Vector Spaces
16/46
Example: C[x,y,R; S]
This vector space consist of all continuous real-valued functions inxandyoversome two dimensional region S, with vector addition and scalar multiplicationgiven by
(f g)(x, y) =f(x, y) + g(x, y) and ( f)(x, y) =f(x, y)
for R. The dimension ofC[x,y,R; S] is infinite.
Example: B[x,y,R; S]
This vector space consist of all bounded real-valued functions in x and y oversome two dimensional region S, with vector addition and scalar multiplicationgiven by
(f g)(x, y) =f(x, y) + g(x, y) and ( f)(x, y) =f(x, y)
for R. The dimension ofB [x,y,R; S]is infinite.
Example: D[x,y,R; S]
This vector space consist of all differentiable real-valued functions in x andy
over some two dimensional region S, with vector addition and scalar multiplicationgiven by
(f g)(x, y) =f(x, y) + g(x, y) and ( f)(x, y) =f(x, y)
for R. This means that both f /x and f /y exist for a function f inD[x,y,R; S].The dimension ofD[x,y,R; S]is infinite.
Example: D2[x,y,R; S]
This vector space consist of all twice differentiable real-valued functions in
x and y over some two dimensional region S, with vector addition and scalarmultiplication given by
(f g)(x, y) =f(x, y) + g(x, y) and ( f)(x, y) =f(x, y)
16
-
8/13/2019 Groups, Fields and Vector Spaces
17/46
for R. This means that: 2f /x2, 2f /y2 and2f /xy = 2f /yx allexist for a function f inD
2
[x,y,R; S].The dimension ofD2
[x,y,R; S] is infinite.
Note that we can define Dn[x,y,R; S] for any positive integer n and we candefineD[x,y,R; S], just like we did above for functions of a single variable.
Example: P[x, R; T]
This vector space consist of all piecewise continuous real-valued periodic func-tions in x having period T, so that f(x+T) = f(x) for all x R, with vectoraddition and scalar multiplication given by
(f g)(x) =f(x) + g(x) and ( f)(x) =f(x)for R. The dimension ofP[x, R; T]is infinite.
2.5 An Example of An Exotic Vector Space
LetVbe the set of the3 1 column matrices,
V =
xy
z
x,y,z R, withx >0
with vector addition and scalar multiplication defined as xy
z
x
0
y0
z0
=
xx
0
(y3 + y03)1/3
z+ z0 2
and
xy
z
=
x
1/3yz+ 2(1 )
,
respectively, let us show that Vis a vector space over the field of real numbers R.
.) Closure Under Vector Addition: First we must show thatV isclosedunder
vector addition,. For xy
z
and
x
0
y0
z0
17
-
8/13/2019 Groups, Fields and Vector Spaces
18/46
elements ofV wefind that xy
z
x
0
y0
z0
=
xx
0
(y3 + y03)1/3
z+ z0 2
is also an element ofV since x andx0 real and positive imply that xx0 isreal and positive. Alsoy, y0, z andz0 all real imply that (y3 +y03)1/3 andz+ z0 2are real. ThereforeV is closed under vector addition, . Next weconcentrate of the four properties of vector addition.
1.) Commutativity:
xy
z
x0y0
z0
=
xx0(y3 + y03)1/3
z+ z0 2
=
x0x(y03 + y3)1/3
z0 + z 2
=
x0y0
z0
xy
z
and so xy
z
x
0
y0
z0
=
x
0
y0
z0
xy
z
.
2.) Associativity:
xyz
x
0
y0
z0
x00
y00
z00
= xy
z
x0
x00
(y03 + y003)1/3
z0 + z00 2
=
x(x
0x00)(y3 + ((y03 + y003)1/3)3)1/3
z+ (z0 + z00 2) 2
=
xx
0x00
(y3 + y03 + y003)1/3
z+ z0 + z00 2 2
=
(xx0)x00
((y3 + y03)1/3)3 + y003)1/3
(z+ z0
2) + z00
2
=
xx0
(y3 + y03)1/3
z+ z0
2
x00
y00
z00
=
xy
z
x
0
y0
z0
x
00
y00
z00
18
-
8/13/2019 Groups, Fields and Vector Spaces
19/46
and so xy
z
x0y0
z0
x00y00
z00
=
xy
z
x0y0
z0
x00y00
z00
.
3.) The Existence of an Additive Identity (Zero Vector): To determine the can-didate for thezero vector (if it exists), we write
0= 0
xy
z
=
x
0
01/3y0z+ 2(1 0)
=
10
2
.
To check that this is the zero vector forV, we form xy
z
10
2
=
10
2
xy
z
=
1x(03 + y3)1/3
2 + z 2
=
xy
z
.
4.) The Existence of an Additive Inverse for each element of V: For each ele-ment,
xyz
inV, the additive inverse, (if it exists) should satisfy xy
z
0
= (1) xy
z
=
x
1
(1)1/3y(1)z+ 2(1 (1))
=
1/xy
4 z
.
To check that this is the additive inverse for xy
z
we calculate, xy
z
1/xy
4 z
=
1/xy
4 z
xy
z
=
(1/x)x((y)3 + y3)1/3
(4 z) + z 2
=
10
2
19
-
8/13/2019 Groups, Fields and Vector Spaces
20/46
and so xy
z
xy
z
0
=
xy
z
1/xy
4 z
=
10
2
=0.
which is the additive identity (or zero vector) for ..) Closure Under Scalar Multiplication: Next we check to see if V is closed
under scalar multiplication,. For
xy
z
inV and in R, we have
xy
z
=
x
1/3yz+ 2(1 )
which is also inV, sincex real and positive and real imply thatx is realand positive (i.e., one may always choose the positive value for x ), e.g.,
x1/2
= x.In addition, fory, zand all real, the quantities 1/3y andz+ 2(1 )are both real. ThereforeV is closed under scalar multiplication, . Nextwe concentrate of the four properties of scalar multiplication.
1.) Distributivity over Vector Addition:
xy
z
x
0
y0
z0
=
xx
0
(y3 + y03)1/3
z+ z0 2
=
(xx
0)
1/3(y3 + y03)1/3
(z+ z0 2) + 2(1 )
=
x
x0
(y3 +y03)1/3
z+z0 2+ 2 2
20
-
8/13/2019 Groups, Fields and Vector Spaces
21/46
=
xx0
((1/3
y)3
+ (1/3
y0
)3
)1/3
(z+ 2(1 )) + (z0 + 2(1 )) 2
=
x
1/3yz+ 2(1 )
x
0
1/3y0
z0 + 2(1 )
=
xy
z
x
0
y0
z0
and so
xy
z
x0
y0
z0
=
xyz
x0
y0
z0
.
2.) Distributivity over Scalar Addition:
(+)
xy
z
=
x
+
(+)1/3y(+)z+ 2(1 (+))
=
xx
(y3 +y3)1/3
z+z+ 2(1
)
=
x
x
((1/3y)3 + (1/3y)3)1/3
(z+ 2(1 )) + (z+ 2(1 )) 2
=
x
1/3yz+ 2(1 )
x
1/3yz+ 2(1 )
=
xy
z
xy
z
and so
(+)
xy
z
=
xy
z
xy
z
.
21
-
8/13/2019 Groups, Fields and Vector Spaces
22/46
3.) Multiplicity among Scalars:
xy
z
=
x
1/3yz+ 2(1 )
=
(x
)
1/3(1/3y)(z+ 2(1 )) + 2(1 )
=
x
()1/3yz+ 2 2+ 2 2
=
x
()1/3yz+ 2(1 )
= () xy
z
and so
xy
z
= ()
xy
z
4.) Scalar Multiplication by the Field Multiplicative Identity:
1 xy
z
= x1
11/3y1z+ 2(1 1)
= xyz
and so
1
xy
z
=
xy
z
The two closure properties along with the eight algebraic properties are allvalid and this show that V is a vector space over the field of real numbers Rusing the operations,
(vector addition) and (scalar multiplication) as defined
above.
22
-
8/13/2019 Groups, Fields and Vector Spaces
23/46
2.6 Subspaces
A subsetUof a vector space Vis a called a subspace ofV ifU(together withthe same operations of vector addition and scalar multiplication as defined onV),is itself a vector space. Since the validity of the algebraic properties1 through4and1through4(in the definition of a vector space) are true for all elementsinVand hence for all elements in U, we see that a non-emptysubset of a vectorspaceV is a subspace ofV if it is:
.) closed under vector addition, and
.) closed under scalar multiplication.
Note that one way to show that U is not empty is to show that the additiveinverse 0 ofV is in U. We denote the fact thatUis a subspace ofV by writingU V, and its is always true for any vector space V that {0} V andV V.
Example: Null Spaces of a Matrix
LetA= [aij]nm be an n m matrix whose entries come from some fieldF.
The right-null space of A, denoted by Rnull{A}, is the subspace of Fm
consisting of allm 1matrix solutions to the equation AnmXm1= 0n1.
The left-null space ofA, denoted by Lnull{A}, is the subspace ofFn con-sisting of all1 nmatrix solutions to the equation X1nAnm= 01m.
Note that since AX= 0 if and only ifXTAT =0, we see that
Rnull{A}= Lnull{AT} and Lnull{A}= Rnull{AT}.
In addition, most books define only the right-null space of a matrix Aandthey call this the null space of the matrix A and they denote it by Null{A}.
Example: Lambda Spaces and Eigenspaces of a Square Matrix
LetA be asquarennmatrix whose entries come from some fieldF, and let be any scalar in F. The-space ofA corresponding to the scalar , denoted
23
-
8/13/2019 Groups, Fields and Vector Spaces
24/46
by {A}, is the subspace ofFn consisting of all n 1 matrix solutions to the
equation AnnXn1 = Xn1. Note that for = 0, we have 0{A}= Rnull{A}.In addition, note that when {A} is not just the trivial subspace consisting ofonly the zero vector in Fn, then is called an eigenvalue of A, and {A} iscalled the eigenspace ofA corresponding to the eigenvalue , and is denoted byEigen{A,}. Any non-zero vectors in Eigen{A,} are called eigenvectors ofAcorresponding to the eigenvalue .
Example: Differential Equations
Consider the vector space D[x, R; a, b]consisting of all infinitely differentiablefunctions on the interval a < x < b. Let U be the set of all functions y in
D[x, R; a, b]that satisfy the second order differential equation
y00(x) + P(x)y0(x) + Q(x)y(x) = 0
for functions P and Q in D[x, R; a, b]. Then we see that U D[x, R; a, b].This follows from the fact that U is not empty since y(x) = 0 is in U, and ify1andy2 are inUso that
y001(x) + P(x)y0
1(x) + Q(x)y1(x) = 0
and
y00
2(x) + P(x)y0
2(x) + Q(x)y2(x) = 0,then
(1y1+2y2)00(x) + P(x)(1y1+2y2)
0(x) + Q(x)(1y1+2y2)(x) = 0
which means that 1y1+ 2y2 is also in U. Since U is a non-empty subset ofD[x, R; a, b]and Uis closed under scalar multiplication and vector addition, wemay conclude thatUis a subspace ofD[x, R; a, b]. We shall see below that thedimension ofU is2.
2.7 Spanning Sets and Linear Independence
LetVbe any vector space over a fieldFand let
M={x1, x2, x3, . . . , xm}
24
-
8/13/2019 Groups, Fields and Vector Spaces
25/46
be a set ofn vectors inV. The set of all linear combinations ofM, i.e.,
Span(M) =( mX
k=1
kxk
k F fork = 1, 2, 3, . . . , m
)is a subspace ofVover the same fieldFand is called the spanning space of theset M. It is the smallest subspace of V that contains the vectors in M. Thismeans any other subspace ofV that contains the vectors in Mmust also containthe vectors in Span(M).
Examples: Column, Row and Null Spaces of a Matrix
LetA= [aij]nm be an n m matrix whose entries come from some fieldF.
Thecolumn spaceofA, denoted by Col{A}, is the subspace ofFn spannedby the columns ofA.
Therow space ofA, denoted by Row{A}, is the subspace ofFm spannedby the rows ofA.
If Span(M) = V, then M is called a spanning set forVand note that ifMis a spanning set for V, then M
A for any other set of vectors A inV is also a
spanning set for V. However, ifMis a spanning set for V, then M Cfor anyproper subset CofMmay, or may not, be a spanning set for V.
This says we may add any vectors to a spanning set of Vand not destroy itsability to span all of V, but if we remove any vectors from a spanning set of V,we may (or may not) destroy its ability to span all of V.
In addition, ifM={x1, x2, x3, . . . , xm} is a spanning set for V, then for anyx V, we can find scalars 1,2,3, . . . ,m F such that
x=
mXk=1
kxk
but the choice of scalars 1,2,3, . . . ,m Fneed not be unique. To lead to aunique choice of scalars, we must define the concept of linear independence.
25
-
8/13/2019 Groups, Fields and Vector Spaces
26/46
A set M={x1, x2, x3, . . . , xm} of a vector space V is calledlinearly indepen-dent ofmXk=1
kxk =0
leads only to 1 = 2 = 3 = = m = 0. If the setM in V is not linearlyindependent, it is called linearly dependent.
Note that ifMis linearly independent inV, thenMCfor any proper subsetC ofMis also linearly independent in V. However, ifMis linearly independentinV, thenM Afor any other subsetA in Vmay not be linearly independent.
This says we may remove any vectors from a linearly independent set inV andnot destroy its linear independence in V, but if we add any vectors to a linearlyindependent set inV, we may (or may not) destroy its linear independence inV.
2.8 The Dimension of a Vector Space and Basis Sets
A vector space V is called finite dimensional if there exist a positive integern such that V contains a linearly independent set ofn vectors whereas any setofn+ 1 or more vectors in V is linearly dependent. In this casen is called thedimension ofV, written as dim(V). Note thatdim(V) is the largestnumber of
vectors inVthat can form a linearly independent set and its the smallestnumberof vectors in Vthat can span V.
Example: The Space Pn[x, R]
Let us show that the set ofn + 1 vectors
Bn= {1, x , x2, x3, . . . , xn}
inPn[x; R]forms a linearly independent set. Toward this end, consider the equa-tion
0+1x +2x2
+3x3
+ +nxn
= 0which must be true for all real values oft. By differentiating this equationntimeswe get the set of equations
1+ 22x + 33x2 + + nnx
n1 = 0
26
-
8/13/2019 Groups, Fields and Vector Spaces
27/46
22+ 63x + + n(n 1)nxn2 = 063+ + n(n 1)(n 2)nxn
3
= 0
and so on until
(n 1)(n 2) (2)(1)n1+ n(n 1)(n 2) (2)(1)nx = 0n(n 1)(n 2) (2)(1)n = 0.
The last of these gives n = 0. Putting this into the next-to-the-last equationgives n1= 0. By continuing this process we conclude that
0= 1= 2= = n= 0
which means that Bn is a linearly independent set. Note that the set of vectors
Bm= {1, x , x2, x3, . . . , xm}
formn+ 1 is also a linearly independent set in Pn[x; R]. Now any set of theform
Sn= Bn {p(x)}where p(x) is any element in Pn[x; R] must be a linearly dependent set since wemay always writep(x)(by definition ofPn[x; R]) as
p(x) =a0+ a1x + a2x2 + + anx
n
and hence0+1x +2x
2 +3x3 + +nx
n +p(x) = 0
will be zero for = 1 andk =ak fork = 0, 1, 2, . . . , n , thereby showing thatthe set Sn is linearly dependent for any choice of p(x) in Pn[x; R]. This showsthatdim(Pn[x; R]) =n + 1.
Example: The Space P[x, R]
Let have already shown that the set ofn + 1 vectors
Bn= {1, x , x2
, x3
, . . . , xn}
in Pn[x; R] forms a linearly independent set. This says that the same set ofvectors forms a linearly independent set in P[x; R]for any choice ofn and hencethe dimension ofP[x; R] is infinite.
27
-
8/13/2019 Groups, Fields and Vector Spaces
28/46
A set of vectors B={e1, e2, e3, . . . , en}
inVis called abasis set forV if (a)B is linearly independent and (b) Span(B) =V, and now we may say for any vector x V, there is a unique set of scalars1,2,3, . . . ,n F such that
x=nX
k=1
kek.
This follows because if1, 2, 3, . . . ,n Fis another set of scalars such that
x=
nXk=1
kek,
thennX
k=1
kek nX
k=1
kek = x x
ornX
k=1
(k k)ek=0 which leads to k k = 0
ork =k fork = 1, 2, 3, . . . , n.
Every non-trivial vector space (finite or infinite) has a basis set, and ifB1andB2 are two basis sets in V, then there must exist a one-to-one correspondencebetweenB1 andB2. For the case offinite dimensional vector spaces, this meansthat the number of vectors in B1 must be the same as the number of vectors inB2, and this number is equal to the dimension ofV, i.e., |B1|= |B2|= dim(V).If B1 is any basis set for V and if |B1| is infinite in size, then V is called aninfinitely dimensional vector space. In this course, we will be mostly concernedwith infinitely dimensional vector spaces. Finally, note that ifU is a subspace ofV (i.e.,U V) thendim(U) dim(V).
2.9 Coordinate Matrix Representations
LetVbe a vector space with coefficient fieldF, and let
B= {e1, e2, e3, . . . , en}
28
-
8/13/2019 Groups, Fields and Vector Spaces
29/46
be a ordered basis set for V, where n could be infinity. Then we know that for
anyx V, we may expressed xas
x=nX
k=1
xkek
where x1, x2, x3, . . ., xn are scalars in F. This can be used to define an n1matrix of coefficients
[x]B =
x1x2x3...
xn
Fn
known as the coefficient (or coordinate) matrix representation ofx with respectto the ordered basis set B .
It can easily be shown that ifVis a vector space with vector additionandscalar multiplication over a fieldF, and having a basis
B={e1, e2, e3, . . . , en},
then for any x and y inV and any in F, the coordinate matrices satisfy,
[x y]B = [x]B+ [y]B (9.1)
and[ x]B =[x]B (9.2)
where the operations on the right hand side of these equation (9.1) and (9.2) arevector addition and scalar multiplication in the vector space Fn.
These two equations imply that all finite dimensional vector spaces (with di-mension n) over a field Fcan be made to behave like Fn under the usual operationsof vector addition and scalar multiplication. This is accomplished by starting withthe vector spaceVand an ordered basis setB inV, transforming each of the vec-tors x in V to their coordinate matrix representations [x]B in F
n, perform alloperations on the coordinate vectors in Fn, and then transform back into V. In
29
-
8/13/2019 Groups, Fields and Vector Spaces
30/46
symbols, Equation (9.1) can be written as
x y x y Fn
[x]B [y]B [x]B+ [y]B
while Equation (9.2) says
x x Fn [x]B [x]B
Let us look at two examples of how this is done.
Example: An Exotic Vector Space
LetVbe the set,
V =
xy
x R andy R
with vector addition and scalar multiplication defined as
xy x0
y0
= x + x0 2
y+ y0 1
and
xy
=
x + 2(1 )y+ (1 )
,
respectively. It can be shown that Vis a vector space over the field of real numbersR. Note that the zero of this vector space is
0= 0 xy =
0x + 2(1 0)0y+ (1
0) =
21
since xy
21
=
21
xy
=
x + 2 2y+ 1 1
=
xy
.
30
-
8/13/2019 Groups, Fields and Vector Spaces
31/46
Now suppose we have the set
B= 1
0
, 1
1
(9.3)
inV, then we can show that this is a basis for V. Starting with
10
11
=
xy
(9.4)
we get
1 + 2(1 )0 + (1
)
1 + 2(1 )1 + (1
)
=
xy or
2 1
2 1
=
xy
which reduces to
(2 ) + (2 ) 2(1 ) + (1) 1
=
xy
or
2 1
=
xy
.
Solving this for and gives
2 = x1 = y
which leads to= 1 y and = 1 x + y.
Putting these into Equation (9.4) gives,xy
=
(1 y)
10
(1 x + y)
11
(9.5)
for any vector xy
31
-
8/13/2019 Groups, Fields and Vector Spaces
32/46
in V showing that the set B spansthe vector space V. Next we observe that if
the zero vector0=
21
is placed into Equation (9.3) we get
= 1 1 = 0 and = 1 2 + 1 = 0(which are both the additive identity in R) showing that the set B is a linearlyindependent set in V. ThereforeB is a basis set for V. In addition, Equation(9.5) shows that the coordinate matrixof an arbitrary vector in V with respectto the basis B is given as,
xy
B
= = 1 y
1 x + y . (9.6)
Note that given xy
,
we can compute xy
B
using Equation (9.6). Conversely, given xy
B
=
we can compute
xy
using Equation (9.4).So for example, suppose we check out the results in Equations(9.1) and (9.2) using
x= 52 and y=
3
1 .
If we directly calculate x y, we get
x y=
52
31
=
(5) + (3) 2(2) + (1) 1
=
60
.
32
-
8/13/2019 Groups, Fields and Vector Spaces
33/46
If we instead, calculate [x]B+ [y]B, we get
[x]B+ [y]B =
52
B
+
31
B
=
1 (2)
1 (5) + (2)
+
1 (1)
1 (3) + (1)
=
12
+
23
=
(1) + (2)(2) + (3)
=
15
so that (from Equation (9.4) with = 1and= 5),x y =
1
10
(5)
11
=
1(1) + 2(1 1)
1(0) + (1 1)
(5)(1) + 2(1 (5))(5)(1) + (1 (5))
=
10
71
=
(1) + (7) 2(0) + (1) 1
=
60
which agrees with the direct calculation and so
[x y]B = [x]B+ [y]B.
Suppose, now we want to calculate 4 x. A direct calculation yields
4 x= 4
52
=
4(5) + 2(1 4)
4(2) + (1 4)
=
14
5
.
An indirect calculation using the coordinate matrices and Equation (9.2) yields
[4 x]B = 4[x]B = 4 5
2 B = 4 1 (2)
1 (5) + (2) = 4
12
=
4(1)4(2)
=
48
33
-
8/13/2019 Groups, Fields and Vector Spaces
34/46
thereby leading to (Equation (9.4) with = 4and= 8)
4 x =
(4) 1
0
(8) 1
1
=
4(1) + 2(1 (4))4(0) + (1 (4))
8(1) + 2(1 (8))
8(1) + (1 (8))
=
65
101
=
(6) + (10) 2
(5) + (1) 1
=
14
5
which agrees with the direct calculation, and so
[4 x]B = 4[x]B.
Example: Application To The Common Logarithm
LetWbe the set ofpositivereal numbers and define vector addition and scalarmultiplication as
x y= xy and x= x
for R. ThenWis a vector space over the field of real numbersR. Note thatthezero for this vector space is the number 1 since
x 1 = 1 x= 1x=x
for allx W. The setB = {10}
inWis a basis set forW since
10 =x gives 10 =x
so that= log10(x) = log(x)
showing that B spansall ofW, while
10 = 1 (thezerovector inW)
34
-
8/13/2019 Groups, Fields and Vector Spaces
35/46
leads to = log(1) = 0 showing that B is a linearly independent set in W. In
addition we note that the coordinate matrixof an element in W can be writtenas[x]B = [log(x)].
In the days before calculators and slide rules, people used Equations (9.1) and(9.2) and common logarithms to obtain approximations to complex arithmeticcalculations. For example, suppose we wanted to calculate
(2856)(497)3/2350
then, (in the days before calculators and slide rules), we would say the above
calculation (as viewed from the vector space W), would read(2856)(497)3/2
350= (2856)(497)3/2(350)1/2
= (2856) (497)3/2 (350)1/2
= (2856)
3
2 (497)
1
2 (350)
so that
(2856)(497)3/2350 B
=
(2856)
3
2 (497)
12 (350)
B= [2856]B+
3
2[497]B+
12
[350]B
= log(2856) +3
2log(497) +
12
log(350)
' 3.4558 +3
2(2.6964) 1
2(2.5441) = 6.2284
(where each common log was looked up in a table of logarithms). Therefore, wehave,
(2856)(497)3/2
350' 6.228410 = 106.2284 = 100.2284 106
= antilog(0.2284)106 '1.69106,
where, the antilog(0.2284)was also looked up in a table of antilogarithms. Notethat if you had chosen the basis set, B0 = {2}, then you would be dealing with
35
-
8/13/2019 Groups, Fields and Vector Spaces
36/46
the log to the base 2. Other than that, the calculations would be essentially the
same. Note that old-time slides rules were designed around this basis principle.
2.10 The Change-Of-Basis Matrix
Suppose thatV is ann-dimensional vector space with bases
A={a1, a2, a3, . . . , an}
andB={b1, b2, b3, . . . , bn}
and suppose that xis a vector in V. Then we may expression x as
x= 1a1+2a2+3a3+ +nan
or asx= 1b1+2b2+3b3+ +nbn.
so thatnX
i=1
ibi=nX
j=1
jaj.
Suppose also that we express each aj as
aj =nX
i=1
ijbi so that [aj]B =
1j2j3j
...nj
for each j = 1, 2, 3, . . . , n. Placing these expressions foraj in the above equationleads to
n
Xi=1ibi =
n
Xj=1jaj =
n
Xj=1j
n
Xi=1ijbi=
n
Xi=1n
Xj=1jijbi
ornX
i=1
i
nXj=1
jij
!bi= 0.
36
-
8/13/2019 Groups, Fields and Vector Spaces
37/46
The linear independence of the set of vectors in B allows us to conclude that
i nX
j=1
jij = 0 or i=nX
j=1
ijj
for eachi = 1, 2, 3, . . . , n. In matrix form, this reads
123...n
=
11 12 13 in21 22 23 2n31 32 33 3n
... ...
... . . .
...n1 n2 n3 nn
123...n
or[x]B = (B[T]A)[x]A
where
B[T]A =
11 12 13 in21 22 23 2n31 32 33 3n
... ...
... . . .
...n1 n2 n3 nn
= [[a1]B|[a2]B|[a3]B| |[an]B]
is called the transformation matrix from the basis set A to the basis set B . In asimilar way, we may write
[x]A = (A[T]B)[x]B
where
A[T]B = [[b1]A|[b2]A|[b3]A| |[bn]A]
is the transformation matrix from the basis set B to the basis setA. It is easy toshow that
(A[T]B)(B[T]A) = (A[T]A) = [I]
for any two basis sets A and Bin V, and hence both A [T]Band B [T]Aare invertibleand equals each others inverse, i.e.,
A[T]B = (B[T]A)1 and B[T]A = (A[T]B)
1.
37
-
8/13/2019 Groups, Fields and Vector Spaces
38/46
Note that ifA, B andCare three basis sets in a vector space V, then it is easy
to show thatC[T]A = (C[T]B)(B[T]A).
This is very convenient when B is a basis set (such as the natural or standardbasis set) in which each of B[T]A and B[T]C are easy to compute. For then wemay write
C[T]A = (C[T]B)(B[T]A) = (B[T]C)1(B[T]A)
thereby helping in the computation of C[T]A.
Example: The Vector Space P2[x; R]
LetV =P2[x; R] with the basis sets
A={a1, a2, a3}= {1, 1 + x, 1 + x + x2}
andB= {b1, b2, b3}={x + x
2, 1 + x2, x}.
To find[a + bx + cx2]A, we must solve for 1, 2, and 3 so that
1(1) +2(1 + x) +3(1 + x + x2) =a + bx + cx2.
This leads to
(1+2+3) + (2+3)x +3x2
=a + bx + cx2
which leads to the system
1+2+3 = a
2+3 = b
3 = c
which has the solution: 1= a b, 2= b c and 3= c, so that
[a + bx + cx2]A =
a bb
c
c
.
To find[a + bx + cx2]B, we must solve for 1, 2, and 3 so that
1(x + x2) +2(1 + x
2) +3(x) =a + bx + cx2.
38
-
8/13/2019 Groups, Fields and Vector Spaces
39/46
This leads to
(2) + (1+3)x + (1+2)x2 =a + bx + cx2
which leads to the system
2 = a
1+3 = b
1+2 = c
which has the solution: 1= c a, 2= a and 3= a + b c, so that
[a + bx + cx2]B = c aa
a + b c
.
To determine
A[T]B = [[b1]A|[b2]A|[b3]A]
we use
[b1]A = [0 + 1x + 1x2]A =
0 11 1
1
=
10
1
and
[b2]A = [1 + 0x + 1x2]A =
1 00 1
1
=
11
1
and
[b3]A = [0 + 1x + 0x2]A =
0 11 0
0
=
11
0
and so
A[T]B = [[b1]A|[b2]A|[b3]A| |[bn]A] =
1 1 10
1 1
1 1 0
.
As a check we should find that
[a + bx + cx2]A = (A[T]B)[a + bx + cx2]B
39
-
8/13/2019 Groups, Fields and Vector Spaces
40/46
which gives
a bb c
c
=
1 1 10 1 1
1 1 0
c aa
a + b c
=
a bb c
c
which checks out. Note that by using the standard (or natural) basis set ofP2[x; R],
S={s1, s2, s3}= {1, x , x2} for which [a + bx + cx2]S =
ab
c
,
we can get A[T]B via
A[T]B = (A[T]S)(S[T]B) = (S[T]A)1(S[T]B)
= [[a1]S|[a2]S|[a3]S]1 [[b1]S|[b2]S|[b3]S]
=
1 1 10 1 1
0 0 1
1 0 1 01 0 1
1 1 0
=
1 1 10 1 1
1 1 0
,
which agrees with our earlier results. Note also that
B[T]A= (A[T]B)1 =
1 1 10 1 11 1 0
1
= 1 1 01 1 1
1 2 1
,
which agrees with our results from class.
2.11 The Vector Space of Geometric Arrows
LetG be the set of all geometric arrows in space. Each of these arrows havea length (called its magnitude) and a direction in space (called its direction),including the zero arrow (0) which has zero length and (by definition) any
direction in space. The beginning of an arrow is called its tailand the end of thearrow is called itstip. Note that an arrow in G need not be fixed in space since thatthe arrow can be translatedanywhere in space without changing its magnitudeand direction, and hence not changing the arrow itself. The magnitude of an arrowx in G is denoted by the symbol ||x||, and the direction of an arrow x in G is
40
-
8/13/2019 Groups, Fields and Vector Spaces
41/46
denoted by the symbol
bx. A direction opposite that ofx is denoted by the symbol
bx. Note that the direction of an arrow x inG (i.e.,bx) is also considered as anarrow inG which has the same direction as that ofx, but havingunit magnitude,so that||bx|| 1.
We now define arrow addition by the tip-to-tail rule. This says if you want toadd the arrows x and yin G, then first you translate yuntil its tail is placed on thetip ofx. This forms a two-arrow tip-to-tail chain. The sum ofxand y is definedas that arrow which connects the tail ofx to the tip of y, i.e., its connects thebeginning of the two-arrow tip-to-tail chain to the end of the two-arrow tip-to-tailchain.
More generally, if you want to add the n arrows x1, x2, x3,. . ., xn inG, thenfirst translate x2 until its tail is placed on the tip of x1, then you translate x3until its tail is placed on the tip ofx2, then you translate x4until its tail is placedon the tip ofx3, etc., until you translate xn until its tail is placed on the tip ofxn1. This forms ann-arrow tip-to-tail chain. The sum ofx1, x2, x3, . . ., xn inG is defined as that arrow which connects the tail ofx1 to the tip ofxn, i.e., itsconnects the beginning of the n-arrow tip-to-tail chain to the end of the n-arrowtip-to-tail chain.
Using the real numbers R as the field of scalars, we next define scalar multi-
plication by the rule which says when an arrow x is multiplied by a scalar , theresult is a arrow whose length is multiplied by|| (i.e.,||x||= ||||x||) and thedirection of the result is the same as that ofxwhen > 0, or opposite that ofxwhen < 0. That is,
cx=
+bx, when > 0bx, when < 0 .
Note that for = 0, we definex= 0.
It can easily be shown that G with the above definitions of arrow addition
and scalar multiplication forms a 3-dimensional real vector space. Using whatyou already know about the vector space G, i.e., the dot product, cross product,triple scalar product, etc., you should show that a set of three vectors
B = {u1, u2, u3}
41
-
8/13/2019 Groups, Fields and Vector Spaces
42/46
in G is a basis set in G if and only if the triple scalar product between u1, u2,
andu3 is non-zero, i.e., if and only if
[u1, u2, u3] u1(u2 u3)6= 0.
Recall that the dot productbetween two vectors is defined by
u1 u2= ||u1||||u2|| cos()
and the cross productbetween two vectors is defined by
u1 u2= ||u1||||u2|| sin()
bn
wherebnis a unit vector perpendicular to both u1and u2and satisfying the right-hand rule where you place the fingers of your right hand along u1 and then curlthese fingers through the angle until your fingers are aligned with u2 at whichpoint your thumb will be pointing in the direction ofbn.Properties Of The Dot Product
Some important properties of the dot product are as follows.
(1) u1(u2+ u3) =u1 u2+ u1 u3 for all u1, u2, and u3 inG.
(2) u1(u2) = (u1) u2= (u1 u2)for all u1 andu2 inG and all in R.
(3) u1 u2= u2 u1 for all u1 andu2 inG.
(4) u1 u1= ||u1||2 0 for all u1 inG, and u1 u1= 0 if and only ifu1= 0.
(5) u1 u2= 0 if and only ifu1u2.(6) u1 0= 0 for all u1 inG.
Properties Of The Cross ProductSome important properties of the cross product are as follows.
(1) u1(u2+ u3) =u1 u2+ u1 u3 for all u1, u2, and u3 inG.
(2) u1 (u2) = (u1)u2= (u1u2)for allu1and u2 in G and all in R.
(3) u1 u2= (u2 u1)for all u1 andu2 inG.
42
-
8/13/2019 Groups, Fields and Vector Spaces
43/46
(4) u1 u2= 0 if and only ifu1ku2.
(5) u1 0= 0 for all u1 inG.
Properties Of The Triple-Scalar ProductSome important properties of the triple-scalar product are as follows.
(1) [u1, u2, u3+ u4] = [u1, u2, u3] + [u1, u2, u4]for all u1, u2, u3 andu4 inG.
(2) [u1, u2,u3] = [u1,u2, u3] = [u1, u2, u3] =[u1, u2, u3]for all u1, u2 andu3 inG and all inR.
(3) [u1, u2, u3] = [u3, u1, u2] = [u2, u3, u1] =
[u2, u1, u3] =
[u1, u3, u2] =
[u3, u2, u1] for all u1, u2 andu3 inG.(4) [u1, u2, u3] = 0 if and only ifu1, u2 andu3 all lie in the same plane.
(5) [u1, u2, 0] = 0for all u1 andu2 inG.
Suppose now that we wanted to write any xin G as
x= 1u1+2u2+3u3
which is possible provided that [u1, u2, u3] 6= 0. Then we could start with thisresult and write
x u1= 1u1 u1+2u2 u1+3u3 u1
andx u2= 1u1 u2+2u2 u2+3u3 u2
andx u3= 1u1 u3+2u2 u3+3u3 u3
which, in matrix form, leads to
u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2
u1 u3 u2 u3 u3 u3
12
3
=
x u1x u2
x u3
43
-
8/13/2019 Groups, Fields and Vector Spaces
44/46
so that 12
3
= u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2u1 u3 u2 u3 u3 u3
1 x u1x u2
x u3
.If the basis set
B = {u1, u2, u3}
satisfies u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2
u1 u3 u2 u3 u3 u3
=
||u1||
2 0 00 ||u2||
2 00 0 ||u3||
2
,
it is called anorthogonalbasis set and the above equation leads to
12
3
=
||u1||
2 0 00 ||u2||
2 00 0 ||u3||
2
1 x u1x u2
x u3
=
1/||u1||
2 0 00 1/||u2||
2 00 0 1/||u3||
2
x u1x u2
x u3
or
123
= (x u1)/||u1||
2
(x u2)/||u2||2
(x u3)/||u3||2
so that
x=
x u1||u1||2
u1+
x u2||u2||2
u2+
x u3||u3||2
u3
for eachxin G. In addition, if the basis set
B = {u1, u2, u3}
satisfies u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2u1 u3 u2 u3 u3 u3
= 1 0 00 1 00 0 1
,
44
-
8/13/2019 Groups, Fields and Vector Spaces
45/46
it is called anorthonormalbasis set and the above equation leads to
12
3
=
x u1x u2
x u3
so thatx= (x u1)u1+ (x u2)u2+ (x u3)u3
for each x in G. IfB is not orthonormal or orthogonal, then system of equations
u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2
u1 u3 u2 u3 u3 u3
12
3
=
x u1x u2
x u3
can be solved using Cramers rule from linear algebra, resulting in the formulas
1=
det
x u1 u2 u1 u3 u1x u2 u2 u2 u3 u2
x u3 u2 u3 u3 u3
det
u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2
u1 u3 u2 u3 u3 u3
, 2=
det
u1 u1 x u1 u3 u1u1 u2 x u2 u3 u2
u1 u3 x u3 u3 u3
det
u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2
u1 u3 u2 u3 u3 u3
and
3=
det
u1 u1 u2 u1 x u1u1 u2 u2 u2 x u2
u1 u3 u2 u3 x u3
det
u1 u1 u2 u1 u3 u1u1 u2 u2 u2 u3 u2
u1 u3 u2 u3 u3 u3
.
In the case ofG, since we have the additional operations of dot product, crossproduct and triple scalar product and we may determine1,2, and3by startingwith
x= 1u1+2u2+3u3and writing
x (u2 u3) =1u1(u2 u3) +2u2(u2 u3) +3u3(u2 u3).
45
-
8/13/2019 Groups, Fields and Vector Spaces
46/46
Then using the fact that
u2(u2 u3) = 0 and u3(u2 u3) = 0
we may conclude that
x (u2 u3) =1u1(u2 u3)
or
1= x (u2 u3)
u1(u2 u3)=
[x, u2, u3]
[u1, u2, u3].
Similarly we get
2= [u1, x, u3][u1, u2, u3]
and 3= [u1, u2, x][u1, u2, u3]
,
and so
[x]B = 1
[u1, u2, u3]
[x, u2, u3][u1, x, u3]
[u1, u2, x]
so that
x= [x, u2, u3]u1+ [u1, x, u3]u2+ [u1, u2, x]u3
[u1, u2, u3]
for each vector xin G.
2.12 A Generalization to Higher Dimensions
Suppose thatV is ann-dimensional vector space with basis set
B={u1, u2, u3, . . . , un}
and suppose that xis a vector in Vwhich is to be expressed as
x= 1u1+2u2+3u3+ +nun.
Then we would like to compute the coefficients 1, 2, 3, . . ., n by using anidea similar to that in the previous section. In order to do this, we need to definethe notion of a dot product in an n-dimensional vector space. Toward this end,we shall study the ideas behind the inner productfor vector spaces.