0でない面積を持つ曲線
この記事は, みす51代Advent Calendar 2017 - Adventarの15日目のために, 書かれたものである. 大学初年度向け (初学者向けとは言ってない) に測度論 (測度論 #とは) の側面から面積について述べたものであり, 前提知識を必要とせず(数学者の常識は使う) 読むことができるよう配慮した(配慮するとは言ってない).
...なんていうような書き出しが数学書によくありますよね. もう嘘つくのはやめてくれといったかんじ, うん. ここでは, 題名の通り, 0でない面積を持つ曲線についてつらつら書いていこうと思います.
さて,
面積とは何か
ということについてちゃんと考えたことはありますか?
ありませんよね, あったら変人です. はい, 私は変人です.
なんか場所があったら広いな狭いなとか, あるいは長方形の面積は, 縦×横 だとか, 高校生なら積分だなあとかそんな感じだと思います.
面積を数学として扱うためには測度論というものを考えます. 測度論とは, 簡単に言えば, 集合に対して数を割り当てようというものです. たとえば, 長方形という点の集合には縦の長さと横の長さの積を割り当てましょう, 半径の円版という集合にはを割り当てましょう, としたわけです.
定義をちゃんと書いてみることにしましょう. 今いった数字が割り当てられる集合たちには, 少し条件が必要です. この条件を満たす集合たちはσ加法族と呼ばれます.
定義1 σ加法族
全体集合を とする. 空でないの部分集合族がσ加法族であるとは次を満たすことを言う:
このうえで, 全体集合に対するσ加法族上の測度を次のように定義します:
定義2 測度
全体集合を , のσ加法族をとする. がσ加法族上の測度であるとは,
を満たすことをいう. このとき, 3つ組を測度空間という.
測度というのは, 正値であることと共通部分を持たないなら和に分かれることの2つの単純な条件なのです. 集合に対して数, 特に正の実数を割り当てるというニュアンスが伝わったのではないでしょうか. この測度について, 次の系が直ちに従います.
系3 集合の包括関係と測度
を測度空間とする. このとき,
測度論の準備が終わったので, ここからは面積について考えていきましょう. 全体集合を2次元平面とし, としましょう. このとき, がσ加法族であることはすぐに確認できます. このうえで面積なる測度は測度の定義の他に, 次も満たすべきであろうとして約束をします:
定義4 面積
を測度空間とする. が面積であるとは, 次を満たすことをいう.
, (とが合同)
ここで出てきた合同なる概念は, 中学生で扱っていたものです. 回転移動と平行移動の組み合わせによって, 完全に一致させることのできる図形(集合)のことを合同であると言っていたんですよね. 2次元ユークリッド平面の回転移動は線形代数でも扱った行列(線形写像)で書くことができたし, 平行移動もだけ移動する写像は, として書くことができます. すなわち, 合同なる概念は写像によって定式化できることに注意しましょう. ようやく, 今まで当たり前に使ってきた次の命題が証明できることになります.
命題5 長方形の面積は 縦×横
とする. このとき, の面積はab.
ここまで準備を進めると, 次の定理が証明できます.
定理6 線分の面積は0
を勝手な定数とする. を とおく. このとき, の面積は0.
線分の面積は0なので, の極限を取った直線の面積も0です(参考 : 定数は定数に収束する).
では, 曲線の面積も0なのでしょうか.
線なのだから面積は0だろうとすぐに考えてしまいがちですが, どうもそうではないかもしれないというのが本題です.
図のように(式でちゃんと書いてもいいですが, めんどくさいので), 再帰的に定義される連続写像列のの極限を取ったものは全体を埋め尽くしてしまいそうです. 先の測度の定義によれば, 面積というのは集合に対して1つ決定される写像だったのですから, なら, 曲線の面積はのそれと等しく1となりそうです. このようにして, 0でない面積を持つ曲線もありそうだということが示唆できます.
図. 左上から右下にかけて2行にわたって, それぞれを表す.
実はこの論には飛びがあります. それは連続写像列が関数として収束するような連続写像は本当に存在するのかという問題に答えていないことです. 加えて, が仮に収束するとして, その像はを本当に埋め尽くすのかという問題も残っています. これらの問題は, 今議論してきたことに対する非常に重要な点であることに注意しましょう. この問題が解決されなければ, 0でない面積を持つ曲線とされるこの例の存在そのものが否定されるのですから, 議論は振り出しに戻ってしまうのです(定理6によれば, がの部分集合なる有限本の線分だけを埋め尽くせないだとか, 有限の点だけをを埋め尽くせないとかなら, 実は問題がないのだけど). 現在では, なる曲線が存在して, しかもその像がを埋め尽くすというのは, ある種公理的に認めるという立場もあるようです. これは円周率なるよくわからない数が本当に存在するのか, という問題にも少し似ています.
今回の話では, 0でない面積を持つ曲線はあるとしても良さそうだ, という程度までしか言えません. しかしながら, 「面積とは何か」という問に答えることは難しく, この問は愚問ではないということはよくわかってもらえたと思っています. 大学1年生には, こんな話もあるのだというのを片隅に入れて, 積分学を楽しんでもらえることを願っています.
微分積分レポート想定解答
うちの大学の微分積分の講義のレポート問題の想定解答を上げておきます。必要に応じて参照してください。
個人的には、Google先生も活用しながら、提出者のうちの7割ほどには全問正解してもらうつもりだったのだけれど、実際はどうなのだろう...
せめて半分ちょいの人は完答していますように...
心の声はここまでにしましょう笑
今回扱った極限は、対称微分と呼ばれる概念です。対称微分は比較的有名な、少なくともGoogle先生に聞けばすぐ教えてくれるテーマなので、自力で解けなくても、調べようと思えばたくさん情報は転がっていたと思います。
他の講義でも式くらいは出てきているので、なんか見たことあるな!って思いながら解いてくれるのがこちらの理想でした。
(4)の対象微分可能かつ微分可能でない例も思いつくのは大変だけれど、調べれば即出てきます。
(2)ですが、目的は、ランダウの記号の扱い方に慣れてもらうことにありました。加えて、多項式漸近展開をf(x+h)とf(x-h)のそれぞれでh^2の項まで行ってから引くという発想をしてもらうことにもありました。
物理の波動方程式の導出でも似たことはやっているはずでした。
対象微分にさらに興味がある人は、「準ロルの定理」や「準平均値の定理」についても調べてみてください。
レポート問題で見たように、対象微分可能は微分可能より弱いですから、種々の定理も、微分で考えていたそれより弱い主張になります。
準ロルや準平均値を踏まえると、準テイラーの定理はどのように記述されるべきでしょうか。またそれは正しいでしょうか。さらに言えば、微分学をそのまま"対象微分学"に置き換えられないでしょうか。
そうして考察するのも面白いと思います。