2020年3月14日土曜日

学習環境

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


  1. 2つの零ベクトル の和は零ベクトルなので、

    O + O = O

    また線形写像の定義により、

    F O = F O + O = F O + F O

    この両辺から F (O) を引くと、

    O = F O

    (証明終)

コード

#!/usr/bin/env python3
from unittest import TestCase, main
from sympy import symbols
from sympy.plotting import plot3d

print('2.')

x, y = symbols('x, y')
p = plot3d(x + y, show=False)


class MyTestCase(TestCase):
    def test(self):
        self.assertEqual((x + y).subs({x: 0, y: 0}), 0)


p.show()
p.save('sample2.png')

if __name__ == "__main__":
    main()

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

% ./sample2.py -v
2.
test (__main__.MyTestCase) ... ok

----------------------------------------------------------------------
Ran 1 test in 0.001s

OK
%

0 コメント:

コメントを投稿