Naimark's dilation theorem (source code)

= Naimark's dilation theorem
{wiki=Naimark's_dilation_theorem}

Naimark's dilation theorem is a result in functional analysis, particularly in the area of operator theory. It provides a way to extend a bounded positive operator on a Hilbert space into a larger space, allowing for a representation that simplifies the analysis of the operator.