[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ6 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ6 http://rio2016.5ch.net/test/read.cgi/math/1704672583/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
482: 132人目の素数さん [] 2024/02/06(火) 16:30:40.92 ID:waUghugl つづき (参考) https://en.wikipedia.org/wiki/Peano%E2%80%93Jordan_measure In mathematics, the Peano–Jordan measure (also known as the Jordan content) is an extension of the notion of size (length, area, volume) to shapes more complicated than, for example, a triangle, disk, or parallelepiped. Extension to more complicated sets For example, the fat Cantor set is not. Its inner Jordan measure vanishes, since its complement is dense; however, its outer Jordan measure does not vanish, since it cannot be less than (in fact, is equal to) its Lebesgue measure. Also, a bounded open set is not necessarily Jordan measurable. For example, the complement of the fat Cantor set (within the interval) is not. A bounded set is Jordan measurable if and only if its indicator function is Riemann-integrable, and the value of the integral is its Jordan measure.[1] Equivalently, for a bounded set B the inner Jordan measure of B is the Lebesgue measure of the topological interior of B and the outer Jordan measure is the Lebesgue measure of the closure.[4] From this it follows that a bounded set is Jordan measurable if and only if its topological boundary has Lebesgue measure zero. (Or equivalently, if the boundary has Jordan measure zero; the equivalence holds due to compactness of the boundary.) References [1] While a set whose measure is defined is termed measurable, there is no commonly accepted term to describe a set whose Jordan content is defined. Munkres (1991) suggests the term "rectifiable" as a generalization of the use of this term to describe curves. Other authors have used terms including "admissible" (Lang, Zorich); "pavable" (Hubbard); "have content" (Burkill); "contented" (Loomis and Sternberg). https://en.wikipedia.org/wiki/Indicator_function Indicator function This article is about the 0-1 indicator function. For the 0-infinity indicator function, see characteristic function (convex analysis). For example, the Dirichlet function is the indicator function of the rational numbers as a subset of the real numbers. https://ja.wikipedia.org/wiki/%E6%8C%87%E7%A4%BA%E9%96%A2%E6%95%B0 指示関数 指示関数(indicator function)、集合の定義関数[1]、特性関数(characteristic function)は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である[注釈 1]。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1704672583/482
484: 132人目の素数さん [] 2024/02/06(火) 16:52:29.58 ID:Zm5p6b8H >>480-482 >トマエ関数のような場合は >Indicator functionとしては the Dirichlet function なので、 >扱えないと思われる はい、誤り 最初からやりなおし http://rio2016.5ch.net/test/read.cgi/math/1704672583/484
486: 132人目の素数さん [] 2024/02/06(火) 18:29:18.47 ID:waUghugl >>484-485 面白いやつだな 1)>>482より”Indicator function:This article is about the 0-1 indicator function. 指示関数(indicator function)、集合の定義関数[1]、特性関数(characteristic function)は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である” とあるから 指示関数(indicator function)は、区間[0,1]の実数に対して その部分集合で 有理数p/q (p<q ここにp,qは正整数)に対して1 無理数である数に足して0 を返す関数とする これは、the Dirichlet function そのものだと上記は例示する 念押しすると、指示関数(indicator function)は 0 or 1の2値関数です 2)これをトマエ関数についてみると トマエ関数は、0 or 1の2値関数ではないので、0 or 1の2値指示関数関数に置き換える必要がある >>481より『”有界集合がジョルダン可測となるための必要十分条件は、その定義函数がリーマン可積分となることである[5]” ”A bounded set is Jordan measurable if and only if its indicator function is Riemann-integrable, and the value of the integral is its Jordan measure.[1]”』 に乗せる必要があるってことね 3)>>485『トマエ関数の場合 「任意のε>0について、関数の値の絶対値がε未満の領域がジョルダン可測」』 と仰るが、任意εなのでε=1とすると ”関数の値の絶対値がε未満の領域”は、区間[0,1]の有理数p/q (p,qは上記と同じ)の全てを渡るよ w http://rio2016.5ch.net/test/read.cgi/math/1704672583/486
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s