Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
4 beğenilme 0 beğenilmeme
392 kez görüntülendi

Teorem: H bir Hilbert uzayı olsun. AL(H) ve A0. O zaman B0 ve B2=A şartlarını sağlayan biricik bir BL(H) vardır.

Bu teorem (gösterebilirmisiniz?) üzerinden L(H)'nin bir altkümesinde olan işlemcilerin karekökünü A1/2 tanımlayabiliyoruz. Daha başka durumlarda işlemcilerin karekökleri nasıl tanımlanır?

Lisans Matematik kategorisinde (1.2k puan) tarafından 
tarafından düzenlendi | 392 kez görüntülendi
Sonlu boyutlu Hilbert uzaylari icin yapmaya calistim kanitimi pek basarili olmadi.

A0 demek, A nin simetrik pozitif olmasi demek. A simetrik oldugu icin matriksinin ozdeger dekompozisyonu yapabiliriz.

A=UΛUT

A pozitif definit oldugu icin A nin butun ozdegerleri Λi,i 0 a buyuk esittir.

B=UΛi,iUT  secebiliriz boylece hem B0 (cunku \sqrt{|lambda_{i,i}} \leq 0) hem de A=BB saglanmis olur ama biricikligi nasil gosterecegimi goremedim.
20,312 soru
21,868 cevap
73,589 yorum
2,859,709 kullanıcı