Bestämmer kvadratiska former linjära transformationer?
Om är ett komplext inre-produktrum och är en linjär transformation på så är den inre produkten en kvadratisk form. Frågan är om det omvända gäller, det vill säga finns det en nollskild linjär transformation på sådan att för alla ?
Svaret måste väl ändå vara nej.
Frågan är väl ekvivalent med att finna en nollskild matris så att den kvadratiska formen är lika med noll för samtliga . Att den kvadratiska formen är lika med noll för alla innebär emellertid att samtliga koefficienter i den kvadratiska formen är noll, vilket i sin tur innebär att alla element i måste vara noll. Det kan alltså inte finnas någon nollskild avbildning som uppfyller att för alla .
Ja, det ser övertygande ut i det ändligtdimensionella fallet. Men hur blir det om är oändligtdimensionellt vektorrum? Blir det inte problematiskt att prata om matriser av typ ? Vilken oändlighet avses då?
Albiki skrev:Ja, det ser övertygande ut i det ändligtdimensionella fallet. Men hur blir det om är oändligtdimensionellt vektorrum? Blir det inte problematiskt att prata om matriser av typ ? Vilken oändlighet avses då?
Det är sant. Man behöver nog ett annat resonemang för det fall då är av oändlig dimension.