1: \begin{definition}{\cite[Proposition 6.46]{K96}, \cite{I49}} The Iwasawa decomposition of the complex vector space $\mathfrak{g}$ is 

2: $$\mathfrak{g} = \mathfrak{k}\oplus \mathfrak{a}\oplus \mathfrak{n}.$$

3: The Iwasawa decomposition of $G$ \cite[Theorem 6.46]{K96} is 

4: $$G = KAN.$$  

5: \end{definition}

6: