Essential supremum and essential infimum

ウィキペディア

本質的上限と本質的下限

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/10/13 03:35 UTC 版)

数学における本質的上限（ほんしつてきじょうげん、英: essential supremum）と本質的下限（ほんしつてきかげん、英: essential infimum）の概念は、上限と下限の概念と関連するものであるが、測度論においては前者の方がより意義深いものとなる。なぜならば測度論においては、ある集合のすべての元に対しては有効ではないが、ほとんどすべての元に対して、すなわち測度 0 の集合に含まれないすべての元に対して有効となるような議論が行われるからである。

(X, Σ, μ) を測度空間とし、f: X → R を必ずしも可測ではない X 上の実数値函数とする。ある実数 a が f の上界であるとは、X 内のすべての x に対して f(x) ≤ a が成立すること、すなわち、集合

{x ∈ X | f(x) > a}

が空であることを言う。それと比べて、a が本質的上界であるとは、集合

{x ∈ X | f(x) > a}

が測度 0 の集合に含まれることを言う。すなわち、X 内のほとんどすべての x に対して f(x) ≤ a が成立することを言う。すると、最小の上界として f の上限が定義されるように、本質的上限は、最小の本質的上界として定義される。

より正式に言うと、f の本質的上限 ess sup f は、その本質的上界の集合 {a ∈ R } が空でないときには

ess sup f = inf {a ∈ R | μ({x | f(x) > a}) = 0}

で定義され、空であるときには ess sup f = ∞ で定義される。

全く同様に、本質的下限は最大の本質的下界として定義される。すなわち、本質的下界の集合が空でないときには

ess inf f = sup {b ∈ R | μ({x | f(x) < b}) = 0}

で定義され、空であるときには ess inf f = −∞ で定義される。

例

実数直線上のルベーグ測度と、それに対応する σ-代数 Σ を考える。函数 f を

$f(x)={\begin{cases}5,&{\text{if }}x=1\\-4,&{\text{if }}x=-1\\2,&{\text{ otherwise. }}\end{cases}}$

で定義する。この函数の上限（最大値）は 5 であり、下限（最小値）は −4 である。しかし、それらの値は測度ゼロの集合 {1} および {−1} の上でしか取られない。その他のすべての集合上では、この函数の値は 2 である。したがって、この函数の本質的上限と本質的下限は、ともに 2 である。

別の例として、次の函数

$f(x)={\begin{cases}x^{3},&{\text{if }}x\in \mathbb {Q} \\\arctan {x},&{\text{if }}x\in \mathbb {R} \backslash \mathbb {Q} \\\end{cases}}$

を考える。ここで Q は有理数の集合を表す。この函数は上下ともに非有界であるため、その上限と下限はそれぞれ ∞ と −∞ になる。しかし、ルベーグ測度の観点からすると、有理数の集合は測度 0 である。したがって、本当に重要なのはその集合の補集合上で起こっていることである。そこでの値は arctan x となっているため、この函数の本質的上限は π / 2 であり、本質的下限は −π / 2 である。

最後に、すべての実数 x に対して定義される函数 f(x) = x³ を考える。その本質的上限は ∞ であり、本質的下限は −∞ である。

性質

• inf f ≤ lim inf f ≤ ess inf f ≤ ess sup f ≤ lim sup f ≤ sup f
• ess sup (fg) ≤ (ess sup f)(ess sup g)（但し右辺の2つの項がいずれも非負であるとき）

参考文献

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Essential supremumの本文を含む

Weblio日本語例文用例辞書

「Essential supremum and essential infimum」の例文・使い方・用例・文例

• 私はまず、この点をAmandaに確認します。
• 11月21日にHolyoke Bar and Grillで、Pete Laurenの退職パーティーが開かれることをお知らせします。11 月10 日までにお返事をください。
• 来月のロンドンへの出張のために、飛行機の便を予約して、Southland銀行の近くの宿泊施設を手配してもらえますか。
• 年次監査を行うために、Bradford and Partnersの会計士たちが10 月10 日の午前10 時に当社を訪ねてくる予定です。
• 一般に公開されたことのない、Ruth and Steve Whitmanの個人コレクションの絵画を含む、およそ120 点の作品が展示される。
• Ruth and Steve Whitmanを紹介すること。
• Conteeさんは、昨年Hope and Learnの会長に就任された、受賞歴のあるミュージカル女優さんです。
• Hope and Learnは遠隔地に学校を建設する資金を集める慈善団体です。
• Hope and Learnへの寄付は、この夜会の最後に集めます。
• 気をつけの姿勢で立つ (⇔stand at ease).
• 等位[対等]接続詞 《対等の語句を接続する and, but など》.
• 等位接続詞 《and, but, or, for など; ⇔subordinate conjunction》.
• 連結接続詞 《and など》.
• 【文法】 相関接続詞 《both…and; either…or など》.
• 蒸留酒, 火酒 《brandy, gin, rum, whiskey など》.
• 英国陸軍士官学校 《Berkshire の Sandhurst /sndhɚːst｜‐həːst/ にある》.
• (英国の)運輸省. the Ministry of Education(, Science and Culture) (日本の)文部省.
• 中央裁判所施設 《London の Strand 街にある高等法院の建物》.
• 弱形 《and の /ən/など》.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Committee of Ways and Means 歳入委員会.