ガロア第一論文と乗数イデアル他関連資料スレ6

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ6 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

480: １３２人目の素数さん [] 2024/02/06(火) 16:29:02.02 ID:waUghugl

>>450
>なるほど
>「ジョルダン外測度とジョルダン内測度の差が0になる」
>がまずいかな
>トマエ関数のように、有理数の点が稠密に分布している場合には
>ジョルダン測度を使うのが、根本的な間違いかもね

さて 戻る
１）まず、前振りです
　wikipediaジョルダン測度より https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%AB%E3%83%80%E3%83%B3%E6%B8%AC%E5%BA%A6
　(引用開始)（文字化けご容赦。他も同様）
　ジョルダン測度の定義は、そのような容積が（折れ線や三角形・台形や球体のような図形がそうであるように）より複雑な図形に対しても厳密に定まるために満たされるべき、適当な条件（可測条件）を明らかにするものである。しかし、与えられた集合が（古典的な意味での「容積」としての）ジョルダン測度を持つには、それが極めて素直（英語版）な性質を持つ必要がある（それでも実用上現れる集合の多くはそれを満足する）ことが分かっており、したがってそのような集合はある意味では限定的である（それゆえ、ジョルダン測度をより大きな集合のクラスに対して拡張したルベーグ測度を用いるのが現在ではより一般的である）。

歴史的に言えば、ジョルダン測度が最初に現れるのは19世紀の終わりにかけてであり、歴史的経緯で「ジョルダン測度」(Jordan measure) の語はすでに浸透した用法となってはいるが、現代的な定義で言えば真の測度 (measure) ではない（ジョルダン可測な集合全体は完全加法族をなさない）ことに注意が必要である。例えば、一点集合 {x} (x ∈ R) は何れもジョルダン測度零であるが、そのような集合の可算和になる Q ∩ [0, 1] はジョルダン可測でない[注釈 1]。
　線型汎函数としての「ジョルダン測度に関する（ルベーグ式の）積分」は（ルベーグ測度に関する（ルベーグ式の）積分がルベーグ積分であるというのと同じ意味で）リーマン積分である。

ジョルダン可測でない例
ジョルダン内測度、ジョルダン外測度はユークリッド空間内の任意の集合に定義されるにも拘らず、ジョルダン内測度とジョルダン外測度が一致し（あるいは境界がジョルダン測度零で）なければならないという「可測条件」は、ジョルダン可測となる集合の種類を極めて制限することになる。

任意のコンパクト集合はジョルダン可測とは限らず、実際に例えば太いカントール集合はジョルダン可測でない[4]。

同様に有界な開集合も必ずしもジョルダン可測とは限らない。例えば太いカントール集合の（区間の中での）補集合は可測でない。

有界集合がジョルダン可測となるための必要十分条件は、その定義函数がリーマン可積分となることである[5]。（[5]^ Volume - PlanetMath https://planetmath.org/Volume.（英語）。なお杉浦光夫『解析入門I』ではこれを体積確定（＝ジョルダン可測）の定義としている。）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1704672583/480

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.033s