Gelfand–Naimark theorem

The Gelfand–Naimark theorem is a fundamental result in functional analysis and the theory of C*-algebras. It establishes a deep connection between C*-algebras and normed spaces, specifically in the context of representation theory.