EP ELEMENTS IN RINGS AND IN SEMIGROUPS WITH INVOLUTION AND IN C -ALGEBRAS. Sotirios Karanasios
|
|
- Δαρείος Αυγερινός
- 6 χρόνια πριν
- Προβολές:
Transcript
1
2 Serdica Math. J. 41 (2015), Serdica Mathematical Journal Bulgarian Academy of Sciences Institute of Mathematics and Informatics EP ELEMENTS IN RINGS AND IN SEMIGROUPS WITH INVOLUTION AND IN C -ALGEBRAS Sotirios Karanasios Communicated by I. G. Todorov Abstract. This work includes a survey of most of the results concerning EP elements in semigroups and rings with involution and in C -algebras 1. Introduction. Let T be a bounded linear operator on a complex Hilbert space H. It is well known that when T is an operator with closed range then its unique generalized inverse T (known also as Moore-Penrose inverse) is defined. If T has a closed range and commutes with T, then T is called an EP operator. EP operators constitute a wide class of operators which includes the 2010 Mathematics Subject Classification: Primary 46L05, 46J05, 46H05, 46H30, 47A05, 47A53, 47A60, 15A09, 15A33, 16A28, 16A32, 16B99,16W10; Secondary 46E25,46K05, 47A12, 47A68. Key words: EP operator, EP element, involution, strong involution, semigroup with involution, ring with involution, regular ring, antiregular ring, *-regular ring, faithful ring, C -algebra, group inverse, Drazin inverse, generalized inverse, Moore-Penrose inverse, regular element, antiregular element, polar element, quasipolar element, global star cancelation law, annihilator.
3 84 Sotirios Karanasios self adjoint operators with closed range, the normal operators with closed range and the invertible operators. All the above have the origin to the notion of an EP matrix. An n n complex matrixaisanepmatrix iftherangeofacoincides withtherangeofthe adjoint A of A. EP matrices were introduced by Schwerdtfeger in [35] (it should be noted that Schwerdtfeger definition is not the one given in the beginning, but an equivalent one). The notion of an EP matrix was extended by Campel and Meyer to operators on a Hilbert space in [5]. In this paper most of the results concerning EP elements in semigroups and rings with involution and in C -algebras are presented. For simplicity the notion of an EP operator is given first and then some more results are presented in a particular section. Following EP elements in general which are arranged in three sections for rings, for semigroups and for C -algebras correspondingly, are studied. 2. Preliminaries and notation. Let H be a complex Hilbert space. Then, B(H) denotes the algebra of bounded linear operators on H, and for T B(H), R(T) denotes the range of T, and N(T) the kernel of T. To denote the direct sum of two subspaces M 1 and M 2 of H we will use M 1 M 2 and to denote the orthogonal sum of two orthogonal subspaces M 1 and M 2 of H we will use M 1 M2. If M 1 and M 2 are subspaces of H with M 1 M 2 = H, then we will say that M 2 is a complement of M 1 and we will denote the projection onto M 1 parallel to M 2 by P M1 M 2. The orthogonal projection onto a subspace M of H will be denoted by P M. The generalized inverse, known as Moore-Penrose inverse, of an operator T B(H) with closed range, is the unique operator T satisfying the following four conditions: (1) TT = (TT ), T T = (T T), TT T = T, T TT = T where T denotes the adjoint operator of T. It is easy to see that R(T ) = N(T), TT is the orthogonal projection of H onto R(T) and that T T is the orthogonal projection of H onto N(T). It is well known that R(T ) = R(T ). It is also known that T is bounded if and only if T has a closed range. An operator T with closed range is called EP if [T,T ] = 0. It is easy to
4 EP elements in rings, semigroups, with involution and in C -algebras 85 see that we have the following equivalent conditions for T to be EP: T EP [T,T ] = 0 TT = T T P T = P T P N(T ) = P N(T) N(T) = N(T ) R(T) = R(T ) R(T) N(T) = H. It is worthwhile to notice that in finite dimensional case, since N(T), N(T ), are equidimansional, if N(T) is contained in N(T ) or vice versa then T is EP. This is not in general true in the infinite dimensional case (e.g. Let T be the left shift). We note two things about the last equivalence in the characterization of EP operators: (1) This equivalence is not true if the sum is not an orthogonal one. To see that let P M1 M 2 be a non-orthogonal projection. Then P M1 M 2 is not EP, since whereas P M1 M 2 is EP N(P M1 M 2 ) = N(P M 2 M 1 ) M 2 = M 1 P M1 M 2 = P M1 M 1 P M1 M 2 = P M1 P M1 M 2 is an orhtogonal projection R ( P M1 M 2 ) N ( PM1 M 2 ) = M1 M 2 = H. (2) For matrices we have the following stronger version of this equivalence: If A is an n n complex matrix, then A is EP if and only if there exist subspaces M 1 and M 2 of C n such that C n = M 1 M2 and A(M 1 ) = M 1, A(M 2 ) = {0}. This is not true if we move to operators on a Hilbert space. Obviously T is EP if and only if T is EP and T is EP if and only if T is EP. IsomorphismsareEP. Moreover wehavethat ift is EP,thenthefollowing are equivalent: (1) T is an isomorphism. (2) T is injective. (3) T is surjective. Normal operators with closed range are EP, since if T is normal, then R(T) = R((TT ) 1 2 ) = R((T T) 1 2 ) = R(T ).
5 86 Sotirios Karanasios Elementary examples with matrices show that there exist operators with closed range which are EP, but are not normal (for example, let A = [ ]). For a bounded projection P we have, as we already saw, that P is EP if and only if P is orthogonal. In particular the zero operator 0 is EP. Most of the aforementioned are from [11]. Let R be a ring and a R. Then the element a is group invertible if there is a R such that aa a = a, a aa = a, aa = a a. We denote the set of all group invertible elements of R by R. The element a is called regular if there exist an element a R such that aa a = a. The element a is called inner or 1-inverse of a. A ring R is called regular if every element in R is regular or equivalently if for every a R, a ara. Regular rings are important in many branches of Mathematics and especially in matrix theory, since regularity condition is a linear condition that solves linear equations and take the place of canonical decomposition. A non zero element a R is called anti-regular if there exist an element â R such that âaâ = â. The element â is called outer or 2-inverse of a and similarly the ring R is called anti-regular if every non-zero element is anti-regular. Any element a + which is an inner and an outer inverse of a is called a reflexive or 1-2 inverse of a. The right and the left annilators of a R will be denoted by a 0 = {x R : ax = 0} 0 a = {x R : xa = 0} correspondingly. An involution in R is an anti-isomorphism ( ) : R R of degree 2, that is, (a ) = a, (a+b) = a +b, (ab) = b a. If a = a the element a is called Hermitian and if a a = aa, is called normal. A *-regular ringis a ringwith involution *such that a a = 0 a = 0for all a R. An important result in a *-regular ring is the global star cancellation law: a ab = a ac ab = ac. A ring R is called strongly regular if for every a R, a a 2 R, unit regular if for every a R, there exists a unit u R such that aua = a and faithful if ar = {0} implies a = 0. It is well known that a ring R is strongly regular if and only if every a R is a group member. A fundamental theorem concerning equivalences of the notion group member is the following Theorem 2.1 ([18], Th. 1, p. 450). Let S be a semigroup and a S. The following are equivalent.
6 EP elements in rings, semigroups, with involution and in C -algebras a is a group member. 2. a has a group inverse a in S which satisfies axa = a, xax = x, and ax = xa. 3. a has a commutative inner inverse a which satisfies axa = a and ax = xa. 4. as = es, Sa = Se and a ese for some idempotent e S. 5. a a 2 S Sa a a asaa = for some inner inverses a,a = in S. 7. as = Sa + for some reflexive inverse a + in S. 7a. Sa = Sa + for some reflexive inverse a + in S. 8. as = A as for some inner inverses a,a = in S. 8a. Sa = Saa for some inner inverses a,a = in S. If in addition S = R is a faithful ring, these are equivalent to 9. R = ar a 0 9a. R = Ra 0 a In any of the above cases a and e = aa are unique and the maximal subgroup containing a is given by H a = {x S : x exists,xx = aa = e} = {x S : xs = as, Sx = Sa, x asa} 3. EP operators. The theory of EP operators has been developed considerably in the last 20 years and mainly since The first work in the subject was the paper of S. L. Campbel and C. D. Meyer in 1975, [5], followed by two papers of R. E. Hartwig [15], in 1976 and [16], in 1978, and a paper of R. E. Hartwig and I. J. Katz [17], in Then there is a gap of 12 years till the paper of K. G. Brock [4] in The notion of an EP matrix was introduced by Schwerdtfeger in The extension of this notion to the infinite dimensional case, namely the notion of an EP operator was introduced by Campbel and Meyer in [5], in 1975 for operators with closed range, acting on a Hilbert space. AnoperatorA B(H)iscalled EPifitsrangeR(A) isclosed andr(a) = R(A ). Notice that this definition is equivalent to the one given on page 84. In [5] several relationships between EP operators, generalised inverses, normal operators and binormal operators are given.
7 88 Sotirios Karanasios Theorem 3.1 ([5], Th. 2, p. 328). Let A B(H). Then each one of the following conditions implies the next. 1) A is normal. 2) A is EP. 3) A 2 is EP. 4) (A ) 2 = (A 2 ). 5) AA,A A commute. Furthermore all the implications are proper (None of these implications reverse). It is worthwhile to mention that the proof of the implication 2) 3) is [ based] on the fact that an EP operator A, has a simple canonical form A = T 0 relative to the orthogonal decomposition H = R(A) N(A), of the 0 0 Hilbert space H. With the same proof we can prove the following Proposition 3.2. If A n is EP then (A ) n = (A n ). Remark 3.3. Note that to each statement which characterizes a normal operator if the adjoint operation ( ) is replaced by the generalized inverse operation ( ) then the resulting statement is called the dual statement and, in most cases, is a characterization for EP operators. For example the dual statement of the statement A is a normal operator if and only if A A = AA is A is EP operator if and only if A A = AA which is true. In [5] it is proved that Embry s result for matrices ([12]) which states that both A A and AA commute with A+A then A is normal, it is true for operators in Hilbert space. Theorem 3.4 ([5], Th. 6, p. 331). Let A B(H). If AA and A A both commute with A+A, then A is EP. 4. EP elements in rings with involution. Hartwig in [15] defined and studied EP elements in a *-regular ring R. Definition 4.1. An element a R is called EP if ar = a R. Hartwig in 1975 using properties of the four types of inverses (1-2,1-3,1-4, and inverses) and techniques analogous to the complex case of EP matrices proved many equivalent formulations for an element a R to be EP. Such formulations are seen in the following
8 EP elements in rings, semigroups, with involution and in C -algebras 89 Proposition 4.2 ([15], Prop. 25, Prop. 26, Lem. 6). Let R be a *-regular ring. The following are equivalent (i) (ii) (iii) ar = a R aa = a a Ra = Ra (iv) a 0 = (a ) 0 (v) 0 a = 0 (a ) (vi) a 2 a = a = a a 2 (vii) a(aa a a) = (aa a a)a (viii) (a 2 ) = (a ) 2,aR = a 2 R, and Ra = Ra 2 (ix) a {a} = {x ar = ra xr = rx} (the bicommutant of a.) It is evident now that if a is an EP element then a is the group inverse of a and hence R = ar a 0. Now since a normal element (aa = a a) is EP, we have that a {a} and hence a a = a a (a ) a = a(a ). Conversely if aa = a a and (a ) a = a(a ) then a {a} a (a ) = (a ) a and hence aa = a a i.e. a is a normal element. Therefore Proposition 4.3. (i) aa = a a aa = a a and (a ) a = a(a ) ([15], Prop. 27, p. 243) (ii) a is an EP element b = a(a a) k is an EP element for some k 1 ([15], end p. 243) (iii) If a is an EP element so is any product of a s and a s ([15], end p. 243) The following proposition generalizes various results of Basket & Katz [1],[19] in matrices. It also characterizes the set B a = {x xx = x x, aa = xx }. Proposition 4.4 ([15], Prop. 30, and Corollary p ). Let R be a *-regular ring and let a,b be EP elements in R. (α) The following conditions are equivalent (i) ar = br (ii) (ab) = b a, abr = ar, Rab = Rb (iii) ab is EP, and abr = ar, Rab = Rb (iv) (ab) = b a, (ba) = a b, abr = ar, bar = br (v) ab, ba are EP, and abr = ar, bar = br.
9 90 Sotirios Karanasios (β) If (ab) = a b and abr = ar, Rab = Rb then ar = br, ab is an EP element, and ab = ba. (γ) If ab = ba, then ab, ba, a b, and ab are EP elements. (δ) If moreover R has a unity, then there exist units u and v such that a = au = va. Remark 4.5. Part (δ) of the above Proposition 4.4 it is proved in [16], theorem 3, p.59 under weaker conditions. The ring R does not have to be regular. It is enough R to be a ring with unity and with involution. The following result is Corollary 2 in [17], p. 17. Theorem 4.6. Let R be a regular ring with involution, and suppose that a and b are EP elements of R. If u = (1 aa )b, v = a(1 bb ), w = b(1 aa ), and z = (1 bb )a, then any of the following conditions (α) u u = 0 u = 0, v v = 0 v = 0, (ab) = b a, abr = ar, Rab = Rb (β) ww = 0 w = 0, z z = 0 z = 0, (ba) = a b, bar = br, Rab = Ra (γ) vv = 0 v = 0, ww = 0 w = 0, (ab) = b a, (ba) = a b, abr = ar, bar = br. imply the equivalent conditions: (i) ab is EP and abs = as, Sab = Sb, (ii) as = bs and aa S = as, (iii) as = bs and b bs = b S, (iv) as = bs and as = a 2 S, (v) as = bs and Sb = Sb 2, (vi) ab and ba are EP and abs = as, bas = bs. In a recent paper [31] Mosic and Djordjevic studying the reverse order law in rings with involution proved various equivalent conditions that imply that the product of two elements in a ring with involution is EP. In the following three theorems we summarize by restating these results Theorem 4.7 ([31], Cor. 2.1, p. 277). Let R be a ring with involution, a,b R and ab R. If any of the following four equivalent conditions (i) b = (ab) a, (ii) b = a ab = baa and abb = b ba, (iii) br a R, a ab = baa and abb = b ba,
10 EP elements in rings, semigroups, with involution and in C -algebras 91 (iv) (a ) 0 b 0, a ab = baa and abb = b ba, or any of the following four equivalent conditions (i) a = b(ab), (ii) a = abb = b ba and a ab = baa, (iii) ar b R, a ab = baa and abb = b ba, (iv) (b ) 0 a 0, a ab = baa and abb = b ba, is satisfied then ab is EP and (ab) = b a. Theorem 4.8 ([31], Th. 2.7, p. 279). Let R be a ring with involution. Suppose that a,b R and ab R. Then ab is EP and (ab) = b a if and only if one of the following equivalent conditions holds: (i) a ab R and b(ab) = bb a = (abb ), (ii) abb R and (ab) a = b a a = (a ab), (iii) ab,a ab R, (ab) = (a ab) a and (a ab) = b a a, (iv) ab,abb R, (ab) = b (abb ) and (abb ) = bb a, (v) ab,a ab R, (ab) = (a ab) a and (a ab) = b (a a) (vi) ab,abb R, (ab) = b (abb ) and (abb ) = (bb ) a, Theorem 4.9 ([31], Th. 2.8, p. 281). Let R be a ring with involution. If a,b R, then the following conditions are equivalent: (i) ab R R, ab is EP and (ab) = b a, (ii) (a ) b R R and [(a ) b] = b a = [(a ) b], (iii) a(b ) R R and [a(b ) ] = b a = [a(b ) ]. In [22] Koliha and Patricio used the notion of spectral idempotent of an element in a ring R with unit 1 0 and the notion of the generalized Drazin inverse to give new characterizations of EP elements in a ring with involution. For their needs they gave the following definition: An element α R is generalized Drazin invertible (g-drazin invertible for short) if there exists an element α D = b R such that b {a}, ab 2 = b,a 2 b a R qnil, where R qnil is the set of quasinilpotent elements of R. α R is quasinilpotent if for every x {α}, 1+xα is invertible. The set of g-drazin invertible elements of R is denoted by R gd and the set of Moore-Penrose invertible elements of R is denoted by R. An element α R is quasipolar if there exists p R such that p 2 = p, p {a}, αp R qnil, α+p is invertible
11 92 Sotirios Karanasios Any idempotent p satisfying the above conditions is called spectral idempotent of α and is denoted by α π. Any quasipolar element α R has a unique spectral idempotent. An element α of a ring R with involution is said to be EP if α R gd R andα D = α. Ofcoursethisdefinitionisequivalent tothepreviousonedefinition 4.1 and the well known characterization of EP elements which is the condition (ii) of Proposition 4.2. An element α is generalized EP (or gep for short) if there exists k N such that α k is EP. The main result in [22] that plays an important role to characterize EP elements in a ring with involution is the following Theorem 4.10 ([22], Th.7.2, p.149). For α R the following conditions are equivalent: (i) α is EP (ii) α is group invertible and α π = (α ) π (iii) α R gd R and α π = (α α) π (iv) α R gd R and α π = (αα ) π (v) α R d ag and (α α) π = (αα ) π More over: Theorem 4.11 ([22], Ths 7.3, 7.4 pp ). An element α R is EP if and only if (α) α is group invertible and one of the following equivalent conditions holds or (i) α α is symmetric (ii) α(α ) = αα (α ) (iii) (α ) = (α ) α α (iv) α (α π ) = α π (α ) (β) α is g-drazin invertible and one of the following equivalent conditions holds: (i) α α π =0 (ii) α π α =0 (iii) α = α α D α (iv) α = α D αα From the above Theorem 4.11 the authors proved analogous results for gep elements.
12 EP elements in rings, semigroups, with involution and in C -algebras 93 Patricio and Puystjens in [34] in order to distinguish between various conditions on an element in a ring with involution, introduced new terminology. In a ring with involution * they defined the following notions Definition An element α in a ring R with involution * is called *-EP if αr = α R. 2. An element α in a ring R with involution * is called *-group-moore- Penrose (*-gmp in short) invertible if α and α exist and α = α. Note that in a *-regular ring an element is *-EP if and only if it is *-gmp (see also the comment following Proposition 4.2). In a *-regular ring every element has a *-MP inverse but this is not true in an arbitrary ring R with involution *. Not every element in R has a *-MP inverse. For this reason the authors firstly characterize the elements in R which have a group inverse α and a Moore-Penrose inverse α such that α = α and then they connected it with the notions of *-EP and *-gep. Namely: Proposition 4.13 ([34], Prop. 2, p. 162). Given α in a ring R with involution * the following conditions hold: 1. If αr = α R then α exists with respect to * if and only if α exists, in which case α = α 2. If α exists with respect to *, α exists and α = α then αr = α R Proposition 4.14 ([34], Corol. 3, p. 163). The following conditions are equivalent: 1. α is *-gmp 2. α is *-EP and α exists 3. α is *-EP and α exists with respect to * In 2006, Castro-Gonzalez and Velez-Cerrada [7], used perturbations of generalized Drazin inverse and the equivalence of α R is EP if and only if α is group inverse and α π = (α ) π (see theorem 4.10(ii)) to study perturbations of EP elements in rings with involution. They gave equivalent conditions ensuring that if α is EP then an element b = α+e is again EP with spectral idempotent b π = α π +s where s is given. In fact we have the following Theorem 4.15 ([7] Part of Th. 4.1, p. 391). Let R is a ring with unity 1 and with involution and s R such that 1 s 2 is invertible. If α is EP and α π +s is idempotent, then the following conditions on b = a+e R are equivalent: 1. b is EP and b π = α π +s 2. b R gd R, and b = b D = (1+s+α e) 1 α (1 s)
13 94 Sotirios Karanasios 3. b R gd R, and b = b D, and (1+s)b α (1 s) = α eb. Finally from Theorem 4.2 in [7] the authors derived, putting s = 0, the new equivalent condition that α is EP if and only if α is group invertible and (α ) π = α π. Mosic and Djordjevic in [26] and in a recent paper (2012) [27] as far as concern EP elements in a ring R with involution gave necessary and sufficient conditions for a Moore-Penrose invertible element or for a group and Moore- Penrose invertible element in R to be a partial isometry and EP. In [26] they also gave equivalent conditions for two elements α,b R such that αbα = α and α be EP and in [27] they gave equivalent conditions for an element α R such that α be EP and satisfies the condition (α ) n = (α ) n for some n N. The next theorem summarizes the aforementioned equivalent conditions Theorem 4.16 ([26], Th. 2.3, p. 764 and [27] Th. 2.2, p. 462). Let R be a ring with involution. (α) If α R be Moore-Penrose invertible then α is a partial isometry and EP if and only if α is group invertible and one of the equivalent conditions holds: (i) (ii) α is a partial isometry and normal α = α (iii) αα = α α (iv) α α = αα (v) (vi) (vii) αα = αα α α = αα α α = α α (viii) α α = α α (ix) α α = α α (x) α α = α α (xi) α α = α α (xii) α α = α α (xiii) α α = α α (xiv) α α = α α (xv) αα α = α (xvi) αα α = α (xvii) αα α = α (xviii) αα α = α
14 EP elements in rings, semigroups, with involution and in C -algebras 95 (xix) (xx) (xxi) (xxii) α α 2 = α α 2 α = α αα α = α α α α = α (β) If α R is Moore-Penrose invertible and group invertible and n N then α is a partial isometry and EP if and only if one of the equivalent conditions holds: (i) (ii) α is a partial isometry and α α n = α n α α n α = α α n (iii) α α n = α n α (iv) (v) (vi) α n α = α n α α α n = α n α α (α ) n = α (α ) n (vii) (α ) n α = (α ) n α (viii) (α ) n α = α (α ) n (ix) α (α ) n = (α ) n α (x) α (α ) n = (α ) n α (xi) α (α ) n = (α ) n+1 (xii) α (α ) n = (α ) n+1 (xiii) α (α ) n = (α ) n+1 (xiv) (xv) (xvi) (xvii) (xviii) (xix) αα (α ) n = (α ) n αα (α ) n = (α ) n α α n+1 = α n α n+1 α = α n α(α ) n α = (α ) n α (α ) n α = (α ) n In 2009, [32] Mosic, Djordjevic and Koliha generalized well known necessary and sufficient conditions in matrices and operators on Hilbert space in the setting of a ring with involution characterizing EP elements. They introduced 34 necessary and sufficient conditions for an element α of a ring with involution to be EP. Very recently 2012, in [30] Mosic and Djordjevic gave 20 more necessary and sufficient conditions involving powers of their group and Moore-Penrose inverse characterizing EP elements. These 54 conditions are included in the next theorem
15 96 Sotirios Karanasios Theorem 4.17 ([32], Th. 2.1, p. 529 and [30], Th. 2.1, p. 6703). Let R be a ring with involution and let n,m N. An element a R is EP if and only if α is group invertible and Moore-Penrose invertible and one of the following equivalent conditions holds: 1. αα α = α α α 2. αα α = α αα 3. α αα = α 4. αα α = α αα 5. αα α = α αα 6. αα α = α α α 7. α αα = α α α 8. (α ) 2 α = α α α 9. α α α = α (α ) α (α ) 2 = α α α 11. α (α ) 2 = (α ) 2 α 12. (α ) 2 α = α α α 13. α(α ) 2 = α 14. α α = α α 15. α α = α α 16. α α = α α 17. α α = α α 18. (α ) 2 = (α ) αα α = α 20. α α = (α ) α α = (α ) α αα = α 23. α α α = α 24. αα α α = α ααα 25. α ααα = αα α α 26. αα (αα α α) = (αα α α)αα 27. α α(αα α α) = (αα α α)α α 28. α α α+αα α = 2α 29. α α α+αα α = 2α 30. ααα +α αα = 2α 31. ααα +(ααα ) = α+α 32. α αα+(α αα) = α+α 33. αα α = α αα 34. α α α = α αα
16 EP elements in rings, semigroups, with involution and in C -algebras (α ) n+m 1 = (α ) m (α ) n 1 (or (α ) n+m 1 = (α ) n 1 (α ) m ) 36. (α ) n αα = (α ) n 37. αα (α ) n = (α ) n αα 38. α(α ) n (α ) m = α α(α ) n+m (α ) 2 (α ) n = α (α ) n α (or (α )(α ) n α = (α ) n (α ) 2 ) 40. α (α ) n = (α ) n α 41. α(α ) n+1 = (α ) n 42. α (α ) n = α (α ) n (or (α ) n α = (α ) n α ) 43. (α ) n+1 = (α ) n α (or(α ) n+1 = α (α ) n ) 44. (α ) n = (α ) n 45. αα (α ) n = (α ) n αα (or (α ) n α α = α α(α ) n ) 46. αα (α ) n α m = (α ) n α m αα (or α αα m (α ) n = α m (α ) n α α) 47. αα (α m (α ) n (α ) n α m ) = (α m (α ) n (α ) n α m )αα (or α α(α m (α ) n (α ) n α m ) = (α m (α ) n (α ) n α m )α α) 48. (α ) n α α+αα (α ) n = 2(α ) n 49. α (α ) n α+αα (α ) n = 2(α ) n 50. α n αα +α αα n = 2α n 51. α n αα +(α n αα ) = α n +(α ) (or α αα n +(α αα n ) = α n +(α )) 52. α n = α n αα (or α n = α αα n ) 53. α n α = α α n 54. [(α ) ] n = αα [(α ) ] n (or [(α ) ] n = [(α ) ] n α α) Moreover Theorem 4.18 ([30], Th. 2.3, p. 6706). Let n N and α R such that α is group and Moore-Penrose invertible and α n is Moore-Penrose invertible. Then α is EP if and only if α(α n ) = (α n ) α. Patricio and Araujo in 2010, in [33], Th. 2.3, p. 449, studied necessary and sufficient conditions for αα = bb where α,b are Moore-Penrose invertible and then used them to get new characterizations of EP elements in a ring R with involution. Note that in the condition αα = bb if we take b = α we have αα = α α which means that α is EP. From their Theorem 2.3 for b = α we get the following Proposition Let α R be Moore-Penrose invertible. Then α is EP if and only if one of the following conditions holds: (i) α = α α 2 and v = αα +1 α α is invertible (ii) α = α α 2 and w = αα + 1 α (α ) is a unit for one and hence for all choices of (α )
17 98 Sotirios Karanasios (iii) [αα, α α] = 0 and both k = α (α ) +1 α α and v = αα +1 α α are units. Similar considerations for EP elements could be drawn correspondingly, by using in Theorem 2.3, [33], p. 449 b = α, α = b and α = b. Very recently, in June 2012 Chen in [8] gives new characterizations of EP elements in rings with involution. These characterizations are presented in the following three statements. Proposition 4.20 ([8], Prop. 2.3, p. 556). Let R be a ring with involution. Then a R is EP if and only if a R R and satisfies the following two conditions: (i) (a ) 2 a = a (a ) 2, (ii) aa = a 2 (a ) 2 To prove this Chen uses also Theorem 7.3 of [22]. Theorem 4.21 ([8], Th. 2.4, p. 556). Let R be a ring with involution. Then a R is EP if and only if a R R and satisfies one of the following conditions: (i) a n a = a a n, for some n 1, (ii) (a ) n a = a (a ) n, for some n 1, (iii) (a ) n = (a ) n, for some n 1. Corollary 4.22 ([8], Cor. 2.5, p. 557). Let R be a ring with involution. Then a R is EP if and only if a R R and satisfies the following two conditions: (i) a R, (ii) (a ) 2 a = a (a ) 2. It is well known that 1 αb is EP does not imply in general that 1 bα is EP. Castro-Gonzalez, Mendes-Araujo and Petro Patricio in [6], Cor. 3.8, 3.9, p. 163 gave necessary and sufficient conditions for if 1 αb is EP (correspondingly gep) then 1 bα is EP (correspondingly gep). Remark For any regular ring, we could define an element a to be EP if there exists a 1-2 inverse a + such that either a + R = ar or Ra + = Ra (see Hartwig, [16], p. 60). For *-regular rings (or when conditions a ar = a R, aa R = ar are valid), the two definitions coincide since the Moore-Penrose inverse a exists and so a R = a R. Hartwig and Luh in [18] showed that an element of a ring R with unity is regular if and only if there exists a unit u R and a group G such that a ug
18 EP elements in rings, semigroups, with involution and in C -algebras 99 and derived that an EP element α is a group member in R which means that α is contained in a subgroup of R with respect to multiplication. In the next section, we will see some of the result in Proposition 4.4 are valid under much more weaker conditions, in the more abstract setting of semigroups. Moreover, Meenakshi and Anbalagan in [25] defined and studied EP elements in the more abstract setting of an incline. Now we will see an extension of the definition of an EP element to an E k P, k 1 element ([15], p. 243 and [24] ). Definition Let R be a *-regular ring. Hartwig defined the notion of E k P, k 1 elements. An element a R is E k P, k 1, if the following hold (i) a k a = a a k, (ii) (a ) k a = a(a ) k. The following relations are a consequence of this definition. a k+1 a = a k = a a k+1 a k (aa a a) = (aa a a)a k = a(a k a a a k ) = (a k a a a k )a. Also a k+1 R = a k R, Ra k+1 = Ra k, a k (a ) k a k = a k. By symmetry, using relation (ii) of the Definition 4.24, we get analogous relations with a and a interchanged. It is easy to see that if a is E k P element then (a ) k = (a k ) # is the group inverse of a k and hence R = a k R (a k ) 0. Also Meenakshi in [24] studied E k P elements in *-regular rings. He investigated connections between E k P and EP elements and applied them to give sufficient conditions for two E k P elements to satisfy the reverse order law for the Moore- Penrose inverse. 5. EP elements in semigroups with involution. Let S be a regular semigroup with two-sided zero 0 and with involution. Moreover we assume S to be reflexive, that is, for all a S, (2) 0 ((Sa) 0 ) Sa, but we do not assume the global star-cancellation law. In such semigroups the Moore-Penrose inverse does not exist in general, but in the study of EP elements its existence is very helpful. For this reason we give first a list of equivalent relations which ensure the existence of Moore-Penrose inverse. Theorem 5.1 ([17], Th. 1, & Corollary p ). Let S be a regular reflexive semigroup with involution and let a be a fixed element of S. The following are equivalent:
19 100 Sotirios Karanasios (α) (i) there is a solution a 13 to axa = a, (ax) = ax, (ii) there is a solution to a ax = a (iii) a as = a S (iv) (a a) 0 = a 0, (v) as (as) = (0). Moreover (β) (i) there is a solution a 14 to axa = a, (xa) = xa, (ii) there is a solution to aa x = a (iii) aa S = as (iv) (aa ) 0 = (a ) 0, (v) a 0 (a 0 ) = (0). (γ) The Moore-Penrose inverse a exists if and only if (α) and (β) hold and is then given by a = a 14 aa 13. Definition 5.2. An element a of a regular semigroup with involution is called EP if as = a S. For the next two results S will be a regular reflexive semigroup with involution. Theorem 5.3 ([17], Lem. 1, Lem. 3, p. 15). If a and b are EP elements in S, then (α) as = bs a S = b S Sa = Sb a 0 = b 0 (β) If a S is EP then the following are equivalent: (i) a 2 S = as (ii) aa S = as (iii) Sa 2 = Sa (iv) a as = as In any case a exists and aa = a a. Theorem 5.4 ([17], Th. 2, p. 16). Let a and b be EP elements of a regular reflexive semigroup S with involution. Then the following are equivalent: (i) ab is EP and abs = as,sab = Sb,
20 EP elements in rings, semigroups, with involution and in C -algebras 101 (ii) as = bs and aa S = as, (iii) as = bs and b bs = b S, (iv) as = bs and as = a 2 S, (v) as = bs and Sb = Sb 2, (vi) ab and ba are EP and abs = as,bas = bs. In any case a, b, (ab), and (ba) exist, each commutes with its commutes with its Moore-Penrose inverse, and (ab) = b a, (ba) = a b. The Theorem 5.4 remains true if we omit the hypothesis that b is EP. Also a consequence of the Theorem 5.4 is the following Corollary 5.5. Let S be as in Theorem 5.4 and a and b EP elements of S. If abs = as = a 2 S and Sab = Sb = Sb 2, then a, b, and (ab) exist. If, addition, (ab) = a b, then as = bs, ab and ba are EP, and ab = ba. X. Mary in [23] studies generalized inverses introducing a new generalized inverse that is the inverse along an element of a semigroup based on Green s suitable relations. From this point of view someone could find (indirectly) in his work reformulations in the new setting of equivalent conditions concerning EP elements (see for example proposition 13 and theorem 14, [23], pp and compare them with Propositions 4.13 and 4.14). 6. EP elements in C -algebras. Let A be a C -algebra. Then every regular element α A has a Moore-Penrose inverse (see [13], Theorem 6) which is denoted by α, it is uniquely determined and α {α, α }. By uniqueness it is clear that (α ) = (α ). It is also well known that (see [13], Theorem 2 and 8) a necessary and sufficient condition for an element α A to be regular is that the range ideal αa be closed i.e. αa = clαa. An element α A is called EP if it commutes with its Moore-Penrose inverse α. Harte and Mbekhta in [14], referred to EP elements in a C -algebra indirectly through their Theorem 10, which is the following Theorem 6.1 ([14], Th. 10, p. 137). If α αaα is a regular element of a C -algebra A then the following are equivalent: (i) αα = α α (ii) α 0 = (α ) 0 (iii) 0 α = 0 (α )
21 102 Sotirios Karanasios (iv) (v) α A 1 α α α A 1 Compare the above Theorem 6.1 with Proposition 4.2 which is referred to *-regular rings. We remark here that if α is a regular element in a C -algebra A then there exists b A such that α = αbα, b = bαb. Indeed the generalized inverse b of α (α = αbα) can be normalized: If we put c = bαb then α = αcα and c = cαc, and the passage from b to c does not change the idempotents p = p 2 = bα and q = q 2 = ab. Let A be a Banach algebra with unit e. We say that an element α A is Drazin invertible if there exists an element x A such that x {α}, αx 2 = x, α(e αx) QN(A), where QN(A) denotes the set of quasinilpotent elements of A. Such x, when it exists, it is unique and it is denoted by x = α D. We also denote the set of all Drazin invertible elements of A by A D (see e.g [20]). Koliha in [20] generalizes a well known result for matrices to C -algebras which is another equivalent condition for an element α A to be EP. Let A be a unital C -algebra. Then Proposition 6.2 ( [20], Prop. 2.2, p. 19). Let α A be Moore-Penrose invertible. Then α α = αα [α A D and α = α D ] = α is simply polar. It is proved in [20] that an element α in A is Moore-Penrose invertible if and only if it is regular and α is Drazin invertible if and only if it is quasipolar. Taking these into account A D, A denote also the sets of all quasipolar and regular elements of A respectively. A 1 denotes the set of all invertible elements of A. α A is quasipolar if 0 is isolated (possibly removable) singularity of the resolvent of α and polar if 0 is at most a pole of the resolvent. If α is quasipolar, then so is α and (α ) π = (α π ). It is also well known (see [21], proposition 1.1) that α A D there exists x A s.t. αx = xα, xαx = x, αxα = α+u, u QN(A) there exists p = p 2 A s.t. αp = pα QN(A) and α+p A 1 The idempotent p above is the spectral idempotent of α A D at 0, denoted by p = α π
22 EP elements in rings, semigroups, with involution and in C -algebras 103 α is polar α k α π = 0 for some non negative integer k. If αα π = 0 then α is simply polar. It is known that α π = e α D α and α D = (α+α π ) 1 (e α π ). In [21], a number of new characterizations is given, in terms of spectral idempotents, of the EP elements of a C -algebra. Theorem 6.3 ([21], Th. 2.1, p. 83). Let α A. Then α α = αα if and only if α is simply polar with a selfadjoint spectral idempotent at 0. In this case α π = (α ) π = (α α) π = (αα ) π. A consequence of the above Theorem 6.3 and its proof is the following Corollary 6.4 ([21], Cor. 2.2, p. 84). The following conditions are equivalent (i) α A and α α = αα (ii) (iii) α A A D and α = α D α is simply polar and (α ) π = α π (iv) α is simply polar and α π = (α α) π (respectively α π = (αα ) π ) (v) α A and (α α) π = (αα ) π Another interesting result is the following corollary in which it is given one more necessary and sufficient condition for an element α A to be EP. Corollary 6.5 ([21], Cor. 2.3, p. 84). Let α A. Then α is EP (equivalently α α = αα ) if and only α = f(α) for some function f holomorphic in a neighbourhood of the spectrum σ(α). The Theorem 3.1 in [21] extends and generalizes well known characterizations of EP elements to C -algebras. Since some of these characterizations have already been stated in previous theorems, we will state only the new ones in the next theorem. Theorem 6.6 ([21], Th. 3.1, p ). If α A, then the following are equivalent. (i) α A is EP. (ii) α 2 α = α = α α 2 (iii) (iv) (α α) π α = 0 = α(αα ) π αa = α A
23 104 Sotirios Karanasios (v) Aα = Aα (vi) α α A Aα (vii) α α A 1 A 1 α As we have seen in Proposition 4.2 some of these relations are valid in the more abstract situation of *-regular rings. In Proposition 4.4 and Theorem 4.6 we have seen conditions where the product of two EP elements is again EP. In the following theorem we have analogous results in C -algebras. Theorem 6.7 ([21], Th. 4.3, p. 87). Let A com be the set of all EP elements of A, α,b A com and α0,b 0 be finite dimensional vector subspaces of A. Then the following conditions are equivalent: (i) αb A com (ii) (αb)α π = 0 and b π (αb) = 0 (iii) (iv) α 0 (αb) 0 and 0 b 0 (αb) (αb) 0 = α 0 +b 0 and 0 (αb) = 0 α+ 0 b Benítez in [2] gives a new characterization for an element α A, where A is a C -algebra with unit, to be EP and uses it to study the commutativity of two elements of A in the case when one of them is EP. Moreover he uses a representation of A with respect to a projection p A and the aforementioned results to get a kind of simultaneous diagonalization when α A is EP, b A, αb = bα and α,b is written according to this representation. Theorem 6.8 ([2], Th. 2.1 and Cor. 2.3, pp ). Let A be a C -algebra with unit 1 and α A (α) The following conditions are equivalent (i) α is EP (ii) There exists a unique projection p A such that α + p A and αp = pα. (Note here that the unique projection is p = α π = 1 αα ) (β) If α has a Moore-Penrose inverse and k N, then the following conditions are equivalent (i) α k = α (ii) α is EP and α k+1 +α π = 1 Now if p A is a projection, then every x A has the following matrix representation which preserves the involution in A [ ] pxp px(1 p) (3) x = (1 p)xp (1 p)x(1 p)
24 EP elements in rings, semigroups, with involution and in C -algebras 105 get Then: According to this representation when α A is EP, b A and p = α π we α = [ α ] [, b = α π bα π α π b(1 α π ) (1 α π )bα π (1 α π )b(1 α π ) Theorem 6.9 ([2], Th. 3.1 and Cor. 3.3 and Th. 3.6, p. 768). Let A be a C -algebra with unit 1, α A is EP and b A. Then (α) (1 α π )bα π αb bα α, α π b(1 α π ) αb bα α (β) If α,b commute then bα π = β π b and if moreover b is also EP then (i) α π b π = b π α π (ii) αb = b α and bα = α b (iii) α b = b α = (αb) (γ) If αb = bα = 0 then (i) α π b = b = bα π (ii) α b = bα = 0 (iii) b A implies αb = bα = 0 (iv) b A implies α+b A and (α+b) = α +b (v) b is EP implies α+b is also EP and (α+b) π = α π +b π 1 In [9], characterizations of EP elements of a C -algebra A through different kind of factorizations of α A (for operators in B(H) see [11]) such as α = bα, α = ucw and a = bc where the factors satisfy certain conditions, are introduced. Boasso also studied in [3] EP Banach space operators and EP Banach algebra elements using factorizations. In this work, he derived new results for EP elements in the frame of unital C -algebras. All these results referred to C -algebras from both papers [9] and [3] we will be presented later on. Firstly we will see a characterization from [9] in terms of the existence of projections in A, namely Theorem 6.10 ([9], Th. 1.4 p. 588). An element α A is EP if and only if there exists a projection p A such that pα = α = αp, α (pap) 1 The characterizations of EP elements using factorizations are summarized in the following three theorems Theorem 6.11 ([9], Ths1.5, 1.7, 1.8, 1.10 andlems1.6, 1.9pp ). Let α A be regular. The following conditions are equivalent: ] (i) α is EP
25 106 Sotirios Karanasios (ii) (iii) (iv) α = bα = α c for some α,c A α α = b 1 α and αα c 1 α for some b 1,c 1 A α α = b 2 α and α = c 2 α for some b 2,c 2 A (v) α = ucu for some c,u A satisfying c 0 = (c ) 0 and u 0 = {0} (vi) α = ucw = w d v for some c,d,u,v,w A satisfying c 0 = d 0 (vii) (viii) and u 0 = v 0 = {0} α α = u 1 c 1 w 1 and αα = v 1 d 1 w 1 for some c 1,d 1,u 1,v 1,w 1 A satisfying c 0 1 = d 0 1 and u 0 1 = v 0 1 = {0} α = u 2 c 2 w 2 and α = v 2 d 2 w 2 for some c 2,d 2,u 2,v 2,w 2 A satisfying c 0 2 = d0 2 and u0 2 = v0 2 = {0} (ix) α = ucw = w d u for some c,d,u,w A with c 0 d 0, (x) (c ) 0 (d ) 0 and u 0 = (w ) 0 = {0} α = bc,b A = A = ca for some b,c A and one of the following conditions holds: 1.bb = c c, 2.b(b b) 1 b = c (cc ) 1 c 3.(b ) 0 = c 0 Theorem 6.12 ([3], Ths 3.10, 3.11 pp ). Let A be a unital C -algebra and consider α A such that α exists. Suppose that there exist b,c A such that α = bc, b 0 = 0 and ca = A. Then, the following statements are equivalent. (i) α Ais EP, (ii) α c A Ab, (iii) (b ) 0 = c 0, (iv) ba = c A, (v) 0 b = 0 (c ), (vi) Ac = Ab, (vii) ba 1 = c A 1, (viii) A 1 c = A 1 b, (ix) x A 1 : c = xb, (x) y A : y 0 = 0, and c = yb, (xi) z 1,z 2 A : c = z 1 b and b = z 2 c, (xii) v A : va = A and b = c v,
26 EP elements in rings, semigroups, with involution and in C -algebras 107 (xiii) s 1 A : s 0 = 0 and b = s 1 c, (xiv) s 2 A : s 2 A = A and c = bs 2, (xv) α α = c b bcbb and α α = c b c cbc, (xvi) αα = bcc b c (c ) and αα = bcbb c b, (xvii) α α = c b bcbb and α α = c b bcbb, (xviii) αα = c b bcbcc b and α α = c b bcbb, (xix) α α = bcc b b c bc and αα = bcc b c (c ), (xx) αα = c b bcbcc b and α α = bcc b b c bc Theorem 6.13 ([3], Th. 4.2 p. 252). Let A be a unital C -algebra and consider α A such that α exists. Then, the following statements are equivalent. (i) (ii) α A is EP, s A such that s 0 = 0 and α = sα, (iii) s 1,s 2 A such that α = s 1 α and α = s 2 α, (iv) u A such that ua = A and α = αu, (v) u 1,u 2 A such that α = αu 1 and α = α u 2, (vi) (vii) t A such that 0 t = 0 and α = αt, x A such that Ax = A and α = xα, (viii) v A 1 such that α α = vαα, (ix) v 1 A such that v 0 1 = 0 and α α = v 1 αα, (x) v 2 and v 3 A such that α α = v 2 αα and αα = v 3 α α, (xi) w A 1 such that α α = αα w, (xii) w 1 A such that w 1 A = A and α α = αα w 1, (xiii) w 2 and w 3 A such that α α = αα w 2 and αα = α αw 3, (xiv) z 1 and z 2 A such that α α = αz 1 α and αα = α z 2 α, (xv) h 1 A 1 such that α α = αh 1 h 1α, (xvi) h 2 A such that h 0 2 = 0 and α α = αh 2 h 2 α, (xii) h 3 A such that h 3 A = A and α α = αh 3 h 3 α w 1. Note that in [10] it is deduced (Theorem 4.1, p.6) the well known result that selfadjoint C -elements are EP.
27 108 Sotirios Karanasios Mosić and Djordjević in two recent papers [28],[29] defined and studied weighted-ep elements in C -algebras. In [28], sixty six equivalent conditions for a regular element α A, where A is a unital C -algebra, to be weighted-ep, are given. These conditions are based on analogous conditions for weighted-ep complex square matrices which have been studied by Tian and Wang in [36]. In [29], weighted-ep elements in C -algebras in terms of factorizations following the motivations of the papers [3], [9] and [11], are studied. For completeness we will give the definition of weighted-ep element and of the weighted Moore-Penrose inverse and we will present all these results in the sequel. Definition Let A be a unital C -algebra. (i) An element α A is said to be weighted-ep with respect to two invertible positive elements e,f A (or weighted-ep w.r.t. (e,f)) if both eα and αf 1 are EP, that is α is regular, eαa = (eα) A, and αf 1 A = (αf 1 ) A. (ii) The element α A has the weighted MP-inverse with weights e and f if there exists b A such that αbα = α, bαb = b, (eαb) = eαb, (fbα) = fbα. The unique weighted MP-inverse with weights e and f will be denoted by α e,f Wealsoneedthedefinitionofthefollowingmapping: x x e,f = e 1 x f, for all x A. Notice that this map is not an involution, because in general (xy) e,f y e,f x e,f. Theorem 6.15 ([28], Th. 2.2, p and Cor. 2.3, p. 929). Let A be a unital C -algebra, and let e and f be invertible positive elements in A. If α A is regular, then the following statements are equivalent: 1. α is weighted-ep w.r.t. (e,f), 2. α is weighted-ep w.r.t. (f, e), 3. α is both weighted-ep w.r.t. (e,e) and (f,f), 4. eαa = fαa = α A, 5. e 1 α A = f 1 α A = αa, 6. α e,f A = αa and (α e,f ) A = α A, 7. α is weighted-ep w.r.t. (e 1,f 1 ), 8. αα e,f = α e,f α, 9. α A and α k = α e,f ααk = α k αα e,f, for any/some integer k 1, 10. α e,f = α(α e,f )2 = (α e,f )2 α,
28 EP elements in rings, semigroups, with involution and in C -algebras α A and α = α e,f, 12. α A and both eαα and fαα are Hermitian, 13. α A and α α e,f = α e,f α, 14. α A and αα α e,f = α e,f α α, 15. α α e,f A 1 A 1 α e,f, 16. α α e,f A Aα e,f, 17. αa 1 = f 1 α A 1 and A 1 α = A 1 α e, 18. A 1 α = A 1 αf 1 and α A 1 = eαa 1, 19. x A such that α = e 1 α xα f, 20. α = (αe 1 ) αe 1 αfα(fα), 21. α A and α k is weighted-ep w.r.t. (e,f), for any/some integer k 1, 22. αα α is weighted-ep w.r.t. (e,f), 23. α 0 = [(eα) ] 0 and (α ) 0 = (αf 1 ) 0, 24. A = e 1 α A (α ) 0 = α A (α f) 0, 25. α is weighted-ep w.r.t. (e 1,f 1 ), 26. α e,f is weighted-ep w.r.t. (e,f), 27. α A and α 2k 1 = α e,f α2k+1 α e,f, for any/some integer k 1, 28. α A and αα e,f α e,f α = α e,f ααα e,f, 29. α A and α is weighted-ep w.r.t. (e,f), 30. α A and αα = αα e,e = αα f,f (or αα = α e,eα = α f,f α), 31. α A and αα = αα e,f = αα f,e (or αα = α f,e α = α e,f α), 32. α A, αα e,ee 1 α α = e 1 α ααα e,e and αα f,f f 1 α α = f 1 α ααα f,f, 33. α A, αα e,f e 1 α α = e 1 α ααα e,f and αα f,e f 1 α α = f 1 α ααα f,e, 34. α A, α e,e ααα e = αα eα e,e α and α f,f ααα f = αα fα f,f α, 35. α A, α f,e ααα e = αα eα f,e α and α e,f ααα f = αα fα e,f α, 36. α A and α k αα e,f +α e,f ααk = 2α k for any/some integer k 1, 37. α A and α e,f α α+αα α e,f = 2α e,f,
29 110 Sotirios Karanasios 38. α A and α e,f = α e,f αα = α αα e,f, 39. α A and α e,f αα +α αα e,f = 2α e,f, 40. α A and α k αα e,f +(αk αα e,f ) = α e,f ααk +(α e,f ααk ) = α k +(α k ), for any/some integer k 1, 41. αα e,f (α+λα e,f ) = (α+λα e,f )αα e,f and α e,f α(α+λα e,f ) = (α+λα e,f )α e,fα, for any/some complex number λ 0, 42. αb = bα α e,f b = bα e,f, 43. α e,f = ϕ(α), for some function ϕ holomorphic in a neighborhood of σ(α), 44. (α+λα e,e )A = (α+λα f,f )A = (λα+α3 )A and A(α+λα e,e ) = (α+λα f,f ) = A(λα+α3 ), for any/some complex number λ 0, 45. (α+λα e,f )A = (λα+α3 )A and A(α+λα e,f ) = A(λα+α3 ), for any/some complex number λ 0, 46. (α+λα e,e )0 = (α+λα f,f )0 = (λα+α 3 ) 0 and 0 (α+λα e,e ) = 0 (α+λα f,f ) =0 (λα+α 3 ), for any/some complex number λ 0, 47. (α+λα e,f )0 = (λα+α 3 ) 0 and 0 (α+λα f,e ) = 0 (λα+α 3 ), for any/some complex number λ 0, 48. α A and (α e,f )2 α = α e,f α α e,f = α (α e,f )2, 49. α A and α(α e,f )2 = α = (α e,f )2 α, 50. α A, α f,e α e,f = α f,e α and α e,f α f,e = α α f,e, 51. α A and (α e,f )2 = (α ) 2, 52. α e,f = α e,f α e,f α = αα e,f α e,f, 53. α A and (α ) e,f = αα (α ) e,f = (α ) e,f α α (or (α ) e,f = αα (α ) e,f = (α ) e,f α α), 54. α A and α e,f (α ) 2 = (α ) 2 α e,f, 55. α A and α k α e,f = α e,f αk, for any/some integer k 1, 56. αα e,f (α+λα e,f ) = (α+λα e,f )αα e,f and α e,f α(α+λα e,f ) = (α+λα e,f )α e,fα, for any/some complex number λ 0,
30 EP elements in rings, semigroups, with involution and in C -algebras α A, αα e,e(αα e e 1 α α) = (αα e e 1 α α)αα e,e and αα f,f (αα f f 1 α α) = (αα f f 1 α α)αα f,f, 58. α A, αα e,f (αα e e 1 α α) = (αα e e 1 α α)αα e,f and αα f,e (αα f f 1 α α) = (αα f f 1 α α)αα f,e, 59. α A, α e,e α(αα e e 1 α α) = (αα e e 1 α α)α e,e α and α f,f α(αα f f 1 α α) = (αα f f 1 α α)α f,f α, 60. α A, α f,e α(αα e e 1 α α) = (αα e e 1 α α)α f,e α and α e,f α(αα f f 1 α α) = (αα f f 1 α α)α e,f α, 61. α A and (a s+t ) = (α s ) e,1 (αt ) 1,e = (αs ) f,1 (αt ) 1,f, for any/some integers s,t 1, 62. α A and (a s+t ) e,f = (αs ) f,f (αt ) e,f = (αs ) e,f (αt ) e,e, for any/some integers 63. α f,e A = α e,f A = αa (or α f,e A = αa and Aα f,e = Aα, 64. (α f,e ) 0 = α 0 and 0 (α f,e ) = 0 α, 65. αa 1 = α f,e A 1 and A 1 α = A 1 α f,e, 66. A 1 α = A 1 (α f,e ) and α A 1 = (α f,e ) A 1 In the next theorem, weighted-ep elements through the factorizations α = bα e,f, α f,e = sα and α = e 1 ucvf, are characterized. Theorem 6.16 ([29], Theorems 2.1, 3.1, 3.2, 4.1, p ). Let A be a unital C -algebra, and let e and f be invertible positive elements in A. If α A is regular, then the following statements are equivalent: 1. α is weighted EP w.r.t. (e,f), 2. α = bα f,e = α f,e c for some b,c A, 3. α f,e α = b 1 α f,e = αc 1 and αα f,e = α f,e b 2 = c 2 α for some b 1,b 2,c 1,c 2 A, 4. α f,e α = b 3 α e,f, αα f,e = α e,f b 4 and α e,f = c 3α = αc 4 for some b 3,b 4,c 3,c 4 A, 5. s,t A : s 0 = 0 t = {0} and α f,e = sα = αt,
31 112 Sotirios Karanasios 6. s 1,s 2,t 1,t 2 A : α f,e = s 1 α = αt 1 and α = s 2 α f,e = α f,e t 2, 7. u,v A : ua = A = Av and α f,e = αu = vα, 8. x,y A 1 : α f,e α = xαα f,e = αα f,e y, 9. x 1,y 1 A : x 0 1 = 0 y 1 = {0} and α f,e α = x 1 αα f,e = αα f,e y 1, 10. x 2,y 2 A : Ax 2 = A = y 2 A and α f,e α = x 2 αα f,e = αα f,e y 2, 11. x 3,x 4,y 3,y 4 A : α f,e α = x 3 αα f,e = αα f,e y 3 and αα f,e = x 4 α f,e α = α f,e αy 4, 12. z 1,z 2 A : α f,e α = αz 1 α f,e and αα f,e = α f,e z 2 α, 13. g 1,h 1 A 1 : α f,e α = αh 1 h f,e 1 α f,f and αα f,e = α e,f g f,f 1 g 1 α, 14. g 2,h 2 A : g2 0 = 0 h 2 = {0}, α f,e α = αh 2 h e,f 2 α f,f and αα f,e = α e,f g f,f 2 g 2 α, 15. g 3,h 3 A : Ag 3 = A = h 3 A, α f,e α = αh 3 h e,f 3 α f,f and αα f,e = α e,f g f,f 3 g 3 α, 16. s,t A : s 0 = 0 t = {0} and α e,f = sα = αt, 17. s 1,s 2,t 1,t 2 A : α e,f = s 1α = αt 1 and α = s 2 α e,f = α e,f t 2, 18. u,v A : ua = A = Av and α e,f = αu = vα, 19. x,y A 1 : α e,f α = xαα e,f = αα e,f y, 20. x 1,y 1 A : x 0 1 = 0 y 1 = {0} and α e,f α = x 1αα e,f = αα e,f y 1, 21. x 2,y 2 A : Ax 2 = A = y 2 A and α e,f α = x 2αα e,f = αα e,f y 2, 22. x 3,x 4,y 3,y 4 A : α e,f α = x 3αα e,f = αα e,f y 3 and αα e,f = x 4α e,f α = α e,f αy 4, 23. z 1,z 2 A : α e,f α = αz 1α e,f and αα e,f = α e,f z 2α, 24. c,d,u,v A : α = e 1 ucvf = e 1 fv d u e 1 f, va = A = Au, ca = da and Ac = Ad, 25. c,d,u,v A : α = e 1 ucvf = e 1 fv d u e 1 f, u 0 = {0} = 0 v, c 0 = d 0 and 0 c = 0 d, 26. c,d,u,v A : α = e 1 ucvf, α e,f = e 1 udvf, va = A = Au, ca = da and Ac = Ad, 27. c,d,u,v A : α = e 1 ucvf, α e,f = e 1 udvf, u 0 = {0} = 0 v, c 0 = d 0
32 EP elements in rings, semigroups, with involution and in C -algebras 113 and 0 c = 0 d, 28. c,d,u,v A : α f,e α = ucv, αα f,e = udv, va = A = Au, ca = da and Ac = Ad, 29. c,d,u,v A : α f,e α = ucv, αα f,e = udv, u 0 = {0} = 0 v, c 0 = d 0 and 0 c = 0 d. Characterizations of weighted-ep elements in terms of the factorization of α A of the form (4) α = bc, f 1 b A = A = ca where b,c,f A and f is a positive and invertible element, are included in the following Theorem 6.17 ([29], Th. 5.1 p. 5389). Let e,f,h be invertible positive elements in A. If α A has a factorization (4) then α is regular and the following conditions are equivalent 1. α is weighted EP w.r.t. (e,h), 2. bb e,f = c f,h c, 3. c 0 = [(eb) ] 0 and (b ) 0 = (ch 1 ) 0, 4. 0 c = 0 (eb) and 0 b = 0 (h 1 c ), 5. c A = eba and ba = h 1 c A, 6. Ac = Ab e and Ab = Ach 1, 7. u A 1 : c = ub e,f and b = c f,h u, 8. x,y A 1 : c = xb e and b ych 1, 9. A 1 c = A 1 b e and A 1 b = A 1 ch 1, 10. c A 1 = eba 1 and ba 1 = h 1 c A 1, 11. x,y A : x 0 = y 0 = {0}, c = xb e and b = ych 1, 12. x,x 1,y,y 1 A : c = xb e, b e = x 1 c, b = ych 1 and ch 1 = y 1 b, 13. x,y A : xa = ya = A, c = ebx and b = h 1 c y, 14. α h 1 c A Ab e(or α c f,h A Ab e,f ), 15. α e,h ba Ac, 16. b(b eb) 1 b e = h 1 c (ch 1 c ) 1 c,
2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραCongruence Classes of Invertible Matrices of Order 3 over F 2
International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραReminders: linear functions
Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U
Διαβάστε περισσότεραHomomorphism in Intuitionistic Fuzzy Automata
International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic
Διαβάστε περισσότεραA Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Διαβάστε περισσότεραNowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραLecture 13 - Root Space Decomposition II
Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).
Διαβάστε περισσότερα2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
Διαβάστε περισσότεραCommutative Monoids in Intuitionistic Fuzzy Sets
Commutative Monoids in Intuitionistic Fuzzy Sets S K Mala #1, Dr. MM Shanmugapriya *2 1 PhD Scholar in Mathematics, Karpagam University, Coimbatore, Tamilnadu- 641021 Assistant Professor of Mathematics,
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραJ. of Math. (PRC) Banach, , X = N(T ) R(T + ), Y = R(T ) N(T + ). Vol. 37 ( 2017 ) No. 5
Vol. 37 ( 2017 ) No. 5 J. of Math. (PRC) 1,2, 1, 1 (1., 225002) (2., 225009) :. I +AT +, T + = T + (I +AT + ) 1, T +. Banach Hilbert Moore-Penrose.. : ; ; Moore-Penrose ; ; MR(2010) : 47L05; 46A32 : O177.2
Διαβάστε περισσότεραMINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS
MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότεραGenerating Set of the Complete Semigroups of Binary Relations
Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze
Διαβάστε περισσότεραHomomorphism of Intuitionistic Fuzzy Groups
International Mathematical Forum, Vol. 6, 20, no. 64, 369-378 Homomorphism o Intuitionistic Fuzz Groups P. K. Sharma Department o Mathematics, D..V. College Jalandhar Cit, Punjab, India pksharma@davjalandhar.com
Διαβάστε περισσότερα1. Introduction and Preliminaries.
Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.yu/filomat Filomat 22:1 (2008), 97 106 ON δ SETS IN γ SPACES V. Renuka Devi and D. Sivaraj Abstract We
Διαβάστε περισσότεραLecture 15 - Root System Axiomatics
Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the
Διαβάστε περισσότερα5. Choice under Uncertainty
5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραQuadratic Expressions
Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότεραSome new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.
Bol. Soc. Paran. Mat. (3s.) v. 30 2 (2012): 71 77. c SPM ISSN-2175-1188 on line ISSN-00378712 in press SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v30i2.13793 Some new generalized topologies via hereditary
Διαβάστε περισσότεραProblem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραSCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018
Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότεραDIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS
GANIT J. Bangladesh Math. oc. IN 606-694) 0) -7 DIRECT PRODUCT AND WREATH PRODUCT OF TRANFORMATION EMIGROUP ubrata Majumdar, * Kalyan Kumar Dey and Mohd. Altab Hossain Department of Mathematics University
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραSOME PROPERTIES OF FUZZY REAL NUMBERS
Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical
Διαβάστε περισσότερα6.3 Forecasting ARMA processes
122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear
Διαβάστε περισσότεραCRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Διαβάστε περισσότεραUniform Convergence of Fourier Series Michael Taylor
Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula
Διαβάστε περισσότεραJordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp
Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp.115-126. α, β, γ ORTHOGONALITY ABDALLA TALLAFHA Abstract. Orthogonality in inner product spaces can be expresed using the notion of norms.
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραarxiv: v1 [math.ct] 26 Dec 2016
arxiv:1612.09482v1 [math.ct] 26 Dec 2016 Core and Dual Core Inverses of a Sum of Morphisms Tingting Li, Jianlong Chen, Sanzhang Xu Department of Mathematics, Southeast University Nanjing 210096, China
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότερα12. Radon-Nikodym Theorem
Tutorial 12: Radon-Nikodym Theorem 1 12. Radon-Nikodym Theorem In the following, (Ω, F) is an arbitrary measurable space. Definition 96 Let μ and ν be two (possibly complex) measures on (Ω, F). We say
Διαβάστε περισσότεραNew bounds for spherical two-distance sets and equiangular lines
New bounds for spherical two-distance sets and equiangular lines Michigan State University Oct 8-31, 016 Anhui University Definition If X = {x 1, x,, x N } S n 1 (unit sphere in R n ) and x i, x j = a
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραMath 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.
Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:
Διαβάστε περισσότεραORDINAL ARITHMETIC JULIAN J. SCHLÖDER
ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.
Διαβάστε περισσότεραTHE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano
235 Kragujevac J. Math. 30 (2007) 235 242. THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS Daniel A. Romano Department of Mathematics and Informatics, Banja Luka University, Mladena Stojanovića
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Διαβάστε περισσότεραSpace-Time Symmetries
Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a
Διαβάστε περισσότεραJesse Maassen and Mark Lundstrom Purdue University November 25, 2013
Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering
Διαβάστε περισσότεραF A S C I C U L I M A T H E M A T I C I
F A S C I C U L I M A T H E M A T I C I Nr 46 2011 C. Carpintero, N. Rajesh and E. Rosas ON A CLASS OF (γ, γ )-PREOPEN SETS IN A TOPOLOGICAL SPACE Abstract. In this paper we have introduced the concept
Διαβάστε περισσότερα6.1. Dirac Equation. Hamiltonian. Dirac Eq.
6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2
Διαβάστε περισσότερα( ) 2 and compare to M.
Problems and Solutions for Section 4.2 4.9 through 4.33) 4.9 Calculate the square root of the matrix 3!0 M!0 8 Hint: Let M / 2 a!b ; calculate M / 2!b c ) 2 and compare to M. Solution: Given: 3!0 M!0 8
Διαβάστε περισσότεραChapter 3: Ordinal Numbers
Chapter 3: Ordinal Numbers There are two kinds of number.. Ordinal numbers (0th), st, 2nd, 3rd, 4th, 5th,..., ω, ω +,... ω2, ω2+,... ω 2... answers to the question What position is... in a sequence? What
Διαβάστε περισσότεραSolutions to Exercise Sheet 5
Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X
Διαβάστε περισσότεραOn a four-dimensional hyperbolic manifold with finite volume
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραAbstract Storage Devices
Abstract Storage Devices Robert König Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009 Outline 1. Motivation: Storage Devices 2. Abstract Storage Devices (ASD s) 3. Reducibility 4. Factoring ASD
Διαβάστε περισσότεραBounding Nonsplitting Enumeration Degrees
Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,
Διαβάστε περισσότεραCoefficient Inequalities for a New Subclass of K-uniformly Convex Functions
International Journal of Computational Science and Mathematics. ISSN 0974-89 Volume, Number (00), pp. 67--75 International Research Publication House http://www.irphouse.com Coefficient Inequalities for
Διαβάστε περισσότεραIntuitionistic Fuzzy Ideals of Near Rings
International Mathematical Forum, Vol. 7, 202, no. 6, 769-776 Intuitionistic Fuzzy Ideals of Near Rings P. K. Sharma P.G. Department of Mathematics D.A.V. College Jalandhar city, Punjab, India pksharma@davjalandhar.com
Διαβάστε περισσότεραGeneral 2 2 PT -Symmetric Matrices and Jordan Blocks 1
General 2 2 PT -Symmetric Matrices and Jordan Blocks 1 Qing-hai Wang National University of Singapore Quantum Physics with Non-Hermitian Operators Max-Planck-Institut für Physik komplexer Systeme Dresden,
Διαβάστε περισσότεραTMA4115 Matematikk 3
TMA4115 Matematikk 3 Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet Trondheim Spring 2010 Lecture 12: Mathematics Marvellous Matrices Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet
Διαβάστε περισσότεραarxiv: v1 [math.ra] 19 Dec 2017
TWO-DIMENSIONAL LEFT RIGHT UNITAL ALGEBRAS OVER ALGEBRAICALLY CLOSED FIELDS AND R HAHMED UBEKBAEV IRAKHIMOV 3 arxiv:7673v [mathra] 9 Dec 7 Department of Math Faculty of Science UPM Selangor Malaysia &
Διαβάστε περισσότεραCyclic or elementary abelian Covers of K 4
Cyclic or elementary abelian Covers of K 4 Yan-Quan Feng Mathematics, Beijing Jiaotong University Beijing 100044, P.R. China Summer School, Rogla, Slovenian 2011-06 Outline 1 Question 2 Main results 3
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραOn the Galois Group of Linear Difference-Differential Equations
On the Galois Group of Linear Difference-Differential Equations Ruyong Feng KLMM, Chinese Academy of Sciences, China Ruyong Feng (KLMM, CAS) Galois Group 1 / 19 Contents 1 Basic Notations and Concepts
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραThe strong semilattice of π-groups
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 3, 2018, 589-597 ISSN 1307-5543 www.ejpam.com Published by New York Business Global The strong semilattice of π-groups Jiangang Zhang 1,, Yuhui
Διαβάστε περισσότεραConcrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
Διαβάστε περισσότεραA General Note on δ-quasi Monotone and Increasing Sequence
International Mathematical Forum, 4, 2009, no. 3, 143-149 A General Note on δ-quasi Monotone and Increasing Sequence Santosh Kr. Saxena H. N. 419, Jawaharpuri, Badaun, U.P., India Presently working in
Διαβάστε περισσότεραTakeaki Yamazaki (Toyo Univ.) 山崎丈明 ( 東洋大学 ) Oct. 24, RIMS
Takeaki Yamazaki (Toyo Univ.) 山崎丈明 ( 東洋大学 ) Oct. 24, 2017 @ RIMS Contents Introduction Generalized Karcher equation Ando-Hiai inequalities Problem Introduction PP: The set of all positive definite operators
Διαβάστε περισσότεραSEMIGROUP ACTIONS ON ORDERED GROUPOIDS. 1. Introduction and prerequisites
ao DOI: 10.2478/s12175-012-0080-3 Math. Slovaca 63 (2013), No. 1, 41 52 SEMIGROUP ACTIONS ON ORDERED GROUPOIDS Niovi Kehayopulu* Michael Tsingelis** (Communicated by Miroslav Ploščica ) ABSTRACT. In this
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Ολοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα είναι μικρότεροι το 1000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Διάρκεια: 3,5 ώρες Καλή
Διαβάστε περισσότεραω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω
0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +
Διαβάστε περισσότεραSequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008
Sequent Calculi for the Modal µ-calculus over S5 Luca Alberucci, University of Berne Logic Colloquium Berne, July 4th 2008 Introduction Koz: Axiomatisation for the modal µ-calculus over K Axioms: All classical
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραw o = R 1 p. (1) R = p =. = 1
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:
Διαβάστε περισσότεραStrain gauge and rosettes
Strain gauge and rosettes Introduction A strain gauge is a device which is used to measure strain (deformation) on an object subjected to forces. Strain can be measured using various types of devices classified
Διαβάστε περισσότεραSOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr T t N n) Pr max X 1,..., X N ) t N n) Pr max
Διαβάστε περισσότεραUNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition
UNIT - I LINEAR ALGEBRA Definition Vector Space : A non-empty set V is said to be vector space over the field F. If V is an abelian group under addition and if for every α, β F, ν, ν 2 V, such that αν
Διαβάστε περισσότεραFourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)
Διαβάστε περισσότεραA Note on Characterization of Intuitionistic Fuzzy Ideals in Γ- Near-Rings
International Journal of Computational Science and Mathematics. ISSN 0974-3189 Volume 3, Number 1 (2011), pp. 61-71 International Research Publication House http://www.irphouse.com A Note on Characterization
Διαβάστε περισσότερα( y) Partial Differential Equations
Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate
Διαβάστε περισσότερα= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y
Stat 50 Homework Solutions Spring 005. (a λ λ λ 44 (b trace( λ + λ + λ 0 (c V (e x e e λ e e λ e (λ e by definition, the eigenvector e has the properties e λ e and e e. (d λ e e + λ e e + λ e e 8 6 4 4
Διαβάστε περισσότεραLecture 10 - Representation Theory III: Theory of Weights
Lecture 10 - Representation Theory III: Theory of Weights February 18, 2012 1 Terminology One assumes a base = {α i } i has been chosen. Then a weight Λ with non-negative integral Dynkin coefficients Λ
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραdim(u) = n 1 and {v j } j i
SOLUTIONS Math B4900 Homework 1 2/7/2018 Unless otherwise specified, U, V, and W denote vector spaces over a common field F ; ϕ and ψ denote linear transformations; A, B, and C denote bases; A, B, and
Διαβάστε περισσότεραLecture 21: Properties and robustness of LSE
Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem
Διαβάστε περισσότερα