Definisi 1.
Diberikan adalah sebarang lapangan dan misalkan suatu himpunan tak kosong disebut ruang vektor atas jika terdapat operasi biner (penjumlahan vektor dan (perkalian skalar) sehingga untuk setiap dan memenuhi aksioma-aksioma di bawah ini.
1. Tertutup dibawah penjumlahan vektor
2. Asosiatif
3. Terdapat identitas penjumlahan
4. Terdapat invers penjumlahan
5. Komutatif
6. Tertutup dibawah perkalian skalar
7. Distributif
8. Distributif
9.
10.
Jika diperhatikan aksioma 1 sampe aksioma 5 merupakan aksioma-aksioma Grup Komutatif. Perlu diperhatikan juga bahwa operasi yang ada pada ruang vektor ini ada empat. Yang pertama, operasi penjumlahan “+” pada vektor itu sendiri. Kedua, ada penjumlahan pada lapangan (skalar). Selanjutnya ada operasi perkalian “” antar skalar. Dan yang terakhir operasi perkalian antar vektor dan skalar. Oleh karena itu, perlu hati-hati dalam mengecek apakah suatu himpunan termasuk ruang vektor atau bukan.
Contoh 2.
Misal diberikan dan didefinisikan
Ambil sebarang dan dengan
Perhatikan bahwa,
1.
2.
3.
4. Klaim bahwa identitas di . Pehatikan bahwa
Jadi, adalah identitas di .
5. Ambil sebarang . Klaim bahwa . Perhatikan bahwa
Jadi, invers dari untuk sebarang .
6.
7.
8.
9.
Jadi, adalah ruang vektor atas lapangan .
Selanjutnya apabila diperumum menjadi dengan didefiniskan operasi penjumlahan dan perkalian skalar sebagai berikut
Untuk setiap dan . Sehingga diperoleh adalah ruang vektor atas .
Contoh 3.
Misal adalah himpunan semua fungsi kontinu pada interval tertutup yang didefinisikan sebagai berikut.
Untuk setiap
Apakah merupakan ruang vektor atas lapangan bilangan riil ?
Ambil sebarang dan serta .
1. Perhatikan bahwa . Karena maka .
2. Perhtatikan bahwa.
3. Klaim bahwa identitas fungsi yaitu untuk setiap . Perhatikan bahwa
Jadi, adalah identitas pada .
4. Ambil sebarang . Klaim bahwa sebagai invers dari yang didefinisikan sebagai untuk setiap . Perhatikan bahwa
Jadi, adalah invers dari .
5. Perhatikan bahwa.
6.
7. Perhatikan bahwa
8. Perhatikan bahwa
9. Perhatikan bahwa
10.Pilih . Diperoleh
Jadi, adalah ruang vektor.
Contoh 4.
Diberikan himpunan bilangan rill positif dan bilangan riil . Didefinisikan untuk setiap dan sebagai berikut
dan
Buktikan bahwa adalah ruang vektor atas !
Ambil sebarang dan . Perhatikan
1.
2.
3. Klaim bahwa adalah identitas di . Diperoleh
Jadi, adalah elemen identitas di
4. Ambil sebarang . Klaim bahwa invers dari . Diperoleh
Jadi, adalah invers dari
5.
6.
7.
8.
9.
10.Pilih , maka
Jadi, adalah ruang vektor atas .
Ping-balik: Subruang Vektor | Math IS Beautiful