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

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

2021-04-01から1ヶ月間の記事一覧

エレファントな整数論(20)

「不等式の方法」で証明を書いていこうと思いますが、その前に必要なことを「集合と位相」に従って書いておきます。 集合と写像 、、 とします。、 を以下のように定義します。 以下のことが成り立ちます。(「集合と位相」定理5.2 を参照) (1-1) [証明] [証…