本記事は旧名義(道用基底)時代に執筆した記事です。
本記事は Mathlog Advent Calendar 2021 12/13の記事です.12/12の記事はiida_256さんの 級数を求めたい[1] でした.
めちゃくちゃ硬派な計算記事だった...計算の苦手な自分にはとても難しかったです.
以下を求めよ:
こんにちわ,道用基底です.数学科の学生として数学を勉強している傍ら,ボーカロイドを始めとして楽曲制作を行っており, 音楽ユニット『Kを体とする』 のコンポーザーとしても活動しております.
今回の記事では新曲『almost everywhere』にちなんで,本楽曲のライナーノーツを兼ねてルベーグ積分論を用いた積分の問題を一つ紹介させていただきます.筆者の専門は代数幾何ですので,正確性を欠く言及があるかもしれませんが,その時はご指摘頂けますと幸いです.
この記事ではまず背景としていくつかの語彙を紹介し,付せて楽曲及びMVの解説を挿し込みます.そのあとに実際の理論を紹介し,最後に冒頭の問題に解答を与えます.
ルベーグ積分は測度論と関わりの深い概念です.我々の知っている普通の積分に厳密な議論を加えたものとしてリーマン積分が考案されましたが,リーマン積分は極限との相性が悪く(積分と極限を自由に入れ替えたりできるだろうか?),そういった欠点を補って,より沢山の関数を積分できるようにしたのものがルベーグ積分です.これにより,今までは考えることが出来なかった対象に関して,その面積や体積といったものを計算できるようにもなったりします.
こういった議論は主に実解析たる確率論において広く徴用されており,現代の確率論はほとんど測度論,ルベーグ積分だと思って差し支えないです(差し支えはある).
3-2クソデカファンブル
これはTRPGでよく用いられる10面ダイス(よくD10と言います)です.測度と確率は切っても切れない関係にあるということで,「確率」の記号としてサイコロをMVに出しました.
4-1インテグラルに乗る
また,このMVが同じカットを多用しているのも,試行を繰り返す事によって理論上の値に近づいていく「大数の法則」のように,何度も同じループを経験することにより真実に近づいていくというストーリーになっています.
8-2 倍
この曲の2番の歌詞に
かけらを集めて元に戻すと
倍になっていたの
怖くなって逃げ出してしまった
という部分がありますが,これはバナッハ=タルスキーのパラドックスに思いを馳せて書いた部分です.
バナッハ=タルスキーのパラドックスとは,簡単に言うと「球を特殊な形で分解してもう一度組み直すと元の大きさと同じ球を2つ作ることができる」というものです.
そんなわけないだろうよ!と自然とツッコんでしまうぐらいには十分パラドキシカルですが,この主張の大事な部分はその特殊な分解方法です.
難しい理論は置いておいて,その特殊な方法で分解した断片は(後で説明しますが)それぞれルベーグ積分を用いることが出来るものではなく,体積や面積などを決めることができません.実際に我々がこの
では,実際の理論をさらっていきましょう.
このような
また,写像
の性質を満たしているとき,
「ほとんど至るところ(で)」という句は英語ではalmost everywhereといい,
あるいは単に
などと表します.
この記事のメインテーマである「ほとんど至るところ」という言葉がここで登場しました.これはつまり,ある性質が成り立つかどうかを考えたい時に,その性質が成り立たない場所の測度が0であれば,(考えている領域の)ほとんど至るところでは成り立つと言いたい,ということです.
関数
と定める.
と言える.
自分は測度論の授業を受けている時に初めてこの言葉を聞いて,厳密に厳密を重ねた数学の世界にこんな曖昧そうな言葉があるということに衝撃を受けました.そしてその数年後に冒頭の曲が完成しました.
この記事では命題の証明や詳細の内容はすっとばして,とにかくこういう感じで使われている,という雰囲気だけを感じてもらおうと思っています.
ということでめちゃくちゃ論理を飛躍させて次の定理を紹介します.
となるとき,
測度空間
有限個の値のみを取るということは,その値を取る可測集合のうち最も大きいものを取る(和集合を取る)ことで,全体を有限個の非交和に分解することが出来ます.
そして,指示関数
と表せます.ただし
非負単関数
と分解されるとき,その積分を
と定める.また,非負可測関数
と定める.さらに一般に,可測関数
と定める.この積分をルベーグ積分という.ただし,
である.
やっとこさルベーグ積分が出てきましたね.これは,単関数の取りうる値を使ってその積分を測度との係数和(こう書くと一気に線形代数ぽく聞こえる)とし,それを用いて一般の積分を決めていきました.
となるとき,次が成り立つ:
これは可測関数列が与えられた時に,その関数列が各点収束する関数と上から支配的な関数が与えられたとき,その積分と極限を入れ替えることが出来るというものです.ですので,難しい積分でも極限を取ればより簡単な積分に入れ替えて計算することが出来る!というかなり強い定理です.
「ほとんど至るところで」を使った何かをMVの中に入れたいな〜と思ってこの定理を使った問題をMVに入れてしまったことを今ではものすごく後悔しています.説明が面倒臭すぎる.
5-3
では実際に冒頭の問題を解いていきましょう.
以下を求めよ:
まず
とします.
時間がないので省略!!ごめんなさい!!!靴舐めます!!!!
また,
となります.
で定義したり,あるいは初等的に累乗の計算を用いて指数関数を定義したあとにナイーブに定義域を拡張する方法などで定義されますが,そのどれもが
と定義したものと等価となります.つまり,これを定義として用いても良いし,別の定義を使ったとしてもこれが成り立つことが示せます.ですが,面倒なのでこの記事ではこれ以上の深堀りは避けます.
つまり,
よってルベーグの収束定理より,
となります.右辺を
となるので移項して
となります.従って求める値は
となります.
最終的にはalmost everywhereがあまり関係ない感じになってしまいまったのは不徳の致スィですが,この楽曲について色々まとめてみました.
冒頭でもお話しましたが,ボカロPとしてだけではなく,音楽ユニット『Kを体とする』としても活動していますので,ご声援のほどよろしくお願い致します.
almost everywhereは各種定額配信サービスでも配信されていますので,そちらもぜひチェックしてみてくださいっ!
almost everywhere by Kを体とする - TuneCore Japan
明日の Mathlog Advent Calendar 2021 はkzauさんの『ソフトマックス関数と数値微分』です.お楽しみに!