今回も線形代数の話題です． 2 次の正方行列 が を満たすならばスカラー が存在して となるための の条件を考えます． まず行列を A:={{a,b},{c,d}};X:={{x,y},{z,w}};E2:={{1,0},{0,1}};O2:={{0,0},{0,0}}; のように準備し，それらについての等式を Logical…

今回は線形代数のお話です．係数，数ベクトルの成分は実数とします． まず，線形独立な 2 個の 2 項数ベクトルが存在することを見ましょう．数ベクトル(a,b),(c,d)が線形独立であるとは ∀s ∀t ( s(a,b) + t(c,d) = (0,0) → s=t=0 ) ということでしたから Red…

前回は最大値を求めるところを，値域まで求めてしまいましたので，今回は関数の最大値のみを求めます．と言っても方法はいつもと同じで，定義を論理式で表し，QE するだけです． まず最大値の定義ですが，集合 A を定義域とする実数値関数 f の最大値が M で…