=> A is diagonalizable : ##A \sim \begin{pmatrix}\lambda_1 \text{ Id}_{m_1} & 0 & 0 \\
0 & \ddots & 0\\
0 & 0 & \lambda_p \text{ Id}_{m_p} \end{pmatrix}##. What is ##m_1,...,m_p## ? What is ##m_1 + ... + m_p ## equal to ?
<= Say that matrix A represents an endomorphism on vector space ##E##...
Look at things this way : given an ##n\times n## matrix ##A##, with real coefficients for exemple, its determinant is the determinant of the column vectors in the canonical basis ##{\cal B}## of ##M_{n,1}(\mathbb{R})##, which you could write ## \det A = \det_{\cal B} (C_1,...,C_n)##.
With the...
Nice insight !
If you like it, I have an exemple of application for your post to euclidean geometry. You could explain how eigenvalues and eigenvectors are helpfull in order to carry out a full description of isometries in dimension 3, and conclude that they are rotations, reflections, and the...
Think I have it now.
In a previous post, we said that ##P(f) = 0## implies that the eigenvalues of ##f## are among the zeros of ##P##.
Then it had to be true that ## P(f) = 0 \iff Q(f) = 0 ##, where ##Q = \prod_{\lambda \in \text{Sp}(f)} (X - \lambda) ##.
Now I want to show that ## E =...
If ##P(f) = 0##, then ##P(f)(x) = 0 ## for all ##x\in E##.
If ##x = 0## then ##x \in E \cap \bigoplus_{\lambda \in \text{Sp}(f) } E_{f,\lambda}##
If ##x\neq 0##, then ## 0 = P(f)(x) = a\prod_{i = 1}^p (f(x) - \lambda_i x)##. So at least one term in the product is equal to 0. Therefore, there...
Hello, I am studying reduction of endomorphisms and I came across a theorem that I can't understand completely. It states that:
Theorem: Let ##E## be a finite dimensional ##K## vector space, ##K## sub-field of ##\mathbb{C}##, and ##f## be an endomorphism of ##E##. Then, ##f## is diagonalizable...
It rather follows from ##\sigma_i## being a cycle.
It says that a permutation can be written as a product of disjoint cycle ##\sigma = \sigma_1 \circ ... \circ \sigma_p ##.
The question asks you to find the smallest ##m \ge 1## such that ##\sigma ^ m = \text{id}##.
Since the cycles are...