で定義すると、新たな表現行列は対角線上にのみを成分に持つ対角行列になる。