1: \begin{definition}[\Cite{Vgreen}, Definition 5.4.11]

2:   \label{def:realinf} Suppose we are in the setting of 

3:   Definition \ref{def:posroots}. Recall from Proposition 4.2 the

4:   identifications 

5: $${\mathfrak h}\simeq X_*\otimes_{\mathbb Z} {\mathbb C}, \qquad

6: {\mathfrak h}^*\simeq X^*\otimes_{\mathbb Z} {\mathbb C}$$

7: exhibiting ${\mathfrak h}$ as canonically defined over ${\mathbb

8:   Z}$. This means in particular that ${\mathbb h}$ is canonically

9: defined over ${\mathbb R}$; we write

10: $${\mathfrak h}_{\CRE} = X_*\otimes_{\mathbb R}, \qquad {\mathfrak

11:   h}^*_{\CRE} = X^*\otimes_{\mathbb R},$$

12: the {\em canonical real form of ${\mathfrak h}$}.  Clearly these spaces

13: are preserved by the action of the Weyl group. The infinitesimal

14: character $\xi_\lambda$ is said to be {\em real} if $\lambda \in

15: {\mathfrak h}^*_{\CRE}$. By Theorem \ref{thm:HChom}(3), this property

16: is independent of the choice of $\lambda$ representing the

17: infinitesimal character.

18: \end{definition}