computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 前回の議論を「エレファント化」していきます。すなわち、定義から数式の変換で証明できるようにしていきます。 を有限次元ベクトル空間 の有限部分集合とするとき、 の元の個数を 、 で張られた部分空間を と書くことにします。 を と書き、 のとき のかわりに と書いても良いということにします。、 のとき と書くことにします。 のとき となります。 1次独立と1次従属 の有限部分集合 が1次独立であるということを以下のように帰納的に定義します。 (1) 空集合は1次独立 (2) は1次独立かつ ならば は1次独立 空集合から (2) を繰り返してできる集合を1次独立とし、そうではない集合を1次従属とし… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F10%2F20%2F224819" title="声に出して読めなくもない数学(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20K Hatena Blog https://hatena.blog 2020-10-20 22:48:19 rich https://computeralgebra.hatenablog.com/entry/2020/10/20/224819 1.0 100%