Lineer Cebir · 3. Ünite: Vektör Uzayları (Vector Spaces)
Reel Vektör Uzayları ve Alt Uzaylar (Subspaces)
Okla gösterilen vektörler, polinomlar, matrisler ve fonksiyonlar ilk bakışta çok farklı nesnelerdir; ama hepsi toplanabilir ve bir sayıyla ölçeklenebilir, ve bu iki işlem aynı kurallara uyar. Bu bölümde bu ortak yapıyı 10 aksiyomla tanımlayıp (vektör uzayı), bir uzayın içinde kendi başına uzay olan alt kümeleri (alt uzaylar) tek bir kapalılık testiyle ayırt etmeyi öğreneceksin. Sonunda bir kümenin alt uzay olup olmadığına, ispat ya da karşı örnekle karar verebileceksin.
Öğrenme hedefleri
- Reel vektör uzayının 10 aksiyomunu yazar, verilen işlemlerle tanımlanmış bir kümede hangi aksiyomun sağlandığını ya da bozulduğunu belirler.
- Rⁿ, matris uzayları Mₘₓₙ, polinom uzayları Pₙ ve fonksiyon uzaylarını vektör uzayı örnekleri olarak tanır ve bu uzaylarda toplama ile skaler çarpmayı hesaplar.
- Aksiyomlardan 0·u = 0, (−1)·u = −u ve sıfır vektörün tekliği gibi sonuçları adım adım türetir.
- Bir W ⊆ V alt kümesinin alt uzay olması için gereken üç koşulu (0 ∈ W, toplamda ve skalerle çarpmada kapalılık) sınar; sağlıyorsa ispat, sağlamıyorsa karşı örnek yazar.
- Homojen lineer sistemin çözüm kümesinin, orijinden geçen doğru ve düzlemlerin alt uzay olduğunu gösterir; homojen olmayan sistem, kaydırılmış doğru ve disk gibi kümelerin neden alt uzay olmadığını açıklar.
- İki alt uzayın kesişiminin alt uzay olduğunu, birleşiminin ise genelde olmadığını gerekçelendirir.
Konu anlatımı
Bağlam: Neden Soyut Bir Vektör Uzayı Tanımına İhtiyaç Var?
Reel Vektör Uzayının Tanımı: 10 Aksiyom
Temel Örnekler: Rⁿ, Matris, Polinom ve Fonksiyon Uzayları
Aksiyomlardan Çıkan Sonuçlar (Türetmeler)
Alt Uzay (Subspace): Tanım ve Üç Koşul Kriteri
Alt Uzay Örnekleri ve Örnek Olmayanlar
Çözümlü Örnekler
Simülasyon Rehberi: Keşfederek Öğren
Sık Yapılan Hatalar ve Kavram Yanılgıları
Özet ve Sonraki Konularla Bağlantı
Anahtar terimler
- Vektör uzayı (vector space)
- Boş olmayan bir küme ile üzerinde tanımlı toplama ve skaler çarpma işlemlerinin, 10 aksiyomu (kapalılık, değişme, birleşme, sıfır, ters, iki dağılma, skaler birleşme, 1·u = u) sağlamasıyla elde edilen yapı.
- Vektör (vector)
- Bir vektör uzayının elemanı. Ok, sütun, polinom, matris ya da fonksiyon olabilir.
- Skaler (scalar)
- Vektörü ölçekleyen gerçek sayı (reel vektör uzayında).
- Sıfır vektör (zero vector)
- Her u için u + 0 = u koşulunu sağlayan tek vektör. Polinom uzayında sıfır polinomu, matris uzayında sıfır matristir.
- Toplamsal ters (additive inverse)
- u + (−u) = 0 olan −u vektörü. Aksiyomlardan (−1)·u ile aynı olduğu çıkar.
- Alt uzay (subspace)
- V vektör uzayının, V'nin işlemleriyle kendi başına vektör uzayı olan bir alt kümesi W.
- Kapalılık (closure)
- Bir kümenin bir işlem altında dışarı çıkmaması: W'nin iki elemanının toplamı W'dedir (toplamada kapalılık), bir elemanın katı W'dedir (skaler çarpmada kapalılık).
- Alt uzay kriteri (subspace test)
- 0 ∈ W, toplamda kapalılık ve skaler çarpmada kapalılık koşullarını birlikte sınayan teorem.
- Sıfır uzayı (null space)
- Ax = 0 homojen sisteminin tüm çözümlerinin kümesi; R^n'nin bir alt uzayıdır.
- Polinom uzayı Pₙ
- Derecesi en çok n olan polinomların vektör uzayı; a₀ + a₁x + … + aₙxⁿ biçimindeki elemanları (a₀, …, aₙ) katsayı vektörleriyle eşleşir.
Örnek soru
Aşağıdaki kümelerden hangisi $\mathbb{R}^2$'nin bir alt uzayıdır?
- $\{(x,y):\ x\ge0\}$
- $\{(x,y):\ y=3x\}$
- $\{(x,y):\ y=3x+1\}$
- $\{(x,y):\ xy=0\}$
- $\{(x,y):\ x^2+y^2\le1\}$
Doğru cevap: B
Çözüm
Cevap: $\{(x,y):\ y=3x\}$
1. Alt uzay için üç koşul gerekir: $\mathbf{0}\in W$, toplamda kapalılık, skaler çarpmada kapalılık.
2. $y=3x$ için $(0,0)$ koşulu sağlar. $(x,3x)+(x',3x')=(x+x',\,3(x+x'))$ ve $c(x,3x)=(cx,\,3cx)$ yine aynı doğru üzerindedir. Üç koşul da sağlanır: orijinden geçen doğru alt uzaydır.
Çeldiriciler: $x\ge0$ negatif skalerle çarpılınca dışarı çıkar; $y=3x+1$ sıfır vektörü içermez; $xy=0$ (eksenlerin birleşimi) toplamda kapalı değildir, $(1,0)+(0,1)=(1,1)$; birim disk hem toplamda hem skalerle çarpmada dışarı taşar.