Eğer $W_1 \le V$ ve $W_2 \le V$ ise, o zaman
$$ W_1 \cap W_2 \le V $$
Yani, iki alt uzayın kesişimi yine bir alt uzaydır.
💡 Hedef: Alt uzayların kesişiminin yine bir alt uzay olduğunu ispatlayabilecek ve bu özelliği problem çözümlerinde kullanabileceksiniz.
$V$ bir vektör uzayı olsun. $W_1 \le V$ ve $W_2 \le V$ iki alt uzay olsun. $W_1$ ve $W_2$'nin kesişimi, her iki alt uzayda da bulunan vektörlerin kümesidir:
Kesişim, her iki alt uzayın da ortak elemanlarından oluşur. Bu küme, genellikle iki alt uzayın "kesiştiği" bölgeyi temsil eder.
Eğer $W_1 \le V$ ve $W_2 \le V$ ise, o zaman
$$ W_1 \cap W_2 \le V $$
Yani, iki alt uzayın kesişimi yine bir alt uzaydır.
Bir kümenin alt uzay olması için 3 koşulu sağlaması gerekir:
Şimdi $W = W_1 \cap W_2$ için bu koşulları kontrol edelim:
✅ Her üç koşul da sağlandığı için $W_1 \cap W_2$ bir alt uzaydır.
💡 Önemli Not: Bu teorem sonlu sayıda alt uzay için de geçerlidir: $$ W_1 \cap W_2 \cap \dots \cap W_k \le V $$
$V = \mathbb{R}^3$ olsun. $W_1 = \{(x,y,z) \in \mathbb{R}^3 \;|\; x = 0\}$ ($yz$-düzlemi) ve $W_2 = \{(x,y,z) \in \mathbb{R}^3 \;|\; y = 0\}$ ($xz$-düzlemi) alt uzaylarını ele alalım.
$W_1 \cap W_2$'yi bulun ve bir alt uzay olduğunu gösterin.
$W_1 \cap W_2$'deki vektörler hem $x=0$ hem $y=0$ koşullarını sağlamalıdır:
Bu küme, $z$-eksenidir. $z$-ekseni bir alt uzay mıdır?
✅ $W_1 \cap W_2$ bir alt uzaydır (özellikle $z$-ekseni).
$V = \mathbb{R}^2$ olsun. $W_1 = \{(x,y) \in \mathbb{R}^2 \;|\; y = 0\}$ ($x$-ekseni) ve $W_2 = \{(x,y) \in \mathbb{R}^2 \;|\; y = 2x\}$ (orijinden geçen bir doğru) alt uzaylarını ele alalım.
$W_1 \cap W_2$'yi bulun ve bir alt uzay olduğunu gösterin.
$W_1 \cap W_2$'deki vektörler hem $y=0$ hem $y=2x$ koşullarını sağlamalıdır:
Kesişim sadece sıfır vektörünü içerir. $\{(0,0)\}$ kümesi bir alt uzaydır (sıfır alt uzayı). ✅
$V = P_2(\mathbb{R})$ (derecesi en fazla 2 olan polinomların uzayı) olsun. $W_1 = \{p(x) \in P_2 \;|\; p(0) = 0\}$ ve $W_2 = \{p(x) \in P_2 \;|\; p(1) = 0\}$ alt uzaylarını ele alalım.
$W_1 \cap W_2$'yi bulun.
$p(x) = ax^2 + bx + c \in P_2$ olsun.
$p \in W_1 \Rightarrow p(0) = c = 0$
$p \in W_2 \Rightarrow p(1) = a + b + c = 0$
$c=0$ ve $a+b=0 \Rightarrow b = -a$ olduğundan:
Bu küme, tek bir vektörün span'ı olduğu için bir alt uzaydır (1-boyutlu alt uzay). ✅