Sonlu boyutlu Hilbert uzaylari icin yapmaya calistim kanitimi pek basarili olmadi.
A≤0 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 B≤0 (cunku \sqrt{|lambda_{i,i}} \leq 0) hem de A=B∗B saglanmis olur ama biricikligi nasil gosterecegimi goremedim.