Citat:
Ursprungligen postat av Otrolig
Ja, det verkar rimligt. Det ska ju gälla att (x, y) = (y, x) oavsett vad x och y är för något. Det ser också rimligt ut att linjäriteten inte ger några krav på konstanterna.
När du ska kontrollera att (u, u) ≥ 0 och = 0 om och endast om u = 0 räcker det med att om du tittar för exempelvis x (x är ju godtycklig). Om du har gjort rätt har du:
(x, x) = x₁² + 10x₂² + 3x₃² + x₄² + ax₂x₄ + bx₃x₄+ cx₄x₂
Kvadratkomplettera detta för att se vad som måste gälla för a, b, c så att (x, x) ≥ 0 (det är ju typiskt dåligt om koefficienten framför någon av kvadraterna är negativ). Sen ska det ju gälla att (x, x) = 0 om och endast om x = 0.
Okej så jag har nu kvadratkompletterat uttrycket och får:
x₁² + 10x₂² + 3x₃² + x₄² + ax₂x₄ + bx₃x₄+ cx₄x₂ =
= x₁² +10(x₂+x₄(a+c)/10)²+3(x₃+x₄b/6)²+
(1-(a+c)²/10-b²/6)x₄²
där det av intresse blir det fetstilta och som man vill ha positivt så:
1-(a+c)²/10-b²/6≥0 <=>/använder här att a=c som jag fick ut innan/
<=> 6(10-a²)≥5b² <=> √((6/5)(10-a²))≥|b|
Av det sista kan man få att √10≥|a| också.
Så nu har jag en några restriktioner på vad a,b och c kan vara. Dock är jag lite osäker på om jag gjort rätt för att finna vad b kan vara. Jag tycker att √((6/5)(10-a²))≥|b| ser ut lite stökigt ut.