# Matris (matematik)
 - YÖNLENDİRME 
 - YÖNLENDİRME 
Matematikte matris veya dizey, dikdörtgen bir sayılar tablosu veya daha genel bir açıklamayla, toplanabilir veya çarpılabilir soyut miktarlar tablosudur. Dizeyler daha çok doğrusal denklemleri tanımlamak, doğrusal dönüşümlerde (lineer transformasyon) çarpanların takibi ve iki parametreye bağlı verilerin kaydedilmesi amacıyla kullanılırlar. Dizeylerin toplanabilir, çıkartılabilir, çarpılabilir, bölünebilir ve ayrıştırılabilir olmaları, doğrusal cebir ve dizey kuramının temel kavramı olmalarını sağlamıştır.
Bir diğer deyişle matris, doğal sayıları dikdörtgen halinde dizip gösteren bir tablodur. Örneğin:
 𝐀 = [ 12 amp; 83 amp; 16; 21 amp; 22 amp; 17; 14 amp; 9 amp; 20; 16 amp; 0 amp; 5 ].
Bir diğer notasyona göre dikdörtgen parantezler yerine eğri şekilli parantez kullanılır:
 𝐀 = [ 9 amp; 8 amp; 6; 1 amp; 2 amp; 7; 4 amp; 9 amp; 2; 6 amp; 0 amp; 5 ].
Bir matrisdeki düz yatay sıraya satır dikey sıraya sütun adı verilir. Bir matris içinde dizili gösterilen sayılar "öğe" veya eleman olarak adlandırılır. Matrisin büyüklüğü satır ve sütun sayılarıyla ifade edilir. Yukarıdaki matrisler "4x3" (yani 4 satırlı 3 sütunlu) matrislerdir.
Genel matematiksel notasyon olarak bir matris "tek" "büyük harf" ile ifade edilir. Bazen, daha açık olarak "vurgulu kalın harf" ile gösterilir. Bu vurgu bilgisayar ile yazılırsa kalın yazıyla; elle yazılırsa matris harfinin altına bir (bazen iki) çizgi veya küçük dalgalı bir çizgi koymak suretiyle yapılır. Farklı bir notasyon da matrisin parantez içinde küçük harfle ifade edilen genel elemanını i satır ve j sütun alt indisli ve parantez dışında matris büyüklüğü ile vermektir. Örneğin m satırlı n sütunlu mxn türünden bir A matrisi aşağıdaki şekillerde gösterilebilir: 
  - A veya 
  - A veya 
  - A=[a_ij]_mxn 
Böylece genel olarak m ve n pozitif tamsayılar, i ∈{1,2,3,4, ⋯,m} ve j ∈{1,2,3,4, ⋯,n} olmak üzere a_i,j sayma sayılarından oluşan yukarıdaki sayılar tablosu matris (dizey) olur. m, matrisin satır sayısını; n ise matrisin sütun sayısını belirtir. m satır ve n sütundan oluşan matrise mxn türünden matris denir:
𝐀 = 
A_m,n = 
[ a_1,1 amp; a_1,2 amp; ⋯ amp; a_1,n; a_2,1 amp; a_2,2 amp; ⋯ amp; a_2,n; ⋮ amp; ⋮ amp; ⋱ amp; ⋮; a_m,1 amp; a_m,2 amp; ⋯ amp; a_m,n; ]


## Türleri.
### Kare matris.
Satır sayısı sütun sayısına eşit olan matrislerdir.
A_2,2 = 
[ 2 amp; -1; 0 amp; 5; ]
A dizeyi 2x2 türünden bir kare matrisdir.


#### Birim matris.
Kare matrislerin yaygın bir örneği ise, köşegenin üzerindeki öğelerinin "1" geri kalan yerlerdeki öğelerin "0" olduğu birim matristir. Satır ve sütun sayısı "n" olan bir birim matrisi göstermek için (başka bir yerde kullanılmamışsa) genelde "I"n"" kullanılır. Mesela, 3x3'lük bir birim matris
I_3 = 
[ 1 amp; 0 amp; 0; 0 amp; 1 amp; 0; 0 amp; 0 amp; 1; ]
şeklinde gösterilir.


### Sıfır matris.
Tüm elemanları sıfır olan matrisdir.
A_2,3 = 
[ 0 amp; 0 amp; 0; 0 amp; 0 amp; 0; ]
A dizeyi 2x3'lük bir sıfır matrisdir.


### Satır ve sütun matris.
Sadece bir satırdan oluşan matrislere "satır matris", sadece bir sütundan oluşan matrislere ise "sütun matris" denir.
A_m,n = 
[ 0 amp; 0 amp; 0; ]
B_m,n = 
[ 0; 0; 0; ]
Eğer bir matrisin boyutlarından biri 1 ise (yani ya satır sayısı 1 veya sütun sayısı 1 ise yani satır matrisi veya sütun matrisi ise) bu matris, bir "yöney" veya "vektör" veya "Euclid-tipi vektör" olarak da tanımlanır.


## Cebirsel işlemler.
Matrisler için "sayıyla çarpma" ve "matris çarpımı" farklı kavramlardır.


### Matris toplaması.
Matrisler bileşenleri karşılıklı olarak toplanırlar.
İki matrisin toplanabilmesi için satır ve sütün sayılarının eşit olması gerekir.
 𝐂 = 𝐀 + 𝐁 c_ij = a_ij + b_ij
Örnek:
 [ 1 amp; 3 amp; 2; 1 amp; 0 amp; 0; 1 amp; 2 amp; 2 ]
 [ 0 amp; 0 amp; 5; 7 amp; 5 amp; 0; 2 amp; 1 amp; 1 ]
 [ 1+0 amp; 3+0 amp; 2+5; 1+7 amp; 0+5 amp; 0+0; 1+2 amp; 2+1 amp; 2+1 ]
 [ 1 amp; 3 amp; 7; 8 amp; 5 amp; 0; 3 amp; 3 amp; 3 ]


### Sayıyla (Skalerle) çarpma.
Bir matris, bir sayıyla çarpılırsa her bileşeni o sayıyla çarpılır.
c_ij=k a_ij 
Örnek:
 2
 [ 1 amp; 8 amp; -3; 4 amp; -2 amp; 5 ]
 [ 2×1 amp; 2×8 amp; 2×-3; 2×4 amp; 2×-2 amp; 2×5 ]
 [ 2 amp; 16 amp; -6; 8 amp; -4 amp; 10 ]


### Transpoz.
"mxn" boyutlu bir A matrisinin transpozu "nxm" boyutlu A^T matrisidir:
[ 1 amp; 2 amp; 3; 0 amp; -6 amp; 7 ]^T =
[ 1 amp; 0; 2 amp; -6; 3 amp; 7 ]
A^T matrisi A'nın satırlarını sütun yaparak elde edilir. Transpoz işlemi, matrisin ifade ettiği dönüşümün yönünü tersine çevirir.


### Matris çarpımı.
Matris çarpımı ancak özel bir halde mümkündür ve genelde herhangi iki matris için matris çarpımı işlemi yapılamaz.
Çarpımı istenen iki matris için ilk önce matrislerden hangisinin "ön-çarpan matris", hangisinin "art-çarpan" matris olduğunun belirlenmesi gerekir. Çünkü çarpma işlemi, sayılarda değişmelidir, fakat matrislerde değildir. Yani genel olarak "A" ve "B" matrisi için A·B ≠ B·A
A·B matris çarpımı için A ön-çarpan ve B art-çarpan, B·A matris çarpımı için B ön-çarpan ve A art-çarpan olur. İki matris çarpımı notasyonla belirtilmekle beraber ya "A·B" ya "B·A" ya da hem "A·B" hem "B·A" geçerli olmayabilir.
Matris çarpımı ancak ön-çarpan "sütun" sayısı ile art-çarpan "satır" sayısı birbirine eşitse mümkündür. Yani (p * j) boyutlu A matrisi ile (k * l) boyutlu B matrisinin çarpımı ancak "j = k" ise mümkün olur; yoksa geçerli değildir. Eğer matris çarpımı geçerli ise, ortaya çıkartılacak çarpım matrisi, ön-çarpan satır sayısı ve art-çarpan matris sütun sayısı boyutludur Yani eğer "j = k" ise, matris çarpımı sonucu matrisi (p * l) boyutludur.
Sayısal bir örnek olarak, A matrisi (2 * 3) boyutlu ise ve B (3 * 4) boyutlu ise matris çarpımı (A·B), "j = k" (3 = 3) olduğu için geçerlidir ve matris çarpımı işlemi sonuç matrisi (2 * 4) boyutludur; ama B·A matris çarpımı işlemi geçerli değildir; çünkü "j ≠ k" (4 ≠ 2).
Matris çarpımının algoritması şu şekildedir: İlk öğenin i'nci satırının bileşenleriyle, ikinci öğenin j'nci sütununun bileşenleri karşılıklı olarak çarpılıp toplanır ve sonuç dizeyin bileşeni olarak yazılır.
"A", "mxn" boyutlu "B" de "nxs" boyutlu dizeyler olmak üzere "mxs" boyutlu sonuç dizey
A_m ×nB_n ×s = C_m ×s
olarak tanımlanır ve her öğesi
c_ij=∑_k=1^n a_ik b_kj
ile bulunur.


#### Örnekler.
 [ 1 amp; 0 amp; 2; -1 amp; 3 amp; 1; ]
 [ 3 amp; 1; 2 amp; 1; 1 amp; 0 ]
 [ (1 ×3 + 0 ×2 + 2 ×1) amp; (1 ×1 + 0 ×1 + 2 ×0); (-1 ×3 + 3 ×2 + 1 ×1) amp; (-1 ×1 + 3 ×1 + 1 ×0); ]
 
[ 5 amp; 1; 4 amp; 2; ]
Çarpmayı, ilk öğenin her satırını bir yöney ve ikinci öğenin her sütununu bir yöney olarak düşünüp ilk öğeyi bir sütun yöney ve ikinci öğeyi bir satır yöney olarak yöney iç çarpımına indirgeyebiliriz. Örneğin, a⃗ ve b⃗ yöneyleri n boyutlu olmak üzere,
A_m ×n=[ a⃗_⃗1⃗; ⋯; a⃗_⃗m⃗ ] ve B_n ×s=[ b⃗_⃗1⃗ amp; amp; ⋯ amp; amp; b⃗_⃗s⃗ ]
şeklinde düşünüldüğünde çarpım,
A B = [ a⃗_⃗1⃗ ·b⃗_⃗1⃗ amp; amp; ⋯ amp; amp; a⃗_⃗1⃗·b⃗_⃗s⃗; ⋮ amp; amp; ⋱ amp; amp; ⋱; a⃗_⃗m⃗·b⃗_⃗1⃗ amp; amp; ⋯ amp; amp; a⃗_⃗m⃗·b⃗_⃗s⃗ ]
biçimini alır. Bu şekilde düşünmek kâğıt üzerinde dizeyleri çarparken işe yarayabilir ve zaman kazandırır.


### Kronecker (Doğrudan) toplama.
Bu toplamın sonucu bir matrisler köşegenidir.
C=⊕_i=1^k A_i=kosegen( A_1,A_2...,A_k )=[ [ A_1 amp; 0 amp; ⋯ amp; 0; 0 amp; A_2 amp; ⋯ amp; 0; ⋮ amp; ⋮ amp; ⋱ amp; ⋮; 0 amp; 0 amp; ⋯ amp; A_k; ] ]
burada sonuç dizeyin boyutları, toplanan dizeylerin doğrudan boyutları toplamı kadardır.


### Kronecker (Doğrudan) çarpım.
Bu çarpım ilk öğenin her bileşenini ikinci öğeyle doğrudan çarpmayla tanımlanır.
A_m ×n ⊗B_r ×s = [ [ a_11B amp; a_12B amp; ⋯ amp; a_1nB; a_21B amp; a_22B amp; ⋯ amp; a_2nB; ⋮ amp; ⋮ amp; ⋱ amp; ⋮; a_m1B amp; a_m2B amp; ⋯ amp; a_mnB; ] ]
buradan,
C_(m r) ×(n s)=[ [ a_11b_11 amp; a_11b_12 amp; ⋯ amp; a_12b_11 amp; ⋯; a_11b_21 amp; a_11b_22 amp; ⋯ amp; a_12b_21 amp; ⋯; ⋮ amp; ⋮ amp; ⋱ amp; amp;; a_21b_11 amp; a_21b_12 amp; amp; ⋱ amp;; ⋮ amp; ⋮ amp; amp; amp; ⋱; ] ]
Cebirsel ifade bir ya da birden fazla cebirsel terimin aynı ifade de yer almasına denir. Örneğin x sayısı gibi. Cebirsel ifadelerde en çok kullanılanlar: x, y, n dir. Cebirsel ifadelerle kurulmuş iki eşitliğe denklem denir. Mesela x+5=2x+2 çözüm bilenenler bir tarafa bilinmeyenler bir tarafa gönderilir. Öteki tarafa geçerken zıt işaret verilir yani: +5-2=2x-x sadeleştirirsek 3=x


## Doğrusal denklemler sistemleri.
Bir doğrusal denklem sistemi matrislerle ifade edilebilir.
Örnek olarak dört bilinmeyenli (x1, x2, x3 ve x4) dört tane doğrusal denklemler sistemi ele alınsın. Bu denklemlerdeki katsayılar, i denklem numarası ve j bilinmeyen numarası ile indislenerek ai, j olarak ifade edilebilir. Bu doğrusal denklemler sistemi şöyle yazılır:
 
 a_11 x_1 + a_12 x_2 + a_13 x_3 + a_14 x_4 amp;= b_1 
 a_21 x_1 + a_22 x_2 + a_23 x_3 + a_24 x_4 amp;= b_2 
 a_31 x_1 + a_32 x_2 + a_33 x_3 + a_34 x_4 amp;= b_3 
 a_41 x_1 + a_42 x_2 + a_43 x_3 + a_44 x_4 amp;= b_4
Bu denklemler sistemi matris kullanılarak şöyle ifade edilir:
 [ a_11 amp; a_12 amp; a_13 amp; a_14; a_21 amp; a_22 amp; a_23 amp; a_24; a_31 amp; a_32 amp; a_33 amp; a_34; a_41 amp; a_42 amp; a_43 amp; a_44 ]
 [ x_1; x_2; x_3; x_4 ]
 [ b_1; b_2; b_3; b_4 ]
 
Daha kısa bir notasyonla şöyle yazılabilir:
 [𝖠] [𝗑] = [𝖻]     veya     𝐀 𝐱 = 𝐛  .
Burada 𝐀 4×4 boyutlu matrisdir; 
𝐱 
ve 
𝐛 4×1 
boyutlu sutun matrislerdir.
Genel olarak n sayıda değişkenli m sayıda doğrusal denklemden oluşan şu doğrusal denklemler sistemi:
"A"1,1"x"1 + "A"1,2"x"2 + ... + "A"1,"n""x""n" = "b"1
"A""m",1"x"1 + "A""m",2"x"2 + ... + "A""m","n""x""n" = "b""m"
çok kolayca bir denklemler matrisi olarak ifade edilebilir. Bunun için x yöneyi "n" değişken ('x"1, "x"2, ..., "x""n") için bir n-sütun yöneyi (yani 'n"×1-matrisi); A matrisi "m"x"n" boyutlu katsayılar matrisi ve b n-sutun yöneyi halindeki denklem sabitleri olursa, herhangi bir doğrusal denklem sistemi matris denklemi olarak şöyle ifade edilir:
Ax = b.


## Matematiksel matris kavramının tarihsel kaynağı.
Doğrusal denklemler sistemlerinin çözülmesi için matris kavramlarının kullanılmasının çok uzun bir tarihi bulunmaktadır. Doğrusal denklemler sistemlerin ilk matris kullanarak açıklanıp çözülmesi, özellikle kare matrislerle ifade edilip determinant kullanımı dahil, MÖ.300 ile MS.200 arasında yazılmış olan "Jiu Zhang Suan Shu" (Matematik Sanatinda Dokuz Bölüm) adlı eserde bulunduğu anlaşılmıştır. Bu eserden Batı Avrupa matematikçileri hiç haberdar olmamışlardır. Bundan sonra matris kavramı 2000 yıl kadar sonra 1683'te "Seki Kowa" adlı Japon matematikçisi ve Batı Avrupa'da ilk defa 1693de Alman matematikçisi Leibniz tarafından ortaya atılmış ve ilk determinant kullanarak pratik çözüm olarak Cramer'in kuralı 1750'de Gabriel Cramer tarafından gösterilmiştir. 
Matris teorisinin Batı Avrupa'da geliştirilmesi daha çok determinant kavramına önem vermekteydi. Determinanttan bağımsız olarak matris matematiğinin geliştirilmesi 1858'de Arthur Cayley tarafından 
"Memoir on the theory of matrices (Matris teorisi hakkında bir not)" adında eserle başlamıştır. Matris terimi isim olarak ilk defa J.J.Syvester adlı İngiliz matematikçisi tarafından kullanılmıştır. Bu matematikçi determinantları açıp sayısal değerlerini bulmak için sütun ve satırları silip gittikçe daha küçük determinant (minor) elde ederek bu sonuca bulma üzerinde uğraşı göstermiş ve sanki bir ana determinanttan gittikçe küçülen "çocuk" determinantların bulunmasından ilham alarak şimdi "matris" olarak adlandırdığımız kavrama Latince kökten "mater" (anne) sözcüğünden çıkardığı "matrix" adını vermiştir.


## Uygulamalar.
Hem matematikte hem de diğer bilimlerde matrislerin çok sayıda uygulaması vardır. Bazıları yalnızca bir matristeki bir dizi sayının kompakt temsilinden yararlanır. Örneğin, oyun teorisi ve ekonomi'de ödeme matrisi, oyuncuların belirli (sonlu) alternatifler arasından hangisini seçtiğine bağlı olarak iki oyuncu için getiriyi kodlar. Metin madenciliği ve otomatikleştirilmiş Tesarus derlemesi, çeşitli belgelerdeki belirli kelimelerin sıklıklarını izlemek için örneğin tf-idf gibi belge-terim matrislerini kullanır.
Karmaşık sayılar, karmaşık sayıların ve matrislerin toplanması ve çarpılmasının birbirine karşılık geldiği 
a + ib ↔[ a amp; -b; b amp; a ],
aracılığıyla belirli gerçek 2'ye 2 matrislerle temsil edilebilir.
Örneğin 2'ye 2 döndürme matrisleri, yukarıda gibi bazı mutlak değer 1 karmaşık sayısıyla çarpmayı gösterir. Genel olarak dördeyler ve Clifford cebirleri için de benzer bir yorum mümkündür.
Hill cipher gibi eski şifreleme teknikleri de matrisleri kullandı. Ancak matrislerin doğrusal doğası nedeniyle bu kodların kırılması nispeten kolaydır.
Bilgisayar grafikleri teorik kamera gözlemine karşılık gelen, üç boyutlu bir nesneyi iki boyutlu bir ekrana yansıtmak gibi görevleri gerçekleştirmede afin dönüş matrislerini kullanarak nesnelerin dönüşümlerini hesaplamada ve keskinleştirme, bulanıklaştırma, kenar algılama vb görüntü kıvrımlarını uygulamada nesneleri temsil için matrisleri kullanır. Polinom halkası üzerindeki matrisler, kontrol teorisi çalışmasında önemlidir.
Kimya'da özellikle kuantum teorisi moleküler bağı ve spektroskopiyi anlatmak için kullanıldığından beri matrisler çeşitli şekillerde kullanılmaktadır. Hartree–Fock yönteminin moleküler orbital'lerini elde etmek için Roothaan denklemlerini çözmek için kullanılan örtüşme matrisi ve Fock matrisi kimyadaki bazı kullanım örnekleridir.


### Grafik teorisi.
Bir sonlu grafiğin bitişik matrisi, grafik teorisi'nin temel kavramıdır. Grafiğin hangi köşelerinin bir kenarla bağlandığını kaydeder. Yalnızca iki farklı değer içeren matrislere (1 ve 0 sırasıyla "evet" ve "hayır" anlamına gelir) mantıksal matrisler denir.
Mesafe matrisi kenarların mesafeleri hakkında bilgi içerir. Bu kavramlar, hiperlinkler ile bağlanan web sitelerine veya karayolu vb. ile bağlanan şehirlere uygulanabilir bu durumda (bağlantı ağı aşırı derecede yoğun olmadığı sürece) matrisler seyrek olma eğilimindedir yani sıfır olmayan birkaç giriş içerir. Bu nedenle özel uyarlanmış matris algoritmaları ağ teorisinde kullanılabilir.


### Analiz ve Geometri.
Türevlenebilir bir "ƒ" fonksiyonunun Hesse matrisi: R"n" → R, "ƒ" 'nin birkaç koordinat yönüne göre ikinci türevlerinden oluşur yani,
H(f) = [∂^2f/∂x_i ∂x_j ].
Fonksiyonun yerel büyüme davranışı hakkındaki bilgileri kodlar: x#YÖNLENDİRME: =#YÖNLENDİRME: ("x"1,#YÖNLENDİRME: ...,#YÖNLENDİRME: "x""n"), kritik noktası verildiğinde, yani "ƒ'in" birinci kısmi türevlerinin ∂f / ∂x_i sıfır olduğu noktada Hesse matrisi pozitif tanımlıysa, fonksiyonun yerel bir minimumu vardır. İkinci dereceden programlama, matrislere bağlı olanlarla yakından ilişkili ikinci dereceden fonksiyonların global minimum veya maksimumlarını bulmak için kullanılabilir. (bkz. yukarıda)
Geometrik durumlarda sıklıkla kullanılan başka bir matris, Rn" → Rm" türevlenebilir bir haritanın Jacobi matrisidir. Eğer "f"1, ..., "fm", f'nin bileşenlerini gösteriyorsa, Jacobi matrisi şu şekilde tanımlanır
J(f) = [∂f_i/∂x_j ]_1 ≤i ≤m, 1 ≤j ≤n.
"n" > "m" ise ve Jacobi matrisinin rankı maksimum değeri "m"ye ulaşıyorsa, "f" bu noktada örtük fonksiyon teoremi ile yerel olarak tersinebilir.
Kısmi diferansiyel denklemler, denklemin en yüksek mertebeden diferansiyel operatörlerinin katsayı matrisi dikkate alınarak sınıflandırılabilir. Eliptik kısmi diferansiyel denklemler için bu matris pozitif tanımlıdır ve söz konusu denklemin olası çözüm kümesi üzerinde belirleyici bir etkiye sahiptir.
Sonlu elemanlar yöntemi, karmaşık fiziksel sistemleri simüle etmede yaygın olarak uygulanan, kısmi diferansiyel denklemleri çözmek için önemli bir sayısal yöntemdir. Parçaların yeterince ince bir ızgaraya göre seçildiği ve bunun da bir matris denklemi olarak yeniden şekillendirilebildiği parçalı lineer fonksiyonlarla bazı denklemlerin çözümüne yaklaşmaya çalışır.