BAB n i PURATA JARAK PADA RUANG BANACH

advertisement
BAB
n i
PURATA J A R A K PADA R U A N G BANACH
Konsep bilangan Rendezvous
telah banyak dibahas
oleh para ahli matematika
diantaranya Yost (1982), Davendra et al (1990), W o l f (1994), dan L i n (1997). Para
ahli tersebut membahas konsep ini dari berbagai ruang dan permasalahannya.
3 . L Bilangan Rendezvous
Pada bagian terdahulu telah disinggung tentang defmisi bilangan Rendezvous serta
kewujudan
ketunggalan
bilangan Rendezvous
d i ruang
kompak
tersambung.
Selanjutnya akan ditentukan bilangan Rendezvous dari beberapa ruang Banach yaitu
c^J.J^Jl
Untuk
danC.
kasus
i•^,dsn (.^ymg
merupakan
ruang
ip
dengan 1 < / ? < < » ,
sebelumnya diberikan definisi vektor support seperti dalam Rudin (1987) sebagai
berikut.
Definisi 3.1.1. M i s a l k a n / fungsi kompleks pada himpunan X sebarang. Support dari
/adalah penutup (closure) dari himpunan {x :j{x) if^Q,x& X}
Selanjutnya untuk kasus i n i Hinrichs (2000) menuangkan dalam sebuah
proposisi sebagai berikut.
Proposisi 3.1.2. Untuk 1 < p <<x>, bilangan Rendezvous dari £ ^ adalah \/2 .
Bukti :
Misalkan X = ^ ^ . Untuk ne N,
misalkan
XI,...,JC„
merupakan
GS{X)
vektor-vektor support yang saling asing dan pilih vektor lainnya XGSQC)
1 "
x|| = 1. Akan ditunjukkan untuk n sangat besar, — ^
dengan
Misalkan A t
- x|| = yfl.
merupakan support dari xj- dan notasikan o"^ ~ \\x IA^ || = \x- [x i A^ | .
Karena ||x^ - x||^ = 1 - ||x | A^ ||^ + j|x - x | A^ jl"" dan _p > 1,
x^ - x| > 0,serta \x\A^.
> 0 maka
l - o - , = l - | | x | A , | | < ||x,-x||<i|x|A,-x|| =
= l + | | x | A ^ | | = l + c r ^ . Jadi 1 - < T J .
Definisikan 0^{a)
X^ - X
={l-cr^
= (l-||x|A,
<
+ ) P
||x-x|A,||<|^
| | X - X | A ^ | | <
d
a
+ ix-xiA,rj^
n
=
+ x|A,||<||x||+||x|A,
1+cr^ .
(l-or^ + ( l - C T ) ^
<(l-|^|A,
X +
XIA^
S ( l - ijx i A , ij-" + ^ixjl ^\\x\A,iff=(l-a/^{l^a,yf
x^
x|A^r
- X
+ jx-x|A
(3.1.1).
p>
l - | | x | A ^ f + ( | | x | | - | [ x i A ^ | j y ' ) ' =(^-a^
+{l-atY)p
(3.1.2).
dari ketaksamaan (3.1.1) dan (3.1.2) di atas diperoleh
0_(^,)<||x^-x||<0,(o-J
(3.1.3).
sehingga
t^-(o-J< t | k - x | | <
ir=l
k=l
ZO.(^,) d a n - t o > , ) < - t Xi.
lr=l
nk=l
n t=l
- X
n
ic=i
25
kontinu maka setiap
sehingga
< D ^ ( C T ) - ^
.--<0^{a)-yf2
<~
S > 0
< - bila |cr-c| < <^.Misal
|IJ'+(<T)-0^(C^
maka
e > 0 terdapat
e
< —
2
— . Berdasarkan
atau yfz--<<!>+(a)<yf2+
ketaksamaan
(3.1.3) maka diperoleh
^
—
2
< x^
Z
-
- X
2
1 , < T ^
A
/
^V2-V
2y
n-
Berdasarkan sifat
} , maka diperoleh
1
Ix^
<
-73
I
n
A
^
r-
V
\A\ <
+ -
2y
Misalkan ^
n
- x|| < 0 ^ ( 0 - , ) <
_ _ <(D_(a, )<
Xr -
X
2 / 7 2 t=i
F\
1 "
2;
7? jt=i
saling asing dari
<-n
n
n
(3.1.4).
-v^ - X
«
V
2/
danj|x|| = 1, pilih ^(J^
< 1 maka diperoleh
. Substitusikan nilai \A\ ke ketaksamaan (3.1.4), sehingga diperoleh
2y
r^^-Zlk-xj|<C/2 + ^ +
2
73*5'''
Pilih nilai « sangat besar (TJ
nk=i
2
0 0 ) , maka diperoleh
nS^
26
1
lim
Pfl-'-
2
2
n
< ^ / 2 + - atau
2
1 "
'^j2-£<-Y
</2 + ^
2
< ^ 2 + £•. Hal ini berarti jika
+ £ atau a e |\/2 , 1 < p <ao.
maka ccG ^-e,yf2
«=-z
- ^"< lim
^-Z
n^''
^
2
Dari proposisi 3.1.2 di atas dapat dilihat bahwa bilangan Rendezvous dari
£^ adalah
sedangkan bilangan Rendezvous dari
adalah 0 .
Dalam membuktikan proposisi berikutnya digunakan lema berikut yang
dikutip dari W o l f (1994).
Lema3.1.3. Misalkan x = {a^,...,a„)G
— Z
2n
x-e.
+
1=1
II
X4-
£", max|a,| < 1 maka
1
""
= 1+-
1II
j|x
Selanjutnya akan dihitung bilangan Rendezvous dari £ " dan £j'
seperti pada
proposisi berikut.
Proposisi 3.1.4. Bilangan Rendezvous dari
Rendezvous dari
3
adalah — untuk semua
2
1
adalah 2 — dan bilangan
n
n>2.
B u k t i : Untuk kasus £^", misalkan S = XG£^" \ \\x]\ = l | adalah unit sphere dari £^
A m b i l X G S sebarang, maka ||x|| = 1 seliingga dari lemma 3.1.3 diperoleh
2n
1=1
x~e.
+ x + e. = 1 +
«-l
n
1
^11 = 2 — .
n
Dengan menggunakan
diperoleh bahwa bilangan Rendezvous dari £ " adal ah 2 - —.
n
teorema (3.1.2)
27
J?^", misalkan-S" = [c G
Untuk kasus
| jj.vj} = l | adalah unit sphere pada
a.
0^^
0
f-J.
Ambil.V e ^sebarang maka |jxjj = 1, x = (cc ) = (V/,,...,a„) =
1
= suplx - e _ = sup||.v -
^, |A- -
jl^,..., ix -
^
Ml<r.
n
2
f "
sup^ z
2
z
(
)*••>
n
n
n
"
n
• < sup- z
z
,-..,Z
J
Karena x = 1, maka
||x-4_ <max|X
x+ e
= supj|x+e,| = s u p j | x + e ,
x+
x + e.
1
sup
1
<sup]zk + ^il-.Z
Z
z
...(3.1.5).
,1
,...,z
V>1
Karena x = 1 maka
...(3.1.6).
7= 1
Diiri ketaksamaan (3.1.5) dan (3.1.6) diperoleh
X - e\\ +\\x+ e =
sup^^x-e^
X-
e
x-e.
x-e.,
\+sup^x
1 +
+ e^
x + e.
28
< max< ^ a J
- ey
X ' + maxi
.--2
2
7=1
7=1
karena e, merupakan vektor unit dari
x-e
dan x = ( « ^ ) e
serta maxja,! < 1 maka
X + e\ < max(|a, - l | , l ) + max(a, + lj,l) < 3 sehingga diperoleh
-\\\x-e.
2
+
...(3.1.7).
Selanjutnya misal 6 i = ( l , l , . . . , l ) dan bz={-\,l,...,\),
X -
7=1
serta
6, II = sup 1^, - 6, |[ > m - 6, |[ > i |«, - 6,1 dan
1=1
X + 6, II = sup ||a, + 6,11 > ||cir - + 6, j| > 2) |a, + 6, | maka
X -
(ja,
6,II + ||x + 6, II + ||x -
^21+
Ik
1^2 + 1J + . . . + 1 « „
^zll - ( l ^ " l | + I'^z - l | + ••• + |^« ~
(|«, + l | + k
(|«, - 1 | +1^2 +1| + . . . + |a„ +1|) ^
1^2
-1| +
2+ 2+
disisi lain x - 6 , | + x + 6 , | + x - i ^ l k |x +6^
(jo', - l | + k
-lj+...+ k
- l | ) + (|a,
-l|+
1^2
+
+1| = 6
>
+1| + |c*^2 +1| + . " + 1 « „
(|a, + l | + 1 « 2 -1J + . . . + | « „ - l j ) + ^ « , - l | + k
+ l | + ...+
+
k
a , - l | + 2+|o;, + l + 2 = 6 jadi | | x - 6 , + x + 6, + x - Z ) 2 J + x + 62
( j x - i i | | + x + 6[ + j j x - 6 .
+
x+
> 6 atau
...(3.1.8).
29
1*1 II ~ 11*2 II = s"p||li||, - 1 = Ikll sehingga
ISiSn
||jc - 6j I + ||x + 6j + X - 62II + j-'^' + ^2 -
K " * i II
^^P^f^i * i II.
-^"/^IK
*2
+
sup
1
+ sup
Vi=i
2 a,+6,,-,
1=1
EK+6I
V1=1
1
+ sup
sup<
Vi=l
1
= sup
1=1
V'=i
oc — e
1
+ sup
1=1
Vi=i
1
sup-
1
+ sup
Z
Vi=i
-supj|x-ej|_ + sup||x + ^J[ + s u p | | x - ^ , | + sup||x + e,| = 2(j|x - ^ + ||x + e||)
ISjfin
ISiin
ISiSn
Dari ketaksamaan (3.1.7) dan (3.1.8) diperoleh
5« x-e
1
2n
^
x-e,
^+^11)=
|t-*ill+lk+*ill+lk-*2
\
1 " 3
x + e, ) = — =
n
2
3
—•
2
Dengan
diperoleh bahwa bilangan Rendezvous dari
menggunakan
.1)4teorema
(3.1.2)
adalah - .
3.2. Purata J a r a k Pada Ruang Banach
Suatu ruang Banach X mempunyai sifat purata jarak j i k a terdapat bilangan real yang
tunggal r = r(X) sehingga untuk setiap bilangan bulat positif « dan semua x/, X2, . . . x„
1 A
didalam unit sphere di X ada suatu x d i X sehingga — Z l k ~ ^1 ~ ^ • • ^ ^ ^ ^^^^ J"S^
n
30
dikatakan suatu ruang Banach X
mempunyai sifat purata jarak, j i k a unit sphere nya
mempunyai bilangan rendezvouse
yang tunggal. Proposisi berikut i n i mengatakan
bahwa Co himpunan semua fungsi kontinu dan terbatas yang konvergen ke 0, tidak
mempunyai sifat purata jarak.
Proposisi 3.2.1. Co tidak mempunyai sifat purata jarak
B u k t i : Misal P]^k > 1) dinotasikan sebagai proyeksi kanonik onto subruang yang
dibangun oleh ei,...,e]r . Misalkan L
maka
Pt:
S—^^^^L.
x\ - l i m t u k / =
adalah subruang yang dibangun oleh
Misalkan xi,...,x„
G
S
dan pilih K
> 2
ei,...,eh
sehingga
. Berdasarkan proposisi 3.1.4 ( kasus (.^'^) terdapat x & S
dengan iE-P^^^ )x=0 dan - Z | K * ' ~ ^ ^ ~ sehingga
3
- Z Ik - A ^ - z K
"
1=1
"
1=1
Misalkan £• > 0, pilih kis N sehingga
Untuk setiap / maka diperoleh
^, - % I! = (^1 - ^k, \x,-e,J
- - I = - z IK-'- - H
"
(x, |
2
1=1
)j < f u n t u k / -
dengan ||x,|| = 1.
= ((x, I X , ) - 2(x, I e,^)+ (e,^ | e,^)} = (]|x,|| - 2(x, \e^)+ ||e,_ ||^
= (l - 2(x, I e J + 1> = (2 - 2(.x, I e,^ f<\2-
2(x. \e,^f
= |2(x, | e J - 2
= (2(x, I . J - 1 ^ = 2 ^ ^ , I . J - 1 ^ < 2 ^ x , I . J - 1 .
Karena x j = 1 untuk setiap / = 1,2,...,n maka
x, - e^^^ < max((x,
- f ^ X, - e^ II < -i Xtn i a x ( ( x , I e,.) - 1 , l ) < 1 + £•. Dengan menggunakan
l|,l)
teorema
nilai
«1=1
tengah jika l+e , ^ ^ ^ suatu interval subset R maka terdapat a & R sehingga
31
1
1 "
ni=i"
«1=1
X, - X
n
1 "
" ' n~/=iZ11-^". ~ ^
£>
0
1=1
P;^ X,. - X
°
maka «
II
"
1 "
atau 1+ £ <—Y,X ,
Dengan
e1,-
-
X
n ,=1
demikian
< - .
2
diketahui
Karena
bahwa
. Karena bilangan Rendezvous dari Co tidak
bilangan Rendezvous dari Co adalah
tunggal, maka CQ tidak mempunyai sifat purata jarak.
Misalkan X ruang Housdorf dan C(X) ruang Banach dari semua
fungsi
kontinu bemilai real pada X dengan norma supremum, berikut i n i akan d i tentukan
purata jarak untuk C(X) dalam berbagai kondisi. Namim sebelumnya d i bahas terlebih
dahulu beberapa Lema pendukung untuk analisis purata jarak
dari C(X).
Lema 3.2.2. Misalkan X ruang Hausdorff kompak yang sekurang kurangnya memihki
dua
titik.
ll./;lhli/2ll='
Untuk
setiap
nGNdm
= / J = 1 . Maka terdapat
f^,f^,...,
dan
C(X)
di C(X) dengan | | / , | =
dengan
=1
sehingga
n
,=1
^
" ,=1
B u k t i . Misalkan v4 = { y ^ , , . . . , / „ } dan pilih suatu x e X definisikan
^ °
= { / G
A~
Selanjutnya
y G U,\f(y)\
Aj{x)
= 0},
A' ^{fG
Aj{x)
> 0
={f€A,f{x)<0
tentukan
lingkungan
buka
< - , untuk semua / GA°,f(y)>0,
2
U
dari
x
sehingga
tmtuk
untuk semua f G A'^ ,f (y)
semvia
<0.
32
Pilih /o eC(^Z;dengan 0 < /^(y)<
., untuk semua
1 untuk semua y^X,
/o(^x; = I d a n /^(y)
=0
yeXW.
Jadi
II/-/o
< —,
/ + / o I < - , untuk setiap f G
2
\f - /oII < 1,||/ + /o II < 2 , untuk setiap
f^A"
1 / - / o II < 2,11/+ / o II < 1 , untuksetiap
^-
Kemudianjika
> A
maka diperoleh
1 n
-3
(3.2.1)
!zii/i-/oii^!
Dan jika
< A
, diperoleh
7ZII/^/o|l4
(3.2.2)
",=1
Selanjutnya piUh Y cXdengan
dua unsure sehingga untuk setiap
Misalkan keN
Y hingga dan sekurang-kurangnya memiliki
l</<«
terdapat
yGY
dengan n{Y) = k. Definisikan y^ =(^f.(yj)
dengzai f/y)
untuk setiap
=1.
l<j<n,
maka berdasarkan definisi Y, maka yj, y2, • • • , yn merupakan unsur-unsur dari unit
sphere dari r(kj.
Berdasarkan W o l f (1994)
r(r(k))=^.
Selanjutnya tentukan
2
1 "
sxiatu z d i uirit sphere l"^ (k) sehingga — Z li^/
3
^11 ~ "~
Misalkan z - [X^), karena X mempimyai sekurang-kurangnya dua unsur maka
dapat dibentuk lingkungan yang saUng asing padanya. Jadi X juga ruang Normal,
33
sehingga dapat dipiUh
GX
sehingga gQ(y) = Xy untuk semua
y^Y
dan
= 1. Jadi diperoleh
^0
1 "
1 "
- Z 1 /
- -^0 ^ -
Z
/ o o - ^o( v)
1 "
(3.2.3)
Dari (3.2.1), (3.2.2) dan (3.2.3) memberikan
-zii/-/oii4^-z
" 1=1
«1=1
^
11/-/o
Lema 3.2.3. Misalkan X ruang Hausdorf yang hingga dan £>0.
untuk setiap h G C(X) dengan
A c C ( X ) sehingga — ^\f-h\>--£,
Bukti :
Misalkan n e N dan pilih Y c
lingkungan buka
ye Y dengan
untuk semua
|/2(XQ)| -
imtuk semua y e Y sehingga
r\Uy=^
bila y ^ y', dan pilih
e C'(X) sehingga - 1 < f^{x) < 1 untuk semua x e X , dan / ^ ( x ) = 1
XGX\U
.
Ambil hGC(X)
1 dengan Xg e
f^-h\\>
Untuk semua y ^ y^eY
f+h+
U^^
dengan \h\ = 1, dan pilih x^ e X
untuk suatu
e 7 , maka diperoleh
//x,)-A(x,) =|-1-1| = 2
diperoleh
I I / . + /2 > f,iy)
+ h(y) + f. + h{y)
l+h{y)
Jadi diperoleh
= 1.
X dengan n ( Y ) = n . Selanjutnya buat
h(x,)\ = 1.
Bila
Maka terdapat
+ -l+hiy)
= 2
dengan
34
2n
'
>—
2(n + 1) + 2.
n-1
2n
3
3
2
2n
Sehingga Xg g I J t / , maka diperoleh
Y\fy-h\>\f^{x,)-Kx>,
-1-1 = 2
2n
Dan untuk semua y G Y diperoleh
3_
2n + 2.
2 y
2
1
2«
Maka secara keseluruhan diperoleh
2«
var
3
3
2
2«
Sedangkan bila A(Xo) = - 1 misalkan g = -h dan lakukan seperti langkah di atas.
Lema 3.2.4. Misalkan X ruang Hausdorf kompak yang tidak m e m i l i k i titik terasing .
Untuk setiap neN
/o G C(X)
dan
/ , . . . , / „
G
C(X)dengan
|jyjj| = . . . =
=lterdapat
1 "
sehingga — T i l / - /of > 2 - £•, untuk setiap e >0.
B u k t i : Misalkan A = {f^,/^,...,/^}.
Pilih Y cX
setiap f GA terdapat y^Y
f(y)
dengan
. untuk setiap j^' G 7 ,sehingga
= { / G A,f{y)
= 1.
dengan « ( 7 ) < co, sehingga untuk
Selanjutnya ambil himpiman buka
y ^ y' dan misalkan
0^/^ = 0
= 1} dan C { / G A,f(y)
=-l}
Kemudian untuk setiap >' G 7 , ambil lingkungan buka Vy dari y sehingga f(x)>l-e
untuk semua x G
dan semua f e B^. Misalkan
tidak mempunyai titik terasing, ambil 2^ GW^ ,
- 1 < / o ( x ) < 1 untuk semua z eX
= UyC\V^,, y G 7 , karena X
^ y. Jadi ada
G C(X)
sehingga
, f^iy) = 1, /oC^^) = - 1 untuk semua y GY .
35
Misalkan y GY dan / t
Sedangkan bila / e C ^ diperoleh
- Z
maka diperoleh \\f j | / - / o ^ f(y)^
>
\f(Zy)-fo(z^) >2-£
/oCv) = 2 , seliingga diperoleh
l|y;-/oii>2-^
Teorema 3.2.5. Misalkan X ruang Hausdorf yang minimal mempunyai dua titik dan
sekurang-kurangnya memiliki satu titik terasing, maka r(C(X))
B u k t i . Jika X hingga maka jelas
r(r{X))
C(X)^r(X)
= - untuk « > 2 . Jadi r{C(X))
=- .
=—
dan berdasarkan
W o l f (1994),
Jika X tak hingga, maka berdasarkan
lema 3.2.2 dan lema 3.2.3 dan Teorema nilai menengah diperoleh
-}Qr{C{X))c
(3.2.4)
Selanjutnya misalkan XQ titik terasing dari X dan defmisikan
/o(Xo) = 1 dan / o ( x ) = 0 untuk x
x^, maka diperoleh / G C{X)
dengan
dan fA - 1
Jadi
||/o - / I I + l l / i + / I I < 1 + 2 = 3 untuk semua / G C{X) dengan
Dari (3.2.4) dan (3.2.5) berarti r{C{X))
= 1 ..(3.2.5)
= - .
Teorema 3.2.6. Misalkan X ruang Hausdorf yang minimal m e m i l i k i dua titik yang
tidak mempunyai titik terasing, dan sekurang-kurangnya m e m i l i k i satu titik dengan
lingkungan basis terhitung, maka r{C{X))
= 3,2).
B u k t i . Berdasarkan lema 3.2.2, 3.2.3 dan 3.2.4 serta teorema nilai
diperoleh
:,2
r(C(X))dan
r{C{X))(^
menengah
. Maka kita tinggal menunjukkan
36
2€r{C{X)).
Ambil
x^&X
dengan lingkungan basis tertutup
(^„)„^,.
Tanpa
mengurangi perumuman misalkan Un lingkungan buka dari XQ untuk « > 1. Karena X
juga lengkap secara reguler, ambil {g„\^^GC{X)
semua XGX,
g„(xo) = Odan g„{x)
= \,
sehingga 0 < ^ „ ( x ) < 1 untuk
untuk semua XGX\U„,
untuk semua
« > 1.
Definisikan / = 1 - Z ~ T ^ ' > ' sehingga 0 < / ( x ) < l ,
/(Xo) = l
dan f(x) < 1 untuk semua X^X^GX
haruslah untuk suatu h GC(X),
\h\ = I d a n | | / -
untuk semua
. Asumsikan
2e r{C{X)),
r{C)X))=\i,2).
maka
j | / + A|| = 1 , j a d i diperoleh h{xo)=l
dan h(xo)=^\ i n i adalah suatu hal yang mustahil. Jadi haruslah 2 e r{C)X)).
diperoleh
xeX,
Sehingga
Download