数学メモ帳

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

普通の数学

関数解析を雑に復習する3

§3 \(L^P\)空間のいろいろ 今回は\(L^P\)空間について基本的な事を扱っていこうと思います. そして今更ですが,Lebesgue積分の知識はある程度仮定していますので其の辺はよろしくお願いします. 私自身がそのへんがモヤモヤし始めたらまとめようとおもいます. …

関数解析を雑に復習する2

§2 正射影定理 まずは今後何かと便利な正射影定理を示していこうと思います. その前にいくつか基本的な位相の概念を導入しましょう. Definition2.1\(X\)をノルムベクトル空間とし,\(D\subset X\)に対して,\[\overline{D}=\{x\in X;\ \exists\{x_n\}\subset D…

関数解析を雑に復習する1

§0 はじめに 関数解析のざっくりとした復習を兼ねて暇なときにできたらいいな(かなわぬ願い) 関数解析って結局何をやってるのさ?という話だけまずざっくりと、というか私の個人的な考えを話しておきます.よく巷では"無限次元の線形代数"と言われることが…

Laplacianの自己共役性の話がしたかった.

ちょっとだけマニアックな話.Laplacianの色々についてです. まず,Laplacian云々の前にSobolev空間についてだけ簡単に定義しておきましょう. Definition\(\Omega\)を\(\mathbb{R}^n\)の領域とし,\(u\in L^1_{loc}(\Omega)\)とし,多重指数\(\alpha=(\alpha_1,\…

複素解析覚書き5-正則関数の性質その2~強い定理たち

前回は正則関数の基本的な定理を示しましたので、今回は複素解析における強い定理をやっていきましょう.まぁCauchyの積分定理が一番強いんですけどね. まず,簡単なこととして次を示します. Lemma \(D\)を領域として,定関数でない\(D\)上正則な関数\(f\)があ…

複素解析覚書き4-正則関数を調べるその1

前回は円型のCauchyの積分公式を証明して終わりました. 今回はこのCauchyの積分公式から導かれる正則関数の強力な性質についてやっていきましょう. 正則関数の定義において,\(C^1\)級を仮定していませんでしたが,次の定理により\(C^1\)級どころか何回でも微…

複素解析覚書き3-Cauchyの積分定理の補足とか

前回はCauchyの積分定理の特別なバージョンについては証明しました. 今回は正則関数の複素積分をより広い範囲でできるようにすることから始めましょう. 前回凸領域上の正則関数は原始関数を持つことを証明しました.今回はこれを使い連続曲線(PSとは限らない)…

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

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< p<\infty\), \(x=\{x_i\}_{i=1}^{\infty},\ y=\{y_i\}_{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…