Saya telah memperkenalkan beberapa ruang fungsi, mulai dari ruang Lebesgue hingga ruang Morrey dan ruang Lorentz (sila lacak kembali artikel tentang ruang fungsi tersebut). Ada ruang fungsi mendasar yang belum dibahas, yaitu ruang fungsi kontinu pada interval yang dilambangkan dengan
Dalam hal ini,
apabila
kontinu pada
Berbicara tentang ruang fungsi kontinu berarti berbicara tentang ‘keluarga’ fungsi kontinu, bukan ‘sebuah’ fungsi kontinu. Sebagai contoh, diberikan dua fungsi kontinu pada kita bertanya: seberapa ‘dekat’ mereka, satu terhadap yang lainnya?
Untuk memudahkan, tinjau fungsi bernilai real yang terdefinisi pada Dari Kalkulus kita mengetahui bahwa jika
kontinu, maka
terbatas pada
yakni terdapat
sedemikian sehingga
untuk setiap
Berdasarkan fakta ini, kita dapat mendefinisikan norma
pada
sebagai
Ingat bahwa himpunan bagian tak kosong dari yang terbatas di atas senantiasa mempunyai batas atas terkecil, yang disebut sebagai supremum himpunan tersebut.
Dengan norma tersebut, kita bisa menghitung jarak di antara dua fungsi di Lebih jauh, kita bisa berbicara tentang kekonvergenan barisan fungsi dan kriteria Cauchy untuk barisan fungsi
di
Nah, Anda dapat memeriksa bahwa ruang fungsi
dengan norma
merupakan ruang bernorma yang lengkap, yakni: setiap barisan Cauchy di
senantiasa konvergen.
*
Bandung, 11-05-2019