Normlu Uzayın İç Çarpımlı Uzay Olması için Gerek ve Yeter Koşul

 \big( X,||.|| \big) normlu uzayının iç çarpımlı uzay olması için gerek ve yeter koşul bu uzayın  \forall{x,y}\in{X}, ||x+y||^{2}+||x-y||^{2}=2\big( ||x||^{2}+||y||^{2} \big) koşulunu (paralekenar özelliğini) sağlamasıdır. Bunu daha açık ifade edelim: Eğer  (X,||.||) normlu uzayı, iç çarpım ile üretilmişse bu uzay paralelkenar özelliğini ve "polarizasyon eşitliği"ni sağlar. Tersine  \big( X,||.|| \big) normlu uzayı paralelkenar özelliğini sağlıyor ise polarizasyon eşitliğinde verilen fonksiyon bir iç çarpımdır, yani, polarizasyon eşitliğiyle verilen fonksiyon aracılığıyla  \big( X,(\, , ) \big) bir iç çarpımlı uzay olur. Polarizasyon eşitliği Reel ve Kompleks lineer uzaylarda, aşağıdaki biçimde verilir:

 \displaystyle{(x,y)=\frac{1}{4}\left( ||x+y||^{2}-||x-y||^{2} \right)}  \mathbb{R}-lineer uzaylarda,

 \displaystyle{(x,y)=\frac{1}{4}\left( ||x+y||^{2}+i||x+iy||^{2}-||x-y||^{2}-i||x-iy||^{2} \right)=\frac{1}{4}\sum_{k=0}^{3}i^{k}||x+i^{k}y||^{2}}

 \mathbb{C}-lineer uzaylarda.

Bu teoremin ispatını Reel ve Kompleks lineer uzaylarda ayrı ayrı yapacağız. Fakat ispatın bazı yerleri Reel ve Kompleks lineer uzaylar için aynı olacak. Önce birkaç lemma ispatlamamız gerekiyor:

» Devamını Oku