線型代数学②

S2ターム 1. ベクトル空間，線型写像 ： 数ベクトル空間を一般化したものである，ベクトル空間について学ぶ．また，ベクトル空間の間の写像で和とスカラー倍の算法を保つものとして線型写像を定義する．これは「数理科学基礎」で学んだものの一般化になっている．またベクトル空間の部分空間，線型写像の核や像とその性質について学ぶ．数ベクトル空間の場合，核は連立一次方程式の解全体に対応しているが，行列を用いて，それを具体的に求める方法について学ぶ． 2. 生成系，一次独立性，基底 ： ベクトル空間の生成系，一次独立性について学び，ベクトル空間の基底を定義する．その基底を用いて，ベクトル空間と数ベクトル空間の対応をつけること，および，二つのベクトル空間の間の線型写像を行列として表すことを学ぶ．数ベクトルとしての表現や行列としての表現は基底の取り方に依存するが，どのように依存しているか，その規則について考察し，これらを用いて行列の階数などの量を定義する． Aセメスター 3. 内積 ： ベクトル空間には，和とスカラー倍の算法が定まっているが，これに加えてベクトルの内積と 呼ばれる一種の積が定まっているベクトル空間として，内積空間を定義する．高校では ベクトルの長さと角度から内積を定めたが，ここでは逆に内積からベクトルの長さと角度が 定まることを見る．内積空間には，正規直交基底と呼ばれる，長さが1で互いに直交するベクトルからなる基底が定義される．正規直交基底を具体的に求める方法の一つであるシュミットの直交化について学ぶ． 4. 行列式 ： 正方行列の行列式について学ぶ．行列式は行列の成分に関する多項式であって，多重線型性と交代性をもっているところが特徴的である．２次の場合は平行四辺形の面積とも関係している．ここでは一般次数の正方行列に対する行列式を定義し，行列式を用いた行列の正則性の判定条件について学ぶ 5. 固有値，固有ベクトル ： 行列の固有値，固有ベクトル，対角化について学ぶ．固有ベクトルを考えることにより，高い次元のベクトル空間の線型変換を１次元のベクトル空間の線型変換に帰着することを考える．いくつかの固有ベクトルで空間が生成されている場合には線型変換あるいはそれに対応する行列を対角化することができる．また対角化の微分方程式や数列などへの応用を学ぶ． 6. 対称行列の対角化と二次形式 ： 転置行列と内積の間に成り立つ関係式について学び，その性質を用いて対称行列の直交行列による対角化可能について学ぶ．さらに２次形式，つまり２次の同次多項式が対称行列を用いて表すことができることを用いて２次形式が直交行列による変数変換により，簡単な形に変換されることを学ぶ．

授業は講義形式で行う。付属の演習は授業と一体である．

定期試験による．

この科目は，S2タームに開講された「線型代数学①」と一体である． この講義は初回から対面実施の予定であり、オンラインではやらない予定だが変更等があれば事前にUTOLに掲示する。