Eksternal Internal
Direct Sum Direct Sum
Definisi Definisi
Contoh :
Perhatikan:
Karena = (1 , , ) maka 1
Jadi, 1
1
Karena = (1 , , ) maka 1
Jadi, 1
= {: | }
() = { |() 0}
Definisi The external Direct Sum dari family F adalah ruang vektor
= {: |() , }
( ) = {0}
2
Perhatikan
Ambil sebarang = (, ) 2
= (, ) = ( + 0, 0 + )
= (, 0) + (0, )
= (, )
Maka,
2
2 =
b. = {(0,0)}
Teorema 1.4
Sebarang subruang dari suatu ruang vektor memiliki suatu komplemen, ini berarti, jika
S adalah subruang dari V maka ada suatu subruang T sehingga V=ST.
Bukti
S subruang dari V
akan dibuktikan ada T V sehingga V=ST
perhatikan bahwa, sebarang subruang dari suatu ruang vektor memiliki komplemen
ini berati, untuk setiap S subruang dari V ada T subruang dari V yang mengakibatkan
= . Terbukti.
Teorema 1.5
Misal = { | } menjadi suatu family dari subruang V yang berbeda. Maka syarat ini
terpenuhi :
1. (independence of the family) untuk setiap i I,
( ) = {0}
2. (uniqueness of expression for 0) Vektor 0 tidak dapat ditulis sebagai suatu
jumlah dari vektor-vektor tidak nol dari subruang F yang berbeda.
3. (uniqueness of expression) Setiap v tidak nol, tunggal, dinotasikan
sebagai berikut
= 1 + 2 + +
Jumlah dari vektor-vektor tidak nol dari subruang F yang berbeda.
Karena itu, Suatu jumlah
=
berlaku jika dan hanya jika ada satu dari syarat 1)-3) terpenuhi.
Bukti.
Anggap bahwa syarat 2) salah, sehingga,
0 = 1 + +
Dengan vektor-vektor s tidak nol dari subspace yang berbeda. n>1 sehingga
= 2 + +
Karena itu, 1) mengakibatkan 2). Jika 2) terpenuhi dan
= 1 + + = 1 + +
Dengan suku-suku tidak nol dan ada di subspace F yang berbeda dan sama untuk
suku-suku , maka
0 = 1 + + 1
Disederhanakan, kita dapat menulis
0 = (1 1 ) + + ( 1 ) + +1 + + +1
Maka 2) mengakibatkan bahwa n=m=k dan = untuk setiap u=1,...,k.
Karena itu, 2) mengakibatkan 3).
0 ( )
Maka = dan
= 1 + +
Dengan tidak nol.
DIRECT SUM, INTERNAL DIRECT SUM DAN
EKSTERNAL DIRECT SUM
OLEH:
Muhammad Adzib Baihaqi
NIM: 120312419499
UNIVERSITAS NEGERI MALANG
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
JURUSAN MATEMATIKA
September, 2014
Daftar Pustaka
Roman, Steve. 2007. Graduates In Mathematics, Advance Linear Algebra. New York:
Springer