Vektör Uzayı
Vektör uzayı, elemanları birbiriyle toplanabilen ve bir cismin (field) elemanlarıyla ölçeklendirilebilen bir kümedir; doğrusal cebirin merkezi nesnesi ve matematik boyunca doğrusal yapının modelidir.
Tanım
Bir cisim (field) üzerindeki vektör uzayı, dağılma, birleşme ve birim aksiyomlarını sağlayan cisim elemanlarıyla skaler çarpma işlemiyle birlikte bir değişmeli vektör grubudur; bu aksiyomlar iki işlemi uyumlu hale getirmektedir.
Kapsam
Bu konu, bir vektör uzayının aksiyomlarını, alt uzayları, doğrusal bağımsızlığı, germe kümelerini, tabanları ve boyutu, koordinatları, direkt toplamları ve bölüm uzaylarını ve dual uzayları kapsamaktadır. Doğrusal dönüşümlerin ve matrislerin incelendiği çerçeveyi oluşturmaktadır.
Temel sorular
- Hangi aksiyomlar bir kümeyi vektör uzayı haline getirir?
- Taban nedir ve her vektör uzayının neden bir tabanı vardır?
- Boyut neden bir vektör uzayının iyi tanımlanmış bir değişmezi (invariant)dir?
- Alt uzaylar, direkt toplamlar ve bölüm uzayları bir vektör uzayını nasıl ayrıştırır?
Temel kuramlar
- Tabanın Varlığı
- Her vektör uzayının bir tabanı, yani doğrusal bağımsız bir germe kümesi bulunmaktadır; böylece her vektör, taban vektörlerinin tekil bir sonlu doğrusal kombinasyonu olarak ifade edilebilir. Sonlu boyutlu durumda bu, temel değişim argümanlarından (exchange arguments) kaynaklanmaktadır.
- Boyutun Değişmezliği
- Bir vektör uzayının herhangi iki tabanı aynı kardinaliteye sahiptir, bu nedenle boyut, sabit bir cisim (field) üzerindeki vektör uzaylarını izomorfizmaya kadar sınıflandıran iyi tanımlanmış bir değişmezdir (invariant).
- Alt Uzaylar, Bölümler ve Dual Uzaylar
- Alt uzaylar, direkt toplamlar, bölüm uzayları ve doğrusal fonksiyonellerin dual uzayı, vektör uzaylarını inşa eden ve analiz eden temel yapılar olup, doğrusal dönüşümler kuramının temelini oluşturmaktadır.
Klinik önem
Vektör uzayları, çok geniş bir yelpazedeki olguları modellemektedir: doğrusal denklemlerin ve diferansiyel denklemlerin çözüm kümeleri, analizdeki fonksiyon uzayları, kuantum mekaniğindeki durum uzayları ve veri bilimi ile makine öğrenimindeki özellik uzayları (feature spaces) hepsi birer vektör uzayıdır; bu da doğrusal cebiri evrensel olarak uygulanabilir kılmaktadır.
Tarihçe
Grassmann, 1844'te vektör uzaylarını öngören genişletilmiş niceliklerin soyut bir hesabını tanıtmıştır ve Peano, 1888'de aksiyomatik bir tanım vermiştir. Bu kavram, yirminci yüzyılda standart hale gelmiş, sonsuz boyutlu uzaylar Hilbert ve Banach tarafından fonksiyonel analizde geliştirilmiştir.
Öne çıkan isimler
- Hermann Grassmann
- Giuseppe Peano
- David Hilbert
- Stefan Banach
İlgili konular
Temel eserler
- hoffman1971
- roman2008
- lang2002
Sıkça sorulan sorular
- Her vektör uzayının bir tabanı var mıdır?
- Evet. Sonlu boyutlu uzayların temel argümanlarla bir tabanı vardır ve keyfi vektör uzaylarının ise seçim aksiyomu (axiom of choice) varsayıldığında bir tabanı bulunmaktadır. Bir taban, her vektörün taban vektörlerinin bir kombinasyonu olarak tekil bir şekilde yazılmasını sağlamaktadır.
- Bir vektör uzayı bir modülden nasıl farklıdır?
- Bir vektör uzayı, skalerleri bir cisimden (field) gelen bir modüldür. Bir cisim üzerinde her modülün bir tabanı vardır ve tekdüze (uniformly) davranır; genel bir halka (ring) üzerinde bu durum geçerli değildir, bu da modül kuramını doğrusal cebirden ayıran özelliktir.