Ruang Banach

Dalam matematika, lebih khusus lagi dalam analisis fungsional, Ruang Banach adalah ruang vektor bernorma lengkap. Jadi, ruang Banach adalah ruang vektor dengan metrik yang memungkinkan penghitungan panjang vektor dan jarak antara vektor dan lengkap dalam arti bahwa barisan Cauchy vektor selalu konvergen ke limit yang didefinisikan dengan baik yang ada di dalam ruang.

Spasi Banach dinamai menurut ahli matematika Polandia Stefan Banach, yang memperkenalkan konsep ini dan mempelajarinya secara sistematis pada 1920–1922 bersama dengan Hans Hahn dan Eduard Helly. 
Maurice René Fréchet adalah orang pertama yang menggunakan istilah "ruang Banach" dan Banach pada gilirannya kemudian menciptakan istilah "Ruang Fréchet."
Ruang Banach awalnya tumbuh dari studi ruang fungsi oleh Hilbert, Fréchet, and Riesz di awal abad ini. Ruang Banach memainkan peran sentral dalam analisis fungsional. Di bidang lain analisis, ruang yang diteliti sering kali merupakan ruang Banach.

 Basis Schauder 

Basis Schauder dalam ruang Banach  adalah urutan  vektor di  X  dengan properti untuk setiap vektor  di , ada skalar yang didefinisikan  secara unik   tergantung pada , seperti itu

Ruang banach dengan basis Schauder harus dapat dipisahkan, karena himpunan kombinasi linier hingga yang dapat dihitung dengan koefisien rasional (katakanlah) padat.

Ini mengikuti dari Teorema Banach–Steinhaus bahwa pemetaan linier secara seragam dibatasi oleh beberapa konstanta .
Maka  menunjukkan fungsi koordinat yang menetapkan ke setiap  di  koordinat  dari  dalam ekspansi di atas.
Mereka disebut fungsi biorthogonal. Ketika vektor basis memiliki norma , koordinat berfungsi  bersila  di rangkap dua dari .

Sebagian besar ruang terpisah klasik memiliki basis eksplisit.
Sistem Haar  adalah dasar untuk . 
sistem trigonometri adalah basis dalam  adalah . 
Sistem Schauder adalah dasar di ruang .Lihat  p. 3. 
Pertanyaan apakah aljabar disk  berdasarpertanyaan muncul p. 238, §3 dalam buku Banach, . tetap terbuka selama lebih dari empat puluh tahun, sampai Bočkarev menunjukkan pada tahun 1974 bahwa  mengakui dasar yang dibangun dari Sistem Franklin.lihat S. V. Bočkarev, "Keberadaan basis dalam ruang fungsi analitik dalam disk, dan beberapa properti sistem Franklin". (Rusia) Mat. Sb. (N.S.) 95 (137) (1974), 3–18, 159.

Karena setiap vektor  dalam ruang Banach  dengan basis adalah batas dari , dengan  dari pangkat hingga dan berbatas seragam, spasi  memenuhi properti aproksimasi terbatas. 
Contoh pertama oleh Enflo dari spasi yang gagal properti aproksimasi adalah pada saat yang sama contoh pertama dari spasi Banach yang dapat dipisahkan tanpa basis Schauder.see 

Robert C. James mencirikan refleksivitas di ruang Banach dengan dasar: ruang  dengan basis Schauder bersifat refleksif jika dan hanya jika basisnya adalah menyusut dan lengkap terbatas.lihat R.C. James, "Basis dan refleksivitas ruang Banach". Ann. Matematika. (2) 52, (1950). 518–527. Lihat pula  p. 9. 
Dalam hal ini, fungsi biorthogonal membentuk dasar dari rangkap .

 Produk tensor 

thumb
Misalkan  dan  menjadi dua ruang vektor-. Produk tensor  dari  dan  adalah ruang vektor- dengan  dengan pemetaan bilinear  yang memiliki sifat universal berikut:

Jika  adalah setiap pemetaan bilinear menjadi a ruang vektor- pada , lalu ada pemetaan linear yang unik  dirumu .

Gambar di bawah  pasangan  pada  dilambangkan dengan , dan disebut tensor sederhana.
Setiap elemen  dengan  adalah jumlah terbatas tensor sederhana tersebut.

Ada berbagai norma yang dapat ditempatkan pada hasil kali tensor ruang vektor yang mendasarinya, antara lain norma silang proyektif dan norma silang injeksi yang diperkenalkan oleh A. Grothendieck pada tahun 1955.lihat A. Grothendieck, "Produits tensoriels topologiques et espaces nucléaires". Mem. Amer. Math. Soc. 1955 (1955), no. 16, 140 pp., dan A. Grothendieck, "Résumé de la théorie métrique des produits tensoriels topologiques". Bol. Soc. Mat. São Paulo 8 1953 1–79.

Secara umum, hasil kali tensor ruang komplek tidak kompleks lagi. Saat bekerja dengan ruang Banach, biasanya dikatakan bahwa produk tensor proyektiflihat bab. 2, hal. 15 in . dari dua ruang Banach  dan  adalah  penyelesaian   dari hasil kali tensor aljabar  dilengkapi dengan norma tensor proyektif, dan juga untuk produk tensor injektor lihat bab. 3, hal. 45 inci . . 
Grothendieck secara khusus membuktikan bahwalihat Contoh. 2.19, hal. 29, dan hlm. 49–50 dalam .

di mana  adalah ruang Hausdorff yang padat,  ruang Banach fungsi kontinu dari  ke  dan  ruang fungsi yang dapat diukur dan diintegrasikan Bochner dari  hingga , dan di mana isomorfisme adalah isometrik.
Dua isomorfisme di atas adalah ekstensi masing-masing dari peta yang mengirimkan tensor  to the vector-valued function .

 Produk Tensor dan properti aproksimasi 

Misalkan  menjadi spasi Banach. Produk tensor  diidentifikasi secara isometrik dengan penutupan di  dari himpunan operator peringkat terbatas.
Jika  memiliki properti aproksimasi, penutupan ini bertepatan dengan spasi operator kompak pada .

Untuk setiap ruang Banach , ada norma alami  peta linear

diperoleh dengan memperluas peta identitas produk tensor aljabar. Grothendieck menghubungkan masalah perkiraan dengan pertanyaan apakah peta ini satu-ke-satu jika  adalah rangkap dari . 
Tepatnya, untuk setiap ruang Banach , peta

bersifat satu-ke-satu jika dan hanya jika  memiliki properti aproksimasi.see Proposition 4.6, p. 74 in .

Grothendieck menduga bahwa  dan  harus berbeda  dan  adalah ruang Banach berdimensi tak hingga. 
Hal ini dibantah oleh Gilles Pisier pada tahun 1983.lihat Pisier, Gilles (1983), "Counterexamples to a conjecture of Grothendieck", Acta Math. 151:181–208. 
Pisier membangun ruang Banach berdimensi tak hingga  maka  and  adalah sama. Lebih lanjut, seperti contoh Enflo's, spasi ini  adalah ruang "buatan tangan" yang gagal memiliki properti aproksimasi. Di sisi lain, Szankowski membuktikan bahwa ruang klasik  tidak memiliki properti aproksimasi.Lihat Szankowski, Andrzej (1981), " tidak memiliki properti aproksimasi ", Acta Math. 147: 89–108. Ryan mengklaim bahwa hasil ini karena Per Enflo, hal. 74 inci .

 Beberapa hasil klasifikasi 

 Penokohan ruang Hilbert di antara ruang Banach 
Kondisi yang diperlukan dan cukup agar norma spasi Banach  dikaitkan dengan hasil kali dalam adalah identitas jajaran genjang:

Ini mengikuti, misalnya, bahwa ruang Lebesgue  adalah ruang Hilbert hanya jika . 
Jika identitas ini terpenuhi, produk dalam terkait diberikan oleh identitas polarisasi. Dalam kasus skalar nyata, ini memberikan:

Untuk skalar kompleks, tentukan produk dalam -linear di , antilinear di , identitas polarisasi dirumuskan:

Untuk melihat bahwa hukum jajaran genjang cukup, kita mengamati dalam kasus nyata bahwa  adalah simetris, dan dalam kasus yang kompleks, ia memenuhi properti Simetri Hermitian dan . Hukum jajaran genjang menyiratkan bahwa  adalah aditif di .
Oleh karena itu, ia linier di atas rasio, sehingga linier oleh kontinuitas.

Beberapa karakterisasi ruang isomorfik (bukan isometrik) ke ruang Hilbert tersedia. 
Hukum jajaran genjang dapat diperpanjang hingga lebih dari dua vektor, dan diperlemah dengan diperkenalkannya pertidaksamaan dua sisi dengan konstanta : Kwapień membuktikan bahwa jika

untuk bilangan bulat  dan semua famili vektor , maka ruang Banach  isomorfik ke ruang Hilbert.lihat Kwapień, S. (1970), "A linear topological characterization of inner-product spaces", Studia Math. 38:277–278. 
Maka,  menunjukkan rata-rata selama  kemungkinan pilihan tanda . 
Dalam artikel yang sama, Kwapień membuktikan bahwa validitas Teorema Parseval yang bernilai Banach untuk transformasi Fourier mencirikan ruang Banach isomorfik ke ruang Hilbert.

Lindenstrauss dan Tzafriri membuktikan bahwa ruang Banach di mana setiap subruang linier tertutup saling melengkapi (yaitu, kisaran proyeksi linier yang dibatasi) isomorfik ke ruang Hilbert.lihat Lindenstrauss, J. and Tzafriri, L. (1971), "On the complemented subspaces problem", Israel J. Math. 9:263–269. 
Buktinya bersandar pada Teorema Dvoretzky tentang penampang Euklides benda cembung simetris terpusat berdimensi tinggi. Dengan kata lain, teorema Dvoretzky menyatakan bahwa untuk setiap bilangan bulat , setiap ruang bernorma berdimensi-hingga, dengan dimensi yang cukup besar dibandingkan dengan , berisi subruang yang hampir isometrik dengan ruang Euklides berdimensi .

 Klasifikasi metrik 
Jika  adalah isometri dari ruang Banach  ke ruang Banach  (dengan  dan  adalah ruang vektor berakhir ), lalu Teorema Mazur-Ulam menyatakan bahwa  harus berupa transformasi affine.
Secara khusus, jika , ini  memetakan nol dari  ke nol dari , kemudian  harus linear. Hasil ini menyiratkan bahwa metrik dalam ruang Banach, dan lebih umum lagi dalam ruang bernorma, sepenuhnya menangkap struktur liniernya.

 Klasifikasi topologi 
Ruang Banach berdimensi hingga bersifat homeomorfik sebagai ruang topologi, jika dan hanya jika memiliki dimensi yang sama dengan ruang vektor nyata.

Teorema Anderson–Kadec (1965–66) proves that any two infinite-dimensional separable Banach spaces are homeomorphic as topological spaces. Kadec's theorem was extended by  Torunczyk, who proved bahwa dua ruang Banach bersifat homeomorfik jika dan hanya jika keduanya memiliki karakter kerapatan yang sama, kardinalitas minimum dari himpunan bagian padat.

 Contoh 

Glosarium simbol:
 ;
  adalah ruang Hausdorff komplek;
  adalah interval tertutup dan berbatas ;
  adalah bilangan riil dengan  maka 
  adalah aljabar sigma dari himpunan;
  adalah aljabar himpunan (untuk spasi yang hanya memerlukan aditif hingga, seperti ruang ba); 
  adalah ukuran dengan variasi .

 Classical Banach spaces  Ruang ganda  Refleksif  selesai secara berurutan lemah  Norma  Catatan         Ruang Euklides                                                               Isomorfik tetapi bukan isometrik ke .          Isometrik isomorfik ke .          .          Isometrically isomorphic to .         Isometrically isomorphic to .                    ?         ?        A closed subspace of .  ?        A closed subspace of .                   The dual is  if  is -finite.  ?         is the total variation of   ?         consists of  functions such that           Isomorphic to the Sobolev space .          Isomorphic to , essentially by Taylor's theorem.

 Turunan 
Beberapa konsep turunan dapat didefinisikan di ruang Banach. Lihat artikel di Turunan Fréchet dan Turunan Gateaux untuk detailnya. 
Derivatif Fréchet memungkinkan perluasan konsep dari turunan total ke ruang Banach. Turunan Gateaux memungkinkan perpanjangan turunan arah ke konveks lokal ruang vektor topologis. 
Diferensiasi Fréchet adalah kondisi yang lebih kuat daripada daya diferensiasi Gateaux.
Kuasi-turunan adalah generalisasi turunan terarah lain yang menyiratkan kondisi yang lebih kuat, tetapi kondisi yang lebih lemah dari diferensiasi Fréchet.

 Generalisasi 
Beberapa ruang penting dalam analisis fungsional, misalnya ruang dari semua fungsi yang sering kali terdiferensiasi tanpa batas R → R, atau ruang dari semua distribusi pada R, lengkap tetapi bukan ruang vektor bernorma dan karenanya bukan ruang Banach. 
Dalam ruang Fréchet yang satu masih memiliki metrik lengkap, sementara ruang-LF adalah ruang vektor seragam lengkap yang muncul sebagai batas ruang Fréchet.

 Lihat pula 








 Referensi 

 Bibliografi 

 .

 .

 .






 .
 .



 .




 .

 Pranala luar 





Kategori:Sains dan teknologi di Polandia