Download document 8087080

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Bra–ket notation wikipedia , lookup

Dual space wikipedia , lookup

Quadratic form wikipedia , lookup

Capelli's identity wikipedia , lookup

System of linear equations wikipedia , lookup

Linear algebra wikipedia , lookup

Eigenvalues and eigenvectors wikipedia , lookup

Birkhoff's representation theorem wikipedia , lookup

Determinant wikipedia , lookup

Jordan normal form wikipedia , lookup

Oscillator representation wikipedia , lookup

Gaussian elimination wikipedia , lookup

Singular-value decomposition wikipedia , lookup

Matrix (mathematics) wikipedia , lookup

Non-negative matrix factorization wikipedia , lookup

Symmetry in quantum mechanics wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Matrix calculus wikipedia , lookup

Perron–Frobenius theorem wikipedia , lookup

Matrix multiplication wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

Transcript
IOSR Journal of Mathematics (IOSR-JM)
e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 10, Issue 4 Ver. V (Jul-Aug. 2014), PP 41-44
www.iosrjournals.org
Con-S-K-Invariant Partial Orderings on Matrices
Dr G.Ramesh*, Dr B.K.N.Muthugobal**
*Associate Professor, Ramanujan Research Centre, Department of Mathematics, Govt. Arts College
(Autonomous), Kumbakonam-612 001,
**4, Noor Nagar,Kumbakonam- 612 001, India.
Abstract: In this paper it is shown that all standard partial orderings are preserved for con-s-k-EP matrices.
Keywords: Con-s-k-EP Matrix, Partial Ordering.
I.
Introduction
Let 𝑐𝑛𝑥𝑛 be the space of nxn complex matrices of order n. let 𝐶𝑛 be the space of all
complex n tuples. For A𝜖𝑐𝑛𝑥𝑛 . Let 𝐴, 𝐴𝑇 , 𝐴∗ , 𝐴𝑆 , 𝐴𝑆 , 𝐴† , R(A), N(A) and ρ 𝐴 denote the conjugate,
transpose, conjugate transpose, secondary transpose , conjugate secondary transpose, Moore Penrose inverse
range space, null space and rank of A respectively. A solution X of the equation AXA = A is called
generalized inverse of A and is denoted by 𝐴− . If A 𝜖 𝑐𝑛𝑥𝑛 then the unique solution of the equations A XA
=A , XAX = X, 𝐴𝑋 ∗ = AX ,
 XA 

 XA
[9] is called the Moore-Penrose inverse of A and is
denoted by 𝐴† . A matrix A is called Con-s-𝓀 − 𝐸𝑃𝑟 if   A   r and
N(A) = N(𝐴𝑇 VK) (or)
R(A)=R(KV𝐴𝑇 ). Throughout this paper let “𝓀" be the fixed product of disjoint transposition in 𝑆𝑛 = {
1,2,….n} and k be the associated permutation matrix .
Let us define the function

k (x)= xk 1 , xk  2 ,..., xk  n
 . A matrix A = (𝑎
𝑖𝑗 ) 𝜖
𝑐𝑛𝑥𝑛 is s-k-symmetric
if 𝑎𝑖𝑗 = 𝑎𝑛−𝑘 𝑗 +1,𝑛−𝑘 𝑖 +1 for i, j = 1,2,…..n . A matrix A 𝜖 𝑐𝑛𝑥𝑛 is said to be Con-s-k-EP if it satisfies the
condition 𝐴𝑥 = 0 <=> 𝐴𝑠 𝓀 (𝑥) = 0 or equivalently N(A) =N(𝐴𝑇 VK). In addition to that A is con-s-k-EP
<=> 𝐾𝑉𝐴 is con-EP or AVK is con-EP and A is con-s-k-EP<=> 𝐴𝑇 is con-s-k-EPr moreover A is said to be
Con-s-k-EPr if A is con-s-k-EP and of rank r. For further properties of con-s-k-EP matrices one may refer [6].
Theorem 2 [2]
Let
A , B  Cnxn . Then we have the following:
(i) R( AB)  R( A); N ( B)  N ( AB).
(ii) R( AB)  R( A)   ( AB)   ( A) and
N ( AB)  N ( B)   ( AB)   ( B)
(iii)
N ( A)  N ( A A)
and
R( A)  R( A A)
Theorem 2.1 [p.21, 8]
Let
(i)
A , B  Cnxn . Then
N ( A)  N ( B)  R( B )  R( A )
 B  BA A for all A  A{1}
(ii)
N ( A )  N ( B )  R( B)  R( A)  B  AA B
for every
A  A{1} .
Definition 2.1.1
For A, B  Cnn ,
A  L B if A  B  0.
T
T
T
T
(ii) A T B if B B  B A and B B  AB
(iii) A rs B if  ( A  B)   ( A)   ( B).
(i)
www.iosrjournals.org
41 | Page
Con-S-K-Invariant Partial Orderings on Matrices
The relationship between the transpose and minus orderings is studied by Baksalary [1], Mitra [8],
Mitra and Puri [7] and Hartwig and Styan [4, 5].
In the sequel, the following known results will be used.
Result 2.1.2 [5]
A, B  Cnn , A  L B   ( A† B)  1 and R( B)  R( A)
r ( A)  max{  :  is an eigen value of A } is the spectral radius.
For
where
Result 2.1.3 [3]
For
A, B  Cnn , A T B  A  rs B and ( A  B)†  A†  B† . For
other conditions to be
added to rank subtractivity to be equivalent to star order, one may refer [1].
Result 2.1.4 [4]
For
A  rs B  B  BA B  BA A  AA B.
A, B  Cnn ,
Definition 2.1.5
Let
A  Cnn , if AAS  AS A  I
Theorem 2.1.6
For A, B  Cnn ,
K
then
A
is called s-orthogonal matrix.
is the permutation matrix associated with „k‟ the set of all permutations in
S  {1,2,...., n} and V is the secondary diagonal matrix with units in its secondary diagonal then,
(i) A  L B  KVA  L KVB  AVK  L BVK .
(ii) A T B  KVA T KVB  AVK T BVK .
(iii) A rs B  KVA rs KVB  AVK rs BVK .
Proof
(i) A  L
B  r ( A† B)  1 and R( B)  R( A)
(by
result
 r ( A†VKKVB)  1 and B  AA† B
(2.1))  r ( A VKKVB)  1 and
†
(2.1.2))
(by Theorem
( KVB)  ( KVA)( A VK )( KVB)
†
 r (( KVA)† ( KVB))  1 and R( KVB)  R( KVA)
(by (2.11) [6] and Theorem (2.1))
(by result (2.1.2))
 KVA L KVB
Also, A  L
B  r ( A† B)  1 and R( B)  R( A)
(by result (2.1.2))
 r ( KVA† BVK )  1 and B  AA† B
(by Theorem(2.1))
r
(( AVK )† ( BVK ))  1 and
( BVK )  ( AVK )( AVK )† ( BVK )
 r (( AVK )† ( BVK ))  1 and R( BVK )  R( AVK )
(by Theorem (2.1))
 AVK L BVK
(by Result (2.1.2))
T
T
T
T
(ii) A T B  B B  B A and BB  AB
(by definition of transpose
T
T
T
 B VKKVB  B VKKVA and KVBB VK  KVABTVK
T
T
T
T
  KVB   KVB    KVB   KVA and  KVB  KVB    KVA KVB 
(by definition of
  KVA T KVB
ordering) Similarly it can be proved that, A T B  AVK T BVK .
www.iosrjournals.org
ordering)
transpose
42 | Page
Con-S-K-Invariant Partial Orderings on Matrices
(iii)
(by definition of minus ordering)
A rs B   ( A  B)   ( A)   ( B)
  ( KV ( A  B))   ( KVA)   ( KVB)
  ( KVA  KVB)   ( KVA)   ( KVB)
 KVA rs KVB .
Similarly it can be proved that, A rs B  AVK rs BVK .
Thus, all the three standard partial orderings are preserved for con-s-k-EP matrices.
The following results can be easily verified by using the Theorem (2).
Result 2.1.7
Lowener ordering is preserved under unitary similarity, that is,
A L B  PT AP L PT BP.
Result 2.1.8
Star ordering is preserved under unitary similarity, that is, A T
Result 2.1.9
Rank
subtractivity
ordering
is
preserved
under
B  PT AP T PT BP.
unitary
similarity,
that
is,
A rs B  P AP rs P BP.
T
T
Theorem 2.1.10
Lowener order, transpose order and rank subtractivity order are all preserved for s-k-orthogonal
similarity.
Proof
(i) Lowener ordering is preserved for s-k-orthogonal similarity.
We have to prove that,
A  L B  KVP1KVAP  L KVP1KVBP for some orthogonal matrix P .
For A  L B  KVA  L KVB
(by Theorem (2.1.6))
 PT KVAP L PT KVBP.
 KVPT KVAP L KVPT KVBP.
 ( KVP1KV ) AP  L ( KVP1KV ) BP
 C L D
1
Where C  KVP KVAP is orthogonaly s-k-similar to A
D  KVP1KVBP is orthogonaly s-k-similar to B
Thus, Lowener ordering is preserved for s-k-orthogonal similarity.
(ii) Star ordering is preserved for s-k-orthogonal similarity,
we
have
to
prove
that,
A T B   KVP KV  AP T  KVP KV  BP , for some orthogonal matrix P .
For A T B  KVA T KVB
(by
Theorem
(2.1.6))
(by result (2.1.8))
 PT KVAP T PT KVBP
(by Theorem (2.1.6))
 KVPT KVAP T KVPT KVBP
  KVP1VK  AP T  KVP1VK  BP.
1
1
Thus transpose ordering is preserved for s-k-orthogonal similarity.
(iii) Rank subtractivity ordering is preserved for s-k-orthogonal similarity, we have to show that,
A rs B  ( KVP1KV ) AP rs ( KVP 1KV ) BP
For, A rs B  KVA rs KVB
 PT KVAP rs PT KVBP
for some orthogonal matrix
www.iosrjournals.org
P.
(by Theorem (2.1.6))
(by result (2.1.9))
43 | Page
Con-S-K-Invariant Partial Orderings on Matrices
 KVPT KVAP rs KVPT KVBP
(by Theorem (2.1.6))
 ( KVP1KV ) AP rs ( KVP1KV ) BP
Thus rank subtractivity is preserved for s-k-orthogonal similarity. Thus all the three standard partial
orderings are preserved for s-k-orthogonal similarity.
References
[1].
Baksalary, J.K., “Relationship between the star and minus orderings.” Lin. Alg. Appl., 82 (1986), 163-168.
[2].
[3].
Ben- Israel, A. and Greville, T.N.E., “Generalized Inverses: Theory and Applications.” 2 nd Edition, Springer, New York (2003).
Hartwig, R.E. and Styan, G.P.H., “On some characterizations of the star partial ordering for matrices and rank subtractivity.” Lin.
Alg. Appl. 82 (1986), 145-161.
Hartwig. R.E. and Styan. G.P.H., “Partially ordered idempotent matrices.” Proc. Second International Tampere Conference in
Statistics, (1987), 361-383.
Hauke, J. and Markiewicz, A., “On partial orderings on the set of rectangular matrices.” Lin. Alg. Appl., 219 (1995), 187-193.
Krishnamoorthy, S., Gunasekaran, K. and Muthugobal, B.K.N., “Con-s-k-EP matrices”, Journal of Mathematical Sciences and
Engineering Applications , Vol. 5, No.1, 2011, 353 – 364.
Mitra, S.K. and Puri, M.L., “The fundamental barded matrix of linear estimation and the Duffin Morley general linear electro
mechanical systems.” Applicable Analys., 14 (1983), 241-258.
Mitra. S.K., “Matrix partial orderings through generalized inverses: unified theory.” Lin. Alg. Appl., 148 (1991), 237-263.
Rao, C.R. and Mitra, S.K., “Generalized Inverse of Matrices and Its Applications”, Wiley and Sons, New York, 1971.
[4].
[5].
[6].
[7].
[8].
[9].
www.iosrjournals.org
44 | Page