Lineer Cebir · 1. Ünite: Doğrusal Denklem Sistemleri ve Matrisler
Matris İşlemleri ve Cebiri
Matrisler yalnızca sayı tabloları değildir; doğrusal dönüşümleri, doğrusal denklem sistemlerini ve veri tablolarını tek bir cebirsel nesne olarak yazmamızı sağlar. Bu bölümde matris toplamını, skaler çarpımı, satır-sütun kuralıyla matris çarpımını (ve neden değişmeli olmadığını), transpozu, kuvvetleri ve blok matrisleri tanımlayıp özelliklerini ispatlıyor, sonunda her doğrusal sistemi tek bir $A\vec{x}=\vec{b}$ denklemi olarak okuyoruz.
Öğrenme hedefleri
- İki matrisin toplamını, farkını ve bir matrisin skaler katını bileşen bileşen hesaplar; boyut uyumunun toplama için ne demek olduğunu açıklar.
- İki matrisin çarpımının tanımlı olup olmadığını boyutlara bakarak belirler ve $AB$ çarpımının her elemanını satır-sütun (iç çarpım) kuralıyla hesaplar.
- $AB\neq BA$ olabileceğini somut bir karşı örnekle gösterir; sıfır olmayan matrislerin çarpımının sıfır matrisi verebileceğini ve sadeleştirme kuralının geçersizliğini ayırt eder.
- Birleşme, dağılma ve transpoz özelliklerini ($(AB)^T=B^TA^T$ dahil) indis hesabıyla ispatlar ve ifadeleri sadeleştirirken doğru kullanır.
- Matris kuvvetlerini ($A^k$) hesaplar; köşegen, üstüçgen ve dönüşüm tipi matrislerde $A^n$ için kapalı form bulur; $(A+B)^2$ açılımının neden $A^2+2AB+B^2$ olmadığını açıklar.
- Blok (bölünmüş) matrisleri uyumlu biçimde bölüp bloklar üzerinden çarpar ve blok çarpımın standart çarpımla aynı sonucu verdiğini doğrular.
- Bir doğrusal sistemi $A\vec{x}=\vec{b}$ biçiminde yazar, bunu $A$ sütunlarının doğrusal bileşimi olarak yorumlar ve çözüm kümesinin $\vec{x}_p+\vec{x}_h$ yapısını açıklar.
Konu anlatımı
Bağlam: Matris Cebiri Neden Gerekli?
Matris Toplamı, Çıkarma ve Skaler Çarpım
Matris Çarpımı: Satır-Sütun Kuralı
Çarpımın Cebirsel Özellikleri ve İspatlar
Transpoz
Matris Kuvvetleri
Blok (Bölünmüş) Matrisler
Doğrusal Sistemler: Ax = b
Çözümlü Örnekler
Sık Yapılan Hatalar ve Kavram Yanılgıları
Anahtar terimler
- Matris çarpımı (matrix multiplication)
- $m\times n$ ve $n\times p$ boyutlu $A$, $B$ için $(AB)_{ij}=\sum_k a_{ik}b_{kj}$ ile tanımlanan $m\times p$ matris; $A$'nın $i$. satırı ile $B$'nin $j$. sütununun iç çarpımıdır ve doğrusal dönüşümlerin bileşkesine karşılık gelir.
- Değişmeme (non-commutativity)
- Matris çarpımında genelde $AB\neq BA$ olması; $BA$ tanımsız olabilir ya da farklı boyutlu çıkabilir. $AB=BA$ ise matrislere yer değiştirir (commute) denir.
- Transpoz (transpose)
- $(A^T)_{ij}=a_{ji}$ ile tanımlanan, satır ve sütunları değiştirilmiş matris; $(AB)^T=B^TA^T$ kuralıyla çarpımın sırasını tersine çevirir.
- Birim matris (identity matrix)
- Köşegeni $1$, diğer elemanları $0$ olan $I_n$; her uygun $A$ için $AI=IA=A$ sağlar ve çarpmanın etkisiz elemanıdır.
- Matris kuvveti (matrix power)
- Kare $A$ için $A^0=I$ ve $A^k=A\cdot A^{k-1}$; $A^kA^l=A^{k+l}$ geçerlidir ama genelde $(AB)^k\neq A^kB^k$'dır.
- Blok matris (block matrix)
- Yatay ve düşey çizgilerle bölünmüş, elemanları alt matrisler (bloklar) olan matris; uyumlu bölünme varsa bloklar sıra korunarak sayı gibi çarpılır.
- Sıfır bölen (zero divisor)
- Sıfır olmadığı hâlde $AB=O$ yapan $A,B$ matrislerinin ilki; matrislerde "$ab=0\Rightarrow a=0$ ya da $b=0$" kuralının geçersiz olduğunu gösterir.
- Komütatör (commutator)
- $[A,B]=AB-BA$; sıfır matrisi olması $A$ ile $B$'nin yer değiştirdiğini söyler.
- Doğrusal sistem matris biçimi
- $m$ denklemli, $n$ bilinmeyenli bir sistemin $A\vec{x}=\vec{b}$ biçiminde yazımı; $A\vec{x}$, $A$'nın sütunlarının $x_i$ ağırlıklı bileşimidir ve çözümler $\vec{x}_p+\vec{x}_h$ yapısındadır.
- İz (trace)
- Kare matrisin köşegen elemanları toplamı; $AB$ ve $BA$ farklı olsa da $\operatorname{tr}(AB)=\operatorname{tr}(BA)$ eşitliği sağlanır.
Örnek soru
$A$ matrisi $3\times 2$, $B$ matrisi $2\times 4$, $C$ matrisi $4\times 3$ boyutludur. Aşağıdaki çarpımlardan hangisi tanımsızdır?
- $AB$
- $AC$
- $BC$
- $CA$
- $CAB$
Doğru cevap: B
Çözüm
Cevap: $AC$
1. $XY$ çarpımının tanımlı olması için $X$'in sütun sayısı $Y$'nin satır sayısına eşit olmalıdır.
2. $AB$: $(3\times 2)(2\times 4)$, ortadakiler eşit, sonuç $3\times 4$. $BC$: $(2\times 4)(4\times 3)$, sonuç $2\times 3$. $CA$: $(4\times 3)(3\times 2)$, sonuç $4\times 2$. $CAB$: $CA$ ($4\times 2$) ile $B$ ($2\times 4$) çarpılır, sonuç $4\times 4$.
3. $AC$: $(3\times 2)(4\times 3)$ için ortadaki sayılar $2\neq 4$ olduğundan tanımsızdır.
Çeldirici: "$CAB$ üç matris olduğu için tanımsızdır" düşüncesi yanlıştır; birleşme özelliği sayesinde iki matrisli çarpımlar sırayla uygulanır ve her adımda boyut uyumu sağlanır.