Can someone show that the roots and the Cartan subalgebra are dual vector spaces?
I don't see how simple roots acting on non-corresponding indices of a Cartan basis produce 0 and a simple root evaluated on its corresponding Cartan basis element equals 1.
According to the definition of dual spaces: $\beta (t_\beta)=1$ and $\beta (t_\alpha)=0$, where ${\alpha,\beta } $ (simple roots) corresponds to ${t_\alpha, t_\beta} $ (Cartan basis) respectively.
If this was true then the inner product of two simple roots would be zero. Since the inner product of roots uses the restriction of the killing form to the Cartan, and so does the root evaluation on a Cartan element.
So $(\alpha,\beta)=k (t_\alpha, t_\beta)_{H\times H}= \alpha (t_\beta)=\beta (t_\alpha)$
Where $H$ is the max Cartan subalgebra.
Since $\beta$ is be being evaluated on an uneven indice ($ t_\alpha $), as above, $\beta (t_\alpha) $ is 0, which is not true for most root systems. In most root systems the inner product of simple roots is less than 0. Also $\beta (t_\beta)$ is not always 1.
So I am confused how the dual space axioms apply here.
In addition, I see how the Cartan basis is orthonormal or at least orthogonal under its own killing form, but not under the Lie algebra's killing form restricted to the Cartan, which is non-degenerate.
I am probably confusing a bunch of stuff.
Help is really appreciated