2
$\begingroup$

I have trouble understanding a proof on textbook and I would appreciate your help!

Corollary. Let $V$ be a finite-dimensional inner product space with an orthonormal basis $\beta = \{v_1, v_2, \ldots, v_n \}$. Let $T$ be a linear operator on $V$, and let $A =_{\beta}[T]^{\beta}$. Then for any $i$ and $j$, $A_{ij} = \langle T(v_j),v_i \rangle$.

Proof. From previous theorem, we know that $T(v_j)=\sum_{i=1}^{n}\langle T(v_j), v_i \rangle v_i$. Hence $A_{ij} = \langle T(v_j), v_i \rangle $.

I don't understand the part after "Hence". I was thinking about maybe multiplying some vectors but it didn't work out.

$\endgroup$
1
  • $\begingroup$ How does the textbook define $A_{ij}$? Perhaps it's best to start from there $\endgroup$ Mar 15, 2014 at 0:25

1 Answer 1

2
$\begingroup$

By definition, $A_{i,j}$ is the component of $v_i$ in the decomposition of $T(v_j)$ in the basis $\beta$.

As $$T(v_j) = \sum_{i=1}^n \langle T(v_j) ,v_i\rangle v_i\\ =\sum_{i=1}^n A_{j,i} v_i $$ and as the family $(v_k)$ is free, $A_{i,j} = \langle T(v_j) ,v_i\rangle$.

$\endgroup$
2
  • $\begingroup$ I don't understand the part after "then"...Sorry... $\endgroup$
    – 3x89g2
    Mar 15, 2014 at 0:15
  • $\begingroup$ Is it better? {}{ $\endgroup$
    – mookid
    Mar 15, 2014 at 0:18

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .