F bir cisim olsun, bunun uzerine V vektor uzayini kuralim. vektor uzayi V uzerinde, norm ρ:V→R su sartlari saglamali.
(1) ρ(u+v)≤ρ(u)+ρ(v),
(2) ρ(αv)=|α|ρ(v),
(3) ρ(v)=0⟺v=0.
(1) ozelligin saglandigini gormek zor degil (sonucta solda eldesiz toplama var (vektor uzayi toplamasi) ) sagda da eldeli toplama (reel sayilardaki toplama). (3) te kolay.
(2) ozellikten cok emin degilim. Temel sorunum mutlak deger. Muhendis gibi mutlak deger yokmus gibi davranip, α nin 0 yada 1 olabilecegini dusunup gene de sagliyor olabilir gibi dusundum. (Cumle ne kadar dusuk oldu. Kisaca dedim ki ya zaten α iki deger aliyor, ikisi de pozitif ve her ikisi icin de yukarida verilen sarti sagliyor o zaman sallamayalim su mutlak degeri burada ama iste bunu diyebilir miyim cok emin degilim)
Ic carpim cok kafami karistiriyo acikcasi. Pozitif definit, ikinci argumanda linearite ve hermityen simetri ozelliklerini saglayan ⟨⋅,⋅⟩:V×V→F fonksiyonuna ic carpim diyoruz.
Goruntu kumemizin F olmasi pek hosuma gitmiyor. Soruyu ilk sordugumda goruntu kumesinin R oldugunu dusunuyordum ve bir sekilde cauchy dizi carpimi ile azicik oynayip cikan diziyi dogal sayi gibi gorup ic carpim tanimlamak istiyordum. (Kisacasi dogal sayilar uzerindeki carpmayi bu uzaydaki ic carpim gibi kullanmak istedim ama olmuyor maalesef) Sonra arkadasimin da yardimi ile farkettim ki bu dogru degil. C uzerinde kurulan bir vektor uzayinda ic carpim gayet komplex olabiliyor. Acaba sonlu cisimler uzerine kurulan vektor uzaylarinda ic carpim tanimi yok mu?
Acikcasi sonlu cisimler uzerine kurulan vektor uzaylarinda norm ve ic carpim gormedim hic. Oklid uzayindan tanidigimiz ve sevdigimiz arkadaslar pek calismiyor bu uzaylarda. l2 normunu buraya tasimaya calissak mesela tum girdileri 1 olan vektorun uzunlugu 0 cikacak. Merakim da biraz o yuzden
Verdigim yapinin bir norm oldugunu dusunuyorum. (su ufak mutlak deger meselesini aydinlatabilirsem)
Neden cauchy dizilerinden bahsedemeyelim pek anlamadim. Tamam iki vektor arasi uzaklik her zaman bir dogal sayi ama bu bir dizinin cauchy olmasini neden engellesin ki ?. Su tarz dizilere Cauchy diyoruz sanirim.
∀ϵ>0∃N∈N∀m,n>N:d(xm,xn)<ϵ
yada hadi biraz daha geometrik olalim. Bir dizi Cauchydir eger her 0 dan buyuk ϵ icin bir a noktasi ve N indisi vardir ki xN den sonraki butun dizi elemanlari Bϵ(a) icindedir.
an=1 mesela bir cauchy dizisi degil mi? (biraz hile yaptim tamam).
Bu uzaydaki cauchy dizileri sanirim belli bir terimden sonra tum terimleri sabit olan diziler (cunku iki vektorun arasindaki uzaklik hep bir dogal sayi ve 0 dan buyuk en kucuk bir dogal sayi var ). E boyle dusununce tum Cauchy dizileri yakinsiyor sanki o yuzden uzayin bir Banach uzayi oldugunu dusunuyorum.
N uzerindeki + ve ⋅ bu uzayda lineer degil diye dusunuyorum. Dogal sayilar uzerindeki carpmanin bir sekilde ic carpima denk gelecegini umuyordum ama o zamanlar ic carpimin goruntu kumesinin hep R oldugunu dusunuyordum (baktim yanilmisim).
Eger gercekten Banach uzayi ise, bu uzayda calculus yapmak nasil gorunuyor merak ediyorum.