1: \begin{definition} \mlabel{def:1.1} 

2: (a) A {\it Hilbert--Lie algebra} $\fk$ is a real Lie algebra 

3: endowed with the structure of a real Hilbert space such that the 

4: scalar product is invariant under the adjoint action, i.e., 

5: \[ \la [x,y],z \ra = \la x,[y,z]\ra \quad \mbox{ for } \quad x,y,z \in \fk.\]

6: From the Closed Graph Theorem and the Uniform Boundedness Principle 

7: one derives that the bracket $\fk \times \fk \to \fk$ is continuous 

8: with respect to the norm topology on $\fk$ (cf.\ \cite[p.~70]{Sch60}). 

9: A Hilbert--Lie algebra  $\fk$ is called {\it simple} if 

10: $\{0\}$ and $\fk$ are the only closed ideals. 

11: \end{definition}

12: