computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 掃き出し法の順序に依存しない記法(3) 解が一意的となるように書き直したいと思います。有理数全体の体 に を付け加えて拡大した体を とします。、 を の基底とします。 とし、ベクトル空間 の部分空間全体の集合を とします。 とおきます。 の元 が一次方程式 を 表すとします。 ( は「真」を、 は「偽」を表すとします)を、 と に対して、 のとき 、 のとき とします。 に対して、、、 とおきます。 に対して の元すべての の部分空間としての和を と書くことにします。 (1) 任意の 、 に対して、 の部分空間として となる が一意的に存在します。 [証明] を 、 を とすると、 となります… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F02%2F15%2F013338" title="エレファントな線形代数(3) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-02-15 01:33:38 rich https://computeralgebra.hatenablog.com/entry/2021/02/15/013338 1.0 100%