数学

距離空間とベールの定理

距離空間とは 集合に対する有界性 距離空間の重要な部分集合:開集合、閉集合、閉包 距離空間の可分性 距離空間の完備性 ベールのカテゴリー定理 距離空間における写像の極限/連続性 写像の連続性 コンパクト性 連続関数の空間$C[a,b]$ 縮小写像の不動点定理

ベクトル空間の復習

ベクトル空間に関して(線形代数の復習) 実数体上のベクトル空間とは 線形写像・線形独立・部分空間・基底・次元

中心極限定理

中心極限定理とは リンデベルグ・レヴィの定理 t統計量の漸近正規性 リンデベルグ=フェラーの定理 ベリー=エシーンの定理 エッジワース展開 変数変換 多変量中心極限定理 デルタ法 標本積率の関数 標本分散の漸近分布 標本相関係数の漸近分布 分散安定化変…

統計的因果推論(マップ)

背景 学ぶこと 参考文献

幾何(マップ)

背景 学ぶこと 参考文献

グラフィカルモデル(マップ)

背景 確率的グラフィカルモデルとその学問的基礎であるグラフ理論を学ぶ。また、グラフの学習やグラフ上での推論も扱う。 学ぶこと グラフ理論 ベイジアンネットワーク マルコフネットワーク マルコフ確率場 ボルツマンマシン 参考文献 Probabilistic Graphi…

統計学その他(マップ)

背景 確率論、統計的漸近理論という基礎を踏まえたうえで応用分野としての統計学を扱う。 学ぶこと 検定 時系列分析 karate-odori.hatenablog.com 回帰 分類 の予定 参考文献 数理統計学の基礎作者: 野田一雄,宮岡悦良出版社/メーカー: 共立出版発売日: 1992…

線形代数(マップ)

背景 学ぶこと 行列これだけは(統計学への最短コース) karate-odori.hatenablog.com 行列 線形写像 行列式 ベクトル空間 ランク 固有値と固有ベクトル 内積 正規行列の対角化 ジョルダン標準形 参考文献 線形代数学(新装版)作者: 川久保 勝夫出版社/メー…

集合と位相(マップ)

背景 学ぶこと 実数(最大・上界・上限/ワイエルシュトラウスの公理) karate-odori.hatenablog.com 集合と写像 関係,同値関係,同値類,商空間 集合列の極限、収束 karate-odori.hatenablog.com 参考文献 工学のための関数解析 (工学のための数学)作者: …

線形計画

標準形(と呼ぶとする) 双対性

最適化概要

最適化問題の基本形 大分類

最適化/数理計画

参考 新版 数理計画入門作者: 福島雅夫出版社/メーカー: 朝倉書店発売日: 2011/02/15メディア: 単行本購入: 1人 クリック: 2回この商品を含むブログ (3件) を見る機械学習のための連続最適化 (機械学習プロフェッショナルシリーズ)作者: 金森敬文,鈴木大慈,…

関数値の収束

関数値の収束 定義

実数

最大と最小 上界と下界/上限と下限 ワイエルシュトラウスの公理

解析学(マップ)

背景 「線形代数」「集合と位相」と共に大学数学の基礎。極限、微分積分を扱う。 後にベクトル空間のベクトルに拡張される。関数解析で扱う。 学ぶこと 実数列の収束 https://karate-odori.hatenablog.com/entry/2019/09/23/212652 関数値の収束 https://kar…

大数の法則

大数の法則とは 強法則と弱法則 チェビシェフの弱法則 ヒンチンの弱法則 平均2次収束 コルモゴロフの強法則 経験分布関数の一致性とグリベンコ・カンテリの定理 回帰係数の最小2乗推定量の一致性 AR(1)の標本平均の収束

ベクトル空間

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 実数体上のベクトル空間

関数解析(マップ)

背景 (線形代数で学んだベクトルだけでなく)広い意味でのベクトルについての解析学(微分積分)である。ここでは、これまでの3次元ユークリッド空間からn次元、無限次元へ、またベクトルとして関数なども含む(関数空間)。ただし関数のノルムなどを考える…

テイラー展開とその周辺

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); ロルの定理 平均値の定理 コーシーの平均値の定理 テイラーの定理 多変数関数の平均値の定理 多変数関数のテイラーの定理

級数の収束

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 正項級数の収束 交項級数の収束 一般の級数の収束 べき級数の収束 収束半径の具体例 べき級数の性質(連続性、項別積分、項別…

期待値と極限の交換

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 背景 単調収束定理(monotone convergence theorem) 定義 証明 説明 補足 ファトゥの補題 定義 証明 補足 ルベーグの優収束…

確率分布関数

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 定義:分布関数 分布関数の性質

確率変数の収束

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 準備 確率変数の収束 確率1収束(概収束) 確率1収束の十分条件(確率1収束が成立するためには) 確率1収束の必要条件(確率1…

変分問題

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 変分問題の一般形 大域的最小解 局所的最小解 汎関数の微分:方向微分 定義:方向微分 例 方向微分の公式 例 汎関数の凸性 凸…

行列これだけは(行列の微分の公式含む)

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); rank rankの性質 trace traceの性質 det detの性質 直行行列 直行行列の性質 二次形式 二次形式と定値性 行列の定値性とその…

凸関数とヘッセ行列

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 凸関数の定義 凸関数と微分可能性 性質 凸関数と関数の下界 補足 部分的な凸性とその条件

便利な不等式

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 定理 1. 確率変数の和の確率の上界 2. 確率変数の和のモーメントの上界($c_r-不等式$) 3. 確率変数の差の確率からのそれぞ…

確率変数の同値な列/確率変数の打ち切り

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 確率変数の同値な列の性質 証明 確率変数の打ち切り 定義 説明

確率変数

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 説明的定義 確率変数の作る新たな確率空間 例を交えた追加説明 実際的な確率変数の定義としての定理 性質 定理

微分係数と導関数/微分可能性

MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], displayMath: [ ['$$','$$'], ["\\[","\\]"] ] } }); 微分係数 導関数 連続と微分可能