Değişmeli Banach Cebirlerinin Gelfand Spektrumları Üzerine

advertisement
Ekim 2005 Cilt:13 No:2 Kastamonu Eğitim Dergisi 547-554
DEĞİŞMELİ BANACH CEBİRLERİNİN GELFAND
SPEKTRUMLARI ÜZERİNE
Hayri AKAY, Ziya ARGÜN
Gazi Üniversitesi, Gazi Eğitim Fakültesi, Matematik Eğitimi Bölümü, Ankara.
Özet
A değişmeli, güvenilir (without order) bir Banach cebiri; ( A), A cebirinin Gelfand
spektrumu, T ise A üzerinde bir çarpan operatörü ve Tˆ , T operatörünün” Gelfand dönüşümü
olsun. Bu makalede ele aldığımız problem ( A) ile (T ) kümeleri arasındaki ilişkinin ne
olabileceğidir. Araştırma sonucu bu ilişkinin ( A)  (T ( A))  Hull (T ( A))  (Tˆ )  0 (Tˆ )
bağıntısı ile verilebileceği ispatlanmıştır.
Anahtar Kelimeler:, Banach Cebiri, Gelfand dönüşümü, Çarpan operatör, Gelfand spektrumu
ON THE GELFAND SPECTRUM OF COMMUTATIVE
BANACH ALGEBRAS
Abstract
Let A be a commutative Banach algebra with without order, ( A) its Gelfand spectrum;
T be a multiplier on A and Tˆ its Gelfand transform. The problem handling in this paper is
“what the relationships are between the sets ( A) and (T ) ”. We find out that this relation
is given by the equalities ( A)  (T ( A))  Hull (T ( A))  (Tˆ )  0 (Tˆ ) .
Key words:, Banach algebra without order, Gelfand transform, Multiplier, Gelfand spectrum
1. Giriş ve Notasyonlar
A değişmeli güvenilir bir Banach cebiri, T operatörü A üzerinde T(ab)=T(a)b=aT(b)
( a, b  A ) ile tanımlı çarpan operatörü ve M(A) da bu tür operatörlerin cebirini
göstersin. ( A) ile A cebirinin Gelfand spektrumunu ve
Tˆ ile T operatörünün Gelfand
dönüşümünü göstereceğiz. ( A) spektrumunun elemanları A üzerindeki çarpımsal
fonksiyoneller olarak tanımlanmaktadır.(1).
October 2005 Vol:13 No:2 Kastamonu Education Journal
Hayri AKAY, Ziya ARGÜN
548
(M ( A)) kümesi, M(A)’nın Gelfand spektrumu, A cebirinin Gelfand
spektrumu ( A) ile Hull(A)’nın birleşimi olarak yazılabilmektedir(5). Burada A ile
La : a  A  kümesi arasında bir izomorfizma olduğu için A cebiri M(A) nın bir
T * , T nin adjoint operatörü olmak üzere T operatörünün
*
Gelfand dönüşümü Tˆ : ( M ( A))  C , T ( f )  Tˆ( f ) f şeklinde tanımlanmaktadır.
ideali olarak düşünülmektedir(1).
Herhangi bir X Banach uzayı için
 ( x)  xˆ
kanonik
X * , X ‘in dual uzayı olmak üzere;  : X  X **
gömmesi
vardır.
x X ,
f  X*
için
*
xˆ ( f )   xˆ, f    f , x  f ( x) şeklindedir.  x, f  yada  f , x ile X ve X
arasındaki dualite ilişkisi gösterilmektedir.
x  A ise ( A) üzerinde xˆ (h)  h( x) şeklinde bir dönüşümdür. ( A)
üzerindeki topoloji noktasal yakınsak topoloji olduğundan x̂ , ( A) üzerinde
süreklidir. x  xˆ dönüşümü A’dan C (( A)) içine Gelfand dönüşümü olarak
adlandırılır. Bu dönüşüm  A yada  ile gösterilir. Yani;
 : A  C (( A))
x  xˆ : ( A)  C
h  xˆ (h)  h( x)
biçiminde verilmektedir. Eğer A üzerinde tanımlanan  Gelfand dönüşümü bire bir ise
A cebirine yarı basit(semi simple) Banach cebiri denir.
**
A Banach cebirinin ikinci duali A üzerinde A’daki çarpma işleminin iki tane
genişlemesi vardır. Bunlar literatürde birinci ve ikinci Arens çarpımı olarak bilinmektedirler.
A** ’yı tanımı aşağıda verilen birinci Arens çarpımı ile donatılan Banach
**
cebiri olarak göz önüne alacağız. Bu işlemler a, b  A , f  A olmak üzere;
Bu çalışmada
A* uzayının f  a ve n  f elemanı
 f  a, b   f , ab
 n  f , a   n, f  a
A** uzayının m  n elemanı m  n, f    m, n  f 
**
biçiminde tanımlanmaktadırlar. Bu durumda A, A ın kapalı bir alt cebiridir.
A** cebiri genelde değişmeli değildir fakat a  A ve n  A** için an=na eşitliği
**
*
sağlanır.Ayrıca; m, n  A ve A ın çarpımsal f elemanı için
 m  n, f    n, f   m, f 
eşitliği sağlanır. E  ( A) kümesi için ker(E) ideali;
Ekim 2005 Cilt:13 No:2 Kastamonu Eğitim Dergisi
Değişmeli Banach Cebirlerinin Gelfand Spektrumları Üzerine
ker( E ) 
şeklinde
f
1
(0) : f  E
  ker( f ) :
549
f E

I , A cebirinin bir ideali olmak üzere; I ‘nın hull’ü
hull ( I )   f  ( A) : I  f 1 (0)
  f ( A) : f ( I )  0
   f ( A) : I  ker( f ) 

biçiminde tanımlanmaktadırlar(2).
( A) kümesi A* dual uzayı
üzerindeki zayıf topolojiye göre kapalıdır.(4). (Tˆ )  f  ( A) : Tˆ ( f )  0  ve
A cebiri sınırlı yaklaşık birime sahip olduğunda

0 (Tˆ )  f  ( A): Tˆ ( f )  0
 olmak

üzere; A cebiri içindeki T(A) idealinin
 0 (Tˆ ) kümesidir ve T(A) ideali A içinde kapalı olduğu zaman, T(A) idealinin
Gelfand spektrumu (Tˆ ) kümesidir. ( A) uzayı üzerindeki topoloji Gelfand
Hull’ü
topolojisidir.Detaylar için(3)’e bakınız.
a  A olmak üzere; La : A  A , La ( x)  ax dönüşümü A üzerinde bir çarpan
operatör tanımlar. A ile
L : a  A  kümesi
a
birbirine izomorf olduğu için ve
L : a  A  kümesi M(A) uzayının bir ideali olmasından dolayı A cebirini M(A) nın
a
bir ideali olarak düşünebiliriz ve genelde A, M(A) içinde kapalı değildir.(1) de
(M ( A))  ( A)  Hull ( A)
izomorfizması
olduğu
için
eşitliği
gerektiğinde
gösterilmiştir. A  La :
A
yerine
kullanılmaktadır. ( A), ( M ( A)) içinde açıktır fakat bu
içinde yoğun olmasından uzaktır.(5)
a A

L : a  A  ideali
a
( A) ' nın (M ( A))
T  M ( A) için T : A  A sınırlı lineer bir çarpan ve T ** , T operatörünün
**
**
**
ikinci eşleniği(adjointi) olmak üzere, T : A  A operatörü bir çarpan
T olsun . Dolaysıyla
operatördür. Tˆ dönüşümünün ( A) ya kısıtlaması
Tˆ /
  olmak üzere;
 ( A)
T
f  ( A) için T ( f )  Tˆ ( f ) ve T * ( f )  Tˆ ( f ) f eşitlikleri mevcuttur.(1,
Sonuç 1.4.3).
October 2005 Vol:13 No:2 Kastamonu Education Journal
Hayri AKAY, Ziya ARGÜN
550
Eğer
u , A** cebirinin sağ birimi ise; f  ( A) için T ( f )  T ** (u), f 
yazabiliriz. f
süreklidir.(5)
 T ** (u), f 
dönüşümü
nın
A
Son olarak, A bir Banach cebiri olmak üzere; her
Gelfand
spektrumu
üzerinde
x  A için xA  0 olduğunda
x  0 ise (Yada Ax= 0 iken x=0 ise) A cebirine güvenilir (without order) Banach
cebiri denir. A birimli bir cebir ise güvenilir olduğu açıktır. A güvenilir Banach cebiri
olduğunda her çarpan operatörü lineer olur. Bu durumda M(A), A üzerindeki sürekli
lineer operatörlerin cebiri olan L(A) nın birimli bir alt cebiridir.(1, Theorem1.1.1).
Makalenin bundan sonraki kısımlarında aksi söylenmedikçe A cebiri güvenilir olduğu
kabul edilecektir.
2. Sonuçlar
Lemma 2.1. A bir değişmeli Banach cebiri ve T, A üzerinde çarpan operatör olmak
üzere A cebirinin bir ideali olan
İspat:
T ( A) ’nın hull’ü  0 (Tˆ ) kümesine eşittir.
hull (T ( A))   f  ( A):
T ( A)  f 1 (0)
 olmak üzere;
f  hull (T ( A)) için T ( A)  f 1 (0) dır.
Buna göre her
a  A için T (a)  f 1 (0)  f (T (a))  0
 f T (a)  0
 T * f (a)  0
 (Tˆ ( f ) f )(a)  0
( f  ( A) ise f (a)  0 )
 Tˆ ( f ). f (a)  0
 Tˆ ( f )  0
 f  0 (Tˆ )
elde edilir.Böylece
hull (T ( A))  0 (Tˆ ) eşitliği elde edilir.Bu ise ispatı tamamlar.
Lemmma 2.2. A bir değişmeli Banach cebiri olmak üzere
kapalı idealinin Gelfand spektrumunun bir alt kümesidir.
(Tˆ ) kümesi, A nın T(A)
Ekim 2005 Cilt:13 No:2 Kastamonu Eğitim Dergisi
Değişmeli Banach Cebirlerinin Gelfand Spektrumları Üzerine
İspat:
f  (Tˆ ) ise (Tˆ ) nın tanımı gereği Tˆ ( f )  0 olur. f / T ( A)  f olsun.
a, b  A için;
 f , T (a)   f , T (a)
= T
=
*
551
f , a
Tˆ ( f ) f , a
= Tˆ ( f ) 
f (a)
ve
 f , T (a)  T (b)   f , T (a  b)
= Tˆ ( f ) 
f ( a  b)
= Tˆ ( f )( f (a) 
= Tˆ ( f ) 
f (b))
f (a)  Tˆ ( f )  f (b)
=  f , T (a)   f , T (b)
eşitlikleri sağlandığından
f , T ( A) üzerinde lineerdir. Diğer taraftan,
 f , T (a)  f , T (b)  Tˆ ( f )  f (a)  Tˆ ( f )  f (b)
= Tˆ ( f )  Tˆ ( f ) 
f (a)  f (b)
= Tˆ ( f )  Tˆ ( f ) 
f (ab)
= Tˆ ( f )  (T
*
f (ab))
= Tˆ ( f )  ( f (T (ab))
= Tˆ ( f )  ( f (T (ab))
= Tˆ ( f )  ( f (aT (b))
=
f (T (aT (b)))
=
f (T (a)T (b))
=  f , T (a)T (b)
October 2005 Vol:13 No:2 Kastamonu Education Journal
Hayri AKAY, Ziya ARGÜN
552
eşitlikleri
f nin, T ( A) üzerinde çarpımsal lineer fonksiyonel olduğunu gösterir. f
keyfi seçildiğinden (Tˆ )  (T ( A)) olur.
Şimdi makalenin özgün olduğunu düşündüğümüz ana Lemmasını verebiliriz.
Lemma 2.3. A değişmeli bir Banach cebiri T, A üzerinde bir çarpan operatörü ve
B : T ( A) ideali A nın kapalı alt uzayı ise B üzerinde tanımlanan sıfırdan farklı f
çarpımsal lineer fonksiyonelinin A ya genişlemesi olan
T ( x), f   0 şartını sağlayan
f bir tektir. Bu genişleme
x  A için  a, f    aT ( x), f 
seklinde
tanımlanmıştır.
İspat:
f,
B
üzerinde
sıfırdan
farklı
çarpımsal
fonksiyonel
T ( x), f   0 olacak şekilde T ( x)  B alalım. a  A için
 a, f  
olduğundan
 aT ( x), f 
T ( x), f 
bağıntısının T(x) in seçiminden bağımsız olduğunu gösterelim. Bunun için
T ( y), f   0 olacak şekilde bir başka T ( y)  B alalım. Buna göre,
 a, f   T ( y), f  
 aT ( x), f 
 T ( y), f 
T ( x), f 
 aT ( x)T ( y ), f 
T ( x), f 
T ( x), f    aT ( y), f 
=
T ( x), f 
=  aT ( y), f 
 aT ( y ), f 
 a, f  
T ( y ), f 
=
elde edilir. Böylece yukarıda tanımlanan bağıntı bir fonksiyon olur. Her
a, b  A için;
(a  b)T ( x), f 
T ( x), f 
 aT ( x)  bT ( x), f 
=
T ( x), f 
 aT ( x), f   bT ( x), f 
=
T ( x), f 
 a  b, f  
=  a,
f   b, f 
Ekim 2005 Cilt:13 No:2 Kastamonu Eğitim Dergisi
Değişmeli Banach Cebirlerinin Gelfand Spektrumları Üzerine
olduğundan
f , A üzerinde lineerdir.Ayrıca; f çarpımsal olduğundan f  0 dır ve
 ab, f  
(ab)T ( x), f  T ( x), f 

T ( x), f 
T ( x), f 
=
 abT ( x)  T ( x), f 
T ( x), f   T ( x), f 
=
 aT ( x)  bT ( x), f 
T ( x), f   T ( x), f 
=
 aT ( x), f  bT ( x), f 

T ( x), f  T ( x), f 
=  a,
553
f  b, f 
olmasından dolayı
f , A üzerinde çarpımsaldır. Şimdi de f nın tek olduğunu
gösterelim. Kabul edelim ki f nin bir başka genişlemesi
f1 olsun.
 a, f1  T ( x), f    a, f1  T ( x), f1
=  aT ( x),
f1 
=  aT ( x),
f
=  a,
aT ( x)  T ( A)
,
f  T ( x), f 
eşitlikleri sağlandığı için her
a  A için  a, f1    a, f  olur. Böylece f  f1 elde
edilir. Dolayısıyla genişleme bir tek olur ve bu ispatı tamamlar.
Teorem 2.4. A değişmeli Banach cebiri ve T(A) A cebirinin kapalı bir ideali olmak
ise
(T ( A))  (Tˆ ) eşitliği vardır.
İspat: Lemma 2.2’den
(Tˆ )  (T ( A)) olduğunu söyleyebiliriz.
f (T ( A)) olsun.Lemma 2.3’den f’nin A cebirine bir tek f
genişlemesi vardır ve f  (Tˆ ) dır. Eğer f  (Tˆ ) olsaydı Tˆ ( f )  0 olurdu,
oysaki
olduğundan
her
için
a A
f (T ( A))
*
eşitliği
f (T (a))  f (T (a))  T f (a)  Tˆ ( f )  f (a)  0  f (a)  0
Tersine;
f (T ( A)) olduğunu söyler ki bu çelişkidir. Bundan dolayı (T ( A))  (Tˆ )
elde edilir. Kapsama iki taraflı olduğundan beklenilen (T ( A))  (Tˆ ) eşitliğine ulaşılır.
October 2005 Vol:13 No:2 Kastamonu Education Journal
Hayri AKAY, Ziya ARGÜN
554
Şimdi bu çalışmanın asıl amacı olan ve ( A) ile
ilişkiyi net olarak ifade eden aşağıdaki teoremi verebiliriz.
(T ) kümeleri arasındaki
Teorem 2.5. A değişmeli bir Banach cebiri ve T(A) A cebirinin kapalı bir ideali
olmak ise
İspat:
( A)  (Tˆ )  0 (Tˆ ) eşitliği sağlanır.
f  ( A) ise Lemma 2.3 gereğince T(A) üzerindeki çarpımsal lineer
fonksiyonellerin genişlemeleri tek olduğundan ya
f  (T ( A)) dır yada f , T(A)
f  Hull (T ( A)) dır. Böylece, Lemma 2.1 ve
( A)  (T ( A))  Hull (T ( A))  (Tˆ )   (Tˆ )
üzerinde sıfır değerini alır;yani
Teorem2.4’in
ışığı
altında
0
eşitliği elde edilir.
Kaynaklar
1. Larsen, R .An Introduction to the Theory of Multipliers, Springer-Verlag, Berlin,
(1971).
2. Larsen, R . Banach Algebras, Morcel Dekker, Inc.New York, (1973)
3. Laursen, K.B and Neuman, M. An Introduction to Local Spectral Theory,
Clanderon Pres, Oxford, (2000).
4. Ülger, A. Some Results About The Spectrum of Commutative Banach Algebras
Under The Weak Topology and Aplications, Monaths.Für Math., 121, 353-379,
(1996).
5. Ülger, A. Multipliers With Closed Range on Commutative Semisimple Banach
Algebras. Studia Math. 153, 59-80. (2002)
Ekim 2005 Cilt:13 No:2 Kastamonu Eğitim Dergisi
Download