Üç bilinmeyenli ve üç doğrusal denklemli bir doğrusal denklem dizgesi geometrik olarak üç boyutta üç düzeyin kesişmesi şeklinde görülür. Eğer bir çözüm bulunuyorsa, bu çözüm üç düzeyin kesişme noktasındadır.
**Doğrusal denklem dizgesi**, birkaç tane aynı tip değişkenleri içeren birkaç tane doğrusal denklemlerin oluşturduğu topluluktur. Örneğin:

{\displaystyle \left\{{\begin{array}{rcrcrcr}3\,x\_{1}&+&2\,x\_{2}&+&\,x\_{3}&=&1\\2\,x\_{1}&+&2\,x\_{2}&+&4\,x\_{3}&=&-2\\-\,x\_{1}&+&{\frac {1}{2}}\,x\_{2}&-&\,x\_{3}&=&0\end{array}}\right.}

Burada üç çeşit değişken {\displaystyle x\_{1}}, {\displaystyle x\_{2}} ile {\displaystyle x\_{3}} bulunur ve bu üç değişken üç ayrı doğrusal denklem içindedir ve böylece doğrusal denklemler (sistemi) dizge elde edilir.

Bir doğrusal dizgenin **çözümü** bilinmeyen değişkenlere, tüm doğrusal denklemleri aynı zamanda tatmin eden, reel sayıların tahsis edilmesidir. Yukarıdaki denklemler dizgesi için çözüm kümesi bulunur ve bu 

{\displaystyle {\begin{alignedat}{2}x\_{1}&=&1\\x\_{2}&=&-2\\x\_{3}&=&-2\end{alignedat}}}
olur.

Doğrusal denklem dizgeleri mühendislik, fizik, kimya, bilgisayar bilimi ve ekonomide pek çok uygulama alanı bulur.

Genel şekil
-----------

n bilinmeyen değişkenli m sayıda doğrusal denklemden oluşan bir doğrusal denklen dizgesi genel olarak şöyle yazılabilir:

{\displaystyle {\begin{matrix}a\_{11}x\_{1}&+a\_{12}x\_{2}&+\dots &+a\_{1n}x\_{n}&=b\_{1}\\a\_{21}x\_{1}&+a\_{22}x\_{2}&+\dots &+a\_{2n}x\_{n}&=b\_{2}\\\dots &\dots &\dots &\dots &\dots \\a\_{m1}x\_{1}&+a\_{m2}x\_{2}&+\dots &+a\_{mn}x\_{n}&=b\_{m}\end{matrix}}}

Burada {\displaystyle x\_{1},\ x\_{2},...x\_{n}} n-tane bilinmeyen *değişken*dir. {\displaystyle a\_{11},\ a\_{12},...\ a\_{mn}} bu değişkenlerin *katsayı*larıdır. Her katsayının altında bulunan ilk sayı denklem sayısına ve ikincisi değişken tipinin sayısına tekabül eder; örneğin {\displaystyle a\_{(}31)} üçüncü denklemdeki birinci değişken {\displaystyle x\_{1}}'in katsayısıdır. {\displaystyle b\_{1},\ b\_{2},...b\_{m}} terimleri ise her denklem için *sabit* terimleri verir.

Çok kere katsayılar ve bilinmeyen değişkenler reel sayılardır. Fakat ileri matematikte bunlar karmaşık sayılar, tam sayılar, polinomlar ve hatta soyut cebirsel yapılar bile olabilirler.

### Vektör denklemi

Bu genel doğrusal denklemler dizgesini uygun bir şekilde ifade edilmesi vektörler halinde olur: Bu ifade şeklinde her bir değişken bir doğrusal bileşimde bir ağırlık olarak bir sütun vektör ile ifade edilmektedir.

{\displaystyle x\_{1}{\begin{bmatrix}a\_{11}\\a\_{21}\\\vdots \\a\_{m1}\end{bmatrix}}+x\_{2}{\begin{bmatrix}a\_{12}\\a\_{22}\\\vdots \\a\_{m2}\end{bmatrix}}+\cdots +x\_{n}{\begin{bmatrix}a\_{1n}\\a\_{2n}\\\vdots \\a\_{mn}\end{bmatrix}}={\begin{bmatrix}b\_{1}\\b\_{2}\\\vdots \\b\_{m}\end{bmatrix}}}

  

### Matris denklemi

Vektör denklemine aynen tekabül eden ve matriks kullanılarak ifade edilen genel doğrusal denklemler dizgesi şu şekilde ifade edilir:

{\displaystyle A\mathbf {x} =\mathbf {b} }
burada *A* *m*×*n* matrisi, **x** içinde *n* tane ifade bulunan bir sütun vektörü ve *b* içinde *m* tane sabit ifade olan bir *sütun vektörü* olur.

{\displaystyle A={\begin{bmatrix}a\_{11}&a\_{12}&\cdots &a\_{1n}\\a\_{21}&a\_{22}&\cdots &a\_{2n}\\\vdots &\vdots &\ddots &\vdots \\a\_{m1}&a\_{m2}&\cdots &a\_{mn}\end{bmatrix}},\quad \mathbf {x} ={\begin{bmatrix}x\_{1}\\x\_{2}\\\vdots \\x\_{n}\end{bmatrix}},\quad \mathbf {b} ={\begin{bmatrix}b\_{1}\\b\_{2}\\\vdots \\b\_{m}\end{bmatrix}}}

Çözüm kümesi
------------

 *x* − *y* = −1 ve 3*x* + *y* = 9 denklemleri için çözüm kümesi tek bir noktada (2, 3) olur.
Bir doğrusal denklem dizgenin **çözümü**, bilinmeyen değişkenlere (yani *x*1, *x*2, ... *xn* değişkenlerine) tüm doğrusal denklemleri aynı zamanda tatmin eden reel sayısal değerler tahsis edilmesidir. Tüm mümkün çözümlerin bir matematiksel kümesine **çözüm kümesi** adı verilir.

Bir doğrusal denklem dizgesi için üç ve sadece alternatif mümkün sonuç ortaya çıkabilir:

1. Sistemin *sonsuz sayıda çeşitli çözümü* bulunur;
2. Sistemin *tek bir çözümü* bulunur;
3. Sistemin *hiçbir çözümü*  bulunmaz.

### Geometrik yorum

İki değişkenden ({\displaystyle x\_{1}} ve {\displaystyle x\_{2}}) oluşan bir dizge için her bir denklem {\displaystyle x\_{1}} ve {\displaystyle x\_{2}} eksenli dikdörtgen koordinat sıstemi grafiği içinde bir doğru ile gösterilir. Bir çözüm dizgedeki tüm denklemleri tatmin etmesi gerektiği için, çözüm kümesi bu doğruların kesişme noktasıdır veya tek bir doğru ya tek bir nokta 
ya da boş küme olarak görülür.

Üç değişkenli bir dizge için her doğrusal denklem üç boyutlu bir uzayda bir düzlem olurlar ve çözüm kümesi bu düzlemlerin kesişmesidir. Böylece çözüm kümesi ya bir düzlem, ya tek bir doğru, ya tek bir nokta ya da boş küme olur. 

*n* sayıda değişken halinde, her bir doğrusal denklem bir n-boyutlu uzayda bir hiperdüzlem olarak ortaya çıkar. Çözüm kümesi bu hiperdüzlemlerin kesişmeleridir ve n-ye kadar herhangi bir boyutta düzlük olabilir.

### Genel sonuç hali

Üç değişkenli iki denklemden oluşan bir dizgenin çözümü genellikle bir doğrudur.
Genel olarak, bir doğrusal denklemler dizgesinin sonucunun ne olabileceği, denklemler sayısı ile bilinmeyen değişkenler sayısı arasındaki bağlantılar tarafından belirlenir:

1. Genellikle, eğer dizgede denklem sayısı bilinmeyen değişken sayısından daha küçükse ise, dizge için sonsuz sayıda çözüm bulunur. Fakat bazen tek bir "seyrek çözüm" bulma imkânı da vardır. Yani kullandığımız notasyona göre m < n ise, sonsuz çözüm vardır. Bu çeşit dizgelere *kararsız dizge* (underdetermined system) adı verilir.
2. Genellikle, eğer dizgede denklem sayısı değişken sayısı ile aynı ise, tek bir tane çözüm bulunur; yani m = n ise tek ve tek bir çözüm bulunur.
3. Genellikle, eğer dizgede denklem sayısı değişken sayısıdan daha büyük ise hiçbir sçözüm bulunmaz; yani m > n ise hiçbir çözüm bulunmaz.

Aşağıdaki gösterimler iki değişkenli halde ortaya çıkabilmesi mümkün üçlü sonucu göstermektedir:

|  |  |  |
| --- | --- | --- |
|  |  |  |
| Bir Denklem | İki Denklem | Üç Denklem |

Verilen gösterimede; birinci dizgenin sonsuz sayıda çözümü bulunur; yani bunun noktaları mavi renkli doğru üzerindedir. İkinci dizgede tek bir çözüm bulunur; yani iki doğrunun kesişme noktası çözümdür. Üçüncü sistemde bulunan üç doğrunun ortaklaşa hiçbir noktaları bulunmaz.

Fakat şunu unutmamak gerekir; bütün bu sonuçlar sadece genellikle doğrudur. İki denklemeli ve iki değişkenli bir dizgenin hiçbir çözümü olmaması mümkündür; bu hal her iki doğru birbirine paralel ise ortaya çıkar. Üç denklemle iki değişkenli bir dizgenin çözümü olması mümkündür; bu hal eğer üç doğru birbiriyle tek noktada kesişirlerse ortaya çıkar. Genel olarak; bir doğrusal denklemler dizgesi beklenenden değişik davranış göstermesi eğer denklemler "doğrusal olarak bağımlı" iseler veya iki veya daha çok sayıda denklemlerin "tutarsız" olmaları halinde ortaya çıkar.

Nitelikler
----------

### Bağımsızlık

Bir doğrusal denklem dizgesinin denklemleri *bağımsızlık* niteliği, dizgede bulunan denklem eşitliklerinin hiçbiri denklemden cebirsel olarak çıkartılaması halidir. Eğer denklemler bağımsızlarsa, her bir denklem değişkenler hakkında yeni bilgi kapsamaktadır ve bu denklemlerden herhangi birinin ortadan kaldırılması çözüm kümesinin boyutunu artır. Doğrusal denklemler için mantıksal bağımsızlık doğrusual bağımsızlık özelliğiyle ile aynıdır.

 {\displaystyle x\_{1}-2x\_{2}=-1}, {\displaystyle 3x\_{1}+5x\_{2}=8} ve {\displaystyle 4x\_{1}+3x\_{2}=7} denklemleri doğrusal olarak bağımsız değildirler.
Örneğin, şu denklemler 

{\displaystyle 3x\_{1}+2x\_{2}=6\;\;\;\;{\text{ve}}\;\;\;\;6x\_{1}+4x\_{2}=12}
bağımsız değildirler; çünkü ikinci denklem birinci denklemin 2 ile çarpımı ile elde edilmiştir ve eğer bu iki denklem için grafik çizilirse iki doğru üste çakışıp tek bir doğru görüntüsü verirler.

Daha karmaşık bir örnek için verilen denklemler dizgesi şu olsun:

{\displaystyle {\begin{alignedat}{5}x\_{1}&&\;-\;&&2x\_{2}&&\;=\;&&-1&\\3x\_{1}&&\;+\;&&5x\_{2}&&\;=\;&&8&\\4x\_{1}&&\;+\;&&3x\_{2}&&\;=\;&&7&\end{alignedat}}}
Bu üç denklem dizgesi bağımsız değildir, çünkü üçüncü denklem ilk iki denklemin birbirine toplamından elde edilmiştir. Gerçekten bu üç denklemden herhangi ikisinden üçüncü denklem çıkartılabilir ve bu üç denklemden herhangi tek bir tanesi ortadan kaldırılırsa çözüm kümesi hiç değişmeden aynı kalır. Bu üç doğru için grafik üçü de tek bir noktada kesişen üç doğru şeklindedir.

### Tutarlılık

Bir doğrusal denklemler dizgesi denklemleri, eğer bir ortak çözüm varsa, "tutarlı" olur; aksi halde "tutarsız" olur. Eğer denklemler tutarlı iseler; denklemlerden bir çelişkilik ortaya çıkartmak imkânı bulunur; örneğin 1 = 3 ifadesi gibi.

Örneğin şu denklemler

{\displaystyle 3x\_{1}+2x\_{2}=6\;\;\;\;{\text{ ve }}\;\;\;\;3x\_{1}+2x\_{2}=12}
tutarsızdır. Bir çözüm bulmaya çalışmak için, söylenmeden anlaşılan "bir çözüm vardır" varsayımını yapmaktayız. Diğer bir ifade ile, birinci denklemmde bulunan {\displaystyle x\_{1}} değerinin ikinci denklemde bulunan {\displaystyle x\_{1}} değeri ile aynı açıkça olduğunu açıkça söylemeden varsaymaktayız (ve aynı şekilde ve aynı zamanda her iki denklemde de {\displaystyle x\_{2}} aynı varsayımı yapıyoruz.) ({\displaystyle 3x\_{1}+2x\_{2}} ıcın ikame ediliebilirlik özelliğini uyguluyarak 6 = 12 olarak bir denklem buluruz ve bu da yanlış bir ifadededir. Bu hatalı ifade dizgenin bir çözümü olduğuna dair yaptımız varsayım ile çelişmektedir ve bundan dolayı varsayımımızın yanlış olduğu sonucu çıkmaktadır; yani doğrusal denklemler dizgesinin "hiçbir çözümü bulunmaz". Bu denklemlerin 
{\displaystyle x\_{1}x\_{2}} düzeyindeki grafikleri birbirine parallel iki doğru halindedir.

Üç doğrusal denklemli dizgede, bu dizgedeki herhangi iki denklem birlirleriyle tutarlı olmalarıyla beraber, denklemlerin tutarsız olmaları mümkündür. Örneğin şu denklemler tutarsızdır:

{\displaystyle {\begin{alignedat}{7}x\_{1}&&\;+\;&&x\_{2}&&\;=\;&&1&\\2x\_{1}&&\;+\;&&x\_{2}&&\;=\;&&1&\\3x\_{1}&&\;+\;&&2x\_{2}&&\;=\;&&3&\end{alignedat}}}
Birinci ile ikinci denklemin birbiriyle toplamaları ile   

{\displaystyle 3x\_{1}+2x\_{2}=2}
elde edilir ve bu üçüncü denkelmeden çıkartılırsa sonuç  

0 = 1  

olur. Dikkat edilirse bu denklemlerden herhangi bir iki denklemli dizgenin bir ortak çözümü vardır. Aynı olgu her türlü sayıda denkelemler dizgesinde de oluşabilir.

Genel bir sonuç olarak, eğer bir doğrusal denklemler dizgesindeki denklemlerin sol tarafındaki ifadeler doğrusal olarak bağımlı olursa ve sabit terimler bağımlılık bağlantısını tatmin etmiyorlarsa, tutarsızlık ortaya çıkar. Eğer bir doğrusal denklemler dizgesinin sol tarafındaki ifadeler doğrusal olarak bağımsızlarsa, bu dizge her zaman tutarlı olur.

### Denklik

Aynı değişkenleri kullanan iki değişik doğrusal denklemler dizgesinin birbirleriye denk olması için ikinci dizgede bulunan denklemlerin her birinin, birinci dizgede bulunan denklemlerden cebir kullanılarak hesaplanıp elde edilebilmesi gerekir ve bunun aksinin de doğru olması gereklidir. Birbirine denk dizgeler değişken değerleri hakkında birbirine tıpatıp aynı bilgileri vermektedirler. Özellikle, eğer iki dizgenin tıpatıp aynı çözüm kümesi bulunuyorsa iki doğrusal denklemler dizgesi birbirlerine denktirler.

Doğrusal denklemler dizgesinin çözümü
-------------------------------------

Bir doğrusal denklem dizgesini çözümlemek için birkaç değişik denklem çözümleme algoritması bulunur.

### Çözümü tanımlama

Eğer çözüm kümesi sonsuz değilse, genellikle bu küme olarak ve küme notasyonu kullanarak ifade edilir. Örneğin 2, 3, 4 olan çözüm kümesi 
{\displaystyle \{2,3,4\}}
olarak yazılır.

Eğer sonsuz sayıda çözüm bulunuyorsa bunu küme olarak ve küme notasyonu kullanarak ifade etmek çok güç olur. Tipik olarak değişkenlerden bazıları *bağımsız* (veya **özgür** veya **parametre**) olarak kabul edilirler ve herhangi bir değer alabilirler. Geride kalan değişkenler bağımsız değişkenlerin değerlerine **bağlı** olurlar.

Örneğin şu dizgeye ele alalım:

{\displaystyle {\begin{alignedat}{7}x\_{1}&&\;+\;&&3x\_{2}&&\;-\;&&2x\_{3}&&\;=\;&&5&\\3x\_{1}&&\;+\;&&5x\_{2}&&\;+\;&&6x\_{3}&&\;=\;&&7&\end{alignedat}}}
Bu dizge için çözüm kümesi şu denklemeler ile ifade edilebilir:

{\displaystyle x\_{1}=-7x\_{3}-1\;\;\;\;{\text{ ve }}\;\;\;\;x\_{2}=3x\_{3}+2{\text{.}}}
Burada {\displaystyle x\_{3}} bağımsız değişkendir; {\displaystyle x\_{1}} ve {\displaystyle x\_{2}} değişkenleri {\displaystyle x\_{3}}ye bağlıdırlar. Çözüm kümesinde bulunan herhangi nokta önce {\displaystyle x\_{3}} için herhangi bir değer seçmekle ve sonra da {\displaystyle x\_{1}} ve {\displaystyle x\_{2}} için bu seçilen değere tekabül eden değerleri hesaplama şeklinde ortaya çıkartılır.

Her bir bağımsız değişken çözüm kümesine bir serbestlik derecesi verir ve serbestlik derecesi sayısı çözüm kümesinin boyutuna eşittir. Örneğin, yukarıda verilen denklemin çözüm kümesi bir doğru olur; çünkü çözüm kümesi üzerinde bulunan tek bir nokta {\displaystyle x\_{3}} parametre değişkenin değerini şahsi seçime bağlı olarak belirlemek suretiyle ortaya çıkartılır. Daha yüksek 
düzenli sonsuz sayıda çözüm bir düzlemi veya yüksek boyutlu hiperdüzlemi tanımlayabilir.

Bağımsız değişkenler için değişik seçim değerleri, aynı çözüm kümesinin değişik tanımlarını oratay çıkarabilir. Örneğin yukarıda verilen denklemlerin çözümü alternatif olarak şöyle değişik şekilde tanımlanabilir:

{\displaystyle x\_{2}=-{\frac {3}{7}}x\_{1}+{\frac {11}{7}}\;\;\;\;{\text{ ve }}\;\;\;\;x\_{3}=-{\frac {1}{7}}x\_{1}-{\frac {1}{7}}{\text{.}}}
Burada {\displaystyle x\_{1}} bağımsız değişken ve {\displaystyle x\_{2}} ve {\displaystyle x\_{3}} bağlı değişkenlerdir.

### Değişkenlerin arka arkaya eliminasyonu

Bir doğrusal denklemler dizgesine çözüm kümesi bulmak için en basit yöntem değişkenlerin tekere teker arkaarkaya elimine edilmesidir. Bu çözüm yöntemi şöyle tanımlanabilir:

* Birinci denklemdeki tek bir değişkeni (eşit işaretinin solunda) diğer değişkenler ve sabitle (sağda) ifade edilmesini sağlayınız.
* Bu değişken için birinci denkelmeden bulunan ifadeyi dizgenin diğer denklemelerinde bulunan ifadeleri içindeki o değişken yerine konulur ve böylece yeni bir denklemler dizgesi bulunur ve bu dizgede bir önce dizgeden bir değişken eksik olur.
* Bu yeni dizgeye aynı yöntemi uygulayınız, Böylece tekrar bir değişken eksik yeni bir dizge bulunuz.
* Bu yöntemi arkaarkaya uygulayınız ve son bulunan dizge tek bir doğrusal denklem olana kadar bir yöntemi uygulamaya devam ediniz.
* Bu son tek değişkenli denklemi çözünüz ve bu son değişkenin çözüm değerini bulunuz.
* Bu değeri diğer bir öneceki dizgede geriye koyup bir diğer değişkenin çözüm değerini bulun. Bu geriye koyup çözmeyi tüm değişkenler için çözüm bulana kadar tekrarlayınız.

Örneğin şu 3 değişkenli (x, y ve z) doğrusal denklemeler dizgesini ele alalım :

{\displaystyle {\begin{alignedat}{7}x&&\;+\;&&3y&&\;-\;&&2z&&\;=\;&&5&\\3x&&\;+\;&&5y&&\;+\;&&6z&&\;=\;&&7&\\2x&&\;+\;&&4y&&\;+\;&&3z&&\;=\;&&8&\end{alignedat}}}
Birinci deklemi *x* için çözelim ve şu ifadeyi elde ederiz;  

*x* = 5 + 2*z* − 3*y*  

Bu *x* için ifadeyi ikinci ve üçüncü doğrusal denkleme koyup bunları basitleştirelim ve şu iki değişkenli (y ve z) iki denklem bulunuruz: 

{\displaystyle {\begin{alignedat}{5}-4y&&\;+\;&&12z&&\;=\;&&-8&\\-2y&&\;+\;&&7z&&\;=\;&&-2&\end{alignedat}}}
Bu yeni iki değişkenli iki denklemli dizgenin birinci denklemini *y* için çözelim ve şu ifadeyi elde ederiz  

*y* = 2 + 3*z*,  

Bunu yeni dizgedeki ikinci denkleme koyalım. *y* için çözünce şu ifade elde edilir:  

*y* = 2 + 3*z*  

Bunu ikinci denkleme *y* için koyarsak  

*z* = 2  

ifadesini elde ederiz. Şimdi sadece *z* ifadeli tek doğrusal denklem dizge elimizde kalmıştır ve bu da *z* için şu çözümü verir:  

*z* = 2

Arkaarkaya tek değişken eliminasyonu ile sonuçlar bulmuştuk: 

{\displaystyle {\begin{alignedat}{7}x&&\;=\;&&5&&\;+\;&&2z&&\;-\;&&3y&\\y&&\;=\;&&2&&\;+\;&&3z&&&&&\\z&&\;=\;&&2&&&&&&&&&\end{alignedat}}}
Şimdi *z* = 2 çözümünü ikinci denkelem koyarsak *y* çözümü olarak
*y* = 8  

elde ederiz; ve *z* = 2 ile *y* = 8 çözümlerini birinci denkleme koyarsak   

*x* = −15  

olarak *x* çözümü bulunur.

Böylece, çözüm kümesi olarak tek bir nokta olan (*x*, *y*, *z*) = (−15, 8, 2) elde edilmiş olmaktadır.

### Sıra azaltma

a\_ij katsayıları rasyonel sayılar, gercek sayılar ya da karmasik sayılar ya da herhangi bir cisimden gelen sayılar olmak üzere

a\_11 x\_1 + a\_12 x\_2 + ... + a\_1n x\_n = b\_1

a\_m1 x\_1 + a\_m2 x\_2 + ... + a\_mn x\_n = b\_m denklem sistemi,

**A** m satir ve n sutundan olusan ve değerlerini (bir cisimden alan) bir matris, **x** n satirlik bir sutun vektoru, **b** (değerlerini ayni cisimden alan) m satirlik bir sutun vektoru olmak üzere

**Ax** = **b**

seklinde yazabiliriz.

Boyle bir sistemin çözümü, x\_i degiskenlerinin hangi degerlerinin denklem sistemini sağladığını bulmak anlamina gelmektedir.

Gauss tipi indirgemede temel indirgeme islemleri uygulanir.

Temel satir indirgeme islemleri aşağıdakilerdir. Dikkat edelim ki bu islemler denklem sisteminin çözüm kumesini degistirmezler.

Satir Ekleme
i. satirin herhangi k katini j. satira eklemek. Bu islemi k \* Satir\_i + Satir\_j -> Satir\_j, ya da Satir (k\*i+j->j) ile gösterelim.

Not: bu islem A matrisini, I+ kE\_ji matrisi ile soldan carpmaya karsilik gelmektedir. Burada I kosegen terimleri 1 olan m \* m boyutundaki matrisi, E\_ji, sadece j. satir ve i. sutundaki terimi 1 olan matrisi göstermektedir. Boylece incelenen doğrusal sistem Ax = b yerine (I+kE\_ji)A x = (I+kE\_ji)b doğrusal sistemi olmaktadır.

Satir Degistirme
i. satirla j. satiri yer degistirmek. Bu islemi Degistir (i,j) ile gösterelim.

Bu islem i ve j indeksleri haric diğer indekslerde sadece kosegen terimleri 1, diğer durumlarda (i,j) ve (j,i) terimleri 1 olan matris ile A matrisini soldan carpmak ile elde edilir. Boylece incelenen doğrusal sistem Ax = b yerine (I-E\_ii-E\_jj+E\_ij+E\_ji)A x = (I-E\_ii-E\_jj+E\_ij+E\_ji)b doğrusal sistemi olmaktadır.

Gauss-Jordan Indirgeme yöntemi:

Serbest degisken kavrami:
Eger ilk sutun (ya da herhangi bir j. sutun) sadece sifirlardan olusuyorsa o zaman ilk degisken (ya da j. degisken) aslında denklem sistemi tarafından kısıtlanmamaktadır. Yani bu degiskenin herhangi bir degeri alabilir. Herhangi degeri alabilen degiskenlere serbest degisken denir.

Sifir olmayan ilk sutundan baslamak üzere (bu sutun j\_1. sutun olsun)
1. j\_1. sutundaki ilk sifirdan farklı sayınn bulunduğu satiri (bu satir i\_1. satir olsun) ilk satirla degistir.
Bu adimdan sonra olusan matrisin 1. satir ve j1. sutunundaki sifirdan farklı sayı A olsun. (Matristeki bu tip terimlere pivot ya da eksen terimleri denir. Cozumler bu Ikinci satirdan baslamak üzere j1. sutunda sifir olmayan ilk terim B olsun ve bu terim i\_2. satirda yer alsin.
2. Ilk satirin (-B/A) katini i\_2. satira ekle. Boylece i\_2. satirin j\_1. terimi sifira donusecektir.
3. Bu islemi bitirdikten sonra j\_1. sutunda hala incelenmemis satir varken bir sonraki satira gecerek 2. adimi tekrarla.
4. j\_1. sutundaki islem bittikten sonra yukaridaki adımları degistirilmis A matrisinin j1 den büyük sutunları ve 1den büyük satırlarından olusan matrise uygula.
(Bundan sonraki adimda A matrisi yerine A >= j1, >=1 matrisine uygula.)

Bu işlemlerin sonunda (j\_1,1) (j\_2,2) (j\_k,k) pivot konumları olsun. En son sifirdan farklı satirdan baslayip yukari cikarak doğrusal sistemin çözümune ulasabiliriz.
Islemleri kolaylastirmak için j\_v. sutunda v degerinden kucuk satirlardaki sifirdan farklı terimleri yukaridaki 2. adimdaki islemi kullanarak indirgeyebiliriz.
Ayrica pivot degerlerin 1 olmasi kosulunu da ekleyerek, bu çözüm yöntemine degisiklikler yapabiliriz.

### Cramer kuralı

Ana madde: Cramer kuralı
Bu kural 1750'de "Introduction à l'analyse des lignes courbes algébriques (Cebirsel eğrilerinin analizine giriş)" adlı eserinde bu teoremi açıklayan Gabriel Cramer (1704–1752) anısına isimlendirilmiştir.

Cramer kuralı aynı sayıda değişken ile denklem bulunan doğrusal denklem dizgesinin çözüm kümesini bulmak için kullanılabilen bir ifade ortaya çıkaran bir doğrusal cebir teoremidir. Bu teorem kullanılarak çözüm tek ve tek bir çözüm kümesi bulunan doğrusal denklem dizgesi için geçerlidir. Bu halde her bir değişken için çözüm iki kare determinantın oranı olarak verilir; bu oranda pay katsayılar matrisinden o değişkene karşıt sütununun, denklemin sağ-tarafında olan sabitler vektörü ile ikame edilmesiyle elde edilen kare matrisin determinantı ve payda ise katsayılar kare matrisi determinantıdır.

Genel olarak açıklamak için aynı sayıda (n) değişkenli ve denklemli bir doğrusal denklemler dizgesinin şu matris ifadesini ele alalım:

|  |  |
| --- | --- |
| {\displaystyle Ax=b\,} | {\displaystyle (1)\,} |

Burada {\displaystyle A} matrisi (nxn) seviyeli sonsuz değeri olmayan bir determinanti bulunan bir "katsayılar (kare) matrisi";  

{\displaystyle x=(x\_{1},\ldots ,x\_{n})^{\top }} (nx1) seviyeli bir "degiskenler (sutun) vektoru"; ve   

{\displaystyle b=(b\_{1},\ldots ,b\_{n})^{\top }} ise (nx1) seviyeli bir "sabitler (sutun) vektoru" olur.

x\_ideğişkeni çözümü için Cramer Teoremi şöyle ifade edilir:

{\displaystyle x\_{i}={\frac {\det(A\_{i})}{\det(A)}}\qquad i=1,\ldots ,n\,}
Burada {\displaystyle A\_{i}} matrisi {\displaystyle A} kare matrisinin *i'*inci sütununun yerine b sütun matrisinin konulmuş olduğu matrisdir.

#### İki değişkenli iki doğrusal denklemli dizge örneği

Bu örnekte, determinantların içinde hangi elemanlar bulunduğunun hemen anlaşılması içcin, katsayılar {\displaystyle \color {blue}{a\_{i,j}}} "mavi" renkli; bilinmeyenler {\displaystyle \color {blue}{x\_{i}}} "siyah" renkli ve katsayılar {\displaystyle \color {OliveGreen}{b\_{i}}} "yeşil" renkli yazılmıştır.

{\displaystyle {\begin{matrix}\color {blue}{4}\,\color {black}x\_{1}+\color {blue}{2}\,\color {black}x\_{2}=\color {OliveGreen}{24}\\\color {blue}{2}\,\color {black}x\_{1}+\color {blue}{3}\,\color {black}x\_{2}=\color {OliveGreen}{16}\end{matrix}}}
{\displaystyle x\_{1}={\frac {\det(A\_{1})}{\det(A)}}={\frac {\begin{vmatrix}\color {OliveGreen}{24}&\color {blue}{2}\\\color {OliveGreen}{16}&\color {blue}{3}\end{vmatrix}}{\begin{vmatrix}\color {blue}{4}&\color {blue}{2}\\\color {blue}{2}&\color {blue}{3}\end{vmatrix}}}={24\cdot 3-16\cdot 2 \over 8}={40 \over 8}=5}
{\displaystyle x\_{2}={\frac {\det(A\_{2})}{\det(A)}}={\frac {\begin{vmatrix}\color {blue}{4}&\color {OliveGreen}{24}\\\color {blue}{2}&\color {OliveGreen}{16}\end{vmatrix}}{\begin{vmatrix}\color {blue}{4}&\color {blue}{2}\\\color {blue}{2}&\color {blue}{3}\end{vmatrix}}}={4\cdot 16-2\cdot 24 \over 8}={16 \over 8}=2}
#### Üç değişkenli üç doğrusal denklemli dizge örneği

{\displaystyle {\begin{matrix}\color {blue}{82}\,\color {black}x\_{1}+\color {blue}{45}\,\color {black}x\_{2}+\color {blue}{9}\,\color {black}x\_{3}=\color {OliveGreen}{1}\\\color {blue}{27}\,\color {black}x\_{1}+\color {blue}{16}\,\color {black}x\_{2}+\color {blue}{3}\,\color {black}x\_{3}=\color {OliveGreen}{1}\\\color {blue}{9}\,\color {black}x\_{1}+\color {blue}{5}\,\color {black}x\_{2}+\color {blue}{1}\,\color {black}x\_{3}=\color {OliveGreen}{0}\\\end{matrix}}}
{\displaystyle x\_{1}={\frac {\det(A\_{1})}{\det(A)}}={\frac {\begin{vmatrix}\color {OliveGreen}{1}&\color {blue}{45}&\color {blue}{9}\\\color {OliveGreen}{1}&\color {blue}{16}&\color {blue}{3}\\\color {OliveGreen}{0}&\color {blue}{5}&\color {blue}{1}\end{vmatrix}}{\begin{vmatrix}\color {blue}{82}&\color {blue}{45}&\color {blue}{9}\\\color {blue}{27}&\color {blue}{16}&\color {blue}{3}\\\color {blue}{9}&\color {blue}{5}&\color {blue}{1}\end{vmatrix}}}={\frac {1}{1}}=1\qquad }
{\displaystyle x\_{2}={\frac {\det(A\_{2})}{\det(A)}}={\frac {\begin{vmatrix}\color {blue}{82}&\color {OliveGreen}{1}&\color {blue}{9}\\\color {blue}{27}&\color {OliveGreen}{1}&\color {blue}{3}\\\color {blue}{9}&\color {OliveGreen}{0}&\color {blue}{1}\end{vmatrix}}{\begin{vmatrix}\color {blue}{82}&\color {blue}{45}&\color {blue}{9}\\\color {blue}{27}&\color {blue}{16}&\color {blue}{3}\\\color {blue}{9}&\color {blue}{5}&\color {blue}{1}\end{vmatrix}}}={\frac {1}{1}}=1\qquad }
{\displaystyle x\_{3}={\frac {\det(A\_{3})}{\det(A)}}={\frac {\begin{vmatrix}\color {blue}{82}&\color {blue}{45}&\color {OliveGreen}{1}\\\color {blue}{27}&\color {blue}{16}&\color {OliveGreen}{1}\\\color {blue}{9}&\color {blue}{5}&\color {OliveGreen}{0}\end{vmatrix}}{\begin{vmatrix}\color {blue}{82}&\color {blue}{45}&\color {blue}{9}\\\color {blue}{27}&\color {blue}{16}&\color {blue}{3}\\\color {blue}{9}&\color {blue}{5}&\color {blue}{1}\end{vmatrix}}}={\frac {-14}{1}}=-14}
### Diğer yöntemler

Homojen dizgeler
----------------

### Tanımlama

Bir doğrusal denklemler dizgesinde sabitlerin hepsi 0 iselr, bu doğrsusal denklemler dizgesi **homojen dizge** olarak tanımlanır:

{\displaystyle {\begin{alignedat}{7}a\_{11}x\_{1}&&\;+\;&&a\_{12}x\_{2}&&\;+\cdots +\;&&a\_{1n}x\_{n}&&\;=\;&&&0\\a\_{21}x\_{1}&&\;+\;&&a\_{22}x\_{2}&&\;+\cdots +\;&&a\_{2n}x\_{n}&&\;=\;&&&0\\\vdots \;\;\;&&&&\vdots \;\;\;&&&&\vdots \;\;\;&&&&&\,\vdots \\a\_{m1}x\_{1}&&\;+\;&&a\_{m2}x\_{2}&&\;+\cdots +\;&&a\_{mn}x\_{n}&&\;=\;&&&0.\\\end{alignedat}}}
Matris ifadesiyle bir genel homojen dizge şöyle ifade edilir:

{\displaystyle A{\textbf {x}}={\textbf {0}}}
Burada   

**A**: (mxn) düzenli *katsayılar matrisi*;  

**x**: (n)-sıralı *değişkenler vektörü* veya sütun-matrisi ve ;  

**0**: (m)-siralı sıfır vektör veya 0 girdili sütun-matris ;  

olur.

### Çözüm kümesi

Her homojen dizgenin en aşağı bir tane çözümü vardır; bu her değişkenin 0'a eşit olduğu çözüm kümesidir. Bu çözüme *sıfır çözümü* veya *önemsiz (trivial) çözüm* adı verilir.

Homoojen dizgelerin önemli olan şu diğer nitelikleri de bulunur:

* Eğer **u** ve **v** homojen dizgenin iki çözüm vektörü iseler;

**{\displaystyle u+v}**    

vektörler toplamı da homojen dizgenin bir çözümü olur.

* Eğer **u** bir homojen dizgenin bir çözümünü ifade etmekte ise ve **z** herhangi bir skaler değer ise; o zaman

**{\displaystyle ru}**  

vektör çarpımı da homojen dizgenin bir çözümüdür.

Bu çözüm kümesi nitelikleri, **R**<sup>*n*</sup> nin bir Euclid-tipi altuzayı için gerekli nitelikler ile tıpatıp aynıdır. Özellikle, bir homojen dizgenin çözüm kümesi buna tekabül eden *A* matrisinin sıfır uzayı ile aynıdır.

### Homojen olmayan dizgelerle ilişkiler

Kaynakça
--------

* İngilizce Wikipedia "System of linear equations" maddesi 5 Mart 2011 tarihinde Wayback Machine sitesinde arşivlendi. (İngilizce)

Ayrıca bakınız
--------------

Dış bağlantılar
---------------

* İTÜ Ninova Açık Ders Malzemeleri[*ölü/kırık bağlantı*], Doğrusal cebir

| * g
* t
* d
Lineer cebir |
| --- |
| Temel kavramlar | 
* Skaler
* Vektör
* Vektör uzayı
* Skaler çarpım
* Vektörel izdüşüm
* Doğrusal germe
* Doğrusal dönüşüm
* İzdüşüm
* Doğrusal bağımsızlık
* Doğrusal birleşim
* Taban
* Taban değişimi
* Satır vektör
* Sütun vektör
* Satır ve sütun uzayları
* Boşuzay
* Özdeğer, özvektör, özuzay
* Tersçapraz
* Doğrusal denklemler

 | Three dimensional Euclidean space |
| Matrisler | 
* Blok
* Ayrışım
* Tersinir
* Minor
* Çarpım
* Rank
* Dönüşüm
* Cramer kuralı
* Gauss eleme yöntemi

 |
| Çifte doğrusallık | 
* Ortogonalite
* Nokta çarpım
* İç çarpım uzayı
* Dış çarpım
* Kronecker çarpımı
* Gram–Schmidt işlemi

 |
| Çokludoğrusal cebir | 
* Determinant
* Çapraz çarpım
* Üçlü çarpım
* Geometrik cebir
* Dışsal cebir
* Bivector
* Multivector
* Tensör
* Outermorphism

 |
| Vektör uzayı yapıları | 
* Fonksiyon
* Dual
* Bölüm
* Altuzay
* Tensör çarpımı

 |
| Nümerik | 
* Kayan nokta
* Nümerik stabilite
* Seyrek matris

 |
|  Kategori Kategori |


|  |  |
| --- | --- |
| Otorite kontrolü Bunu Vikiveri'de düzenleyin | 
* GND: 4035826-4

 |