エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-04-22から1日間の記事一覧

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

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