エンジニアを目指す浪人のブログ

情報系に役立ちそうな応用数理をゆるめにメモします

解析学基礎

連続関数の劣位集合は閉集合であることを証明する

本記事は以下の過去記事の内容を用います. 逆像と逆写像の定義をメモする - エンジニアを目指す浪人のブログ 勉強を進めていて,連続関数の劣位集合(sublevel set)は閉集合であることについてモヤモヤしてしまったので,その証明をメモしておくことにしまし…

逆像と逆写像の定義をメモする

数学の様々な分野で用いる概念である,逆像(inverse image)と逆写像(inverse mapping)の類似についてモヤモヤしてしまったので,それらの定義について文献[1]の記述をメモしておくことにしました. 逆像の定義を示します.---------------------------------…

イェンゼンの不等式の証明と等号成立条件について考える

勉強を進めていて,確率論の文脈におけるイェンゼンの不等式(Jensen's inequality)の証明が気になってモヤモヤしてしまいました.グラフをイメージすれば直感的には理解しやすいですが,きちんとした(?)数学的な証明を調べることにしました.また,応用で用…

一様収束する関数列はリーマン-スティルチェス積分と極限操作が交換可能であることを証明する

勉強を進めていて,関数列の積分と極限操作の交換がどのような場合に成り立つか,についてモヤモヤしてしまったので,リーマン-スティルチェス積分(あるいはリーマン積分)の場合にどうなるか調べることにしました. よく知られていることと思いますが,結論…

関数列の各点収束と一様収束(と数列の収束)の定義について考える

解析学分野を勉強していると,関数列の各点収束(pointwise convergence)や一様収束(uniform convergence)を目にすることがあります.そこでモヤモヤしてしまうことがあるので,定義を調べることにしました.ただ他にもよい解説がたくさんあるので,本記事で…

リーマン-スティルチェス積分の定義を調べる

本記事は以下の記事のDefinition 6.1(の一部)を用います. リーマン積分の定義を調べる - エンジニアを目指す浪人のブログ 解析学分野を勉強していると,リーマン-スティルチェス積分(Riemann-Stieltjes integral)を目にすることがあります.リーマン積分(Ri…

リーマン積分の定義を調べる

リーマン積分(Riemann integral)とはなにか?という問いに答えられるようにするため,リーマン積分の定義を調べることにしました. Rudin(1976)から引用します. 6.1 Definition Let be a given interval. By a partition of we mean a finite set of points…