JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 10.1155/2014/918107 918107 Research Article Weighted Dual Covariance Moore-Penrose Inverses with respect to an Invertible Element in C * -Algebras Mahzoon Hesam Hartung Ferenc 1 Department of Mathematics Firoozkooh Branch Islamic Azad University, Firoozkooh Iran iau.ac.ir 2014 16 7 2014 2014 31 05 2014 06 07 2014 16 7 2014 2014 Copyright © 2014 Hesam Mahzoon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We study several algebraic properties of dual covariance and weighted dual covariance sets in rings with involution and C * -algebras. Moreover, we show that the weighted dual covariance set, seen as a multivalued map, has some kind of continuity. Also, we prove weighed dual covariance set invariant under the bijection multiplicative * -functions.

1. Introduction

Suppose R is a ring with unity 1 0 . A mapping * : x x * of R into itself is called an involution if (1) ( x * ) * = x , ( x + y ) * = x * + y * , ( x y ) * = y * x * , for all x and y in R . Throughout this paper R will be a ring R with an involution.

An element a R is called regular if it has a generalized inverse in R .

It is well known that every regular element in a C * -algebra has the Moore-Penrose inverse (denoted by MP-inverse from this point on). Generally MP-inverse is uniquely determined in R if it exists. We will denote the MP-inverse of a by a .

In the following, we will denote by R - 1 and R the set of an invertible and MP-invertible elements of R , respectively.

Assume that a is an element in R - 1 . Its inverse a - 1 is covariant with respect to R - 1 ; that is, for all b R - 1 , we have (2) ( b a b - 1 ) - 1 = b a - 1 b - 1 .

In general, the elements of R are not covariant under R - 1 (see ). For a given element a R with MP-inverse a , we will denote the covariance set by C ( a ) and define (3) C ( a ) = { b R - 1 : ( b a b - 1 ) = b a b - 1 } . For more definitions and notations we refer the interested readers to . Covariance set was studied by [1, 35].

We define the dual covariance set by reversing the roles of a and b in C ( a ) and denote it by D ( b ) . In fact, (4) D ( b ) = { a R : ( b a b - 1 ) = b a b - 1 } . This notion was studied by Robinson in  for matrices.

Note that if a R with MP-inverse a and b R - 1 , then, from (3) and (4), we obtain (5) b C ( a ) iff a D ( b ) . Also, it should be noted that C ( a ) R - 1 D ( b ) R for every a R and for each b R - 1 . Moreover, this inclusion can be proper; for instance, 0 D ( b ) but 0 C ( a ) .

The aim of this paper is to investigate the properties of dual covariance and weighted dual covariance set. In Section 2, we define and characterize the weighted dual covariance in terms of commutators. Also we prove that the dual covariance sets of b - 1 and b * coincide. Moreover, we collect some interesting properties of D e , f ( b ) and D ( b ) in C * -algebras and rings with an involution. In addition, we show that the weighted dual covariance set, seen as a multivalued map, has some kind of continuity. In Section 3 we study the relations of D e , f ( b ) and multiplicative * -functions. Also, we prove that weighed dual covariance sets are invariant under the bijection multiplicative * -functions.

2. Weighted Dual Covariance Set

The weighted Moore-Penrose inverse (weighted MP-inverse from this point on) for matrices was introduced by Chipman in . For some historical notes of weighted MP-inverse see Rao and Mitra  and references therein. In the next definition, it will be introduced in C * -algebras (see also ). In what follows, we will only consider unital C * -algebras. Indeed, A and B are unital C * -algebras; the nonzero elements, 1 A and 1 B , are the units of A and B , respectively. We will denote by A - 1 and A the subset of invertible elements and MP-invertible elements of A , respectively.

Definition 1.

Let A be a C * -algebra and e , f two positive elements in A - 1 . We say that an element a A has a weighted MP-inverse with weights e , f if there exists b A such that (6) a b a = a , b a b = b , e - 1 ( a b ) * e = a b , f - 1 ( b a ) * f = b a .

As already observed in , if weighted MP-inverse with weights e , f exists, then it is unique, and so we will denote it by a e , f . Every regular element in a C * -algebra has a weighted MP-inverse [9, Theorem 4] and it can be written as (7) a e , f = f - 1 / 2 ( e 1 / 2 a f - 1 / 2 ) e 1 / 2 .

Next, we extend the definition of dual covariance set to weighted dual covariance set.

Definition 2.

Suppose b A - 1 and e , f are positive elements in A - 1 . We define weighted dual covariance set by (8) D e , f ( b ) = { a A : b - 1 a b is    weighted    MP-inverse m i i of    b - 1 a b    with    weights    e , f } .

In the following theorem we characterize D e , f ( b ) in terms of commutators.

Theorem 3.

Assume b A - 1 and e , f are positive elements in A - 1 . Then the following statements are equivalent:

a D e , f ( b ) ;

[ a a , b * e b ] = 0 and [ a a , b * f b ] = 0 .

Proof.

(i) (ii): suppose a C e , f ( b ) . Then b - 1 a b is a weighted MP-inverse of b - 1 a b with weights e , f . Thus, f - 1 ( b a a b - 1 ) * f = b a a b - 1 . Therefore, ( b * f ) - 1 a a b * f b = b a a . This implies that [ a a , b * f b ] = 0 . In a similar manner from e - 1 ( b a a b - 1 ) * e = b a a b - 1 we conclude that [ a a , b * e b ] = 0 .

(ii) (i): since a is MP-inverse of a , it suffices to show that e - 1 ( b a a b - 1 ) * e = b a a b - 1 and f - 1 ( b a a b - 1 ) * f = b a a b - 1 . By the assumptions [ a a , b * f b ] = 0 . From this we obtain f - 1 ( b * ) - 1 a a b * f b = b a a . Hence, f - 1 ( b a a b - 1 ) * f = b a a b - 1 . In a similar manner from [ a a , b * e b ] = 0 we get e - 1 ( b a a b - 1 ) * e = b a a b - 1 .

The following result is obtained from Theorem 3 by setting e = f = 1 for C * -algebras. However, it is true for a generalized case in rings with involution. In fact, consider the following.

Proposition 4.

Assume that b R - 1 . Then (9) a D ( b ) i f f [ a a , b * b ] = 0 , [ a a , b * b ] = 0 .

Proposition 5.

Assume that b R - 1 . Then D ( b * ) = D ( b - 1 ) .

Proof.

By Proposition 4, (10) a D ( b * ) iff [ a a , b b * ] = 0 , [ a a , b b * ] = 0 . This is equivalent to (11) a a b b * = b b * a a , a a b b * = b b * a a . Multiply (11) from left and right by ( b b * ) - 1 ; we get (12) [ a a , ( b - 1 ) * b - 1 ] = 0 , [ a a , ( b - 1 ) * b - 1 ] = 0 . Again Proposition 4 shows that (12) holds if and only if a D ( b - 1 ) .

Proposition 6.

Assume that b R - 1 and b is normal. Then D ( b ) = D ( b - 1 ) = D ( b n ) , where n is an integer number.

Proof.

Since b is normal, the first equality is an immediate consequence of Proposition 5. For proof of the second equality, obviously D ( b n ) D ( b ) . For the converse suppose that a D ( b ) ; using Proposition 4, normality of b , and induction, one can get b n D ( b ) for all integer n . Thus a D ( b n ) .

The following example shows that the normality hypothesis cannot be omitted from the above proposition.

Example 7.

Set a = [ 0 1 - 1 1 0 1 1 1 0 ] and b = [ 2 7 - 2 7 0 1 2 7 7 4 0 ] . Then a = a D ( b ) since b * b a a = a a b b * = a a b b * = b b * a a = [ 14 - 21 35 21 42 - 21 35 21 14 ] . But a D ( b - 1 ) , because (13) ( b * ) - 1 b a a = [ - 6 343 - 61 1029 43 1029 37 1029 30 343 - 53 1029 43 1029 15 343 - 2 1029 ] [ 2 343 - 15 343 17 343 13 1029 74 1029 - 61 1029 19 1029 29 1029 - 10 1029 ] = a a ( b * ) - 1 b .

We recall that a cone is a set of rays; in other words K A is a cone if x K implies λ x K for each λ 0 . Also, an element a R is called simply polar  if it has a commuting generalized inverse (in the sense of von Neumann); that is, there exists a generalized inverse c of a , such that [ a , c ] = 0 .

In the next result we collect some noteworthy properties of weighted dual covariance set.

Proposition 8.

Assume that b A - 1 . Then, the following statements are equivalent:

a D e , f ( b ) ;

a D f , e ( b ) ;

a * D f , e ( b ) ;

a a D e , f ( b ) and a a D e , f ( b ) ;

λ a D e , f ( b ) for any nonzero scalar λ . Moreover, if a is simply polar, then the following statements are equivalent to the above statements:

a a D e , f ( b ) ;

a a D e , f ( b ) .

Proof.

First we show that (i) (ii) by Theorem 3   a D e , f ( b ) if and only if (14) [ a a , b * e b ] = 0 , [ a a , b * f b ] = 0 . Since ( a ) = a , thus (14) is equivalent to (15) [ a ( a ) , b * e b ] = 0 , [ ( a ) a , b * f b ] = 0 . Again, Theorem 3 shows that (15) holds if and only if a D f , e ( b ) .

(i) (iii): in a similar manner, since a a = a * ( a * ) and a a = ( a * ) a * by applying Theorem 3, we get a D e , f ( b ) a * D f , e ( b ) .

(i) (iv): a D e , f ( b ) if and only if (14) holds. Since a a = a a a a and ( a a ) = a a , thus (14) is equivalent to (16) [ a a ( a a ) , b * e b ] = 0 , [ ( a a ) a a , b * f b ] = 0 .

This implies that a a D e , f ( b ) . Similarly we get (17) [ a a ( a a ) , b * e b ] = 0 , [ ( a a ) a a , b * f b ] = 0 . Thus, a a D e , f ( b ) .

For the proof of (iv) (i), it is easy to verify that (iv) is satisfied if and only if (16) and (17) hold. These together imply (14); that is, (i) holds.

(i) (v): since λ 0 , ( λ a ) = ( 1 / λ ) a = ( a λ ) . Now applying Theorem 3 we obtain the result.

(vi) (vii): since a is simply polar, thus a a = a a and so (vi) and (vii) are equivalent.

(iv) (vi) is obvious.

Corollary 9.

If b A - 1 , then D e , f ( b ) is a cone.

It is well known that every normal element is simply polar. Hence, consider the following.

Corollary 10.

If a is normal, then (18) a D e , f ( b ) a a D e , f ( b ) a a D e , f ( b ) .

Corollary 11.

Assume that b R - 1 . Then for each λ 0 , (19) a D ( b ) a D ( b ) a * D ( b ) λ a D ( b ) a a D ( b ) , a a D ( b ) .

Proposition 12.

Assume that b A - 1 and λ 0 is any scalar. Then D e , f ( b ) = D e , f ( λ b ) .

Proof.

By Theorem 3, a D e , f ( b ) if and only if (14) is satisfied which is equivalent to (20) [ a a , ( λ b ) * e ( λ b ) ] = 0 , [ a a , ( λ b ) * f ( λ b ) ] = 0 . This holds if and only if a D e , f ( λ b ) .

Corollary 13.

If b R - 1 and λ is a nonzero scalar, then D ( b ) = D ( λ b ) .

Proposition 14.

Let a , c A with MP-inverses a and c , respectively. Assume that c a = 0 = a c and a c = 0 = c a . If a , c D e , f ( b ) , then a + c D e , f ( b ) .

Proof.

It is easy to verify that a + b is the MP-inverse of a + b . Then, ( a + b ) = a + b . Since a , c D e , f ( b ) , (21) [ a a , b * e b ] = 0 , [ a a , b * f b ] = 0 , [ c c , b * e b ] = 0 , [ c c , b * f b ] = 0 . By using the linearity of commutator and the assumptions, from (21), we conclude that (22) [ ( a + c ) ( a + c ) , b * e b ] = 0 , [ ( a + c ) ( a + c ) , b * f b ] = 0 . Now, Theorem 3 implies that a + c D e , f ( b ) .

Corollary 15.

Let a , c A with MP-inverses a and c , respectively. Assume that c a = 0 = a c . If a , c D e , f ( b ) are self-adjoint, then a + c D e , f ( b ) .

Corollary 16.

Let a , c R with MP-inverses a and c , respectively. Assume that c a = 0 = a c . If a , c D ( b ) and [ a , c ] = [ a , c ] = 0 , then a + c D ( b ) .

It should be noted that D e , f ( b ) is not closed under addition even e = f = 1 . For example, set b = [ 1 1 0 1 ] , a = [ 1 1 1 2 ] , and c = [ - 1 - 1 0 - 2 ] ; then b , a , and c are invertible. Thus a , c D ( b ) . But ( a + c ) ( a + c ) b b * = [ 0 0 1 1 ] and b b * ( a + c ) ( a + c ) = [ 0 1 0 1 ] . This means that a + c D ( b ) .

The next theorem shows that the weighted dual covariance set, seen as a multivalued map, has some kind of continuity.

Theorem 17.

Assume that { b n } is a sequence in A - 1 and b n b A - 1 . Let a n D e , f ( b n ) be such that a n a A . If sup n a n < , then a D e , f ( b ) .

Proof.

By assumption, sup n a n < . Therefore [11, Theorem 1.6] implies that a n a , a n a n a a , and a n a n a a . Since a n D e , f ( b n ) , (23) [ a n a n , b n * e b n ] = 0 , [ a n a n , b n * f b n ] = 0 . Letting n in (23), we obtain (24) [ a a , b * e b ] = 0 , [ a a , b * f b ] = 0 . Now, Theorem 3 implies that a D e , f ( b ) .

3. Weighted Dual Covariance and <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M266"> <mml:mrow> <mml:mi>*</mml:mi></mml:mrow> </mml:math></inline-formula>-Functions

Let us start with a definition.

Definition 18.

Let A and B be unital C * -algebras. A multiplicative * -function φ : A B is a map satisfying

φ ( a b ) = φ ( a ) φ ( b ) for all a and b in A ;

φ ( a * ) = ( φ ( a ) ) * for all a in A ;

φ ( 1 A ) = 1 B .

Note that every C * -algebras homomorphism is a linear multiplicative * -function.

It is easy to verify that if a is a positive element, then φ ( a ) is positive. In addition, if a A is positive with MP-inverse a , then φ ( a ) is positive because (25) φ ( a ) = φ ( a a a ) = φ ( ( a 1 / 2 a ) * a 1 / 2 a ) = φ ( ( a 1 / 2 a ) ) * φ ( a 1 / 2 a ) . Moreover, formula (7) shows that if a is weighted MP-invertible with the weights e and f , then a e , f is positive and so φ ( a e , f ) is positive.

Proposition 19.

Let A and B be unital C * -algebras and suppose that φ : A B is a multiplicative * -function.

If a is a regular element in A , then φ ( a ) is regular in B .

If a is weighted MP-invertible in A with weights e , f , then φ ( a ) is weighted MP-invertible in B with weights φ ( e ) , φ ( f ) . Moreover (26) φ ( a e , f ) = ( φ ( a ) ) φ ( e ) φ ( f ) .

Proof.

The first assertion is a consequence of the second one. So we only prove (ii). Let a e , f be the weighted MP-inverse of a in A with weights e , f . Then by definition, (27) a = a a e , f a , a e , f a a e , f = a e , f , ( a a e , f ) * = e - 1 a a e , f e , ( a e , f a ) * = f - 1 a e , f a f . Since φ is a multiplicative * -function, so (27) implies that (28) φ ( a ) = φ ( a ) φ ( a e , f ) φ ( a ) , φ ( a e , f ) φ ( a ) φ ( a e , f ) = φ ( a e , f ) , φ ( e - 1 ) ( φ ( a ) φ ( a e , f ) ) φ ( e ) = φ ( e - 1 a a e , f e ) = φ ( ( a a e , f ) * ) = ( φ ( a a e , f ) ) * = ( φ ( a ) φ ( a e , f ) ) * , and similarly (29) φ ( f - 1 ) φ ( a e , f ) φ ( a ) φ ( f ) = ( φ ( a e , f ) φ ( a ) ) * . Therefore φ ( a e , f ) is weighted MP-inverse of φ ( a ) with weights φ ( e ) , φ ( f ) . Now by the uniqueness of weighted MP-inverse we get (30) φ ( a e , f ) = ( φ ( a ) ) φ ( e ) , φ ( f ) .

Proposition 20.

Let A and B be unital C * -algebras and a A .

If φ : A B is a multiplicative * -function, then φ ( D e , f ( b ) ) D φ ( e ) , φ ( f ) ( φ ( b ) ) .

If φ : A B is a bijection multiplicative * -function, then φ ( D e , f ( b ) ) = D φ ( e ) , φ ( f ) ( φ ( b ) ) .

Proof.

(i) Suppose that φ ( a ) φ ( D e , f ( b ) ) . Then a D e , f ( b ) and so b - 1 a b is weighted MP-inverse of b - 1 a b with weights e , f . By applying Proposition 19 we get φ ( a ) D φ ( e ) , φ ( f ) ( φ ( b ) ) .

(ii) Since φ is bijection multiplicative * -function, φ - 1 is also multiplicative * -function. From here and part (i) we obtain the desired assertion.

Corollary 21.

If φ : A B is a multiplicative * -function, then φ ( D ( b ) ) D ( φ ( b ) ) . Moreover, if φ is bijection, then φ ( D ( b ) ) = D ( φ ( b ) ) .

Corollary 22.

Assume that b A - 1 . Then,

if u A is a unitary, then D e , f ( u * b u ) = u * D u * e u , u * f u ( b ) u ;

if v A - 1 , then D e , f ( v - 1 b v ) = v - 1 D v - 1 e v , v - 1 f v ( b ) v .

Proof.

Since the maps a u * a u and a u - 1 a u are bijection multiplicative * -functions, the results follow from Proposition 20.

Corollary 23.

If u R is a unitary, then D ( u * b u ) = u * D ( b ) u , and if v R - 1 , then D ( v - 1 b v ) = v - 1 D ( b ) v .

Remark 24.

The notion of dual covariance is not studied to Drazin inverses because it is easy to see that, for every Drazin invertible element a D and for every b R - 1 , we have (31) ( b a b - 1 ) D = b a D b - 1 . In fact, for any b R - 1 we have { a R D : ( b a b - 1 ) D = b a D b - 1 } = R D where R D is the set of all Drazin invertible elements of R .

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Alizadeh M. H. On the covariance of generalized inverses in C * -algebra Journal of Numerical Analysis, Industrial and Applied Mathematics 2011 5 3-4 135 139 MR2842368 2-s2.0-79957835234 Mahzoon H. On the covariance of Moore-Penrose inverses in rings with involution Abstract and Applied Analysis 2014 2014 6 309708 10.1155/2014/309708 MR3208528 Meenakshi A. R. Chinnadurai V. Some remarks on the covariance of the Moore-Penrose inverse Houston Journal of Mathematics 1992 18 2 167 174 MR1164100 Robinson D. W. On the covariance of the Moore-Penrose inverse Linear Algebra and Its Applications 1984 61 91 99 10.1016/0024-3795(84)90024-7 MR755251 2-s2.0-48549114023 Schwerdtfeger H. On the covariance of the Moore-Penrose inverse Linear Algebra and its Applications 1983 52-53 629 643 10.1016/0024-3795(83)80040-8 MR709377 2-s2.0-48749149314 Robinson D. W. Covariance of Moore-Penrose inverses with respect to an invertible matrix Linear Algebra and its Applications 1985 71 275 281 10.1016/0024-3795(85)90253-8 MR813051 2-s2.0-46549090962 Chipman J. S. On least squares with insufficient observations Journal of the American Statistical Association 1964 59 308 1078 1111 10.1080/01621459.1964.10480751 MR0175220 Rao C. R. Mitra S. K. Generalized Inverse of Matrices and Its Applications 1971 New York, NY, USA John Wiley & Sons MR0338013 Koliha J. J. Djordjević D. Cvetković D. Moore-Penrose inverse in rings with involution Linear Algebra and its Applications 2007 426 2-3 371 381 10.1016/j.laa.2007.05.012 MR2350664 2-s2.0-34547987691 Harte R. Mbekhta M. On generalized inverses in C * -algebras Studia Mathematica 1992 103 1 71 77 MR1184103 Koliha J. J. Continuity and differentiability of the Moore-Penrose inverse in C * -algebras Mathematica Scandinavica 2001 88 1 154 160 MR1813526 2-s2.0-0035613606