日記2

自然演繹を積極的に用いたい．

クロネッカーのデルタの性質　12項

佐武一郎『線型代数学』 裳華房 2023 新装第2版

(17)　 E_{ij}E_{kℓ}=δ_{jk}E_{iℓ}

(証明)

\mathbb{Z}^+=\{1,2,...,n,n+1,......\}

に対して

r=［n］_{\mathbb{Z}^+}　s.t.　 n:=1

と置く．このとき

E_{11}E_{11}=1×1=δ_{11}E_{11}

と書ける．▢