Emre S. Tasci emre.tasci@hacettepe.edu.tr
Fizikte gördüğümüz vektörlerin skalerlerden ayırt edici özelliği belli bir büyüklüğe ve yöne sahip olmalıydı. Yönlerini bileşenlerinin büyüklüğü belirliyordu. Fizikte, yaşadığımız evrene uygun olarak, genel olarak 3 boyutlu vektörlerle ilgilendik (sicim teorisi 10 (M-teoriye giderseniz 11'miş hatta) boyutlu vektörlerle çalışmakta), ama matematikten biliyoruz ki, 3'ten çok, n- boyutlu vektörler de mevcut. Hatta bir vektör illaki fiziksel bir niceliğe işaret etmek zorunda da değil. Bir excel çalışma sayfasını açıp, bir sütuna sırası ile yukarıdan aşağıya adınızı, soyadınızı, numaranızı, boyunuzu, derslerden aldığınız notları vs. yazdığınızda bu da bir vektördür (sütun vektörü); bu verileri bir sütun boyunca değil de, satır boyunca soldan sağa yazdığınızda ise yine bir vektör elde edersiniz (satır vektörü). Yeter ki tek bir derecede (yani ya bir sütunda, ya da bir satırda kalın). Vektörünüzün kaç bileşeni varsa, vektörünüz o boyutlu vektör olur.
İşe bilgisayar açısından bakarsak, vektör dediğimiz şey, birden fazla değeri yan yana (ve önemli: sıralı) tutan kutulardan ibaret. Örneğin, nasıl ki $\vec{a} = 3\hat{\imath}+4\hat{\jmath}$ vektörünü bileşenleri cinsinden $(3,4)$ olarak da temsil edebiliyoruz, bu şekilde düşündüğümüzde, vektörleri sayı dizileri olarak da kafamızda canlandırabiliriz.
Önce eski dost skaler değişkenleri hatırlayalım:
a = 5
a
bir skaler değişken, sadece bir değeri tutar, diyelim ki, iki değişkeni içinde tutan bir sayı dizisi olarak A
yı tanımlamak istedik:
A = [3, 4]
Notasyona dikkat! Sayı dizisini köşeli parantez içinde tanımlayıp, değerleri de virgülle ayırdık. Birinci bileşeni 3, ikinci bileşeni 4 olan, iki elemanlı bir sayı dizimiz oldu. Bunu eşdeğer şekilde: "x yönündeki bileşeni 3 birim uzunluğunda, y yönündeki bileşeni 4 birim uzunluğunda bir vektör" olarak da yorumlayabilirdik. Böyle bir vektörün boyutunu gerek Pisagor Teoremi'nden, gerekse de vektörlerin büyüklüğünü veren: $$ \|\vec{A}\| = \sqrt{\sum_{i}{a_i^2}}$$
formülünden hesaplayabiliriz:
power(3**2 + 4^2, 0.5)
(burada, üs almak için üç farklı ve eşdeğer yöntemi birlikte kullanmamız, züppelikten başka bir şey değildir!.. 8P 8) Ayrıca, bir vektörün boyunu (yani norm'unu) hesaplamak için, adı üstünde, norm
komutunu da kullanabiliriz:
norm(A)
Bir vektörün (/sayı dizisinin) elemanlarının bulunduğu konumlara indis adı verilir ve Octave'da sayma işlemi 1'den başlar: A vektörümüzün 1. indisi 3'e, 2. indisi ise 4'e eşittir. İstediğimiz indislere erişmek için parantezleri kullanırız:
# A'nın 2. indisine erişelim:
A(2)
# A'nın 1. indisine erişelim:
A(1)
# i diye bir skaler tanımlayıp, değerini 2 yapalım:
i = 2
# Şimdi de A'nın i. indisli elemanına erişelim:
A(i)
Hiç şaşırtıcı olmadı. Sonuçta 'A(i)' diye bir komut gönderdiğimizde, yorumlayıcı, 'i' gördüğü yere, değeri olan '2'yi yerleştirdiğinden, ha A(i)
yazmışız, ha A(2)
. Peki, ya A'nın 2. ve 1. indisli elemanlarını çağırmak istersek?
A([2,1])
Dikkat edin, indis olarak, parantez içine parametre olarak istediğimiz indisleri tutan bir sayı dizisi gönderdik: [2,1]
. Bunu istediğimiz kadar tekrarlayabiliriz, örneğin, A'nın 2., sonra 1., sonra tekrar 1., sonra tekrar 2. indisli bileşenlerini(/elemanlarını) çağıralım:
A([2,1,1,2])
Değişkenleri parametre olarak kullanmayı A(i)
den biliyoruz, buraya da uygulayalım:
n = [2,1,1,2]
A(n)
Elemanlara ulaşabildiğimiz gibi, hazır ulaşmışken onların değerlerini de atayabiliriz -- tek yapmamız gereken yeni değerlerini tanımlamak:
# A'nın 2 indisli elemanını getir:
A(2)
# A'nın 2 indisli elemanına -1.5 değerini ata:
A(2) = -1.5
norm(A)
sqrt(3^2+(-1.5)**2)
A = [1 2 3]
B = [9 5 7]
A
ve B
vektörlerinin ikisi de satır vektörleri (çünkü satır üzerinde tanımlandılar). Bir de sütun vektörleri var: onları da bileşenlerini alt alta yazarak tanımlayabiliriz:
C = [4
7
2]
Bu şekilde tanımlamak, yazarken pratik olsa da, sonrasında gidip düzeltme yapabilme açısından çok pratik değildir (alternatifler için bkz. hemen aşağıdaki alt-başlık).
Satır vektörleri tanımlarken virgül yerine boşluk; sütun vektörleri tanımlarken ise yeni satıra geçmek (yani "enter'a basmak") yerine, noktalı virgül kullanabiliriz. Örneğin:
A = [1 2 3]
# virgül ve boşluğu geçişli olarak da kullanabiliriz.
# Ayrıca, kaç boşluk bıraktığınız da önemli değildir.
B = [9, 5 7 ]
C = [4; 7; 2]
Bir satır vektörünü sütun vektörüne, veya bir sütun vektörünü satır vektörüne çevirmek için onu deviririz (yani transpose'unu alırız):
transpose(A)
transpose(C)
Bu işlem sıklıkla yapıldığı için, kolaylık olsun diye kesme işareti (') ile de tanımlanmıştır:
A'
C'
(Aslında kesme işareti tam olarak transpose() komutunun eşdeğeri değildir, devirme işlemine ek olarak, kompleks konjugesini de alır ama kompleks sayılar bizim göreceklerimizin dışında olduğundan, dersimizde güvenle kullanabiliriz ;)
Vektörler 3 çeşit çarpıma dahil olurlar:
Bir vektör bir skalerle çarpıldığında doğrultusu (yani üzerinde bulunduğu doğrunun açısı) değişmez, yalnızca büyüklüğü değişir. Eğer çarptığımız skaler negatif bir sayı ise, o zaman vektör ters yönde, fakat yine aynı doğru üzerinde yer alır. Vektörün boyu ise çarpıldığı skalerin mutlak değeri oranında değişir.
Örnek
$\vec{A} = \hat{\imath}+4\hat{\jmath}+3\hat{k}$ vektörünü $s=5$ sayısı ile çarpalım:
A = [1,4,3]
s = 5
s*A
# A'nın boyu:
norm(A)
# çarpımın boyu:
norm(s*A)
# Boyların oranı
25.495 / 5.0990
Vektörlerin skaler çarpımının İngilizcesi'ne "scalar product" denmekte. Product kelimesi de hem "çarpım", hem de "ürün" anlamına geldiğinden, "scalar product" terimini "skaler ürün" olarak da okuyabiliriz: yani, sonucumuz (ürünümüz) bir skaler olacak -- işleme iki vektör girip, dışarıya bir skaler çıkacak.
Octave'da, iki vektörü skaler çarpmak için kullandığımız komut, işlemin diğer adı olan "nokta çarpım"dan ("dot product") gelen dot
komutu (aritmetikte çarpmayı hem nokta, hem de çarpım işaretiyle temsil ettiğimizden, vektörlere dair iki farklı çarpma işleminden birini nokta, diğerini ise çarpım işaretiyle temsil ediyoruz).
Matematiksel olarak, $\vec{A}$ ve $\vec{B}$ vektörlerinin skaler çarpımı şu şekilde tanımlanır:
$$\vec{A}\cdot\vec{B} = \|\vec{A}\|\,\|\vec{B}\|\,\cos\theta$$(burada $\theta$, iki vektör arasındaki açı olmakta). Bu formülü kullanarak, birim vektörler arasındaki ilişkiyi çıkartabiliriz:
$$\left. \begin{array}{c} \hat\imath \perp \hat\jmath, \hat{k} \\ \hat\jmath \perp \hat\imath, \hat{k} \\ \hat k \perp \hat\jmath, \hat{\imath} \end{array}\right\}\rightarrow \begin{array}{c} \hat\imath\cdot\hat\imath = \hat\jmath\cdot\hat\jmath = \hat{k}\cdot\hat{k} = 1\\ \hat\imath\cdot\hat\jmath = \hat\jmath\cdot\hat{k} = \hat{k}\cdot\hat\imath = 0 \end{array}$$$\vec{A}$ ve $\vec{B}$ vektörlerinin skaler çarpımının vektörlerin bileşenler üzerinden tanımı ise şöyledir:
$$\vec{A}\cdot\vec{B} = \sum_{i}{a_i .b_i}$$Bu iki formülü birlikte kullanarak, iki vektör arasındaki açı kolayca hesaplanabilir. Örnek olarak $\vec{A} = \hat{\imath}+4\hat{\jmath}+3\hat{k}$ ile, $\vec{B} = 9\hat{\imath}+5\hat{\jmath}+7\hat{k}$ vektörleri arasındaki açıyı hesaplayalım:
A = [1,4,3]
B = [9,5,7]
AB = A(1)*B(1) + A(2)*B(2) + A(3)*B(3)
Bileşen çarpımlarını uzun uzun elle yapmak yerine, doğrudan dot
komutunu kullanabiliriz:
AB = dot(A,B)
Çarpım için iki eşitliğimiz olduğundan bir tanesini kullanarak bulduğumuz bu sonucu diğerine eşitleyip, açı terimini yalnız bırakırsak: $$\cos\theta = \frac{\vec{A}\cdot\vec{B}}{\|\vec{A}\|\|\vec{B}\|}$$
costheta = dot(A,B)/(norm(A)*norm(B))
Buradan da bulduğumuz değerin $\cos^{-1}$ ($\arccos$) değerini alırsak açıyı radyan cinsinden elde ederiz:
theta_radyan = acos(costheta)
Radyan cinsinden verilmiş bir açıyı derece cinsine çevirmek için pi'ye bölüp 180 ile çarparız:
theta_derece = theta_radyan / pi * 180
Açıları sıklıkla derece ile temsil ettiğimizden dolayı, trigonometrik fonksiyonların doğrudan derece cinsinden açılarla çalışan versiyonları vardır: cosd
, sind
, tand
, acosd
gibi, sonlarına derece'nin (degree) "d"sini alırlar. Bu şekilde, tekrar hesaplarsak:
costheta = dot(A,B)/(norm(A)*norm(B))
theta_derece = acosd(costheta)
Çok karmaşık görünmeyecekse, bütün işlemleri tek bir komutta toplayabiliriz:
aci = acosd(dot(A,B)/(norm(A)*norm(B)))
Vektörlerin koordinat sistemindeki görüntüleri şu şekilde; aralarındaki açı bakın bakalım $38^o$'ye benziyor mu? ;)
Şekli CalcPlot3D yardımıyla çizdim, bu işler için gayet faydalı bir araç, aklınızda bulunsun.
Vektör çarpım ("vector product"), "adı üzerinde", sonuç olarak vektör çıkartan bir çarpımdır. Sonucun vektör olmasından ötürü, hem boyu, hem de yönü vardır. Yönü de çarpılan iki vektöre dik yöndedir. Nasıl ki iki nokta bir doğru tanımlıyorsa (bir başka deyişle "iki noktadan bir doğru geçer"), iki vektör de bir düzlem tanımlar (yani, rasgele iki vektör aldığınızda, bir dosya kağıdını bükmeden bunların ikisini de içerecek şekilde tutabilirsiniz). Bir düzleme dik iki doğrultu olduğundan, çarpım sırası önemlidir, sonuç vektörünün yönünü sağ el kuralı ile belirleriz.
Birbirine paralel ya da anti-paralel iki vektöre sonsuz sayıda dik doğrultu olduğundan, bu şekilde yönlenmiş iki vektörün vektör çarpımı sıfır olur. Bunu sonuç vektörünün büyüklüğünü veren formüldeki $\sin\theta$ çarpanının 0 ve $180^o$ derecelerde otomatikman 0 getirmesinden de anlayabiliriz.
Çarpım vektörünün boyu: $$\vec{A}\times\vec{B} = \|\vec{A}\|\,\|\vec{B}\|\,\sin\theta$$ ile tanımlanır. Sinüs fonksiyonunun tek fonksiyon olmasından ötürü $\left(\sin{-\theta} = -\sin{theta}\right)$:
$$\vec{A}\times\vec{B} = -\vec{B}\times\vec{A}$$olduğu da açıktır.
Yönü ise, yukarıda da belirttiğimiz üzere iki çarpan vektöre de dik olacak şekilde çıkar.
Yönünü de içeren çarpım formülü biraz karışık görünse de: $$\vec{A}\times\vec{B} = \left(a_y b_z - a_z b_y\right)\hat{\imath} +\left(a_z b_x - a_x b_z\right)\hat{\jmath} +\left(a_x b_y - a_y b_x\right)\hat{k}$$
determinant tanımından kolay şekilde yazılabilir:
$$\vec{A}\times\vec{B} = \begin{vmatrix} \hat\imath & \hat\jmath & \hat{k}\\ a_x & a_y & a_z\\ b_x & b_y & b_z \end{vmatrix}$$Bu formüllerden, birim vektörler arasındaki ilişki ise:
$$\left. \begin{array}{c} \hat\imath \perp \hat\jmath, \hat{k} \\ \hat\jmath \perp \hat\imath, \hat{k} \\ \hat k \perp \hat\jmath, \hat{\imath} \end{array}\right\}\rightarrow \begin{array}{c} \hat\imath\times\hat\imath = \hat\jmath\times\hat\jmath = \hat{k}\times\hat{k} = 0\\ \hat\imath\times\hat\jmath = \hat{k};\; \hat\jmath\times\hat{k} = \hat{\imath};\;\hat{k}\times\hat\imath = \hat{\jmath} \end{array}$$olarak bulunur.
Octave'da vektör çarpım işlemi ("cross product"), cross
komutu ile gerçekleştirilir.
Örnek #1
Anlaşılma kolaylığı açısından, örneklerimize x ve y yönlerinde iki vektörün çarpımıyla başlayalım:
olsun.
Çarpım vektörü ikisine de dik olacağından, ya +z, ya da -z yönünde olmalıdır. Sağ el kuralını kullanarak, $\vec{Q}\times\vec{R}$ nin +z yönünde; $\vec{R}\times\vec{Q}$ nun ise -z yönünde olacağını görürüz. Büyüklüğü ise, $\sin{90^o} = 1$ olduğundan, $5\times 3=15$ olur.
$$\vec{Q}\times\vec{R} = 5\hat{\imath} \times 3\hat{\jmath} = \left(5\,.\,3\right)\left(\hat{\imath} \times \hat{\jmath}\right) = 15 \hat{k}$$Bu işlemleri Octave'da yapalım:
Q = [5 0 0]
R = [0 3 0]
S = cross(Q,R)
Çarpım sonucu ortaya çıkan vektöre S
adını verdik; bakalım $\vec{S}$ gerçekten de $\vec{Q}$ ile $\vec{R}$ vektörlerine dik mi?
# Doğrudan skaler çarpımda ürettiğimiz komutu kullanıyoruz:
aci_QS = acosd(dot(Q,S)/(norm(Q)*norm(S)))
aci_RS = acosd(dot(R,S)/(norm(R)*norm(S)))
Tabii, dikliği çok daha kolay bir şekilde de kontrol edebilirdik: birbirine dik iki vektörün skaler çarpımının 0 olacağını biliyoruz, o halde:
dot(Q,S)
dot(Q,R)
Örnek #2
$\vec{A} = \hat{\imath}+4\hat{\jmath}+3\hat{k}$ ile, $\vec{B} = 9\hat{\imath}+5\hat{\jmath}+7\hat{k}$ vektörlerimizi vektörel çarpımla çarpalım:
A = [1, 4, 3]
B = [9, 5, 7]
C = cross(A,B)
# A ile B'nin arasındaki açı:
aci = acosd(dot(A,B)/(norm(A)*norm(B)))
# Formülden C=AxB'nin boyu:
boy_C = norm(A)*norm(B)*sind(aci)
# (Dikkat: aci derece cinsinden olduğundan, "sind" kullanıyoruz)
# C'nin bileşenlerinden hesaplanan boyu:
norm_C = norm(C)
# C ile A ve B arasındaki açı:
aci_CA = acosd(dot(C,A)/(norm(C)*norm(A)))
aci_CB = acosd(dot(C,B)/(norm(C)*norm(B)))
Vektörleri bir excel çalışma sayfasındaki satır veya sütun boyunca sıralanan veriler olarak gözümüzde canlandırmıştık; matrisleri ise bir çalışma sayfasının tamamı olarak görebiliriz. Bir matrisin 1'den fazla satırı ve 1'den fazla sütunu olur (satır veya sütun sayısı 1 olursa, o zaman alt kümesi olan vektörlerden bahsediyoruz demektir).
Matrislerde satırlar önceliklidir, yani her zaman için önce satırı, ardından sütunu kast ederiz.
2 satırlı, 3 sütunlu bir matrisi, vektörleri tanımladığımıza benzer olarak tanımlarız, örneğin:
M = [11 12 13; 21 22 23]
(tıpkı vektörlerde olduğu gibi, boşluklarla virgülleri; noktalı virgüllerle de Enter tuşunu geçişli olarak kullanabiliriz)
Matrislerin elemanlarına ulaşmak için yine parantezler içinde ulaşmak istediğimiz indisi belirtiriz (her zaman için önce satır, sonra sütun numarası!)
Örnekler
# 2. satırın, 3. sütunundaki eleman:
M(2,3)
# 1. satırın, 2. sütunundaki eleman:
M(1,2)
# Vektörlerde yaptığımız gibi, birden fazla elemanı seçebiliriz:
# 2. satırın, 2. ve 3. sütunlarındaki elemanlar:
M(2,[2,3])
# 1. ve 2. satırların, 3. sütunundaki elemanlar:
M([1,2],3)
# 1. ve 2. satırların, 1. ve 3. sütunlarındaki elemanlar:
M([1,2],[1,3])
# Sütunları ters sırayla çağıralım:
M([1,2],[3,2,1])
# Satırları ve sütunları ters sırayla çağıralım:
M([2,1],[3,2,1])
Alıştırma:
$M$ matrisinin köşelerindeki elemanları çağırabilir misiniz? Yani:
$$\begin{bmatrix}11 & 13\\ 21 & 23\end{bmatrix}$$ olacak şekilde.
Az sayıda satır/sütunlu matrislerle uğraşırken belki tek tek belirtilebilir ama eninde sonunda boyumuzu aşan boyutlarda matrislerle çalışmamız gerekecek. Bu tür durumlarda ise aralık operatörünü kullanırız.
En basit haliyle, iki sayının arasına :
koyduğumuzda, bu "ilk sayıdan ikincisine kadar, onu geçmeden, birer birer arttır" anlamına gelir:
# 1'den 5'e:
1:5
# 2.3'ten 5.2'ye:
2.3:5.2
Görüldüğü üzere, ondalıklı sayılarda da sorunsuz çalışıyor: 2.3'ten başlayıp, 1 arttırarak gidiyoruz: 2.3, 3.3, 4.3... 5.3'e gelindiğinde ise, bu sayı sınırımız olan 5.2'nin dışında olduğundan içerilmiyor ve sayım orada duruyor.
# -pi'den +2pi'ye:
-pi:2*pi
Tabii ki birer birer arttırmak yaygın olsa da, genel bir tercih olmamalı. Diyelim ki, 10'dan geriye birer birer saymak istiyoruz, ya da 3.1'den 4.0'a 0.1 adımlarla saymak istiyoruz... Bu durumda devreye, aralık operatörünün 3. parametresi olarak adım parametresi girer. Adım parametresi, başlangıç ve bitiş sınırlarının arasına yazılır:
başlangıç:adım:bitiş
şeklinde:
# 10'dan 0'a geri geri sayalım:
10:-1:0
# 3.1'den 4.0'a, 0.1'lik adımlarla sayalım:
3.1:0.1:4.0
Aralık operatörlerini birbirleriyle köşeli parantezler ([] - yani sayı dizileri içerisinde) birleştirebiliriz:
[-10:-7, 5:-2:1, 6:9]
Bu yeni öğrendiğimiz aralık operatörünü kullanarak, elemanları 1'den 42'e olan 7x6'lık (yani 7 satırlı ve 6 sütunlu) bir matris tanımlayalım:
N = [1:6;7:12;13:18;19:24;25:30;31:36;37:42]
# 1., 3. ve 5. satırlarını çağıralım:
N(1:2:5,[1,2,3,4,5,6])
satır kısmı tamam da, sütun kısmına öyle tek tek hepsini girmek biraz kabaca oldu, daha iyi şekilde yapamaz mıyız?
# Daha güzel bir şekilde 1., 3. ve 5. satırlarını çağıralım:
N(1:2:5,1:6)
Bu sefer gayet şık oldu. Buna ek olarak, eğer aralığımız "hepsi" ise, o zaman sadece ":" yazmamız yeterli olur (satır kısmına yazarsak "tüm satırlar", sütun kısmına yazarsak da "tüm sütunlar" anlamına gelir):
# En şık şekilde 1., 3. ve 5. satırlarını çağıralım:
N(1:2:5,:)
# (Bütun satırların) 2., 5. ve 6. sütunlarını çağıralım:
N(:,[2,5,6])
Tıpkı vektörlerde olduğu gibi, matrislerde de çağırdığımız kısma dilersek yeni bir değer atayabiliriz:
N([1,7],[1,2,5,6]) = -999
M = [11 12 13; 21 22 23]
transpose(M)
M'
İki matrisin birbiriyle toplanabilmesi / birbirlerinden çıkarılabilmesi için bariz şekilde aynı boyutlarda olmaları gerekmektedir. Toplama ve çıkarma işlemleri birbirine karşılık gelen elemanlar arasında yapılır. Eğer taraflardan biri skaler ise, otomatik olarak matrisin her bir elemanıyla işleme girer.
K = [-3:3;-2:4;-1:5]
L = [1,1,1,1,1,1,1;1,1,1,1,1,1,1;1,1,1,1,1,1,1]
K+L
K-L
3 + K
8 - L
Üstteki L matrisi gibi her seferinde uzun uzadıya yazmayalım diye, birkaç özel matris hazırda tanımlanmıştır. Bunlar:
zeros
matrisiones
matrisieye
birim matrisiZ = zeros(3,5)
M1 = ones(3,5)
I = eye(3,3)
Matrisler de, tıpkı vektörler gibi, farklı türden çarpma işlemlerine girerler:
Bir matris skalerle çarpıldığında, her bir elemanı o skalerle çarpılır.
# Örneğin, her bir elemanı 5 olan 3x7'lik bir matris tanımlayalım:
M5 = 5*ones(3,7)
İki matrisin birbirleri ile çarpılabilmesi için, sol taraftaki matrisin sütun sayısının, sağ taraftaki matrisin satır sayısına eşit olması gerekmektedir. Sonuç matrisinin satır sayısı sol matrisinkine; sütun sayısı da sağ matrisinkine eşit olur:
Çarpımda, sol matrisin satırları ile sağ matrisin sütunlarının kesiştiği hücrenin sonuç matrisindeki değeri, karşılıklı elemanların sıralı çarpımlarının toplanmasıyla bulunur (böyle resmi yazınca karmaşık, ciddi bir şey gibi oldu ama aslında gayet basit ve doğrudan, şöyle ki):
$$\overset{4\times 2 \text{ matris}}{\begin{bmatrix} {a_{11}} & {a_{12}} \\ \cdot & \cdot \\ {a_{31}} & {a_{32}} \\ \cdot & \cdot \\ \end{bmatrix}}_{(4\times 2)} \overset{2\times 3\text{ matris}}{\begin{bmatrix} \cdot & {b_{12}} & {b_{13}} \\ \cdot & {b_{22}} & {b_{23}} \\ \end{bmatrix}}_{(2\times 3)}= = \overset{4\times 3\text{ matris}}{\begin{bmatrix} \cdot & c_{12} & c_{13} \\ \cdot & \cdot & \cdot \\ \cdot & c_{32} & c_{33} \\ \cdot & \cdot & \cdot \\ \end{bmatrix}}_{(4\times 3)} $$Şekilde daire ile işaretlenmiş $c_{12}$ ve $c_{33}$ elemanlarının değeri:
$$\begin{align} c_{12} & = {{a_{11}}}{{b_{12}}} + {{a_{12}}}{{b_{22}}} \\ c_{33} & = {{a_{31}}}{{b_{13}}} + {{a_{32}}}{{b_{23}}} \end{align}$$şeklinde hesaplanır.
Örnek: $$A=\begin{bmatrix}1 & 2 & 3\\4 & 5 & 6\end{bmatrix}_{(2\times 3)},\;B=\begin{bmatrix}7 & 8\\9 & 10\\ 11&12\end{bmatrix}_{(3\times 2)}\rightarrow C=A\cdot B=?$$
Daha hiçbir işlem yapmadan, $C$ sonuç matrisinin $(2\times 2)$lik bir matris olacağını görebiliriz. Bu $C$ matrisinin üst-sol elemanı, $A$'nın üst satırı ile $B$'nin sol sütununun kesişmesine karşılık geldiğinden: $$\begin{align*}c_{11} &= a_{11} b_{11} + a_{12} b_{21} + a_{31} b_{13}\\ &=1\times7+2\times9+3\times11 = 7+18+33\\ &=58\end{align*}$$
olarak bulunur. Geriye kalan diğer 3 elemanı da benzer şekilde kesişimlerden hesaplarız:
Octave'da ise doğrudan çarpım operatörü ile iki matrisi çarpabiliriz:
A = [1:3;4:6]
B = [7,8;9,10;11,12]
C = A * B
Bazen de, iki matrisi toplamada olduğu gibi, eleman bazında çarpmak isteriz (bunun için tabii ki ikisinin de boyutlarının aynı olması gerekmektedir). İşlemin eleman bazında olacağını belirtmek için, işleme dair operatörün başına nokta (.) koyarız.
Bir A matrisini kendisi ile çarpmak istediğimizi düşünelim (yani karesini almak istediğimizi). Bu durumda ya A*A
yazarız, ya da A**2
. Örnek üzerinden gidersek:
şeklinde $(2\times 2)$lik bir matris olsun. Bu durumda:
$$A^2 = A\cdot A = \begin{bmatrix}1 & 2 \\ 3& 4\end{bmatrix}\cdot \begin{bmatrix}1 & 2 \\ 3& 4\end{bmatrix}$$
olarak yazılır, bu da, bir önceki bölümde gördüğümüz üzere:
A = [1 2; 3 4];
A*A
A**2
olarak bulunur. Bazı durumlarda biz eleman bazlı çarpım yapmak istiyoruz (yani 1'leri birbirleriyle, 2'leri birbirleriyle, kısaca her elemanın karesini almak istiyoruz). Bu derdimizi, işlem operatöründen önce "." koyarak Octave'a iletiriz:
A.*A
A.**2
... gibi. 8)
Matrislerde bölme işlemi bulunmadığından, sadeleştirme işlemleri "bölerek" yapılamaz. Onun yerine, bir matrisle çarpıldığında, sonucun çarpmaya göre etkisiz eleman olan birim matris olduğu özel matrisleri kullanırız. Bu matrislere ilgili matrisin ters matrisi denir. Normalde hesaplaması biraz (epey) karışık olabilir ama neyse ki Octave'da bunun için inv
komutu vardır.
A
Ai = inv(A)
A * Ai
Ai * A
%%\usepackage{cancel}
Elimizde şöyle bir denklem olsun: $$\begin{gather*}3x+5y = 1\\ x-y=3\end{gather*}$$
(evet, bildiğimiz 2 bilinmeyenli, iki denklem ;)
Normalde bunun 1 bilinmeyenli hali olsaydı, mesela:
$$ 5z = 20$$gibi bir denklem, yapacağımız iş basitti: iki tarafı da 5'e bölerdik, sol tarafta 5'ler sadeleşir, 1 olur, sağ tarafta da 4 kalırdı, böylelikle çat diye $\boxed{z=4}$ yazardık:
$\require{cancel}$
$$\frac{\cancel{5}z}{\cancel{5}} = \frac{\cancelto{4}{20}}{\cancel{5}}$$
Ama aslında yaptığımız şey bambaşka (ortaokula giden biri görse aynı şey olduğunu iddia edecek olsa da... 8): eşitliğin iki tarafını da, soldan, 5'in çarpmaya göre tersi olan $\frac{1}{5}$ ile çarpıyoruz.
$$\frac{1}{\cancel{5}}.\cancel{5}z = \frac{1}{\cancel{5}}.\cancelto{4}{20}$$(Elimizde skalerler olduğundan) matematiksel açıdan birbirine tamamıyla eşdeğer iki sadeleştirmenin "yorum" açısından farkını anlamaya çalışın, benim vaktim var, beklerim...
Bunu matris çarpımı şeklinde yazabiliriz (çarpan matris $(2\times 2)$lik, çarpılan ve sonuç matrisleri $(2\times 1)$lik, yani aslında sütun vektörleri:
$$\begin{pmatrix}3&5\\1 &-1\end{pmatrix}_{(2\times 2)}\cdot\begin{pmatrix}x\\y\end{pmatrix}_{(2\times 1)} = \begin{pmatrix}1\\3\end{pmatrix}_{(2\times 1)}$$Çarpmayı yapıp, gerçekten de iki denklemi elde ediyor olduğumuzu doğrulamanızı çok tavsiye ederim.
Gördüğümüz şey, tam olarak $$A\cdot x = b$$ şeklinde bir eşitlik: $x$ ve $b$ iki boyutlu sütun vektörler, $A$ da $(2\times 2)$lik bir matris. O halde bu eşitliğin iki tarafını da soldan, $A^{-1}$ ile çarparsak, sol tarafta $\begin{pmatrix}x\\y\end{pmatrix}$ vektörü, sağ tarafta da $A^{-1}\cdot b$ vektörü kalır, yani şöyle bir şey:
Bu kadar laf salatası gözünüzü korkutmasın, Octave'da iki adımlık iş, haydi yapalım!
A = [3 5; 1 -1]
b = [1; 3]
Ai = inv(A)
xy = inv(A)*b
Demek ki $x=2$, $y=-1$ imiş, kontrol edelim bakalım:
x=2;y=-1;
3*x+5*y
x-y
... işlem tamamdır! 8)