利用者の投稿記録
提供: Mathpedia
- 2026年2月16日 (月) 16:43 差分 履歴 +168 測度と積分1：測度論の基礎用語 →命題2.8（可算個の第二可算空間の直積位相空間のBorel集合族は直積Borel集合族） 最新
- 2026年2月12日 (木) 14:33 差分 履歴 +16 複素解析の初歩 →定理1.7（正則関数に関する逆関数定理） 最新
- 2026年2月10日 (火) 18:53 差分 履歴 +155 Euclid空間における微積分1 →定理7.1（逆関数定理） 最新
- 2026年2月10日 (火) 16:01 差分 履歴 +1 Euclid空間における微積分1 →定理7.1（逆関数定理）
- 2026年2月10日 (火) 13:42 差分 履歴 0 Euclid空間における微積分1 →命題3.1（平均値の定理）
- 2026年2月10日 (火) 13:42 差分 履歴 +2 Euclid空間における微積分1 →命題2.1（チェインルール）
- 2026年2月8日 (日) 14:51 差分 履歴 0 距離空間の位相の基本的性質 →定義1.1 （距離空間の定義） 最新
- 2026年1月29日 (木) 16:23 差分 履歴 +58 位相線形空間1：ノルムと内積 →定義3.1（$\mathbb{B}(X,Y)$ と作用素ノルム） 最新
- 2026年1月28日 (水) 14:39 差分 履歴 +467 速習「線形空間論」 →命題5.10（余因子行列と逆行列） 最新
- 2025年11月27日 (木) 13:34 差分 履歴 +124 選択公理とZornの補題 →定義4（整列順序集合） 最新
- 2025年11月5日 (水) 13:56 差分 履歴 +4 位相線形空間2：セミノルム位相と汎弱位相 最新
- 2025年10月27日 (月) 11:11 差分 履歴 0 選択公理とZornの補題 →定理8（Zornの補題）
- 2025年10月25日 (土) 14:06 差分 履歴 +245 選択公理とZornの補題
- 2025年10月24日 (金) 18:33 差分 履歴 +35 利用者:Kataoka →執筆した記事一覧 最新
- 2025年10月24日 (金) 18:33 差分 履歴 +36 メインページ →解析学 最新
- 2025年10月24日 (金) 18:27 差分 履歴 +8 選択公理とZornの補題 →定義4（整列順序集合）
- 2025年10月24日 (金) 18:25 差分 履歴 0 選択公理とZornの補題
- 2025年10月24日 (金) 17:45 差分 履歴 +2,846 選択公理とZornの補題 →定理8（Zornの補題）
- 2025年10月24日 (金) 17:23 差分 履歴 +2 選択公理とZornの補題 →ステップ1
- 2025年10月24日 (金) 17:22 差分 履歴 +2,591 選択公理とZornの補題 →定理8（Zornの補題）
- 2025年10月22日 (水) 17:35 差分 履歴 -1 選択公理とZornの補題 →定義7（選択公理、選択関数）
- 2025年10月22日 (水) 17:29 差分 履歴 +11 選択公理とZornの補題 →定義7（選択公理、選択関数）
- 2025年10月22日 (水) 17:28 差分 履歴 +3,609 新 選択公理とZornの補題 ページの作成:「本稿においては選択公理からZornの補題を簡潔に証明する。 ===定義1（順序集合）=== $X$ を空でない集合とする。$X$ の二項関係…」
- 2025年3月21日 (金) 12:36 差分 履歴 +2 ネットによる位相空間論 →定理1.12（普遍部分ネットの存在） 最新
- 2025年3月21日 (金) 12:32 差分 履歴 0 位相線形空間1：ノルムと内積 →命題3.6（有界線形作用素の閉包上への一意拡張）
- 2025年3月21日 (金) 12:30 差分 履歴 0 速習「線形空間論」 →定義4.1（線形包、線形結合）
- 2025年2月18日 (火) 00:03 差分 履歴 +85 ベクトル解析 →参考文献 最新
- 2025年2月4日 (火) 16:31 差分 履歴 +23 測度と積分1：測度論の基礎用語 →定義3.1（拡張された実数系$[-\infty,\infty]$）
- 2025年1月30日 (木) 22:14 差分 履歴 -6 位相線形空間4：Fréchet空間と関数解析の基本定理 →定義17.1（セミノルム空間の部分集合の有界性） 最新
- 2024年12月5日 (木) 16:54 差分 履歴 -101 Hilbert空間上の作用素論 →定理15.1（加藤-Rellichの定理1） 最新
- 2024年10月7日 (月) 18:35 差分 履歴 -417 Hilbert空間上の作用素論 →定理19.4（von Neumann環とBorel汎関数計算、極分解）
- 2024年10月1日 (火) 15:29 差分 履歴 -1,930 無限量子系のための作用素環論 →定理2.2（von Neumann環上の連続線形汎関数の特徴付け） 最新
- 2024年9月30日 (月) 17:27 差分 履歴 -849 無限量子系のための作用素環論 →補題2.1（Krein-Smulianの定理）
- 2024年9月27日 (金) 22:14 差分 履歴 +8 無限量子系のための作用素環論 →定義1.28（$C^*$-環の単純性）
- 2024年9月26日 (木) 19:40 差分 履歴 -103 無限量子系のための作用素環論 →定理1.26（$C^*$-環の純粋状態と既約表現）
- 2024年9月26日 (木) 19:30 差分 履歴 +114 無限量子系のための作用素環論 →定理1.26（$C^*$-環の純粋状態と既約表現）
- 2024年9月26日 (木) 18:45 差分 履歴 +39 無限量子系のための作用素環論 →定理1.25（$C^*$-環の正規元 $A$ に対し $\lvert \varphi(A)\rvert=\lVert A\rVert$ を満たす純粋状態 $\varphi$ が存在する）
- 2024年9月26日 (木) 18:06 差分 履歴 0 無限量子系のための作用素環論 →定義1.24（$C^*$-環の状態、純粋状態）
- 2024年9月26日 (木) 17:55 差分 履歴 +12 無限量子系のための作用素環論 →補題1.23
- 2024年9月25日 (水) 19:55 差分 履歴 +38 無限量子系のための作用素環論 →定理1.22（$C^*$-環上の有界線形汎関数の非負性の（近似）単位元による特徴付け）
- 2024年9月25日 (水) 19:38 差分 履歴 +60 無限量子系のための作用素環論 →定理1.22（$C^*$-環上の有界線形汎関数の非負性の（近似）単位元による特徴付け）
- 2024年9月25日 (水) 19:35 差分 履歴 -5 無限量子系のための作用素環論 →定理1.22（$C^*$-環上の有界線形汎関数の非負性の（近似）単位元による特徴付け）
- 2024年9月25日 (水) 19:13 差分 履歴 -1 無限量子系のための作用素環論 →系1.21（$C^*$-環上の非負線形汎関数のノルムと（近似）単位元）
- 2024年9月24日 (火) 18:49 差分 履歴 +100 無限量子系のための作用素環論 →命題1.18（$C^*$-環の非負線形汎関数に関するSchwarzの不等式）
- 2024年9月24日 (火) 17:46 差分 履歴 +7 無限量子系のための作用素環論 →定理1.17（$C^*$-環上の非負線形汎関数の自動的有界性）
- 2024年9月24日 (火) 17:26 差分 履歴 0 無限量子系のための作用素環論 →定理1.17（$C^*$-環上の非負線形汎関数の自動的有界性）
- 2024年9月24日 (火) 16:31 差分 履歴 0 無限量子系のための作用素環論 →定理1.11（Schurの補題）
- 2024年9月24日 (火) 16:31 差分 履歴 +3 無限量子系のための作用素環論 →定理1.11（Schurの補題）
- 2024年9月24日 (火) 15:11 差分 履歴 +3 無限量子系のための作用素環論 →定理1.11（Schurの補題）
- 2024年9月12日 (木) 20:01 差分 履歴 -10 無限量子系のための作用素環論 →定義1.4（部分表現、既約表現）
