2018年1月27日土曜日

学習環境

線型代数入門(松坂 和夫(著)、岩波書店)の第5章(行列式)、6(行列式の計算)、問題13.を取り組んでみる。


  1. det A - = det a i j - = det x i j + i y i j - = det x i j - i y i j = det x i j - i det y i j
    det A - = det a i j - = det x i j + i y i j - = det x i j + i det y i j - = det x i j - i det y i j

    よって、

    det A - = det A -

コード(Emacs)

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, Matrix, I

for n in range(1, 4):
    A = Matrix([[symbols(f'a{i + 1}{j + 1}', real=True) + symbols(
        f'b{i + 1}{j + 1}', real=True) * I for j in range(n)] for i in range(n)])
    D1 = A.conjugate().det()
    D2 = A.det().conjugate()
    for t in [A, A.conjugate(), D1, D2, D1 == D2]:
        pprint(t)
        print()
    print()

入出力結果(Terminal, Jupyter(IPython))

$ ./sample13.py
[a₁₁ + ⅈ⋅b₁₁]

[a₁₁ - ⅈ⋅b₁₁]

a₁₁ - ⅈ⋅b₁₁

a₁₁ - ⅈ⋅b₁₁

True


⎡a₁₁ + ⅈ⋅b₁₁  a₁₂ + ⅈ⋅b₁₂⎤
⎢                        ⎥
⎣a₂₁ + ⅈ⋅b₂₁  a₂₂ + ⅈ⋅b₂₂⎦

⎡a₁₁ - ⅈ⋅b₁₁  a₁₂ - ⅈ⋅b₁₂⎤
⎢                        ⎥
⎣a₂₁ - ⅈ⋅b₂₁  a₂₂ - ⅈ⋅b₂₂⎦

(a₁₁ - ⅈ⋅b₁₁)⋅(a₂₂ - ⅈ⋅b₂₂) - (a₁₂ - ⅈ⋅b₁₂)⋅(a₂₁ - ⅈ⋅b₂₁)

(a₁₁ - ⅈ⋅b₁₁)⋅(a₂₂ - ⅈ⋅b₂₂) - (a₁₂ - ⅈ⋅b₁₂)⋅(a₂₁ - ⅈ⋅b₂₁)

True


⎡a₁₁ + ⅈ⋅b₁₁  a₁₂ + ⅈ⋅b₁₂  a₁₃ + ⅈ⋅b₁₃⎤
⎢                                     ⎥
⎢a₂₁ + ⅈ⋅b₂₁  a₂₂ + ⅈ⋅b₂₂  a₂₃ + ⅈ⋅b₂₃⎥
⎢                                     ⎥
⎣a₃₁ + ⅈ⋅b₃₁  a₃₂ + ⅈ⋅b₃₂  a₃₃ + ⅈ⋅b₃₃⎦

⎡a₁₁ - ⅈ⋅b₁₁  a₁₂ - ⅈ⋅b₁₂  a₁₃ - ⅈ⋅b₁₃⎤
⎢                                     ⎥
⎢a₂₁ - ⅈ⋅b₂₁  a₂₂ - ⅈ⋅b₂₂  a₂₃ - ⅈ⋅b₂₃⎥
⎢                                     ⎥
⎣a₃₁ - ⅈ⋅b₃₁  a₃₂ - ⅈ⋅b₃₂  a₃₃ - ⅈ⋅b₃₃⎦

(a₁₁ - ⅈ⋅b₁₁)⋅(a₂₂ - ⅈ⋅b₂₂)⋅(a₃₃ - ⅈ⋅b₃₃) - (a₁₁ - ⅈ⋅b₁₁)⋅(a₂₃ - ⅈ⋅b₂₃)⋅(a₃₂ -
 ⅈ⋅b₃₂) - (a₁₂ - ⅈ⋅b₁₂)⋅(a₂₁ - ⅈ⋅b₂₁)⋅(a₃₃ - ⅈ⋅b₃₃) + (a₁₂ - ⅈ⋅b₁₂)⋅(a₂₃ - ⅈ⋅b
₂₃)⋅(a₃₁ - ⅈ⋅b₃₁) + (a₁₃ - ⅈ⋅b₁₃)⋅(a₂₁ - ⅈ⋅b₂₁)⋅(a₃₂ - ⅈ⋅b₃₂) - (a₁₃ - ⅈ⋅b₁₃)⋅
(a₂₂ - ⅈ⋅b₂₂)⋅(a₃₁ - ⅈ⋅b₃₁)

(a₁₁ - ⅈ⋅b₁₁)⋅(a₂₂ - ⅈ⋅b₂₂)⋅(a₃₃ - ⅈ⋅b₃₃) - (a₁₁ - ⅈ⋅b₁₁)⋅(a₂₃ - ⅈ⋅b₂₃)⋅(a₃₂ -
 ⅈ⋅b₃₂) - (a₁₂ - ⅈ⋅b₁₂)⋅(a₂₁ - ⅈ⋅b₂₁)⋅(a₃₃ - ⅈ⋅b₃₃) + (a₁₂ - ⅈ⋅b₁₂)⋅(a₂₃ - ⅈ⋅b
₂₃)⋅(a₃₁ - ⅈ⋅b₃₁) + (a₁₃ - ⅈ⋅b₁₃)⋅(a₂₁ - ⅈ⋅b₂₁)⋅(a₃₂ - ⅈ⋅b₃₂) - (a₁₃ - ⅈ⋅b₁₃)⋅
(a₂₂ - ⅈ⋅b₂₂)⋅(a₃₁ - ⅈ⋅b₃₁)

True


$

0 コメント:

コメントを投稿

関連コンテンツ