数学メモ帳

なんかとりあえず数学する

普通の数学

ひとくち数学「ディリクレ積分をゴリゴリっと計算する」

Problem次の積分を求めよ.\[\int_{0}^{\infty}\frac{\sin x}{x}\ dx\] 今回はディリクレ積分について最近色んな方法を知ったので今回はなるべく前提知識を仮定しない方法でどれだけできるかを試したいと思います. 基本的なこととして,これはみればわかります…

複素解析覚書き2-積分定理とか

今回は複素線積分について適当に話します. その前に正則関数の定義から行きましょう. Definition複素関数\(f\)が点\(z_0\)で正則であるとは,ある\(r>0\)が存在して,\(z_0\)の\(r\)近傍\(U_r(z_0)=\{z;\ \mid z-z_0\mid

複素解析覚書き1-複素数の定義とか

最近,複素解析もまた忘れてきてるなーと思ったので使いそうなものを覚書き.内容は面白いものでもないかもですが ということでまずは複素数の定義から. ここでは複素数をある程度数学的にまともな定義を与えたい気がするので,そうします. 定義は様々あります…

掛け算作用素の話をしたかった その3

前回は掛け算作用素を定義しました. Review\(|F(x)|\)がa.e有限な\(\mathbb{R}^N\)上のボレル可測関数\(F\)とする.このとき,\(L(\mathbb{R}^N)\)から自身への線形作用素\(M_F\)を\[\forall f\in L^2(\mathbb{R}^N),(M_Ff)(x)=F(x)f(x)\ a.e.x\]と定義する.た…

掛け算作用素の話をしたかった(準備その2)

書いたはいいけど存在忘れそう. 今回は線形作用素について必要最低限述べて行こうと思います. 線形作用素という文字だけ見るとなんか難しそうかもしれませんが別にたいしたことないです. ここではヒルベルト空間に限っておきますが,別にBanach空間でも変わり…

掛け算作用素の話をしたかった

掛け算作用素の話をしたい ブログすらかく暇なかった(言い訳). 今回から掛け算作用素とかいうシンプルだけど割と大事な作用素を扱ってみたいと思います. コイツの話は結構Lebesgue積分の復習にもなるのでお得だと思うので,暇なら読んでみてください. ところ…

例をあげるだけ

今回は例を上げろと言われたら役に立つかもしれないメモです. その1 完備でない無限次元ノルムベクトル空間 念のため,ノルム空間等の定義は私の記事 troy-sugaku-t.hatenablog.com に書いてあります. まぁ,記事を改めて読み直すほどのものでもないので,さっ…

なんか適当に数学する5

\(\ell^p\)の可分性 今回は\(\ell^p\)の可分性について軽く触れたいと思います.その前に定義を書きます. Definition(Dense)\(V\)をベクトル空間とし,\(\|\cdot\|\)をV上のノルムとするとき,\(A\subset V\)が\(\|\cdot\|\)に関して稠密(Dence)であるとは,\[\f…

何か適当に数学する4

\(\ell^p\)の完備性 今回は,\(\ell^p\)の完備性について触れたいのですが,その前に今更ですが復習も兼ねて色々と基本事項を確認しましょう. Definition(Vector Space) \(V\)がベクトル空間(Vector Space)であるとは,\(V\)上で定義された加法に関してアーベル…

何か適当に数学する3

Minkowski inequality 今回は\(\ell^p\)版三角不等式Minkowskiの不等式を示しますが,この形のものは非常に特別な形で実際はもっと一般化できることは少しコメントしておきます. まぁ,それはまたその時が来たらでいいのでとりあえず次を示しましょう. Theorem…

なんか適当に数学する2

Hölder's inequality 今回から\(\ell^p\)について具体的に調べていこうと思います. 今回はMinkowskiの不等式に利用する Hölderの不等式についてみていきましょう. Theorem(Hölder's inequality)\(1\leq p<\infty\), \(x=\{x_i\}_{i=1}^{\infty},\ y=\{y_i\}_…

なんか適当に数学する

\(\ell^p\)について適当に とりあえず,思いついたことをかいていけばいいかなぁと思いつつやります. Definition\(1\leq p<\infty\)に対して,\[\ell^p= \Bigl\{\{x_i\}_{i=1}^{\infty};\ \sum_{i=1}^{\infty}\mid x_i\mid^p <\infty\Bigr\}\] と定義し,\(\ell…