対角的交叉とFodorの補題
基数上のclub集合と対角的交叉の性質を準備し、定常集合についてのFodorの補題を証明します。
2021
公開原稿
5件
Helly空間とHellyの選出定理
非減少関数に各点収束の位相を入れたHelly空間の基本性質と、Hellyの選出定理を紹介します。
特殊な積分を求めること
積分記号下の微分などを用いて、ディリクレ積分、ガウス積分、フーリエ変換に現れる積分を計算します。
実解析関数に対する逆関数定理
多変数実解析関数の基礎から実解析関数の逆関数定理を証明し、陰関数定理にもつなげます。
The Tonelli-Shanks algorithm
有限素体において平方根を求めるアルゴリズムを紹介します。