Professional Documents
Culture Documents
A N A L İ Z
Mustafa BAYRAKTAR
M2URUM-1987
İÇİNDEKİLER
1. B Ö L Ü M
ÖN B İ L G İ L E R
M dinle .......... 1
İ- 2 Kartezyen çarpım vebağıntı............................... 4
1-3 ttHlşün................................................. 7
1-4 İkili İşlem............................................. 9
1- 5 Kısmî sıralı cünle....................................... 10
1- 5 Problemler......................................... 14
2. B ö L ü M
M E T R İ K U Z A Y L A R
3. B ö L U M
B A N A C H U Z A Y L A R I
3- 1 Lineer uzaylar............. 48
3-2 Normlu uzaylar............................ .......56
3-3 EİJclldean ve üiiteruzayla^............................... 59
3-4 SUrekli fonksiyon uzaylar’ ............................... 65
3- 4 Problemler......................................... 69
3-5 Oonveks cünleler ve sonluboyutlu normlu uzaylar ..........71
3-5 Tanlık ve sonlu boyut .......... *.................. 75
3-6 Problemler........................................... 82
4 .B ö L U M
L İ N E E R O P E R A T Ö R L E R
4-1 Lineer operatör............ 85
4-2 Sürekli lineer operatör............. ........... .......... 92
4- 3 Sonlu boyutlu uzaylarda lineer operatörler ve
fonksiyoneller.......................................... 101
4- 3 Problemler.. ...................................... 106
5.B Ö L U M
N O R N L U U Z A Y L A R L A İ L G İ L İ ESAS
T E O R E M L E R
5- l Hahn-Banach ve açık dönüşüm teoremi............... ........108
5- 2 Kapalı lineer operatörler ve kapalı grafik
teoıemi............. 118
5- 2 Problemler....................................... 123
e.BÖLltN
H İ L B E R T U Z A Y L A R I
6- 1 Hilbert uzayı kavramı......................... ...125
6-2 İç çarpım uzayının diğer önemli özellikleri............... 132
6-3 Ortagonal Kocıpleman..................................... 134
6- 3 Problemler........................................ 141
6-4 Hilbert u z a m d a fonksiyonellerin tesbiti................. 142
6- 6 Hilbert eşlenik operatörler.............................. 148
6- 5 Problemler....................................... .
7.B Ö L U M
B A N A C H C E B İ R L E R İ
7.1 Cebir................................................. 154
7- 2 Aritmetik birim (regüler) olan elemanlar................. 159
7-3 Sıfırın topolojik bölenleri........................ 161
7-4 Spektrun....... ........................................ 162
7-5 Spekcral yarıçap için formül................. 168
7- 5 Problemler.................................... 170
Kaynaklar.............................................. 171
Serrbol İndeksi......................................... 172
Konu İndeksi........................................... 175
Ö N S Ö Z
Doç.Dr.Mustafa BAYRAKTAR
1 . B Ö L Ü M
ÖNBİLGİLER
A — B + » A Ç B ve B £ A
Tersine olarak,
O halde
dir. A nin m» B nin n tane elemanı varsa AxB nin ran tane elema
nı vardır. Bu yüzden tarifte çarpım kelimesini kullandık. İki
cümle için verdiğimiz bu tarifi kolaylıkla n tane cümle için
yapabiliriz. l<i^n ve olmak üzere X i cümlelerinin kartez
yen çarpımı
R - 1 -((y,x) i <x,yHR}
â — b **a~b (1 - 1 )
2) y Aj = A
3) i,jei ve 1 ^ j için A ^ A ^ - 0
. aeA * “ A
dır. Şimdi iddia ediyoruz ki a,b*A için a H b - 0 veya a - E dir.
Bir an için kabul edelim ki S n b / 0 dur. Bu taktirde e z a n E
olacağından c~a ve c~b dir. Simetri ve geçişme özelliklerinden
*'b yazılabilir. Böylece (1-1) den î™f> dir. ///
Fİ) Her xcX için (x,y)cî olacak şekilde bir ytY vardır.
f:X •* Y veya X Î Y
3) f: » • * » , y - 2 x olsun.
Şekil 1.1
y i ri (AXA) n ( Bx C) - ( A O B ) x ( A r i C )
b) A x ( B - C ) - ( A x B Ï - ( A x C )
Y ^ K A x ( B u C) - (AxBÏ VJ (AxCÏ
m - 9 ı /(*) s Yi
At Q A t-J(A t)Ç f(A t);
/(U..40 - W M . ) ; ‘
/<ru.) C nj(i4,).
«
15
2 . B Ö L Ü M
METRİK UZAYLAR
. 4
İR
2 6
Şok i] 2.1.
d(x,y) - |x-y|
O, ( x ^ x ^ ) - (y^»y2 )
d2((x1#x2), (y1 »y2))
ı, u x ,x2) / (yx »y2 *
d 3 <(X l ,x2 ), (y1 »y2 >) " maka tlx ı-yıl ' lx 2 ^ [ }
Şekil 2.3.
Düzlemde Euclidean metrik
*7
diyeli« (i-l,2). Bu taktirde,
v«
d(x,y) - ( H u ± * v i )2 )1/2
olur. Buradan
ve dolayısıyla
olduğundan
4 / 4 - (E u ^ )2 - (E u 2 ) ( E v 2 ) < 0
*
dır*. Bu eşitsizlikten
, «
o j / r~ 2---- 5“'*
ÎUİV İ - / ( ^ ¡ H E v - )
elde edilir.
d(z,w) - sup(Jz.-w.|)
ieN» 1 1
olarak tarif edilirse d, metrik aksiyonlarını sağlar. Bir mi-
21
taktirde
olduğundan buradan
Ia ♦ b| |a) |b|
dır.
(a l. jb j
l+|a| l+|b|
dır. ///
(2.8) aB <
- p q
dur.
22
İs p a t , eşitliğinden*
m m*
" y „
rf\ 1 t
-----(î)--
cA i
_ u _ . .
0 u O p
Ş e k il 2 .4 .
(2 .1 0 ) e ş i t s i z l i ğ i
d (2 ,w ) —T-----------1 -
11 21 1 ♦ Iz ,-w .
altcümlelerini düşünelim.
olduÇu görülür.
2 3
(2 . D ) MİSAL d metriği B , B ve B de sırasıyla
r <1
w r >1
dır.
t 9 «
t
-1. !>•
-I.ih ;».0)
•Hm ■ıı.m
1, -!*• -
w«, - t)
A.
Şekil 2.S Şekil 2.6 Şekil 2.7
(0,0) ın dj.l-yuvarı (0,0) ın d2, 1-yuvarı (0,0) ın dj, 1-yuvarı
* e — min{|l-x|,|x|)
Şekil 2.*.
(•,1) açık aralığı açık bir etoledir.
Şekil 2.9.
olacaktır.
M-MUMj
nu söyliyebilirlz.
Daha sonra görecemiz ki ayrılabilen metrik uzaylar ay-
rılamıyan metrik uzaylardan daha Önemlidir.
2 - 3 . repeleji* usa»* Metrik uzaylarda önemli elan uzak
lık kavramı topolojik özelliklerin incelenmesinde önemli d e
lildir. çünkü uzaklık topolojik bir sabit yani topolojik bir
özellik değildir. Bu sebeple metrik uzaylar genel uzaylar ol
makla beraber metrik uzay aksiyomları ancak bir dereceye ka
dar tatmin edicidir, çünkü metrik uzayların yapıları topolo
jik olmayan bir kavrama dayandırılmıştır. Topolojik uzayı ta
rif etmek için topolojik sabit olabilecek bir yapıya göre ta
rifi vermek lazım. Böyle bir yapıyı belirtmek için açık ctknle
kavramının uygun olarak kullanılabileceği görülmüştür.
a) x6 V dir.
/
ftşa^ıdaki teorem topolojik uzaylarda açık cümleleri k a
se eder.
D(A,x) — inf(d(a,x) î a6 A)
olur. Bu taktirde
b) 3 (z 1 #z 2 ) -makilxj^-Xjl , |y 1 “y 2 l}
ğunu gösterini*.
lim x « x
n-*** n
veya
Xn " x
il« İfade edilir. (xn> yakınsakVde9ilse <xn > ye ıraksak denir.
(2,29) MİSAL t x
" (1,1/n) olmak üzere düzlemde (x )
n n
dizisini düşünelim (Şekil 2.12). (2.4) Misalindeki d, d^ veya
d^ den herhangi birini kullanırsak bu dizi (1 ,0 ) 'a yakınsar.
Çünkü bu hallerde n€NI için
dır. c >0 için l/e<nQ olacak şekilde nQ tamı seçilirse n>nQ ol*
ması halinde d(xn , (1,0))<e olur. Fakat bu dizi dj metriğine
göre yakınsak değildir.
olarak tarif edilen d(M) ye M nın çapı denir, d(M) sonlu ise
M ye sınırlı cümle adı verilir(2*3.6 problemine bakınız).
35
d(xn'yn)"d(X'yÎ i d<xn'x,+diyn'y>
bulunur. Aynı şekilde
d(x,y) <d<x,xn )+d<xn ,yn )+d{yn#y>
ve netice olarakta
ilgilidir.
bulunur.///
İlerideki çalışmalarımızda (lineer operatörler teori
sinde) bir çek önemli neticenin uzayın tamlığına bağlı olduğu
nu göreceğiz. Mesela analizde F nin Q dan daha çok kullanılı
şının asıl sebebi F nin temliğidir.
l*n -b|<E
İSPAT t
la -a t < İz -z I
'm n1 - 1 m n1
- H a n-»>*Kbn-b)l
il an'a|>iV b|
olur, sag taraf n * » için sıfıra yaklaştığından *n - z6C dir///
2 n " izl ' *S'*'*) olmalt ÜICr° <Zn>' *■" da blr CaUChY
dizisi olsun. Bu taktirde m,n>nQ olduğunda
(2.39) | <e
X -► X -*T(xJ ♦ T(x )
n o n o
olmasıdır.
İ s p a t t T, x noktasında sürekli olsun. Bu taktirde e>0
iÇin d(xrx )<ö olduğunda d ^ T t * ) , T(x0 > X e olacak şekilde ¿>0
«ayısı vardır. Hipotezden dolayı xn > x olduğundan n>nQ olduğun
ca d (x , x ><6 olacak şekilde bir nQ tamı vardır. Böylece her
n>nQ için ), T(xo ))<e dır. Tariften dolayı bu T(xn )*T(xo )
demektir.
Tersine olarak
X n * x 0 * T(x n l ^ ( x o )
iken
n o İ CT n<X _) » T(x o ) > —> €
olacak şekilde x vardır, (n — 1 ,2 ,...) b u taktirde x_ -► x İken
n n o
T(xn >, T ( x q ) 1 a yakınsamaz. Bu T(xn )-*T(xQ ) oluşuna tezattır.///
1): X-»(X,d) nın inşasıı (X,d) bir metrik uzay ve (xn > ,
<yn > bu uzayda iki Cauchy dizisi olsun.
U n l ^ l - U - d O , ^ ) - 0
TV+~
olarak tarif edilen - bağıntısı <X,d> deki Cauchy dizilerinin
cümlesinde bir denklik bağıntısıdır. Gerçekten (X,d) metrik
uzayındaki her <x ) Cauchy dizisi için lim d(x ,x > — 0 oldu-
n p-K» n n
ğundan (xB )*(*n ) dlr. (xn )-<yn > ise <yn >-<xn > dır. Nihayet
(xn W y ) ve (y )-(s ) ise üçgen eşitsizliğinden ( x î - ( z )olur.
Şimdi d: X x X İR
d(W
ve buradan
olmasını gerektirir.
d ( x , x ) < - L * l i m d(z ,z )
n n n «
eşitsizliğinden
PROBLEMLER
olduğunu gösteriniz.
2 - 5 .9 ) H e r d i s k r e m e t r i k u z a y ı n ta m o l d u ğ u n u g ö s t e r i n i z .
3 . B Ö L Ü M
BANACH UZAYLARI
Matematikte bazı uzaylar hem cebirsel hemde topolojik
yapıya sahiptir. Böyle uzaylarda bu iki yapıyı birbirine baş
lamak, faydalı ve kullanılabilir bir teorinin ortaya çıkması
nı sağlar. Lineer uzay diye bilinen bir cebirsel yapı ile özel
olarak tarif edeceğimiz bir metrik uzay arasında bir irtibat
kuracağız. Böylece zengin bir teorinin başlangıcı olarak kabul
edilebilecek normlu uzaylarla Banach uzayları elde edilecek
ve bu uzayların bazı temel Özellikleri incelenecektir.
1 °) a. (x+y)-a.x+a.y dır.
x+y ■ <alfa2,...,an)*(bx,b2,...,bn> - ( a ^ b ^ a ^ b j , .. •« V V
(f*g)(a) - f(a)+g(a)
1) oFu - o L
2> a°L - ° L
3) (-a)x — a(-x) — -(ax)
dır.
51
1) x+yeM
2) axcM
* * i£ı*ıxi * aıxı*-••♦VS.
52
a n (0 ,0 , ...,0 ,1 )
dir.
•y 2+- T “ y 3+
.+« -Yr >
7<l,-l)+(2,l)+3(-3,2) - (0*0> - 0
dır.
e^ •• (1 ,0 ,0 , .. .,0 )
e 2 “ (0 ,1 ,0 ,..., 0 )
en - (0,0,0, ...,1 )
Jto • VI ■ 3. * f
1 1 * 1 H l x - y ♦ y İ l i l | x - y | M I y 11 •* I|x||-||y||<||x-y||
dır. Fakat aynı zamanda
- < l l x | H l y i l ) - l | y l M l x I l i l l y - x | | -||*-y||
olduğundan
Olarak tarif edilirse F n nin bir lineer uzay olduğu (3.2) der
bilinir. F n nin elemanlarını noktalar veya başlangıçtan bu
hoktalara giden vektörler olarak düşünebiliriz. Şimdi gayemiz
Üzerine uygun bir norm koymaktır. (Buradaki lineer uzay İşlemlerine)
bileşen bileşen toplama ve skalerle çarpma denir.)
A J xiyJ - l i i l
dır.
 |xlyjl <
I|x|I IIyII - 2
bulunur ki buradan istenilen netice elde edilir.///
(HÖlder eşitsizliği)
».i. a u » genel eler.» ,1 , 1 »,! ve ,£,!*,! i “ *»*“ o M «"■■■
I l» y l I - (1£1l v yı |2,V2’*'1l^ v H 2- 2
n
“ i £ l l V yl H V yJ
- Â K +yJ ííxií+lyJ ,
i l| x +y | | l i x | j * [ / x * y j | J |y/J
yani,
dır.
llxllj- (iiılx il 2 ) 1 / 2
<J(xm#x) < e
olur. B u (Xjn) nln limitinin x olduğunu gösterir. <xn ) keyfi
olduğundan İspat tamamlanmıştır# ///
*n yerine C n nın alınması halinde de tamamen benzer
İspatlarla cn nin tamlığıda gösterilebilir.,lelayısıyl* aynı
Ş e k i U e ispat edilebilen aşağıdaki teeremi verebiliriz.
dah* geneldir.
-I«| İMİ
olduğundan normun ikinci şart da saklanmıştır. Normun üçüncü
şartını yani
“ I|x|l + ||y||
IM y | Ip “ ılı I Ip - ¿ i Iv yı II v 7 ! ^ 1
 ilılxı 11x1+yilp”1+i£l|yi|lx1*yill>”1
yazabiliriz. Hölder eşitsizliğinden dolayı
11 f J | - sup (|f(x) |)
xcx
xeX
(3.33) İ V V - V V l <c
11 f 11 — sup{|f (x) |)
||f|| - supff(x)|
xeX
normuna göre kompleks bir Banach uzayıdır.*
* . ■■ ■—
ispatlara dikkat edilirse f , f ye düzgün yakınsar
68
olacak şekilde n^ > 0 tamı vardır. Şu halde her xeX için (f (x)>'
bir Causy dizisidir. Fakat F veya C tam olduğundan mesela
xQ eX için fn (xQ ) -*f(x ) skalerine yakınsıyacaktır. Böylece her
x^eX için bu şekilde tarif edilmiş bir f fonksiyonu elde etmiş
oluruz. Şimdi feC(X) ve f - f olduflunu göstererek ispatımızı
tamamlıyacaöız. (3.43) den dolayı n*<» için
PROBLEMLER
a) A - (feC[-l,l] : f diferensiyellenebilir) f
b) B — (f cC[-l, l] î herxe[-l,l] için f ( - x ) - f ( x » )
c) C - (f eC [-1,1] î t (x) >0}
olarak veriliyor.
«* _ w
n^l^an+^n*
n* ! 1 n n n < “ v* n£]JaaıJPn < * olduğunu gösteriniz
(«C).
Ş e k il 3.2
72
1 °) IMIj- |xx | ♦ | 1
Şekil 3.3.
yani ||y1-y2 ll <-j-' II 7 3 ^ 3 II < “p -' •• *' I lyn “yn*l I I < " ^ T olacak
şekilde y„, x +K de ve y 4İ , x Aİ+M de alınsın. Böylece N de
n n *n+i n+ı
bir (yR ) dizisi teşkil edilmiş olur, önce bu (y^) dizisinin N
dır. Bu taktirde
75
_ 1 n , 1 . ı . . 1
— ♦ — Y ♦ • • • ' 2n - l- m
2m 2 2£
i i 1 .n - m
1
< — — *■ lim
2 n-^»
- i n f { | | x n +m-y|| t mcM)
1 llyn -YİI
yn , m " i - l Yi x i
eşitsizliğinden
n n
* D a h a k a t i n o l a r a k d i s i a e l k o m p a k t d a n i r . Bu a n a l i z d e ö n e a l i
b i r k o m p a k t l ı k ç e ş i d i d i r . B u n d a n b a ş k a iki ç e ş i t d a h a k o a -
p a k l ı k v a r d ı r . F a k a t a e t r i k u z a y l a r d a bu Üç ç e ş i t k o n p t k l ı k
ç a k ı ş t ı ğ ı için ayırt etaege gerek yoktur.
80
e
V3.5S) j t e o r b m (Kompaktlık): N sonlu boyutlu normlu bir
uzay ve M, N nin bir altcümlesi olsun. M nin konmak t olması
için gerek ve yeter şart M nin kapalı ve sınırlı olmasıdır.
K i l l - n l I - l l  - i " e i l l i c l ai m I
dır. Şu halde sayıların (a^™ ) dizisi (i sabit) sınırlı ve
Bolzano-Weierstrass teoreminden dolayı yıkılma noktasına
sahiptir (Burada l ^ i ^ n dir) . (3.48' daki isnatta olduğu
gibi netice olarak (xm ) nin yakınsak Lir (z^) altcizisi var
dır. z -*z-Ia.e. olsun. M kanalı olduğundan zcM dir. Bu, M
de keyfi bir (xm ) dizisininfM de yakınsak bir altdiziye sahip
olduğunu gösterir. O halde M kompaktır.///
llx||-ı , ||*-y||>e
a - i n f | |v-y| |
yev
1 olmak üzere x - c ( v - y Q )
c—
ltv-y 0 1 |
I|x-y|İ - i|c(v-yQ)-y||
-c| |v-y0-c-1y| |
— c| (v-y1 |l . (Y1 - Y 0*c’1yî
1 | x 2 - * x lI
ıı*3-xiı i 4
(m / n)
MV*„I
PROBLEMLER
ve
63
fx * N-N, f (x) - x + x
*o xo
olarak tarif edilen f dönüşümünün birebir, üzerine ve
sürekli olduğunu gösteriniz. Ayrıca f 1 do süreklidir*
xo
4 . BÖ LÜ M
LİNEER OPERATÖRLER
Ç e k T - (xeL * T(x) - 0 }
dır.
(aT)(x) - aT(x)
“V ' V V *
87
“ lXl*° 2 X 2 t •••*°n.l“*n.l “ 0
bulunur. a^,a2 ,* * *'a n+l s,taler^e r ^nin hepsi birden sıfır olma
dığından iy^»y 2 *•••»yn+ı^ Cümlesi lineer bağımlıdır. Boyutun
tarifinden dolayı BoyT(L) < n dir.
rtaXj^+SXj) -aTÍXjJ+BTÍXj) - 0
î i t (x )h
1 1 x 11 sup sup 4 -i |T(x) ii sup ||T(4«)||
xc N XCN a xcN a
x/ 0 x/ 0
- sup||T(y)11
ycN
1İyil-ı
T(p)-p'
<mak| |T(e . ) | | S |Q . |
' i 1 i- 1 x
J 1 l“ 1 l i - s - H 1 i 1 a ie i |l - r N x | |
Yazılabilir.
a) T sınırlıdır.
b) T süreklidir.
c) T, bir-x eN noktasında süreklidir.
o
d) Şayet B - (x:|]x|j <1} cümlesi N de kapalı birim yu*
var ise T ( B ) * N'de sınırlı bir cümledir.
dır.
olur.
2) ı xeÇekT için xn -*■x olacak sebilde ÇekT d
(xn > dirisi vardır. (Bakınız (2.43)). Böylece bu neticenin 1)
kısmından dolayı Txn ■* Tx dir. Aynı şekilde T(xR ) — 0 olduğundan
94
IİTj t 2||-sup{| | (TjT2) (x))| |*||x|(<ı)» sup(| |t 1 (T2 (x ))| |:| [x| |^1}
1|t 2||.
t |a * A-*Y, T| a (x ) - T ( x )
fi X x - Y , * | X -T(x>
T : N B
95
T î îî ■»B
«ııurlı lineer genişlemesi vardır. {Burada N, N nin kapanışıdır.)
İs p a t i xcN olsun. (4.43) teoreminden dolayı x R -» x o l a
cak şekilde N de bir (xn ) dizisi vardır. T lineer ve sınırlı
olduğundan
f s L -*F
|f(x>*| <K||x||
I fix)I
| |f|| - sup - sup |f(x)|
xeX | |x| | xcX
| |x| 1-1
olup
dır.
ve
(aT) (x) -aT(x)
I I V Tnl l <E
olacak şekilde bir nQ sayısı vardır. Böylece her xcN ve m,n
ino için (4.12) den
98
(4.28) l|Tm (x)-Tn (x)|| - | | ( T ra-Tn )(x)|| < ||Tm -Tn || ||x| |<c| |x| I
|f (x)
| |f| | - sup - sup f (x) |
xcN xeN
X*) I|x|1-1
T(x+y)-T(x)+T(y) ve T ( a x ) - a T ( x )
- a f (x)+0f (y)
- a g x (f)*Sgy (f)
(4.33)
x - 0 l V a 2e 2+ * " +ane n
y- E 8,b
j-1 3 3
T(9t) - Z y h1I
1 1-1 31
yazılabilir. Bunlar (4.44) de yerine konursa
r n
y- Z 8jb . - Z a.T(e.)
t 0 i??1ib
i-1 M “ 31 l
3 “ j-ı
Z 1i-ı
1 Y 1ia
J1 i1 )b1
3
j-1 3 3 i-1 1 1
0 , . . . 0 , 0)
( 1 , 0 ,
o , . . . 0 , 0 )
( 0 , 1 ,
• . . e e
e .
( 0 , 0 , o , . . . 0 , 1)
n
-< Z y. t .) (x)
i-1 1 1
problemler
a) - (*2»x l)
bî T 2 ((x 1# x 2>) - (ax1 *axî)
c) T 3 ((xl#x 2)) -
d) T 4 ((x1#x 2)) -
T ( f ) - / b f(x)dx , fe«[a,b]
&
olarak tarif ediliyor. T nin sınırlı bir lineer opera
tör ve ||T|| - b - a olduğunu gösteriniz.
5 . B Ö L Ü M
|f <x) | |f fx) | .
11f_ 11 - s u p ( ------ , xeM , x ^ 0 ) ve | | f | | - s u n { ------ :x«M,x/<"
l|x|| ° ||x||
dır.
H nin reel veya kompleks oluşuna göre Lemmanın ispatını
iki kısma ayıracağız.
109
ve
if(x) — i(g(x)+ih(x)) — ig{x)-h(x)
olduğu için acC olması halinde de fG (ox) — afQ (x) olur. Böylece
fQ , M q kompleks uzayı üzerinde tarifli kompleks değerli bir
siyon olarak lineerdir. Geriye sadece ||f | | — 1 olduğunun göst^
rilmesi kalır. Eunu, xellQ ve ||x||— 1 ise | (x> | _< X olduğunu
111
n {x}
n— 1
d(V y) - Cn
eşitsizliğinden limxn - y - x bulunur.///
A - „ V A
cümlesi açık bir kümeyi kapsarsa bir m için Am de açık bir yu
varı kapsar.
I
114
2)
K, - tx)
i-1 1
o l d u ğ u m biliyoruz. Yukarıdaki 1) şartından dolayı
o* m
Xc (X-A.) - X - \ _ / A , ,
i-1 1 i-1 1
1) o A - {aa t aeA)
2) A + v - {a+w : aeA>
O-O'kS,
k— 1 A
elde edilir.
y +y.
ve
olacak şekilde u
n — T(w n )eT(S.)
ı ve v n - T ( z n )eT(S.)
ı vardır, w n ,
z^eS^ ve in yarı çapı 1/2 olduğundan
T ( w - z ) — T ( w ) -T( z ) — u -v y
n n n n n n
(5.13) S*-y - S ( 0 k ) C T Î s ” )
o o
(5.14) Vn -S(0,c/2n)C:T(Soj
elde ederiz.
3): Son olarak V x - S ( 0 *e / 2 ) C T ( S Q ) olduğunu gösterece
ğiz. yeV^ olsun. n ~ l için (5,14) den V ^ C T ( S ^ ) olur. Yani
yeTlS) dir. (2.41)-a) dan dolayı y ye yeter derecede yakın bir
vcT(S1 ) olacakından ||y-v|i<e/4 yazabiliriz. v e T t S ^ olması
v-Tiij^) olacak şekilde x ]eS1 olmasını gerektirir. Böylece
Aynı yolla
||(y-T(x1 ))-T(x2)||<-|-
k«m+l k»m+l
11(x»y)11 - I|x[l*|Iy11
yani T sınırlıdır.///
Fx (af+8g> - (af+Bg)(x)
- a f (x)+Bg(x)
- “V BF x (9>
P - O T ^ i y e N * ! |y| İ<_n)
n i-ı 1
PROBLEMLER
5-2.9) N normlu bir uzay ve M, N nin bir alt uzayı olsun. Üs
telik farzedelim ki x cN dir. Gösteriniz ki x c m olma-
o o
sı için gerek ve yeter şart f(M) - 0 olduöunda f(x )¥0
o
olacak şekilde bir fcN* olmasıdır.
125
6. BÖLÜM
HİLBERT UZAYLARI
x . y - x x y1+x2y2+x3y3
nokta (veya skaler) çarpımı,
|xj - / x . x
eşitlisi ve
x.y • 0
İl) <x+y,z>-<x,z>+<y,z>
1 2 ) <ax,y> — o<x,y>
1| || * x R İÇ çarpım yardımıyla
<x,y> - <y#x>
<x»x>*<x,y>+<y,x>*<y,y>
♦ <x,x>-<x,y>-<y,x>+<y#y>
— 2 <x#x>+ 2 <y,y>
-2 (1 |x| l 2* l | y | l 2>
< x , y > - x . y - x Iy 1 ♦ x 2 y 2 ♦ x 3 y 3
<x, y> — x .y — 0
.+
■ »n
d(x,y) - ||x-y|| - ( I ^ ı - y ^ 2 ) 1 7 2
2 2
metrisine göre i nin tam olduğunu ispatlıyarak t nin bir Hil*
bert uzayı olduğunu göstermiş elacafız.
dır. Demek ki i nin her sabit seçimi için (xj , x 2 ,...) b veya
C de bir Cauchy dizisidir, ir ve (T tam olduğundan bu Cauchy di
zisi yakınsaktır, m-** için xj + x^ olsun. Her i için bu limitler
yardımıyla teşkil ettiğimiz diziyi x ile gösterelim. Yani x-(x^>
x 2 ,...) olsun. Şimdi xm + x ve xei 2 oldudunu göstereceğiz. (6.14)
den k - 1 , 2 ,... için
İ |x? - x j | 2 < c 2
i- 1 1
x-x ♦ (x-x )e l 2
n n
2
sonucuna varılır. (6.14)'e dikkat edilirse (6.15) [d(xm f x)]
dır. O halde x - x dır. <x ) keyfi olduğundan l tam ve dola -
m **
yısıyle Hilbert uzayıdır.
<x,y>- Z x.y.
1-1 1 X
fix) ♦ 9 (x ) - 1 + -j£ | -
f(x) - g(x) - l - - j £ J -
ve dolayısıyla
ve P - C olması halinde de
İs p a t t (6.18) teoreminden
134
-l<xn'yn_y>l * l<xn’x'y>l
$ - i n £ d(x,y) (M 7*0)
yeM
i — inf||x-y 11 (M/0)
ycM
Şekil 6.2.
135
S - | |x-yf |
şartını sağlayan bir yeM noktası varmıdır? Böyle bir y varsa
bu y tek midir? Bu sorular bir varlık ve teklik problemini o r
taya koyar. Bu husus teorik olduğu kadar uygulamalar yönünden-
de büyük öneme sahiptir.
Şimdi yukarıdaki sorulara cevap vermek için R 2 de m
V V
\ ı
V ı*
\ Mı
M
â) b) c)
Şekil 6.3.
(z : z - o x ♦ (l-a)y)
< - ( 2 6 ) 2 ♦ 2 (6 2 + 6 2 )
— n m
- * n * I l y n ’ y l * "■ 6
Il*-y| I- « ve ||x-yo||-6
l|y-y0ll2-ll<y-*)-<y0-*>ll2
- 2 ||y-x|| 2 + 2 |jy0 -x|| 2 -||(y-x) + <y0 -x ) | | 2
<ztyx > — 0 ^ 0
bulunur.
138
K 3 - YL © Y 2 © Y 3 - Y x © Y 4 - Y 2 © Y 5 - Y 3 ® Y 6
H - Y © Y1
dır.
(6.27) x— y ♦ z , zeV 1
x - y + z - y 1 +z 1
p : H ♦ Y, p(x) - y
Y - y 1J~
dır.
İSPAT t (6.29)-4) den dolayı Y & Y X 1 dır. O halde teore
mi ispat etmek için Y X1fcY olduğunu göstermek yeter. x e Y 1 X o l
sun. Bu taktirde (6.26) teoreminden dolayı x - y+ z olacak şekil -
de y e Y c y 1 1 vardır. Y iX bir vektör uzayı ve x e Y ' olduğundan
z - x - y E Y i L ve böylece z i Y 1 dir. Fakat yine (6.25) dan dolayı
zeYX dir. Bu iki husus birlikte düşünülürse z-Lz olur. Bu ise
z - 0 olmasını gerektirir. Netice olarak x - y bulunur.Yani xey
PROBLEMLER
a) ||x+y||2 - ||x||2+||y||2
6-3 .5) H bir Hilbert uzayı ve M* H nın alt lineer uzayı olsun.
* I
M kapalıdır **•M — M ■‘"dır. İspatlayınız.
6-3 .6) H bir Hilbert uzayı ve A, H nın lineer alt uzayı ise
. „XX rX
a) A —A
b) A * - Â X
olduğunu gösteriniz.
(6.33) f(x)-<x,z>
dir.
İ s p a t , önce f nin (6.33) deki gibi tarif edilebileceği
ni gösterelim. Şayet f - 0 ise z - 0 olarak (6.33) ve (6.34) Un
sağlandığını görürüz, f * 0 olsun. Şimdi (6.33) eşitliğinin o l
ması halinde z nin hangi özelliklere sahip olacağını düşünelim.
Herşeyden önce zj*0 olmalı. Aksi halde f - 0 olur, ikinci ola
rak f(x) - 0 şartını sağlıyan x 1er yani xeçekf için^<x,z> - 0
olmalı. Böylece z l ç e k f dır. Bu husus çekf nin çekf dik komp-
lemanını düşünmemize vesile olur.
v - f (x)zQ -f (zQ )x
olsun. Bu taktirde
yazılabilir, z — — —
*o'zo °
Ş-rr olarak alınırsa xch keyfi oldudu içi«
(6.35) ispat edilmiş olur.
ve böylece z ^ — z 2 bllunur.
dır. Bu,
I !f 11”lix|T-ı
,*V? I <x' z>l 1 İMİ
olmasını gerektirir. Netice olarak ||f||~||z|| dir.///
c) h(ox,y) — ah(x,y)
d) h(x, 6 y) - 5 h(x,y)
h(x,By) — Bh(x,y)
|h(x,y)|
| |h| | - sup xcN- (0), yeN*-{0)}
ilx || \ |y| \
— sup{|h(x,y) |s 1 1 x 11 - 1 , 1 1 y| J - 1 }
|h(x,y) I1
l(h| | — sup { - * x*0 , y^O)
li*ll I H I
olduğundan buradan |h(x,y)| < | |h| | U x | | ||y|| elde edilir. Bu
h nın sınırlı olması için gerek ve yeter şarttır.
hî x Hj -*P
IİSİI - | | h | |
dir.
h(x,y) - <y,z>
olsun. Bu taktirde.
elde edilir. Buradaki zeH2 bir tek olup sabit olarak seçtiğimiz
xeH^'e bağlıdır. Dolayısıyla,
S: H x + H 2 , S(x) - z
h(x,y) - <S(x)#y>
bulunur.
S(axx+Bx2) -aSx1*6Sx2
elde edilir.
lls(x)||
— sup (• Misil
11*11
146
dır.
T # : H 2 -^H1
dönüşümü,
<T(x),y> - <x,T*(y)>
||r*||-||T||
dır.
- a ^ T i x ^ + ß<y,T(x2)>
- ä h ( y , x 1 > + ffh(y,x2 )
|<y,T(x)>| |<T(x),T(x)>|
I |h| | - sup { x j*0 ,yj*0 } sup {
I|y| t llxN l|T(x)|| 11 x 11 *
x^ 0 , t (x ) / 0 }-|| t ||
h(y,x) - <T*y,x>
dır.
0 - S(ax+y) ,ax*y>
-c*<S(x),y> ♦ ö<S(y),x>
ve a — i alınırsa
b) (S+T)*-S*+T* dır.
c) (aT)* - aT* dır.
i) (T*)* » T dır.
e) 1 1 t * t | | - | |t t *| | - | |t | | 2 dır.
f) t *T — 0 4» T - 0 dır.
g) H 1 - H 2 ise ( S T ) * - T * S * dır.
dır.
b ) : Yine T* m tarifinden her x e H 1 ve her ytHj
İçin
<x, (S*T>* < y ) > - <(S*T) (x) ,y> - <S(x>,y> ♦ <T(x> ,y>
- <x,(S*+T*)(y)>
bulunur. (6.35) teoremin den dolayı her ycH 2 için (S + T)* (y) -
(S**T*)(y) elde edilir.
-S<y, T ( x ) >
— â<T*(y),x>
- <ĞT*(y),x>
elde edilir.
il|T*T|| 1 1x112
ve buradan da
g) t T* ın tarifinden
PROBLEMLER
6-5.3) (Tn >, bir Hilbert uzayı üzerindeki sınırlı lineer opera
törlerin cümlesi ve T -*T ise T* •* T* olduğunu gösteriniz.
n n
6-5.4) H bir Hilbert uzayı ve T: H + H sınırlı lineer operatör
olsun. T - T * ise T ye hermityen denir.
7.BÖLÜM
BANACH CEBİRLERİ
bağıntısı vardır.
Çarpma işlemi birim elemanlı ise yani her xec için e.x
- x . e - x olacak şekilde bir eeC varsa C ye birim elemanıı cebir
denir. (Genellikle bu birim eleman e veya lc *ıle gösterilir).
Her x,yeC için x . y - y . x ise C ye değişmeli cebir adı verilir .
F nin R veya C olması halinde C ye sırası ile reel veya komp
leks cebir denir.
llell-1
“ H x n <yn'y) + y ( x n"x>11
i l l x n || I[yn - y | M l y l 1 llxn-x||
| |f j | - s u p { | f (x) |: xeX)
-sup{|f(x)| |g(x) | }
“ 11*11 Iİ9İI
olduğu gibi her xcX için *(x) * 1 sabit fonksiyonu birim ele
man olup ||*|| — 1 d ı r .
158
x -1 - e ♦ E (e-x)n
n— 1
dir.
|| ( e - x ) n | | < | | e - x | | n - r n
«O -
den anlaşılır ki £ (e-x) serisi mutlak yakınsaktır. C tam ol-
r*-l
duğundan bu seri C de yakınsaktır. Bu toplam s ile gösterelim
• m
yani s * £ ( e - x ) olsun. Şimdi y - « * 8 diyelim. C deki çarpma
n— 1
sürekli olduğundan m
y _xy - (e-x) y — (e-x) (e + s) - (e-x) ♦ (e-x) E (e-x)
bilir.///
160
'2iı=t;1ı ı 2ıix-xoıı
-1
zr e
n e+(z-rn ,rn 1 + (z -r )z **0
zz 1 \----
n n n
vx (X) - (x-Xe)”1
ve netice olarakta
- f [ v x (X)-vx (u)]
- f [ ( X - u ) v x U ) v x (u)3
- (A-u)f(v x (A)v x (m ))
yazılabilir ve buradanda
h(A) - h(u)
f<vx U , v x <lj))
A-p
b (X) - h(u)
lin — ■ f(»x(X)2)
X-*M A-p
A + B - ia^+b^) , X A - ( X a A ^)
olmak üzere
2 2
dır. Fakat det(A-AI) — X + 1 olduğundan X +1-0 şartını sag-
lıyan reel sayısı yoktur. Demek ki o(A) — 0 dur.
dır.///
4
— s up ( | f ( a > | * M
xn -Xe - (x-X^e)(x-X^e)...(x-Xne)
vx U ) -
~ - X _ 1 (l - - f ) * 1
(7.27) - - ^ [ l ♦ î -Ç-l
n— 1 X
Z f(xn/an )
n— 1
l|xn/an || <K
veya
||xn |I1/n < a x 1/n
bulunur. Yeter derecede büyUk n 1er için < a olduğundan
sonlu sayıda n 1er hariç diğer bütün n 1er için ||xn ||1^ n < a
dır. Bu ispatı tamamlar.///
170
PROBLEMLER
A B - ( a ^ ♦ b A j) ,
KAYNAKLAR
SEMBOL İNDEKSİ
$ , Kompleks sayılar,
I , özdeş dönüşüm, 8
11'
12 v
jj/ , İç çarpım fonksiyonu şartları, 126
14j
*p .«
i2 , Hilbert dizi uzayı, 129
tp , 131
L(L,Ii' ), L den L' ye lineer operatörlerin cümlesi, 36
M1l ,/
, Metrik aksiyonları, 18
H2(
M3.I
M , Posltif tam sayılar cümlesi
II II , Norm, 57
KONU İ N D E K S İ
A
açık birim yuvar» 23 civar,27,30
açık dönüşün, 114 etinle, 1
açık dönüşün, teoremi» 114 dinlenin çapı,32
açık dinle, 24,30 dinlenin üst sının, 12
alt Banach uzayı» 154 dinlenin alt sının, 12
alt cebir, 155 çekirdek,85
alt uzay, 51 D
alt uzayların direk toplanı, 138 denk norm, 78
alt uzayların toplamı. 138 denklik bağıntısı,6
aşikar altuzay,51 denklik sınıfı,6
alışılmış metrik, 16 dik izdüşün(operatörü),139
alt liner uzay, 51 direk toplam, 138
aynlabillr,7 * diskre metrik» 19
ayrılabilir uzay,29 dizisel kompakt metrik uzayı,79
aşikar altuzaylar 51 dönUşün, 7
B dual uzay,99
Bal re teoremi, 113 E
bağıntı, S esas dizi,36
baz,53 en bUyUk alt sınır, 12
Banach ceblrl, 156 en küçUk Ust sınır, 12
Banach-Steinhaıse Teoremi »122 epimorfi, 156
Banach uzayı*57 eşlenik lineer dönüşün, 145
bilinen metrik, 18 eşit cünle,2
boş etinle,2 Eüclidean metrik, 19
boyut,55 eşyapı dönüşünü, 118
bblUm dini esi ,6 etkisiz eleman,9
bölün uzayı,56
bir dinlenin sının,31 -civan,27
bileşen bileşen toplama ve Skalerle
çarpma, F
birebir fonksiyon, 9 fark cünlesi ,3
C fonksiyon,8
Cauchy dizisi, 36 fonksiyonel, 96
Ceuchy eşitsizliği, 60 F.Riesz teoremi, 80-82
Cauchy-SchMarz eşitsizliği 60 G
Cauchy yakınsaklık kriteri,36 Gelfand-Mazur teoremi, 165
cebir,153 genişleme, 94
cebirsel dıal, 100
t
H L
Hanh-Banach teoremi 111 limit,33
Hamel bazı, 70 limit noktası,28
Hillbert eşleniği, 143 lineer uzqy işlemleri,49
Hilbert eşlenik operatörü, 148 lineer altuzay,51
Hilbert uzayı,127 lineer ve topolojik eş yapılı uzay,84
Hölder eşitsizliği,60 lineer ve topolojik eş yapı dönüşünü,84
lineer bağımlı,52
1 lineer bağımsız,52
lineer dönüşüm,145
tç çarpım (dönüşümü),126 lineer operatör,85
iç çarpım, 126 lineer terkip,52
iç çarpım, uzayı 126 ' lineer uzay,48
içine fonksiyon,8 lineer uzayın boyutu,55
ikinci dual uzay, 121 lineer uzay işlemleri,49
İkili bağıntı,S M
ikili işlem,9 makaimal eleman,12
ımaji,8 merkez,23
İç nokta,27
İnfimum, 12 metrik.17
iyi tarifli,9 metrik uzay,17
izomorfi,99 metrik uzayların tamlaştım ışı,42
izcmetri,42
izometrik izomorfei.100 Minkowski eşitsiziiği,61
İzcmetrik uzay,42 minimal eleman,11
iztfişün dönüşümü, 139 mutlak konveks, 83
K ııutlak değer,16
mutlak değer metriği, 18
kapalı cihıle,24,28 N
kapalı grafik teoremi, 119 norm,56,90
kapalılık ve kompaktlık, 80 norm metriği, 57
kapalı lineer operatör, 119 normlu lineer uzay,73
kartezyen çarpım,4
kısmî sıralama bağıntısı, 11 normlu uzayT73
kısmî sıralı cUmle, 11 n-beyutlu Eüclidean uzay,59
kompakt metrik uzay, 79,80 n-li işlem,9
kompleks Banach uzayı, 68 0
kompleks cebir, 155 operatör,85
kapalı yuvar,23 0
kenpleman, 140 özdeş elemen,9
kcnpleman Çift, 138 P
konveks cünle.71,135 parçalanış,7
krcner deltası, 103 parça,135
kcnpleks lineer uzay,49 parelel kenar kanuru, 128
koordinat eksenleri, 51 p-normlu uzay, 70
koordinat düzlemleri,51 Pythagorean metriği, 19
kapanış, 28
R U
reel lineer uzay,49 üçgen eşitsizliği,76
reel Benach uzayı,58 Uniter uzay,63
Relsz temsil teoremi, 146 V
Reisz teoremi,143 vektör,49
Rezolvant eşitliği, 163 vektör uzayı,48
S vektör uzayının boyutu, 56
Schwarz eşitsizliği,132 y
sıfır, uzay,85 yakınsak dizi,33
sıfır vektörü, 104 yakınsak diziler teoremi, 37
sınırlı dizi,35 y a n norm,70
sıralı ikiyi,4 yığılım noktası,28
sınırlı lineer fonksiyonel,142 yo&jn ctkale,29
sınırlı lineer operatör, 89 yuvar,23
s—dizi uzayı,122 yuvar yüzeyi,23
s-llneer dörüşLWİ,145 Z
sıfır boyutlu uzay,55 Zom-Lenması,13
sonlu boyutlu uzay,55 zincir,11
sonsuz boyutlu uzay, 55
sonlu boyut,79
sınırlı s-lineer fonksiyonel,145
sonlu boyutlu nomlu uazy,75
supremin, 12
spectral yarıçap,165
sürekli dönüşthn,27,30
skaler, 49
T
taban,53
tamlaştırma,43
tamlık, 36
ters dünüşLbn.S
ters bağıntı,5
ters eleman,9
topoloji,30
topolojik uzay,30
topolojik eşyapa dönüşünü, 84
topolojik eşyapılı uzay,84
topolojik vektör uzayı,83
türev operatörü,120
tan -uralı cümle,il