JMP : Volume 4 Nomor, Juni 0, hal. 69-77 TEOREMA TITIK TETAP PADA RUANG NORM-n STANDAR Shelvi Ekariani KK Analisis dan Geometri FMIPA ITB shelvi_ekariani@students.itb.ac.id Hendra Gunawan KK Analisis dan Geometri FMIPA ITB hgunawan@math.itb.ac.id ABSTRACT. On the standard n-normed space,i.e an inner product space equipped with the standard n-norm, one can derive a norm from the n-norm in a certain way. The purpose of this note is to establish the equivalence between such a norm and the usual norm on standard n-normed space. Further, this fact together with others use to prove a fixed point theorem on the standard n-normed space. Keywords: standard n-normed space, equivalence, fixed point theorem ABSTRAK. Pada ruang norm-n standar, yaitu ruang hasil kali dalam yang dilengkapi dengan norm-n standar, dapat diperoleh suatu norm dari norm-n dengan cara tertentu. Tujuan makalah ini adalah untuk menunjukkan ekuivalensi antara norm tersebut dan norm biasa yang didefinisikan pada ruang norm-n standar. Lebih jauh fakta ini digunakan untuk membuktikan suatu teorema titik tetap pada ruang norm-n standar. Kata Kunci: ruang norm-n standar, ekuivalensi, teorema titik tetap. PENDAHULUAN Pada tahun 960-an, Ga hler (994, 969a, 969b, 969c, 970) memperkenalkan teori ruang norm-n. Suatu norm-n pada ruang vektor real X (dimana dim(x) n) adalah pemetaan,, : X n R, yang memenuhi:. x,, x n = 0 jika dan hanya jika x,, x n bergantung linear,. x,, x n invarian terhadap permutasi, 3. αx,, x n = α x,, x n, untuk setiap α R, 4. x + x,, x n x,, x n + x,, x n.
70 Shelvi Ekariani dan Hendra Gunawan Pasangan (X,,, ) disebut ruang norm-n. Pada ruang norm-n berlaku sifat x + y, x,, x n = x, x,, x n, untuk setiap y = α x + + α n x n. Pada tahun 00, Gunawan [] memformulasikan Teorema Titik Tetap pada ruang norm-n sebagai berikut: Teorema.. Misalkan pemetaan T: X X, sedemikian sehingga Tx Tx, x,, x n C x x, x,, x n, Untuk setiap x, x,, x n X dan C (0,). Maka T mempunyai titik tetap yang tunggal, yaitu terdapat x X sedemikian sehingga Tx = x. Pada makalah ini, akan ditunjukkan bahwa setiap ruang norm-n khususnya ruang norm-n standar dengan n adalah ruang norm yang dilengkapi dengan suatu norm yang diturunkan dari norm-n. Lebih lanjut, fakta ini digunakan untuk membuktikan Teorema Titik Tetap pada ruang norm-n standar yang lebih umum versi Gunawan. Kemudian di (Nur, 0), telah dibahas Teorema Titik Tetap pada ruang norm-n standar. Berbeda dengan yang telah dibahas di (Nur, 0), pada makalah ini pembuktian ekuivalensi antara norm yang diperoleh dari norm-n dengan norm biasa yang didefinisikan pada X tidak melalui kekonvergenan barisan tetapi dengan menggunakan definisi norm dan sifat-sifatnya.. TEOREMA TITIK TETAP PADA RUANG NORM-n STANDAR Misalkan X adalah ruang hasil kali dalam dengan dimensi d n (d boleh tak hingga). Ruang vektor X yang dilengkapi dengan norm-n standar, yang didefinisikan sebagai: x, x x, x n x,, x n s, x n, x x n, x n dimana, menyatakan hasil kali dalam pada X, merupakan ruang norm-n standar.
Teorema Titik Tetap pada Ruang Norm-n Standar 7. Norm yang diturunkan dari norm-n Seperti yang telah dipaparkan pada abstrak, suatu norm dapat diperoleh dari suatu norm-n, khususnya norm-n standar. Sehingga diperoleh teorema berikut. Teorema.. Misalkan {a,, a n } adalah himpunan bebas linear pada X. Maka fungsi mendefinisikan norm pada X. x ( x, a i,, a in ), s Bukti. Dari pendefinisian norm di atas, jelas bahwa x 0. Kemudian jika x = 0 maka x = 0, dan bersifat αx = α x, untuk setiap α R serta memenuhi ketaksamaan segitiga. Selanjutnya, jika x = 0, maka tanpa mengurangi keumuman diperoleh x, a, a 3,, a n s = 0, () a, x, a 3,, a n s = 0, () a, a, x,, a n s = 0, (3) dan seterusnya, sampai diperoleh, a, a,, a n, x s = 0, (4) Dari () diperoleh x merupakan kombinasi linear dari {a, a 3,, a n }, misalkan n x = k i a i. Dari (3) diperoleh k = 0 dan seterusnya, sehingga diperoleh x = 0. i= Jadi x mendefinisikan norm pada X. Selanjutnya, akan ditunjukkan bahwa norm ekuivalen dengan norm =,. Sebelum itu, didefinisikan
7 Shelvi Ekariani dan Hendra Gunawan ), x ( x, b i,, b in s dengan {b,.., b n } adalah himpunan orthonormal yang diperoleh dari himpunan bebas linear {a,, a n } melalui proses Gram-Schmidt. Dari Teorema. diperoleh x juga merupakan norm pada X. Lebih lanjut, diperoleh fakta di bawah ini. Proposisi.. Norm ekuivalen dengan norm. Bukti. Dengan melakukan proses Gram-Schmidt pada himpunan bebas linear {a,, a n }, diperoleh b = c a, sedemikian sehingga a = k b. Kemudian, b = d a + d a. Dengan mensubstitusi nilai a, diperoleh a = l b + l b. Proses dilanjutkan, sampai diperoleh b n = p a + + p n a n. Dengan mensubstitusi nilai-nilai a, a,, a n, diperoleh a n = r b + + r n b n. Akibatnya, x, b,, b n s = x, c a, d a + d a,, p i a i α x, a,, a n s, dan n i= s n x, a,, a n s = x, k b, l b + l b,, r i b i β x, b,, b n s. Kemudian, perhatikan bahwa i= s
Teorema Titik Tetap pada Ruang Norm-n Standar 73 ) x = ( x, b i,, b in s ) (α x, a i,, a in s = α x. Dengan cara yang sama, diperoleh x β x. Proposisi.3. Norm ekuivalen dengan norm biasa =, di X, yaitu untuk setiap x X. x x n x, Bukti. Untuk setiap x X dan {b,.., b n } himpunan orthonormal di X, perhatikan bahwa x, x x, b x, b 3 b, x 0 x, b,, b n s = b 3, x 0 b n, x 0 0 Dengan cara yang sama, diperoleh b, x, b 3,, b n s = x x, b i, x, b n 0 0 = x n i= x, b i. n i= i n b, b,, b n, x s = x x, b i. i= Dengan menggunakan ketaksamaan Bessel n i= x, b i n x, diperoleh x x x, b i + x x, b i + + x x, b i i= n i= i = x, b i,, b in = x s. n i=
74 Shelvi Ekariani dan Hendra Gunawan Dengan menggunakan ketaksamaan Hadamard x, x,, x n x x n, diperoleh ( x ) = x, b i,, b in ( b s i b in ) x = n x. Akibat.4. Norm ekuivalen dengan norm =,.. Kelengkapan dan Kekonvergenan Barisan norm-n, jika Barisan (x(k)) di ruang norm-n X dikatakan konvergen ke x X dalam untuk setiap x,, x n X. lim x(k) x, x,, x n = 0, k Kemudian barisan (x(k)) di ruang norm-n X dikatakan Cauchy, jika untuk setiap x,, x n X. lim x(k) x(l), x,, x n = 0, k,l Ruang norm-n X dimana setiap barisan Cauchy (x(k)) X konvergen ke x X, disebut ruang norm-n yang lengkap. Lebih lanjut, ruang norm-n yang lengkap disebut ruang Banach-n. Sebelum Teorema Titik Tetap, diperoleh hasil berikut. Teorema.5. Barisan (x(k)) X konvergen ke x X dalam norm-n standar,, s jika dan hanya jika (x(k)) konvergen ke x dalam norm. Serupa dengan itu (x(k)) X Cauchy dalam norm-n standar jika dan hanya jika (x(k)) Cauchy dalam norm.
Teorema Titik Tetap pada Ruang Norm-n Standar 75 Bukti. Misalkan (x(k)) konvergen ke x X dalam norm-n standar,, s, yaitu lim x(k) x, a i k,..., a in = 0 untuk setiap {i s,, i n } {,, n}. Akibatnya lim x(k) x = lim {i x(k) x, a i,..., a in k k,,i n } {,,n} = 0. s Selanjutnya dari fakta dan ekuivalen, diperoleh lim x(k) x = 0. k Sebaliknya, misalkan x,..., x n X dan (x(k)) X konvergen ke x X dalam norm, yaitu lim k x(k) x = 0. Kemudian dengan menggunakan ketaksamaan Hadamard, perhatikan bahwa x(k) x, x,, x n s x(k) x s x s x n s. Ruas kanan ketaksamaan di atas menuju nol jika k menuju tak hingga, sehingga x(k) x, x,, x n s menuju nol jika k menuju tak hingga. Dengan kata lain lim k x(k) x, x,..., x n s = 0, yang artinya (x(k)) konvergen ke x dalam norm-n standar,, s. Dengan cara yang sama, (x(k)) X Cauchy dalam norm-n standar jika dan hanya jika (x(k)) Cauchy dalam norm. Akibat.6. Ruang norm-n standar (X,,, s ) merupakan ruang Banach-n jika dan hanya jika ruang norm standar (X, s ) merupakan ruang Banach. Teorema 7. (Teorema Titik Tetap) Misalkan T: X X pemetaan kontraktif terhadap himpunan bebas linear {a,, a n } di X, yaitu terdapat k (0,), sedemikian sehingga Tx Ty, a i,, a in k x y, a s i,, a in, s untuk setiap x, y X dan {i,, i n } {,, n}. Maka T mempunyai titik tetap yang tunggal di X.
76 Shelvi Ekariani dan Hendra Gunawan Bukti. Dari Akibat 4, diperoleh bahwa (X, ) merupakan ruang Banach. Lebih lanjut, perhatikan bahwa ( Tx Ty ) = Tx Ty, a i,..., a in s k x y, a i,..., a in = k ( x y s ). Sehingga diperoleh Tx Ty k x y, untuk setiap x, y X. Ketaksamaan terakhir menyatakan bahwa T merupakan pemetaan kontraktif terhadap. Karena (X, ) merupakan ruang Banach, maka berdasarkan Teorema Titik Tetap pada ruang Banach, T mempunyai titik tetap yang tunggal. 3. KESIMPULAN Dalam ruang norm-n standar, yaitu ruang hasil kali dalam yang dilengkapi dengan norm-n standar, dapat didefinisikan suatu norm yang diperoleh dari norm-n dengan cara tertentu. Kemudian diperoleh fakta bahwa norm yang diturunkan dari norm-n tersebut ekuivalen dengan norm biasa yang didefinisikan pada ruang hasil kali dalam. Dengan fakta ini diperoleh bahwa kekonvergenan dan kelengkapan barisan dalam norm-n mengakibatkan kekonvergenan dan kelengkapan barisan dalam norm, begitu juga sebaliknya. Lebih jauh, telah diperoleh Teorema Titik Tetap pada ruang norm-n standar yang lebih umum daripada yang telah dirumuskan di (Gunawan dan Mashadi, 00). Ucapan Terima Kasih. Penelitian ini merupakan bagian dari Program Doktor Unggulan ITB, yang didanai oleh Proyek IMHERE ITB Tahun 0-0. DAFTAR PUSTAKA Gunawan, H dan Mashadi. (00), On n-normed Spaces. Int. J. Math. 7, 63-639.
Teorema Titik Tetap pada Ruang Norm-n Standar 77 Nur,M. (0), Teorema Titik Tetap di Ruang Norm-n Standar. Tesis Magister Matematika ITB. Ga hler, S. (964), Lineare -Normierte Raume, Math. Nachr. 8, -43. Ga hler, S. (969a), Uber -Banach Raume. Math. Nachr. 4, 335-347. Ga hler, S. (969b), Untersuchungen Uber Verallgemeinerte m-metrische Raume I. Math. Nachr. 40, 65-89. Ga hler, S. (969c), Untersuchungen Uber Verallgemeinerte m-metrische Raume II. Math. Nachr. 40, 9-64. Ga hler, S. (970), Untersuchungen Uber Verallgemeinerte m-metrische Raume III. Math. Nachr. 4, 3-6.