今回は、正方行列（行と列の大きさが等しい行列）についてのみ考えます。 に対しては、 が成り立ちます。 しかし、一般の行列A,Bについては、同様の定理は成り立ちません。 （代数学の言葉で言えば、このような定理が成り立つものを「整域(integral domain)…

束の分配不等式の証明が少し調べたところ見つかりにくかった（というより日本語では見つけられなかった）ので、書いておこうと思います。 そもそも、束の分配不等式とは何かというと、任意の束の任意の元A,B,Cについて、 が成り立つ、というものである。これ…