Definitionen av en skalärprodukt + tentamensfråga
Halloj!
Jag håller på att studera begreppet skalärprodukt och jag har en (ganska petig) fråga om en fråga från en gammal tentamen. Innan jag kommer in på den börjar jag med att notera definitionen för skalärprodukten så som jag förstår den (rätta mig gärna om den inte stämmer!):
Låt vara ett vektorrum definierat på en kropp . Då är en funktion en skalärprodukt på om och endast om:
- för
- med omm
Vidare definierar vi normen av en vektor genom denna skalärprodukt:
Uppgiften jag satt med framgår nedan:

Här antar jag att kroppen , eftersom ingenting annat har sagts.
Facit skriver följande:

Jag förstår inte riktigt varför man väljer att hänvisa till "längd" i detta sammanhang. Längd är väl ett geometriskt begrepp som egentligen saknar mening i ett abstrakt vektorrum? Jag tänkte bara att om måste per definition eftersom omm .
Vektorns längd = Vektorns norm. Har man en skalärprodukt i ett vektorrum, så är det meningsfullt att prata om vektorernas längder definierade via och sedan är det också också meningsfullt att prata om vinklar mellan vektorer. Det är alltså skalärprodukten som gör att geometriska begrepp kan införas på abstrakta vektorrum.
Annars har du helt rätt i att man inte behöver hänvisa till längden i denna uppgift och man kan utnyttja egenskapen " omm " som ingår i definitionen av skalärprodukten.