6. BÖLÜM VEKTÖR UZAYLARI n-BOYUTLU (ÖKLİT) UZAYI Tanım: Eğer n pozitif bir tam sayı ise sıralı n-sayı, gerçel sayılar kümesindeki n adet sayının (a1, a2,…, an) bir dizisidir. Tüm sıralı n-sayılarının kümesi n-boyutlu uzay olarak adlandırılır ve n a1 , a2 , n ile gösterilir. , an :1 i n için ai VEKTÖR UZAYI Tanım: V boş olmayan bir küme ve n-boyutlu uzay (cisim) olsun. Aşağıdaki önermeler doğru ise V kümesi uzayı üstünde bir vektör uzayıdır. n n VEKTÖR UZAYI 1. V kümesinde + ile gösterilen ve adına toplama denilen bir işlem tanımlanmıştır. Bu işlemin aşağıdaki özellikleri vardır. a. Her u,vV için u+v tanımlıdır ve u+vV. V kümesi toplama işlemine göre kapalıdır. b. Her u,v,wV için (u+v)+w=u+(v+w) V kümesinde toplama işleminin birleşme özelliği vardır. c. 0V ve her uV için u+0=0+u V kümesinde toplama işleminin birim elemanı vardır 0 ile gösterilir. d. her uV için V kümesinde –u ile gösterilen ve u+(-u)=0 ve (-u)+u=0 eşitliklerini sağlayan bir –u elemanı vardır ve V kümesinde toplamaya göre ters elemanı temsil eder. e. Her u,vV için u+v=v+u özelliği vardır. V kümesinde toplama işleminin değişme özelliği vardır. VEKTÖR UZAYI V V , (a,u)au biçiminde, adına skalerle çarpma işlemi denilen bir fonksiyon tanımlanmıştır ve bu fonksiyon aşağıdaki önermeleri doğrular: a. Her a ve her u,vV için a(u+v)=au+av. b. Her a, b ve her uV için (a+b)u=au+bu. c. Her a, b ve her uV için (ab)u=a(bu). d. nin çarpmaya göre birim elemanı 1 olduğuna göre V nin her elemanı için 1u=u. VEKTÖR UZAYI Not: Verilen tanımda 1a-1d önermeleri (V,+) ikilisinin bir grup olduğunu gösterir. 1e önermesi ise (V,+) grubunun değişmeli grup olduğunu gösterir. Tanım: Bir vektör uzayının her bir elemanına vektör denir. ALT VEKTÖR UZAYI Tanım: V kümesi, uzayı üstünde bir vektör uzayı ve H kümesi ise, V nin boş olmayan bir alt kümesi olsun. Aşağıdaki iki önerme doğru ise H kümesi V kümesinin bir alt vektör uzayıdır denir. 1. Her u,vH için u+vH H kümesi toplama işlemine göre kapalıdır. 2. Her a ve her uH için auH H kümesi skalerle çarpma işlemine göre kapalıdır. n VEKTÖR UZAYI • İki vektör birbirleriyle çarpılabilir fakat bölünemez. • İç çarpım ve vektörel çarpım, vektör uzaylarında yer almaz. Örnek: En temel örnek n uzayında vektörlerin toplanması ve çarpılmasıdır(iç çarpım) Örnek: n uzayının herhangi doğrusal bir alt uzayı da bir vektör uzayıdır. Alt uzayın tanımı göz önüne alınarak, vektörlerle birlikte vektörlerin toplamları ve çarpımları tanımlı oldukları alt uzayda anlamlıdır. VEKTÖRLERİN DOĞRUSAL KOMBİNASYONU n Tanım: V kümesi, uzayı üstünde bir vektör uzayı ve E kümesi, E v1 , v 2 , , v n ise, V nin boş olmayan sonlu bir alt kümesi olsun. uzayından (cisminden) herhangi c1 , c2 , , cn elemanları alınarak elde edilen, w c1v1 c2 v 2 cn v n vektörüne v1 , v 2 , , v n vektörlerinin doğrusal kombinasyonu denir. Bkz. Soru 1 DOĞURAN(BAZ) VEKTÖRLER Tanım: V vektör uzayının her v vektörü, yine bu uzayın v1 , v 2 , , v n gibi n tane vektörünün doğrusal kombinasyonu olarak; v c1v1 c2 v 2 cn v n ci vi şeklinde ifade edilebiliyorsa, bu vektörler kümesine, v1 , v 2 , , v n vektörleri tarafından türetilmiş (gerilmiş) bir vektör uzayı denir. v1 , v 2 , , v n vektörlerine uzayın türeten (gergi) vektörleri ya da baz vektörler denir. DOĞRULMUŞ UZAY Tanım: S v1 , v 2 , , v n baz vektörler kümesi ile türetilmiş bir W doğrusal uzayı, lin S ya da lin v1 , v 2 , , v n ile gösterilir. Bkz. Soru 2 DOĞRULMUŞ UZAY Teorem: α1, α 2 , , α n ve β1 , β 2 , , β k kümeleri bir V vektör uzayının alt kümeleri olsun. 1 j n olacak şekilde her j doğal sayısı için α j vektörü, kümesinin bir doğrusal β1, β2 , , βk kombinasyonu, α j c1 j β1 c2 j β 2 ise lin α1 , α 2 , k ckj β k cij β j , α n lin β1, β2 , i 1 , βk EN KÜÇÜK ALT UZAY Teorem: v1 , v 2 , , v n , V vektör uzayındaki vektörler olsun. a. v1 , v 2 , , v n vektörlerinin tüm doğrusal kombinasyonlarının oluşturduğu W kümesi V vektör uzayının bir alt kümesidir. b.Eğer v1 , v 2 , , v n vektörlerini içeren V vektör uzayının en küçük alt uzayı W ise v1 , v 2 , , v n vektörlerini içeren V vektör uzayının tüm diğer alt uzayları W kümesini içerir. DOĞRUSAL BAĞIMSIZLIK Tanım: Eğer S v1 , v 2 , , v n boş olmayan bir vektörler kümesi ise, c1v1 c2 v 2 cn v n 0 vektör denkleminin, c1 c2 cn 0 ile tanımlanan en az bir çözümü vardır. Tek çözüm bu sıfır çözümü ise vektörler doğrusal bağımsızdırlar. En az bir ci 0 olacak şekilde çözüm var ise vektörler doğrusal bağımlıdır. Bkz. Soru 3 DOĞRUSAL BAĞIMSIZLIK Teorem: uzayında, v1 v11 , v21, , vm1 , m v m v1m , v2 m, v1, v 2 v12 , v22, , vm 2 , …, , vmm vektörleri verilmiş olsun. , v m vektör kümesinin doğrusal bağımsız olması için, v11 v12 v1m v21 v22 v2 m 0 vm1 vm 2 vmm olması gerekli ve yeterlidir. Bkz. Soru 3 DOĞRUSAL BAĞIMSIZLIK Teorem: İki ya da daha fazla vektör içeren bir S kümesi, a. ancak ve ancak S kümesindeki vektörlerden en az biri bu kümedeki diğer vektörlerin doğrusal kombinasyonu olarak ifade edilebiliyor ise doğrusal bağımlıdır. b. ancak ve ancak S kümesindeki vektörlerin hiç biri bu kümedeki diğer vektörlerin doğrusal kombinasyonu olarak ifade edilemiyor ise doğrusal bağımsızdır. DOĞRUSAL BAĞIMSIZLIK Teorem: uzayında, v1 , , v n vektörleri verilsin. m<n ise v1, , v n kümesi doğrusal bağımlıdır. m DOĞRUSAL BAĞIMSIZLIĞIN GEOMETRİK YORUMU ya da 3 boyutlu uzayda başlangıç noktaları orijine yerleştirilmiş iki vektör ancak ve ancak, aynı doğru üzerinde yer almıyor ise bağımsızdırlar. 2 Doğrusal Bağımlı Doğrusal Bağımlı Doğrusal Bağımsız DOĞRUSAL BAĞIMSIZLIĞIN GEOMETRİK YORUMU boyutlu uzayda başlangıç noktaları orijine yerleştirilmiş üç vektör ancak ve ancak, aynı düzlem üzerinde yer almıyor ise bağımsızdırlar. 3 Doğrusal Bağımlı Doğrusal Bağımlı Doğrusal Bağımsız BAZ ve BOYUT:KOORDİNAT SİSTEMİ Düzlemsel analitik geometride, düzlemdeki bir P noktasına ait (a,b) koordinatları, birbirine dik iki koordinat ekseni üzerine P noktasının izdüşüm değerlerini belirtir. Her bir koordinat çifti bu düzlemdeki bir ve yalnız bir noktaya karşılık gelir. Koordinat sistemi düzlemdeki noktalar ile sıralı reel sayı çiftleri arasında bire bir bir ilişki tanımlar. BAZ ve BOYUT:KOORDİNAT SİSTEMİ Birbirine dik eksenlerden oluşan koordinat sistemi en çok kullanılan sistemdir. Bununla birlikte bu düzlemde birbirine paralel olmayan her hangi iki doğru da bir koordinat sistemi tanımlamak için kullanılabilir. BAZ ve BOYUT:KOORDİNAT SİSTEMİ Amaç; bir koordinat sistemi kavramını vektör uzayları üzerinden genellemektir. Başlangıç aşaması, bu koordinat sistemini oluşturan eksenler yerine vektörlerin kullanılmasına imkan tanıyan bir formülasyon tanımlamaktır. Her bir koordinat ekseni uzunluğu 1 birim olan bir vektör ile değiştirilir. Örneği v1 ve v2 gibi. BAZ ve BOYUT:KOORDİNAT SİSTEMİ P düzlemdeki bir nokta ise OP vektörü, v1 ve v2 vektörlerinin doğrusal kombinasyonu; OP=av1+bv2 olarak yazılabilir. Vektör formülünde yer alan a ve b sayıları P noktasının bu koordinat sistemindeki koordinat değerleridir. BAZ ve BOYUT:KOORDİNAT SİSTEMİ Tanım: Bir koordinat sistemini belirleyen vektörlere baz vektörler denir. Birim uzunlukta olmaları şart değildir. Bir koordinat sistemi baz vektörler kümesi ile tanımlandığında, baz vektörlerin uzunlukları koordinat eksenleri üzerindeki ardışık tam sayılar arasındaki mesafeyi belirler. BAZ ve BOYUT:KOORDİNAT SİSTEMİ BAZ: TABAN Tanım:Eğer V her hangi bir vektör uzayı ise ve S v1 , v 2 , , v n , V vektör uzayındaki bir vektörler kümesi ise, aşağıdaki iki şartı sağlaması durumunda S kümesi baz olarak adlandırılır. a. S kümesi doğrusal bağımsızdır. b.S kümesi V vektör uzayını türetir. STANDART BAZ Matematikte bir problem ilk kez oluşturulduğunda en çok bilinen ve kullanılan standart koordinatlardır. Örneğin problem 3 uzayında tanımlanmış ise x, y ve z ile tanımlanan kartezyen koordinatlar kullanılır. Bu koordinat sisteminde tanımlı standart baz, x y z 1 x 0 0 0 0 y 1 z 0 xe1 ye 2 ze 3 0 1 eşitlikleri ile verilebilir. S e1 , e 2 , e 3 kümesi 3 için standart baz vektörlerdir. STANDART BAZ uzayındaki birim vektörler e1 1,0, ,0 , e2 0,1, ,0 ,…, en 0,0, ,1 ise bu vektörlerin oluşturduğu küme, S e1 , e2 , , en uzayında doğrusal bağımsız bir kümedir. uzayındaki her hangi bir v v1 , v2 , , vn vektörü v v1e1 v2e2 vnen şeklinde yazılabileceği için S kümesi aynı zamanda vektör uzayını türetir. Tanım: S e1 , e2 , , en kümesi vektör uzayı için bir bazdır ve standart baz olarak adlandırılır: Bir n n n n n STANDART BAZ n uzayında tanımlı standart baz S e1 ,..., e n vektörlerin önemli iki özelliği: Standart baz vektörler birim uzunluğa sahiptir. ei ei ei eiT ei 1 Standart baz vektörler çifterli olarak ortogonaldir. ei e j eiT ei 0 , i j için Bu iki özellik, 1 , i j ei e j ij 0 , i j şeklinde özetlenebilir. Burada ij Kronecker deltadır ve birim matrisin elemanlarını tanımlar. STANDART BAZ Yukarıdaki eşitliklerden görülebileceği gibi verilen v ve w gibi iki sütun vektörü için v.w iç çarpımı ile v T w matris çarpımı aynı sonucu verir. Burada sonuç bir skalerdir.Bununla birlikte vw T şeklinde tanımlanan dış çarpım sonucunda bir kare matris elde edilir. Standart baz vektörlerin dış çarpımı ile aşağıdaki ilginç matrisler elde edilir. STANDART BAZ π1 e1e1T 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 π n e n e Tn 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 STANDART BAZ π i matrislerinde i-inci köşegen eleman 1 olup, diğer tüm elemanlar sıfırdır. π i π l e i eTi e j eTj e i δ ij eTj olduğundan, π i j πi πl i 0 i j olur. Ayrıca köşegen elemanları 1 , 2 ,..., n olan bir D köşegen matrisi, D 1 π1 ... n π n şeklinde yazılabilir. FARKLI BAZ YAPILARI Bazı özel problemler için, problemi basitleştiren farklı bir koordinat sistemi de olabilir. Örneğin; bir gezegenin güneş çevresindeki hareketi ile ilgilenildiğinde güneş, orijin noktasına konularak problemin çözümü kutupsal koordinatlarda gerçekleştirilebilir. Standart bazdan farklı vektörlerin tanımladığı vektör kümesi genellikle, S v1 ,..., v n şeklinde tanımlanır. BAZ: TABAN Teorem 6.1: Eğer S v1 , v 2 , , v n kümesi bir V vektör uzayının bazı ise, V vektör uzayındaki her v vektörü v c1v1 c2 v 2 cn v n olacak şekilde tek bir doğrusal kombinasyonla ifade edilebilir. Bkz. Soru 4 Bkz. Soru 5 BİR BAZA GÖRE KOORDİNATLAR Tanım: Eğer S v1 , v 2 , , v n kümesi bir V vektör uzayının bazı ise ve herhangi bir v vektörü v c1v1 c2 v 2 cn v n ile tanımlanmış ise c1 , c2 , , cn skalerleri S bazına göre v vektörünün koordinatlarıdır ve v s c1 c 2 c n ile gösterilir. Bkz. Soru 6 BİR BAZA GÖRE KOORDİNATLAR Teorem: n uzayında tanımlı bir v vektörünün koordinatları eşsizdir. İspat: 2 uzayında tanımlı bir v vektörü için iki koordinat kümesinin olduğu varsayılsın: v c1 v1 c2 v 2 v d1 v 1 d 2 v 2 BİR BAZA GÖRE KOORDİNATLAR Bu iki ifade birbirinden çıkarılarak, 0 c1 d1 v1 c2 d 2 v 2 v1 , v 2 baz vektörleri, doğrusal bağımsız olduğu için c1 d1 0 ve c2 d 2 0 olmalıdır. Sonuç olarak c1 d1 ve c2 d 2 bulunur. Bu sonuç koordinatların eşsiz olduğunu kanıtlar. Elde edilen sonuç n için genellenebilir. BİR BAZA GÖRE KOORDİNATLAR Eğer bir n uzayı için bir baz vektörler kümesi S v1 ,..., v n tanımlanmış ise, bu vektör uzayındaki bir v vektörünün bu baza göre koordinatları, baz vektörlerin oluşturduğu, A v1 ,..., v n matrisi ve bilinmeyen koordinat vektörünün c1 vs c n oluşturduğu Av s v doğrusal denklem sistemi çözülerek elde edilir. ORTOGONAL-ORTANORMAL BAZLAR Standart baz gibi önemli özelliklere sahip diğer baz yapıları da ortogonal ve ortanormal bazlardır. Ortogonal baz p1 ,..., p n vektörler kümesindeki tüm vektörler ikişerli olarak birbirine diktir(ortogonaldir). pip j 0 , i j için Ortanormal baz u1 ,..., u n vektörler kümesindeki tüm vektörler ortogonal olmalarının yanında, aynı zamanda birim uzunluğa sahiptir. u i u j δ ij ORTANORMAL BAZLAR Teorem: bir ortanormal baz u1 ,..., u n için v vektörü, v vu 1 u1 ... vu n u n vu i u i i şeklinde ifade edilebilir. ORTANORMAL BAZLAR İspat: n için bir ortanormal baz T u1 ,..., u n olsun. T bir baz olduğu için n ’deki bir v vektörü baz vektörlerin doğrusal kombinasyonu olarak, v c1u1 ... cnu n yazılabilir. ORTANORMAL BAZLAR T kümesindeki herhangi bir vektör ile v vektörünün iç çarpımı, u i vektörleri ortanormal olduğundan, vu i c1u1u i ... ci u i u i ... cn u n u i c1 0 ... ci 1 ... cn 0 ci Elde edilen sonuç kullanılarak, v vu 1 u1 ... vu 1 u1 ispat tamamlanır. BAZ ve BOYUT Tanım: Sıfırdan farklı bir vektör uzayı V, eğer baz vektörler kümesi v1 , v 2 , , v n sonlu sayıda vektörü içeriyor ise sonlu boyutlu olarak adlandırılır. Aksi halde sonsuz boyutlu vektör uzayı denir. BAZ ve BOYUT Teorem: Eğer S v1 , v 2 , , v n kümesi bir V vektör uzayının bazı ise V vektör uzayındaki n adetten fazla vektör içeren her küme doğrusal bağımlıdır. Teorem: Sonlu boyutlu bir vektör uzayı için her hangi iki baz küme aynı sayıda vektöre sahiptir. Tanım: Sonlu boyutlu bir V vektör uzayının boyutu baz vektör kümesindeki vektör sayısıdır ve dim(v) ile gösterilir BAZ ve BOYUT Teorem: V boyutu n olan bir vektör uzayı olsun. a. S v1 , v 2 , , v r kümesi V vektör uzayındaki doğrusal bağımsız vektörlerin oluşturduğu bir küme ise ve eğer r<n ise, S kümesi V vektör uzayının bir bazı olacak şekilde v r 1 , v r 2 , , v n vektörleri dahil edilerek genişletilebilir. Burada V vektör uzayının baz kümesi; S v1 , v 2 , , v r , v r 1, v r 2 , , v n b. Eğer W, V vektör uzayının bir alt uzayı ise; dim W dim V . Ancak ve ancak W=V ise dim W dim V SATIR UZAYI SÜTUN UZAYI BOŞ UZAY Tanım: Boyutu mn olan bir A matrisi a1n a11 a12 a a a 22 2n A 21 a a a mn m1 m 2 olsun. A matrisinin satır vektörleri; r1 a11 , a12 , a1n r2 a21 , a22 , a2 n rm am1 , am 2 , amn ve sütun vektörleri: a12 a11 a1n a a a c1 21 , c 2 22 , , c n 2 n a a m2 m1 amn SATIR UZAYI SÜTUN UZAYI BOŞ UZAYI Boyutu mn olan bir A matrisi sütun vektörlerine göre, A c1 c2 cn ya da satır vektörlerine göre, r1 r A 2 rm yazılabilir. SATIR UZAYI SÜTUN UZAYI BOŞ UZAY Teorem: Eğer A ve B satır denk matrisler ise a. A matrisinin verilen bir sütun vektörü kümesi ancak ve ancak B matrisinin karşılık gelen sütun vektörü kümesi doğrusal bağımsız ise doğrusal bağımsızdır. b. A matrisinin verilen bir sütun vektörü kümesi ancak ve ancak B matrisinin karşılık gelen sütun vektörü kümesi B matrisinin sütun uzayı için bir baz oluşturuyor ise A matrisinin sütun uzayı için bir baz oluşturur. Bkz. Soru 9 SATIR UZAYI SÜTUN UZAYI BOŞ UZAY Teorem: Eğer bir matris satır echelon yapısında ise satırda ilk 1 (pivot) elemana sahip sütun vektörleri bu matrisin sütun uzayı için bir baz oluşturur. Bkz. Soru 10 Sütun uzayı için bulunan vektörler orijinal matrisin vektörleridir. Bununla birlikte satır uzayı için yapılan çalışmada bulunan baz vektörler orijinal matrisin vektörleri değildir. SATIR UZAYI SÜTUN UZAYI BOŞ UZAYI Sonuç olarak bir Ax doğrusal denklem sistemi; a1n xn a11 x1 a12 x2 a x a x a x 22 2 2n n Ax 21 1 a x a x a x m2 2 mn n m1 1 a11 a12 a1n a a a x1 21 x2 22 xn 2 n a a m1 m2 amn ya da eşdeğer olarak: Ax x1c1 x2c2 xncn SATIR UZAYI SÜTUN UZAYI BOŞ UZAY Doğrusal cebir uygulamalarında, uzayının alt uzayları n genellikle şu iki şekilde ortaya çıkar: 1) doğrusal homojen denklem sisteminin çözüm kümesi olarak Ax 0 (boş uzay) ya da 2) verilen vektörler kümesinin tüm doğrusal kombinasyonlarının kümesi olarak, Ax b [rank(A)] BOŞ UZAY Bir Matrisin Boş Uzayı: Bir homojen denklem sisteminin çözüm kümesi, vektör uzayıyla tanımlanabilir. Boyutu m×n olan bir A matrisi için boş uzay, Ax 0 denklem sisteminin çözüm kümesidir. Tanım: Boş Uzay Boyutu m×n olan bir A matrisinin Null(A) ile gösterilen boş uzayı, Ax 0 homojen denklem sisteminin tüm çözümlerinin kümesidir. Küme notasyonunda, Null A x : x n ve Ax 0 A matrisinin boş uzayı ker(A) (çekirdek) olarak adlandırılır. BOŞ UZAY Not-1: Belirtilen bu küme n uzayının bir alt uzayıdır. Eğer boyutu m×n olan bir matris inceleniyorsa, Null(A) uzayının elemanları n uzayında tanımlı vektörlerdir. Not-2: Null(A) uzayının elemanları(hangi vektör uzayına ait oldukları), sadece A matrisinin sütun sayısına bağlıdır. Not-3: Homojen denklem sistemlerinde daima en az bir sıfır çözüm (0 vektörü) olduğundan, Null A 0 olur. Asıl soru sıfırdan farklı çözümün olup olmadığıdır. Eğer A matrisinin tersi alınabiliyorsa, Null A 0’dır. Bunun anlamı: Eğer A matrisinin tersi alınabiliyorsa, Ax 0 homojen denklem sisteminin sadece sıfır çözümü vardır. BOŞ UZAY Bir uzay için herhangi bir alt uzay (bir matrisin boş uzayı gibi) tanımlamanın en kolay yolu, o uzay için bir baz tanımlamaktır. Bir denklem sisteminin çözümünde A b genişletilmiş matrisi üzerine elemanter satır işlemleri uygulanarak çözüm elde edilmekteydi. Bu nedenle elemanter satır işlemlerinin doğrusal denklem sisteminin çözüm kümesini değiştirmediği açıktır. Not-4: Bir matrisin bazı, elemanter işlemler ile matrisi echelon matrise indirgeyerek belirlenir. Daha sonra Ax 0 için çözüm kümesi bulunmalıdır. Bir matrisin boş uzayı bulunmak istendiğinde, öncelikle bunun için bir baz belirlenmelidir. Öncelikle Null(A) uzayının elemanlarının, n uzayının elemanları olduğu belirlenmelidir. BOŞ UZAY Boyutu mn olan bir A matrisinden elemanter satır işlemleri ile elde edilen matris B olsun. Bu matrislerin sütun vektörleri sırası ile, c1 , c2 , , cn c1 , c2 , , cn olsun. İki matris için homojen doğrusal denklem sistemleri Ax=0 Bx=0 ya da x1c1 x2c2 xncn x1c1 x2c2 xncn BOŞ UZAY Örnek: 3 6 1 1 7 A 1 2 2 3 1 matrisinin 2 4 5 8 4 boş uzayı belirlensin. Bu sistemin genişletilmiş matrisi, 3 6 1 1 7 0 1 2 2 3 1 0 2 4 5 8 4 0 Sistemin ve echelon x1 2r s 3t x2 r çözümü x3 2s 2t x4 s x5 t 1 2 0 1 3 0 yapısı 0 0 1 2 2 0 0 0 0 0 0 0 BOŞ UZAY ya da x1 2 1 3 x 1 0 0 2 x3 r 0 s 2 t 2 şeklinde yazılabilir. x4 0 1 0 x5 0 0 1 BOŞ UZAY 3 2 1 1 0 0 u 0 , v 2 ve w 2 0 1 0 0 0 1 olmak üzere, u, v, wkümesi Null(A) uzayını tanımlayan baz vektörlerdir ve Null(A), u, v, w’nin bir alt kümesidir. Belirtilen bu küme doğrusal bağımsızdır ve Null(A) için bir bazdır. Böylece Null(A), 3 boyutludur ve 2 1 3 1 0 0 0 , 2 , 2 0 1 0 0 0 1 bazıyla 5 uzayının bir alt uzayıdır. BOŞ UZAY Teorem: Bir A matrisi üzerinde yapılan elemanter satır işlemleri Null(A) uzayını değiştirmez. Tanım: Bir A matrisi için boşluğun boyutu, nullity(A) ile gösterilir ve boş uzayın boyutuna eşittir. Örnek: BOŞ UZAY Aşağıda verilen bir A matrisi ele alınsın. 3 1 1 A 1 1 1 Buna göre 1,2,1 vektörü, 1 3 1 1 0 1 1 1 2 0 1 Sağlanıyorsa A matrisinin boş uzayında yer alır. BOŞ UZAY Aynı şekilde 1,1,1 vektörü, 1 3 1 1 3 0 1 1 1 1 1 0 1 Eştiliğini sağlamadığı için A matrisinin boş uzayında yer almaz. SATIR-SÜTUN UZAYI Tanım: Boyutu m×n olan bir A matrisi için, 1. A matrisinin satır uzayı, yine A matrisinin satır vektörleri olan r1 ,..., rm bazının tanımladığı bir uzaydır. 2. A matrisinin sütun uzayı, yine A matrisinin sütun vektörleri olan c1 ,..., c m bazının tanımladığı bir uzaydır. SATIR-SÜTUN UZAYI Not: Bir A matrisinin satır uzayı n uzayının bir alt uzayı, sütun uzayı ise m uzayının bir alt uzayıdır. Böylece Boyut(satır uzayı(A))≤n ve Boyut(sütun uzayı(A))≤m olur. Doğrusal denklem sistemlerinin çözümü ile matrisler arasında yakın bir ilişki olduğuna göre, bir A matrisinin ve Ax b denklem sisteminin boş uzayı, satır uzayı ve sütun uzayı arasında bir ilişki mevcut mudur? SATIR-SÜTUN UZAYI Bilinmeyen vektörü x1 x x 2 xn olmak üzere, denklem sistemi Ax x1c1 x2 c 2 ... xn c n şeklinde yazılabilir. Böylece x1c1 x2 c 2 ... xn c n b olur. Bu sistemin bir çözümünün olabilmesi için b vektörü, c1 , c 2 ,..., c n kümesinin tanımladığı uzayda yer almalıdır. SATIR-SÜTUN UZAYI Teorem: Ax b denklem sistemi, sadece ve sadece b vektörü A matrisinin sütun uzayında bulunduğunda tutarlıdır. Teorem: Bir A matrisi üzerinde yapılan elemanter satır işlemleri satır uzayını değiştirmez. Not: Tüm matrisler eşsiz bir satır-echelon yapıya dönüştürülebilir Not: Bu teorem bir A matrisinin sütun uzayı için geçerli değildir. Örnek: 1 2 1 1 2 1 1 2 1 R21( 1) 0 0 0 İkinci matrisin sütun uzayının tüm ikinci elemanları sıfırken, ilk matris için aynı durum söz konusu değildir. SATIR-SÜTUN UZAYI Teorem: A ve B satır denk matrisler(birinde uygulanan elemanter satır işlemleriyle diğeri elde edilebiliyorsa) olmak üzere, 1. A matrisinin sütun vektörleri kümesi sadece ve sadece B matrisinde bu vektörlere karşılıkgelen sütun vektörleri doğrusal bağımsız ise doğrusal bağımsızdır. 2. A matrisinin sütun vektörleri kümesi sadece ve sadece, B matrisinde bu vektörlere karşılık gelen sütun vektörleri B matrisinin sütun uzayı için bir baz tanımladığı durumda A matrisinin sütun uzayı için bir baz tanımlar. Not: Satır-echelon formdaki bir matrisin sıfır olmayan satırları bağımsızdır. Satır-echelon formdaki bir matrisin sıfır olmayan satırları, matrisin satır uzayı için bir baz tanımlar. SATIR-SÜTUN UZAYI Teorem: Eğer bir A matrisi echelon formda ise, 1. Pivot elemanı 1 olan satır vektörleri A matrisinin satır uzayı için birer baz tanımlar. 2. Pivot elemanı 1 olan sütun vektörleri A matrisinin sütun uzayı için birer baz tanımlar. Sütun uzayı için bulunan vektörler, orijinal matrisin vektörleridir. Bununla birlikte, satır uzayı için yapılan çalışmada bulunan baz vektörler, orijinal matrisin vektörleri değildir. Yukarıdaki iki teoremden anlaşılabileceği üzere, bir matrisin satır uzayı araştırılıyor ise ilk işlem, matrisi satır echelon yapıya dönüştürmek ve pivot elemana sahip satırları belirlemektir SATIR UZAYI SÜTUN UZAYI BOŞ UZAY Satır uzayının orijinal matris vektörleri olarak elde edilmesi: a. Orjinal matrisin transpozunu al. Bu işlem orijinal A matrisinin satır uzayını AT matrisinin sütun uzayına dönüştürür. b. AT matrisi için satır echelon matrisi elde et. Bu işlem AT matrisinin sütun uzayı için baz vektörleri bulacaktır. c. Bulunan baz sütun vektörlerinin transpozunu al. Bu işlem A matrisinin satır uzayını orijinal vektörler cinsinden elde eder. Bkz. Soru 11 SATIR-SÜTUN UZAYI Elemanter satır işlemleri sonucunda sütun uzayı aynı kalmadığı için, bir matrisin sütun uzayının belirlenmesi kısmen daha zordur. Bir A matrisinin satır-echelon formdaki yapısı B matrisi olsun. Belirtilen A matrisinin sütunları c1 ,..., c n , B matrisinin sütunları da c1' ,..., c 'n vektörleri olsun. Bu durumda B matrisinin sütunlarında pivot elemanı 1 olan sütunlara bakılır. A matrisinin sütun uzayında baz oluşturan c i vektörleri, B matrisinin sütunlarında pivot elemanı 1 olan sütunlara karşılık gelen c i' vektörlerinin indisi i değerlerine göre belirlenir. RANK VE BOŞLUK (NULLİTY) Teorem: A herhangi bir matris olmak üzere, A matrisinin satır uzayı ve sütun uzayı aynı boyuta sahiptir. Tanım: Bir A matrisinin satır uzayı ve sütun uzayının boyutu A matrisinin rankı olarak adlandırılır. SATIR-SÜTUN UZAYI Tanım: Bir matrisin rankı, satır/sütun uzayının boyutuna eşittir. Teorem: Boyutu m×n olan bir A matrisi için, n rank A nullity A SATIR-SÜTUN UZAYI Örnek: Echelon formdaki A matrisi ele alınsın. 1 2 0 1 A 0 0 0 0 5 0 3 3 0 0 0 1 0 0 0 0 Buna göre A matrisinin satır ve sütun uzayları için bir baz bulunuz. SATIR-SÜTUN UZAYI Çözüm: Verilen matris echelon formda olduğu için yukarıdaki teorem doğrudan uygulanabilir. Satır uzayı: 1’lerle başlayan satır vektörleri kümesi bir bazdır. 1 2 0 0 1 0 Sütun uzayı: , , Sütun uzayı 3 boyutludur. 0 0 1 0 0 0 1 2 5 0 3, 0 1 3 0 0, 0 0 0 1 0 Satır uzayı 3 boyutludur. Not: Yukarıdaki örnekte satır ve sütun uzaylarının boyutlarının aynı olması tesadüf değildir. Her zaman satır ve sütun uzaylarının boyutları eşittir. SATIR-SÜTUN UZAYI Teorem: Eğer x 0 vektörü, Ax b denklem sisteminin bir çözümü ve v 1 ,..., v k da A matrisinin boş uzayı için bir baz ise, x vektörü sadece ve sadece x x 0 c1 v1 ... ck v k ise Ax b denklem sisteminin bir çözümüdür. SATIR-SÜTUN UZAYI İspat: Ax b denklem sisteminin bir çözümü x 0 ve v1 ,..., v r A matrisinin boş uzayı için bir baz olsun. Eğer x vektörü Ax b denklem sisteminin bir çözümü ise Ax 0 b ve Ax 0 Ax ya da Ax x 0 0 olur. Böylece x x 0 vektörü A matrisinin boş uzayındadır. x x 0 c1 v1 c2 v 2 ... cr v r Tersine, herhangi c1 , c2 ,..., cr skalerleri için x x 0 c1 v1 c2 v 2 ... cr v r olmak üzere x 0 , Ax b denklem sisteminin bir çözümü ise x vektörü Ax b denklem sisteminin çözümüdür. Ax Ax0 c1v1 c2 v 2 ... cr v r Ax 0 c1 Av 1 c2 Av 2 ... cr Av r b 0 ... 0 Burada v i vektörleri Null(A) uzayı için bir bazdır. SATIR-SÜTUN UZAYI Boyutu m×n olan bir A matrisi ele alınsın. A matrisi ile çarpım fonksiyonunun; Girdileri n uzayında tanımlı vektörler, Çıktıları ise m uzayında tanımlı vektörlerdir. A matrisinin boş uzayı, bu fonksiyon ile sıfıra atanan tüm vektörlerin oluşturduğu kümedir. A matrisinin görüntü kümesi, bu fonksiyonun tüm mümkün çıktılarıdır. A matrisinin satır uzayı, boş uzaya her zaman dik olan ve satır vektörlerinin bir baz tanımladığı uzaydır. A matrisinin sütun uzayı,görüntü kümesiyle her zaman aynı olan ve sütun vektörlerinin bir baz tanımladığı uzaydır. BOŞ UZAY A matrisi ile çarpım BOŞ UZAY Yukarıdaki şekilde soldaki koyu düzlem boş uzaydır ve bu düzlemdeki herhangi bir noktanın A matrisi ile çarpımı sıfırdır. Sağdaki noktalar ise vektörler A matrisi ile çarpıldığında ortaya çıkabilecek bazı mümkün sonuçları göstermektedir. Yine sağdaki doğru ise sütun uzayına eşit olan görüntü kümesini göstermektedir. Soldaki doğru ise satır uzayını göstermektedir. BOŞ UZAY Boş uzay x : Ax 0 BOŞ UZAY Görüntü Kümesi Ax : x n SATIR UZAYI Satır uzayı A matrisinin satırlarını kapsamaktadır SÜTUN UZAYI Sütun uzayı A matrisinin sütunlarını kapsamaktadır