GNS構成

まず $\omega(b^*a)=\overline{\omega(a^*b)}$ を示す。$Q(x):=\omega(x^*x)$ は実数である。
$$ Q(a+b)=Q(a)+Q(b)+\omega(a^*b)+\omega(b^*a), \qquad Q(a+ib)=Q(a)+Q(b)+i\omega(a^*b)-i\omega(b^*a) $$
だから、$w:=\omega(a^*b)$、$v:=\omega(b^*a)$ とおくと $w+v$ と $i(w-v)$ はともに実数である。前者から $\operatorname{Im}v=-\operatorname{Im}w$、後者から $\operatorname{Re}v=\operatorname{Re}w$ となり、$v=\overline w$ である。特に $b=1$ とすれば $\omega(a^*)=\overline{\omega(a)}$ である。
$A:=\omega(a^*a)$、$B:=\omega(b^*b)$、$c:=\omega(a^*b)$ とおく。$B>0$ なら、任意の $\lambda\in\mathbb C$ に対する正値性から
$$ 0\leq\omega((a+\lambda b)^*(a+\lambda b)) =A+\lambda c+\overline{\lambda}\,\overline c+|\lambda|^2B $$
を得る。$\lambda=-\overline c/B$ とおけば
$$ 0\leq A-\frac{|c|^2}{B} $$
となり、$|c|^2\leq AB$ である。
$B=0$ の場合、もし $c\ne0$ なら $\lambda c$ が負の実数になるように偏角を選び、$|\lambda|$ を十分大きくすれば
$$ A+\lambda c+\overline{\lambda}\,\overline c<0 $$
となって正値性に反する。したがって $c=0$ であり、この場合も不等式が成り立つ。$\square$

$h:=x^*x$ は自己共役で、$\|h\|=\|x\|^2$（$C^*$-恒等式）である。Banach環とC*-環のスペクトル理論 の記事の定理「自己共役元とユニタリ元のスペクトル」により $\sigma(h)\subset[-\|x\|^2,\|x\|^2]$ であり、同じ記事の命題「多項式のスペクトル写像定理」から $\sigma(\|x\|^21-h)\subset[0,2\|x\|^2]$ である。同じ記事の定理「連続汎関数計算」により、$[0,2\|x\|^2]$ 上の連続関数 $\sqrt t$ を代入した $s:=\sqrt{\|x\|^21-h}$ は自己共役で $s^2=\|x\|^21-x^*x$ を満たす（同じ記事の例「自己共役元の平方根と正負の部分」）。すると
$$ \|x\|^2\,\omega(b^*b)-\omega(b^*x^*xb) =\omega\bigl(b^*(\|x\|^21-x^*x)b\bigr) =\omega\bigl(b^*s^*sb\bigr) =\omega\bigl((sb)^*(sb)\bigr)\geq0 $$
である。$\square$

lem-positive-functional-schwarz を $a=1$、$b=x$ に、lem-positive-functional-basic-estimate を $b=1$ に当てると
$$ |\omega(x)|^2=|\omega(1^*x)|^2\leq\omega(1)\,\omega(x^*x)\leq\omega(1)\cdot\|x\|^2\omega(1) $$
だから $|\omega(x)|\leq\omega(1)\|x\|$ である。$x=1$ で等号が成り立つので $\|\omega\|=\omega(1)$ である。$\square$

$a,b\in N_\omega$ とする。Schwarz不等式により $\omega(a^*b)=\omega(b^*a)=0$ だから
$$ \omega((a+b)^*(a+b))=0. $$
また $\lambda\in\mathbb C$ に対して
$$ \omega((\lambda a)^*(\lambda a))=|\lambda|^2\omega(a^*a)=0 $$
である。よって $N_\omega$ は線形部分空間である。
lem-positive-functional-basic-estimate を $b=a$ に当てると
$$ 0\leq\omega((xa)^*(xa)) \leq\|x\|^2\omega(a^*a)=0. $$
したがって $xa\in N_\omega$ である。$\square$

前節の内積空間 $\mathcal A/N_\omega$ の完備化を $\mathcal H_\omega$ とする。$a,b\in\mathcal A$ に対して
$$ \pi_\omega(a)[b]:=[ab] $$
とおく。$N_\omega$ は左イデアルなので、この式は剰余類の代表元によらない。また
$$ \|\pi_\omega(a)[b]\|_\omega^2 =\omega(b^*a^*ab) \leq\|a\|^2\omega(b^*b) =\|a\|^2\|[b]\|_\omega^2 $$
である（不等号は lem-positive-functional-basic-estimate）。したがって $\pi_\omega(a)$ は完備化上の有界作用素へ一意に延長され、
$$ \|\pi_\omega(a)\|\leq\|a\| $$
を満たす。
左乗法の結合則から
$$ \pi_\omega(ab)=\pi_\omega(a)\pi_\omega(b), \qquad \pi_\omega(1)=1 $$
である。また稠密部分空間 $\mathcal A/N_\omega$ 上で
$$ \langle\pi_\omega(a)[b],[c]\rangle_\omega =\omega(b^*a^*c) =\langle[b],\pi_\omega(a^*)[c]\rangle_\omega $$
だから $\pi_\omega(a)^*=\pi_\omega(a^*)$ である。よって $\pi_\omega$ は単位的 $*$-表現である。
$\Omega_\omega:=[1]$ とおくと
$$ \|\Omega_\omega\|^2=\omega(1)=1. $$
さらに
$$ \{\pi_\omega(a)\Omega_\omega\mid a\in\mathcal A\} =\{[a]\mid a\in\mathcal A\} $$
は完備化の定義により稠密なので、$\Omega_\omega$ は巡回ベクトルである。最後に
$$ \langle\Omega_\omega,\pi_\omega(a)\Omega_\omega\rangle =\langle[1],[a]\rangle_\omega =\omega(a) $$
を得る。

稠密部分空間 $\mathcal A/N_\omega$ 上で
$$ U_0[a]:=\pi(a)\Omega $$
と定める。$a,b\in\mathcal A$ に対して
$$ \langle U_0[a],U_0[b]\rangle =\langle\pi(a)\Omega,\pi(b)\Omega\rangle =\langle\Omega,\pi(a^*b)\Omega\rangle =\omega(a^*b) =\langle[a],[b]\rangle_\omega. $$
よって $U_0$ はwell-definedな等長写像である。$\Omega$ の巡回性により $U_0$ の像は $\mathcal H$ で稠密なので、完備化へ延長した $U$ はユニタリである。
$U[1]=\Omega$ であり、稠密部分空間上で
$$ U\pi_\omega(c)[a] =U[ca] =\pi(ca)\Omega =\pi(c)U[a] $$
だから絡み合い関係を得る。この二条件を満たす作用素は稠密集合
$$ \{\pi_\omega(a)\Omega_\omega\mid a\in\mathcal A\} $$
上で値が決まるので一意である。