Doğrusal cebir ya da lineer cebir; matematiğin, vektörler (yöney), vektör uzayları, doğrusal dönüşümler, doğrusal denklem takımları ve matrisleri (dizey) inceleyen alanıdır. Vektör uzayları, modern matematiğin merkezinde yer alan bir konudur. Bundan dolayı doğrusal cebir hem soyut cebirde hem de fonksiyonel analizde sıkça kullanılır. Doğrusal cebir, analitik geometri ile de alakalı olup sosyal bilimlerde ve fen bilimlerinde yaygın bir uygulama alanına sahiptir.
Modern doğrusal cebirin geçmişi 1843 ve 1844 yıllarına dayanır. 1843'te William Rowen Hamilton Kuaterniyonları keşfetti. 1844'te Hermann Grassmann Die lineale Ausdehnungslehre adlı kitabını yayınladı. Arthur Cayley, doğrusal cebirin en temel fikirlerinden birisi olan vektörleri 1857 yılında tanıttı. Ne var ki doğrusal cebir, asıl büyük atılımlarını 20. yüzyılda yapmıştır.
Doğrusal cebirin temelleri vektörlerin incelenmesinde yatar. Burada sözü edilen vektör, yönü ve büyüklüğü olan bir doğru parçasıdır. Vektörler yöney olarak da bilinir. Vektörler kuvvet gibi fiziksel birimlerin ifade edilmesinde kullanılabilir. Birbirlerine eklenebildikleri gibi sabit bir skalerle de çarpılabilirler. Böylece basit bir reel vektör uzayının oluşumu gösterilebilir.
Modern Doğrusal Cebir, 2 ve 3 boyut sınırlamasını kaldırarak isteğe bağlı veya sonsuz boyutlu uzaylarda işleyebilecek şekilde genişletilmiştir. 2 ve 3 boyutlu uzaylardaki sonuçların büyük bir kısmı n-boyutlu uzaylarda da geçerlidir. N boyutlu bir uzayın görselleştirilmesi zor gibi görünse de aslında bu tür uzaylar temel bilimlerde ve günlük hayatta sık kullanılır. Örneğin 8 ülkenin ulusal gelirini listelediğimiz zaman bu liste 8 boyutlu bir vektörü ifade eder. Bu vektördeki her bir elemanın bir ülkenin ulusal gelirini temsil ettiğini söyleyebiliriz.
Matematikte, soruna doğrusal bir açıdan bakıp, matris cebriyle ifade ettikten sonra onu matris işlemleriyle çözmek, matematikte sık kullanılan uygulamalardan birisidir. Örneğin doğrusal denklem sistemleri (dizge) matris yardımıyla ifade edilip çözülerek denklemin kökleri elde edilebilir.
Aşağıda üç boyutlu bir sütun vektörü görülmektedir:
Burada ise 4 boyutlu bir satır vektörünü görmekteyiz:
Son olarak 4 satır ve üç sütundan oluşan bir matris örneğini şöyle gösterebiliriz:
Vektör uzayı, doğrusal cebirin ana yapısıdır. Bir F [[cismi]] üzerinde bir vektör uzayı bir V kümesi ile birlikte iki ikili işlemdir. V’nin ögelerine vektör ve F’nin ögelerine skaler denir.[1] Aşağıdaki listede diyelim ki u, v ve w, V içinde keyfi vektörler ve a ve b, F içinde skalerler olsun.
Aksiyom | Açıklaması |
toplamanın bileşimi | u + (v + w) = (u + v) + w |
toplamanın değişimi | u + v = v + u |
toplamaya göre etkisiz eleman | Burada 0 ∈ V ögesi var, sıfır vektör denir, böylece her v ∈ V için v + 0 = v. |
toplamaya göre ters eleman | her v ∈ V için, burada bir −v ∈ V ögesi var, vnin toplamsal tersi denir, böylece v + (−v) = 0 |
vektör toplamının skaler çarpım üzerinde Dağılma özelliği | a(u + v) = au + av |
sıralı alan toplamının skaler çarpımın üzerinde dağılması | (a + b)v = av + bv |
Alan çarpımı ile skaler çarpımı eşitliği | a(bv) = (ab)v[nb 1] |
skaler çarpımın etkisiz elemanı | 1v = v, burada 1 F içinde çarpmaya göre etkisizdir. |
Verilen bir F alanı üzerinde V ve W iki vektör uzayı, bir doğrusal dönüşüm (ayrıca doğrusal gönderme, doğrusal gönderim veya doğrusal işlemci) bir göndermedir.
bu toplam ve skaler çarpım ile uyumlandırılabilir:
u,v ∈ V herhangi iki vektör ve bir skaler a ∈ F için.
toplanabilir herhangi iki vektör u, v ∈ V ve skaler a, b ∈ F için:
Yine diğer cebirsel nesnelerin teorileri ile analog olarak, lineer cebir vektör uzaylarının kendileri vektör alanlarının alt kümeleriyle ilgilenmektedir, bu alt kümeler doğrusal alt uzayı olarak adlandırılır. Örneğin, aralık ve doğrusal bir eşleme bölgesinin hem çekirdek hem de alt uzayları vardır ve bu nedenle sık sık aralık alanı olarak adlandırılır ve boşuzay; bu alt uzayların önemli örnekleridir. Bir alt uzayı oluşturmanın bir diğer önemli yolu da doğrusal kombinasyona almaktır, v1, v2, …, vk vektörlerinin bir kümesi:
burada a1, a2, …, ak skalerlerdir. Vektörlerinin doğrusal tüm bileşimlerinin kümesi v1, v2, …, vk buna germe denir, bunun bir alt uzay formudur.
Tüm sıfır katsayısı ile vektörlerinin herhangi bir sisteminin bir lineer kombinasyonu V sıfır vektörüdür.Bu lineer bir kombinasyonu olarak sıfır vektör ifade etmek için tek yoldur v1, v2, …, vk ise bu vektörler doğrusal bağımsızdır.Verilen bir vektörler kümesinin bu vektörlerinin bir uzay gerimi, eğer herhangi vektör w diğer vektörlerin doğrusal kombinasyonu (ve böylece kümeleri doğrusal bağımsız değildir), ise biz eğer w kümesinden germeyi kaldırırsak aynı kalacaktır. Böylece, doğrusal bağımlı vektörlerin kümesi bir doğrusal bağımsız alt kümesi aynı alt uzayı kapsar anlamında gereksizdir. Bu nedenle, bir vektör uzayı V yi geren vektörlerin lineer bağımsız kümesinin içinden daha çok ilgiliyiz, buna V’nin tabanı deriz. Vektörlerin herhangi kümesi that spans Vnin gerilmiş bir tabanını içerir, ve V içindeki vektörlerin herhangi doğrusal bağımsız kümesi bir tabana gerilebilir(yayılabilir).[2] Buradan çıktığı üzere biz seçim aksiyomu olarak kabul edersek, her vektör uzayının bir tabanı vardır;[3] yine de, bu doğal olmayan baz olabilir, ve gerçekten de, hatta inşa edilebilir olmayabilir. Örneğin, burada Kesirli üzerinde bir vektör alanı olarak kabul edilen reel sayılar için bir temel var, ama hiçbir açık temel inşa edilmemiştir.
V vektör uzayının herhangi iki tabanı aynı kardinalitesi varsa, buna V’nin boyutu denir. Bir vektör uzayının boyutu vektör uzayı için boyut teoremi ile iyi-tanımlıdır. Eğer V’nin bir tabanı ögelerin sonlu sayısı varsa, V’ye bir sonlu-boyutlu vektör uzayı denir. Eğer V sonlu-boyutlu ve U V’nin bir alt uzayı ise dim U ≤ dim V. Eğer U1 ve U2 V'nin alt uzayı ise
Birçoğu sonlu boyutlu vektör alanlarına önemi sınırlar. Lineer cebir temel bir teoremi aynı boyutun tüm vektör uzaylarının izomorf olduğunu belirtiyor,[5] eş yapının karakterize edilmesi için bir kolay bir yol verir.