Self-Adjoint Extension of Symmetric Maps

A densely-defined symmetric linear map from/to a real Hilbert space extends to a self-adjoint map. Extension is expressed via Riesz representation. For a case including Friedrichs extension of a strongly monotone map, self-adjoint extension is unique, and equals closure of the given map.