Lineer Cebir · 4. Ünite: İç Çarpım Uzayları (Inner Product Spaces)
Standart İç Çarpım, Uzunluk (Norm) ve Uzaklık
Vektör uzaylarında şimdiye kadar yalnızca toplama ve skalerle çarpma vardı; uzunluk, uzaklık ve açı gibi geometrik kavramlar yoktu. İç çarpım (inner product) bu eksikliği giderir: aksiyomlarla tanımlanan tek bir işlemden uzunluğu, uzaklığı ve (bir sonraki konuda) açıyı türetiriz. Bu konunun sonunda $\mathbb{R}^n$ içinde nokta çarpımı, normu ve uzaklığı hesaplayabilecek, Cauchy–Schwarz ile üçgen eşitsizliğini ispatlayıp kullanabilecek ve ağırlıklı ya da fonksiyon uzaylarındaki iç çarpımların aksiyomları sağlayıp sağlamadığını sınayabileceksin.
Öğrenme hedefleri
- $\mathbb{R}^n$ içinde iki vektörün standart iç çarpımını (nokta çarpımını) hesaplar ve simetri, doğrusallık, pozitif belirlilik özelliklerini kullanır.
- Bir vektörün normunu $\|\mathbf{v}\|=\sqrt{\mathbf{v}\cdot\mathbf{v}}$ ile bulur, sıfırdan farklı bir vektörü normalleştirerek birim vektör elde eder.
- İki vektör arasındaki uzaklığı $d(\mathbf{u},\mathbf{v})=\|\mathbf{u}-\mathbf{v}\|$ ile hesaplar ve uzaklığın metrik özelliklerini açıklar.
- Cauchy–Schwarz eşitsizliğini ispatlar, eşitlik koşulunu (doğrusal bağımlılık) belirler ve ekstremum problemlerinde kullanır.
- Üçgen eşitsizliğini Cauchy–Schwarz üzerinden ispatlar; Pisagor teoremini, paralelkenar kuralını ve polarizasyon özdeşliğini yazar.
- Gerçek bir vektör uzayında verilen bir çarpımın (ağırlıklı, matris tabanlı, integral tabanlı) iç çarpım aksiyomlarını sağlayıp sağlamadığını denetler ve bu iç çarpıma göre norm ile uzaklığı hesaplar.
Konu anlatımı
Bağlam: Vektör Uzaylarına Geometri Katmak
Rⁿ'de Standart İç Çarpım (Nokta Çarpımı)
Norm (Uzunluk) ve Birim Vektör
Uzaklık (Distance)
Cauchy–Schwarz Eşitsizliği
Üçgen Eşitsizliği, Pisagor ve Paralelkenar Kuralı
İç Çarpım Uzayları: Genel Tanım ve Ağırlıklı İç Çarpım
Çözümlü Örnekler
Simülasyon Rehberi ve Sonuçların Yorumu
Sık Yapılan Hatalar ve Kavram Yanılgıları
Özet ve Bağlantılar
Anahtar terimler
- İç çarpım (inner product)
- Bir vektör uzayında iki vektöre bir reel sayı karşılık getiren; simetri, toplamsallık, homojenlik ve pozitif belirlilik aksiyomlarını sağlayan fonksiyon. Gösterim: $\langle\mathbf{u},\mathbf{v}\rangle$.
- Standart iç çarpım (nokta çarpımı)
- $\mathbb{R}^n$ üzerinde $\mathbf{u}\cdot\mathbf{v}=u_1v_1+\dots+u_nv_n$; $\mathbf{u}^T\mathbf{v}$ matris çarpımına eşittir.
- İç çarpım uzayı (inner product space)
- Üzerinde bir iç çarpım tanımlanmış reel (ya da karmaşık) vektör uzayı.
- Norm (uzunluk)
- $\|\mathbf{v}\|=\sqrt{\langle\mathbf{v},\mathbf{v}\rangle}$; bir vektörün büyüklüğü. $\|c\mathbf{v}\|=|c|\|\mathbf{v}\|$ ve üçgen eşitsizliğini sağlar.
- Birim vektör (unit vector)
- Normu $1$ olan vektör. Sıfırdan farklı $\mathbf{v}$ için $\mathbf{v}/\|\mathbf{v}\|$ ile elde edilir (normalleştirme).
- Uzaklık (distance)
- $d(\mathbf{u},\mathbf{v})=\|\mathbf{u}-\mathbf{v}\|$; negatif olmayan, simetrik ve üçgen eşitsizliğini sağlayan metrik.
- Cauchy–Schwarz eşitsizliği
- $|\langle\mathbf{u},\mathbf{v}\rangle|\le\|\mathbf{u}\|\|\mathbf{v}\|$; eşitlik ancak vektörler doğrusal bağımlıysa gerçekleşir.
- Üçgen eşitsizliği (triangle inequality)
- $\|\mathbf{u}+\mathbf{v}\|\le\|\mathbf{u}\|+\|\mathbf{v}\|$; eşitlik, vektörlerden biri sıfır ya da ikisi aynı yönlü paralel ise sağlanır.
- Ağırlıklı iç çarpım (weighted inner product)
- Pozitif $w_i$ ağırlıklarıyla $\langle\mathbf{u},\mathbf{v}\rangle=\sum w_iu_iv_i$; birim çember bir elips(oid) olur.
- Pozitif tanımlı matris
- Simetrik ve her $\mathbf{v}\ne\mathbf{0}$ için $\mathbf{v}^TA\mathbf{v}>0$ olan matris; $\langle\mathbf{u},\mathbf{v}\rangle=\mathbf{u}^TA\mathbf{v}$ bir iç çarpım verir.
Örnek soru
$\mathbf{v}=(1,-4,8)$ vektörünün standart iç çarpıma göre normu $\|\mathbf{v}\|$ kaçtır?
- $5$
- $\sqrt{17}$
- $9$
- $13$
- $81$
Doğru cevap: C
Çözüm
Cevap: $9$
1. Norm, vektörün kendisiyle iç çarpımının karekökü ile bulunur: $\|\mathbf{v}\|=\sqrt{\mathbf{v}\cdot\mathbf{v}}$.
2. Değerleri yerine koy: $\mathbf{v}\cdot\mathbf{v}=1^2+(-4)^2+8^2=1+16+64=81$.
3. Karekök al: $\|\mathbf{v}\|=\sqrt{81}=\mathbf{9}$.
Çeldiriciler: $5=1-4+8$ bileşenlerin işaretli toplamıdır, $13=1+4+8$ mutlak değerlerin toplamıdır, $81$ karekök almayı unutmaktır, $\sqrt{17}$ ise $z$ bileşenini ihmal etmektir.