数学 - Python - 線形代数学 - ベクトル空間 - 定義 - 和、零ベクトル、逆元

ラング線形代数学(上)
原著
楽天ブックス Yahoo!

学習環境

• Surface
• Windows 10 Pro (OS)
• Nebo(Windows アプリ)
• iPad
• MyScript Nebo - MyScript(iPad アプリ(iOS))
• 参考書籍
  • Pythonからはじめる数学入門 (楽天ブックス Yahoo!)
  • JavaScriptリファレンス 第6版 (楽天ブックス Yahoo!)
  • インタラクティブ・データビジュアライゼーション (楽天ブックス Yahoo!)

ラング線形代数学(上) (ちくま学現文庫)(S.ラング (著)、芹沢 正三 (翻訳)、筑摩書房)の2章(ベクトル空間)、2(定義)、練習問題4の解答を求めてみる。

4. 
   
   $\begin{array}{l}v+w=O\\ \left(-v\right)+\left(v+w\right)=\left(-v\right)+O\\ \left(-v+v\right)+w=-v\\ O+w=-v\\ w=-v\end{array}$

   （証明終）

コード

#!/usr/bin/env python3
from unittest import TestCase, main
from sympy import symbols, Matrix, solve

print('4')


class MyTestCase(TestCase):
    def test(self):
        a, b, c, d = symbols('a, b, c, d')
        v = Matrix([a, b])
        w = Matrix([c, d])
        s = solve((v + w) - Matrix([0, 0]), c, d)
        self.assertEqual(s[c], -a)
        self.assertEqual(s[d], -b)


if __name__ == '__main__':
    main()

入出力結果(Zsh、PowerShell、Terminal、Jupyter(IPython))

% ./sample4.py -v
4
test (__main__.MyTestCase) ... ok

----------------------------------------------------------------------
Ran 1 test in 0.314s

OK
%