エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2020-10-31から1日間の記事一覧

現代数学のエレファント(4)

逆行列 行列式を使って逆行列を表します。、、 として 、すなわち とします。 を単位行列 とします。ここで は を表すものとします。 の 列目を ( 行目が )とおきます。 は の 列目となります。このとき のように書くことにします。 と から となります。こ…

現代数学のエレファント(3)

さらに準備をしていきます。 テンソル積 を体 上の 次元ベクトル空間、 を基底とします。 を基底とする 上のベクトル空間(に以下のような演算を定義したもの)を -次テンソル冪と呼び ( 個)と書きます(この定義はWikipediaによる)。 の次元は となります。こ…

現代数学のエレファント(2)

逆行列の計算をするための準備をしていきます。 外積 を体 上の 次元ベクトル空間、 を基底とします。 を基底とする 上のベクトル空間(に以下のような演算を定義したもの)を -次外冪と呼び と書きます(この定義はWikipediaによる)。 の次元は二項係数 となり…