解析学(大学)その他 区間縮小法の原理とその証明～実数の連続性～
区間縮小法の原理とは，単調減少な閉区間の列の幅が0に収束するならば，閉区間は最後は1点に収束するという定理です。区間縮小法の原理は，実数の連続性が深く関係しています。区間縮小法の原理について，実数の連続性を認めて証明し，逆に区間縮小法の原理から実数の連続性を導くこともできるため，それも紹介します。
解析学(大学)その他 
解析学(大学)その他 デデキント切断による実数の構成を解説
デデキント切断をざっくり説明すると，有理数のみの数直線を2つに切断して，その「切り口」を新たに数と思うことで，実数を定義しようというものです。これにより，有理数にはない「実数の連続性」が成り立ちます。デデキント切断について，その定義から実数の定義を紹介し，さらに実数の連続性について述べ，実数の演算を定義していきましょう。
集合と位相 【距離空間】全有界の定義・例と有界との違いをわかりやすく
距離空間あるいはその部分集合が全有界であるとは，任意に小さい有限個の円板で，その集合全体が覆えることを言います。距離空間における全有界性について，有界性との違いを比較しながらその定義・例を理解していきましょう。全有界であれば有界であることの証明も行います。
集合と位相 ツォルンの補題とその証明のスケッチ・応用例
ツォルンの補題 (Zorn's lemma) は，補題と言われていますが数学における大事な定理の1つで，選択公理と同値です。ツォルンの補題について，その主張と証明のスケッチを紹介し，さらにツォルンの補題を用いて証明される定理について述べましょう。
集合と位相 整列集合と整列可能定理
整列集合とは，「間隔を空けてきれいに順番に並んだ」集合のことで，具体的には，どんな部分集合を持ってきてもちゃんと大小関係として最小値が定まるような順序集合のことを言います。整列集合の定義と，重要な性質を証明し，さらに選択公理と同値で驚愕の定理である，整列可能定理を紹介しましょう。
集合と位相 超限帰納法とは～数学的帰納法の一般化～
超限帰納法 (transfinite induction) とは，数学的帰納法の議論をより一般の整列集合に適用したものです。超限帰納法について，その内容を紹介しましょう。
集合と位相 ベルンシュタインの定理とその証明【双方単射があれば全単射がある】
ベルンシュタインの定理(Schröder–Bernstein theorem)とは，2つの集合それぞれを定義域・終域とする双方向の単射があれば，全単射があるという定理です。ベルンシュタインの定理について，イメージ図を交えて証明していきましょう。
解析学(大学)その他 カントール関数のさまざまな定義とその重要な性質5つ
カントール関数 (Cantor function) とは，一様連続だが絶対連続でない関数の例の一つです。悪魔の階段ともいわれ，病的な関数として知られています。カントール関数を分かりやすく定義し，その性質を証明していきましょう。
数論 ピタゴラス数一覧【10000以下全て1593個】
a^2+b^2=c^2をみたす整数の組(a,b,c)をピタゴラス数 (Pythagorean triple) といい，特にa,b,cの3数の最大公約数が1であるものを 原始ピタゴラス数 (primitive Pythagorean triple) といいます。今回は，以下のルールに従い，ピタゴラス数をひたすら列挙します。
数論 ピタゴラス数の求め方(解)・性質とその証明
a^2+b^2=c^2をみたすような正の整数(a,b,c)をピタゴラス数といいます。特に，3数の最大公約数が1であるピタゴラス数(a,b,c)を原始ピタゴラス数といいます。原始ピタゴラス数は求め方があります。これについて掘り下げましょう。