可分距離化可能空間における次元論
可分距離化可能空間における三つの位相次元の一致、ユークリッド空間への埋め込み、次元の計算を、0次元空間への分解を軸に解説します。
2026年 1件
2024年 6件
論文メモ：位相的特徴付け
実直線、順序数、シェルピンスキーの三角形、0次元空間などを位相的に特徴付ける研究の論文メモです。
論文メモ：カントール集合？
カントール集合の形、測度、自己相似性、野生の埋め込みなどに関する論文と問題を紹介するメモです。
論文メモ：ノンジャンル
一つの分野にまとめにくかった和文・英文の論文メモです。局所コンパクト群の従順性などを含みます。
論文メモ：複素関数論基礎論発展編
コーシー・リーマン方程式から正則性を導く条件をはじめ、自然境界、リウビルの定理、リーマンの写像定理などの文献メモです。
論文メモ：サードの定理
Sardの定理に至る研究から、その後の拡張・反例・系・変種までをたどる論文メモです。
距離化可能定理part3:花井--森田・ストーンの定理
距離化可能空間の閉写像による像を特徴付ける花井–森田・ストーンの定理を、Bing–長田–Smirnovの定理を基礎に証明します。
2023年 3件
距離空間の上の測度：確率論その２
距離空間上の測度について紹介します。
エブリシング・エブリウェア・オール・アット・ワンス・関数
実数上の全射や至る所不連続な関数など、多様な関数の存在と構成を横断的に扱う原稿です。
論文メモ：連続だが至る所微分不可能な関数
連続だが至る所微分不可能な関数の論文メモです。リーマン・ワイエルストラス・高木の関数などを紹介し、構成も扱います。
2022年 1件
次元論ショートコース：0次元から始める位相次元
0次元空間から可分距離化可能空間の位相次元論を組み立て、多様体の埋め込み定理に必要な次元論的補題へ進みます。
2019年 1件
可算パラコンパクト空間の特徴付けおよびDowker空間の存在性
可算パラコンパクト空間の特徴付けとDowker空間の存在を扱います。
2018年 1件
Urysohn universal spaces
約10,600行、88ページ。多数の定理・相互参照と可換図式を含む原稿です。
2017年 1件
不動点定理
閉球体の連続自己写像に不動点が存在するブラウワーの不動点定理を、レトラクションとの関係から扱います。
2016年 8件
等高線と連続関数：ウリゾーンの補題とティーチェの拡張定理：正規空間その(-1)(修正あり)
開集合・閉集合の族を等高線として連続関数を構成し、ウリゾーンの補題とティーチェの拡張定理を証明します。
入射角16.225°の測度論入門:ω_0
ルベーグ積分の変数変換公式について、ラドン・ニコディムの定理を使う証明の概略を紹介します。
コンパクト性と閉射影:Kuratowski－Mrówka's Thoerem
閉射影によるコンパクト性の特徴付け、Kuratowski–Mrówkaの定理を扱い、その一方向に五通りの証明を紹介します。
星型領域はユークリッド空間に微分同相
ユークリッド空間内の星型領域と空間全体との微分同相写像を構成します。Good coverの議論に向けたPDF原稿です。
Nobleの定理
任意の基数冪が正規となる空間はコンパクトハウスドルフであるというNobleの定理を、関連する積空間の結果とともに扱う原稿です。
単位閉区間が可算個の非空なる閉集合族の直和で描けないこと
単位閉区間を互いに交わらない可算無限個の非空閉集合に分解できないことを扱います。シェルピンスキーの定理の特別な場合です。
基本的な0次元距離空間の特徴づけの話
カントール集合や無理数全体など、基本的な0次元距離空間を位相的に特徴付ける定理と文献を紹介します。
点可算被覆と可算コンパクト性
被覆の星型集合を用い、点可算被覆と可算コンパクト性の関係を調べます。分離公理は仮定しません。
2015年 7件
素数の無限性
任意の自然数より大きい素数が存在することを、階乗を用いて証明します。
ウリゾーンの補題の証明。
上半連続・下半連続関数と等高線の考え方を用い、正規空間上で閉集合を分離する連続関数を構成するウリゾーンの補題を証明します。
非可算個の可算離散空間の直積について
可算離散空間の非可算直積が正規でないことを述べるStoneの定理と、その応用を紹介します。
コーシーの積分定理
Dixonによるコーシーの積分定理の簡潔な証明を、曲線と複素積分についての準備とともに紹介します。
閉写像によるコンパクト性の特徴付け
直積からの射影が閉写像になる条件を使い、コンパクト性を特徴付けます。チコノフの定理の証明を削除した修正版PDFです。
閉写像云々とか固有写像とか
閉写像と固有写像の基本的な性質を整理します。正規性にはT1公理を含めない流儀で議論します。
パラコンパクト性など：アドベントカレンダー2015
パラコンパクト性を定義し、コンパクトハウスドルフ空間を用いた特徴付けを紹介します。