複素数 z に対して, 各成分が複素数で determinant が z の二次正方行列全体からなる集合を M(z) とする.二個の複素数 z, w をどう選んでも, ∀y((y は複素数である)⇒(∃A(∃B((A∈M(z))∧(B∈M(w))∧(y は A+B の determinant に等しい)))))
続きを読む
ログインでお困りの方はこちら
mixiニュース一覧へ