RESEARCH NOTES A SIMPLE CHARACTERIZATION OF COMMUTATIVE -ALGEBRAS H

advertisement
Internat. J. Math. & Math. Sci.
Vol. 22, No. 4 (1999) 885–888
S 0161-17129922885-2
© Electronic Publishing House
RESEARCH NOTES
A SIMPLE CHARACTERIZATION OF COMMUTATIVE
H ∗ -ALGEBRAS
PARFENY P. SAWOROTNOW
(Received 23 March 1998)
Abstract. Commutative H ∗ -algebras are characterized without postulating the existence
of Hilbert space structure.
Keywords and phrases. H ∗ -algebra, commutative H ∗ -algebra, maximal regular ideals, multiplicative linear functionals, Gelfand transform, completely symmetric algebra.
1991 Mathematics Subject Classification. 46K15, 46J40.
1. Introduction. Let M be the space of all maximal regular ideals in a commutative
H ∗ -algebra A and let x(M), M ∈ M, denote the Gelfand transform of x, Loomis [3] (in
the sequel we use notation of Naimark [5]). Then it is easy to show (see Theorem 1
below) that the series x(M)ȳ(M) converges absolutely for all x, y ∈ A. Also, if we
assume that each minimal self-adjoint idempotent in A has norm one, then it is true
that for each bounded linear function f on A(f ∈ A∗ ) there exists a ∈ A such that
f (x) = x(M)ā(M) for all x ∈ A.
In this note we show that these properties could be used to characterize commutative proper H ∗ -algebras of this kind. More specifically we show that each semi-single
completely symmetric, Naimark [5], Banach algebra with the above properties is a
proper H ∗ -algebra with respect to some Hilbertian norm which is equivalent to its
original norm. Also, there is a characterization of all proper commutative H ∗ -algebras.
2. Characterizations. Let A be a complex commutative Banach algebra. We do not
assume that A has an identity and so, because of this, we have to deal with regular
maximal ideals. An ideal I in A is regular if the algebra A/I has an identity. If M
is maximal regular ideal then it is closed and the algebra A/M is isomorphic to the
complex field (Gelfand-Mazur theorem, complex case, Loomis [3, 22F]). It follows that
there exists a continuous linear functional FM , Loomis [3, 23B], such that M = {x ∈
A : FM (x) = 0}, i.e., M is the kernel (null space) of FM .
The Gelfand transform x() (we use the Naimark’s notion, Naimark [5], here) of x
is defined by setting x(M) = FM (x) (Loomis uses the notion x ∧ in Loomis [3, 23B]),
where M is a regular maximal ideal in A.
The algebra A is said to be semi-simple if ∩M∈ M M = (0) (as it is stated above, M
denotes the space of all maximal regular ideals as A). Equivalent condition: mapping
x → x() is one to one. The algebra A is said to be completely symmetric, Naimark [5],
886
PARFENY P. SAWOROTNOW
if it has an involution x → x ∗ such that x ∗ (M) = x̄(M) for all M ∈ M.
More details of Gelfand theory could be found in Gelfand-Raikov-Silov [2], Loomis [3],
Mackey [4], Naimark [5], Simmons [7], and others.
A proper H ∗ -algebra is a Banach algebra A with an involution x → x ∗ and a scalar
product ( , ) such that (x, x) = x2 and (xy, z) = (y, x ∗ z) = (x, zy ∗ ) for all x, y, z ∈
A. Note that A is semi-simple. For simplicity, a nonzero self-adjoint idempotent will
be called projection (e.g., Saworotnow [6]). A projection e is minimal if it is not a sum
of two projections whose product is zero.
A completely symmetric commutative Banach algebra is a Banach algebra with involution x → x ∗ such that x ∗ (M) = x̄(M) for all x ∈ A and M ∈ M, Naimark [5, Sec. 14].
Theorem 1. Each proper commutative H ∗ -algebra A is completely symmetric in
the sense of Naimark [5]. Also, the series M∈M |x(M)|2 converges for each x ∈ A and
if we assume that each minimal projection in A has norm one, then each bounded linear
functional f on A(f ∈ A∗ ) has the form f (x) = x(M)ā(M)(x ∈ A) for some a ∈ A .
Proof. First and second parts of the theorem follow from Loomis [3, 27G]. For
each M ∈ M there exists a minimal projection eM such that x(M) = (x, eM )eM −2 ,
x = M∈M x(M)×eM and eM1 eM2 = 0 if M1 ≠ M2 (Loomis [3] uses notation “eα ” instead
2
of “eM ”). Note that eM ≥ 1 for each M ∈ M (eM = eM
≤ eM 2 ).
2
2
2
It follows that x = M∈M |x(M)| eM ≥ M∈M |x(M)|2 . The last part follows
from Loomis [3, 10G]: If we assume that each minimal projection has norm one, then
x2 = M∈M |x(M)|2 and (x, a) = M∈M x(M)ā(M) for all x, a ∈ A (and there exists
a ∈ A such that f (x) = (x, a) for all x ∈ A).
Now we have a characterization of those commutative H ∗ -algebra in which each
minimal projection has norm one.
Theorem 2. Let A be a semi-simple commutative completely symmetric Banach al
gebra. Assume further that the series M∈M |x(M)|2 converges for each x ∈ A and
that for each bounded linear functional f on A there exists a ∈ A such that f (x) =
M∈M x(M)ā(M) for all x ∈ A. Then there exists a Hilbertian norm 2 on A, equivalent to the original norm such that A is an H ∗ -algebra with respect to the scalar product
( , ) associated with 2 and the original involution. Also, each minimal projection in A
has norm 1.
Proof. For each x, y ∈ A, define (x, y) = M∈M x(M)ȳ(M). This series converges
absolutely for all x, y ∈ A, since


k
k
k
1 2
x Mi ȳ Mi ≤  x Mi 2 +
y Mi 
2 i=1
i=1
i=1
(2.1)
for each finite subset {M1 , . . . , Mk } of M. Hence, the inner product ( , ) is defined everywhere on A. Let 2 be the corresponding norm, x22 = (x, x) for all x ∈ A. Let us
show that A is complete with respect to 2 .
First, note that the completion A of A with respect to 2 is a proper H ∗ -algebra
(since x ∗ 2 = x2 for all x ∈ A). Hence, A is semi-simple. (It is a consequence of
A SIMPLE CHARACTERIZATION OF COMMUTATIVE H ∗ -ALGEBRAS
887
Loomis [3, 27A].) So we can apply [5, Sec. 12, Thm. 1]: there exists C > 0 such that
x2 ≤ Cx for all x ∈ A.
Now, let {an } be a sequence of numbers of A such that limm,n an −am 2 = 0. Then
there exists N > 0 such that an 2 ≤ N for each n. For each fixed x ∈ A define
f (x) = lim x, am .
m→∞
(2.2)
From |(x, am )| < x2 am 2 ≤ NCx we conclude that f is a bounded linear func
tional on A. Hence, there exists a ∈ A so that f (x) = M∈M x(M)ā(M) for each x ∈ A.
Let us show that a−an 2 → 0. Let > 0 be arbitrary, take n0 so that am −an 2 < /2
if m, n > n0 . Let n > n0 and x ∈ A be fixed. Then a−an 22 = |(a−an , a−an )| ≤ |(a−
an , a − am )| + |(a − an , am − an )| ≤ |f (a − an ) − (a − an , am )| + a − an 2 am − an 2 .
Select m > n0 so that
f a − an − a − an , am ≤ a − an 2 .
2
(2.3)
Thus
a − an 22 ≤
a − an 2 + a − an 2 = a − an 2 ,
2
2
(2.4)
and this implies that a − an 2 < for each n > n0 . So, A is complete with respect
to 2 .
It follows from [5, Sec. 12, Thm. 1] that the norm 2 and the original norm on
A are equivalent.
It is also easy to see that A is an H ∗ -algebra with respect to the scalar product ( , )
(and the original involution).
Let us show that every minimal projection in A has norm one. First note that the
product of any two distinct minimal projections e1 and e2 is zero, e1 e2 = 0. It follows
from the fact that e = e1 e2 is also a projection and that eei = ei , i = 1, 2. This means
that if e ≠ 0, then both e = e1 and e = e2 , which is impossible, since e1 ≠ e2 . Thus
eM1 eM2 = 0 if M1 ≠ M2 (as was remarked in a proof above). But this also means that
every minimal projection e is of the form e = eM for some M ∈ M. It follows then
that e(M ) = 1 and e(M) = 0 if M ≠ M . Thus e22 = |e(M )|2 = 1.
For the general case we have Theorems 3 and 4 below, which constitute a characterization of any proper commutative H ∗ -algebra. The characterization is stated in terms
of multiplicative functionals (it could also be done in terms of ideals) (needless to say,
Theorems 1 and 2 could be restated in terms of multiplicative functionals also).
Theorem 3. For each proper commutative H ∗ -algebra A there exists a real valued
function k(q), defined on the set Q of all its continuous multiplicative linear functionals,
with the following properties :
(i) k(q) ≥ 1 for each q ∈ Q.
(ii) The series q∈Q |q(x)|2 k(q) converges for each x ∈ A.
(iii) For each f ∈ A∗ there exists α ∈ A such that f (x) = q∈Q q(x)q̄(a)k(q) for
each x ∈ A (A∗ denotes the dual of A).
888
PARFENY P. SAWOROTNOW
Proof. It is easy consequence of Loomis [3, 27G] that for each nonzero member q
of Q there exists a unique minimal projection eq such that q(x) = (x, eq )eq −2 and
x=
q(x)eq
(2.5)
q∈Q
for each x ∈ A (note that {eq }q≠0 is an orthogonal basis for A). We define the function
k(q) by setting k(q) = eq 2 for each nonzero member q of Q and k(0) = 1. We leave
it to the reader to verify that k(q) has desired properties.
Theorem 4. Let A be a semi-simple commutative completely symmetric algebra and
let Q be the set of all its continuous multiplicative linear functionals. Assume that there
exists a real valued function k(q) on Q with properties (i), (ii), and (iii) in Theorem 3.
Then A is an H ∗ -algebra with respect to some Hilbert space norm 2 equivalent to
the original norm of A, and the original involution.
Proof. Define the scalar product ( , ) on A by setting
(x, y) =
q(x)q y ∗ k(q),
(2.6)
q∈Q
and take that corresponding norm 2 (with the property that (x, x) = x22 ). Then
we proceed as in the proof of Theorem 2.
References
[1]
[2]
[3]
[4]
[5]
[6]
[7]
W. Ambrose, Structure theorems for a special class of Banach algebras, Trans. Amer. Math.
Soc. 57 (1945), 364–386. MR 7,126c. Zbl 060.26906.
I. M. Gelfand, D. A. Raikov, and G. E. Silov, Kommutativnye normirovannye koltsa. [Commutative normed rings], Sovremennye Problemy Matematiki, Gosudarstv. Izdat. Fiz.Mat. Lit., Moscow, 1960 (Russian). MR 23#A1242. Zbl 134.32102.
L. H. Loomis, An introduction to abstract harmonic analysis, D. Van Nostrand Company,
Inc., Toronto, New York, London, 1953. MR 14,883c. Zbl 052.11701.
G. W. Mackey, Commutative Banach algebras, Notas Mat. No. 17 (1959), 210. MR 21#5909.
Zbl 086.31203.
M. A. Naimark, Normed rings, P. Noordhoff N. V., Groningen, 1964, Translated from the
first Russian edition by Leo F. Boron. MR 34#4928. Zbl 137.31703.
P. P. Saworotnow, On a generalization of the notion of H ∗ -algebra, Proc. Amer. Math. Soc.
8 (1957), 49–55. MR 19,47a. Zbl 087.11402.
G. F. Simmons, Introduction to topology and modern analysis, McGraw-Hill Book Co., Inc.,
New York, 1963. MR 26#4145. Zbl 105.30603.
Saworotnow: Department of Mathematics, The Catholic University of America,
Washington, DC 20064, USA
Download