表現論アドベントカレンダー2日目の記事です。 GNS構成によって、ユニタリ表現と正定値関数の（ある意味の）一対一対応を作ることができます。 本記事ではGNS構成を例を挙げながら理解することを目的とします。