Vektör Alt Uzayı
Vektör alt uzayı, bir vektör uzayının, toplama ve skalerle çarpmaya göre hâlâ kapalı olan alt kümesidir.
Vektör Alt Uzayının Tanımı
Bir V vektör uzayı verilsin. V uzayının W alt uzayı, V’nin öyle bir alt kümesidir ki W kümesi kendi başına da bir vektör uzayı olur. Bir W ⊆ V boş olmayan alt kümesinin V uzayının vektör alt uzayı olması için şu iki koşulu sağlaması gerekir: her x, y ∈ W ve her a ∈ ℝ için
- x + y ∈ W,
- a · x ∈ W.
Yani V’den öyle bir alt küme seçmeliyiz ki bu vektörler toplama ve çarpmaya göre kapalı olsun.
ℝ3 Uzayının Alt Uzayları
ℝ3 uzayını alıp bir alt uzay bulmaya çalışalım.
- Örneğin a ∈ ℝ olmak üzere (a, a, a) biçimindeki bütün üçlüleri alsak? Yani
ya da (−π, −π, −π) gibi üçlüleri. Bu alt uzaya W1 diyelim. ℝ3 bütün üçlüleri içerdiğinden W1, ℝ3 uzayının bir alt kümesidir, yani W1 ⊆ ℝ3.
Bu küme vektörlerin toplanması işlemine göre kapalıdır, çünkü
İki vektörü topladığımızda yine üç bileşeni de aynı olan yeni bir vektör elde ederiz; böyle bir vektör de W1 kümesindedir. Demek ki W1 kümesi vektör alt uzayının birinci koşulunu sağlar. Peki ikinci koşulu da sağlar mı?
Evet, sağlar. Çünkü k ile çarpmak vektörün üç bileşenini de değiştirir, ama hepsini tamamen aynı biçimde değiştirir:
Yine üç bileşeni de eşit olan bir vektör elde ederiz ve böyle bir vektör W1 kümesindedir. Dolayısıyla W1, ℝ3 uzayının bir vektör alt uzayıdır.
-
a, b, c ∈ [−1, 1] olmak üzere (a, b, c) biçimindeki bütün üçlüleri almayı da deneyebiliriz. Bu kümeye W2 diyelim; elemanlarına örnek olarak
ya da üçlüleri verilebilir. W2 elemanları toplamaya göre kapalı mı? Kesinlikle değil, çünkü toplamı üçlüsüne eşittir ve bu üçlü W2 kümesine ait değildir. Demek ki W2 kümesi ℝ3 uzayının alt uzayı değildir; W2 hiçbir biçimde bir uzay oluşturmaz. -
Şimdi a, b ∈ ℝ olmak üzere (a, 0, b) biçimindeki bütün üçlüleri alalım. Bunlar ikinci bileşeni sıfır olan bütün üçlülerdir. Bu kümeye W3 diyelim. Bu küme toplamaya göre kapalı mı? Evet, kapalı, çünkü
Sonuç olarak (a + c, 0, b + d) üçlüsünü elde ederiz; bu üçlünün ikinci bileşeni sıfırdır, diğer iki bileşeni gerçek sayıdır. Bu üçlü kesinlikle W3 içindedir. W3 çarpmaya göre de kapalı mı? Evet, kapalı, çünkü
Yine ikinci bileşeni her zaman sıfır, diğer bileşenleri gerçek sayı olan (k · a, 0, k · b) üçlüsünü elde ederiz. Böyle bir üçlü W3 kümesinin elemanıdır. Demek ki W3 kümesi ℝ3 uzayının bir alt uzayıdır. Üçlüler (a, b, 0) ya da (a, 0, 0) biçiminde olsaydı onların da bir vektör alt uzayı oluşturacağına dikkat edelim.
Polinomların Alt Uzayı
Bir önceki yazıda polinomlardan oluşan vektör uzayını göstermiştik. Hatırlatalım: polinom
biçimindeki bir ifadedir. an ≠ 0 kabul ederiz. Böyle bir polinomun derecesi tam olarak n sayısıdır. a0, …, an gerçek sayılarına polinomun katsayıları denir. Polinoma örnek olarak 4 + 3x − 7x2 ifadesi verilebilir. Bir vektör alt uzayı bulmaya çalışalım. Bunun için bütün polinomların P(x) vektör uzayını alalım.
-
İlk olarak, n ≥ 0 olmak üzere derecesi n olan bütün polinomların kümesini deneyelim ve bu kümeye W1 diyelim. Bir önceki yazıda bunun bir vektör uzayı olmadığını zaten söylemiştik; dolayısıyla P(x) uzayının vektör alt uzayı olması da pek mümkün değil. Tekrar edelim: örneğin W1 içindeki bir polinomu sıfırla çarparsak tanım gereği derecesi −1 olan p(x) = 0 polinomunu elde ederiz. Bu eleman hiçbir W1 kümesinde yoktur.
-
W2 olarak derecesi n ve n’den küçük olan bütün polinomları alalım. Yani n = 2 için W2 içinde dereceleri 2, 1, 0, −1 olan bütün polinomlar bulunur. Bu küme toplamaya göre kapalı mı? Evet, kapalı, çünkü derecesi n olan iki polinomun toplamının derecesi asla n’den büyük olmaz, yalnızca daha küçük olabilir. Aynı şekilde bu küme çarpmaya göre de kapalıdır, çünkü p(x) polinomunun herhangi bir k katı ya aynı dereceden bir polinom ya da sıfır polinomu olur. Her iki olasılığı da W2 kümesi kapsar; böylece W2 kümesi P(x) uzayının bir alt uzayını oluşturur.
Alt Uzayların Temel Özellikleri
Bir V vektör uzayı ve onun iki alt uzayı W1 ile W2 verilsin. O zaman şunlar geçerlidir:
-
W1 ∩ W2 kesişimi, V uzayının bir vektör alt uzayıdır.
ℝ3 vektör uzayını ve onun W1, W2 alt uzaylarını alalım; W1, a, b ∈ ℝ olmak üzere (a, b, 0) biçimindeki üçlülerden, W2 ise (a, 0, b) biçimindeki üçlülerden oluşsun. Bu durumda W1 ∩ W2 kesişimi (a, 0, 0) biçimindeki üçlüleri içeren kümedir; böyle bir küme açıkça ℝ3 uzayının bir alt uzayıdır.
Ama bu elbette bir ispat değildir. İspat şöyle olurdu: herhangi bir V vektör uzayını ve onun iki alt uzayı W1, W2 kümelerini alalım. Şimdi her x, y ∈ W1 ∩ W2 için x + y ∈ W1 ∩ W2 olduğunu kanıtlamak istiyoruz.
x ve y vektörleri W1 ∩ W2 kesişiminde bulunduğundan, kesinlikle x, y ∈ W1 ve aynı zamanda x, y ∈ W2 olmalıdır (bu, kümelerin kesişiminin tanımından gelir). W1 ve W2 aynı zamanda vektör uzayı olduğundan x + y ∈ W1 ve aynı zamanda x + y ∈ W2 olmalıdır (bu, vektör uzayının tanımından gelir). Şimdi hem x + y ∈ W1 hem de x + y ∈ W2 elde ettik; bundan x + y ∈ W1 ∩ W2 sonucu çıkar (yine kesişimin tanımına göre: bir eleman hem W1 kümesinde hem de W2 kümesinde yer alıyorsa, onların kesişiminde de yer almalıdır).
Sonra çarpmaya göre kapalılığı doğrulamamız gerekir. Her k ∈ ℝ ve x ∈ W1 ∩ W2 için k · x ∈ W1 ∩ W2 olduğunu kanıtlamalıyız. Yöntem aynıdır. x ∈ W1 ∩ W2 olduğundan aynı zamanda x ∈ W1 ve x ∈ W2 olur. W1 ve W2 uzay olduğundan k · x ∈ W1 ve aynı zamanda k · x ∈ W2 olur; dolayısıyla k · x ∈ W1 ∩ W2 elde edilir. □
-
W1 ∪ W2 birleşimi, V uzayının alt uzayı olmak zorunda değildir.
İkinci özelliği kanıtlamak için uygun bir karşı örnek bulmak yeter. Bir önceki W1 ve W2 uzaylarını kullanalım; bunların üçlüleri sırasıyla (a, b, 0) ve (a, 0, b) biçimindedir. Birleşimlerini alırsak ikinci ya da üçüncü yerinde sıfır bulunan bütün üçlüleri elde ederiz. Dolayısıyla (1, 0, 1) ve (1, 1, 0) vektörleri kesinlikle W1 ∪ W2 birleşimindedir. Ama bunların toplamı (2, 1, 1) vektörüne eşittir; bu vektörün hiçbir yerinde sıfır yoktur. Bu vektör ne W1 içindedir ne de W2 içinde, dolayısıyla W1 ∪ W2 içinde de olamaz. Toplamı aynı kümeye ait olmayan iki vektör bulduk; demek ki bu küme bir vektör uzayı olamaz.
Bölümler: Vektör Uzayları, Vektör Uzaylarına Örnekler, Vektör Alt Uzayı, Vektörlerin Doğrusal Birleşimi, Doğrusal Germe, Vektör Uzayının Tabanı, Vektör Uzayının Boyutu, Taban Değiştirme Matrisi