Professional Documents
Culture Documents
SuperLinearAlg VK FS
SuperLinearAlg VK FS
W. B. Vasantha Kandasamy
e-mail: vasanthakandasamy@gmail.com
web: http://mat.iitm.ac.in/~wbv
www.vasantha.net
Florentin Smarandache
e-mail: smarand@unm.edu
INFOLEARNQUEST
Ann Arbor
2008
This book can be ordered in a paper bound reprint from:
Books on Demand
ProQuest Information & Learning
(University of Microfilm International)
300 N. Zeeb Road
P.O. Box 1346, Ann Arbor
MI 48106-1346, USA
Tel.: 1-800-521-0600 (Customer Service)
http://wwwlib.umi.com/bod/
Peer reviewers:
Professor Diego Lucio Rapoport
Departamento de Ciencias y Tecnologia
Universidad Nacional de Quilmes
Roque Saen Peña 180, Bernal, Buenos Aires, Argentina
Dr.S.Osman, Menofia University, Shebin Elkom, Egypt
Prof. Mircea Eugen Selariu,
Polytech University of Timisoara, Romania.
ISBN-10: 1-59973-065-0
ISBN-13: 978-1-59973-065-3
EAN: 9781599730653
Preface 5
Chapter One
SUPER VECTOR SPACES 7
1.1 Supermatrices 7
1.2 Super Vector Spaces and their Properties 27
1.3 Linear Transformation of Super Vector Spaces 53
1.4 Super Linear Algebra 81
Chapter Two
SUPER INNER PRODUCT SUPERSPACES 123
INDEX 287
W.B.VASANTHA KANDASAMY
FLORENTIN SMARANDACHE
Chapter One
1.1 Supermatrices
7
are known as matrices.
We shall call them as simple matrices [17]. By a simple
matrix we mean a matrix each of whose elements are just an
ordinary number or a letter that stands for a number. In other
words, the elements of a simple matrix are scalars or scalar
quantities.
A supermatrix on the other hand is one whose elements are
themselves matrices with elements that can be either scalars or
other matrices. In general the kind of supermatrices we shall
deal with in this book, the matrix elements which have any
scalar for their elements. Suppose we have the four matrices;
⎡2 −4 ⎤ ⎡ 0 40 ⎤
a11 = ⎢ ⎥ , a12 = ⎢ ⎥
⎣0 1⎦ ⎣ 21 −12 ⎦
⎡3 −1⎤ ⎡ 4 12 ⎤
a21 = ⎢⎢ 5 7 ⎥ and a22 = ⎢⎢ −17 6 ⎥⎥ .
⎥
⎢⎣ −2 9 ⎥⎦ ⎢⎣ 3 11⎥⎦
One can observe the change in notation aij denotes a matrix and
not a scalar of a matrix (1 < i, j < 2).
Let
⎡a a12 ⎤
a = ⎢ 11 ⎥;
⎣ a 21 a 22 ⎦
8
Thus far we have referred to the elements in a supermatrix
as matrices as elements. It is perhaps more usual to call the
elements of a supermatrix as submatrices. We speak of the
submatrices within a supermatrix. Now we proceed on to define
the order of a supermatrix.
The order of a supermatrix is defined in the same way as
that of a simple matrix. The height of a supermatrix is the
number of rows of submatrices in it. The width of a supermatrix
is the number of columns of submatrices in it.
All submatrices with in a given row must have the same
number of rows. Likewise all submatrices with in a given
column must have the same number of columns.
A diagrammatic representation is given by the following
figure.
9
by partitioning. Furthermore, the order of supermatrix tells us
nothing about the orders of the submatrices within that
supermatrix.
Now we illustrate the number of rows and columns of a
supermatrix.
10
⎡3 0 1 1 2 0⎤
⎢1 0 0 3 5 2 ⎥⎥
⎢
⎢ 5 −1 6 7 8 4⎥
A1 = ⎢ ⎥.
⎢0 9 1 2 0 −1⎥
⎢2 5 2 3 4 6⎥
⎢ ⎥
⎢⎣ 1 6 1 2 3 9 ⎥⎦
Now let us draw a thin line between the 2nd and 3rd columns.
This gives us the matrix A1. Actually A1 may be regarded as
a supermatrix with two matrix elements forming one row and
two columns.
Now consider
⎡3 0 1 1 2 0 ⎤
⎢1 0 0 3 5 2 ⎥
⎢ ⎥
⎢ 5 −1 6 7 8 4 ⎥
A2 = ⎢ ⎥
⎢ 0 9 1 2 0 −1⎥
⎢2 5 2 3 4 6 ⎥
⎢ ⎥
⎢⎣ 1 6 1 2 3 9 ⎥⎦
Draw a thin line between the rows 4 and 5 which gives us the
new matrix A2. A2 is a supermatrix with two rows and one
column.
Now consider the matrix
⎡3 0 1 1 2 0⎤
⎢1 0 0 3 5 2 ⎥⎥
⎢
⎢ 5 −1 6 7 8 4⎥
A3 = ⎢ ⎥,
⎢0 9 1 2 0 −1⎥
⎢2 5 2 3 4 6⎥
⎢ ⎥
⎢⎣ 1 6 1 2 3 9 ⎥⎦
11
⎡ a11 a12 ⎤
⎢a ⎥
⎣ 21 a 22 ⎦
where
⎡3 0 ⎤
⎢1 0 ⎥
a11 = ⎢ ⎥,
⎢ 5 −1⎥
⎢ ⎥
⎣0 9 ⎦
⎡1 1 2 0⎤
⎢0 3 5 2 ⎥⎥
a12 = ⎢ ,
⎢6 7 8 4⎥
⎢ ⎥
⎣1 2 0 −1⎦
⎡2 5⎤ ⎡ 2 3 4 6⎤
a21 = ⎢ ⎥ and a22 = ⎢1 2 3 9 ⎥ .
⎣1 6⎦ ⎣ ⎦
The elements now are the submatrices defined as a11, a12, a21 and
a22 and therefore A3 is in terms of letters.
According to the methods we have illustrated a simple
matrix can be partitioned to obtain a supermatrix in any way
that happens to suit our purposes.
The natural order of a supermatrix is usually determined by
the natural order of the corresponding simple matrix. Further
more we are not usually concerned with natural order of the
submatrices within a supermatrix.
Now we proceed on to recall the notion of symmetric
partition, for more information about these concepts please refer
[17]. By a symmetric partitioning of a matrix we mean that the
rows and columns are partitioned in exactly the same way. If the
matrix is partitioned between the first and second column and
between the third and fourth column, then to be symmetrically
partitioning, it must also be partitioned between the first and
second rows and third and fourth rows. According to this rule of
symmetric partitioning only square simple matrix can be
12
symmetrically partitioned. We give an example of a
symmetrically partitioned matrix as,
⎡2 3 4 1⎤
⎢5 6 9 2 ⎥⎥
as = ⎢ .
⎢0 6 1 9⎥
⎢ ⎥
⎣⎢ 5 1 1 5 ⎦⎥
⎡4 3 2 7⎤
⎢3 6 1 4 ⎥⎥
a= ⎢ .
⎢2 1 5 2⎥
⎢ ⎥
⎣7 4 2 7⎦
⎡2 1⎤ ⎡5 2⎤
a21 = ⎢ ⎥ and a22 = ⎢ ⎥,
⎣7 4⎦ ⎣2 7⎦
so that
13
⎡a a12 ⎤
a = ⎢ 11 ⎥.
⎣ a 21 a 22 ⎦
14
⎡ D1 0 ... 0⎤
⎢ 0′ D 2 ... 0 ⎥⎥
D= ⎢
⎢ ⎥
⎢ ⎥
⎣ 0′ 0′ ... D n ⎦
⎡ Is 0 0⎤
I = ⎢⎢ 0 It 0 ⎥⎥
⎢⎣ 0 0 I r ⎥⎦
⎡3 1 2 0 0⎤
⎢5 6 0 0 0 ⎥⎥
⎢
d = ⎢0 0 0 2 5⎥
⎢ ⎥
⎢0 0 0 −1 3 ⎥
⎢⎣ 0 0 0 9 10 ⎥⎦
⎡m 0 ⎤
i.e., d = ⎢ 1 .
⎣0 m 2 ⎥⎦
15
Example 1.1.6: Let
⎡1 0 0 0 ⎤
⎢1 0 0 0 ⎥
⎢ ⎥
⎢1 0 0 0 ⎥
⎢ ⎥
⎢0 1 0 0⎥
⎢0 1 0 0⎥
⎢ ⎥
⎢0 0 1 0⎥
⎢0 0 1 0⎥ .
⎢ ⎥
⎢0 0 1 0⎥
⎢0 0 1 0⎥
⎢ ⎥
⎢0 0 0 1 ⎥
⎢ ⎥
⎢0 0 0 1 ⎥
⎢0 0 0 1 ⎥
⎢ ⎥
⎢⎣ 0 0 0 1 ⎥⎦
Here the diagonal elements are only column unit vectors. In
case of supermatrix [17] has defined the notion of partial
triangular matrix as a supermatrix.
16
L is partial upper triangular matrix partitioned as a supermatrix.
⎡T⎤
Thus T = ⎢ ⎥ where T is the lower triangular submatrix, with
⎣ a′ ⎦
⎡5 0 0 0 0⎤
⎢7 2 0 0 0 ⎥⎥
⎢ ⎡1 2 3 4 5 ⎤
T = ⎢1 2 3 0 0 ⎥ and a' = ⎢0 1 0 1 0⎥ .
⎢ ⎥ ⎣ ⎦
⎢4 5 6 7 0⎥
⎢⎣ 1 2 5 2 6 ⎥⎦
⎡1 ⎤
⎢3⎥
⎢ ⎥
v = ⎢ 4 ⎥ .
⎢ ⎥
⎢5⎥
⎢⎣7 ⎥⎦
⎡ v1 ⎤
⎢v ⎥
v = ⎢ 2⎥
⎢M⎥
⎢ ⎥
⎣ vn ⎦
17
Type I row supervector is given by the following example.
⎡ a11 ⎤
⎢ 1⎥
i.e., a = ⎢ a2 ⎥
⎢M⎥
⎢ 1⎥
⎢⎣ an ⎥⎦ m
is defined to be the type II column supervector.
Similarly if
⎡ a11 ⎤ ⎡ a12 ⎤ ⎡ a1m ⎤
⎢a ⎥ ⎢a ⎥ ⎢a ⎥
a1 = ⎢ 21 ⎥ , a2 = ⎢ 22 ⎥ , …, am = ⎢ 2m ⎥ .
⎢ M ⎥ ⎢ M ⎥ ⎢ M ⎥
⎢ ⎥ ⎢ ⎥ ⎢ ⎥
⎣ an1 ⎦ ⎣ an 2 ⎦ ⎣ anm ⎦
18
Clearly
⎡ a11 ⎤
⎢ 1⎥
a
a = ⎢ 2 ⎥ = [a1 a2 … am]n
⎢M⎥
⎢ 1⎥
⎣⎢ an ⎦⎥ m
the equality of supermatrices.
⎡3 6 0 4 5⎤
⎢2 1 6 3 0 ⎥⎥
⎢
A = ⎢1 1 1 2 1⎥
⎢ ⎥
⎢0 1 0 1 0⎥
⎢⎣ 2 0 1 2 1 ⎥⎦
⎡3 6 0 4 5⎤
⎢2 1 6 3 0 ⎥⎥
⎢
a = ⎢1 1 1 2 1⎥
⎢ ⎥
⎢0 1 0 1 0⎥
⎢⎣ 2 0 1 2 1 ⎥⎦
where
⎡ 3 6 0⎤ ⎡4 5⎤
a11 = ⎢⎢ 2 1 6 ⎥⎥ , a12 = ⎢3 0⎥ ,
⎢ ⎥
⎢⎣ 1 1 1 ⎥⎦ ⎢⎣ 2 1 ⎥⎦
⎡0 1 0⎤ ⎡1 0⎤
a21 = ⎢ ⎥ and a22 = ⎢2 1⎥ .
⎣2 0 1⎦ ⎣ ⎦
⎡a a12 ⎤
i.e., a = ⎢ 11 ⎥.
⎣ a 21 a 22 ⎦
19
⎡3 6 0 4 5⎤
⎢2 1 6 3 0 ⎥⎥
⎢ ⎡b b12 ⎤
b = ⎢1 1 1 2 1 ⎥ = ⎢ 11
⎢ ⎥ b b 22 ⎥⎦
⎢0 1 0 1 0 ⎥ ⎣ 21
⎢2 0 1 2 1 ⎥⎦
⎣
where
⎡3 6 0 4⎤ ⎡5⎤
⎢2 1 6 3 ⎥⎥ ⎢0⎥
b11 = ⎢ , b12 = ⎢ ⎥,
⎢1 1 1 2⎥ ⎢1 ⎥
⎢ ⎥ ⎢ ⎥
⎣0 1 0 1⎦ ⎣0⎦
⎡3 6 0 4 5⎤
⎢2 1 6 3 0 ⎥⎥
⎢
a = ⎢1 1 1 2 1⎥
⎢ ⎥
⎢0 1 0 1 0⎥
⎢⎣ 2 0 1 2 1 ⎥⎦
and
⎡3 6 05⎤ 4
⎢2 1 60 ⎥⎥
3
⎢
b = ⎢1 1 11⎥ .
2
⎢ ⎥
⎢0 1 00⎥ 1
⎢2 0 1 2 1 ⎥⎦
⎣
20
Example 1.1.12:
⎡3 2 1 7 8 ⎤
a = ⎢⎢ 0 2 1 6 9 ⎥⎥ = [T' | a']
⎢⎣ 0 0 5 1 2 ⎥⎦
and
⎡2 0 0⎤
⎢9 4 0 ⎥⎥
⎢ ⎡T⎤
b = ⎢8 3 6⎥ = ⎢ ⎥
⎢ ⎥ ⎣ b′ ⎦
⎢5 2 9⎥
⎢⎣ 4 7 3⎥⎦
⎡ a11 a12 ⎤
= ⎢⎢ a 21 a 22 ⎥⎥
⎢⎣ a 31 a 32 ⎥⎦
21
where
⎡ 2 1 3⎤ ⎡5 6 ⎤
a11 = ⎢⎢ 0 2 0 ⎥⎥ , a12 = ⎢1 1 ⎥ ,
⎢ ⎥
⎢⎣ 1 1 1 ⎥⎦ ⎢⎣ 0 2 ⎥⎦
⎡ 2 2 0⎤ ⎡1 1⎤
a21 = ⎢ ⎥ , a22 = ⎢ 0 1⎥ ,
⎣5 6 1⎦ ⎣ ⎦
⎡ 2 0 0⎤ ⎡0 4⎤
a31 = ⎢ ⎥ and a32 = ⎢ ⎥.
⎣1 0 1 ⎦ ⎣1 5 ⎦
The transpose of a
⎡2 0 1 2 5 2 1⎤
⎢1 2 1 2 6 0 0 ⎥⎥
⎢
at = a' = ⎢ 3 0 1 0 1 0 1⎥ .
⎢ ⎥
⎢5 1 0 1 0 0 1⎥
⎢⎣ 6 1 2 1 1 4 5 ⎥⎦
Let us consider the transposes of a11, a12, a21, a22, a31 and a32.
⎡ 2 0 1⎤
a'11 = a = ⎢⎢ 1 2 1⎥⎥
t
11
⎢⎣ 3 0 1⎥⎦
⎡5 1 0 ⎤
t
a'12 = a12 =⎢ ⎥
⎣6 1 2⎦
⎡2 5⎤
a'21 = a = ⎢⎢ 2 6 ⎥⎥
t
21
⎣⎢ 0 1 ⎥⎦
22
⎡2 1⎤
a'31 = a = ⎢⎢ 0 0 ⎥⎥
t
31
⎢⎣ 0 1 ⎥⎦
⎡1 0 ⎤
t
a'22 = a 22 =⎢ ⎥
⎣1 1 ⎦
⎡ 0 1⎤
t
a'32 = a 32 =⎢ ⎥.
⎣ 4 5⎦
′
⎡ a11 a ′21 L a ′n1 ⎤
⎢ a′ a ′22 L a ′n 2 ⎥⎥
a' = ⎢ 12 .
⎢ M M M ⎥
⎢ ⎥
′
⎣ a1m a ′2m L a ′nm ⎦
23
Now we will find the transpose of a symmetrically partitioned
symmetric simple matrix. Let a be the symmetrically partitioned
symmetric simple matrix.
⎡ a11 a 21 L a m1 ⎤
⎢a a 22 L a m2 ⎥⎥
a = ⎢ 12
⎢ M M M ⎥
⎢ ⎥
⎣ a1m a 2m L a mm ⎦
′
⎡ a11 (a12′ )′ L (a1m
′ )′ ⎤
⎢ a′ a '22 L (a ′2m )′⎥⎥
a' = ⎢ 12
⎢ M M M ⎥
⎢ ⎥
′
⎣ a1m a ′2m L a ′mm ⎦
24
Thus a = a'.
Similarly transpose of a symmetrically partitioned diagonal
matrix is simply the original diagonal supermatrix itself;
i.e., if
⎡ d1 ⎤
⎢ d2 ⎥
D= ⎢ ⎥
⎢ O ⎥
⎢ ⎥
⎣ dn ⎦
⎡ d1′ ⎤
⎢ d′2 ⎥
D' = ⎢ ⎥
⎢ O ⎥
⎢ ⎥
⎣ d′n ⎦
⎡3⎤
⎢1 ⎥
⎢ ⎥
⎢2⎥
⎢ ⎥
4
V= ⎢ ⎥
⎢5⎥
⎢ ⎥
⎢7 ⎥
⎢5⎥
⎢ ⎥
⎣⎢ 1 ⎦⎥
V’ = [3 1 2 | 4 5 7 | 5 1].
25
If
⎡ v1 ⎤
V = ⎢⎢ v 2 ⎥⎥
⎢⎣ v3 ⎥⎦
where
⎡3⎤ ⎡4⎤
v1 = ⎢⎢1 ⎥⎥ , v2 = ⎢ 5 ⎥ and v = ⎡5⎤
⎢ ⎥ 3 ⎢1 ⎥
⎣ ⎦
⎣⎢ 2 ⎦⎥ ⎣⎢7 ⎦⎥
Thus if
⎡ v1 ⎤
⎢v ⎥
V = ⎢ 2⎥
⎢M⎥
⎢ ⎥
⎣ vn ⎦
then
V' = [v'1 v'2 … v'n].
⎡ 3 0 1 1 5 2⎤
t = ⎢⎢ 4 2 0 1 3 5 ⎥⎥
⎢⎣ 1 0 1 0 1 6 ⎥⎦
= [T | a ]. The transpose of t
⎡3 4 1⎤
⎢0 2 0 ⎥⎥
⎢
⎢1 0 1 ⎥ ⎡ T′⎤
i.e., t' = ⎢ ⎥ = ⎢ ⎥.
⎢1 1 0 ⎥ ⎣⎢ a ′ ⎥⎦
⎢5 3 1⎥
⎢ ⎥
⎣⎢ 2 5 6 ⎦⎥
26
The addition of supermatrices may not be always be defined.
⎡a a12 ⎤
a = ⎢ 11 ⎥
⎣ a 21 a 22 ⎦
and
⎡b b12 ⎤
b = ⎢ 11
⎣ b 21 b 22 ⎥⎦
where
⎡3 0 ⎤ ⎡1 ⎤
a11 = ⎢ ⎥, a12 = ⎢ ⎥
⎣1 2 ⎦ ⎣7 ⎦
⎡5⎤ ⎡4 1⎤
b21 = ⎢ ⎥ and b22 = ⎢ ⎥.
⎣2⎦ ⎣0 2⎦
27
We recall X = (x1 x2 | x3 x4 x5 | x6) is a super row vector
where xi ∈ F; F a field; 1 ≤ i ≤ 6. Suppose Y = (y1 y2 | y3 y4 y5 |
y6) with yi ∈ F; 1 ≤ i ≤ 6 we say X and Y are super vectors of
the same type. Further if Z = (z1 z2 z3 z4 | z5 z6) zi ∈ F; 1 ≤ i ≤ 6
then we don’t say Z to be a super vector of same type as X or Y.
Further same type super vectors X and Y over the same field are
equal if and only if xi = yi for i = 1, 2, …, 6. Super vectors of
same type can be added the resultant is once again a super
vector of the same type. The first important result about the
super vectors of same type is the following theorem.
Proof: Let
Also X + Y = Y + X.
28
We first illustrate this situation by some simple examples.
⎧⎛ x1 x5 x6 ⎞
⎪⎜ ⎟
⎪ x x2 x8 ⎟
P = ⎨⎜ 2 | xi ∈ Q; i = 1, 2, …, 12}.
⎪⎜⎜ x 3 x9 x10 ⎟
⎟
⎪⎝ x 4 x11 x12 ⎠
⎩
29
Clearly P is a group under matrix addition, which we choose to
call as partition matrix addition. P is a partition abelian group or
we call them as super groups. Now we proceed on to define
super vector space.
30
Example 1.2.7: Let
⎧⎛ y1 ⎞ ⎫
⎪⎜ ⎟ ⎪
V = ⎨⎜ y 2 ⎟ y1 , y 2 , y3 ∈Q ⎬ .
⎪⎜ y ⎟ ⎪
⎩⎝ 3 ⎠ ⎭
⎛ −5 ⎞
⎜ ⎟
5v = ⎜ 10 ⎟ ∈ V.
⎜ 20 ⎟
⎝ ⎠
⎧⎛ y1 ⎞
⎪⎜ ⎟
V = ⎨⎜ y 2 ⎟ y1 , y 2 , y3 ∈ Q ; the field of rational};
⎪⎜ y ⎟
⎩⎝ 3 ⎠
31
⎛ 5⎞
⎜ ⎟
v = ⎜ 1 ⎟ ∈ V.
⎜ 3⎟
⎝ ⎠
⎛ 5 ⎞ ⎛⎜ 5 2 ⎞⎟
⎜ ⎟
2 v = 2 ⎜1⎟ = ⎜ 2 ⎟ ∉ V
⎜ 3 ⎟ ⎜⎜ ⎟
⎝ ⎠ ⎝ 3 2 ⎟⎠
as 5 2 , 2 and 3 2 ∉ Q. So V is not a super vector space
over R.
⎧⎛ x1 x2 x9 x10 x11 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪ x x4 x12 x13 x14 ⎟ ⎪
A = ⎨⎜ 3 x ∈Q; 1≤ i ≤ 20 ⎬
⎪⎜⎜ x 5 x6 x15 x16 x17 ⎟ i
⎟ ⎪
⎪⎝ x 7 x8 x18 x19 x 20 ⎠ ⎪
⎩ ⎭
32
Example 1.2.12: Let
⎧⎪⎛ x x2 x5 x6 x7 ⎞ ⎫⎪
V = ⎨⎜ 1 ⎟ x i ∈R; 1≤ i ≤10 ⎬ .
⎪⎩⎝ x 3 x4 x8 x9 x10 ⎠ ⎪⎭
⎧⎪⎛ x x2 x5 x6 x7 ⎞ ⎫⎪
V = ⎨⎜ 1 ⎟ x i ∈R; 1≤ i ≤10 ⎬
⎪⎩⎝ x 3 x4 x8 x9 x10 ⎠ ⎪⎭
⎧⎛ a1 a 2 a5 a6 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪ a a4 a7 a8 ⎟ ⎪
A = ⎨⎜ 3 a i ∈Q; 1 ≤ i ≤16 ⎬ .
⎪⎜⎜ a 9 a10 a13 a14 ⎟
⎟ ⎪
⎪⎝ a11 a12 a15 a16 ⎠ ⎪
⎩ ⎭
33
We illustrate this by the following example.
⎧⎪⎛ a c ⎞ ⎫⎪
A = ⎨⎜ ⎟ a, b, c, d ∈ Q ⎬ .
⎪⎩⎝ b d ⎠ ⎪⎭
⎛ 2 1 ⎞ ⎛ 4 1⎞
4⎜ ⎟ +1 ⎜ ⎟
⎝ 1 −1⎠ ⎝ 4 3 ⎠
⎛ 8 4 ⎞ ⎛ 4 1⎞
=⎜ ⎟+⎜ ⎟
⎝ 4 −4 ⎠ ⎝ 4 3 ⎠
⎛ 12 5 ⎞
=⎜ ⎟ = β.
⎝ 8 −1⎠
34
DEFINITION 1.2.3: Let V be a super vector space over the field
F. A proper subset W of V is said to be super subspace of V if W
itself is a super vector space over F with the operations of super
vector addition and scalar multiplication on V.
35
super subspace, the super vector cα + β is in every Wα. Thus cα
+ β is again in W. By the theorem just proved; W is a super
subspace of V.
α = x1α1 + … + xmαm
β = y1β1 + … + ymβm
m m
cα + β = ∑ (cx ) α
i =1
i i + ∑y β
j =1
j j
xi, yi ∈ F; 1 ≤ i, j ≤ m.
Hence cα + β belongs to L. Thus L is a super subspace of V.
Now we have proved that L is a super subspace of V which
contains S, and also that any subspace which contains S
contains L. It follows that L is the intersection of all super
36
subspaces containing S, i.e. that L is the super subspace spanned
by the set S.
⎧⎛ x 1 x2 x9 x10 x11 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪ x x4 x12 x13 x14 ⎟ ⎪
A = ⎨⎜ 3 x ∈ Q; 1≤ i ≤16 ⎬
⎪⎜⎜ x 5 x6 x15 x16 x17 ⎟ i
⎟ ⎪
⎪⎝ x 7 x8 x18 x19 x 20 ⎠ ⎪
⎩ ⎭
⎧⎛ x1 0 0 0 ⎞
⎪⎜ ⎟
⎪ x 0 0 0 ⎟
W1 = ⎨⎜ 3 x1,x3,x6, x8,x13,x14,x8, x15, x16 ∈ Q}
⎪⎜⎜ 0 x6 x13 x14 ⎟
⎟
⎪⎝ 0 x8 x15 x16 ⎠
⎩
Let
37
⎧⎛ 0 0 0 0⎞ ⎫
⎪⎜ ⎟ ⎪
⎪ 0 0 0 0⎟ ⎪
W2 = ⎨⎜ x5 , x 6 ∈ Q⎬ ,
⎪⎜⎜ x 5 0 0 0⎟
⎟ ⎪
⎪⎝ x 7 0 0 0⎠ ⎪
⎩ ⎭
W2 is a super subspace of V.
Take
⎧⎛ 0 x 2 x9 x10 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪ 0 x4 x11 x12 ⎟ ⎪
W3 = ⎨⎜ x 2 , x 9 , x 4 , x10 , x11 , x12 ∈ Q ⎬
⎪⎜⎜ 0 0 0 0 ⎟
⎟ ⎪
⎪⎝ 0 0 0 0 ⎠ ⎪
⎩ ⎭
⎛ x1 x2 x9 x10 ⎞ ⎛ x1 0 0 0 ⎞
⎜ ⎟ ⎜ ⎟
⎜ x3 x4 x11 x12 ⎟ x
=⎜ 3
0 0 0 ⎟
+
⎜ x5 x6 x13 x14 ⎟ ⎜0 x6 x11 x14 ⎟
⎜ ⎟ ⎜ ⎟
⎝ x7 x8 x15 x16 ⎠ ⎝0 x8 x15 x16 ⎠
⎛0 0 0 0 ⎞ ⎛ 0 x2 x9 x10 ⎞
⎜ ⎟ ⎜ ⎟
⎜0 0 0 0 ⎟ ⎜ 0 x4
+
x11 x12 ⎟
.
⎜ x5 0 0 0⎟ ⎜0 0 0 0 ⎟
⎜ ⎟ ⎜ ⎟
⎝ x7 0 0 0⎠ ⎝0 0 0 0 ⎠
38
Example 1.2.18: Let V = {(a b c | d e | f g h) | a, b, c d, e, f, g, h
∈ Q} be a super vector space over Q. Let W1 = {(a b c | 0 e | 0 0
0 0) | a, b, c, e ∈ Q}, W1 is a super space of V. Take W2 = {(0 0
c | 0 0 | f g h) | f, g, h, c ∈ Q}; W2 is a super subspace of V.
⎧⎛ a ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ b ⎟ ⎪
⎪⎜ c ⎟ ⎪
⎪⎪⎜ ⎟ ⎪⎪
V = ⎨⎜ d ⎟ a, b,c,d,e,f ,g ∈ R ⎬ .
⎪⎜ e ⎟ ⎪
⎪⎜ ⎟ ⎪
⎪⎜ f ⎟ ⎪
⎪⎜ g ⎟ ⎪
⎩⎪⎝ ⎠ ⎭⎪
⎧⎛ 0 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ 0 ⎟ ⎪
⎪⎜ c ⎟ ⎪
⎪⎪⎜ ⎟ ⎪⎪
W1 = ⎨⎜ d ⎟ c,d,e,f ∈ R ⎬ ,
⎪⎜ e ⎟ ⎪
⎪⎜ ⎟ ⎪
⎪⎜ f ⎟ ⎪
⎪⎜ 0 ⎟ ⎪
⎪⎩⎝ ⎠ ⎪⎭
W1 is a super subspace of V.
Let
39
⎧⎛ a ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ b ⎟ ⎪
⎪⎜ 0 ⎟ ⎪
⎪⎪⎜ ⎟ ⎪⎪
W2 = ⎨⎜ 0 ⎟ a, b,g ∈ R ⎬,
⎪⎜ 0 ⎟ ⎪
⎪⎜ ⎟ ⎪
⎪⎜ 0 ⎟ ⎪
⎪⎜ g ⎟ ⎪
⎩⎪⎝ ⎠ ⎭⎪
⎛0⎞
⎜ ⎟
⎜0⎟
⎜0⎟
⎜ ⎟
W = W1 ∩ W2 = ⎜ 0 ⎟
⎜0⎟
⎜ ⎟
⎜0⎟
⎜0⎟
⎝ ⎠
⎪⎧⎛ x x2 x3 x4 x5 x6 ⎞
V = ⎨⎜ 1 ⎟
⎪⎩⎝ x 7 x4 x9 x10 x11 x12 ⎠
⎪⎧⎛ x x2 0 0 0 0⎞ ⎫⎪
W1 = ⎨⎜ 1 ⎟ x1, x 2 , x 7 , x 8 ∈Q ⎬
⎩⎪⎝ x 7 x8 0 0 0 0⎠ ⎪⎭
40
be the super subspace of the super vector space V.
⎧⎪⎛ 0 0 0 0 0 x6 ⎞ ⎫⎪
W2 = ⎨⎜ ⎟ x 6 , x 9 , x10 , x11 , x12 ∈ Q ⎬
⎪⎩⎝ 0 0 x 9 x10 x11 x12 ⎠
⎭⎪
⎛0 0 0 0 0 0⎞
W2 ∩ W1 = ⎜ ⎟
⎝0 0 0 0 0 0⎠
α1 = (1 2 | 3 5 6 | 7)
α2 = (5 6 | –1 2 0 1 | 8)
α3 = (2 1 | 8 0 1 2 | 0)
α4 = (1 1 | 1 1 0 3 | 2)
α5 = (3 –1 | 8 1 0 –1 | –4)
α6 = (8 1 | 0 1 1 1 | –2)
α7 = (1 2 | 2 0 0 1 | 0)
41
and
α8 = (3 1 | 2 3 4 5 | 6).
α1 = (1 0 | 0 0),
α2 = (0 1 | 0 0),
α3 = (0 0 | 1 0)
and
α4 = (0 0 | 0 1).
W1 = {(x1 … xr | 0 … 0 | 0 … 0 | 0 … 0)} ⊆ V
then we call W1 a special super subspace of V.
42
Example 1.2.23: Let
V = {(x1 | x2 x3 x4 | x5 x6) | xi ∈ Q; 1 ≤ i ≤ 6}
be a super vector space over Q. The special super subspaces of
V are
W1 = {(x1 | 0 0 0 | 0 0) | x1 ∈ Q}
is a special super subspace of V.
W4 = {(x1 |x 2 x 3 x 4 |00)}
is a special super subspace of V.
W5 = {( x1 |0 0 0| x 5 x 6 )|x1 x 5 x 6 ∈ Q}
is a special super subspace of V and
W6 = {( 0 | x 2 x 3 x 4 |x 5 x 6 )| x 2 , x 3 , x 4 , x 5 , x 6 ∈Q}
is a special super subspace of V. Thus V has only 6 special
super subspaces. However if
P = {(0 | x 2 0 x 4 | 0 0)|x 2 , x 4 ∈ Q}
is only a super subspace of V and not a special super subspace
of V. Likewise
T = {(x1 | 0 x 3 0|x 5 0 |x1 , x 3 , x 5 ∈ Q}
is only a super subspace of V and not a special super subspace
of V.
43
be a super vector space over Q. The special super subspaces of
V are as follows.
⎧⎛ x1 0 0 0 0⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ x 2 0 0 0 0⎟ ⎪
⎪ ⎪
W1 = ⎨⎜ x 3 0 0 0 0 ⎟ x 1 , x 2 , x 3 ∈ Q ⎬
⎪⎜ 0 0 0 0 0⎟
⎟ ⎪
⎪⎜ ⎪
⎪⎩⎜⎝ 0 0 0 0 0 ⎟⎠ ⎪⎭
⎧⎛ 0 0 0 0 0⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ 0 0 0 0 0⎟ ⎪
⎪ ⎪
W2 = ⎨⎜ 0 0 0 0 0 ⎟ x 4 , x 5 ∈Q ⎬
⎪⎜ x 0 0 0 0⎟
⎟ ⎪
⎪⎜ 4 ⎪
⎪⎩⎜⎝ x 5 0 0 0 0 ⎟⎠ ⎪⎭
⎧⎡0 x 6 x11 0 0⎤ ⎫
⎪⎢ ⎥ ⎪
⎪⎢0 x 7 x12 0 0⎥ ⎪
⎪ ⎪
W3 = ⎨ ⎢ 0 x 8 x13 0 0 ⎥ x 6 , x11 , x 7 , x 8 , x12 , x13 ∈Q ⎬
⎪⎢0 0 0 0 0⎥
⎥ ⎪
⎪⎢ ⎪
⎪⎩ ⎢⎣ 0 0 0 0 0 ⎥⎦ ⎪⎭
⎧⎛ 0 0 0 0 0⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ 0 0 0 0 0⎟ ⎪
⎪ ⎪
W4 = ⎨⎜ 0 0 0 0 ⎟
0 x 9 , x10 , x14 and x15 ∈Q ⎬
⎪⎜ 0 x x14 0 0⎟
⎟ ⎪
⎪⎜ 9
⎪
⎪⎩⎜⎝ 0 x10 x15 0 0 ⎟⎠ ⎪⎭
44
is a special super subspace of V.
⎧⎛ 0 0 0 x17 x18 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ 0 0 0 x19 x 20 ⎟ ⎪
⎪ ⎪
W5 = ⎨⎜ 0 0 0 x 21 x 22 ⎟ x17 , x18 , x19 , x 20 , x 21 and x 22 ∈Q ⎬
⎪⎜ 0 0 0 0 0 ⎟
⎟ ⎪
⎪⎜ ⎪
⎪⎩⎜⎝ 0 0 0 0 0 ⎟⎠ ⎪⎭
⎧⎛ 0 0 0 0 0 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ 0 0 0 0 0 ⎟ ⎪
⎪ ⎪
W6 = ⎨⎜ 0 0 0 0 0 ⎟ x 23 , x 24 , x 25 and x 26 ∈Q ⎬
⎪⎜ 0 0 0 x 23 x 24 ⎟
⎟ ⎪
⎪⎜ ⎪
⎪⎩⎜⎝ 0 0 0 x 25 x 26 ⎟⎠ ⎪⎭
⎧⎛ x1 0 0 0 0⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ x 2 0 0 0 0⎟ ⎪
⎪ ⎪
W7 = ⎨⎜ x 3 0 0 0 0 ⎟ x1 to x 5 ∈Q ⎬
⎪⎜ x 0 0 0 0⎟
⎟ ⎪
⎪⎜ 4 ⎪
⎜ 0 ⎟⎠
⎩⎪⎝ x 5 0 0 0 ⎭⎪
⎧⎛ x1 x6 x11 0 0⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ x 2 x7 x12 0 0⎟ ⎪
⎪ ⎪
W8 = ⎨⎜ x 3 x8 x13 0 0 ⎟ x1 , x 2 , x 3 , x 6 , x11 , x 7 , x 8 , x12 and x13 ∈Q ⎬
⎪⎜ 0 0 0 0 0⎟
⎟ ⎪
⎪⎜ ⎪
⎪⎩⎜⎝ 0 0 0 0 0 ⎟⎠ ⎪⎭
45
is also a special super subspace of V and so on,
∈1 = (1 0 K 0|0K 0|0K|00K 0)
∈2 = (0 1 K 0|0K|0K|0K 0)
M
∈n 1 = (0 K 1| 0K 0|0K |0K 0)
∈n 1 +1 = (0 K 0| 1 0 K 0| K |0K 0)
M
∈n 2 = (0 K 0| 0K1|0K |0K 0)
M
∈n n = (0 K 0| 0K 0| K |0 K 01)
46
∈1 = (1 0 0 | 0 0),
∈2 = (0 1 0 | 0 0),
∈3 = (0 0 1 | 0 0),
∈4 = (0 0 0 | 1 0),
and
∈5 = (0 0 0 | 0 1),
⎧⎛ x 1 x5 x6 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪ x2 x7 x18 ⎟ ⎪
V = ⎨⎜ x i ∈ Q; 1 ≤ i ≤ 12 ⎬
⎜ ⎟
⎪⎜ x 3 x9 x10
⎟ ⎪
⎪⎜ x 4 x11 x12 ⎟⎠ ⎪
⎩⎝ ⎭
47
⎛1 0 0⎞ ⎛0 0 0⎞ ⎛0 0 0⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
0 0 0⎟ 1 0 0⎟ 0 0 0⎟
∈1 = ⎜ , ∈2 = ⎜ , ∈3 = ⎜ ,
⎜0 0 0 ⎟ ⎜ 0 0 0 ⎟ ⎜ 0 0 0⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜0 0 0⎠⎟ ⎜ ⎟ ⎜ 0 ⎟⎠
⎝ ⎝0 0 0⎠ ⎝1 0
⎛0 1 0⎞ ⎛0 0 1⎞ ⎛0 0 0⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
0 0 0⎟ 0 0 0⎟ 0 1 0⎟
∈4 = ⎜ , ∈5 = ⎜ , ∈6 = ⎜ ,
⎜0 0 0⎟ ⎜0 0 0⎟ ⎜0 0 0⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜0 0 0 ⎟⎠ ⎜0 0 0 ⎟⎠ ⎜0 0 0 ⎟⎠
⎝ ⎝ ⎝
⎛0 0 0⎞ ⎛0 0 0⎞ ⎛0 0 0⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
0 0 1⎟ 0 0 0⎟ 0 0 0⎟
∈7 = ⎜ , ∈8 = ⎜ , ∈9 = ⎜ ,
⎜0 0 0⎟ ⎜0 1 0⎟ ⎜0 0 1⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜0 0 0 ⎟⎠ ⎜0 0 0 ⎟⎠ ⎜0 0 0 ⎟⎠
⎝ ⎝ ⎝
⎛0 0 0⎞ ⎛0 0 0⎞ ⎛0 0 0⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
0 0 0⎟ 0 0 0⎟ 0 0 0⎟
∈10 = ⎜ , ∈11 = ⎜ and ∈12 = ⎜ .
⎜0 0 0 ⎟ ⎜ 0 0 0 ⎟ ⎜ 1 0 0⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜0 1 0⎠⎟ ⎜ ⎟ ⎜ 0 ⎟⎠
⎝ ⎝0 0 1⎠ ⎝0 0
Now we are going to give a special notation for the super row
vectors which forms a super vector space and the super matrices
which also form a super vector space. Let X = (x1 … xt | xt+1 …
xk | … | xr+1 … xn) be a super row vector with entries from Q.
Define X = (A1 | A2 | … | Am) where each Ai is a row vector
A1 corresponds to the row vectors (x1 … xt), the set of row
vectors (xt+1 … xk) to A2 and so on. Clearly m ≤ n.
Likewise a super matrix is also given a special
representation.
48
Suppose
⎛ x1 x2 x3 x16 x17 ⎞
⎜ ⎟
⎜ x4 x5 x6 x18 x19 ⎟
⎛ A1 A2 ⎞
A = ⎜ x7 x5 x9 x 20 x 21 ⎟ = ⎜⎜ ⎟
⎜ ⎟ A3 A 4 ⎟⎠
⎜ x10 x11 x12 x 22 x 23 ⎟ ⎝
⎜x x14 x15 x 24 x 25 ⎟⎠
⎝ 13
⎛ x1 x2 x3 ⎞ ⎛ x16 x17 ⎞
⎜ ⎟ ⎜ ⎟
A1 = ⎜ x 4 x5 x 6 ⎟ , A 2 = ⎜ x15 x19 ⎟
⎜x x5 x 9 ⎟⎠ ⎜x x 21 ⎟⎠
⎝ 7 ⎝ 20
is a 3 × 2 rectangular matrix
⎛x x11 x12 ⎞
A3 = ⎜ 10 ⎟
⎝ x15 x14 x15 ⎠
⎛x x 23 ⎞
A 4 = ⎜ 22 ⎟
⎝ x 24 x 25 ⎠
49
Proof: Given V is a super vector space. To prove the theorem it
suffices to show that every subset S of V which contains more
than m super vectors is linearly dependent. Let S be such a set.
In S there are distinct super vectors α1, …, αn where
n > m. Since β1, β2, …, βm span V their exists scalars Aij in F
such that
m
α j = ∑ A ijβi .
i =1
For any n-scalars x1, …, xn we have
n
xα1 + K x n α n = ∑ x jα j
j=1
n m
= ∑x ∑A
j=1
j
i =1
ij βi
n m
= ∑ ∑ (A x ) β
j=1 i =1
ij j i
m ⎛ n ⎞
= ∑ ⎜ ∑ A ij x j ⎟ βi .
i =1 ⎝ j=1 ⎠
Since n > m we see there exists scalars x1, …, xn not all zero
such that
n
∑A xj=1
ij j = 0; 1≤ i ≤ m
50
dimensional and has only four elements in its basis. Consider a
set
i.e. to show this we can find scalars c1, c2, c3, c4 and c5 in Q not
all zero such that
∑c x i i = 0 . c1 (1 0 1 | 0) + c2 (1 2 3 | 4) + c3 (4 0 0 | 3) + c4 ( 0 1
2 | 1) + c5 (1 2 0 | 2) = (0 0 0 | 0)
gives
c1 + c2 + 4c3 + c5 = 0
2c2 + c4 + 2c5 = 0
c1 + 3c2 + 2c4 = 0
4c2 + 3c3 + c4 + 2c5 = 0.
51
Suppose S0 is a linearly independent subset of W. If S is a
linearly independent subset of W containing S0 then S is also a
linearly independent subset of V; since V is finite dimensional,
S contains no more than dim V elements.
We extend S0 to a basis for W as follows: S0 spans W, then
S0 is a basis for W and we are done. If S0 does not span W we
use the preceding lemma to find a super vector β1 in W such that
the set S1 = S0 ∪ {β1} is independent. If S1 spans W, fine. If not,
we apply the lemma to obtain a super vector β2 in W such that
S2 = S1 ∪ {β2 } is independent.
If we continue in this way then (in not more than dim V
steps) we reach at a set Sm = S0 ∪ {β1 , K , β m } which is a basis
for W.
52
So how to define linear transformations of super vector
spaces. Can we have linear transformations from a super vector
space to a super vector space when both are defined over the
same field F?
53
if for a super row vector, Y ∈ W and if Y = (B1 | … | Bn) then
we say V and W are super vector spaces with same type of
super row vectors or the number of partitions of the row vectors
in both V and W are equal or the same.
We call such super vector spaces as same type of super
vector spaces.
Let T : V → W
54
T (x1 x2 x3 | x4 x5 | x6)
= (x1 + x3 x2 + x3 | x4 x4 + x5 x5 | x6 0 –x6).
55
n > m we will not be in a position to define linear
transformation from super vector space V into W.
56
If
Tα1 = Tα2 = 0
then
T(cα1 + α2) = cTα1 + Tα2
= c.0 + 0
= 0.
57
xn) | xi ∈ Q; 1 ≤ i ≤ n} then dimension of V is n and V has B to
be its basis then B has only n-linearly independent elements in it
which are super vectors.
and thus
T (cα + β) = c(Tα) + Tβ.
If U is a linear transformation from V into W with Uαj = βj; j =
n
1, 2, …, n then for the super vector α = ∑x αi =1
i i we have Uα =
58
n n n
U ( ∑ x i αi ) = ∑ x i Uαi = ∑ x β , so that U is exactly the rule
i i
i =1 i =1 i =1
T which we have just defined above. This proves that the linear
transformation with Tαj = βj is unique.
∑ c (Tα ) = 0.
i = k +1
i i
n
This says that T( ∑ ci α i ) = 0 and accordingly the super
i = k +1
n
vector α = ∑cα
i = k +1
i i is in the null super space of T. Since α1, …,
∑ bi αi –
i =1
∑cα
j= k +1
j i =0
59
Since α1, …, αn are linearly independent we must have b1 = b2 =
… = bk = ck+1 = … = cn = 0.
If r is the rank of T, the fact that Tαk+1, …, Tαn form a basis for
the range of T tells us that r = n – k. Since k is the nullity of T
and n is the dimension of V, we have the required result.
Now we want to distinguish the linear transformation T of
usual vector spaces from the linear transformation T of the
super vector spaces.
To this end we shall from here onwards denote by Ts the
linear transformation of a super vector space V into a super
vector space W.
Further if V = {(A1 | … | An) | Ai are row vectors with
entries from F, a field} and V a super vector space over the field
F and W = {(B1 |… | Bn) | Bi are row vectors with entries from
the same field F} and W is also a super vector space over F. We
say Ts is a linear transformation of a super vector space V into
W if T = (T1 | … | Tn) where Ti is a linear transformation from
Ai to Bi; i = 1, 2, …, n. Since Ai is a row vector and Bi is a row
vector Ti(Ai) = Bi is a linear transformation of the vector space
with collection of row vectors Ai = (x1 … xi) with entries from F
into the vector space of row vectors Bi with entries from F. This
is true for each and every i; i = 1, 2, …, n.
Thus a linear transformation Ts from a super vector space V
into W can itself be realized as a super linear transformation as
Ts = (T1 | … | Tn).
60
THEOREM 1.3.3: Let V = {(A1 | … | An) | Ai’s are row vectors
with entries from F ; 1 ≤ i ≤ n} a super vector space over F. W =
{(B1 | … | Bn) | Bi’s are row vectors with entries from F; 1 ≤ i ≤
n} a super vector space over F. Let Ts = (T1 | … | Tn) and Us =
(U1 | … | Un) be linear transformations from V into W. The
function Ts + Us = (T1 + U1 | … | Tn + Un) defined by (Ts + Us)
(α) = (Ts + Us) (A1 | … | An) (where α ∈ V is such that α = (A1 |
… | An) = (T1A1 + U1A1 | T2A2 + U2A2 | … | TnAn + UnAn) is a
linear, transformation from V into W. If d is any element of F,
the function dT = (dT1 | … | dTn) defined by (dT) (α) = d(Tα) =
d(T1A1 | … | TnAn) is a linear transformation from V into W, the
set of all linear transformations from V into W together with
addition and scalar multiplication defined above is a super
vector space over the field F.
61
which shows (Ts + Us) is a linear transformation. Similarly
(eTs) (dα + β)
= e(Ts(dα + β))
= e (Tsdα + Tsβ)
= e[d(Tsα)] + eTs β
= ed[T1A1 | … | TnAn] + e [T1C1 | … | TnCn]
= edTsα + eTsβ
= d(eTs) α + eTsβ
62
For we shall first describe how Ts looks like and the way the
dimension of SL (V, W) is determined by a simple example.
Let Ts : V→ W;
i.e., Ts = (T1 | T2 | T3) such that T1(x1 x2 x3) = (x1 + x2, x2 + x3),
T2 (x4, x5) = (x4, x5) and T3 (x6, x7) = (x6, 0, x7, 0, x6).
63
9. Now let SL(V, W) be the set of all linear transformation of V
into W.
Now if Ts ∈ SL (V, W) then Ts = (T1 | T2 | T3), where
dimension of T1 is 12, dimension of T2 is 2 and dimension of T3
is 8. The super dimension of SL(V, W) is 12 + 2 + 8 = 22. Thus
it is not 63 and this dimension is different from that given in
example 1.3.7 which is just 20.
64
Suppose V = {(x1 | x2 x3 x4 | x5 x6) | xi ∈ Q; 1 ≤ i ≤ 6} a super
vector space over Q and W = {(x1 x2 x3 | x4 x5 | x6) | xi ∈ Q; 1 ≤ i
≤ 6} a super vector space over Q. Let SL(V, W) be the super
vector space of all linear transformation from V into W.
The natural dimension of SL(V, W) is 11. Thus we have
seen that SL(V, W) is highly dependent on the way the row
vectors are partitioned and we have different natural dimensions
for different partitions.
So we make some more additions in the definitions of super
vector spaces.
Let V = {(x1 x2 | … | … | xn) | xi ∈ F; F a field; 1 ≤ i ≤ n} be
a super vector space over F. If V = {(A1 | A2 | … | Ak) | Ai are
row vectors with entries from the field F; i = 1, 2, …, k, k ≤ n}
Suppose the number of elements in Ai is ni; i = 1, 2, …, n then
we see natural dimension of V is n = n1 + … + nk and is denoted
by (n1, …, nk).
Let W = {(x1 | … | … | xm) | xi ∈ F, F a field i ≤ i ≤ m) be a
super vector space over the field F of natural dimension m. Let
W = {(B1 | … | Bk), k ≤ m; Bi’s row vectors with entries from F;
i = 1, 2, …, k}. Then natural dimension of W is m = m1 + … +
mk where mi is the number of elements in the row vector Bi, 1 ≤
i ≤ k.
65
W) of all linear transformations from V into W is finite
dimensional and has dimension m1n1 + m2n2 + … + mknk ≤ mn.
⎧⎪ 0 if t ≠ q i
E pi ,qi (α t ) = ⎨
⎪⎩βpi if t = q i
= δ t q βpi for i = 1, 2, 3, …, k.
i
66
LEMMA 1.3.1: Let V be a super vector space over the field F, let
U1s T1s and T2s be linear operators on V; let c be an element of
F.
U s (T2s + T2s )
= (U1 | .. .| U k ) [(T21 | . .. | T1k ) + (T21 | . . .| T2k )]
= [U1 (T11 + T21 ) | . .. | U k (T1k + T2k )]
= [(U1T11 + U1 T21 ) | . . . | U k T1k + U k T2k ]
= (U1T11 | .. . | U k T1k ) + (U1T21 | . .. | U k T2k )
= U s T1s + U s T2s .
67
= c(U1T11 | K | U k T1k ) = c(U1T11 | . .. | cU k T1k ) .
Now
(cU s )T1s = (cU1 | . . . | (cU k ) (T11 | . . . | T1k ) = (c1U1T11 | . . . | cU k T1k ]
So
c(U s T1s ) = (cU s ) T1s . . . I
Consider
from I we see
c(U s T1s ) = c(U s )T1s = U s (cT1s ) .
68
vectors. However when the problem of linear transformation of
super vector spaces was to be carried out one faced with some
simple problems however one can also define linear
transformation of super vector spaces by not disturbing the
partitions or by preserving the partition but the elements with in
the partition which are distinct had to be changed or defined
depending on the elements in the partitions of the range space.
69
DEFINITION 1.3.7: Let V = (V1 | … | Vn) be a super vector space
over the field F. Let ni be the dimension of the vector space Vi
over F, i = 1, 2, …, n; then the dimension of V is n1 + … + nn,
we call this as the natural dimension of the super vector space
V. Thus if V = (V1 | … | Vn) is a super vector space of dimension
n1 + … + nn over the field F, then we can say V = (F n1 |…| F nn ) .
70
⎛ m1 mk
⎞
(T1 α j | . . . | Tk α j ) = ⎜ ∑ A ijn1 βi | ... | α i ∑ A ijn k βi ⎟ of the
⎝ i =1 i =1 ⎠
super row vector βi; 1 ≤ i ≤ m; the scalars A ij .. . A mi j being the
ni ni
⎛ A1m1xn1 0 0 0 ⎞
⎜ 2
⎟
⎜ 0 A m 2 xn 2 0 0 ⎟
A= ⎜ ⎟.
⎜ 0 0 O 0 ⎟
⎜ 0 0 k
0 A mk xn k ⎟
⎝ ⎠
With this related super matrix with entries from the field F;
one can understand how the transformation takes place.
71
⎛1 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜1 0 2 0 0 0 0 0 0⎟
⎜0 0 0 2 1 0 0 0 0⎟
⎜ ⎟
A = ⎜0 0 0 0 −1 0 0 0 0⎟
⎜0 0 0 0 1 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 1 0 1 0⎟
⎜0 0 0 0 0 0 2 0 1 ⎟⎠
⎝
= [T1 (x1 x 2 x 3 )| T2 (x 4 x 5 ) | T3 (x 6 x 7 x 8 x 9 )]
= [x1 , x 2 + 2x 3 | 2x 4 + x 5 , -x 5 , x 5 | x 6 + x 8 , 2x 7 + x 9 ] ∈ W.
72
Consider the 10 × 9 super matrix
⎛1 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜1 2 0 0 0 0 0 0 0⎟
⎜0 1 0 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 1 −1 0 0 0 0 0⎟
⎜0 0 0 0 1 0 −1 0 0 ⎟
A=⎜ ⎟.
⎜0 0 0 0 0 1 0 0 0⎟
⎜0 0 0 0 0 1 1 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 1 1⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 1⎟
⎜0 0 0 0 0 0 0 1 0 ⎟⎠
⎝
⎧⎛ a1 a2 0 0 0 0 0 0 0 ⎞
⎪⎜ ⎟
⎪⎜ a 3 a4 0 0 0 0 0 0 0 ⎟
⎪⎜ a 5 a6 0 0 0 0 0 0 0 ⎟
⎪⎜ ⎟
⎪⎜ 0 0 a7 a8 0 0 0 0 0 ⎟
⎪⎜
⎪ 0 0 0 0 a9 a10 a11 0 0 ⎟
⎨⎜ ⎟
⎪⎜ 0 0 0 0 a12 a13 a14 0 0 ⎟
⎪⎜ 0 0 0 0 a15 a16 a17 0 0 ⎟
⎪⎜ ⎟
⎪⎜ 0 0 0 0 0 0 0 a18 a19 ⎟
⎪⎜ 0 0 0 0 0 0 0 a 20 a 21 ⎟
⎟
⎪⎜⎜
⎪⎩⎝ 0 0 0 0 0 0 0 a 22 a 23 ⎟⎠
73
such that ai ∈ Q; 1 ≤ i ≤ 23}.
Thus the dimension of SL(V, W) is 3 × 2 + 1 × 2 + 3 × 3 + 3 × 2
= 6 + 2 + 9 + 6 = 23.
⎛8 1 ⎞
⎜ 0 0 0 ⎟
⎜6 7 ⎟
⎜ 0 5 6 0 0 ⎟
⎜ ⎟
⎜ 0 7 1 0
0 0 ⎟
⎜ 6 8 −1 ⎟
⎜ ⎟
⎜ 3 1⎟
⎜ 0 0 0 6 7⎟
⎜ ⎟
⎜ 6 0 ⎟
⎝ ⎠
be a 8 × 9 super matrix.
We call A the super diagonal matrix as only the diagonal
matrices are non zero and rest of the matrices and zero. It is
important to mention here that in a super diagonal matrix we do
not need the super matrix to be a square matrix; it can be any
matrix expect a super row matrix or super column matrix.
74
where Aij are simple matrices we say A is a super diagonal
matrix if A11, A22, …, Ann are non zero matrices and Aij is a zero
matrix if i ≠ j.
⎛9 0 1 2 0 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜2 1 0 0 0 0 0 0 0 0 0 0 0⎟
⎜5 6 1 0 0 0 0 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 5 0 0 0 0 0 0 0 0⎟
⎜0 0 0 0 0 1 1 1 0 0 0 0 0⎟
A=⎜ ⎟.
⎜0 0 0 0 0 2 0 0 0 0 0 0 0⎟
⎜0 0 0 0 0 5 0 7 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 1 0 1 1 2⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 0 1 0 1 0⎟
⎜0 0 0 0 0 0 0 0 0 2 1 0 7 ⎟⎠
⎝
75
matrix A with entries from F such that Ts → A is a one to one
correspondence between the set of all linear transformations
from V into W and the set of all m × n super diagonal matrices
over the field F.
⎛ (M1 ) m1 ×n1 0 K 0 ⎞
⎜ ⎟
⎜ 0 (M 2 ) m2 ×n 2 0 0 ⎟
A=⎜ ⎟
⎜ 0 0 K 0 ⎟
⎜ 0 0 0 (M k ) mk ×n k ⎟
⎝ ⎠
76
V), we have this space to be isomorphic to the collection of all n
× n super square diagonal matrices where each of the diagonal
matrices are also square matrices.
⎛1 0 1 1 0 0 0 0 0 0⎞
⎜ ⎟
⎜0 1 1 0 0 0 0 0 0 0⎟
⎜1 0 0 1 0 0 0 0 0 0⎟
⎜ ⎟
⎜1 0 1 0 0 0 0 0 0 0⎟
⎜0 0 0 0 1 5 0 0 0 0⎟
A=⎜ ⎟.
⎜0 0 0 0 0 2 0 0 0 0⎟
⎜0 0 0 0 0 0 1 0 2 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 1 2 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 2 0 1 0⎟
⎜0 0 0 0 0 0 0 0 0 3 ⎟⎠
⎝
= (x1 + x 3 + x 4 , x 2 + x 3 , x1 + x 4 , x1 + x 3 | x 5 + 5x 6 , 2x 6 |
x 7 + 2x 9 , x 8 + 2x 9 , 2x 7 + x 9 | 3x10 ) ∈ V.
Thus we see in case of linear operators Ts of super vector spaces
the associated super matrices of Ts is a square super diagonal
matrix whose diagonal matrices are also square matrices.
77
We give yet another example before we proceed on to work
with more properties.
⎛1 1 0 0 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜2 1 0 0 0 0 0 0 0 0 0 0⎟
⎜0 0 1 2 0 0 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 3 0 1 0 0 0 0 0 0 0⎟
⎜0 0 0 1 −4 0 0 0 0 0 0 0 ⎟
⎜ ⎟
⎜0 0 0 0 0 2 0 0 0 0 0 0⎟
A=⎜ .
0 0 0 0 0 1 5 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 1 2 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 2 1 0 0 0⎟
⎜0 0 0 0 0 0 0 0 0 1 2 3⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 0 3 1 2⎟
⎜0 0 0 0 0 0 0 0 0 2 3 1 ⎟⎠
⎝
78
⎛ a1 a 2 0 0 0 0 0 0 0 0 0 0 ⎞
⎜ ⎟
⎜ a3 a 4 0 0 0 0 0 0 0 0 0 0 ⎟
⎜ 0 0 a5 a6 a7 0 0 0 0 0 0 0 ⎟
⎜ ⎟
⎜ 0 0 a 8 a 9 a10 0 0 0 0 0 0 0 ⎟
⎜0 0 a a12 a13 0 0 0 0 0 0 0 ⎟
⎜ 11
⎟
⎜0 0 0 0 0 a14 a15 0 0 0 0 0 ⎟
{A = ⎜
0 0 0 0 0 a16 a17 0 0 0 0 0 ⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 a18 a19 0 0 0 ⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 a 20 a 21 0 0 0 ⎟
⎜0 0 0 0 0 0 0 0 0 a 22 a 23 a 24 ⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 0 a 25 a 26 a 27 ⎟
⎜ 0 a 28 a 29 a 30 ⎟⎠
⎝0 0 0 0 0 0 0 0
⎛ (A1 ) n1 ×n1 0 0 0 ⎞
⎜ ⎟
⎜ 0 (A 2 ) n 2 ×n 2 0 ⎟
A=⎜ ⎟.
⎜ 0 0 0 ⎟
⎜ 0 0 0 (A k ) n k ×n k ⎟
⎝ ⎠
79
Now we define when is a linear operator from V into V
invertible before we proceed onto define the notion of super
linear algebras.
⎛ M1 0 K 0 ⎞
⎜ ⎟
0 M2 0 0 ⎟
A=⎜
⎜ 0 0 K 0 ⎟
⎜ ⎟
⎜ 0 0 0 M k ⎟⎠
⎝
80
1.4 Super Linear Algebra
In this section for the first time we define the notion of super
linear algebra and give some of its properties.
81
truth is as in case of usual linear algebra, every super linear
algebra is a super vector space but in general every super vector
space need not be a super linear algebra.
⎛1 1 1⎞
⎜ ⎟
A B = ⎜ 1 4 2 ⎟ ∈ V.
⎜3 2 2⎟
⎝ ⎠
82
Now we have seen that in general all super vector spaces need
not be super linear algebras.
i.e., Tα = cα.
i.e., (T1α1 | … | Tkαk) = (c1α1 | … | ckαk).
83
THEOREM 1.4.1: Let Ts be a linear operator on a finite
dimensional super vector space V and let c be a scalar of n
tuple. Then the following are equivalent.
⎛0 1 2 3 0 0 0 0 0 0⎞
⎜ ⎟
⎜5 0 1 1 0 0 0 0 0 0⎟
⎜2 0 0 1 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 9 2 1 0 0 0⎟
⎜0 0 0 0 0 1 2 0 0 0⎟
A=⎜ ⎟.
⎜0 0 0 0 0 0 0 6 1 0⎟
⎜0 0 0 0 0 0 0 1 1 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 1 1⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 1 0 1⎟
⎜0 0 0 0 0 0 0 1 0 2 ⎟⎠
⎝
84
This is a square super diagonal matrix whose diagonal terms
are not square matrices. So for such type of matrices we cannot
define the notion of determinant of A.
⎛3 1 0 2 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜1 0 1 1 0 0 0 0 0 0 0 0⎟
⎜5 0 0 1 0 0 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 2 1 0 0 0 0 0 0 0 0 0⎟
⎜0 0 0 0 5 0 1 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 1 1 0 0 0 0 0⎟
A=⎜
0 0 0 0 0 2 2 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 1 0 −1 2 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 1 3 1 6⎟
⎜0 0 0 0 0 0 0 1 0 0 2 −1⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 2 5 1 0⎟
⎜0 0 0 0 0 0 0 1 3 1 0 2 ⎟⎠
⎝
85
⎛6 3 1 2 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜1 1 0 1 0 0 0 0 0 0 0 0⎟
⎜3 0 0 7 0 0 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 7 1 0 0 0 0 0 0⎟
⎜0 0 0 0 0 1 2 0 0 0 0 0⎟
A=⎜ ⎟.
⎜0 0 0 0 0 1 1 0 0 0 0 0⎟
⎜0 0 0 0 0 0 0 4 0 1 1 −1⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 2 1 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 3 5 0 0 1⎟
⎜0 0 0 0 0 0 0 1 2 3 4 0 ⎟⎠
⎝
86
⎛9 0 1 1 1 0 0⎞ 0 0 0 0 0 0
⎜ ⎟
⎜0 1 0 1 0 0 0⎟ 0 0 0 0 0 0
⎜2 0 1 0 0 0 0⎟ 0 0 0 0 0 0
⎜ ⎟
⎜0 3 0 0 4 0 0⎟ 0 0 0 0 0 0
⎜0 0 0 0 0 2 0⎟ 0 1 0 0 0 0
⎜ ⎟
⎜0 0 0 0 0 0 0⎟ 3 2 0 0 0 0
A = ⎜0 0 0 0 0 1 0⎟ 1 0 0 0 0 0
⎜ ⎟
⎜0 0 0 0 0 0 1⎟ 0 0 2 1 0 1
⎜ ⎟
⎜0 0 0 0 0 0 0⎟ 0 0 0 1 0 2
⎜0 0 0 0 0 0 2⎟ 0 0 1 1 0 1
⎜ ⎟
⎜0 0 0 0 0 0 1⎟ 0 0 2 0 1 1
⎜0 0 0 0 0 0 0 0 0 1 1 2 1⎟
⎜⎜ ⎟
⎝0 0 0 0 0 0 0 0 2 0 1 1 1 ⎠⎟
⎡| A1 | 0 0 0 0 0 ⎤
⎢ 0 |A | 0 0 0 0 ⎥
⎢ 2 ⎥
⎢ 0 0 | A3 | 0 0 0 ⎥
|A|= ⎢ ⎥
⎢ 0 0 0 0 0 0 ⎥
⎢ 0 0 0 0 | A n −1 | 0 ⎥
⎢ ⎥
⎢⎣ 0 0 0 0 0 | An |⎥⎦
= (| A1 |, | A 2 | ,. . ., | A n |).
87
where each submatrix Ai of A is a square matrix and |Ai|
denotes the determinant of Ai, i = 1, 2, …, n.
⎛2 1 ⎞
⎜ 0 0 0 ⎟
⎜0 1 ⎟
⎜ 3 1 2 ⎟
⎜ ⎟
⎜ 0 0 0 1 0 0 ⎟
⎜ 1 2 0 ⎟
⎜ ⎟
⎜ 3 1 ⎟.
⎜ 0 0
0 1
0 ⎟
⎜ ⎟
⎜ 0 1 2 0⎟
⎜ ⎟
⎜ 0 0 0 3 4⎟
0 0
⎜ 0 1 0 0⎟
⎜ ⎟
⎜ 1 0 0 0 ⎟⎠
⎝
⎡ 0 1 2 0⎤
⎢ 3 1 2 ⎥
⎢2 1 3 1 0 0 3 4⎥
A = |A| = ⎢ 0 0 1
0 1 0 1 0 1 0 0⎥
⎢ 1 2 0 ⎥
⎢ 1 0 0 0⎥
⎣ ⎦
= [ 2 | -5 | 3 | -8 |].
88
Thus the super determinant of a super matrix is defined if
and only if the super matrix is a square super diagonal square
matrix.
Now having defined the determinant of a square super
diagonal matrix, we proceed on to define super characteristic
value associated with a square super diagonal square matrix. At
this point it has become pertinent to mention here that all linear
operators Ts can be associated with a super matrix A, where A is
a super square diagonal square matrix.
Now we first illustrate it by an example. We have already
defined the notion of super polynomial p(x) = [p1(x) | p2(x) | … |
pn(x)].
Now we will be making use of this definition also.
89
is a polynomial of degree less than or equal i; i = 3, 5, 6 and 2},
V is a super vector space over Q and V is a finite dimensional
super vector space over Q.
For the dimension of V is 6 + 4 + 7 + 3 + 4 = 24. Thus
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0
A = ⎜ ⎟
⎜0 0 0 ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
90
⎛ A1 − c1 I 0 0 ⎞
⎜ ⎟
0 A2 − c2 I 0
A − cI = ⎜ ⎟
⎜ 0 0 0 ⎟
⎜ ⎟
⎜ 0 0 0 An − cn I ⎟⎠
⎝
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
91
where each Ai is a square matrix of order ni × ni, i = 1, 2, …, n.
Let B be another square super diagonal square matrix of same
order ie let
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Bn ⎟⎠
⎝
⎛ P1 0 0⎞
⎜ ⎟
0 P2 0⎟
P = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Pn ⎟⎠
⎝
⎛ P1−1 0 0 ⎞
⎜ ⎟
0 P2−1 0 ⎟
B = P A P = ⎜⎜
-1
⎟ ×
⎜ ⎟
⎜ 0 Pn−1 ⎟⎠
⎝
⎛ A1 0 0 ⎞ ⎛ P1 0 0⎞
⎜ ⎟ ⎜ ⎟
⎜ 0 A2 0 ⎟ ⎜0
×
P2 0⎟
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ ⎟
⎜ 0 A n ⎟⎠ ⎜⎝ 0 Pn ⎟⎠
⎝
92
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
=⎜
⎜ ⎟
⎜ ⎟
⎜0 Bn ⎟⎠
⎝
⎛ P1−1A1P1 0 0 ⎞
⎜ −1 ⎟
0 P A 2 P2 0
= ⎜⎜ ⎟.
2
⎟
⎜ ⎟
⎜ 0 Pn−1A n Pn ⎟⎠
⎝
93
Example 1.4.11: Let Ts be a linear operator on V = {(x1x2 | x3x4
| x5x6) | xi ∈ Q; 1 ≤ i ≤ 6} the super vector space over Q, which
is represented by a square super diagonal square matrix
⎛ 0 −1 0 0 0 0⎞
⎜ ⎟
⎜1 0 0 0 0 0⎟
⎛ A1 0 0 ⎞
⎜0 0 0 −1 0 0⎟ ⎜ ⎟
A= ⎜ ⎟=⎜ 0 A2 0 ⎟.
⎜0 0 1 0 0 0⎟ ⎜
0 0 A3 ⎟⎠
⎜0 0 0 0 0 1⎟ ⎝
⎜⎜ ⎟
⎝0 0 0 0 −1 0 ⎟⎠
⎛x 1 0 0 0 0⎞
⎜ ⎟
⎜ −1 x 0 0 0 0⎟
⎜0 0 x 1 0 0⎟
(xI – A) = ⎜ ⎟
⎜0 0 −1 x 0 0⎟
⎜0 0 0 0 x −1⎟
⎜⎜ ⎟
⎝0 0 0 0 1 x ⎟⎠
94
Recall as in case of usual matrices or usual linear operators
of a vector space we in case of super vector spaces using a
linear operator Ts = (T1 | … | Tn) on V, to have the characteristic
super vector α = (α1 | … | αn) as the characteristic super vector,
if Tsα = cα i.e., (T1α1 | … |Tnαn) = (c1α1 | … | cnαn) where c =
(c1 | … | cn)) is the characteristic super value associated with Ts.
⎛ c11 0 0 ⎞
⎜ 2 ⎟
⎜ 0 c1 0
0 0 0 ⎟
⎜ ⎟
⎜ ⎟
⎜0 0 c1n1 ⎟
⎜ ⎟
⎜ c12 0 0 ⎟
⎜ 0 c 22 0 ⎟
⎜ 0 0 0 ⎟
[Ts ]B = ⎜ ⎟
⎜ 0 0 c n2 2 ⎟
⎜ ⎟
⎜ 0 0 ⎟
⎜ 1 ⎟
⎜ c n 0 0 ⎟
⎜ 0 c 2n 0 ⎟
⎜ 0 0 0 ⎟
⎜ ⎟
⎜ 0 0 nn ⎟
cn
⎝ ⎠
95
The scalars can be identical when each Ti is a scalar multiple of
the identity operator. But in general we may not have them to be
distinct suppose Ts is a super diagonalizable operator.
Let (c11 ,c12 , . .., cik1 ), (c12 , c 22 , .. ., c k2 2 ), . .. (c1n , c 2n , .. ., c kn n ) be the
distinct characteristic values of Ti of Ts for i = 1, 2, …, n where
Ts = [T1 | … | Tn]. Then we have a basis B for which Ts is
represented by a super diagonal matrix for which its diagonal
entries are c1i , ci2 , . . ., cin each repeated a certain number of times.
If cit is represented d it times then the super matrix has super
block form,
ie [Ts]B = [Ts]B =
⎛ c11I11 0 0 ⎞
⎜ 2 1 ⎟
⎜ 0 c1 I2 0
0 0 0 ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 0 c1k1 I1k1 ⎟
⎜ ⎟
⎜ c12I12 0 0 ⎟
⎜ 0 c22I12 0 ⎟
⎜ 0 0 0 ⎟
⎜ ⎟
⎜ 0 0 ck22 I2k2 ⎟
⎜ ⎟
⎜ 0 0 ⎟
⎜ 1 n
⎟
⎜ cIn 1 0 0 ⎟
⎜ 0 cI2 n
0 ⎟
⎜ 0 0 0
n 2 ⎟
⎜ ⎟
⎜ kn n ⎟
⎜ 0 0 cn Ikn ⎟
⎝ ⎠
96
We leave the following lemma as an exercise for the reader.
Proof: We prove
the result for one subspace
W = W + . . . + W , this being true for every t, t = 1, 2, …,
t
1
t t
kt
97
associated with different characteristic values are independent
of one another.
Suppose that for each it we have a vector βit in Wit and
assume that βit + . .. + βkt t = 0 we shall show that βit = 0 for each
i, i = 1, 2, …, kt. Let ft be any polynomial of the super
polynomial f = (f1 | … | fn); 1 ≤ t ≤ n.
98
W = (W11 + .. . + Wk11 | .. .| W1n + . . . + Wknn ) .
99
Suppose (F[x] | … | F[x]) is a super vector space of polynomials
over the field F. V = (V1 | … | Vn) be a super vector space over
the field F. Let Ts be a linear operator on V. Now we are
interested in studying the class of super polynomial, which
annihilate Ts. Specifically suppose Ts is a linear operator on V, a
super vector space V over the field F. If p = (p1 | … | pn) is a
super polynomial over F and q = (q1 | … | qn) another super
polynomial over F; then
100
2 2
(c10 I1 + c11Tt + K + c1n 2 T1n1 | K | c0n I n + c1n Tn + K + cnn 2 Tnn n ) = (0 | …
1 n
| 0) for some scalar c1in .. . cinn not all zero. So the super ideal of
super polynomial which annihilate Ts contains non-zero super
polynomials of degree (n12 , . .., n 2n ) or less.
101
If the operator Ts represented in some ordered super basis
by the super square diagonal square matrix then Ts and A have
the same minimal super polynomial. That is because f(Ts) =
(f1(T1) | … | (fn(Tn)) is represented in the super basis by the
super diagonal square matrix f(A) = (f1(A) | … | fn(An)) so that
f(T) = (0 | … | 0) if and only if f(A) = (0 | . . | 0), i.e.; fi(Ti) = 0 if
and only if fi(Ai) = 0.
In fact from the earlier properties mentioned in this book
similar square super diagonal square matrices have the same
minimal super polynomial. That fact is also clear from the
definition because f(P–1AP) = P–1f(A)P i.e., (f1( P1−1 A1P1) | … |
fn ( Pn−1 AnPn)) = (P1−1f1 (A1 )P1 | .. .| Pn−1f n (A n )Pn ) for every super
polynomial f = (f1 | … | fn).
Yet another basic remark which we should make about
minimal super polynomials of square super diagonal square
matrices is that if A is a n × n square super diagonal square
matrix of orders n1 × n1, …, nn × nn with entries in the field F.
Suppose F1 is a field which contains F as a subfield we may
regard A as a square super diagonal square matrix either over F
or over F1 it may so appear that we obtain two different super
minimal polynomials for A.
Fortunately that is not the case and the reason for it is if we
find out what is the definition of super minimal polynomial for
A, regarded as a square super diagonal square matrix over the
field F. We consider all monic super polynomials with
coefficients in F which super annihilate A, and we choose one
with the least super degree.
If f = (f1 | … | fn) is a monic super polynomial over F.
f = (f1 | … | fn)
k1 −1 k n −1
= (x k1 + ∑ a1j1 x j1 | . .. | x k n + ∑ a njn x jn )
j1 = 0 jn = 0
102
(A1k1 + a1k1 −1A1k1 −1 + .. . + a11A1 + a10 I1 |
. .. | A kn n + a kn n −1A nk n −1 + .. . + a1n A n + a 0n I n ) = (0 | 0 | … | 0) … I
103
First we suppose p(c) = (p1(c1) | … | pn(cn)) = (0 | 0 | … | 0).
Then p = (p1 | … | pn) = (x – c) q = ((x – c1)q1 | … | (x – cn)qn)
where q = (q1 | … | qn) is a super polynomial. Since super degree
q < super degree p ie (deg q1 | … | deg qn) < (deg p1 | … | deg
pn), the definition of the minimal super polynomial p tells us
that q (Ts) = (q1(T1) | … | qn(Tn)) ≠ (0 | … | 0). Choose a super
vector β = (β1 | … | βn) such that
q(Ts) β = (q1 (T1 ) β1 | .. .| q n (Tn )βn ) ≠ (0 | 0 | .. . | 0).
Let α = (α1 | … | αn)
= (q1 (T1 ) β1 | .. .| q n (Tn ) βn ).
Then
(0 | 0 | … | 0) = p(Ts ) β
= (p1 (T1 ) β1 | . . .| p n (Tn ) βn )
= (Ts − cI) q(Ts ) β
= ((T1 − c1I1 ) q1 (T1 ) β1 | . . .| (Tn − cn I n ) q n (Tn ) βn )
= ((T1 − c1I1 ) α1 | . .. | (Tn − c n I n ) α n )
= (T − cI) α
104
to see that the minimal super polynomial for Ts is the minimal
polynomial.
P = (p1 | … | pn)
= ((x − c11 ) .. . (x − c1k1 ) | . .. | (x − c1n ) . .. (x − c nk n )).
= (0 | … | 0).
105
n.) then f(T) = (f1(T1) | … | fn(Tn)) = (0 | 0 | … | 0); in other
words, the minimal super polynomial divides the characteristic
super polynomial for T.
⎛ n1 nn
⎞
= ⎜⎜ ∑ A1j1i1 α1j1 | .. .| ∑ A njn in α njn ⎟⎟ ;
⎝ j1 =1 jn =1 ⎠
1 ≤ jt ≤ nt; t = 1, 2, …, n.
⎛ n1 nn
⎞
⎜⎜ ∑ (δi1 j1 T1 − A j1i1 I1 ) α j1 | . .. | .. .| ∑ (δin jn Tn − A jn in I n ) α jn
1 1 n n
⎟⎟
⎝ j1 =1 jn =1 ⎠
= ( 0 | 0 | … | 0), 1 ≤ it ≤ nt; t = 1, 2, …, n.
106
⎛ ⎛ T − A1 I − A121I1 ⎞ ⎞ ⎛ ⎛ Tn − A11
n
In −A 21
n
In ⎞ ⎞
B = ⎜ ⎜ 1 1 11 1 ⎟ ⎟⎟ | …| ⎜⎜ ⎜ ⎟⎟
⎜ I n ⎠ ⎟⎠
⎝ ⎝ − A12 I1 T1 − A 22 I1 ⎠ ⎠ ⎝ ⎝ − A12 I n Tn − A 22
1 n n
(notational blunder)
and super det B =
= (0 | … | 0) for kt = 1, …, nt; t = 1, 2, …, n.
107
⎛ n1 1 1 nn
⎞
⎜⎜ ∑ Bi1 j1 α j1 | .. . | ∑ Bin jn α jn
n n
⎟⎟
⎝1j =1 jn = 1 ⎠
= ( 0 | … | 0), 1 ≤ it ≤ nt; t = 1, 2, …, n.
When n = 2 it is suggestive
⎛ Tn − A11
n
In − A 21
n
I n ⎞ ⎛ α1n ⎞ ⎞ ⎛ ⎛ 0 ⎞ ⎛ 0⎞⎞
|…| ⎜ ⎟ ⎜ ⎟ ⎟ = ⎜ ⎜ ⎟ | .. .| ⎜ ⎟ ⎟.
⎝ −A12 I n
n
Tn − A n22 I n ⎠ ⎝ α n2 ⎠ ⎠⎟ ⎝ ⎝ 0 ⎠ ⎝ 0⎠⎠
⎛B%
1 0 0 ⎞
⎜ %B ⎟
0 0 ⎟
= ⎜⎜
2
⎟
⎜ ⎟
⎜0 0 % ⎟
B
⎝ n ⎠
and
108
~ ⎛ super det B 0 ⎞
BB= ⎜ ⎟.
⎝ 0 superdet B ⎠
⎛ det B1 0 ⎞
⎜ 0 0 0⎟
⎜ 0 det B1 ⎟
⎜ det B2 0 ⎟
⎜ 0 0 ⎟
=⎜ 0 det B2 ⎟.
⎜ 0 ⎟
⎜ ⎟
⎜ det Bn 0 ⎟
⎜ 0 0 0
0 det Bn ⎟
⎝ ⎠
Hence we have
⎛ ⎛ α11 ⎞ ⎞
⎜ det B1 ⎜ 1 ⎟ 0 0 ⎟
⎜ ⎝ α2 ⎠ ⎟
⎜ ⎛ α12 ⎞ ⎟
⎛α ⎞ ⎜ 0 det B 2 ⎜
0 ⎟
2 ⎟
super B ⎜ 1 ⎟ = ⎜ ⎝ α2 ⎠ ⎟
⎝ α2 ⎠ ⎜ ⎟
⎜ ⎟
⎜ ⎛α ⎞⎟
n
⎜ 0 0 det Bn ⎜ 1n ⎟ ⎟
⎜ ⎝ α 2 ⎠ ⎟⎠
⎝
~ ⎛α ⎞
= B B ⎜ 1⎟.
⎝ α2 ⎠
⎛B% B
⎜ 1 1 ( )
α11
α12
0 0 ⎞
⎟
⎜
⎜
=⎜
0 % B
B 2 2 ( )
α12
α 22
0
⎟
⎟
⎟
⎜ ⎟
⎜
⎜
⎝
0 0 % B
B n n ( )
α1n
α n2
⎟
⎟
⎠
109
~ ⎛α ⎞
= B B ⎜ 1⎟
⎝ α2 ⎠
⎛B% B
⎜ 1 1 ( )
α11
α12
0 0 ⎞
⎟
⎜
⎜
=⎜
0 % B
B 2 2 ( )
α12
α 22
0
⎟
⎟ ⎛⎛ 0⎞ ⎛ 0⎞⎞
⎟ = ⎜ ⎜ 0 ⎟ | .. . | ⎜ 0 ⎟ ⎟ .
⎜ 0 0 ⎟ ⎝⎝ ⎠ ⎝ ⎠⎠
⎜
⎜
⎝
0 0 % B
B n n ( )
α12
α 22
⎟
⎟
⎠
~
B = super adj B
⎛ B1 0 0 0 ⎞
⎜ ⎟
0 B2 0 0 ⎟
i.e., ⎜ =
⎜0 0 0 ⎟
⎜ ⎟
⎜0 0 0 Bn ⎟⎠
⎝
⎛ adj B1 0 0 ⎞
⎜ ⎟
⎜ 0 adj B2 0 ⎟
⎜ 0 0 ⎟
⎜ ⎟
⎜ 0 0 adj Bn ⎟⎠
⎝
n ⎛ n1 % nn
⎞
∑ %
B B
ki ij α i
= ⎜⎜ ∑ B1k1i1 B1i j j1 α i1 | . .. |
1
∑ B% n k nin Bn i j α inn ⎟⎟
⎝ j1 =1 ⎠
n n
j=1 jn =1
= (0 | … | 0)
110
As in case of ordinary matrices the main use of Cayley
Hamilton theorem for super diagonal square matrices is to
search for minimal super polynomial of various operators.
1 d1k1 n d nk n
((x − c11 )d1 . .. (x − c1k1 ) | … | (x − c1n )d1 . .. (x − c kn n ) ).
p = (p1 | … | pn)
1 r1 n rn
= (( x − c11 ) r1 . . . ( x − c1k1 ) k1 | . . . | ( x − c1n ) r1 . . . ( x − c nk n ) k n )
111
⎛ A1 0 K 0 ⎞
⎜ ⎟
⎜ 0 A2 0 0 ⎟
⎜ M 0 ⎟
⎜ ⎟
⎜ 0 0 0 A n ⎟⎠
⎝
⎡ n1 nn
⎤
Ts α j = ⎢ ∑ A1i1 j1 α1i1 K ∑A n
i n jn α inn ⎥ .
⎣ i1 =1 i n =1 ⎦
112
Since W = (W1 | … | Wn) is super invariant under Ts = (T1 | … |
Tn) and the vector Ts α j = (T1α1j1 | K | Tn α njn ) belongs to W = (W1
| … | Wn) for jt ≤ rt. This means that
⎡ r1 rn
⎤
Ts α j = ⎢ ∑ A1i1 j1 α1i1 K ∑A n
i n jn α inn ⎥
⎣ i1 =1 i n =1 ⎦
⎛ A1 0 K 0 ⎞
⎜ ⎟
0 A2 0 0 ⎟
A=⎜
⎜ M 0 0 ⎟
⎜ ⎟
⎜ 0 0 0 A n ⎟⎠
⎝
⎛ B1 C1 ⎞
⎜ 0 0 ⎟ 0
⎜ 0 D1 ⎟
⎜ B2 C2 ⎟
⎜ 0 0 ⎟
= ⎜ 0 D2 ⎟
⎜ 0 0 ⎟
⎜ ⎟
⎜ Bn C n ⎟
⎜ 0 0 0
0 Dn ⎟
⎝ ⎠
113
(Ts ) w = ((T1 )W1 | K|(Tn ) wn ) divides the minimal super polynomial
for Ts.
⎛ B1 C1 ⎞
⎜ 0 0 ⎟ 0
⎜ 0 D1 ⎟
⎜ B2 C2 ⎟
⎜ 0 0 0 ⎟
A=⎜ 0 D2 ⎟
⎜ 0 0 ⎟
⎜ ⎟
⎜ Bn C n ⎟
⎜ 0 0 0
0 Dn ⎟
⎝ ⎠
⎛ B1 0 K 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B=⎜ .
⎜ M 0 ⎟
⎜ ⎟
⎜0 0 0 Bn ⎟⎠
⎝
114
Now using the block form of the super diagonal square matrix
we have super det (xI – A) = super det (xI – B) × super det (xI –
D)
i.e. (det (xI1 – A1) | K| det (xI n − A n ) )
= (det (xI1′ − B1 ) det (xI1′′ − D1 ) |K|
det (xI′n − Bn ) det (xI′′n − D n )) .
⎛ B1K1 C1K1 ⎞
⎜ K1
0 0 ⎟
⎜ 0 D1 ⎟
⎜ BK2 2 C K2 2 ⎟
⎜ 0 0 ⎟
AK = ⎜ 0 D K2 2 ⎟
⎜ ⎟
⎜ M ⎟
⎜ BKn n CKn n ⎟
⎜ 0 0 K ⎟
⎜ 0 D Kn n ⎟
⎝ ⎠
115
α1 = x11α11 + K + x1r1 α1r1 ;
α2 = x12 α12 +K + x 2r2 α1r2
and so on
α n = x1n α1n + K + x nrn α rnn .
Ts α = (t11 x11α11 +K + t1r1 x1r1 α1r1 | K|t1n x1n α1n + K + t rnn x rnn α rnn ) .
⎛ t11 0 K 0 ⎞
⎜ ⎟
⎜0 t12 K 0 ⎟
0 K 0
⎜M M M ⎟
⎜ ⎟
⎜0 0 K t1r1 ⎟
⎜ ⎟
⎜ t12 0 K 0 ⎟
⎜ 0 t 22 K 0 ⎟
⎜ 0 0 ⎟
B=⎜ M M M ⎟
⎜ 0 0 K t 2r2 ⎟
⎜ ⎟
⎜ ⎟
⎜ ⎟
⎜ t1n 0 K 0 ⎟
⎜ 0 t n2 K 0 ⎟
⎜ 0 0 ⎟
⎜ M M M ⎟
⎜ ⎟
⎜ 0 0 K t nrn ⎟
⎝ ⎠
g = (g1 | … | gn) =
1 e11 e1 n en
((x − c ) K (x − c1K1 ) K1 |K|(x − c1n )e1 K (x − c Kn n ) Kn )
1
116
DEFINITION 1.4.6: Let V = (V1 | … | Vn) be a super vector space
over the field F. W = (W1 | … | Wn) be an invariant super
subspace of V for the linear operator Ts = (T1 | … | Tn) of V. Let
α = (α1 | … | αn) be a super vector in V. The T-super conductor
of α into W is the set STs (α ;W ) = ( ST1 (α1;W1 ) |K| STn (α n ;Wn ))
which consist of all super polynomials g = (g1 | … | gn) (over
the scalar field F) such that g(Ts)α is in W, i.e. (g1(T1)α1 | … |
gn(Tn)αn) ∈ W = (W1 | … | Wn). i.e. gi(Ti)αi) ∈ Wi for every i. Or
we can equivalently define the Ts – super conductor of α in W is
a Ti conductor of αi in Wi for every i = 1, 2, …, n. Without loss
in meaning we can for convenience drop Ts and write the super
conductor of α into W as S (α ; W ) = ( S (α 1 ; W1 ) |K | S (α n ;W n )) .
where (c11 K c1K1 |K| c1n K cKn n ) are such that each set
c1t ,K, cKt t are distinct elements of F for t = 1, 2, …, n.
117
W = (W1 | … | Wn) and a characteristic super value
c j = (c1j1 ,K cnjn ) of Ts such that the super vector β = (T − c j I) α
i.e. (β1 | K| βn ) = ((T1 − c1j1 I1 ) α1 |K|(Tn − cnjn I n ) α n ) lies in W =
(W1 | … | Wn). Since (β1 | … | βn) is in W,
118
= (Ts − c j I)q (Ts ) α
= ((T1 − c1j1 I1 ) q1 (T1 ) α1 |K|(Tn − c njn I n )q n (Tn )α n ) ;
f = (f1 | … | fn)
1 d1K1 n n
dK
= ((x − c11 )d1 K (x − c1K1 ) |K|(x − c1n )d1 K (x − cKn n ) n
)
119
α i = (α1i | K | α ni ) ∈ Wi = (Wi1 |K|Wi n ) ;
α = ( β1 + K + β K ) = ( β11 + K + β K1 | K| β1n +K + β Kn )
β i ∈ Wi ; i = 1, 2, …, K. β i = β1i + K + β ni then
120
LEMMA 1.4.5: Let V = (V1 | … | Vn) be a finite (n1, …, nn)
dimensional super vector space. Let W1, …, WK be super
subspaces of V and let W = (W11 + KWK1 |K| W1n + K + WKn ) . The
following are equivalent
The proof is left as an exercise for the reader. In any or all of the
conditions of the above stated lemma is true then the supersum
W = W1 + … + WK = (W11 + K + WK1 |K|W1n + K + WKn ) where
Wt = (Wt1 | K|Wtn ) is super direct or that W is a super direct
sum of W1, …, WK i.e. W = W1 ⊕ … ⊕ WK i.e.
(W11 ⊕K ⊕ WK1 |K| W1n ⊕K ⊕ WKn ) . If each of the Wi is (1, …,
1) dimensional then W = W1 ⊕ … ⊕ Wn
= (W11 ⊕K ⊕ Wn1 |K|W1n ⊕K ⊕ Wnn ) .
121
Further the unique expression for = (α1 | … | αn) as a sum of
super vectors in R and N is α = Esα + (α – Esα) i.e. αi = Eiαi +
(αi – Eiαi) for i = 1, 2, …, n. From what we have stated it easily
follows that if R and N are super subspace of V such that V = R
⊕ N i.e. V = (V1 | … | Vn) = (R1 ⊕ N1 | … | Rn ⊕ Nn) then there
is one and only one super projection operator Es which has
super range R = (R1 | … | Rn) and null super space N = (N1 | …
| Nn). That operator is called the super projection on R along N.
⎛ I1 0 ⎞
⎜ 0 K 0 ⎟
⎜ 0 0 ⎟
⎜ I2 0 ⎟
⎜ 0 K 0 ⎟
( Es ) B = ⎜ 0 0 ⎟
⎜ 0 0 0 ⎟
⎜ ⎟
⎜ In 0⎟
⎜ 0 0
0 0 ⎟⎠
⎝
= ([ E1 ]| K |[ En ]Bn )
122
Chapter Two
This chapter has three sections. In section one we for the first
time define the new notion of super inner product super spaces.
Several properties about super inner products are derived.
Further the notion of superbilinear form is introduced in section
two. Section three gives brief applications of these new
concepts.
123
(a) (α + β | γ) = (α | γ) + (β | γ) i.e.,
((α1 + β1 | γ1) | … | (αn + βn) | γn)
= ((α1 | γ1) + ((β1 | γ1) | … |(αn | γn) + (βn| γn))
(b) (cα|β) = c(α|β) i.e., ((c1α1 | β1) | … | (cnαn| βn))
= (c1 (α1 | β1) | … | cn (αn | βn))
(c) ( β | α ) = (α | β ) i.e.,
(( β1 | α1 )|K|( β n | α n )) = ((α1 | β1 )|K|(α n | β n )
(d) (α | α) > (0 | … |0) if α ≠ 0 i.e.,
((α1 | α1) | … | (αn | αn)) > (0 | … |0).
All the above conditions can be consolidated to imply a single
equation
(α | cβ + γ ) = c (α | β ) + (α | γ ) i.e.
((α1 | c1β1 + γ 1 )|K|(α n | cn β n |γ n )) =
(c1 (α1 | β1 ) + (α1 | γ 1 )|K| cn (α n | β n ) + (α n | γ n )) .
(α | α ) = ( (α1 | α1 ) | K | (α n | α n ) )
= (α 1 | K | αn )
124
= || α ||.
each || α i + βi || ≤ || α i || + || βi || for i = 1, 2, …, n.
125
where γ = (γ1 | … | γn), β = (β1 | … | βn) and α = (α1 | … | αn),
(β | α)
(γ1 | … | γn) = β− α
|| α ||2
⎛ (β1 | α1 ) (β | α ) ⎞
= ⎜ β1 − α1 K βn − n 2n α n ⎟ .
⎝ || α1 ||2
|| α n || ⎠
(0 | … | 0) ≤ (|| γ ||
1
2
| K| || γ n ||2 )
⎛ (β | α) (β | α) ⎞
= || γ ||2 = ⎜ β − α β− α ⎟
⎝ || α ||2
|| α ||2 ⎠
(β | α)(α | β)
= (β | β) −
|| α ||2
= ( (β1 | β1 ) |K|(βn | βn ) )
⎛ (β | α )(α | β ) (β | α )(α | β ) ⎞
− ⎜ 1 1 21 1 |K| n n 2n n ⎟
⎝ || α1 || || α n || ⎠
⎛ (β | α ) (α | β ) (β | α ) (α | β ) ⎞
= ⎜ (β1 | β1 ) − 1 1 21 1 |K| (βn | βn ) − n n 2 n n ⎟
⎝ || α1 || || α || ⎠
⎛ | (α1 | β1 ) |2 | (α n | βn ) |2 ⎞
= ⎜ || β1 ||2 − | K | || βn ||2 − ⎟.
⎝ || α1 ||2
|| α n ||2 ⎠
1, 2, …, n.
2 2 2
α +β =s α + (α | β) + (β | α ) + β
i.e. (α 1 +β1
2
K α n +βn
2
)=
(( α 1
2
+ (α1 | β1 ) + (β1 | α1 ) + ||β1 ||2 | K|
126
2
α n (α n | βn ) + (βn | α n ) + ||β n ||2 ))
= (α 1
2
+ 2Re(α1 | β1 ) + β1
2
|K |
αn
2
+ 2 Re (α n | βn ) + βn
2
)
≤ (α 1
2
+ 2 α1 β1 + β1
2
|K|
αn
2
+ 2 αn βn + β n
2
)
= ( ( α1 + β1 ) 2 | K | ( α n + βn ) 2 ) ;
127
The following corollary is direct.
⎛ m1 (β1 | α1K ) 1 mn
(βn | α nK n ) ⎞
β=⎜∑ 1
α K ∑ α nK n ⎟ .
⎜ K1 =1 || α1K ||2 K1 || α Kn n ||2 ⎟
⎝ 1
K n =1
⎠
128
|| β − α || = (|| β1 − α1 || | K| || βn − α n ||)
≤ (|| β1 − γ1 || | K| ||βn − γ n |) = || β − γ ||
129
in V. α = (α1 | … | αn) in W is called the orthogonal super
projection to β = (β1 | … | βn) on W = (W1 | … | Wn). If every
super vector in V has an orthogonal super projection of β = (β1 |
… | βn) on W, the mapping that assigns to each super vector in
V its orthogonal super projection on W = (W1 | … | Wn) is
called the orthogonal super projection of V on W. Suppose Es =
(E1 | … | En) is the orthogonal super projection of V on W. Then
the super mapping β → β – Esβ i.e., β = (β1 | … | βn) → (β1 –
E1β1 | … | βn – Enβn) is the orthogonal super projection of V on
W ⊥ = (W1⊥ |K|Wn⊥ ) .
The following theorem can be easily proved and hence left for
the reader.
⎛ | ( β1 | α 1K ) |2 | ( β n | α Kn n )|2 ⎞
⎜∑ 1
K ∑ ⎟ ≤ (|| β1 ||2 | K| || β n ||2 )
⎜ K1 ||α 1K ||2 ||α Kn n ||2 ⎟⎠
⎝ 1
Kn
130
and equality holds if and only if
⎛ ( β1 | α 1K ) 1 ( β n | α Kn n ) ⎞
β = (β1 | … | βn) = ⎜ ∑ 1
α K ∑ α Kn ⎟ .
⎜ K1 ||α 1K ||2 K1 ||α Kn n ||2 n
⎟
⎝ 1
Kn
⎠
131
In this way we obtain from B a set of distinct linear functional
B* = ( f11 K f n11 |L| f1n K f nnn ) on V. These linear functionals are
also linearly super independent as each of the set { f1t ,K, f ntt } is
a linearly independent set for t = 1, 2, …, n. B* forms a super
basis for V * = (V1* | K | Vn* ) .
⎛ n1 nn
⎞
α = ⎜⎜ ∑ f i11 (α1 ) α1i1 | K | ∑ f inn (α n ) α inn ⎟⎟ .
⎝ i1 =1 i n =1 ⎠
132
Let N = ( N 1f1 | K| N nfn ) be the super null space of f = (f1 | … |
fn). Then super dimension of
133
COROLLARY 2.1.2: W = (W1 | … | Wn) is a (k1, …, kn)
dimensional super subspace of a (n1, …, nn) dimensional super
vector space V = (V1 |…| Vn) then W = (W1 |… | Wn) is the super
intersection of (n1 – k1, …, nn – kn) hyper super spaces in V.
The following theorem is direct and hence left for the reader to
prove.
134
THEOREM 2.1.9: Let V = (V1 | … | Vn) be a finite (n1, …, nn)
dimensional super vector space over the field F. For each super
vector α = (α1 | … | αn) in V define
Lα ( f ) = ( L1α1 ( f1 )| K | Lαn n ( f n ))
= (f1(α1) | … | fn(αn)) = f(α)
f = (f1 | … | fn) ∈ V ∗ = (V1∗ | K |Vn∗ ) .
135
We have
136
fn(αn)) = (0 | … | 0) implies g(α) = (g1(α1) | … | gn(αn)) = (0 | …
| 0).
137
V ∗ = (V1∗ | K |Vn∗ ) . For if g1 and g2 are in W * = (W1* | K|Wn* ) and
c is a scalar.
[Tst (cg1 + g 2 )] (α )
= ⎡⎣[T1t (c1 g11 + g 12 )] α1 | K | [Tnt (cn g1n + g 2n )] α n ⎤⎦
= (cg1 + g 2 ) (Tsα )
= [(c1 g11 + g 12 ) (T1α1 ) | K | (cn g1n + g 2n ) (Tnα n )]
= cg1 (Tsα ) + g 2 (Tsα )
= [(c1 g11T1 α1 + g 12 T1α1 ) | K | (cn g1nTn α n + g 2nTnα n )]
= c(Tst g1 ) α + (Tst g 2 ) α
= [(c1T1t g11 )α1 + (T1t g 12 )α1 | K | (cnTnt g1n )α n + (Tnt g 2n )α n ] ,
so that Tst (cg1 + g 2 ) = cTst g1 + Tst g 2 .
138
W and let B′* = ( B1′* | K | Bn′* ) be a dual super basis for B'. Let
Ts = (T1 | … | Tn) be a linear transformation from V into W. Let
A be the super matrix of Ts which is a super diagonal matrix
relative to B and B'; let B be the super diagonal matrix of Tst
relative to B′* and B*. Then Bij = Aji.
Proof: Let
B = {α Kα ;K; α Kα }
1
1
1
n1
n
1
n
nn
B' = {β K β ; K; β K β }
1
1
1
m1
n
1
n
mn
and B* = {f K f ; K;f K f } .
1
1
1
n1 1
n n
nn
By definition
m
Ts α j = ∑A β ;
i =1
ij i
j = 1, 2, …, n.
⎧⎪⎛ m1 mn
⎞ ⎫⎪
Ts α j = ⎨⎜⎜ ∑ A1i1 j1 β1i1 K ∑ A inn jn βinn ⎟⎟ ⎬
⎩⎪⎝ i1 =1 i n =1 ⎠ ⎭⎪
with j = (j1, …, jn); 1 ≤ jt ≤ nt and t = 1, 2, …, n.
⎛ n1 nn
⎞
Tst g j = ⎜⎜ ∑ B1i1 j1 f i11 K ∑ Binn jn f inn ⎟⎟
⎝ i1 =1 i n =1 ⎠
with j = (j1, …, jm); 1 ≤ jp ≤ np and p = 1, 2, …, n.
On the other hand
⎛ m ⎞
(Tst g j )(α i ) = g j (Ts α i ) = g j ⎜ ∑ A kiβk ⎟
⎝ k =1 ⎠
⎛ ⎛ 1 m
⎞ ⎛ n m
⎞ ⎞
= ⎜ g1j1 ⎜⎜ ∑ A1k1i1 ⎟⎟ β1k1 K g njn ⎜⎜ ∑ A kn nin ⎟⎟ βkn n ⎟
⎜ ⎟
⎝ ⎝ k1 =1 ⎠ ⎝ k n =1 ⎠ ⎠
⎛ m1 mn
⎞
= ⎜⎜ ∑ A1k1i1 g1j1 (β1k1 ) K ∑ A kn n in g njn ( βkn n ) ⎟⎟
⎝ k1 =1 k n =1 ⎠
1 n
= (A j1i1 K A jn in ) .
139
⎛ m1 mn
⎞
f = (f1 | … | fn) = ⎜⎜ ∑ f1 (α1i1 ) f i11 K ∑ f n (α inn ) f inn ⎟⎟ .
⎝ i1 =1 i n =1 ⎠
If we apply this formula to the functional f = Tst g j i.e.,
(f1 | … | fn) = (T1t g1j1 | K | Tnt g njn )
and use the fact that
(Tst g j ) (α i ) = (T1t g1j1 (α1i1 ) K Tnt g njn (α inn ))
= (A1j1i1 K A njn in ) ,
we have
⎛ n1 nn
⎞
Tst g j = ⎜⎜ ∑ A1j1ii f i11 K ∑ A njn in f inn ⎟⎟ ;
⎝ i1 =1 i n =1 ⎠
from which it immediately follows that Bij = Aji ; by default of
notation we have
⎛ B1ii j1 0 0 ⎞
⎜ 2
⎟
⎜ 0 Bi2 j2 0 ⎟
Bij = (Bii j1 K Bin jn ) = ⎜
1 n
⎟
⎜ ⎟
⎜ 0 0 Binn jn ⎟
⎝ ⎠
⎛ A1ji i1 0 0 ⎞
⎜ 2
⎟
⎜ 0 A j2 i 2 0 ⎟
=⎜ ⎟.
⎜ ⎟
⎜ 0 0 A njn in ⎟
⎝ ⎠
⎛ A1mi ×n1 0 0 ⎞
⎜ 2
⎟
⎜ 0 A m2 ×n 2 0 ⎟
A=⎜ ⎟.
⎜ ⎟
⎜ 0 0 A nmn ×n n ⎟
⎝ ⎠
140
Now At the transpose of the super diagonal matrix A is
⎛ A1n i ×m1 0 0 ⎞
⎜ ⎟
⎜ 0 A 2n 2 ×m2 0 ⎟
A =⎜
t
⎟
⎜ ⎟
⎜ 0 0 A nn n ×mn ⎟
⎝ ⎠
We illustrate by an example.
⎛3 1 0 2 ⎞
⎜ ⎟
⎜1 0 5 0 0 0 0 ⎟
⎜0 1 0 1 ⎟
⎜ ⎟
⎜ 3 4 5 ⎟
0 0 0
⎜ 1 3 1 ⎟
⎜ ⎟
⎜ 8 1 ⎟
A= ⎜ ⎟.
0 0 6 −1 0
⎜ ⎟
⎜ 2 5 ⎟
⎜ ⎟
⎜ 1 0 1 2 0⎟
⎜ 2 0 2 1 1⎟
⎜ 0 0 0 ⎟
⎜ 3 5 1 0 0⎟
⎜ 4 1 0 3 6 ⎟⎠
⎝
141
⎛3 1 0 ⎞
⎜ ⎟
⎜1 0 1
0 0 0 ⎟
⎜0 5 0 ⎟
⎜ ⎟
⎜2 0 1 ⎟
⎜ 3 1 ⎟
⎜ ⎟
⎜ 0 4 3 0 0 ⎟
⎜ 5 1 ⎟
At = ⎜ ⎟ .
⎜ 8 6 2 ⎟
⎜ 0 0 0 ⎟
⎜ 1 −1 5 ⎟
⎜ 1 2 3 4⎟
⎜ ⎟
⎜ 0 0 5 1⎟
⎜ 0 0 0 1 2 1 0⎟
⎜ ⎟
⎜ 2 1 0 3⎟
⎜ 0 1 0 6 ⎟⎠
⎝
f(α, β) = (Ts α | β)
= ((T1α1 | β1) | … | (Tnαn | βn))
{
B = (B1 | … | Bn) = α11 K α1n1 K α1n K α nn n }
is an orthonormal super basis for V then the entries of the super
diagonal matrix of Ts in B are given by
142
⎛ A1j1K1 0 0 ⎞
⎜ 2
⎟
⎜ 0 A j2 K 2 0 ⎟
A jK = ⎜ ⎟
⎜ ⎟
⎜ 0 0 A njnK ⎟
⎝ n
⎠
⎛ f1 (α1K1 , α1j1 ) 0 0 ⎞
⎜ ⎟
⎜ 0 f 2 (α K 2 , α j2 )
2
0 ⎟
= ⎜ ⎟.
⎜ ⎟
⎜ 0 0 f n (α nK n , α njn ) ⎟
⎝ ⎠
ii. f (α , cβ + γ ) = c f (α , β ) + f (α , γ );
143
THEOREM 2.1.15: Let V = (V1 | … | Vn) be a finite (n1, …, nn)
dimensional inner product super vector space and f = (f1 | … |
fn) a super form on V. Then there is a unique linear operator Ts
on V such that f(α, β) = (Tsα | β) for all α, β in V; α = (α1 | … |
αn) and β = (β1 | … | βn). (f1(α1, β1) | … | fn(αn, βn)) = ((T1α1 |
β1) | … | (Tnαn | βn)); for all α, β in V, the super map f → Ts
(i.e. fi → Ti for i = 1, 2, …, n) is super isomorphism of the super
space of superforms onto SL (V, V).
144
for all α = (α1 | … | αn), β = (β1 | … | βn), γ = (γ1 | … | γn) in V =
(V1 | … | Vn) and for all scalars c = (c1 | … | cn). Thus Us is a
linear operator on V = (V1 | … | Vn) and Ts = U*s is an operator
such that
f(α, β) = (Tα |β)
i.e.,
(f1(α1 | β1) | … | fn(αn | βn)) = ((T1α1 | β1) | … | (Tnαn | βn));
Then
(Tsα – T'sα | β) = (0 | …| 0)
i.e.,
((T1α1 – T'1α1 | β1) | … | (Tnαn – T'nαn | βn))
= (0 | …| 0)
f(α, β) = (Tsf α | β)
i.e.,
(f1(α1 | β1) | … | fn(αn | βn))
= ((T1f1 α1 | β1 ) K (Tnfn α n | βn ))
for all α, β in V.
If f and g are superforms and c a scalar f = (f1 | … | fn) and g
= (g1 | … | gn) then
145
= (c1f1 (α1, β1) + g1(α1, β1) | … | cnfn (αn, βn) + gn(αn, βn))
= ((c1T1f1 α1 | β1 ) + (T1g1 α1 | β1 ) K (cn Tn f n α n | βn ) + (Tn gn α n | βn ))
= ((c1T1f1 + T1g1 ) α1 | β1 ) K (c n Tnfn + Tng n ) α n | βn ))
= ((cTsf + Tsg) α | β)
f(α, β) = (Ts α | β)
(f1(α1, β1) | … | fn(αn, βn)) = ((T1α1 | β1) | … | (Tnαn | βn));
146
{
for every orthonormal superbasis α11 K α n11 K α1n K α nnn }
of V = (V1 | … | Vn).
⎛ A1j1k1 0 0 ⎞
⎜ ⎟
⎜ 0 A2j2k2 0 ⎟
Ajk = ⎜ ⎟.
⎜ ⎟
⎜ 0 0 Anjnkn ⎟
⎝ ⎠
( f1 (α1 , β1 ) K f n (α n , β n )) = ( f1 ( β1 ,α1 ) K f n ( β n ,α n ))
147
The following theorem is direct and hence is left for the reader
to prove.
(Tsβ | α) = (α |Tsβ)
i.e.
148
((T1β1 | α1 ) | K (Tn βn | α n )) = ((α1 | T1β1) | … | (αn | Tnβn));
it follows that
{α 1
1 K α1n1 K α1n K α nn n }
is an orthonormal super basis and that
Tsαj = cjαj
i.e.
(T1α1j1 K Tn α njn ) = (c1j1 α1j1 K c njn α njn )
for 1 ≤ jt ≤ nt; t = 1, 2, …, n.
Then
149
every α in V; i.e. (f1(α1, α1) | … | fn(αn, αn)) ≥ (0 | … | 0) i.e.
each fj(αj, αj) ≥ 0 for every j = 1, 2, …, n. The form is super
positive if f is super Hermitian and f(α, α) > (0 | … | 0) i.e.
(f1(α1, α1) | … | fn(αn, αn)) > (0 | … | 0) i.e. fj(αj, αj) > 0 for
every j = 1, 2, …, n.
The super Hermitian form f is quasi super positive or
equivalently quasi super non negative (both mean one and the
same) if in f(α, α) = (f1(α1, α1) | … | fn(αn, αn)) some fj(αj, αj) >
0 and some fi(αi, αi) ≥ 0; i ≠ j; 1 ≤ i ≤ n.
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
⎛ P1 0 0⎞
⎜ ⎟
0 P2 0⎟
P = ⎜ .
⎜ ⎟
⎜ ⎟
⎜0 0 Pn ⎟⎠
⎝
150
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
⎛ P1* P1 0 K 0 ⎞
⎜ * ⎟
0 PP K 0 ⎟
= ⎜⎜
2 2
K ⎟.
⎜ ⎟
⎜ 0 0 K Pn* Pn ⎟⎠
⎝
151
⎛ ⎛ A111 K A11k1 ⎞ ⎛ A11n K A1nkn ⎞ ⎞
⎜ ⎜ ⎟ ⎜ ⎟⎟
= ⎜ det ⎜ M M ⎟ , K , det ⎜ M M ⎟⎟
⎜
⎜ ⎜⎜ A1 K A1 ⎟⎟ ⎜⎜ An K An ⎟⎟ ⎟⎟
⎝ ⎝ k11 k1k1
⎠ ⎝ kn1 kn kn
⎠⎠
for 1 ≤ kt ≤ nt and t = 1, 2, …, n.
⎛ A1* 0 0⎞
⎜ ⎟
0 A2* 0⎟
= ⎜⎜ ⎟.
⎜ ⎟
⎜0 0 An* ⎟⎠
⎝
152
i.e.
(T1 | … | Tn) = (T1* K Tn* )
⎛ A1 0 0 ⎞
⎜ ⎟
0 An 0 ⎟
A=⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
Now we just mention one more property about the super forms.
153
Let M be the super square diagonal matrix where each Mi in M;
is a ri × ri super matrix with entries (1 < i < n).
M ijk = f i (α ki , α ij ) , i.e.
⎛ M1 0 0 ⎞
⎜ ⎟
0 M2 0 ⎟
M =⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 M n ⎟⎠
⎝
⎛ f 1 (α k11 ,α 1j1 ) 0 0 ⎞
⎜ ⎟
⎜ 0 f 2 (α k22 ,α 2j2 ) 0 ⎟
= ⎜ ⎟
⎜ ⎟
⎜ 0 0 f n (α knn ,α njn ) ⎟
⎝ ⎠
and W' = (W1′ | K | Wn′) be the set of all super vectors β = (β1 |
…. | βn) of V and W I W ′ = (W1 I W1′ | K | Wn I Wn′) = (0 | … |
0) if and only if
⎛ M1 0 0 ⎞
⎜ ⎟
0 M2 0 ⎟
M =⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 M n ⎟⎠
⎝
154
is in W and β – α belongs W ′ = (W1′ K Wn′ ) . Thus Es is
independent of the super basis of W = (W1 | … | Wn) that was
used in this construction. Hence we may refer to Es as the super
projection of V on W that is determined by the direct sum
decomposition.
V = W ⊕ W';
(V1 | … | Vn) = (W1 ⊕ W1′ K Wn ⊕ Wn′ ) .
155
Several interesting results can be derived in this direction.
{
the family of super projections E11 K E1k1 ,K , E1n K E kn n } is called
the super resolution of the super identity defined by Ts.
⎛ k1 kn
⎞
Ts = (T1 | … | Tn) = ⎜⎜ ∑ c1j1 E1j1 K ∑c n
jn E njn ⎟⎟
⎝ j1 =1 jn =1 ⎠
156
its super spectral resolution. Suppose f = (f1 | … | fn) is a super
function whose super domain includes the super spectrum of Ts
= (T1 | … | Tn) that has values in the field of scalars F. Then the
linear operator f(Ts) = (f1(T1) | … | fn(Tn)) is defined by the
equation
⎛ k1 kn
⎞
f (Ts ) = ⎜⎜ ∑ f1 (c1j1 ) E1j1 K ∑f n (c njn ) E njn ⎟⎟ .
⎝ j1 =1 jn =1 ⎠
157
Proof: The normality of f(T) = (f1(T1) | … | fn(Tn)) follows by a
simple computation from
⎛ k1 kn
⎞
f (T) = ⎜⎜ ∑ f1 (c1j1 )E1j1 K ∑f n (c njn ) E njn ⎟⎟
⎝ j1 =1 jn =1 ⎠
and the fact that
⎛ ⎞
= ⎜⎜ ∑ f1 (T1 )E1j1 α1 K ∑f n (Tn )E njn α n ⎟⎟
⎝ j1 jn ⎠
⎛ ⎞
= ⎜⎜ ∑ f1 (c1j1 )E1j1 α1 K ∑f n (c njn )E njn α n ⎟⎟
⎝ j1 jn ⎠
⎛ ⎞
= ⎜⎜ ∑ b1E1j1 α1 K ∑b E n
n
jn α n ⎟⎟ .
⎝ j1 jn ⎠
158
Hence
2
∑ (f (c j1 ) − b)E jα
j
⎛ 2 2
⎞
=⎜
⎜
∑ (f1 (c ) − b1 )E α
1
j1
1
j1
1
K ∑ (f n (c ) − bn )E α
n
jn
n
jn
n
⎟
⎟
⎝ j1 jn
⎠
⎛ 2⎞
= ⎜⎜ ∑ f1 (c1j1 ) − b1 E1j1 α1 ∑f
2 2 2
K n (c njn ) − b n E njn α n ⎟⎟
⎝ j1 jn ⎠
= (0 | … | 0).
Therefore
f(cj) = (f1 (c1j1 ) K f n (c njn )) = (b1 | … | bn)
or
Ejα = (0 | … |0)
i.e.,
(E1j1 α1 K E njn α n ) = (0 | … |0).
By assumption α = (α1 | … | αn) ≠ (0 | … | 0) so there exists
indices i = (i1, …, in) such that Eiα = (E1i1 α1 K E inn α n ) ≠ (0 | … |
0). It follows that f(cj) = (f1 (c1j1 ) K f n (c njn )) = (b1 | … | bn) and
hence that f(S) = (f1(S1) | … | fn(Sn)) is the super spectrum of
f(T) = (f1(T1) | … | fn(Tn)). In fact that f(S) = (f1(S1) | … | fn(Sn))
= {b11 K b1r1 ,K , b1n K b nrn } where b rm1 t ≠ b rn1t when mt ≠ nt for t = 1,
2, …, n. Let Xm = (X m1 K X mn ) indices i = (i1, …, in) such
that 1 ≤ it ≤ kt; t = 1, 2, …, n and
⎝ i1 in ⎠
159
the super sum being extended over the indices i = (i1, …, in) in
Xm = (X m1 K X mn ) . Then Pm = (Pm1 1 K Pmn n ) is the super
orthogonal projection of V = (V1 | … | Vn) on the super
subspace of characteristic super vectors belonging to the
characteristic super values b m = (b1m1 K b nmn ) of f(T) = (f1(T1)
| … | fn(Tn)) and
⎛ r1 rn
⎞
f (T) = ⎜⎜ ∑ b1m1 Pm1 1 K ∑b n
mn Pmn n ⎟⎟
⎝ m1 =1 m n =1 ⎠
i.e.
⎛ k1 kn
⎞
(f1(T1) | … | fn(Tn)) = ⎜⎜ ∑ f1 (c1j1 ) E1j1 K ∑f n (c njn )E njn ⎟⎟
⎝ j1 =1 jn =1 ⎠
where
160
kt
f t (Tt ) = ∑ f t (c tjt ) E tjt
jt =1
for i = 1, 2, …, n.
We see that
(
E′j = (E′j11 K E′jnn ) = U1E1j1 U1−1 K U n E njn U −n1 )
is the super spectral resolution of Ts' = (T1' | … | Tn').
Hence
⎛ ⎞
⎜⎜ ∑ f1 (c j1 ) E j1 K ∑f (c njn ) E1jn ⎟⎟
1 1
= n
⎝ j1 jn ⎠
⎛ ⎞
⎜⎜ ∑ f1 (c j1 ) U1E j1 U1 K ∑f
−1
= 1 1
n (c njn ) U n E njn U −n1 ⎟⎟
⎝ 1
j jn ⎠
⎛ ⎞
⎜⎜ U1 ∑ f1 (c j1 ) E j1 U1 K U n ∑ f n (c jn ) E jn U n ⎟⎟
1 1 −1 n n −1
=
⎝ j1 jn ⎠
161
{
basis B = (B1 | … | Bn) = α11 K α n11 K α1n K α nnn } by the
superdiagonal matrix
⎛ D1 0 0 ⎞
⎜ ⎟
0 D2 0 ⎟
D = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Dn ⎟⎠
⎝
β tj =
t ∑P it
t
it jt α itt
⎛ ⎞
i.e. ( β 1j1 K β jnn ) = ⎜⎜ ∑ Pi11j1α i11 K ∑P n
in jn α in ⎟⎟
⎝ i1 ⎠
n
in
then
P −1 f ( D) P = (P1
−1
f1 ( D1 ) P1 K Pn−1 f n ( Dn ) Pn )
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
162
is the normal super diagonal matrix. Then there is an invertible
super diagonal matrix
⎛ P1 0 0⎞
⎜ ⎟
0 P2 0⎟
P = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Pn ⎟⎠
⎝
⎛ P1A1P1−1 0 0 ⎞
⎜ ⎟
P2 A 2 P2−1
= ⎜⎜ ⎟
0 0
⎟
⎜ ⎟
⎜ 0 0 Pn A n Pn ⎟⎠
−1
⎝
163
⎛ Q1 0 0 ⎞
⎜ ⎟
0 Q2 0 ⎟
Q= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 Q n ⎟⎠
⎝
⎛ Q1A1Q1−1 0 0 ⎞
⎜ ⎟
Q 2 A 2 Q 2−1
QAQ −1 = ⎜⎜ ⎟
0 0
⎟
⎜ ⎟
⎜ 0 0 Q n A n Q n−1 ⎟⎠
⎝
is a superdiagonal matrix
⎛ D1′ 0 0 ⎞
⎜ ⎟
0 D′2 0 ⎟
D′ = ⎜ = (D1′ K D′n )
⎜ ⎟
⎜ ⎟
⎜ 0 0 D′n ⎟⎠
⎝
⎛ f1 (A1 ) 0 0 ⎞
⎜ ⎟
0 f 2 (A 2 ) 0 ⎟
f (A) = ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 f n (A n ) ⎟⎠
⎝
is defined as
164
The superdiagonal matrix
⎛ f1 (A1 ) 0 0 ⎞
⎜ ⎟
0 f 2 (A 2 ) 0 ⎟
f (A) = ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 f n (A n ) ⎟⎠
⎝
= (f1(A1) | … | fn(An))
Let
⎛ ⎛ x − c1j1 ⎞ ⎛ x − c njn ⎞ ⎞
ei = (ei11 K einn ) = ⎜ ∏ ⎜ 1 ⎟ K ∏ ⎜⎜ n n ⎟⎟ ⎟⎟
⎜ j1 ≠ i1 ⎜ ci − c1j ⎟ jn ≠ in ⎝ cin − c jn ⎠
⎝ ⎝ 1 1 ⎠ ⎠
and
Ei = ( Ei11 K Einn ) = ei ( A) = (ei11 ( A1 ) K einn ( An )) ;
1< i1 ≤ kt,
then
Eitt E tjt = 0
for t = 1, 2, …, n; jt ≠ it ; ( Eitt ) 2 = Eitt , Eitt * = Eitt and
I = ( I1 K I n ) = ( E11 + K + Ek11 K E1n + K + Eknn ) .
165
If f = (f1 | … | fn) is a complex valued super function whose
super domain includes (c11 K c1k1 K c1n K cknn ) then
In particular
A = c1E1 + … + ckEk i.e., (A1 | … |An)
= (c E11 + K + c1k1 E 1k1 K c1n E1n + K + cknn Eknn ) .
1
1
then
Ts* = (T1* K Tn* )
= (c11E11 + K + ck11 E1k1 K c1n E1n + K + cknn E nk n ) .
166
= ((c11 − c11 )E 11 + K + (c1k − ck1 )E 1 K (c1n − c1n )E 1n + K + (c nk − ckn )E nk )
1 1
k1
n n n
= (0 | … |0).
⎛ ⎛ k1 k1 ⎞ ⎛ kn kn ⎞⎞
= ⎜ ⎜ ∑ c1j1 E1j1 α1 ∑E 1
α1 ⎟ K ⎜ ∑c n
E njn α n ∑E n
αn ⎟ ⎟
⎜ ⎜ j1 =1 i1
⎟ ⎜ jn jn
⎟⎟
⎝⎝ i1 =1 ⎠ ⎝ jn =1 jn =1 ⎠⎠
⎛ ⎞
= ⎜⎜ ∑ ∑c 1
j1 (E1j1 α1 | E1i1 α1 ) K ∑ ∑c n
jn (E njn α n | E inn α n ) ⎟⎟
⎝ i1 j1 in jn ⎠
⎛ ⎞
= ⎜ ∑ c1j1 E1j1 α1 | K | ∑ c njn E njn α n
2 2
⎜ j ⎟⎟ .
⎝ 1 jn ⎠
167
2 2 2 2
= ( c11 E11 + K + c1k1 E1k1 K c1n E1n + K + c kn n E kn n ) .
If
Ts Ts* = (I1 K I n ) = I = (T1T1* K Tn Tn* )
then
(I1 |…| In) = (|c11 |2 E11 +K + |c1k1 |E1k1 K (|c1n |2 E1n + K + |c kn n |E kn n ))
168
real number t = 1, 2, …, n let c t denote the non negative
square root of c. So if c = (c1, …, cn) then the super square root
or square super root of c is equal to, c = ( c1 , K, c n ) . Then
according to earlier result Ns = Ts is a well defined super
diagonalizable normal operator on V i.e. Ns = (N1 | … | Nn)
Ts = ( T1 K Tn ) is a well defined super diagonalizable
normal operator on V = (V1 | … | Vn). It is super non negative
and by an obvious computation N s2 = Ts i.e. (N12 K N n2 ) = (T1
| … | Tn).
Let Ps = (P1 | … | Pn) be a non negative operator V such that
Ps = Ts i.e. (P12 K Pn2 ) = (T1 | … | Tn); we shall prove that Ps
2
= Ns. Let
Ps = (d11F11 + K + d1r1 Fr11 K d1n F1n + K + d rnn Frnn )
be the super spectral resolution of Ps = (P1 | … | Pn). Then
d tjt ≥ 0 for 1 ≤ jt ≤ kt; t = 1, 2, …, n each jt since Ps is non
negative.
From Ps2 = Ts we have Ts = (T1 | … | Tn)
= (d11 F11 + K + d1r1 Fr11 K d1n F1n + K + d nrn Frnn ).
2 2 2 2
169
unitary operator Us = (U1 | … | Un) on V and a super non
negative operator Ns = (N1 | … | Nn) on V such that
(N s α | Ns α) = (N s2 α | α)
i.e. ((N1α1 | N1α1 ) K (N n α n | N n α n ))
= (N12 α1 | α1 ) K (N 2n α | α n )
= (Ts*Ts α | α) = (Ts*α | Ts α)
= ((T1*T1α1 | α1 ) K (Tn*Tn α n | α n ) )
= ((T1 α1 |T1α1 ) K (Tn α n | Tn α n )) .
170
If Ts = (T1 | … | Tn) is not invertible, we shall have to do a
bit more work to define Us = (U1 | … | Un) we first define Us on
the range of Ns. Let α = (α1 | … | αn) be a supervector in the
superrange of Ns and α = Nβ; (α1 | … | αn) = Nsβ = (N1β1 | … |
Nnβn).
We define
Usα = Tsβ i.e., (U1α1 | … | Unαn) = (T1β1 | … | Tnβn),
we see that
N s (β − β′) = (N1 (β1 − β1′ ) K N n (βn − β′n )) = (0 K 0)
if and only if
171
same super dimension. Thus W ⊥ = (W1⊥ K Wn⊥ ) has the
same super dimension as the super orthogonal complement of
the super range of Ts. Therefore there exists super isomorphism
V = W ⊕ W⊥
i.e.,
(V1 K Vn ) = (W1 ⊕ W1⊥ K Wn ⊕ Wn⊥ )
each α = (α1 | … | αn) in V is uniquely expressible in the
form
α = Nsβ + γ i.e.,
α = (α1 | … | αn) = (N1β1 + γ1 | … | Nnβn + γn)
172
= ((N1β1 |N1β1) + (γ1 | γ1) | … | (Nnβn |Nnβn) + (γn | γn))
= (Nsβ | Nsβ) + (γ | γ) = (α |α)
i.e. Ts = Us Ns
i.e. (Ts | … | Tn) = (U1N1 | … | Un Nn).
173
i) V (ri ) = (V1 (ri11 ) K Vn (rinn )) is orthogonal to
V (rj ) = (V1 (r ) K Vn (r )) when i ≠ j i.e., it ≠ jt; t = 1, 2,
1
j1
n
jn
…, n and
ii) V = V(r1) ⊕ … ⊕ V(rk)
i.e., V = (V1 (r11 ) ⊕ K ⊕V1 (rk11 ) K Vn (r1n ) ⊕ K ⊕Vn (rknn )) .
⎛⎛ ⎞⎛ ⎞ ⎛ ⎞ ⎛ ⎞⎛ ⎞
I = ⎜ ⎜ ∑ E1ij1 ⎟ ⎜ ∑ E12 j1 ⎟K⎜ ∑ E1m j1 ⎟ K ⎜ ∑ E ijnn ⎟⎟ ⎜⎜ ∑ E 2 jn2
n
⎟⎟K
⎜ ⎜ j1 1 ⎟ ⎜ j1 2 ⎟ ⎜ 1 m1 ⎟ ⎜ jn 1
⎝⎝ 1 ⎠⎝ 2 ⎠ ⎝ j1m ⎠ ⎝ 1 ⎠ ⎝ j2n ⎠
174
⎞⎞
⎛
⎜⎜ ∑ E mn jnm
⎟⎟ ⎟ = (I1 | … | In)
n
⎟
⎝ jm
⎠⎠ n n
α = (α1 | … | αn)
⎛ ⎞
⎜⎜ ∑ E1j11 K E m1 j1m α1 K ∑E αn ⎟
1 1 n
= K E nm (A)
1j1n n
n jm n ⎟
⎝ j1 j2K jm
11 1 1
j1n K jnm ⎠
(
β = E11j1 E12 j1 K E1m j1 α1 K E1j2 2 K E m2
1 2 1 m1 1
2
2 jm 2
α 2 K E1jn n K E mn
1
n
n jm n
αn )
≠ (0 |…| 0),
⎛ ⎞
βi = (β1i1 K β11n ) = ⎜⎜ ∏ E1n j1 α1 K ∏E n
n n jnn n
α n ⎟⎟ .
⎝ n1 ≠ i1 ⎠
1 n1
n n ≠ in
then
(
β = E1i j β1i1 K E inn jin βinn .
11
)
Hence there is a scalar ci such that
⎛ m1 mn
⎞
Ts = ⎜⎜ ∑ b1i1 Ti11 K ∑b n
in Tinn ⎟⎟ .
⎝ i1 =1 i n =1 ⎠
Thus
⎛ ⎞
Tsβ = ⎜⎜ ∑ b1i1 Ti11 β1 K ∑b n
1n Tinn βn ⎟⎟
⎝ i1 in ⎠
175
⎛ m1 mn
⎞
= ( T1β1 K Tn βn ) = ⎜⎜ ∑ b1i1 c1i1 β1i1 K ∑ binn cinn βinn ⎟⎟ .
⎝ i1 in ⎠
The function
⎛ ⎞
Ts = (T1 | … | Tn) → ⎜⎜ ∑ b1i1 c1i1 K ∑ binn cinn ⎟⎟
⎝ i1 in ⎠
I = (I1 | … | In)
= ( P11 + K + Pk11 K P1n + K + Pknn )
Ts = (T1 | … | Tn)
⎛ ⎞
= ⎜⎜ ∑ rj11 (T1 ) Pj11 K ∑r n
jn (Tn ) Pjnn ⎟⎟ .
⎝ j1 jn ⎠
176
The super family of super orthogonal projections
{ }
P11 K Pk11 K P1n K Pknn is called the super resolution of the
identity determined by Fs and
⎛ ⎞
Ts = (T1 | … | Tn) = ⎜⎜ ∑ rj11 (T1 ) Pj11 K ∑r n
jn (Tn ) Pjnn ⎟⎟
⎝ j1 jn ⎠
177
⎛ k1 kn
⎞
Ts = ⎜⎜ ∑ c1j1 Pj11 K ∑c n
jn Pjnn ⎟⎟ = T = (T1 | … | Tn) I
⎝ j1 =1 jn =1 ⎠
where ( (c11 c12 K c1k1 | K | c1n c2n K cknn ) are arbitrary scalars.
⎛ k1 kn
⎞
Ts* = ⎜⎜ ∑ cj11 Pj11 K ∑c n
jn Pjnn ⎟⎟ = (T1* K Tn* ) ,
⎝ j1 =1 jn =1 ⎠
⎛ ⎞
Ts = ⎜⎜ ∑ c1j1 Pj11 K ∑c n
jn Pjnn ⎟⎟ = (T1 | … | Tn)
⎝ j1 jn ⎠
and
⎛ ⎞
Us = (U1 | … | Un) = ⎜⎜ ∑ d1j1 Pj11 K ∑d n
jn Pjnn ⎟⎟
⎝ j1 jn ⎠
then for every scalar
178
as. Now let r11 K rk11 , K , r1n K rknn be the super roots of Fs. Then
for each pair of indices (it, nt), it ≠ nt, there is an operator Tsit n t
in Fs such that ritt (Tsit n t ) ≠ rnt t (Tsit n t ) . Let
a itt n t = ritt (Tsit n t ) − rnt t (Tsit n t )
and
bitt n t = rnt t (Tsit n t ) .
Then the linear operator
Qsit = ∏a
n t ≠it
−1
si t n t (Tsi t n t − bitt n t I t )
179
We now state an interesting theorem on super vector spaces.
The proof is left as an exercise for the reader.
180
Proof: Suppose
Conversely if
Nsα = (N1α1 | … | Nnαn) = (0 | … | 0)
then
N*s α = (N1*α1 K N*n α n ) = (0 | … | 0)
and
(N*sα | β) = (α | Ns β)
= ((α1 | N1β1) | … | (αn | Nnβn)) = (0 | … | 0)
181
LEMMA 2.1.4: Let Ts = (T1 | … | Tn) be a normal operator and f
= (f1 | … | fn) be any super polynomial with coefficients in the
scalar field. Then f(T) = (f1(T1) | … | fn(Tn)) is also normal.
Proof: Suppose
f = (a 10 + a 11 x + K + a 1n1 x n1 K a 0n + a 1n x + K + a nn n x n n )
= f = (f1 | … | fn);
182
= (I1| … | In)
and
α = (α1 | … | αn)
= (g1(T1)b1(T1) α1 | … | gn(Tn)bn(Tn) αn)
= gs(Ts) b(Ts)α.
It follows that
(α |β) = ((α1|β1) | … | (αn | βn) = (g(Ts) b(Ts) α|β)
= ((g1(T1)b1(T1)α1|β1 | … | gn(Tn)bn(Tn)αn|βn)
= (b1(T1)α1|g1(T1)* β1 | … | bn(Tn)αn | gn(Tn)* βn))
= (b(Ts) α | g (Ts)* β).
By assumption
g(Ts)β = ((g1(T1)β1 | … | gn(Tn)βn) = (0 | … | 0).
By earlier lemma
g(T) = (g1(T1) | … | gn(Tn))
183
Then W = ∑ W I Wj
j
⎛ ⎞
= ⎜⎜ ∑ W1 I Wj11 K ∑(W n
)
I Wjnn ⎟⎟ .
⎝ j1 jn ⎠
The proof of lemma 2.1.6 and the following theorem are left for
the reader.
184
THEOREM 2.1.31: Let V = (V1 | … | Vn) and V ′ = (V1′ K Vn′)
be finite (n1, …, nn) dimensional super inner product spaces
over the same field F. Suppose Ts is a normal operator on V and
that T's is a normal operator on V′. Then Ts is unitarily
equivalent to T's if and only if Ts and T's have the same
characteristic super polynomials.
185
zero super function) from V × V into (F | … | F) is clearly a
bilinear superform. If f = (f1 | … | fn) and g = (g1 | … | gn) then
cf + g is also a bilinear superform, for any bilinear superforms f
and g where c = (c1 | … | cn) i.e., cf + g = (c1f1 + g1 | … | cnfn +
gn). We shall denote the super space of bilinear superforms on V
by SL (V, V, F). SL (V, V, F) = {collection of all bilinear
superforms from V × V into (F | … | F)} = (L1(V1, V1, F) | … |
Ln(Vn, Vn, F)}; where each Li(Vi, Vi, F) is a bilinear form, from
Vi × Vi → F, i = 1, 2, …, n}.
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
A=⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
186
space SL(V, V, F) onto the super space of all (n1 × n1, …, nn ×
nn) super diagonal matrix A
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
=⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
(cf + g) (α i , α j ) = cf (α i , α j ) + g(α i , α j )
i.e. ((c1f1 + g1 )(α1i1 , α1j1 ) K (cn f n + g n ) (αinn , α njn′ ))
= (c1f1 (α1i1 , α1j1 ) + g1 (α1i1 , α1j1 ) K c n f n (α inn , α njn ) + g n (α inn , α njn ))
187
COROLLARY 2.2.1: If B = (B1 | … | Bn)
(α11 Kα n11 K α1n Kα nnn ) is an ordered super basis for V = (V1 |
… | Vn) and B* = ( B1* K Bn* ) = (L11 K L1n1 K Ln1 K Lnn n ) is the
dual super basis for V * = (V1* K Vn* ) then the (n12 , K , nn2 )
bilinear superforms
188
Let f = (f1 | … | fn) be any bilinear superform on V = (V1 | … |
Vn) and let
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
f = (f1 | … | fn)
⎛ ⎞
⎜⎜ ∑ A i1 j1 f i1 j1 K ∑A
1 1 n
= i n jn f inn jn ⎟⎟ .
⎝ i1 j1 i n jn ⎠
189
= (f1(α1, β1) | … | fn(αn , βn))
= (( R1f1 β1 )α1 K ( R nfn β n ) α n ) .
190
Proof: The condition (b) simply says that the super null space of
Lf = (L1f1 K Lnf n ) is the zero super subspace. Statement (c)
says that super null space of R f = (R 1f1 K R fnn ) is the super
zero subspace. The super linear transformations Lf and Rf have
super nullity (0 | … | 0) if and only if they have super rank (n1,
…, nn) i.e. if and only if super rank f = (n1, …, nn).
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
191
for some super basis B is super symmetric i.e. each Ai is a
symmetric matrix of A for i = 1, 2, …, n i.e. At = A i.e. f(X, Y)
= XtAY where X and Y super column matrices. This is true if
and only if XtAY = YtAX for all supercolumn matrices X and
Y, where X = (X1 | … | Xn)t and Y = (Y1 | … | Yn)t where each
Xi and Yi are row vectors. Now
⎛ A1 0 0 ⎞
⎜ ⎟ ⎛Y ⎞
0 A2 0 ⎟ ⎜ 1⎟
X AY = (X1 | … | Xn) × ⎜
t
× M
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜Y ⎟
⎜ 0
⎝ 0 A n ⎟⎠ ⎝ n ⎠
⎛ X1t A1Y1 0 0 ⎞
⎜ t ⎟
0 X A 2 Y2 0
= ⎜⎜ ⎟
2
⎟
⎜ ⎟
⎜ 0 0 X nt A n Yn ⎟⎠
⎝
⎛ A1 0 0 ⎞
⎜ ⎟ ⎛X ⎞
0 A2 0 ⎟ ⎜ 1⎟
= (Y1 | … | Yn) × ⎜ × M
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜X ⎟
⎜ 0
⎝ 0 A n ⎟⎠ ⎝ n ⎠
⎛ Y1t A1X1 0 ⎞
⎜ t ⎟
0 Y A2X2 0
= ⎜⎜ ⎟.
2
⎟
⎜ ⎟
⎜ 0 0 Yn A n X n ⎟⎠
t
⎝
192
This paves way for us to define quadratic super form associated
with a super symmetric bilinear super form f.
1 1
f (α, β) = q (α + β) − q(α − β)
4 4
i.e.
(f1(α1, β1) | … | fn(αn, βn)) =
⎛⎛ 1 1 ⎞
⎜ ⎜ q1 (α1 − β1 ) − q1 (α1 − β1 ) ⎟ |K | .
⎝⎝ 4 4 ⎠
⎛1 1 ⎞⎞
⎜ q n ( α n − β n ) − q n (α n − β n ) ⎟ ⎟ .
⎝4 4 ⎠⎠
f A (X, Y) = (f A1 1 (X1 , Y1 ) K f An n (X n , Yn ))
193
⎛ X1t A1Y1 0 ⎞
⎜ t ⎟
0 X A 2 Y2 0
= X AY = ⎜⎜ ⎟
t 2
⎟
⎜ ⎟
⎜ 0 0 X nt A n Yn ⎟⎠
⎝
⎛ ⎞
= ⎜⎜ ∑ A1i1 j1 x1i1 y1j1 K ∑A n
i n jn x inn y njn ⎟⎟ .
⎝ i1 , j1 i n , jn ⎠
194
some terminology of super inner product of f. It is especially
convenient to say that α and β are super orthogonal with respect
to f if f(α, β) = (f1(α1, β1) | … | fn(αn, βn)) = (0 | … | 0). It
pertinent to mention here that it is not proper to think of f(α, α)
= (f1(α1, α1) | … | fn(αn, αn)) as the super square of the length of
α.
195
W ⊥ = (W1⊥ K Wn⊥ ) be the set of all super vectors β = (β1 |
… | βn) in V = (V1 | … | Vn) such that f(α, β) = (f1(α1, β1) | … |
fn(αn, βn)) = (0 | … | 0).
f ( γ, α)
β=γ− α
f ( α, α )
i.e.,
β = (β1 | … | βn)
⎛ f (γ , α ) f (γ , α ) ⎞
= ⎜ γ1 − 1 1 1 α1 K γ n − n n n α n ⎟ .
⎝ f1 (α1 , α1 ) f n (α n , α n ) ⎠
Then
f ( γ , α )f (α, α)
f ( α , β) = f ( α , γ ) −
f ( α, α )
i.e.,
(f1(α1, β1) | … | fn(αn, βn))
⎛ f ( γ , α )f (α , α )
= ⎜ f1 (α1 , γ1 ) − 1 1 1 1 1 1 | K |
⎝ f1 (α 1 , α1 )
196
f n ( γ n , α n )f n (α n , α n ) ⎞
f n (α n , α n ) − ⎟
f n (α n , α n ) ⎠
which shows V = W + W⊥
i.e.
(V1 | … | Vn) = (W1 + W1⊥ K Wn + Wn⊥ ) .
197
COROLLARY 2.2.4: Let F be a field of complex numbers and let
A be a super symmetric diagonal matrix over F i.e.
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
⎛ P1 0 0⎞
⎜ ⎟
0 P2 0⎟
P = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Pn ⎟⎠
⎝
⎛ P1t 0 0 ⎞ ⎛ A1 0 0 ⎞ ⎛ P1 0 0⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜0 P2t 0⎟ ⎜ 0 A2 0⎟ ⎜ 0 P2 0⎟
⎜ ⎟×⎜ ⎟×⎜ ⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜0 0 Pnt ⎟⎠ ⎜⎝ 0 0 An ⎟⎠ ⎜⎝ 0 0 Pn ⎟⎠
⎝
⎛ P1t A1 P1 0 0 ⎞
⎜ ⎟
0 t
0
= ⎜⎜ ⎟.
P A2 P2
2
⎟
⎜ ⎟
⎜ 0 0 Pn An Pn ⎟⎠
t
⎝
198
THEOREM 2.2.4: Let V = (V1 | … | Vn) be a finite (n1, …, nn)
dimensional super vector space over the field of complex
numbers. Let f = (f1 |…|fn) be a symmetric bilinear superform on
V which has super rank r = (r1, …, rn). Then there is an ordered
super basis B = (B1, …, Bn) = ( β11 , K , β n11 ;K; β1n ,K , β nnn ) for V
such that
⎛ A1 0 0⎞
⎜ ⎟
0 A2 0⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 An ⎟⎠
⎝
199
super diagonal matrix of f is a superdiagonal matrix such that
the entries are only ±1
i.e. f ( β j , β j ) = ( f1 ( β 1j1 , β 1j1 ) K f n ( β jnn , β jnn )) = (±1 | … | ±1);
{
Proof: There is a superbasis α11 K α1n1 ; ...; α1n K α nn n } for V =
{
(V1 | … | Vn) i.e. α1t K α nt t } is a basis for V , t = 1, 2, …, n.
t
such that
f (αi , α j ) = (f1 (α1i1 , α1j1 ) K f n (α inn , α njn )) = (0 | … | 0)
if it ≠ jt
f (α j , α j ) = (f1 (α1j1 , α1j1 ) K f n (α njn , α njn )) ≠ (0 | … | 0)
for 1 ≤ jt ≤ rt
f (α j , α j ) = (f1 (α1j1 , α1j1 ) K f n (α njn , α njn )) = (0 | … | 0)
jt > rt for t = 1, 2, …, n.
Let
−½
β j = (β1j1 K βnjn ) = f (α j , α j ) αj
(
= f1 (α1j1 , α1j1 )
−½
α1j1 K f n (α njn , α njn )
−½
α njn )
1 ≤ jt ≤ rt ; t = 1, 2, …, n.
{
then β11 K βnn1 ; K ; β1n K βnn n } is a super basis satisfying all the
properties.
200
Let p = (p1 | … | pn) be the number of basis super vectors
β j = (β1j1 K βnjn ) for which
f (β j , β j ) = (f1 (β1j1 , β1j1 ) K f n (βnjn , βnjn )) = (1 |… |1) ;
201
super independent that is Wi , Vi− and Vi⊥ are independent for
i = 1, 2, …, n;
Then (0 | … | 0)
= (f1(α1, α1 + β1 + γ1) | … | fn(αn, αn + βn + γn))
= (f1(α1, α1) + f1(α1, β1) + f1(α1, γ1) | … |
fn(αn, αn) + fn(αn, βn) + fn(αn, γn))
= f(α, α) + f(α, β) + f(α, γ) .
(0 | … | 0) = f(β, α + β + γ)
= (f1(β1, α1 + β1 + γ1) | … | fn(βn, αn + βn + γn))
= (f1(β1, α1) + f1(β1, β1) + f1(β1, γ1) | … |
fn(βn, αn) + fn(βn, βn) + fn(βn, γn)).
= (f(β, α) + f(β, β) + f(β, γ)).
Hence
f(α, α) = f(β, β)
i.e. (f1(α1, α1) | … | fn(αn, αn)) = (f1(β1, β1) | … | fn(βn, βn)).
Since
f(α, α) = (f1(α1, α1) | … | fn(αn, αn)) ≥ (0 | … | 0)
and f(β, β) = (f1(β1, β1) | … | fn(βn, βn)) ≤ (0 | … | 0)
202
it follows that f(α, α) = f(β, β) = (0 | … | 0) .
But f is super positive definite on W = (W1 | … | Wn) and super
negative definite on V − = (V1− K Vn− ) . We conclude that α =
(α1 | … | αn) = (β1 | … | βn) = (0| … | 0) and hence that γ = (0 |
… | 0) as well. Since V = V + ⊕ V − ⊕ V ⊥ and W, V − , V ⊥ are
super independent we see that super dim W < super dim V+ i.e.
(dim W1, …, dim Wn) ≤ (dim V1+ , K ,dim Vn+ ) . That is if W =
(W1 | … | Wn) is any supersubspace of V on which f is super
positive definite, the super dimension of W cannot exceed the
superdimension of V+. If B1 is the superbasis given in the
theorem, we shall have corresponding supersubspaces VI+ , VI−
and VI⊥ and the argument above shows that superdim VI+ ≤
superdim V+. Reversing the argument we obtain superdim V+ <
super dim VI+ and subsequently,
super dim V+ = super dim VI+ .
There are several comments we can make about the super basis
{ }
β11 K β1n1 ; K ; β1n K βnn n and the associated super subspaces
V + , V − and V ⊥ . First we have noted that V⊥ is exactly the
subsubspace of super vectors which are super orthogonal to all
of V. We noted above that V⊥ is contained in the super
subspace. But super dim V⊥ = super dim V – (super dim V + +
super dim V–) = super dim V – super rank f; so every super
vector α such that
f(α, β) = (f1(α1, β1) | … | fn(αn, βn)) = (0 | … | 0)
for all β = (β1 | … | βn) must be in V⊥. Further the subspace V⊥
is unique. The super dimension of V⊥ is the largest possible
super dimension of any subspace on which f is super positive
definite. Similarly super dim V– is the largest super dimension
of any supersubspace on which f is super negative definite. Of
course super dim VI+ + super V– = super rank f.
203
super dimensions of V+ and V– are easily determined from the
super rank of f and the super signature of f.
α = (α1 + α2 + α3)
= (α11 K α1n ) + (α12 K α n2 ) + (α13 K α 3n )
= (α11 + α12 + α13 K α1n + α n2 + α 3n )
and similarly
β = (β11 + β12 + β13 K β1n + β 2n + β3n )
204
in some ordered super basis is skew super symmetric i.e., At = –
A i.e., if
⎛ A1t 0 0 ⎞
⎜ t ⎟
⎜ 0 A2 0 ⎟
A = ⎜
t
⎟
⎜ ⎟
⎜ 0 0 A t
⎟
⎝ n ⎠
then
⎛ −A1 0 0 ⎞
⎜ ⎟
⎜ 0 −A 2 0 ⎟
−A =
⎜ ⎟
⎜ ⎟
⎜ o 0 − A n ⎟⎠
⎝
205
i.e., each di = difi(βi, αi) and each Ci = Cifi(αi, βi) for i = (1, 2,
…, nn). In particular note that α and β are linearly super
independent for if γ = (γ1 | … | γn) = (0 | … | 0), then
206
{(α , β )K(α
1
1
1
1
1
k1 , β1k1 ) K (α1n , β1n ) K (α nk n , β nk n )} with the
following properties
207
⎛ 0 1⎞
L =⎜ ⎟.
⎝ -1 0 ⎠
Proof: Let α11 , β11 K α1k1 , β1k1 ;K; α1n , β1n ,K α nk n , β nk n be super vectors
satisfying the conditions (a), (b) and (c) mentioned in the page
{
207. Let γ11 K γ1s 1 ,K, γ1n K γ ns
n
} be any ordered super basis for
the supersubspace W0 = (W01 K W0n ) .
Then
{
B = α11 , β11 K α1k1 , β1k1 ; γ11 K γ1s1 , K, α1n , β1n K α nk n , βnk n ; γ1n K γ snn }
is an ordered super basis for V = (V1 | … | Vn). From (a), (b) and
(c) it is clear that the super diagonal matrix of f = (f1 | … | fn) in
the ordered super basis B is the super direct sum of ((n1 – 2k1) ×
(n1 – 2k1) , …, (nn – 2kn) × (nn – 2kn)) zero super matrix and (k1 |
… | kn) copies of 2 × 2 matrix
⎛ 0 1⎞
L= ⎜ ⎟.
⎝ -1 0 ⎠
Further more the super rank of this matrix, hence super rank of f
is (2k1, …, 2kn).
208
g(α, β) = (g1(α1, β1) | … | gn(αn, βn))
= f(Tsα, Tsβ)
= (f1(T1α1, T1β1) | … | fn(Tnαn, Tnβn));
Proof: Let (G1 | … | Gn) = G be the super set of all super linear
operators preserving the bilinear superform f = (f1 | … | fn) i.e.
Gi is a set of linear operators on Vi which preserve fi ; i = 1, 2,
…, n. We see the super identity operator is in (G1 | … | Gn) = G
and that when ever Ss and Ts are in G the super composition Ss o
Ts = (S1T1 | … | SnTn) is also in G i.e. each SiTi is in Gi, i = 1, 2,
…, n. Using the fact that f is super non degenerate we shall
prove that any super operator Ts in G is super invertible i.e. each
component is invertible in every Gi, and Ts−1 is also in G.
Suppose Ts = (T1 | … | Tn) preserves f = (f1 | … | fn). Let α = (α1
| … | αn) be a super vector in the super null space of Ts. Then for
any β = (β1 | … | βn) in V we have
209
f(α, β) = f(Tsα, Tsβ) = f(0, Tsβ) = (0 | … | 0)
i.e., (f1(α1, β1) | … | fn(αn, βn))
= (f1(T1α1, T1β1) | … | fn(Tnαn, Tnβn))
= (f1(0, T1β1) | … | fn(0, Tnβn)) = (0 | … | 0).
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜ = [f ]B = ([f1 ]B1 K [f n ]Bn )
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
210
M = [Ts]B = ([T1 ]B1 K [Tn ]Bn ) .
Then
f(Tsα, Tsβ) = (f1(T1α1, T1β1) | … | fn(Tnαn, Tnβn))
= (MX)tA(MY);
⎛ M1t A1 M1 0 0 ⎞
⎜ t ⎟
0 M A2 M2 0
= X t ⎜⎜ ⎟ Y.
2
⎟
⎜ ⎟
⎜ 0 0 M n A n M n ⎟⎠
t
⎝
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A=⎜
⎜ ⎟
⎜ ⎟
⎜0 0 A n ⎟⎠
⎝
⎛ A1 0 0 ⎞ ⎛ [f1 ]B1 0 0 ⎞
⎜ ⎟ ⎜ ⎟
⎜ 0 A2 0 ⎟ ⎜ 0 [f 2 ]B2 0 ⎟
i.e., =
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ ⎟
⎜ 0 0 A n ⎟⎠ ⎜ 0 0 [f n ]Bn ⎟
⎝ ⎝ ⎠
211
then M is in this super group of super diagonal matrices if and
only if M = [Ts]B
⎛ M1 0 0 ⎞ ⎛ [T1 ]B1 0 0 ⎞
⎜ ⎟ ⎜ ⎟
0 M2 0 ⎟ ⎜ 0 [T2 ]B2 0 ⎟
i.e., ⎜ = ⎜ ⎟
⎜ ⎟
⎜ ⎟ ⎜ ⎟
⎜ 0 0 M n ⎟⎠ ⎜ 0 0 [Tn ]Bn ⎟
⎝ ⎝ ⎠
212
Hence Ti → [Ti ] Bi for every i is an isomorphism of Gi onto
O(ni, c); i = 1, 2,…, n. Thus Ts → [Ts ] B is a super isomorphism
of G = (G1 | … | Gn) onto O(n, c) = (O(n1, c) | … | O(nn, c))
⎛ p1 1 2 n1 pn nn
⎞
⎜⎜ ∑ (x j1 ) − ∑ (x j1 ) K ∑ (x njn )2 − ∑
1 2
= (x njn ) 2 ⎟⎟ .
⎝1j =1 j1 = p1 +1 jn =1 jn = pn +1 ⎠
213
2.3 Applications
214
X (0) = [x1(0) , K , x (0)
N ]
each p (n)
ij has a limit as n → ∞. We denote the limit matrix
necessarily a stochastic matrix by L. The components of X ( ∞ )
defined by the equation X ( ∞ ) = X (0) L are the limiting state
distributions and represent the approximate proportions of
objects in various states of a Markov chain after a large number
of time periods. Now we define 3 types of Markov chains using
2 types of stochastic or transitive matrix.
215
(P1 | … | Pp) = [[p1ij ] K [pijp ]] is called the stochastic super
row square matrix or transition super row square matrix.
Necessarily the elements in each row of Pt sum to unity, each Pt
is distinct from Ps in its entries if t ≠ s, 1 ≤ t, s ≤ p. Thus we
have an N-state p sets of Markov chain defined as super p-row
Markov chain or p-row super Markov chain or p-Markov super
row chain (all mean one and the same model).
We give an example of a super 5-row Markov chain with
two states.
⎡0.19 0.81 0.31 0.69 0.09 0.91 0.18 0.82 0.73 0.27 ⎤
P=⎢ ⎥
⎣0.92 0.08 0.23 0.77 0.87 0.13 0.92 0.08 0.50 0.50 ⎦
the distribution super row vector for the end of the nth time
period. Accordingly
X 0 = [(x11 )(0) K (x1N )(0) K [(x1p )(0) , K (x pN )(0) ]
= [X1(0) K X (0)
p ]
i.e., X n = X 0 P n
p ] = [X P1
i.e. [X1(n ) K X (n ) 0 n
K X 0p Ppn ] .
216
A stochastic super row square matrix P = (P1 | … | Pn) is super
⎡ ⎤
ergodic if lim P n ⎢ lim P1n K lim Ppn ⎥ exists i.e. if each (pijt )(n)
n→∞ ⎣ n→∞ n→∞ ⎦
⎛ P1 0 0⎞
⎜ ⎟
0 P2 0⎟
P=⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Pn ⎟⎠
⎝
217
This is true for every t = 1, 2, …, p. Thus for a (N1, …, Np)
state Markov chain we have the super diagonal square matrix, or
a mixed super diagonal square matrix or a super diagonal square
matrix.
Hence
⎛ P1n 0 0 ⎞ ⎛ (p1ij )(n ) 0 0 ⎞
⎜ n ⎟ ⎜ 2 (n ) ⎟
⎜ 0 P2 0⎟ ⎜ 0 (pij ) 0 ⎟
P = ⎜ ⎟ =⎜
n
⎟.
⎜ ⎟ ⎜ ⎟
⎜0 0
⎝ Ppn ⎟⎠ ⎜⎝ 0 0 (pijp )(n ) ⎟⎠
Xn = X0Pn
i.e. [X1(n ) K X (n
p ]
)
⎛ P1(n ) 0 0 ⎞
⎜ ⎟
(0) ⎜
0 P2(n ) 0 ⎟
= [X1(0) K Xp ] ⎜ ⎟.
⎜ ⎟
⎜ 0 0 Pp(n ) ⎟⎠
⎝
i.e. [X1(n ) K X (n
p ]
)
218
⎛ X1(0) P1(n ) 0 0 ⎞
⎜ (0) (n ) ⎟
= ⎜⎜ ⎟
0 X P
2 2 0
⎟
⎜ ⎟
⎜ 0 0 X (0) (n )
p Pp ⎠
⎟
⎝
i.e. each X (n
t
)
= X (0)
t Pt
(n )
true for i = 1, 2, …, n.
219
each column sum of the coefficient matrix is one
i. pi ≥ 0, i = 1, 2, …, n.
ii. aij ≥ 0, i , j = 1, 2, …, n.
iii. aij + a2j +…+ anj = 1
for j = 1, 2 , …, n.
⎛ p1 ⎞
⎜ ⎟
p
p= ⎜ 2⎟
⎜ M ⎟
⎜ ⎟
⎝ pn ⎠
Ap = p that is, (I – A) p = 0.
220
di = monetary value of the output of the ith industry needed to
satisfy the outside demand.
⎛ x1 ⎞
⎜ ⎟
x
x= ⎜ 2⎟
⎜ M ⎟
⎜ ⎟
⎝ xk ⎠
⎛ d1 ⎞
⎜ ⎟
d
d= ⎜ 2⎟
⎜ M ⎟
⎜ ⎟
⎝ dk ⎠
x ≥ 0, d ≥ 0 and C ≥ 0.
From the definition of σij and xj it can be seen that the quantity
σi1 x1 + σi2 x2 +…+ σik xk
221
is the value of the output of the ith industry needed by all k
industries to produce a total output specified by the production
vector x.
Since this quantity is simply the ith entry of the column vector
Cx, we can further say that the ith entry of the column vector x –
Cx is the value of the excess output of the ith industry available
to satisfy the outside demand. The value of the outside demand
for the output of the ith industry is the ith entry of the demand
vector d; consequently; we are led to the following equation:
x – Cx = d or
(I – C) x = d
222
a1j + a2j +…+akj ≠ 1
A = [A1 | … | An]
223
[A1P1 K A p Pp ] = [P1 K Pp ]
A*P=P
that is
(I – A) P = (0 | … | 0)
i.e., ((I – A1) P1 | … | (I – Ap) Pp) = (0 | … | 0).
(I – A) P = (0 | … | 0)
i.e., ((I – A1) P1 | … | (I – Ap) Pp) = (0 | … | 0)
and it may be choosen such that all of its entries are positive in
Leontief open production sup model.
Note this super model yields easy comparison as well as this
super model can with different set of price super column vectors
and exchange super row matrix find the best solution from the p
solutions got from the relation
(I – A) P = (0 | … | 0)
i.e., ((I – A1) P1 | … | (I – Ap) Pp) = (0 | … | 0) .
224
status and the education status vary in different locations, how
to make a single model to study the situation. In both the cases
one can make use of the super input-output model the relation
matrix which is a input-output super diagonal mixed square
matrix, which will be described presently.
The exchange matrix with p distinct economic models is
used to describe the interrelations between prices, outputs and
demands. Then the related matrix A will be a super diagonal
mixed square matrix
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A = ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A p ⎟⎠
⎝
225
⎛ P1 ⎞
⎜ ⎟
P =⎜ M ⎟
⎜P ⎟
⎝ p⎠
⎛ A1P1 0 0 ⎞
⎜ ⎟ ⎛ P1 ⎞
0 A 2 P2 0 ⎟ ⎜ ⎟
AP = ⎜ =⎜ M ⎟
⎜ ⎟
⎜ ⎟ ⎜P ⎟
⎜ 0 0 A p Pp ⎟⎠ ⎝ p⎠
⎝
⎛ (I1 − A1 )P1 0 0 ⎞
⎜ ⎟
⎜ 0 (I 2 − A 2 )P2 0 ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 0 (I n − A n )Pn ⎟⎠
⎝
⎛0 0 0⎞
⎜ ⎟
0 0 0⎟
= ⎜ .
⎜ ⎟
⎜ ⎟
⎜0 0 0 ⎟⎠
⎝
⎛ P1 ⎞
⎜ ⎟
P=⎜ M ⎟
⎜P ⎟
⎝ p⎠
226
is positive; 1 ≤ t ≤ p. Then there is exactly only one linearly
independent solution;
⎛0 0 0⎞
⎜ ⎟
0 0 0⎟
(I – A)P = ⎜
⎜ ⎟
⎜⎜ ⎟
⎝0 0 0 ⎟⎠
and it may be choosen such that all of its entries are positive in
Leontief open production super model.
Next we proceed on the describe super closed row model
(or row closed super model) as the super closed model (or
closed super model).
Here we have p sets of K industries which are distributed
among themselves i.e. the first set with K industries distributed
among themselves, the second set with some K industries
distributed among themselves and so on and the p set with some
K industries distributed among themselves. It may be that some
industries are found in more than one set and some industries in
one and only one set and some industries in all the p sets. This
open super row model which we choose to call as, when p sets
of K industries get distributed among themselves attempts to
satisfy an outside demand for outputs. Portions of these outputs
may still be distributed among the industries themselves to keep
them operating, but there is to be some excess some net
production with which they satisfy the outside demand. In some
super closed row models the outputs of the industries in those
sets which they belong to were fixed and our objective was to
determine sets of prices for these outputs so that the equilibrium
condition that expenditure equal income was satisfied for each
of the p sets individually.
Thus we will have
227
d it = monetary value of the output of the ith
industry of the tth set needed to satisfy the
outside demand, 1 ≤ t ≤ p, I = 1, 2, …, K.
σijt = monetary value of the output of the ith
industry needed by the jth industry of the tth
set to produce one unit of monetary value of
its own output, 1 ≤ i ≤ K; 1 ≤ t ≤ p.
⎛ x11 ⎞
⎜ ⎟
⎛ X1 ⎞ ⎜ M ⎟
⎜ ⎟ ⎜ 1 ⎟
⎜ M ⎟ ⎜ xK ⎟
X = ⎜ Xt ⎟ = ⎜ M ⎟ .
⎜ ⎟ ⎜ p⎟
⎜ M ⎟ ⎜ x1 ⎟
⎜X ⎟ ⎜ M ⎟
⎝ p⎠
⎜ p⎟
⎝ xK ⎠
⎛ d11 ⎞
⎜ ⎟
⎛ d1 ⎞ ⎜ M ⎟
⎜ ⎟ ⎜ 1 ⎟
⎜ M ⎟ ⎜ dK ⎟
d = ⎜ dt ⎟ = ⎜ M ⎟
⎜ ⎟ ⎜ P⎟
⎜ M ⎟ ⎜ d1 ⎟
⎜d ⎟ ⎜ M ⎟
⎝ p⎠
⎜ P⎟
⎝ dK ⎠
228
⎧⎛ σ111 σ12
1
K σ1K
1
⎞ ⎛ σ11
p
σ12
p
K σ1K
p
⎞⎫
⎪⎜ 1 ⎟ ⎜ p ⎟⎪
⎪ σ σ22 K σ2K ⎟ σ σ22 K σ2K ⎟ ⎪
1 1 p p
= ⎨⎜ 21 K ⎜ 21 ⎬.
⎜ M ⎟ ⎜ M M ⎟⎪
⎪⎜ M M
⎟ ⎜⎜ p
M
⎟
⎪⎜ 1 1 ⎟ p ⎟
⎝ σK1 σK 2 K σKK ⎠ ⎭⎪
⎩⎝ σK1 σK 2 K σKK ⎠
1 p
⎛ 0⎞ ⎛0⎞
⎜ ⎟ ⎜ ⎟
X ≥ ⎜M⎟ ; d > ⎜ M ⎟ and C > (0 | … | 0).
⎜ 0⎟ ⎜0⎟
⎝ ⎠ ⎝ ⎠
For the tth set from the definition of σijt and x tj it can be seen
that the quantity
is the value of the ith industry needed by all the K industries (of
the set t) to produce a total output specified by the production
vector Xt. Since this quantity is simply the ith entry of the
column vector CtXt we can further say that the ith entry of the
column vector Xt – XtCt is the value of the excess output of the
ith industry (from the tth set) available to satisfy the outside
demand.
The value of the outside demand for the output of the ith
industry (from the tth set) is the ith entry of the demand vector dt;
consequently we are lead to the following equation for the tth set
Xt – CtXt = dt or (I – Ct)Xt = dt for the demand to be exactly met
without any surpluses or shortages. Thus given Ct and dt our
objective is to find a production vector Xt ≥ 0 which satisfies the
equation
(I – Ct)Xt = dt,
229
(I – C)X = d
i.e., [(I – C1)X1 | … | (I – Cp)Xp]
= (d1 | … | dp) .
(I − C) −1 = [(I − C1 ) −1 K (I − C p ) −1 ]
exists and
(I − C) −1 = [(I − C1 ) −1 K (I − C p ) −1 ] ≥ [0 K 0] .
⎛ X1 ⎞ ⎛ 0⎞
⎜ ⎟ ⎜ ⎟
X= ⎜ M ⎟≥ ⎜ M⎟
⎜X ⎟ ⎜ 0⎟
⎝ n⎠ ⎝ ⎠
230
themselves the super open model is constructed to satisfy an
outside demand for the outputs. Here one industry may find its
place in one and only one set or group. Some industries may
find its place in several groups. Some industries may find its
place in every group. To construct a closed super model to
analyze the situation.
Portions of these outputs may still be distributed among the
industries themselves to keep them operating, but there is to be
some excess some net production with which to satisfy the
outside demand.
Let
231
⎛ d11 ⎞
⎜ ⎟
⎜M ⎟
⎛ d1 ⎞ ⎜ d K1 ⎟
1
⎜ ⎟ ⎜ ⎟
d=⎜ M ⎟=⎜ M ⎟
⎜ d ⎟ ⎜ dp ⎟
⎝ p⎠ ⎜ 1 ⎟
⎜ M ⎟
⎜ p ⎟
⎜ dK ⎟
⎝ p⎠
⎛ C1 0 0 ⎞
⎜ ⎟
0 C2 0 ⎟
C=⎜
⎜ ⎟
⎜ ⎟
⎜0 0 C p ⎟⎠
⎝
where
⎛ σ11 t
σ12 t
K σ1K
t
⎞
⎜ t t
⎟
⎜ σ 21 σ 22 K σ 2K t ⎟
t t
Ct = ⎜ ⎟;
⎜ M M M ⎟
⎜ σ Kt 1 σ Kt 2 K σ1K K ⎟
⎝ t t t t ⎠
true for t = 1, 2, …, p.
⎛ X1 ⎞ ⎛ 0 ⎞ ⎛ d1 ⎞ ⎛ 0 ⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟
X =⎜ M ⎟ = ⎜ M ⎟, d = ⎜ M ⎟ = ⎜ M ⎟
⎜ X ⎟ ⎜ 0⎟ ⎜d ⎟ ⎜0⎟
⎝ p⎠ ⎝ ⎠ ⎝ p⎠ ⎝ ⎠
and
232
⎛ C1 0 0 ⎞ ⎛0 0 0⎞
⎜ ⎟ ⎜ ⎟
0 C2 0 ⎟ ⎜0 0 0⎟
C= ⎜ = .
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ ⎟
⎜0 0 Cp ⎟⎠ ⎜⎝ 0 0 0 ⎟⎠
⎝
From the definition of σijt and x tj for every group (set t) it can
be seen the quantity σijt X1t + K σiKt X Kt t is the value of the
output of the ith industry needed by all Kt industries (in the tth
group) to produce a total output specified by the production
vector Xt (1≤ t ≤ p). Since this quantity is simply the ith entry of
the super column vector in
⎛ C1 0 0 ⎞
⎜ ⎟ ⎛X ⎞
0 C2 0 ⎟ ⎜ 1⎟
CX = ⎜ M
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ X ⎟
⎜0 0
⎝ C p ⎟⎠ ⎝ p ⎠ p×1
p× p
= [C1X1 | … | CpXp]t
we can further say that the ith entry of the super column vector
Xt – CXt in
⎛ X1 − C1X p ⎞
⎜ ⎟
X − CX = ⎜ M M ⎟
⎜X − C X ⎟
⎝ p p p⎠
233
for the demand to be exactly met without any surpluses or
shortages. Thus given Ct and dt our objective is to find a
production vector Xt ≥ 0 which satisfy the equation (It – Ct)Xt =
d. The integrated super model for all the p-sets (or groups) is
given by X – CX = d i.e.
⎛ X1 − C1X1 ⎞ ⎛ d1 ⎞
⎜ ⎟ ⎜ ⎟
⎜ X 2 − C2 X 2 ⎟ = ⎜ d 2 ⎟
⎜ M ⎟ ⎜ M ⎟
⎜ ⎟ ⎜ ⎟
⎜ X p − Cp X p ⎟ ⎜ d p ⎟
⎝ ⎠ ⎝ ⎠
or
⎛ (I1 − C1 ) 0 0 ⎞
⎜ ⎟ ⎛ X1 ⎞ ⎛ d1 ⎞
⎜ 0 I2 − C2 ⎟ ⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ M ⎟=⎜ M ⎟
⎜ ⎟ ⎜X ⎟ ⎜d ⎟
⎜ 0 0 I p − C p ⎟⎠ ⎝ p⎠ ⎝ p⎠
⎝
i.e.,
⎛ (I1 − C1 )X1 ⎞ ⎛ d1 ⎞
⎜ ⎟ ⎜ ⎟
⎜ M ⎟=⎜ M ⎟
⎜ (I − C )X ⎟ ⎜ d ⎟
⎝ p p p⎠ ⎝ p⎠
234
⎛ (I1 − C1 )X1 ⎞ ⎛ d1 ⎞
⎜ ⎟ ⎜ ⎟
i.e. ⎜ M ⎟=⎜ M ⎟ .
⎜ (I − C )X ⎟ ⎜ d ⎟
⎝ p p p⎠ ⎝ p⎠
⎛ (I1 − C1 ) −1 0 0 ⎞
⎜ ⎟
⎜ 0 (I 2 − C 2 ) −1 0 ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 (I p − C p ) ⎟⎠
−1
⎝
exists and
⎛ (I1 − C1 ) −1 0 0 ⎞
⎜ ⎟
⎜ 0 (I 2 − C 2 ) −1 0 ⎟ ≥
⎜ ⎟
⎜ ⎟
⎜ 0 (I p − C p ) −1 ⎟⎠
⎝
⎛0 0 0⎞
⎜ ⎟
⎜0 0 0⎟
.
⎜ ⎟
⎜ ⎟
⎜0 0 ⎟⎠
⎝
⎛ X1 ⎞ ⎛ 0 ⎞
⎜ ⎟ ⎜ ⎟
X = ⎜ M ⎟ ≥ ⎜M⎟
⎜ X ⎟ ⎜0⎟
⎝ p⎠ ⎝ ⎠
such that
235
⎛ X1 ⎞ ⎛ C1X1 ⎞
⎜ ⎟ ⎜ ⎟
X > CX i.e. ⎜ M ⎟ > ⎜ M ⎟ .
⎜X ⎟ ⎜C X ⎟
⎝ p⎠ ⎝ p p⎠
236
Chapter Three
SUGGESTED PROBLEMS
In this chapter we have given over 160 problems for the reader
to understand the subject. Any serious researcher is expected to
work out the problems. The complexity of the problems varies.
237
3. Prove V = {(x1 x2 | x3 x4 x5 | x6 x7 x8 x9) | xi ∈ R; 1 ≤ i ≤ 9} is a
super vector space over Q. What is the dimension of V?
5. Prove
⎧⎛ a1 a2 a3 a7 a9 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ a 4 a5 a6 a8 a10 ⎟ ⎪
⎪ a 21 ⎟ a i ∈ Q;1 ≤ i ≤ 25⎪⎬
V = ⎨⎜ a11 a12 a13 a 20
⎪⎜ a a15 a16 a 22 a 23 ⎟
⎟ ⎪
⎪⎜ 14 ⎪
⎪⎜⎝ a17 a18 a19 a 24 a 25 ⎟⎠ ⎪
⎩ ⎭
238
9. Let V = {(x1 x2 | x3 x4 | x5 x6 x7) | xi ∈ Q; 1 ≤ i ≤ 7} be a super
vector space over the field Q. W = {(x1 x2 x3 | x4 x5 | x6 x7) | xi ∈
Q; 1 ≤ i ≤ 7}. For any linear super transformation Ts and verify
the condition rank Ts + nullity Ts = dim V = 7.
⎧⎛ a1 a2 a3 a4 a5 ⎞
⎪⎜ ⎟
⎪ a a7 a8 a15 a16 ⎟
V = ⎨⎜ 6 | ai ∈ Q; 1 ≤ i ≤ 20}
⎪⎜⎜ a 9 a10 a11 a17 a18 ⎟
⎟
⎪⎝ a12 a13 a14 a19 a 20 ⎠
⎩
over Q.
239
⎧⎛ a 1 a7 a8 a9 ⎞
⎪⎜ ⎟
⎪⎜ a 2 a10 a11 a12 ⎟
⎪⎪⎜ a a13 a14 a15 ⎟
V = ⎨⎜ 3 ⎟
⎪⎜ a 4 a16 a17 a18 ⎟
⎪⎜ a 5 a19 a 20 a 21 ⎟
⎪⎜⎜ ⎟
⎩⎪⎝ a 6 a 22 a 23 a 24 ⎟⎠
18. How many super vector subspaces SL (V, W) can be got given
V is a super vector space of natural dimension n and W a super
vector space of natural dimension m, both defined on the same
field F?
19. Given X = (x1 x2) we have only one partition (x1 | x2). Given X
= (x1 x2 x3) we have three partitions (x1 x2 | x3), (x1 | x2 x3), (x1 |
x2 | x3). Given X = (x1 x2 x3 x4) we have (x1 | x2 | x3 | x4), (x1 x2 |
x3 x4), (x1 x2 | x3 | x4), (x1 x2 x3 | x4) (x1 | x2 x3 x4) (x1 | x2 x3 | x4)
and (x1 | x2 | x3 x4) seven partitions. Thus given X = (x1 x2 … xn)
how many partitions can we have on X?
240
21. Let V = {(x1 | x2 x3 | x4 x5) | xi ∈ Q; 1 ≤ i ≤ 5} and W = {(x1 x2 |
x3 | x4 x5) | xi ∈ Q; 1 ≤ i ≤ 5} be two super vector spaces over Q.
241
relation between the 3 super spaces SL (V, W), SL (W, P) and
SL(V, P)?
⎛3 1 0 0 0 0 0 0 0 0 0 0⎞
⎜ ⎟
⎜0 1 1 0 0 0 0 0 0 0 0 0⎟
⎜1 1 1 0 0 0 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 1 1 1 0 0 0 0 0 0⎟
⎜0 0 0 0 1 1 0 0 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 1 0 0 0 0 0 0 0⎟
A= ⎜
0 0 0 0 0 0 1 0 1 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 1 0 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 0 1 1 0 0 0 0⎟
⎜0 0 0 0 0 0 0 0 0 1 2 3⎟
⎜ ⎟
⎜0 0 0 0 0 0 0 0 0 0 2 1⎟
⎜0 0 0 0 0 0 0 0 0 3 0 1 ⎟⎠
⎝
26. Prove any other interesting theorem / results about super vector
spaces.
27. Prove all super vector spaces in general are not super linear
algebras.
242
Find super subspaces W1 and W2 of V such that W1 + W2 = V.
Can W1 ∩ W2 = W be a super subspace different from the zero
super space?
30. Given
⎧⎛ α1 α2 α3 ⎞ ⎫
⎪⎜ ⎟ ⎪
⎪⎜ α 4 α5 α6 0 ⎟ ⎪
⎪ ⎟ | α ∈ Q;1 ≤ i ≤ 13⎪⎬ .
V = ⎨⎜ α 7 α8 α9
⎪⎜ ⎟ i
α10 α11 ⎟ ⎪
⎪⎜ 0 ⎪
⎪⎩⎜⎝ α12 α13 ⎟
⎠ ⎪⎭
⎧⎛ α1 α2 α3 0 0 0 0 0 ⎞
⎪⎜ ⎟
⎪⎜α 4 α5 α6 0 0 0 0 0 ⎟
⎪⎜α 7 α8 α9 0 0 0 0 0 ⎟
⎪⎜ ⎟
⎪ 0 0 0 α10 α11 0 0 0 ⎟
SL(V, V) ≅ ⎨⎜⎜ |
⎪⎜ 0 0 0 α12 α13 0 0 0 ⎟
⎟
⎪⎜ 0 0 0 0 0 α14 α15 α16 ⎟
⎪⎜
⎪⎜ 0 0 0 0 0 α17 α18 α19 ⎟
⎟
⎪⎜ 0 0 0 0 0 α 20 α 21 α 22 ⎟⎠
⎩⎝
243
αi ∈ Q; 1 ≤ i ≤ 22}.
244
In this case can we say the minimum of one partition on V
is the maximum of 2 partition on V.
41. If V and W are super vector spaces over the same field F, when
will V and W be isomorphic. Is it enough if natural dimension
V = natural dimension W? or it is essential both V and W
should have the same dimension and the identical partition?
245
spaces over Q. Find SL(V, W). Find Ts the linear transformation
related to the super diagonal matrix.
⎛1 2 0 0 0 0 0 0⎞
⎜ ⎟
⎜0 1 0 0 0 0 0 0⎟
⎜1 1 0 0 0 0 0 0⎟
⎜ ⎟
0 0 1 0 1 0 0 0⎟
A= ⎜ .
⎜0 0 0 2 1 0 0 0⎟
⎜ ⎟
⎜0 0 0 0 0 1 2 3⎟
⎜0 0 0 0 0 0 −1 4⎟
⎜ ⎟
⎜0 0 0 0 0 1 0 2 ⎟⎠
⎝
246
46. Find for the above problem a Ts: V → V such that all the super
eigen values are real.
⎛0 1 2 0 0 0⎞
⎜ ⎟
⎜1 0 1 0 0 0⎟
⎜0 1 −2 0 0 0⎟
A= ⎜ ⎟.
⎜0 0 0 1 −1 0 ⎟
⎜0 0 0 1 2 0⎟
⎜ ⎟
⎜ 0 −1⎠⎟
⎝0 0 0 0
247
52. Let V = {(x1 x2 | x3 | x4 x5 x6 x7) | xi ∈ Q; 1 ≤ i ≤ 7} be a super
vector space over Q.
If
⎛1 2 0 0 0 0 0⎞
⎜ ⎟
⎜ 0 −3 0 0 0 0 0⎟
⎜0 0 1 0 0 0 0⎟
⎜ ⎟
A = ⎜0 0 0 1 2 0 −1⎟
⎜0 0 0 0 −1 2 3⎟
⎜ ⎟
⎜0 0 0 1 0 1 0⎟
⎜0 0 0 −3 1 0 1 ⎟⎠
⎝
248
59. Give an example of a 15 × 15 super diagonal matrix whose
diagonal matrices are not square matrices.
63. Let
⎛3 1 ⎞
⎜ 0 0 0 ⎟
⎜0 0 ⎟
⎜ 1 0 2 ⎟
⎜ ⎟
⎜ 0 3 4 5 0 0 ⎟
⎜ 1 1 1 ⎟
A= ⎜ ⎟
⎜ 2 5 ⎟
⎜ 0 0
−1 2
0 ⎟
⎜ ⎟
⎜ 1 2 3⎟
⎜ ⎟
⎜ 0 0 0 4 5 6⎟
⎜ 7 8 9 ⎟⎠
⎝
64. Find the characteristic super values associated with the super
diagonal matrix A.
249
⎛3 1 0 1 ⎞
⎜ ⎟
⎜0 0 1 2
0 0 ⎟
⎜ −1 0 −1 0 ⎟
⎜ ⎟
⎜0 0 0 2 ⎟
⎜ 2 3 0 1 ⎟
⎜ ⎟
⎜ 1 0 1 0 ⎟
A= ⎜ 0 0 ⎟
0 0 1 0
⎜ ⎟
⎜ 1 0 0 0 ⎟
⎜ ⎟
⎜ 0 1 2⎟
⎜ 0 0 0 1 0⎟
⎜ ⎟
⎜ 2 0 1 ⎟⎠
⎝
65. Let
⎛ A1 0 0 ⎞
⎜ ⎟
⎜ 0 A2 0 ⎟
A=
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
be a super diagonal square matrix with characteristic super
polynomial f = (f1 | f2 | … | fn) =
1 k1 1 kn
((x − c11 )d1 . .. (x − c1k1 )d1 | . .. | (x − c1n )dn . . . (x − c nk n )dn ).
Show that
(c11 d11 + . .. + c1k1 d1k1 | . .. | c1n d1n + .. . + c kn n d nk n )
= (trace A1 | … | trace An).
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜ .
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
250
Let Ts be the linear operator on V = (V1 | … | Vn) defined by
Ts(B) = AB
⎛ A1 B1 0 0 ⎞
⎜ ⎟
0 A 2 B2 0
=⎜ ⎟,
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n Bn ⎟⎠
⎝
69. Let
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
((x − c ) 1 d11
1 . .. (x − c1k1 )
d1k1 n
| .. . | (x − c1n )d1 . .. (x − ckn n )
d kn n
n
)
( )
where (c11 .. . c1k1 ), . .., (c1n .. . cnk n ) are distinct. Let V = (V1 | … |
Vn) be the super space of (n1 × n1, …, nn × nn) matrices;
251
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B=⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Bn ⎟⎠
⎝
⎛ A1 B1 0 0 ⎞
⎜ ⎟
0 A 2 B2 0
AB = i.e., ⎜ ⎟ =
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n Bn ⎟⎠
⎝
⎛ B1 A1 0 0 ⎞
⎜ ⎟
⎜ 0 B2 A 2 0 ⎟ = B A.
⎜ ⎟
⎜ ⎟
⎜ 0 0 Bn A n ⎟⎠
⎝
71. Let
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
252
and
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B= ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Bn ⎟⎠
⎝
⎛ (I − B1 A1 ) −1 0 0 ⎞
⎜ ⎟
⎜ 0 (I − B2 A 2 ) −1 0 ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 0 (I − Bn A n ) −1 ⎟⎠
⎝
= I + B (I – AB)-1 A.
(I1 | … | In) +
⎛ B1 (I − A1 B1 ) −1 A1 0 0 ⎞
⎜ ⎟
⎜ 0 B2 (I − A 2 B2 ) −1 A 2 0 ⎟.
⎜ ⎟
⎜ ⎟
⎜ 0 0 Bn (I − A n Bn ) A n ⎟⎠
−1
⎝
⎛ I1 +B1 (I-A1 B1 ) -1 A1 0 0 ⎞
⎜ ⎟
0 I 2 +B2 (I-A 2 B2 ) -1 A 2 0
=⎜ ⎟.
⎜ ⎟
⎜ ⎟
⎜ 0 0 I n +Bn (I-A n Bn ) A n ⎟⎠
-1
⎝
253
Let A and B be two super diagonal square matrices over the
field F of same order (n1 × n1, …, nn × nn) where
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B= ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Bn ⎟⎠
⎝
254
multiple of the identity operator I = (I1 | … | In) where each It is
an identity operator from Vt to itself for t = 1, 2, …, n.
76. Let V = (V1 | … | Vn) be a super vector space over the field F.
Each Vt is a nt × nt square matrices with entries from F; t = 1, 2,
…, n
Let
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A ⎟
⎝ n ⎠
77. Let V = (V1 | … | Vn) be a super vector space over the field F.
The super subspace W = (W1 | … | Wn) is super invariant under
(the family of operators) ℑs; if W is super invariant under each
operator in ℑs. Using this prove the following:
Let ℑs be a commuting family of triangulable linear
operators on a super vector space V = (V1 | … | Vn). Let W =
(W1 | … | Wn) be a proper subsuper space of V which is super
invariant under ℑs. There exists a super vector (α1 | … | αn) ∈ V
= (V1 | … | Vn) such that
255
78. Let V be a finite (n1, …, nn) dimensional super vector space
over the field F. Let ℑs be a commuting family of triangulable
linear operators on V = (V1 | … | Vn). There exists a super basis
for V such that every operator in ℑs is represented by a
triangular super diagonal matrix in that super basis.
Hence or other wise prove. If ℑs is a commuting family of
(n1 × n1, …, nn × nn) super diagonal square matrices over an
algebraically closed field F. There exists a non singular (n1 × n1,
…, nn × nn) super diagonal square matrix P with entries in F
such that
P-1A P =
⎛ P1−1 0 0 ⎞ ⎛ A1 0 0 ⎞ ⎛ P1 0 0⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜ 0 P2−1 0 ⎟ ⎜ 0 A2 0 ⎟ ⎜0 P2 0⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎜ 0
⎝ 0 Pn ⎟⎠ ⎜⎝ 0
−1
0 A n ⎟⎠ ⎜0
⎝ 0 Pn ⎟⎠
80. Let F be a field, (n1, …, nn) a n tuple of positive integers and let
V = (V1 | … | Vn) be the super space of (n1 × n1, …, nn × nn)
super diagonal square matrices over F; Let (Ts)A be the linear
operator on V defined by
(Ts)A(B) = AB – BA
256
⎛ A1B1 0 0 ⎞ ⎛ B1A1 0 0 ⎞
⎜ ⎟ ⎜ ⎟
0 A 2 B2 0 ⎟ ⎜ 0 B2 A 2 0 ⎟
=⎜ −
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ ⎟
⎜ 0 0 A n Bn ⎟⎠ ⎜ 0 0 Bn A n ⎟⎠
⎝ ⎝
where
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
and
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B= ⎜ .
⎜ ⎟
⎜ ⎟
⎜0 0 Bn ⎟⎠
⎝
257
independent if and only if V = R ⊕ N i.e., (V1 | … | Vn) = (R1 ⊕
N1 | … | Rn ⊕ Nn).
Prove:
a. super det T = super det (T1) … super det (Tk) i.e., (det (T1 |
… | det Tn) = ( det(T11 ) .. . det(T1k1 ) | . .. | det(Tn1 ) . . . det(Tnk n )).
b. Prove that the characteristic super polynomial for f = (f1 | …
| fn) is the product of characteristic super polynomials for
(f11 .. . f1k1 ), . . ., (f n1 , .. . f nk n ).
258
( 1 r1 n rn
= (x − c11 ) r1 .. . (x − c1k1 ) k1 | . . .| (x − c1n ) r1 .. . (x − ckn n ) kn . )
Let Wi = (Wi11 | . . .| Winn ) be the null super subspace of
r1 rn
(T − ci I) ri = ((T1 − c1i1 I1 ) i1 | .. . | (Tn − cinn I n ) in ) .
(a) Prove that Wi = (Wi11 | . .. | Winn ) is the set of all super vectors
α = (α1 | … | αn) in V = (V1 | … | Vn) such that (T – ciI) αm =
((T1 − c1i1 I1 )αm11 | . .. | (Tn − cinn I n )αmnn ) = (0 | … | 0) for some n-
tuple of positive integers m = (m1 | … | mn).
259
p n = (p1n1 | . . .| p nn n ) where p is super irreducible over the scalar
field. Show that there is a super vector α = (α1 | … | αn) in V =
(V1 | … | Vn) such that the super annihilator of α is
p n = (p1n1 | . . . | p nn n ) . (We say a super polynomial p = (p1 | … | pn)
is super irreducible if each of the polynomial pi is irreducible for
i = 1, 2, …, n).
92. Let Ts = (T1 | … | Tn) be a linear super operator on the finite (n1,
…, nn) dimensional super vector space V = (V1 | … | Vn) let
1 r1 n rn
p = (p1, …, pn) =( (p11 ) r1 . . . (p1k1 ) k1 | .. .| (p1n ) r1 . .. (p kn n ) kn ) ,
(W 1
1 ⊕ .. . ⊕ Wk11 | .. .| W1n ⊕ . .. ⊕ Wknn )
be the primary super decomposition for Ts; ie Wjtt is the null
rt
space of pitt (Tt ) it , true for t = 1, 2, …, n.
Let W = (W1 | … | Wn) be any super subspace of V which is
super invariant under Ts. Prove that W = (W1 | … | Wn)
(
= W1 I W11 ⊕ .. . ⊕ W1 I Wk11 | . .. | Wn I W1n ⊕ .. . ⊕ Wn I Wknn . )
93. Let V = {(x1 x2 x3 | x4 x5 | x6 x7 x8) | xi ∈ Q; 1 ≤ i ≤ 8} be a super
vector space over Q. Find super subspaces W1, …, W5 in V
which are super independent.
260
95. Suppose V = {(x1 x2 x3 x4 | x5 x6 | x7 | x8 x9 x10) | xi ∈ Q; 1 ≤ i ≤
10} is a super vector space over Q
99. Let V = (V1 | … | Vn) be a super vector space over a field F. Let
Ts = (T1 | … | Tn) a linear operator V. Let Es = (E1 | … | En) be
261
any projection on V. Is TsEs = EsTs? Will (T1 E1 | … | Tn En) =
(E1 T1 | … | EnTn)? Justify your claim.
102. Define the notion of super nil potent linear super operator on a
super vector space V = (V1 | … | Vn) over a field F.
104. Does their exists a linear operator Ts = (T1 | … | Tn) on the super
vector space V = (V1 | … | Vn) such that Ts ≠ Ds + Ns?
262
c. E is E st = (0 | … | 0) if i ≠ j
i.e., E is E sj = (E1i E1j | . . . | E in E nj ) = (0 | … | 0) if i ≠ j
109. Can the notion of “super normal” be defined for any super
matrix A? Justify your answer.
110. Let
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
263
Define the super normal linear super operator Ts on V and
illustrate it by an example.
114. Is
⎛3 4 5 0 0 1⎞
⎜ ⎟
⎜0 1 1 3 2 1⎟
⎜9 2 0 1 1 1⎟
A= ⎜ ⎟,
⎜1 1 1 1 0 1⎟
⎜3 7 1 8 0 5⎟
⎜⎜ ⎟
⎝5 0 1 9 9 2 ⎟⎠
an invertible matrix?
Justify your answer.
115. Let
⎛3 1 2 ⎞
⎜ ⎟
⎜5 0 1 0 0 ⎟
⎜1 2 3 ⎟
⎜ ⎟
⎜ 3 4 ⎟
A= ⎜ 0 0 ⎟
⎜ 7 2 ⎟
⎜ 5 1 0⎟
⎜ ⎟
⎜ 0 0 2 3 1⎟
⎜ 0 1 5 ⎟⎠
⎝
117. Let
264
⎛3 6 7 2 ⎞
⎜ ⎟
⎜0 1 1 1 0 0 ⎟
⎜5 0 2 1 ⎟
⎜ ⎟
⎜ 3 2 1 0 ⎟
⎜ 1 1 1 0 ⎟
A= ⎜ 0 0 ⎟
⎜ 0 1 1 1 ⎟
⎜ 5 7 2 1 ⎟
⎜ ⎟
⎜ 3 7 5⎟
⎜⎜ 0 0 ⎟
⎝ 4 2 1 ⎟⎠
122. Suppose
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 A n ⎟⎠
⎝
265
⎛ B1 0 0 ⎞
⎜ ⎟
0 B2 0 ⎟
B= ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 Bn ⎟⎠
⎝
123. Let
⎛3 5 1 ⎞
⎜ ⎟
⎜0 1 2 0 0 ⎟
⎜0 0 1 ⎟
⎜ ⎟
⎜ 2 1 1 1 ⎟
⎜ 0 0 1 2 ⎟
A= ⎜ 0 0 ⎟
⎜ 0 0 1 1 ⎟
⎜ 0 0 0 −1 ⎟
⎜ ⎟
⎜ 9 2⎟
⎜⎜ 0 0 ⎟
⎝ 0 1 ⎟⎠
and
⎛5 0 1 ⎞
⎜ ⎟
⎜0 1 2 0 0 ⎟
⎜0 0 1 ⎟
⎜ ⎟
⎜ 1 0 1 1 ⎟
⎜ 0 1 2 1 ⎟
B= ⎜ 0 0 ⎟
⎜ 0 0 1 2 ⎟
⎜ 0 0 0 1 ⎟
⎜ ⎟
⎜ 2 1⎟
⎜⎜ 0 0 ⎟
⎝ 0 1⎟⎠
266
124. Define super ring of polynomials over Q. Is it a super vector
space over Q?
128. Define the concept of dual super space of a super space V = (V1
| … | Vn) over the field F.
130. Define the super matrix of the super inner product for a given
super basis for a super vector space V = (V1 | … | Vn) over a
field F.
132. Can Cauchy Schwarz super inequality for super vector spaces
be oblained?
133. Can Bessels inequality of super vector spaces with super inner
product be derived?
267
134. Can we have a polar decomposition in case of linear operators
Ts. Us and Ws on a super vector space V such that Ts = UsNs?
⎛A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜0 0 A n ⎟⎠
⎝
c. Ts = Ts1 + i Ts2 where Ts1 and Ts2 are super self adjoint and
Ts1 Ts2 = Ts2 Ts1 where Ts = (T1 | … | Tn)
= (T11 + i T12 | .. . | Tn1 + i Tn2 )
and
268
Ts1 Ts2 = (T11 T12 | .. .| Tn1 Tn2 )
= (T12 T11 | . .. | Tn2 Tn1 )
= Ts2 Ts1 .
269
j. Ts = (C11 E11 + .. . + C1k1 E1k1 | . .. | C1n E1n + . .. + C nk n E nk n ) where I
= (I1 | … | In)
= (E11 + .. . + E1k1 | . .. | E1n + .. . + E nk n )
with
E itt E tjt = 0 if it ≠ jt; t = 1, 2, …, n and (E itt ) 2 = E itt = E it*t for
1 ≤ it ≤ kt and t = 1, 2, …, n.
L B = (L1B1 | . .. | LnBn ) ,
R B = (R1B1 | . . .| R nBn )
and
TB = (TB11 | .. . | TBnn ) ,
270
(a) LB (A) = BA
i.e., (L1B1 (A1 ) | . .. | LnBn (A n )) = (B1 A1 | … | Bn An).
140. Find all linear super forms on the super space of column super
vectors V = (n1 × 1 | … | nn × 1), super diagonal matrices over C
which are super invariant under o(n, c) = (o (n1, c) | … | o (nn,
c))
141. Find all bilinear super forms on the super space of column super
vector V = (n1 × 1 | … | nn ×1), super diagonal matrices over R
which are super invariant under o(n, R).
142. Does their exists any relation between the problems 140 and
141.
271
143. Let m = (m1 | … | mn) be a member of the complex orthogonal
super group (o(n1, c) | … | o(nn, c) Show that
mt = (m1t | . .. | m nt ) = m = (m, | .. .| m n )
and
m* = (m1* | . . .| m*n ) = m t = (m1t | . .. | m nt )
also belong to o(n, c) = (o (n1, c) | … | o(nn, c)).
145. Let
⎛ n1 nn
⎞
y1 = (yi1 | . .. | yin ) = ⎜⎜ ∑ m1j1k1 x1k1 | .. .| ∑ m njn k n x nk n ⎟⎟
⎝ k1 =1 k n =1 ⎠
⎛ ⎞
= ⎜⎜ ∑ (x1i1 ) 2 | . .. | ∑ (x inn ) 2 ⎟⎟
⎝ j1 jn ⎠
= ∑xj
2
i .
272
147. Let x = (x1 | … | xn) be an (n1 × 1, …, nn × 1) super diagonal
matrix over C. Under what condition o (n, c) = (o (n1, c1) | … |
o(nn, c)) contain a super diagonal matrix m whose first super
column is X i.e., if
⎛ m1 0 0 ⎞
⎜ ⎟
0 m2 0 ⎟
m= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 m n ⎟⎠
⎝
i.e., o(n, c) has a super diagonal matrix m such that the matrix
mi whose first column is xi; i = 1, 2, …, n.
⎛ m1 0 0 ⎞
⎜ ⎟
0 m2 0 ⎟
m= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 m n ⎟⎠
⎝
273
⎛ m1x1 0 0 ⎞
⎜ ⎟
⎜ 0 m2 x 2 0 ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 0 m n x n ⎟⎠
⎝
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ x1t A1Y1 0 0 ⎞
⎜ t ⎟
0 x A 2 Y2 0
= ⎜⎜ ⎟.
2
⎟
⎜ ⎟
⎜ 0 0 x n A n Yn ⎟⎠
t
⎝
274
⎛ m1 0 0 ⎞
⎜ ⎟
0 m2 0 ⎟
m= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 m n ⎟⎠
⎝
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ x1t A1 y1 0 0 ⎞
⎜ t ⎟
0 x A2 y2 0
= ⎜⎜ ⎟.
2
⎟
⎜ ⎟
⎜ 0 0 x nt A n y n ⎟⎠
⎝
275
If m is a super diagonal matrix
⎛ m1 0 0 ⎞
⎜ ⎟
⎜ 0 m2 0 ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 0 m n ⎟⎠
⎝
⎛ A1−1 0 0 ⎞ ⎛ m1t 0 0 ⎞
⎜ ⎟ ⎜ ⎟
⎜ 0 A 2−1 0 ⎟ ⎜ 0 m 2t 0 ⎟
⎜ ⎟ ×⎜ ⎟
⎜ ⎟ ⎜ ⎟
⎜ 0 0 A n−1 ⎟⎠ ⎜⎝ 0 0 m nt ⎟⎠
⎝
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
×⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ A1−1m1t A1 0 0 ⎞
⎜ −1 ⎟
0 A m 2t A 2 0
= ⎜⎜ ⎟
2
⎟
⎜ ⎟
⎜ 0 0 A n m n A n ⎟⎠
−1 t
⎝
⎛ m1−1 0 0 ⎞
⎜ ⎟
0 m −21 0 ⎟
= ⎜⎜ ⎟
⎜ ⎟
⎜ 0 0 m n ⎟⎠
−1
⎝
= m–1.
276
152. Let g = (g1 | … | gn) be a non singular bilinear super form on a
finite (n1, …, nn) dimensional super vector space V = (V1 | … |
Vn). Suppose Ts = (T1 | … | Tn) is a linear operator on V and that
f = (f1 | … | fn) be a bilinear super form on V given by f (α, β ) =
g (α, Tsβ). i.e.,
(f1 (α1, β1) | … | fn(αn, βn)) = (g1(α1, T1β1) | … | gn(αn, Tnβn)).
If Us = (U1 | … | Un) is a linear operator on V find necessary and
sufficient condition for Us to preserve f.
153. Let q = (q1 | q2) be the quadratic super form on (R2 | R3) given
by
q (x, y) = (q1 (x11 , x12 ) | q 2 (x12 x 22 x 32 ))
= (2bx11 x12 | x12 x 22 + 2x12 x 32 + (x 32 ) 2 )
Find a super invertible linear operator Us = (U1 | U2) on (R2 | R3)
such that
( (U1t q1 ) (x11 , x12 ) | (U 2t q 2 ) (x12 x 22 x 32 ) )
= (2b(x11 ) 2 − 2b(x12 ) 2 | (x12 ) 2 − (x 22 ) 2 + (x 32 ) 2 ) .
⎛ ⎞
α = ⎜⎜ ∑ f1 (α1 , β1i1 ) α1i1 | . .. | .. .| ∑ f n (α n , βinn ) α inn ⎟⎟
⎝ i1 in ⎠
277
⎛ ⎞
= ⎜⎜ ∑ f1 (α1i1 , α1 ) β1i1 | . .. | ∑ f n (α inn , α n ) βinn ⎟⎟ .
⎝ i1 in ⎠
⎛ A1 0 0 ⎞
⎜ ⎟
⎜ 0 A2 0 ⎟
.
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ ⎞
= ⎜⎜ ∑ (A1−1 )i1 j1 α1j1 | . . . | ∑ (A −n1 )in jn α njn ⎟⎟
⎝ j1 jn ⎠
278
⎛ ⎞
= ⎜⎜ ∑ (A1−1 ) j1i1 α1j1 | . . . | ∑ (A −n1 ) jn in α njn ⎟⎟
⎝ j1 jn ⎠
= ∑ (A
j
−1
) ji α j .
a. W⊥ is a super subspace
279
f. The super restriction of f to W is super non degenerate if
and only if
W ∩ W ⊥ = (W1 ∩ W1⊥ | . . . | Wn ∩ Wn ⊥ )
= (0 | … | 0).
158. Prove that the product of two super positive linear operators
TsUs = (T1U1 | … | TnUn) is positive if and only if they super
commute i.e., if and only if TiUi = UiTi for every i = 1, 2, …, n.
159. If
⎛ A1 0 0 ⎞
⎜ ⎟
0 A2 0 ⎟
A= ⎜
⎜ ⎟
⎜ ⎟
⎜ 0 0 A n ⎟⎠
⎝
⎛ c1I1 + A1 0 0 ⎞
⎜ ⎟
0 c2 I2 + A 2 0
=⎜ ⎟
⎜ ⎟
⎜ ⎟
⎜ 0 0 c n I n + A n ⎟⎠
⎝
is super positive.
280
160. Obtain some interesting results on super linear algebra A = (A1 |
… | An) over the field of reals.
i.e., each Pi Ti < Pi Ui may not hold good for each i even if Ti <
Ui and 0 < Pi for i = 1, 2, …, n.
281
FURTHER READING
282
14. HERSTEIN, I.N., Topics in Algebra, John Wiley, 1975.
15. HERSTEIN, I.N., and DAVID J. WINTER, Matrix Theory
and Lienar Algebra, Maxwell Pub., 1989.
16. HOFFMAN, K. and KUNZE, R., Linear algebra, Prentice
Hall of India, 1991.
17. HORST P., Matrix Algebra for social scientists, Hot,
Rinehart and Winston inc, 1963.
18. HUMMEL, J.A., Introduction to vector functions,
Addison-Wesley, 1967.
19. JACOB BILL, Linear Functions and Matrix Theory ,
Springer-Verlag, 1995.
20. JACOBSON, N., Lectures in Abstract Algebra, D Van
Nostrand Co, Princeton, 1953.
21. JACOBSON, N., Structure of Rings, Colloquium
Publications, 37, American Mathematical Society,
1956.
22. JOHNSON, T., New spectral theorem for vector spaces
over finite fields Zp , M.Sc. Dissertation, March 2003
(Guided by Dr. W.B. Vasantha Kandasamy).
23. KATSUMI, N., Fundamentals of Linear Algebra,
McGraw Hill, New York, 1966.
24. KEMENI, J. and SNELL, J., Finite Markov Chains, Van
Nostrand, Princeton, 1960.
25. KOSTRIKIN, A.I, and MANIN, Y. I., Linear Algebra and
Geometry, Gordon and Breach Science Publishers,
1989.
26. LANG, S., Algebra, Addison Wesley, 1967.
27. LAY, D. C., Linear Algebra and its Applications,
Addison Wesley, 2003.
28. PADILLA, R., Smarandache algebraic structures,
Smarandache Notions Journal, 9 36-38, 1998.
29. PETTOFREZZO, A. J., Elements of Linear Algebra,
Prentice-Hall, Englewood Cliffs, NJ, 1970.
283
30. ROMAN, S., Advanced Linear Algebra, Springer-Verlag,
New York, 1992.
31. RORRES, C., and ANTON H., Applications of Linear
Algebra, John Wiley & Sons, 1977.
32. SEMMES, Stephen, Some topics pertaining to algebras
of linear operators, November 2002.
http://arxiv.org/pdf/math.CA/0211171
33. SHILOV, G.E., An Introduction to the Theory of Linear
Spaces, Prentice-Hall, Englewood Cliffs, NJ, 1961.
34. SMARANDACHE, Florentin (editor), Proceedings of the
First International Conference on Neutrosophy,
Neutrosophic Logic, Neutrosophic set, Neutrosophic
probability and Statistics, December 1-3, 2001 held at
the University of New Mexico, published by Xiquan,
Phoenix, 2002.
35. SMARANDACHE, Florentin, A Unifying field in Logics:
Neutrosophic Logic, Neutrosophy, Neutrosophic set,
Neutrosophic probability, second edition, American
Research Press, Rehoboth, 1999.
36. SMARANDACHE, Florentin, An Introduction to
Neutrosophy,
http://gallup.unm.edu/~smarandache/Introduction.pdf
37. SMARANDACHE, Florentin, Collected Papers II,
University of Kishinev Press, Kishinev, 1997.
38. SMARANDACHE, Florentin, Neutrosophic Logic, A
Generalization of the Fuzzy Logic,
http://gallup.unm.edu/~smarandache/NeutLog.txt
39. SMARANDACHE, Florentin, Neutrosophic Set, A
Generalization of the Fuzzy Set,
http://gallup.unm.edu/~smarandache/NeutSet.txt
40. SMARANDACHE, Florentin, Neutrosophy : A New
Branch of Philosophy,
http://gallup.unm.edu/~smarandache/Neutroso.txt
284
41. SMARANDACHE, Florentin, Special Algebraic
Structures, in Collected Papers III, Abaddaba, Oradea,
78-81, 2000.
42. THRALL, R.M., and TORNKHEIM, L., Vector spaces and
matrices, Wiley, New York, 1957.
43. VASANTHA KANDASAMY, W.B., SMARANDACHE,
Florentin and K. ILANTHENRAL, Introduction to
bimatrices, Hexis, Phoenix, 2005.
44. VASANTHA KANDASAMY, W.B., and FLORENTIN
Smarandache, Basic Neutrosophic Algebraic Structures
and their Applications to Fuzzy and Neutrosophic
Models, Hexis, Church Rock, 2005.
45. VASANTHA KANDASAMY, W.B., and FLORENTIN
Smarandache, Fuzzy Cognitive Maps and Neutrosophic
Cognitive Maps, Xiquan, Phoenix, 2003.
46. VASANTHA KANDASAMY, W.B., and FLORENTIN
Smarandache, Fuzzy Relational Equations and
Neutrosophic Relational Equations, Hexis, Church
Rock, 2004.
47. VASANTHA KANDASAMY, W.B., Bialgebraic structures
and Smarandache bialgebraic structures, American
Research Press, Rehoboth, 2003.
48. VASANTHA KANDASAMY, W.B., Bivector spaces, U.
Sci. Phy. Sci., 11 , 186-190 1999.
49. VASANTHA KANDASAMY, W.B., Linear Algebra and
Smarandache Linear Algebra, Bookman Publishing,
2003.
50. VASANTHA KANDASAMY, W.B., On a new class of
semivector spaces, Varahmihir J. of Math. Sci., 1 , 23-
30, 2003.
51. VASANTHA KANDASAMY and THIRUVEGADAM, N.,
Application of pseudo best approximation to coding
theory, Ultra Sci., 17 , 139-144, 2005.
52. VASANTHA KANDASAMY and RAJKUMAR, R. A New
class of bicodes and its properties, (To appear).
285
53. VASANTHA KANDASAMY, W.B., On fuzzy semifields
and fuzzy semivector spaces, U. Sci. Phy. Sci., 7, 115-
116, 1995.
54. VASANTHA KANDASAMY, W.B., On semipotent linear
operators and matrices, U. Sci. Phy. Sci., 8, 254-256,
1996.
55. VASANTHA KANDASAMY, W.B., Semivector spaces
over semifields, Zeszyty Nauwoke Politechniki, 17, 43-
51, 1993.
56. VASANTHA KANDASAMY, W.B., Smarandache Fuzzy
Algebra, American Research Press, Rehoboth, 2003.
57. VASANTHA KANDASAMY, W.B., Smarandache rings,
American Research Press, Rehoboth, 2002.
58. VASANTHA KANDASAMY, W.B., Smarandache
semirings and semifields, Smarandache Notions
Journal, 7 88-91, 2001.
59. VASANTHA KANDASAMY, W.B., Smarandache
Semirings, Semifields and Semivector spaces, American
Research Press, Rehoboth, 2002.
60. VOYEVODIN, V.V., Linear Algebra, Mir Publishers,
1983.
61. ZADEH, L.A., Fuzzy Sets, Inform. and control, 8, 338-
353, 1965.
62. ZELINKSY, D., A first course in Linear Algebra,
Academic Press, 1973.
286
INDEX
287
E
288
N
289
R
290
Super invariant subspaces, 111-2
Super linear algebra, 81
Super linear functionals, 131-3
Super matrices, 7-8
Super matrix group, 29
Super negative definite, 203-4
Super non degenerate, 191
Super non negative, 149-150
Super non singular, 191
Super norm, 124
Super null subspace of a linear transformation, 57
Super orthogonal, 127
Super orthonormal, 127
Super p- row Markov chain, 216
Super polynomial, 90-1
Super positive definite super bilinear form, 194
Super principle minors, 151-2
Super projection, 121-2
Super pseudo orthogonal super group, 213
Super quadratic form, 193
Super range, 121-2
Super rank space of a linear transformation, 57
Super root, 173
Super signature of f, 203-4
Super space spanned by super vectors, 36
Super special group, 29
Super spectral theorem, 155
Super square root, 124-5
Super standard basis of a super vector space, 46
Super subspace spanned by super subspaces, 37
Super subspace, 35
Super unitarily equivalent, 184
Super unitary transformation, 184
Super vector addition, 30, 35
Super vector spaces, 27, 30
Super zero subspace, 40
Super-row square exchange matrix, 224
Supervectors, 30
Symmetric partitioning, 12-3
291
Symmetrically partitioned, 12-3
Symmetrically portioned symmetric simple matrix, 24-5
292
ABOUT THE AUTHORS
293