Ronalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X.
|
|
- Annabelle Allen
- 5 years ago
- Views:
Transcription
1 Group inverses in a Banach algebra Ronalda Benjamin Talk given in mathematics postgraduate seminar at Stellenbosch University on 27th February 2012 Abstract Let A be a Banach algebra. An element a A is said to be group invertible if there exists an element b A such that ab = ba, b = bab and a = aba. It should be noted that this concept makes sense even if we only had an algebra with identity. For the purpose of the talk I wanted to work in one algebraic structure, namely a Banach algebra. Observe from the definition of a group inverse that if a A 1, then b = a 1 trivially satisfies the three conditions; hence group invertibility is a generalization of invertibility. In this talk we discussed basic properties like the existence and uniqueness of a group inverse and the spectrum of a group invertible element. The main part of the talk, however, was to present continuity results for group inversion in a Banach algebra. Preliminaries Definition A normed space is a vector space X with a norm defined on it. Here, a norm on a complex vector space X is a real-valued function on X whose value is denoted by x and which has the properties (a) x 0 (b) x = 0 x = 0 (c) αx = α x (d) x + y x + y for all x, y in X and α C. Definition A normed space X is complete if every Cauchy sequence in X converges in X. Definition A complete normed space is called a Banach space. 1
2 Definition An algebra is a vector space A over a field K such that for each ordered pair of elements x, y A, a unique product xy A is defined satisfying the properties (a) x(yz) = (xy)z (b) (x + y)z = xz + yz (c) x(y + z) = xy + xz (d) λ(xy) = (λx)y = x(λy) for all x, y, z in A and λ C. If K = R then A is said to be a real algebra, whereas if K = C then A is called a complex algebra. If the multiplication is commutative, that is, for all x, y A xy = yx, then A is called a commutative algebra. Definition If A is an algebra over C which is also a Banach space and the algebra multiplication and Banach space norm satisfies the norm inequality xy x y for all x, y A and 1 = 1 where 1 is the identity of A, then we say that A is a Banach algebra. Examples of Banach algebras: Let K be a compact set of C. Then C(K), the vector space of all complex continuous functions on K is a Banach algebra with: Multiplication: (xy)(t) = x(t)y(t) Norm: x = sup{ x(t) : t K} Identity: 1(t) = 1. Let X be a Banach space. Then L(X), the vector space of all bounded linear operators on X, is a Banach algebra with: Multiplication: (ST )x = S(T x) T (x) Norm: T = sup{ : 0 x X} x Identity: 1(x) = x. Definition Let A be a Banach algebra. An element a A is nilpotent if there exists a positive integer n such that a n = 0. Definition Let A be a Banach algebra. An element a A is an idempotent if it satisfies p 2 = p. 2
3 Theorem 1 Let A be a Banach algebra. If x A satisfies x < 1, then 1 x A 1 and we have that (1 x) 1 = x k. k=0 Definition Let A be a Banach algebra. The spectrum σ A (a) of an element a A is defined as follows: σ A (a) := {λ C : λ1 a / A 1 } Examples of the spectrum of a Banach algebra element include: Consider the Banach algebra C[a, b]. Then x C[a, b] has σ C[a,b] (x) = x[a, b]. Consider the Banach algebra M n (C). Then a M n (C) has σ Mn(C)(a) = {λ : λ is an eigenvalue of a} A very important property of σ A (a) is that it is non-empty and compact, that is, σ A (a) is a closed and bounded subset of C. The algebra of all complex valued functions f, defined and holomorphic on an open set Ω C, is denoted by H(Ω). Theorem 2 Let A be a Banach algebra and a A. Suppose that Ω is an open set containing σ A (a) and that Γ is a smooth contour included in Ω and surounding σ A (a). Then the mapping from H(Ω) into A, defined by f f(a) = 1 f(λ)(λ1 2πi Γ a) 1 dλ, has the following properties: (1) (f 1 + f 2 )(a) = f 1 (a) + f 2 (a), (2) (f 1.f 2 )(a) = f 1 (a).f 2 (a), (3) 1(a) = 1 and I(a) = a, where I is the identity function on C, (4) If (f n ) converges to f uniformly on all compact subsets of Ω, then f(a) = lim n f n (a) and (5) σ(f(a)) = f(σ(a)). Number (5) above is called the spectral mapping theorem. 3
4 Theorem 3 Let A be a Banach algebra. Suppose that a A has a disconnected spectrum. Let U 0 and U 1 be two disjoint open sets such that σ A (a) U 0 U 1, σ A (a) U 1 and σ A (a) U 0. Then there exists a non-trivial idempotent p commuting with a, such that σ A (pa) = (σ A (a) U 1 ) {0} and σ A (a pa) = (σ A (a) U 0 ) {0}. Moreover, p = f(a), where { 0 if λ U0 f(λ) = 1 if λ U 1. We call p in Theorem 3 the spectral idempotent of a. Uniqueness and existence of group inverses Definition Let A be a Banach algebra. An element a A is said to be group invertible if there exists an element b A such that: ab = ba b = bab a = aba We call b a group inverse of a. It is obvious that if b is a group inverse of a, then a is a group inverse of b, that is, group inverses are symmetric. It is also clear from the definition of a group inverse that every idempotent is group invertible with itself as a group inverse. Let A g denote the set of group invertible elements of a Banach algebra A. It is easy to verify that the equations in the Definition above hold when a is invertible (b = a 1 ); hence, A 1 A g. The inclusion is strict since 0 A g, but 0 / A 1. Lemma 4 Let A be a Banach algebra and a, b A. (1) If a is group invertible with group inverse b, then a k is group invertible 4
5 with group inverse b k. (2) If a is group invertible with group inverse b, then ab is an idempotent. (1) Since a and b commute, we have that a k b k = (ab) k = (ba) k = b k a k, b k a k b k = (bab) k = b k and a k b k a k = (aba) k = a k. Hence b k is a group inverse of a k. (2) Using the fact that bab = b, we have that (ab) 2 = a(bab) = ab. Since group invertibility is a generalization of invertibility, it is natural to ask whether certain results available for invertibility also hold for group invertibility. It is well known that inverses are unique provided they exist. In the next result we show that this fact is also true for group inverses. Proposition 5 Let A be a Banach algebra. An element in A g can have at most one group inverse. Let a be group invertible with group inverses b and c. Then, using Lemma 4(2) and the fact that both b and c commute with a, we have that and b = bab = b 2 a = b 2 aca = b 2 a(ca) 2 = b 2 ac 2 a 2 = b 2 a 3 c 2 c = cac = ac 2 = abac 2 = (ab) 2 ac 2 = a 2 b 2 ac 2 = b 2 a 3 c 2. Hence b = c. The group inverse of a Banach algebra element a will be denoted by a g. Our next concern is the existence of a group inverse of a Banach algebra element. We observe that, for an arbitrary Banach algebra A, we do not have that A = A g, that is, not every element is group invertible. For instance, if we consider the Banach algebra C[0, 1] and a C[0, 1], defined by a(x) = x for x [0, 1], then this fact can be easily seen from a result we will prove later on (Lemma 9). This lemma describes the spectrum of a group invertible element. In our next result we address the problem of developing conditions for the existence of a group inverse in a Banach algebra. Lemma 6 Let A be a Banach algebra. An element a A is group invertible 5
6 if and only if there exists an idempotent p A such that ap = pa, a + p is invertible and ap = 0. (0.1) If the conditions in (0.1) are satisfied, then a g = (a + p) 1 (1 p). Suppose that a A is group invertible with a g = b. Let p = 1 ba. Then by Lemma 4(2), p is an idempotent. We also have that ap = pa, pb = bp and ap = 0 = pb. So it follows that (a + p)(b + p) = ab + ap + pb + p 2 = ab + p = 1. Hence a + p is invertible with (a + p) 1 = b + p. Conversely, suppose that the conditions in (0.1) hold. We show that b = (a + p) 1 (1 p) is the group inverse of a : Since ap = pa we have that ba = (a + p) 1 (1 p)a = a(a + p) 1 (1 p) = ab. Using the fact that p(1 p) = 0, it follows that (a + p)(1 p) = a(1 p). Hence and bab = [(a + p) 1 (1 p)]a[(a + p) 1 (1 p)] = (a + p) 1 (1 p)(a + p) 1 a(1 p) = (a + p) 2 (1 p)a = [(a + p) 2 (1 p)](a + p) = (a + p) 1 (1 p) = b aba = a[(a + p) 1 (1 p)]a = (a + p)[(a + p) 1 (1 p)]a = (1 p)a = a. Corollary 7 Let A be a Banach algebra and a A g. The idempotent p satisfying (0.1) is unique. Suppose that a A g and that p 1 and p 2 satisfies (0.1). By Lemma 6, both (a + p 1 ) 1 (1 p 1 ) and (a + p 2 ) 1 (1 p 2 ) are group inverses of a. It then follows from Proposition 5 that (a + p 1 ) 1 (1 p 1 ) = (a + p 2 ) 1 (1 p 2 ), and hence (1 p 1 )(a + p 2 ) = (a + p 1 )(1 p 2 ). This gives a + p 2 ap 1 p 1 p 2 = a ap 2 + p 1 p 1 p 2. Using the fact that ap 1 = 0 = ap 2, we have that p 1 = p 2, 6
7 confirming the uniqueness. We call p in Lemma 6 the group idempotent of a. Corollary 8 Let A be a Banach algebra. If a A g, then the group idempotent is given by 1 a g a. Spectrum of a group invertible element We denote by iso σ(a) the set of all isolated spectral points of a. Lemma 9 Let A be a Banach algebra and a A g. Then either 0 / σ A (a) (i.e. a is invertible) or 0 iso σ A (a). If a = 0, then σ A (a) = {0}, and hence 0 is an isolated point of the spectrum. If a 0 is group invertible with a g = b, then b 0. Let λ C be such that 0 < λ < 1 ; that is λb < 1. By Theorem 1 we have that 1 λb is b invertible. Using simple algebraic arguments and the fact that b is the group inverse of a, we obtain that [(1 λb) 1 b 1λ ] (1 ba) (a λ1) = 1, so that a λ1 is invertible. Since λ / σ A (a) for all λ satisfying 0 < λ < 1, we have that σ b A(a) {0} {λ : λ 1 }. The result then follows. b A natural question would be whether the converse of Lemma 9 also holds, that is, if a Banach algebra element a is such that 0 iso σ A (a), can we conclude that a is group invertible? The answer is no in general and we provide the following example to illustrate this. Consider the Banach algebra M 2 (C). Let a = ( ). Then σm2 (C)(a) = {0}; hence 0 iso σ M2 (C)(a). But a is a nonzero nilpotent element; hence it is not group invertible. 7
8 Definition Let A be a Banach algebra. An element a A is quasinilpotent if σ A (a) = {0}. The set of all quasinilpotent elements in A will be denoted by QN(A). The radical of a Banach algebra A, denoted by Rad(A), is defined by Rad(A) = {x A : zx QN(A), for all z A}. If Rad(A) = {0}, then A is called semisimple. If a Banach algebra A is commutative, then Rad A = QN(A). The following proposition shows that in the case of semisimple commutative Banach algebras, the spectral condition in Lemma 9 is sufficient. The proof of the result requires knowledge on the holomorphic functional calculus (Theorems 2 and 4) which I did not discuss during my talk. Therefore, only for interest sake I included the proof. Proposition 10 Let A be a semisimple commutative Banach algebra. An element a A is group invertible if and only if 0 / σ A (a) (i.e. a is invertible) or 0 iso σ A (a). By Lemma 9, if a is group invertible, then 0 / σ A (a) or 0 iso σ A (a). Since a A 1 implies that a is group invertible, we are only left to show that 0 iso σ A (a) implies that a is group invertible. Let 0 iso σ A (a) and U 1 and U 0 be disjoint neighbourhoods containing {0} and σ A (a)\{0} respectively. Then U = U 0 U 1 is a neighbourhood containing σ A (a). Define f : U C as follows: { 0 if λ U0 f(λ) = 1 if λ U 1. By Theorem 3, p = f(a) is the spectral idempotent of a corresponding to 0. Moreover, p 0 and commutes with a. Let g(λ) = f(λ) + λ. Then { λ if λ U 0 g(λ) = 1 + λ if λ U 1. Moreover, g H(U) and g(σ A (a)) = {g(λ) : λ σ A (a)\{0}} {g(λ) : λ = 0} = σ A (a)\{0} {1}. 8
9 Hence 0 / g(σ A (a)) and by the spectral mapping theorem (Theorem 2(5)) it follows that 0 / σ A (g(a)), so that p + a = f(a) + a = g(a) A 1. Let h(λ) = λf(λ). Then { 0 if λ U0 h(λ) = λ if λ U 1. Moreover, h H(U) and h(a) = af(a) = ap. Since h(σ A (a)) = h[(σ A (a) U 1 ) (σ A (a) U 0 )] = h({0}) {0} = {0}, we have again by the spectral mapping theorem that σ A (ap) = σ A (h(a)) = h(σ A (a)) = {0}. Hence ap QN(A). Since A is semisimple and commutative, QN(A) = Rad(A) = {0}, that is ap = 0. By Lemma 6 we have that a is group invertible. Continuity of group inversion Group inversion refers to the map defined on A g, which maps a group invertible element to its group inverse. It is well known that inversion is continuous on A 1, so a natural question would be whether group inversion is continuous on A g. The answer is no in general and we provide the following example to illustrate this. Consider the Banach algebra M 2 (C). For n N, let ( 1 1 a n = + 1 ) n 1 0 n and a = ( ) Since det a n 0, we have that all a n are invertible and hence group invertible with ( ) 1 (1 + n) a g n = a 1 n =. 0 n 9
10 We also have that, since a is idempotent, a is group invertible with group inverse itself. It is clear that a n a as n, but (a g n) does not converge to a g, infact (a g n) diverges. We continue by providing the following criteria to obtain continuity of group inversion. Lemma 11 Let A be a Banach algebra and (a n ) a convergent sequence in A with limit a such that every a n and a are group invertible. Then the group inverses of a n converge to the group inverse of a if and only if the group idempotents of a n converge to the group idempotent of a. Suppose that b n and b are the group inverses of a n and a respectively and that b n b as n. By using Lemma 6 and Corollaries 7 and 8, we have that p n = 1 b n a n and p = 1 ba are the group idempotents of a n and a respectively. It now follows that lim p n = lim (1 b n a n ) = 1 ba = p. n n Conversely, suppose that p n and p are the group idempotents of a n and a respectively and that p n p as n. Using Lemma 6 again, we have that b n = (a n + p n ) 1 (1 p n ) and b = (a + p) 1 (1 p) are the corresponding group inverses of a n and a. The result then follows from the fact that a n a, p n p and the continuity of inversion. We introduce the next concept and use it to state another characterization for continuity of group inversion. Definition Let A be a Banach algebra and p and q idempotents in A. If there exists an invertible element c A such that q = c 1 pc, then p and q are similar and we write p q. Lemma 12 Let A be a Banach algebra and p and q idempotents in A such that p q < 2p 1 1. Then p q. Suppose that p and q are idempotents in A satisfying p q < 2p 1 1. Observe that the element 2p 1 is invertible with inverse itself. By assumption we have that (2p 1) 1 (q p) (2p 1) 1 q p < 2p 1 2p 1 1 = 1, and hence 1 + (2p 1) 1 (q p) is invertible by Theorem. Let c := p + q 1. 10
11 It then follows that c = (2p 1) + (q p) = (2p 1)[1 + (2p 1) 1 (q p)] is also invertible. Now, pc = p(p + q 1) = p + pq p = pq = pq + q q = (p + q 1)q = cq, that is, q = c 1 pc; hence p q. The algebra pap is defined by pap = {pap : a A}. We state the following result without proof. Theorem 13 Let A be a Banach algebra, (a n ) A a convergent sequence with limit a A, and suppose all a n and a are group invertible with corresponding group idempotents p n and p. Also assume that pap is a finite dimensional algebra. Then the following statements are equivalent: (a) the group inverses of a n converge to the group inverse of a (b) the group idempotents p n of a n are similar to the group idempotent p of a. Group inverses has various applications, especially the group inverse of a square matrix. An important application of the group inverse of a sqaure matrix is in the study of finite Markov chains. References [1] S. Roch and B. Silbermann: Continuity of generalized inverses in Banach algebras. Studia Math. 136 (1999),
Continuity of Drazin and generalized Drazin inversion in Banach algebras
Continuity of Drazin and generalized Drazin inversion in Banach algebras by Ronalda Abigail Marsha Benjamin Thesis presented in partial fulfilment of the requirements for the degree of Master of Science
More information9. Banach algebras and C -algebras
matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis Based on parts of Chapter 10 and parts of Chapter
More informationNote on paranormal operators and operator equations ABA = A 2 and BAB = B 2
Note on paranormal operators and operator equations ABA = A 2 and BAB = B 2 Il Ju An* Eungil Ko PDE and Functional Analysis Research Center (PARC) Seoul National University Seoul, Korea ICM Satellite Conference
More informationGeneralized B-Fredholm Banach algebra elements
Generalized B-Fredholm Banach algebra elements Miloš D. Cvetković, Enrico Boasso, Snežana Č. Živković-Zlatanović Abstract Given a (not necessarily continuous) homomorphism between Banach algebras T : A
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationMoore Penrose inverses and commuting elements of C -algebras
Moore Penrose inverses and commuting elements of C -algebras Julio Benítez Abstract Let a be an element of a C -algebra A satisfying aa = a a, where a is the Moore Penrose inverse of a and let b A. We
More informationProve proposition 68. It states: Let R be a ring. We have the following
Theorem HW7.1. properties: Prove proposition 68. It states: Let R be a ring. We have the following 1. The ring R only has one additive identity. That is, if 0 R with 0 +b = b+0 = b for every b R, then
More informationADDITIVE RESULTS FOR THE GENERALIZED DRAZIN INVERSE
ADDITIVE RESULTS FOR THE GENERALIZED DRAZIN INVERSE Dragan S Djordjević and Yimin Wei Abstract Additive perturbation results for the generalized Drazin inverse of Banach space operators are presented Precisely
More informationand Michael White 1. Introduction
SPECTRAL CHARACTERIZATION OF ALGEBRAIC ELEMENTS Thomas Ransford 1 and Michael White 1. Introduction Let A be a unital Banach algebra. An element a A is algebraic if there exists a nonconstant polynomial
More informationLINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (757 763) 757 LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO Hassane Benbouziane Mustapha Ech-Chérif Elkettani Ahmedou Mohamed
More informationON OPERATORS WITH AN ABSOLUTE VALUE CONDITION. In Ho Jeon and B. P. Duggal. 1. Introduction
J. Korean Math. Soc. 41 (2004), No. 4, pp. 617 627 ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION In Ho Jeon and B. P. Duggal Abstract. Let A denote the class of bounded linear Hilbert space operators with
More informationDrazin Invertibility of Product and Difference of Idempotents in a Ring
Filomat 28:6 (2014), 1133 1137 DOI 10.2298/FIL1406133C Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Drazin Invertibility of
More informationFunctional Analysis II (Math 921) Lecture Notes for Fall 08. Michigan State University address:
Functional Analysis II (Math 921) Lecture Notes for Fall 08 Michigan State University E-mail address: jeffrey@math.msu.edu Jeff Schenker Part 1. Lecture 1. Lecture 2. Lecture 3. Lecture 4. Lecture 5.
More information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationAnother consequence of the Cauchy Schwarz inequality is the continuity of the inner product.
. Inner product spaces 1 Theorem.1 (Cauchy Schwarz inequality). If X is an inner product space then x,y x y. (.) Proof. First note that 0 u v v u = u v u v Re u,v. (.3) Therefore, Re u,v u v (.) for all
More informationInternational Journal of Algebra, Vol. 4, 2010, no. 2, S. Uma
International Journal of Algebra, Vol. 4, 2010, no. 2, 71-79 α 1, α 2 Near-Rings S. Uma Department of Mathematics Kumaraguru College of Technology Coimbatore, India psumapadma@yahoo.co.in R. Balakrishnan
More informationAN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES
AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim
More informationInvertible Matrices over Idempotent Semirings
Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep
More informationTHE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY
THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationTHE SPECTRAL DIAMETER IN BANACH ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume»!. Number 1, Mav 1984 THE SPECTRAL DIAMETER IN BANACH ALGEBRAS SANDY GRABINER1 Abstract. The element a is in the center of the Banach algebra A modulo
More informationLinear Normed Spaces (cont.) Inner Product Spaces
Linear Normed Spaces (cont.) Inner Product Spaces October 6, 017 Linear Normed Spaces (cont.) Theorem A normed space is a metric space with metric ρ(x,y) = x y Note: if x n x then x n x, and if {x n} is
More informationFinal Exam Practice Problems Math 428, Spring 2017
Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work
More informationBEST APPROXIMATIONS AND ORTHOGONALITIES IN 2k-INNER PRODUCT SPACES. Seong Sik Kim* and Mircea Crâşmăreanu. 1. Introduction
Bull Korean Math Soc 43 (2006), No 2, pp 377 387 BEST APPROXIMATIONS AND ORTHOGONALITIES IN -INNER PRODUCT SPACES Seong Sik Kim* and Mircea Crâşmăreanu Abstract In this paper, some characterizations of
More informationNovember 18, 2013 ANALYTIC FUNCTIONAL CALCULUS
November 8, 203 ANALYTIC FUNCTIONAL CALCULUS RODICA D. COSTIN Contents. The spectral projection theorem. Functional calculus 2.. The spectral projection theorem for self-adjoint matrices 2.2. The spectral
More informationMathematical Analysis Outline. William G. Faris
Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,
More informationCommutativity Results in Non Unital Real Topological Algebras
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 7, Issue 1 (June 2012), pp. 164 174 Applications and Applied Mathematics: An International Journal (AAM) Commutativity Results in
More informationCHAPTER 2 BOOLEAN ALGEBRA
CHAPTER 2 BOOLEAN ALGEBRA This chapter in the book includes: Objectives Study Guide 2.1 Introduction 2.2 Basic Operations 2.3 Boolean Expressions and Truth Tables 2.4 Basic Theorems 2.5 Commutative, Associative,
More informationClassification of spatial L p AF algebras
Classification of spatial L p AF algebras Maria Grazia Viola Lakehead University joint work with N. C. Phillips Workshop on Recent Developments in Quantum Groups, Operator Algebras and Applications Ottawa,
More informationInner image-kernel (p, q)-inverses in rings
Inner image-kernel (p, q)-inverses in rings Dijana Mosić Dragan S. Djordjević Abstract We define study the inner image-kernel inverse as natural algebraic extension of the inner inverse with prescribed
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationThe characterizations and representations for the generalized inverses with prescribed idempotents in Banach algebras
Filomat 27:5 (2013), 851 863 DOI 10.2298/FIL1305851C Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat The characterizations and
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationUNIQUENESS OF THE UNIFORM NORM
proceedings of the american mathematical society Volume 116, Number 2, October 1992 UNIQUENESS OF THE UNIFORM NORM WITH AN APPLICATION TO TOPOLOGICAL ALGEBRAS S. J. BHATT AND D. J. KARIA (Communicated
More informationPerturbation of the generalized Drazin inverse
Electronic Journal of Linear Algebra Volume 21 Volume 21 (2010) Article 9 2010 Perturbation of the generalized Drazin inverse Chunyuan Deng Yimin Wei Follow this and additional works at: http://repository.uwyo.edu/ela
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationSpectrally Bounded Operators on Simple C*-Algebras, II
Irish Math. Soc. Bulletin 54 (2004), 33 40 33 Spectrally Bounded Operators on Simple C*-Algebras, II MARTIN MATHIEU Dedicated to Professor Gerd Wittstock on the Occasion of his Retirement. Abstract. A
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
More informationLocal Spectral Theory for Operators R and S Satisfying RSR = R 2
E extracta mathematicae Vol. 31, Núm. 1, 37 46 (2016) Local Spectral Theory for Operators R and S Satisfying RSR = R 2 Pietro Aiena, Manuel González Dipartimento di Metodi e Modelli Matematici, Facoltà
More informationDRAZIN INVERTIBILITY OF PRODUCTS
http://www.mathematik.uni-karlsruhe.de/ semlv Seminar LV, No. 26, 5 pp., 1.6.2006 DRAZIN INVERTIBILITY OF PRODUCTS CHRISTOPH SCHMOEGER Abstract. If a b are elements of an algebra, then we show that ab
More informationABELIAN SELF-COMMUTATORS IN FINITE FACTORS
ABELIAN SELF-COMMUTATORS IN FINITE FACTORS GABRIEL NAGY Abstract. An abelian self-commutator in a C*-algebra A is an element of the form A = X X XX, with X A, such that X X and XX commute. It is shown
More informationTHE SPECTRAL EXTENSION PROPERTY AND EXTENSION OF MULTIPLICATIVE LINEAR FUNCTIONALS
proceedings of the american mathematical society Volume 112, Number 3, July 1991 THE SPECTRAL EXTENSION PROPERTY AND EXTENSION OF MULTIPLICATIVE LINEAR FUNCTIONALS MICHAEL J. MEYER (Communicated by Palle
More informationAPPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS
MATH. SCAND. 106 (2010), 243 249 APPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS H. SAMEA Abstract In this paper the approximate weak amenability of abstract Segal algebras is investigated. Applications
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationChapter 2. Vectors and Vector Spaces
2.1. Operations on Vectors 1 Chapter 2. Vectors and Vector Spaces Section 2.1. Operations on Vectors Note. In this section, we define several arithmetic operations on vectors (especially, vector addition
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationEP elements and Strongly Regular Rings
Filomat 32:1 (2018), 117 125 https://doi.org/10.2298/fil1801117y Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat EP elements and
More information36th United States of America Mathematical Olympiad
36th United States of America Mathematical Olympiad 1. Let n be a positive integer. Define a sequence by setting a 1 = n and, for each k > 1, letting a k be the unique integer in the range 0 a k k 1 for
More informationWeighted generalized Drazin inverse in rings
Weighted generalized Drazin inverse in rings Dijana Mosić and Dragan S Djordjević Abstract In this paper we introduce and investigate the weighted generalized Drazin inverse for elements in rings We also
More informationStrongly Nil -Clean Rings
Strongly Nil -Clean Rings Abdullah HARMANCI Huanyin CHEN and A. Çiğdem ÖZCAN Abstract A -ring R is called strongly nil -clean if every element of R is the sum of a projection and a nilpotent element that
More informationA REAL SEMINORM WITH SQUARE PROPERTY IS SUBMULTIPLICATIVE. M. El Azhari
Indian J. Pure Appl. Math., 43(4): 303-307, August 2012 c Indian National Science Academy A REAL SEMINORM WITH SQUARE PROPERTY IS SUBMULTIPLICATIVE M. El Azhari Ecole Normale Supérieure, Avenue Oued Akreuch,
More informationOn EP elements, normal elements and partial isometries in rings with involution
Electronic Journal of Linear Algebra Volume 23 Volume 23 (2012 Article 39 2012 On EP elements, normal elements and partial isometries in rings with involution Weixing Chen wxchen5888@163.com Follow this
More informationAPPROXIMATE PERMUTABILITY OF TRACES ON SEMIGROUPS OF MATRICES
APPROXIMATE PERMUTABILITY OF TRACES ON SEMIGROUPS OF MATRICES JANEZ BERNIK, ROMAN DRNOVŠEK, TOMAŽ KOŠIR, LEO LIVSHITS, MITJA MASTNAK, MATJAŽ OMLADIČ, AND HEYDAR RADJAVI Abstract. It is known that if trace
More informationSPECTRAL THEORY EVAN JENKINS
SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationSome results on the reverse order law in rings with involution
Some results on the reverse order law in rings with involution Dijana Mosić and Dragan S. Djordjević Abstract We investigate some necessary and sufficient conditions for the hybrid reverse order law (ab)
More informationDRAZIN INVERSES OF OPERATORS WITH RATIONAL RESOLVENT. Christoph Schmoeger
PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série, tome 83(97) (2008), 37 47 DOI: 10.2298/PIM0897037S DRAZIN INVERSES OF OPERATORS WITH RATIONAL RESOLVENT Christoph Schmoeger Communicated by Stevan
More informationarxiv: v1 [math.ra] 25 May 2013
Quasigroups and Related Systems 20 (2012), 203 209 Congruences on completely inverse AG -groupoids Wieslaw A. Dudek and Roman S. Gigoń arxiv:1305.6858v1 [math.ra] 25 May 2013 Abstract. By a completely
More informationAxioms of Kleene Algebra
Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.
More informationZero-one laws for functional calculus on operator semigroups
Zero-one laws for functional calculus on operator semigroups Lancaster, September 2014 Joint work with Isabelle Chalendar (Lyon) and Jean Esterle (Bordeaux) Contents 1. Some classical results. 2. Newer
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationRepresentation for the generalized Drazin inverse of block matrices in Banach algebras
Representation for the generalized Drazin inverse of block matrices in Banach algebras Dijana Mosić and Dragan S. Djordjević Abstract Several representations of the generalized Drazin inverse of a block
More informationON STRUCTURE AND COMMUTATIVITY OF NEAR - RINGS
Proyecciones Vol. 19, N o 2, pp. 113-124, August 2000 Universidad Católica del Norte Antofagasta - Chile ON STRUCTURE AND COMMUTATIVITY OF NEAR - RINGS H. A. S. ABUJABAL, M. A. OBAID and M. A. KHAN King
More informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationSeveral variables. x 1 x 2. x n
Several variables Often we have not only one, but several variables in a problem The issues that come up are somewhat more complex than for one variable Let us first start with vector spaces and linear
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationStrongly nil -clean rings
J. Algebra Comb. Discrete Appl. 4(2) 155 164 Received: 12 June 2015 Accepted: 20 February 2016 Journal of Algebra Combinatorics Discrete Structures and Applications Strongly nil -clean rings Research Article
More informationMA 252 notes: Commutative algebra
MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University February 11, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 13 Primary ideals Primary decompositions
More informationMATH 422, CSUSM. SPRING AITKEN
CHAPTER 3 SUMMARY: THE INTEGERS Z (PART I) MATH 422, CSUSM. SPRING 2009. AITKEN 1. Introduction This is a summary of Chapter 3 from Number Systems (Math 378). The integers Z included the natural numbers
More informationAnswers and Solutions to Selected Homework Problems From Section 2.5 S. F. Ellermeyer. and B =. 0 2
Answers and Solutions to Selected Homework Problems From Section 2.5 S. F. Ellermeyer 5. Since gcd (2; 4) 6, then 2 is a zero divisor (and not a unit) in Z 4. In fact, we see that 2 2 0 in Z 4. Thus 2x
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More informationOn the Local Spectral Properties of Weighted Shift Operators
Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 3-5-2003 On the Local Spectral Properties of Weighted Shift Operators Abdellatif Bourhim Abdus Salam International Centre for Theoretical
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More information285K Homework #1. Sangchul Lee. April 28, 2017
285K Homework #1 Sangchul Lee April 28, 2017 Problem 1. Suppose that X is a Banach space with respect to two norms: 1 and 2. Prove that if there is c (0, such that x 1 c x 2 for each x X, then there is
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationPatryk Pagacz. Characterization of strong stability of power-bounded operators. Uniwersytet Jagielloński
Patryk Pagacz Uniwersytet Jagielloński Characterization of strong stability of power-bounded operators Praca semestralna nr 3 (semestr zimowy 2011/12) Opiekun pracy: Jaroslav Zemanek CHARACTERIZATION OF
More informationSurjective Maps Preserving Local Spectral Radius
International Mathematical Forum, Vol. 9, 2014, no. 11, 515-522 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.414 Surjective Maps Preserving Local Spectral Radius Mustapha Ech-Cherif
More informationBanach Algebras where the Singular Elements are Removable Singularities
Banach Algebras where the Singular Elements are Removable Singularities Lawrence A. Harris Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506-0027 E-mail: larry@ms.uky.edu Let
More informationA Spectral Characterization of Closed Range Operators 1
A Spectral Characterization of Closed Range Operators 1 M.THAMBAN NAIR (IIT Madras) 1 Closed Range Operators Operator equations of the form T x = y, where T : X Y is a linear operator between normed linear
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationChapter 2 Combinational Logic Circuits
Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 1 Gate Circuits and Boolean Equations Chapter 2 - Part 1 2 Chapter 2 - Part 1 3 Chapter 2 - Part 1 4 Chapter 2 - Part
More informationTrace Class Operators and Lidskii s Theorem
Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace
More informationarxiv: v1 [math.ra] 3 Oct 2009
ACTOR OF AN ALTERNATIVE ALGEBRA J.M. CASAS, T. DATUASHVILI, AND M. LADRA arxiv:0910.0550v1 [math.ra] 3 Oct 2009 Abstract. We define a category galt of g-alternative algebras over a field F and present
More informationLinear Ordinary Differential Equations
MTH.B402; Sect. 1 20180703) 2 Linear Ordinary Differential Equations Preliminaries: Matrix Norms. Denote by M n R) the set of n n matrix with real components, which can be identified the vector space R
More informationLOCAL SPECTRA: CONTINUITY AND RESOLVENT EQUATION
LOCAL SPECTRA: CONTINUITY AND RESOLVENT EQUATION S. V. Djordjevic and José A. Canavati Comunicación Técnica No I-02-07/23-04-2002 (MB/CIMAT) Local spectra: continuity and resolvent equation S.V. Djordjević
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationFormulae for the generalized Drazin inverse of a block matrix in terms of Banachiewicz Schur forms
Formulae for the generalized Drazin inverse of a block matrix in terms of Banachiewicz Schur forms Dijana Mosić and Dragan S Djordjević Abstract We introduce new expressions for the generalized Drazin
More informationSome topics in analysis related to Banach algebras, 2
Some topics in analysis related to Banach algebras, 2 Stephen Semmes Rice University... Abstract Contents I Preliminaries 3 1 A few basic inequalities 3 2 q-semimetrics 4 3 q-absolute value functions 7
More informationREFLEXIVITY OF THE SPACE OF MODULE HOMOMORPHISMS
REFLEXIVITY OF THE SPACE OF MODULE HOMOMORPHISMS JANKO BRAČIČ Abstract. Let B be a unital Banach algebra and X, Y be left Banach B-modules. We give a sufficient condition for reflexivity of the space of
More information