Professional Documents
Culture Documents
φn
Gn −→ Gn+1
&ψn ↓ψn+1
F
∞
Y
F = {{gn } ∈ Gn : gn+1 = φn (gn ) for all sufficiently large n}.
n=1
Q∞
Then F is a subgroup of n=1 Gn . If n is the unit of Gn , then the set N
Q∞
of all {gn } ∈ n=1 Gn such that gn = n for all sufficiently large n is a
normal subgroup of F. Denote the quotient group F/N by G. We call G the
inductive limit of the sequence {(Gn , φn )} and write G = limn→∞ (Gn , φn ).
When there is no ambiguity, we may also write G = limn→∞ Gn .
If g ∈ Gn , define φ0n (g) to be the sequence {gk } where gk = k for
k < n and gn+i = φn,n+i (g) for all i ≥ 0. then φ0n (g) ∈ F, and the map
φn,∞ : Gn → G defined by the coset φ0n (g)N is a homomorphism. This is
called the homomorphism induced by the inductive limit. One verifies that
the diagram
φn
Gn −→ Gn+1
&φn,∞ ↓φn+1,∞
G
July 30, 2001 16:8 WorldScientific/ws-b8-5x6-0 book1
commutes for each n and that G is the union of the increasing sequence
{φn,∞ (Gn )}. From the definition, if φn,∞ (g) = , the unit of G, then for
some m ≥ n, φn,m (g) = m .
if a ∈ An .
for all ε. Thus ψn (a) = ψm (b). This shows that the map ψ :
∪∞n=1 hn,∞ (An ) → B defined by ψ(hn,∞ (a)) = ψn (a) is well defined. Since
we have
Proof. The proof is an easy application of (2) in 1.10.6 and is left to the
reader.
Example 1.10.8 Let An = M2n . Define hn : An → An+1 by defining
hn (a) = diag(a, a). A = limn→∞ (An , hn ) is called the UHF-algebra of 2∞ -
type. It is infinite dimensional and unital. A is a simple C ∗ -algebra by the
following proposition, which we leave to the reader as an easy exercise.
Proposition 1.10.9 If A = limn→∞ (An , hn ), where each An is simple,
then A is simple.
Definition 1.10.10 An AF -algebra is an inductive limit of C ∗ -algebras
of the form Mk1 ⊕ Mk2 ⊕ · · · ⊕ Mkl . In other words, an AF-algebra is an
inductive limit of finite dimensional C ∗ -algebras.
The C ∗ -algebra A in 1.10.8 is a simple AF -algebra.
φ1 ≈ε φ2 on F.
φ1 'ε φ2 on F,
adu ◦ φ1 ≈ε φ2 on F,
adu ◦ φ1 = φ2 .
July 30, 2001 16:8 WorldScientific/ws-b8-5x6-0 book1
for all a, b ∈ F.
Definition 1.10.13 Let B1 , B2 , A1 and A2 be C ∗ -algebras. Consider the
(not necessary commutative) diagram:
φ
B1 −→ B2
↓L1 ↓L2
ψ
A1 −→ A2
Let F ⊂ B1 and ε > 0. We say the above diagram approximately commutes
on F within ε if
ψ ◦ L1 ≈ε L2 ◦ φ on F.
φn ◦ Ln ≈rn Ln+1 ◦ hn on Fn .
for all b ∈ Bn .
If furthermore, Ln is Fn -εn -multiplicative for some εn > 0 with
P∞
n=1 εn < ∞, then L : B → A is a homomorphism.
By assumption,
X
k+l
kφk,k+l ◦ Lk ◦ hs,k (hi,s (a0 )) − Lk+l ◦ hi,k+l (a0 )k < rt .
t=k
Therefore
X
k+l
kφk,k+l ◦ Lk ◦ hs,k (hj,s (b0 )) − Lk+l ◦ hs,k+l (hj,s (b0 ))k < ε/2(kbk + 1) + rt .
t=k
if hj,n (a), hj,n (b) ∈ Fn . So ψj (ab) = ψj (a)ψj (b) if hj,n (a), hj,n (b) ∈ Fn .
This of course implies that ψj is multiplicative. A positive multiplicative
linear map is a ∗-homomorphism. Therefore each ψj is a homomorphism.
By 1.10.6, L is a homomorphism.
P∞
in the unit ball of A, and let sn > 0 with n=1 sn < ∞. If in addition, we
have contractive positive linear maps: Hn : An → Bn+1 such that
h
Bn −→
n
Bn+1
↓Ln %Hn ↓Ln+1
φn
An −→ An+1
is approximately commutative on Fn and on Gn within rn and within sn ,
respectively, i.e.,
L◦hn,∞ (b) = lim φk,∞ ◦Lk ◦hn,k (b) and H◦φn,∞ (a) = lim hk+1,∞ ◦Hk ◦φn,k (a)
k→∞ k→∞
Also
as k → ∞. Since
1.11 Exercises