Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $V$ be a vector space with a finite Dimension above $\mathbb{C}$ or $\mathbb{R}$.

Let $B=(b_{1},...,b_{n})$ be a basis of V.

I need your help proving this:

$(\langle T(b_{i}),b_{j}\rangle )_{1\leq i,j\leq n}=G(b_{1},...,b_{n}) [T^{*}]_{B}^{B}$

when $G(b_{1},...,b_{n})$ is a Gram matrix, and $T^{*}$ is the adjoint transformation of $T$.

Thank you

share|cite|improve this question
up vote 0 down vote accepted

Calculate $G(b1,..,bn)[T^*]_B^B\cdot e_i$ for any $1\leq i \leq n$, where $e_i=(0,...,0,1,0,...,0)$ ($i$'th place).
You get $[T^*(b_i)]_B=(\alpha_1,...,\alpha_n)$ (i.e. $T^*(b_i)=\alpha_1b_1+...+\alpha_nb_n$ by definition of $[T^*]_B^B$). Multiplying $G(b1,..,bn)(\alpha_1,...,\alpha_n)$ (column), in the $j$'th row we get $$\alpha_1\langle b_1 , b_j \rangle+...+\alpha_n\langle b_n , b_j\rangle= \langle \alpha_1b_1+...+\alpha_nb_n,b_j\rangle=\langle T^*(b_i),b_j\rangle$$ On the other hand, multiply $(\langle T(b_i),b_j \rangle)_{1\leq i,j\leq n} e_i$ and look at the $j$'th row. They should be equal, thus proving the equality.
(Either I messed with the multiplication or you should have $(\langle b_i,T(b_j) \rangle)_{1\leq i,j\leq n}$)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.