このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しようや役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!

先日埼玉大の坊ゼミでブルブルエンジン兄貴が単位元がない環に対する極大イデアルの存在定理についてトークしていたが, 単位元がない可換環で我らが Banach 環, (L^1(\mathbb{R}^d)) でどうなるのか考えている. 時間がなくてサボりっぱなしなのだが, 書いておけば誰か教えてくれるかもしれないという甘い期待を抱いて, 記事を書く. ちなみに, 局所コンパクト Hausdorff 空間 (X) 上, 無限遠で消える連続関数がなす環 (C_0(X)) も単位元がない可換環になる.

つどいの話の動画化したやつの付録でも簡単に触れるが, (L^1(\mathbb{R}^d)) の積は畳み込みで入れる. これは例えば Kadison-Ringrose の本の 3 章に書いてある.

ここでちょっとした表現論をやって Fourier 変換を導出するという話もあって, 結構楽しい.

それはそうと, 畳み込みで積を入れるという話だった. まず積が well-defined になるかという話だが, これは Lebesgue 積分では基本的な議論で確かめられる. 例えば巾等元, または射影があれば極大イデアルがあるのだが, まだこれが作れていない. 頑張ろう. 知っている, またはすぐ作れるという方は教えて頂けると有り難い.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しようや役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!