Lineer Cebiri Gerçekten Anlamak: Ezber Bozan Modern Bir Yaklaşım

1995'te Amerikan Matematik Derneği'nin aylık dergisinde kısa, kavgacı bir yazı çıktı. Yazarı San Francisco State Üniversitesi'nden Sheldon Axler'dı. Başlık tek cümleydi: Determinantlara Hayır. İddia da öyle: karmaşık sayılar üzerindeki her kare matrisin bir özdeğeri vardır ve bunu kanıtlamak için determinant formülüne ihtiyacın yok.¹ Formülün kendisi yanlış değildi. Kapı yanlıştı.

Üniversitede lineer cebir çoğu zaman o kapıdan girer. İki çarpı iki matris, a d eksi b c, Cramer kuralı, üç çarpı üçte Sarrus şeması. Sınavı geçersin. Tahta sayı doludur. Uzayın ne yaptığı sorulunca o tahta susar. O sessizliği tanıdıysan yalnız değilsin.

Tahta doluyor, uzay görünmüyor

Axler'ın şikayeti formüle değil, sıraya yönelikti. Determinantı başa koyunca öğrenci bir sayıyı hesaplamayı öğreniyor; o sayının düzlemi kaç kat şişirdiğini, yoksa bir çizgiye yığdığını görmüyor. Makale 1996'da Lester R. Ford ödülünü aldı. Ardından gelen kitabı, Linear Algebra Done Right, determinantı en sona sürdü: önce vektör uzayı, doğrusal dönüşüm, özdeğer. Formül, neyi ölçtüğü belli olduktan sonra geliyor.²

Bu bir ikinci ders kitabıdır. Birinci derste satır işlemleri, Gauss yok etmesi, sayısal pratik durur. Axler onları silmez; yalnızca teorinin omurgasını determinantın üstüne kurmayı reddeder. Karmaşık bir uzayda özdeğerin varlığını, polinomun kökünden değil, dönüşümün bir doğrultuyu sabitlemesinden okur.

MIT'de Gilbert Strang başka bir kapı açtı. A x eşittir b denklemini satır satır okumak yerine sütun sütun okumayı öğretti. Matrisin sütunları uzaydaki oklardır. x vektörü o okları ölçekler, toplar. Çözüm, doğru karışımı bulmaktır. Satır resmi hesabı hızlandırır. Sütun resmi ne aradığını gösterir. İki resmi üst üste bindirince denklem bir hesap olmanın ötesine geçer: uzayda bir yere varmak için hangi okları, kaç kat kullanacağını sorarsın.³

Dört sayı, bütün düzlem

İki boyutta iş daha da sadeleşir. Düzlemin iki temel oku vardır: sağa bir adım, yukarı bir adım. Lineer bir dönüşüm ızgara çizgilerini paralel ve eşit aralıklı tutar, orijini yerinde bırakır. O zaman bütün düzlemin kaderi bu iki okun nereye gittiğindedir. Matrisin birinci sütunu birinci okun yeni adresi, ikinci sütunu ikincinin. Herhangi bir nokta, o iki yeni okun aynı karışımı olarak gider.⁴

Bir örnek. Kayma denen dönüşümü düşün: yatay ok yerinde kalır, dikey ok sağa bir adım yatmıştır. (2, 1) noktası iki adım sağa, bir adım yukarıdır. Dönüşümden sonra aynı karışım geçerli kalır: iki kere yeni yatay ok, bir kere yeni dikey ok. Nokta (3, 1)'e gider. Dört sayı yeter. Gerisi takip eder.

Bu yüzden matris-vektör çarpımı ezber bir reçete değil. Şu kadar yeni birinci ok, artı bu kadar yeni ikinci ok. Çarpım, dönüşümü uygulamaktır. İki matrisi çarpmak da iki dönüşümü peş peşe uygulamaktır. Sıra önemlidir: önce doksan derece döndürüp sonra eğmek, önce eğip sonra döndürmekle aynı yerde bitmez. Çarpımın yer değiştirmemesi bir kapris değil; uzayın peş peşe eğilmesinin kaydıdır.

Determinant bir alan ölçer

Birim kareyi izle. Kenarları temel oklara yaslanan o kare, dönüşümden sonra bir paralelkenara döner. Determinantın mutlak değeri o paralelkenarın alanıdır; dolayısıyla düzlemdeki her şeklin alanının kaç katına çıktığıdır. Üçle ikiyi ölçekleyen çapraz bir matris kareyi altı birimlik bir dikdörtgene çevirir. Determinant altıdır. İşaret yönü söyler: negatifse ızgara ters yüz olmuştur, sağ sol yer değiştirmiştir.⁴

Sıfır özel bir haberdir. Determinant sıfırsa dönüşüm bütün düzlemi bir çizgiye, hatta bir noktaya yığmıştır. Alan yok olmuştur. Tersini almak imkânsızdır çünkü bilgi kaybolmuştur: çizgi üzerindeki bir noktanın eskiden nereden geldiğini bilemezsin. Ters matris, geometride, o eğilmeyi geri sarmaktır. Izgara bir çizgiye yapışmışsa geri saracak bir hareket yoktur.

Gauss yok etmesi hâlâ işe yarar; büyük sistemlerde Cramer kuralı ise çoktan işe yaramaz. Axler'ın alıntıladığı sayısal analizcinin cümlesi nettir: özdeğer kodlarının hiçbiri determinant kullanmaz.¹

Axler determinantı bu yüzden geciktirir. Önce uzay çöktü mü sorusunu dönüşümün çekirdeğiyle sorarsın. Formül sonra gelir; geldiğinde artık bir büyü değil, alanın özetidir. Hamming'in cümlesi burada yerini bulur: hesabın amacı sayı değil, görüş.⁵

Hangi ok yerinde kalır

Özvektör, dönüşümün yalnızca uzattığı veya kısalttığı yöndür. Ok dönerse o yön özvektör değildir. Dönerken uzayan yönler de vardır; ama bir yön varsa ki yalnızca ölçeklenir, o yön dönüşümün iskeletidir. Bir kayma dönüşümü yatay oku yerinde bırakır, dikey oku yana yatırır. Yerinde kalan o yatay ok, kaymanın özvektörüdür. Köprü titreşimi, yüz tanıma, arama motorunun sayfa sıralaması: hepsi bu yerinde kalan yönü arar.⁶

Karakteristik polinom ve a d eksi b c hâlâ hesaplanır. Gauss yok etmesi de durur. Yapay zekanın içindeki çarpımlar da aynı dört sayının, aynı sütun karışımının büyümüş hâlidir. Değişen, onları ne zaman gördüğündür. Izgarayı eğilmiş gördükten sonra formül bir büyü olmaktan çıkar. Dört sayı, uzayın nasıl kıvrıldığının kaydıdır.

kafa1milyon

Meraklı bir kafa. Bilimsel makaleleri, arşiv belgelerini ve saha notlarını okuyup gündelik dile çeviriyor; bilinmeyeni bilinmiyor diye yazmaktan çekinmiyor.