MIT
Açık Ders Malzemeleri
http://ocw.mit.edu
18.06
Doğrusal Cebir, Bahar 2005
Lütfen
aşağıdaki alıntı biçimini kullanın:
Gilbert
Strang, 18.06 Doğrusal Cebir, Bahar 2005. (Massachusetts Teknoloji Enstitüsü:
MIT Açık Ders Malzemeleri). http://ocw.mit.edu ( MM, DD, YYYY) tarihinde
erişildi.
Lisans:
Yaratıcı Ortak Özelllik – Ticari Olmayan
-- Olduğu gibi
Kullanılır.
Not: Lütfen alıntınızda bu malzemeye eriştiğiniz
gerçek tarihi kullanınız.
Bu
materyallerden alıntı yapmak veya Kullanım Şartları hakkında bilgi almak için http://ocw.mit.edu/terms
sitesini ziyaret ediniz.
MIT
Açık Ders Malzemeleri
http://ocw.mit.edu
Doğrusal
Cebir, Bahar 2005
Transcript
- Ders 8
Pekala, kamera tamam deyince başlıyoruz.
Bana sinyal veriyor musunuz?
Tamam, bu Doğrusal
Cebir’in 8. dersi ve biz bu derste doğrusal denklemleri tamamiyle çözüyoruz.
Dersimiz A x = b.
Hedefimiz bu. Çözüm olabilir de olmayabilir de. Yok etme
yöntemi ile bu durumu tespit etmeliyiz. Ve bir çözüm var olduğunda, sadece tek
bir çözüm mü var yoksa bir sürü çözüm mü var, hepsini bulmalıyız. Sıfır uzayını
bulmak için üzerinde çalıştığım geçen dersteki matrisi kullanacağım.
Matrisimizin satırları:
1 2 2 2, 2 4 6 8, üçüncü satır -- hatırlıyorsunuz esas nokta üçüncü satır 3 6 8
10, birinci ve ve ikinci satırın toplamıydı. Bir başka deyişle, şu sol
tarafları toplarsam, üçüncü sol tarafı elde ediyorum. Yok
etme yönteminin sağ taraf hakkında neler bulacağını siz bana hemen
söyleyebilirsiniz. Bu sistemin bir
çözümünün olabilmesi için b1, b2, ve b3 üzerinde bir
koşul olması gerekir. Pek çok durumda -- şu sayıları 1, 5, ve 17 alırsam hiç
bir çözüm olamaz..
Aslında, ilk sayıları 1
ve 5 alırsam, b3 sadece ne olabilir? Elbette altı. Şayet sol tarafların toplamı
bu olacaksa b1 artı b2 nin b3 e eşit olması gerekir. Şimdi yok etme yönteminin
bunu nasıl yaptığını görelim. Bunun böyle olacağını görebiliriz, değil mi?
Başka bir şekilde söylersem, bazi bileşimler sol tarafta sıfır veriyorsa, aynı
bileşimlerin sağ tarafta da sıfır vermesi gerekir.
Tamam, aynı örmeği
alalım ve artı işaretlerini kopyalamaktansa matrisi yazalım. 1 2 2 2, 2 4 6 8
ve 3 6 8 10, ve üçüncü satır ilk iki satırın toplamı.
Şimdi sağ tarafı nasıl halledeceğiz? Sol taraftaki satırlara yaptıklarımızın
aynısını sağ tarafa da yapmak istiyoruz ve bunun için de sağ tarafa bir vektör
ilave ediyoruz, bir sütun vektörü. İşte bu genişletilmiş matrisdir. Bu A ile
yanına b nin ilave edilmesinden elde edilen matris dir. Matlab da sadece bunu
yapmanız kafi. Pekala, şimdi
yok etmeyi bu matris üzerinde yapacağız. Yok etmeyi
hızlıca yapabilir miyiz? Birinci pivot tamamdır, şunun
iki katını bundan, bunun üç katını şundan çıkartıyorum ve 1 2 2 2 b1 elde
ediyorum.
Şunların ikisini atmak
bana 0 0 2 ve 4 verecektir ve şu b2 eksi iki kere b1 dir. Aynısını şu üçüncüye,
şu son sütuna da yapmalıyım. Bu şekilde bundan üç kere şunları çıkartırsam 0 0
2 4 b3 eksi üç kere b1 bulurum. Bu şekilde birinci sütundaki yok etmeyi
tamamlamış oluyoruz.
Devam edersek, birinci pivot hala orada. İkinci pivot işte
burada. Bunların pivot sütunları olduğunu daima akılda
tutacağız. Son neticeye gelirsek --- durun, şurayı silebilir miyim? Bu satırı
şu satırdan çıkartalım, o bunu öldürecek ve bana sıfır dolu bir satır verecek ve
sağ tarafta şunu bundan çıkartırsam ne bulurum? Sanırım b3 eksi b2, ve eksi üç kere b1. İşte bu eksi b1 olacaktır.
Bakın işte tam
beklediğim gibi. Yani şimdi -- son denklem hangisi? Son denklem, sıfır dolu bir
satır olarak ifade ediliyor, sıfır eşit b3 eksi b2 eksi b1 dir. İşte
çözülebilme şartımız budur. Sağ tarafta beklediğimiz şart işte budur.
Bu b1 + b2 nin b3 ile
aynı olduğunu söylüyor ve şayet elimizdeki sayılar 1, 5,
ve 6 olsaydı -- ve b nin 1 5 6 olduğunu varsayarsak, bu doğru bir b olur.
Bu yok etmeyi
bitirdiğimde elime ne geçecek? b1 hala 1 olacak. b2 ise 5 eksi 2, yani 3 olur.
6 eksi 5 eksi 1, işte burası temel nokta, bu sıfır olur, teşekkürler, tamam.
Artık
son denklem tamam. Ve
şimdi dört bilinmiyenli iki denklemi çözmeye çalışacağım. Pekala, bunu yapmak
istiyorum, işte bu b, tamam. Çözüm var.
Elbette biz denklemin çözümünün olabilmesi için b üzerindeki şartın peşindeyiz.
Çözüme geçmeden önce ne
gördüğümüzü yazalım. İlk önce – çözülebilirlik; çözülebilirlik - ki sağ
taraftaki şart işte bu. Ve nedir bu şart? Bu Ax = b nin her zaman çözülebilmesi
şartı. Bu şekilde A x = b nin çözülebilirliği için sütunlar dilinde bir cevap
bulduk.
Cevabın ne olduğunu
bana hatırlatabilir misiniz? Bu bizim önceki dersimizdeki cevap gibiydi. b sütunlar uzayında olmalı. Ancak b, A’nın sütun uzayında
ise çözüm vardır. Doğru mu? Bu şunu söylüyor: b sütunların bileşimi olmalıdır
ve elbette denklem tam da bunu arıyor.
Şimdi cevabı verelim,
aynı cevap ama farklı dilde. Cevabın bir başka yolu - A nın bazı satırlarının
bileşimleri sıfır satırı veriyorsa, ve bu durum
elimizdeki örnekde böyleydi, satırların bazı bileşimleri sıfır satırı
veriyordu, bu durumda b nin üzerindeki şart ne olacak?
Denklemlerin her iki
tarafına da aynı işlemleri yaptığımızdan -- b nin elemanlarının aynı
bileşimleri sıfır vermeli, değil mi? Eğer satırlarının bileşimi sıfır satırı
veren bir matris varsa, b’nin elemanlarının aynı bileşimi de sıfır
vermeli.
Ve bu bir sıfır satırı
değil, bilakis bu sıfır sayısı. Tamam mı?
Hemen belirgin olmasa da, bu iki ifadenin aynı
olduğunu söylemenin bir başka yolu. Her
ikisi de sistemin çözülebilme şartı olduğundan, birbirlerine eşdeğer olmaları
gerekir.
Pekala, sanki sıfır sorusuna geldik:
sistemin çözümü var mı? Tamam, bunu daha çok tartışmak için geri döneceğim.
Çözüm olduğunu kabul ederek ilerleyelim. Çözüm olduğunda. Ve şimdi bizim işimiz
ne? Arkaya yaslanıp iyi, bir çözüm var işimiz bitti mi diyelim?
Çözüm var. Ancak onu
oluşturmamız gerekir. Çözümü bulmak için atacağımız adımlar -- algoritma
nedir? Sınavlarda ben size bir Ax = b sistemi
verip çözüm olup olmadığını soracağım. İşte takip etmeniz gereken algoritma bu.
Tamam mı, haydi görelim.
O halde A x = b nin
bütün çözümleri nedir? Pekala, bir çözüm, bir belirli
çözüm bularak başlayalım. Son denklem sıfır eşit sıfır olduğu için belirli bir
çözüm bulabilmeyi umut ediyorum.
Gerçekde iki denklemim
ve dört bilinmeyenim var, dolayısı ile sadece bir çözüm değil bir çok çözüm bulmak umudundayım. Ama şimdilik bir tane
bulalım.
Birinci adım, belirli
bir çözüm, belirli x. Belirli bir çözümü nasıl buluyoruz? Durun şimdi size bunu
anlatayım. Bir sürü çözüm olduğundan belirli çözümü bulmak için siz kendi
yolunuzu bulabilirsiniz. Fakat bu gayet normal bir yol. Bütün serbest
değişkenleri sıfır yapınız. Bu serbest değişkenler herhangi bir şey olabileceğinden
en uygun seçim sıfırdır. Ve artık A x = b yi pivot
değişkenleri için çözün.
Bu örneğim açısından ne
anlama geliyor? Hangileri serbest değişkenler. Serbestce değer atayabileceğimiz
değişkenler hangileri, ve pivot değişkenlerini
bulabilmenin tek ve bir tek yolu var.
Bunlar x2 -- böylece x2 sıfırdır, çünkü pivotsuz bir sütundadır, ikinci
sütunda pivot yok. Diğeri nedir? Dördüncüsü, x4
sıfırdır.
Bunlardan dolayı şunlar
serbest değişkenlerdir. Pivotsuz olan sütunlardakiler. Görüyorsunuz -- x2 ve x4
ü sıfır yaptığımda, elimde kalan—burada elimde ne? Elimde kalan – görüyorsunuz,
şimdi ben iki serbest sütunu kullanmıyorum. Sadece pivot
sütunlarını kullanıyorum.
Elimde sadece x1 var --
birinci denklem x1 ve 2 kere x3 sağ taraf olmalı, ve
bunu 1 olarak seçtik, Ve ikinci denklem
2 tane x3, ve bu da 3 çıktı. Sıfıra eşitlediğimiz için x2 ve x4 yok oldu. Ve bu
şekilde normal duruma, geri koyma işleminin çalışacağı duruma döndük
Yani x3 = 3/2 ve geri
gidiyoruz, x1, bir
eksi iki x3’e eşit. Bu
mühtemelen eksi ikidir. Güzel. Böylece x belirli çözümü -2, 0, 3/2, 0
vektörüdür. Bu belirli çözümlerden sadece biridir ve bunu biz orijinal sistemde
yerine koymalıyız. Gerçekten, sınavlarda böyle yapmanız iyi olur. Bütün bu
satır işlemlerinden sonra sistemin çözülmüş olması gerekir ve zaten de öyle.
Bu durumda şu
bulduğumuz belirli x. Bugün yeni olan işte bu. Belirli çözüm şöyle geliyor --
önce sıfır eşit sıfır olduğunu gözlüyorsunuz, bu şekilde son denkleminiz
tamamdır. Ve sonra serbest değişkenleri sıfırlıyorsunuz, pivot
değişkenleri için çözüyorsunuz, ve sonuçta içinde serbest değişken olmayan
belirli çözümü buluyorsunuz.
Devam edersek -- bu
sadece bir çözüm, ben şimdi bütün çözümleri arayacağım. Geri kalanları nasıl
bulacağım? Esas nokta şu: x’e ben sıfır uzayından herhangi bir şey
ekleyebilirim -- çünkü bunu geçmişte yaptık, yine de size ne yaptığımızı
hatırlatayım.
Ve sonra onları
toplayacağım. Sonuç bütün çözümler olacak -- yani bütün çözümler bir belirli
çözümle sıfır uzayından herhangi bir vektörün toplanmasından elde edilir, x_n,
tamam mı?
Neden, neden bu böyle,
çünkü matematik’te doğrusal denklemlerin olduğu her yerde bu model karşımıza
çıkıyor. Sebebini açıklayayım, belirli çözüm x_p için, A x_p nedir? Bu kesin
olarak sağ taraftaki b yi verir. Ve A kere sıfır uzayından herhangi bir x_n ne
verir? Sıfır. O halde toplayalım ve paranteze aldım. Böylece A çarpı (x_p artı
x_n) = b artı sıfır, eşit b dir. Ben ne
söylüyorum? Kelimelerle anlatayım.
Bir çözümüm varsa, ona
sıfır uzayından herhangi bir şey ekleyebilirim, çünkü sıfır uzayından herhangi
bir şey sağ tarafta sıfır verir ve elimizde yine doğru sağ taraf b kalır. İşte
bu benim sistemim. İşte bu benim bütün çözüm kümem.
Şimdi bütün bunlar, şu
örnek için nelerdir yazalım. Bu örnekte, x genel çözüm, yani bütün çözüm şuna
eşittir: eksi iki, sıfır, üç bölü iki, sıfır olan ve serbest değişkenlerin sıfır
olduğu belirli çözüm artı hatırlayacağınız gibi sıfır uzayında serbest
değişkenlerin bir -- veya bir ve sıfır olduğu ve diğerlerini kendimizin
doldurduğu belirli bir sıfır çözüm.
Ne olduklarını unuttum,
fakat sanırım bu idi. O belirli bir çözümdü, bu serbest değişkenin sıfır, diğer
değişkenin bir olduğu ve geri kalanların tarafımdan doldurulduğu başka bir
belirli çözüm daha vardı. Belki bu eksi iki ve şu iki idi, belki? Sanırım
doğru. Pardon yanıldım...
Şu size doğru geliyor
mu? Denklemlerimi hatırlamalıyım. Şuradaki tahtaya gideyim, birinci denklemimi
hatırlarsam: 2 kere x3 artı iki kere x4 eşit sıfır, çünkü ben sıfır uzayındaki
çözümlere bakıyorum.
x4 ü bire eşitliyorum
ve tekrar kopyalamadığım ikinci denklem bunun için bana eksi iki veriyor --
evet, sanırım bu tamam. İki eksi dört ve artı iki sıfır verir, tamam. Pekala, bunlar özel çözümler. Bütün çözümleri elde etmek
için ne yapmalıyız? Şimdi bütün çözümleri nasıl elde edeceğim?
Bunu herhangi bir
şeyle, örneğin c1 le çarpayım, şunu da herhangi bir şeyle çarpıyorum --
bileşimlerini alıyorum. Sıfır uzayını bu şeklilde tanımladığımızı
hatırlıyorsunuz. Sıfır uzayı, x_n, özel çözümlerin bileşimidir.
İki tane serbest
değişken olduğundan iki tane özel çözüm vardı. Ve bu noktada bizim bunu göz
önünde bulundurmamız gerekir. İşte aradığım cevap bu. Şunu çarpan bir şey var mı?
Bu adamı çarpan serbest bir sabit var mıdır? Olamaz. Değil mi? Çünkü x belirli çözümü A x_p = b yi
çözüyor.
Bunu 3’le çarpma hakkım
yok. Fakat A x_n = 0 da x_n’yi 3’le çarpabilirim, veya
ona başka bir x_n ekleyebilirim, çünkü sağ tarafta devamlı sıfır elde ediyorum.
Değil mi? Yani, tekrarlarsak, x_p belirli bir çözüm. x_n
bütün bir alt uzaydır. Değil mi? O bir çözüm, artı alt uzaydan herhangi bir
çözüm. Resmini çizelim, bütün genel çözümlerin resmini çizelim.
Şimdi genel çözüm x
olsun. İçinde bulunduğum boyut nedir? Burası şanssız bir
durum. x in kaç tane bileşkesi
var? 4. Dört tane bilinmeyen var. Bu durumda MIT’nin bu ucuz siyah tahtasında 4
boyutlu bir resim çizmem gerek. Tamam. Şimdi başlayalım. Einstein bunu
yapabilirdi -- neyse işte size bir birine dik eksenli 4 boyutlu uzay. Tamam mı?
Çözümlerim neredeler?
Çözümlerim bir alt uzay oluşturuyor mu? A x = b nin çözümleri bir alt uzay
oluşturuyorlar mı? Asla. O zaman nasıl bir şey bu? Bu resimde bir alt uzay, şu
kısım bir alt uzay değil mi? Evet?
İki parametremiz
olduğundan şu kısım iki boyutlu, işte bu sıfır uzayını R^4 ün içinde 2 boyutlu bir alt uzay
olarak düşünüyorum. Şimdi size şunu söylemeliyim ve ilerde yine söyleyeceğim,
alt uzay demek ne demek? Alt uzayın boyutu ne demek? Ama siz ne olacağını
tahmin edebiliyorsunuz. Seçebileceğimiz bağımsız sabitlerin sayısı.
Yani bir yerlerde iki
boyutlu bir alt uzay olacak, bu bir doğru değil, 3 boyutlu uzay da değil,
sadece 2 boyutlu bir uzay. Fakat o orijinden geçmiyor, çünkü şu noktadan
geçiyor.
İşte burada belirli
çözüm, xp şuralarda bir yerde. Bir şekilde alt uzay -- şu şekilde çizebilir
miyim? Belirli çözüm xp den geçen iki boyutlu bir uzay ve devam ediyor, işte xp
ve ona xn i ilave ediyorum, ve işte genel çözüm x.
İşte x = xp + xn. Fakat xn bu uzayda herhangi bir yerde ve bu şekilde bütün
düzlemi dolduruyor.
Bu bir alt uzay --
hayır o bir alt uzay değil. Ben ne diyorum? Düz bir şey, alt uzay gibi, fakat
orijinden kaydırılmış. İçinde sıfır vektörü yok. Tamam mı? Teşekkür. İşte resim bu ve bu da algoritma. Algoritma şu: Yok etme
yöntemini uygula, ve belirli bir çözüm bul, ardından o
özel çözümleri bul. Bunları yapabilirsiniz.
Bu derste büyük resmi
görmek için biraz vaktimizi alalım. Düşünce şeklim şöyle: Size bir soru, aslında
bir kaç soru soracağım. Genelde r ranklı m ye n lik bir A matrisi düşüneceğim.
Tamam.
Rank’ın tanımı nedir?
Şimdilik rank’ın tanımı pivot sayısından başka bir şey
değil. Tamam mı? Her şeyden önce bu
sayılar nasıl birbirleriyle ilişkilidirler? r ile m
arasında bana bir ilişki söyleyebilir misiniz? Matris de m satır ve r tane pivotum varsa -- bu durumda r ile m arasında nasıl bir
ilişki bulunmalı? r küçük veya eşit m olmalı, değil mi?
Çünkü m tane satırım var ve m den daha çok pivotum olamaz. m
tane veya daha az pivotum olabilir.
n tane de sütunumuz var. r ile n arasında nasıl bir ilişki var? Aynı durum, küçük
veya eşit çünkü bir sütunda birden fazla pivot olamaz.
Yani toplam n den fazla pivotum olamaz. Tamam. Tamam.
Elimde m kere n lik ve rankı r olan bir matris var. Ve biliyorum ki r, m den
küçük veya eşit, aynı şekilde r, n den de küçük veya eşit. Ben şimdi r nin
maksimum olabileceği durumdan söz etmek istiyorum. m
ve n nin ne olduklarına bağlı olarak iki ayrı durum söz konusudur. İlk önce tam
sütun rank’ı olduğu durumdan konuşalım, yani r = n durumundan.
Size sorayım, bu çözüm
hakkında ne söylüyor? Sıfır uzayı hakkında ne söylüyor? Bütün çözümler hakkında
ne söylüyor? Ne demek bu? Size soruyorum, rankın n olması ne anlama geliyor?
Her sütunda bir pivotun olduğu anlamına geliyor
elbette. O halde kaç tane pivot değişkeni var? n tane.
Bu durumda bütun
sütunların pivotları var. O halde kaç tane serbest
değişken var? Hiç yok aslında. Yani serbest değişken yok. r
= n, serbest değişken yok. Bu bize bizim küçük algoritmamız hakkında neler
söyler? Sıfır uzayında kimler olacak? A nın sıfır uzayında neler var? Sadece sıfır vektörü.
Başka değerler verecek
serbest değişkenler yok. O halde sıfır uzayı sadece sıfır vektörüdür. Bu durumda A x = b nin
çözümlerinden ne haber? Ax = b nin çözümleri? Bunun hikayesi
nedir? Bugünkü dersimizin konusu bu. x çözümü, genel çözüm nedir? belirli x, x_p, değil mi? Doğru mu? Şayet bir çözüm varsa o
belirli çözüm olmalıdır.
Biliyorsunuz artık,
sadece bir tek çözüm var. O da tabii ki çözüm varsa. Yani tek bir çözüm -- tek
sadece bir tane anlamına geliyor - çözüm varsa o da tektir. Bir başka şekilde
söylersek, ya hiç çözüm yok veya tek çözüm var.
r = n olduğunda bütün olay böyle.
Gerçek hayatta bir sürü örneklerde ilerde bağımsız diyeceğim sütunlarla
karşılaşırız. Ve sıfır uzayında arayacağım hiç bir şey olmayacak, sadece belirli
çözümümüz olacak. Tamam mı? Herkes bu olasılığı görebiliyor mu? Fakat bir
örnek yapmalıyız, değil mi? O halde bir örnek yaratayım.
Nasıl bir matris – sütun rankı tam olan bir matris nasıl bir
şeydir? Varsa eğer şuraya sığdırabilir miyim? Bir örnek yazmak için gayet de
uygun bir yer burası. Çünkü bu örnek uzun ve dar olacak. İşte örneğimiz: bir,
iki, altı, beş, üç, bir, bir, bir. Harika bir örnek.
Tamam, işte A matrisi,
rankı ne bunun? Bu matrisin rankı nedir?
Yok etmeden sonra kaç tane pivot bulacağım? İki, değil
mi? İki. Şurada bir pivot görüyorum - şu iki sütun
farklı yönlerde ilerliyor. Yok etme yaparsam, şurada bir başka pivot bulacağım, güzel, ve ben bunları aşağıyı ve yukarıyı
temizlemek için kullanabilirim. Gerçekten, bana satıra göre indirgenmiş
basamaklı biçimi söyleyebilir misiniz?
Yok etme metodunu sonuna kadar
götürebilir misiniz? Yani, şu ne demek? Şu satırlardan bu satırın katlarını
çıkartıyorum. Bu şekilde şuradaki bütün sıfırları temizliyorum. Şimdi artık
burada bir pivotum var.
Onunla ne yapayım?
Aşağıdan ve yukarından ben onu çıkartıyorum ve boydan boya bölüyorum, şimdi bu
örnek için r nedir? Bunu şu diğer tahtaya koymama müsaade edin. Uygulama
olarak, şu matris için satıra göre indirgenmiş basamaklı biçim nedir? Pivotlar olarak 1 leri var.
Birim matrisi var,
küçük bir iki’ye iki’lik birim matris, ve altında
bütün sıfırlar. Bu ilk iki satırı bağımsız olan bir matris. İlk
iki satır bağımsızlar. Bunlar aynı yönde değiller. Fakat diğer satırlar bu ilk
iki satırın bileşimleri -- o halde bu durumda Ax = b nin çözümleri var mı? Bana
buradaki resmin ne olduğunu söyleyebilir misiniz? Bu matris A için, rankın tam
olduğu durum.
Şu iki sütun pivotları veriyor. Sıfır uzayında hiç bir şey yok. Sıfır
bileşimleri haricinde sıfır sütunu verebilecek hiç bir sütun bileşimi olamaz. Yani sıfır uzayı boş. Fakat A x eşit b ye her zaman bir
çözüm var mı? A x eşit b ile neler oluyor?
Burada dört denklemim var ve sadece iki tane x. O halde cevap kesin
olarak hayır. Her zaman bir çözüm yok.
Sıfır çözümlerim
olabilir, Rastgele seçim yaparsam sıfır çözüm bulurum. Veya sağ tarafta büyük
bir seçim yaparsam, yani şu iki sütunun bileşimini alırsam, örneğin bana öyle
bir sağ taraf verin ki bir çözüm olsun. Şey, 0 0 0 0, değil mi?. Bunun için bir ödül gerekmez. Bir tane söyleyin. Çözüm
veren bir başka sağ taraf 4 3 7 6 olur. İki sütunu toplayabilirim, değil mi?
Şayet sağ taraf 4 3 7 6
olsaydı bütün çözüm ne olurdu? Belirli çözüm bir – bir, yani şu sütundan bir,
şundan da bir aldığımızdaki durum olurdu ve bu tek çözüm olurdu. Sağ taraf şu
iki sütunun toplamı olduğundan belirli x çözümü bir bir olurdu,
ve hepsi bu kadar.
Bu tek çözümlü bir
durum olur. Ve, tam ranklı durum için bu tipik bir
örnek olur. Şimdi satır rankı tam olan duruma geçiyorum. Bu konuşmadaki doğal
simetriyi görüyorsunuz. Tam satır rank r = m demektir. Şimdi bununla yani r = m
ile ilgileniyorum. Tamam. Bu durumda neler var? Kaç tane pivot
var? m tane elbette.
Bu durumda yok etme
yönteminde neler oluyor? m tane pivotum olacak. Yani
her satırda bir pivot var, değil mi? Çözülebilirlikten
ne haber? Hangi sağ taraflar için çözüm var? İşte benim sorum bu. Hangi sağ
taraflar için A x = b yi çözebilirim? Ne geldiğini görüyor musunuz? Yok etme yöntemini uyguluyorum ve hiç sıfır satır elde
etmiyorum.
Bu durumda b üzerinde
hiç bir şart yok. Her bir b için, A x = b yi çözebilirim. A x = b yi her sağ
taraf için çözebilirim. İşte bu varlık durumu, çözümün varlığı. Görüyorsunuz,
her satırda bir pivot var. Bu durumda kaç tane serbest
değişken var? Bu durumda kaç tane serbest değişken var? Başlangıçta n tane
değişkenim vardı, kaç tanesini pivotlar kullandı? r, ki bu m ye eşit. O halde elimde n –r tane serbest
değişken kaldı.
Tamam, tam satır rankı
durumunda her zaman çözüm var, ve bu bana kaç tane
serbest değişkenimin olduğunu da söylüyor, yani n-m tane. İşte n-m tane serbest
değişken. Bir örnek yapabilir miyim? Biliyorsunuz, böyle bir örnek için en iyi
yol şu örneğin devriğini almak. Sütunu bir iki altı beş olan matrisi alayım.
Şimdi size soruyorum, bu benim A matrisim; bu matrisin rankı nedir? O matrisin rankı
nedir? Sorduğum için üzgünüm ama değilim aslında, çünkü rankın ne demek
olduğunu anlamaya başladık. Şu matrisin rankı kaç? iki,
tam olarak iki.
İki tane pivot olacak. Satıra göre indirgenmiş basamaklı biçim ne
olacak? Aranızda bunu bilen var mı? Aslında bana sadece iki tane pivotun
olduğunu söylemeyin, pivot sütunlarını da
söylemelisiniz. Bu matrisin hangi sütunları pivot
sütunlarıdır? Birinci sütun tamam, bir sonraki sütuna gidelim, elime ne geçiyor? Bu pozisyonda ikinci bir pivot
elde ediyor muyum? Evet.
R ye eriştiğimde pivotlar orada olacaklar. Ve ayrıca bazı sayılar da
bulunacak. Burası benim önceden F dediğim kısım. Burası R deki pivot sütunlarının birim matris olduğu kısım. Hiç sıfır
satırı olmayacak, hiç bir sıfır satır bulunmayacak, çünkü rank 2 dir. Fakat
şurada bazı şeyler olacak.
Ve şu özel çözümlere ve
sıfır uzayına girecektir. Tamam. Yani bu r = m küçük n olan tipik bir
matristir. Son olarak şuradaki r = m = n durumu için yerim var. En mühim durum
için bu köşedeyim. Bu matrisin özelliği nedir? Bir örnek vereyim. Tamam. 1 2 3
1, şahane bir örnek.
Bana söyler misiniz,
rankı r = m = n olan bir matrisi nasıl tanımlarım? Matrisin kare olması lazım, değil
mi? Kare bir matris. Rankını bilmek istersem, tüm ranklı. Tüm satır veya tüm
sütun ranklı dememe gerek yok - tüm ranklı demem yeterli, çünkü satır sayısı
sütun sayısına eşit ve rank alabileceği maksimum değerde.
Elimde nasıl bir matris
var? Tersi alınabilir bir matris. Yani tersi olan matrisler. r
= m = n olduğunda, yani tersi alınabilir matris durumunda, satıra göre
basamaklı biçim nasıl olacaktır? Tersi alınabilir kare bir matris için. Birim
matris I. Değil mi?
Gördüğünüz gibi iyi
matrisler R leri aşikar olanlardır. Onları birim
matrise kadar indirgeyebilirsiniz. Bu matris için sıfır uzayı nedir? Bu soruya
canla başla sarılalım mı? Bu matrisin sıfır uzayı nedir? Bu matrisin sıfır
uzayı sadece sıfır vektörüdür.
Sadece
sıfır vektörü. A
x = b yi çözmenin şartları nelerdir? Sağ taraftaki hangi b ler çözüm verir? A
sı bu, b si b1 b2 olan A x = b yi çözmek istediğimde b1 ve b2 üzerinde ne
şartlar gerekir? Hiç bir şey, değil mi? Buraya geri gelirsem, rank m ye eşit
oluğundan, bu durumda ben her hangi bir b için çözüm bulabilirim.
Rank da n olduğundan
çözüm tektir. Bütün resmi şuracıkta özetlersem. İşte tam
resim. r = m = n durumunda birim matrisimiz var. Bu
durum, bir tek çözümün olduğu durum. Bu kare tersi alınabilirin ikinci bölümde
işlendiği hal. Şimdi üçüncü bölümdeyiz: r = m küçük n olabilir.
Şurada bu durum vardı,
satıra göre basamaklı biçim içinde sıfır satırları bulunan birim matris
gibiydi. Bu sıfır veya tek çözümün olduğu bir durumdu. Çözüm deyince A x = b yi
kastediyorum. Bu durumda daima tek çözüm var. O durumda sıfır veya tek çözüm
vardı.
Şimdi de tüm sütun
ranklı ve bazı fazlalık satırları bulunan durumu ele alalım. R matrisi, şey,
birim matris, az kalsın birim matris yazıyordum ama F, ama bu zorunlu değil.
Şu doğru mu? Bunu
şurada doğru mu yapıyorum? Aman allahım, yanlış. Bu r nin n ye eşit oldğu durum, sütunlar
tamam. Bu şu tahtadaki durum, r = n, tam sütun ranklı. Ben m’ nin n den küçük
olduğu duruma bakmak istiyorum, fazladan sütunlarım var. Tamam mı?
İşte başlıyoruz. Bu tam
satır rankı durumu, I ve F ayrıymış gibi duruyor, ama pivot
sütunun birincisi olduğundan emin değilim. I ve F tam ayrışmış değil, yani F, I nin içine serpilmiş olabilir. Bunu şu
şekilde yazabilir miyim? Birinci sütunlar pivot
sütunları değilse, F kısmi olarak I nın içinde olabilir.
Bu durumda kaç tane
çözüm var? Daima bir tane. Bu varlık durumu. Daima bir
çözüm var. Hiç sıfır satırımız yok. Burada hiç sıfır satırımız yok. Bu durumda
daima ya bir çözüm veya sonsuz çoklukta çözüm var, çünkü göz önüne almamız
gereken bir sıfır uzayımız var.
Son olarak r nin m den
ve n den küçük olduğu durumu ele alıyoruz. Tamam. Bu durumda R, içinde bazı
serbest terimler ve bazı sıfır satırların bulunduğu birim matrisdir. Bu durumda,
ya sonsuz çoklukta çözümümüz vardır veya hiç çözümümüz yoktur çünkü bazı b ler
için sıfır eşit sıfır bulamamıştık. Tamam mı?
Bu tahta ve şu söz, bu
dersimizi özetliyor: Kaç tane çözümün olacağı hakkında her şeyi rank size
söylüyor. O sayı, yani rank, çözümdeki bazı bileşenler hariç bütün bilgiyi
veriyor. Bunun için matrise gidiyorsunuz. Tamam? İyi bir hafta sonu
dileklerimle, Pazartesi görüşürüz.