「電子はスピン1/2の粒子である」というのは電子の本質的属性であり，「スピン量子数が +1/2 である／-1/2 である」というのは偶有的属性（自由度）である．前者は，合同変換群（の2重被覆） の2次元既約表現（ただし の表現に落ちている）のベクトルが電子…

積分．

二項分布 B(n, 1/2) の平均は n/2．k+1-((n+2)/2) = k-(n/2) に注意． B(n, 1/2) の分散は n/4 なので，左辺は分散が1/2だけ増えたときの差． これはの離散版．