On the definition of the dual Lie coalgebra of a Lie algebra (Q1915428)

For an associative algebra \(A\) over a field \(K\), the multiplication map \(m:A\otimes A\to A\) has its transposed map \(m^*:A^*\to(A\otimes A)^*\). The continuous dual coalgebra \(A^\circ\) of \(A\) can be obtained as \(\{f\text{ in }A^*\mid m^*(f)\text{ is in }A^*\otimes A^*\}\), where \(A^*\otimes A^*\subset(A\otimes A)^*\) by the canonical identification. For a Lie algebra \(L\) over \(K\), \textit{W. Michaelis} called a subspace \(V\) of \(L^*\) good if \(m^*(V)\subset V\otimes V\), and defined the continuous dual Lie coalgebra \(L^\circ\) to be the sum of the good subspaces of \(L^*\) [Adv. Math. 38, 1-54 (1980; Zbl 0451.16006)]. In the paper under review, the author shows that \(L^\circ=\{f\text{ in }L^*\mid m^*(f)\text{ is in }L^*\otimes L^*\}\), as in the associative case. Also, as in the associative case, the proof uses that if \(m^*(f)\) is in \(L^*\otimes L^*\), then the space of \(L\)-translates of \(f\) is finite-dimensional.