Lyapunov equations: a (fixed) point of view

The Lyapunov equation is the gateway drug of nonlinear control theory. In these notes we revisit an elegant statement connecting the concepts of asymptotic stability and observability, to the solvability of Lyapunov equations, and discuss how this statement can be proved using the Brouwer fixed-point theorem.