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.