Let be a symmetric bilinear map on a finite-dimensional real vector space. If is parallel to for every , then it has the displayed form for one covector . Write in a basis. Applying the condition to and excludes every component outside their span and gives . Set and extend by bilinearity. Dimension one follows by the same definition. The trace identity proves uniqueness without depending on the chosen basis.

Articles by others on the same topic (0)

There are currently no matching articles.