Talk:Frobenius covariant
Appearance
![]() | This article has not yet been rated on Wikipedia's content assessment scale. |
Normalization of eigenvectors
[edit][This section was taken from Talk:Sylvester's formula --Jorge Stolfi (talk) 22:40, 30 December 2009 (UTC)]
I think the article should explain how to normalize the eigenvectors. -- Jitse Niesen (talk) 14:27, 5 January 2007 (UTC)
- In context, the normalization is "obviously" such that , (where δ is the Kronecker delta), but a reference is still required. I think I have one, but it's not called "Sylvester's" in that reference. If the eigenvalues are distinct, then it's easy to construct such normalized eigenvectors, as if . — Arthur Rubin | (talk) 15:00, 5 January 2007 (UTC)
- The reference I thought was there didn't have it. However, the actual results seems to be the following:
- Part 2: If
- and
- (where δ is the Kronecker delta)
- then
- Part 2: If
- Part 1: (How to get to the hypothesis)
- (Option A) If A is diagonalizable, , then, taking:
- ri to be the rows of U,
- ci to be the columns of U-1,
- λi to be the diagonal entries of D
- the hypothesis of Part 2 can easily be seen to be met.
- (Option B, which may be where Sylvester got into it). If A has n distinct (left-)eigenvalues, denote them λi.
- Let ri be the corresponding row-eigenvectors
- Let di be the corresponding column-eigenvectors.
- Let
- (It can easily be seen that ri cj = 0 for i <> j.)
- (Option A) If A is diagonalizable, , then, taking:
- Part 1: (How to get to the hypothesis)
- I'm still not convinced that Sylvester did it. — Arthur Rubin | (talk) 21:43, 5 January 2007 (UTC)
Projection of what?
[edit]The text says that the Frobenius covariants are projections onto the eigenspaces etc.. Pojections of what, exactly? All the best, --Jorge Stolfi (talk) 22:41, 30 December 2009 (UTC)