ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

ルベーグ積分

索引 ルベーグ積分

数学において、一変数の非負値関数の積分は、最も単純な場合には、その関数のグラフと 軸の間の面積と見なすことができる。ルベーグ積分(ルベーグせきぶん、Lebesgue integral)は、より多くの関数を積分できるように拡張したものである。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。 数学者は長い間、十分滑らかなグラフを持つ非負値関数、例えば有界閉区間上の連続関数、に対しては、「曲線の下部の面積」を積分と定義できると理解しており、多角形によって領域を近似する手法によってそれを計算した。しかしながら、より不規則な関数を考える必要が、例えば解析学や確率論において極限を考えるときに生じたため、より注意深い近似の手法が適切な積分を定義するために必要なことが明らかとなった。また、局所コンパクト群のような、実数直線よりも一般の空間上で積分をしたいことがある。ルベーグ積分はこの重要な仕事をするために必要な正しい抽象化を与える。例えば、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えると非常に繊細な議論が必要だが、ルベーグ積分では、積分と極限操作の交換が可能であるための簡単な十分条件が分かっている。 ルベーグ積分は実解析と呼ばれる数学の分野に属する確率論や、他の多くの数理科学分野において、重要な役割を果たす。ルベーグ積分という名前は、その積分を導入した数学者アンリ・ルベーグ (Henri Lebesgue, 1875–1941) に由来している。それはまたの中枢部でもある。 ルベーグ積分 (Lebesgue integration) という用語は、カラテオドリに始まる一般の測度に関する関数の積分の一般論を意味することもあるし、ルベーグ測度に関して実数直線の部分集合上定義された関数を積分するという特定の場合を意味することもある。.

84 関係: ほとんど (数学)単調単調収束定理同型写像多角形存在定義域実解析実数実数直線完備距離空間完備性完全加法族局所コンパクト空間局所コンパクト群岩波書店工学三角柱任意体積区間 (数学)ノルム線型空間ユークリッド空間ラドン測度リチャード・ハミングリーマン積分ルベーグ測度ディリクレの関数フーリエ級数ファトゥの補題ニコラ・ブルバキベルンハルト・リーマンベクトル空間アンリ・ルベーググラフ (関数)コンパクト空間コンスタンティン・カラテオドリ優収束定理円柱 (数学)共立出版元 (数学)図形確率変数の収束確率分布確率空間確率論稠密積分法立体...線型結合線型性線形線分無限物理学面積複素数解析解析学高木貞治関数 (数学)関数の台関数の極限関数解析学閉集合自明長さ集合論連続 (数学)東海大学極限汎函数測度論滑らかな関数朝倉書店指示関数有界有限族 (数学)日本評論社数学数学セミナー19世紀 インデックスを展開 (34 もっと) »

ほとんど (数学)

数学において、ほとんど (almost) という語は、ある厳密な意味で用いられる専門用語のひとつである。主に「測度 0 の集合を除いて」という意味であるが、それ単体で用いることはあまりなく、「ほとんど至るところで(almost everywhere)」「ほとんど全ての(almost all)」などの決まり文句でひとつの意味を形成する。.

新しい!!: ルベーグ積分とほとんど (数学) · 続きを見る »

単調

単調(たんちょう)は調子 (tone) が一定であること。.

新しい!!: ルベーグ積分と単調 · 続きを見る »

単調収束定理

数学の分野において単調収束定理(たんちょうしゅうそくていり、)と呼ばれる定理はいくつか存在する。ここでは代表的な例を紹介する。.

新しい!!: ルベーグ積分と単調収束定理 · 続きを見る »

同型写像

数学において,同型写像(isomorphismfrom the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape")あるいは単に同型とは,は準同型写像あるいは射であって,逆射を持つものである逆関数ではない..2つの数学的対象が同型 (isomorphic) であるとは,それらの間に同型写像が存在することをいう.自己同型写像は始域と終域が同じ同型写像である.同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある.したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい. 群や環を含むほとんどの代数的構造に対して,準同型写像が同型写像であることと全単射であることは同値である. 位相幾何学において,射とは連続写像のことであるが,同型写像は同相写像あるいは双連続写像とも呼ばれる.解析学において,射は可微分関数であり,同型写像は微分同相とも呼ばれる. 標準的な同型写像 (canonical isomorphism) は同型であるようなである.2つの対象が標準的に同型 (canonically isomorphic) であるとは,それらの間に標準的な同型写像が存在することをいう.例えば,有限次元ベクトル空間 から二重双対空間への標準的な写像は標準的な同型写像である.一方, は双対空間に同型であるが,一般には標準的にではない. 同型写像は圏論を用いて形式化される.ある圏の射 が同型射であるとは,両側逆射を持つことをいう,すなわち,その圏における別の射 があって, かつ となる,ただし と はそれぞれ と の恒等射である..

新しい!!: ルベーグ積分と同型写像 · 続きを見る »

多角形

初等幾何学における多辺形または多角形(たかっけい、polygon; )は、閉あるいは閉曲線を成す、線分の閉じた有限鎖で囲まれた平面図形を言う。多角形を構成するこれら線分をその多角形の辺 (edge, side) と呼び、それらの二つの辺が交わる点をその多角形の頂点 (vertex, corner) と呼ぶ。 個の辺を持つ多角形は -辺形 (-gon) と呼ぶ。例えば三角形は三辺形である。多角形は、より一般の任意次元における超多面体の二次元の例になっている。 多角形に関する基本的な幾何学的概念は特定の目的に応じて様々な方法で適応されてきた。数学においてはしばしば有界な閉折れ線や自己交叉を持たないに限って問題にするため、そのようなもののみ多角形と呼ぶこともある。他方、多角形の境界が自分自身と交わることを許す流儀もあり、その場合星型多角形やその他のが形作られる。その他の多角形の一般化については後述。 多角形 (poly­gon) の語は、「多い」を意味するπολύς と「角」を意味するγωνία に由来する.

新しい!!: ルベーグ積分と多角形 · 続きを見る »

存在

存在(そんざい、英語 being, existence, ドイツ語 Sein)とは、.

新しい!!: ルベーグ積分と存在 · 続きを見る »

定義域

数学における写像の定義域(ていぎいき、domain of definition)あるいは始域(しいき、domain; 域, 領域)とは、写像の値の定義される引数(「入力」)の取り得る値全体からなる集合である。つまり、写像はその定義域の各元に対して(「出力」としての)値を与える。 例えば、実数の範囲での議論において、余弦函数の定義域はふつう実数全体の成す集合(実数直線)であるし、正の平方根函数の定義域は 以上の実数全体の成す集合であるものとする。定義域が実数から成る集合(実数全体の成す集合の部分集合)であるような実数値函数は、その定義域が -軸上にあるものとして -直交座標系に表すことができる。.

新しい!!: ルベーグ積分と定義域 · 続きを見る »

実解析

数学において実解析(じつかいせき、Real analysis)あるいは実関数論(じつかんすうろん、theory of functions of a real variable)は(ユークリッド空間(の部分集合)上または(抽象的な)集合上の関数)について研究する解析学の一分野である。現代の実解析では、関数として一般に複素数値関数や複素数値写像あるいは複素数値関数に値をとる写像も含む。 実解析は、元々は実1変数実数値関数あるいは実多変数実数値およびベクトルに対する初等的な微分積分を意味していた。しかし現代の実解析は、積分論のいちぶとして測度論とルベーグ積分、関数空間((超)関数の成す線型位相空間)の理論、関数不等式、特異積分作用素などを扱う。関数解析におけるバナッハ空間の理論や作用素論・調和解析のフーリエ解析などの初歩的または部分的な理論も含むとされている。 関数空間の例には、L^p空間・数列空間・ソボレフ空間・緩増加超関数の空間・ベゾフ空間・トリーベル-リゾルキン空間・実解析版ハーディー空間・実補間空間がある。関数不等式の例には、作用素の実補間または複素補間による作用素または関数の有界性の調整・関数方程式について、初期値または非斉次項(非線型項)と未知関数の、有界性や可積分性または可微分性の関係を表すL^p-L^q評価と時空分散評価および時空消散評価・時間の経過に対する、関数の可微分性または可積分性を保存する意味を持つエネルギー(不)等式などの(解の存在を前提とした)評価式(アプリオリ評価)・別々の作用素を施された関数のノルムの関係、などがある。特異積分作用素には、「積分と微分を同時にする」リース変換や、流体力学と発展方程式の理論で現れるヒルベルト変換がある。 超関数とフーリエ変換は、実解析に入るのか関数解析に入るのか数学者の間でも扱いが分かれている。さらに今ではユークリッド空間だけではなく抽象的な集合(群または位相空間あるいは関数空間など)で定義された複素数値の写像(複素数値測度、複素数値線型汎関数)も取り扱う。そして特異積分作用素を扱う理論は「関数解析」における作用素論ではなく「実解析」として扱われている。複素解析の実解析への応用は(留数定理による実関数の積分の計算が)有名だが、実解析の複素解析への応用(その計算にルベーグの収束定理を適用することによる簡易化;フーリエ変換による複素解析版ハーディー空間とL^p関数の関係など)もある。現代数学では「実解析」の範囲は明確ではなく「複素解析」とは対をなす分野ではなくなっている。 また、実解析による偏微分微分方程式の解法は、主に関数空間と関数不等式およびフーリエ変換や特異積分作用素によるもので、解が具体的に表示できることも多いが計算が多くなる場面も多い。関数解析の作用素により論理を重ねる方法(例えば、リースの表現定理・変分法・半群理論・リース-シャウダーの理論・スペクトル分解などを使う解の存在証明)とは異なるが、高等的には両者を巧みに合わせて(関連しながら)解かれている。.

新しい!!: ルベーグ積分と実解析 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: ルベーグ積分と実数 · 続きを見る »

実数直線

数学における実数直線(じっすうちょくせん、real line, real number line)は、その上の各点が実数であるような直線である。つまり、実数直線とは、すべての実数からなる集合 を、幾何学的な空間(具体的には一次元のユークリッド空間)とみなしたものということである。この空間はベクトル空間(またはアフィン空間)や距離空間、位相空間、測度空間あるいは線型連続体としてみることもできる。 単に実数全体の成す集合としての実数直線は記号 (あるいは黒板太字の &#x211d) で表されるのがふつうだが、それが一次元のユークリッド空間であることを強調する意味で と書かれることもある。 本項では の位相幾何学的、幾何学的あるいは実解析的な側面に焦点を当てる。もちろん実数の全体は一つの体として代数学でも重要な意味を持つが、その文脈での が直線として言及されるのは稀である。そういった観点を含めた の詳細は実数の項を参照のこと。.

新しい!!: ルベーグ積分と実数直線 · 続きを見る »

完備距離空間

位相空間論あるいは解析学において、距離空間 M が完備(かんび、complete)またはコーシー空間(コーシーくうかん、Cauchy space)であるとは、M 内の任意のコーシー点列が M に属する極限を持つ(任意のコーシー点列が収束する)ことを言う。 直観的に言えば、空間が完備であるというのは(その内側や境界において)点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 Q は完備でないが、これは例えば 2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので Q からははみ出してしまう(後述)。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。.

新しい!!: ルベーグ積分と完備距離空間 · 続きを見る »

完備性

数学における完備性(かんびせい、completeness)は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備(かんび、complete)でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。.

新しい!!: ルベーグ積分と完備性 · 続きを見る »

完全加法族

数学における完全加法族(かんぜんかほうぞく、completely additive class)、可算加法族(かさんかほうぞく、countably additive class)あるいは (σ-)加法族、σ-集合代数(シグマしゅうごうだいすう、σ-algebra)、σ-集合体(シグマしゅうごうたい、σ-field)接頭辞 "σ" は「可算加法的」("completely additive") であることを示すのにしばしば用いられる。また、完全加法族では可算加法性と可算乗法性が補集合を取る操作を通じて同値になるので区別されないが、(乗法族における)積の可算性が δ- を用いることによって表される場合がある(δ-乗法族)。例えば、σ-集合環と δ-集合環など。''G''δ-集合と''F''σ-集合の項も参照。は、主な用途として測度を定義することに十分な特定の性質を満たす集合の集まりである。特に測度が定義される集合全体を集めた集合族は完全加法族になる。この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い(つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう)ので注意が必要である。.

新しい!!: ルベーグ積分と完全加法族 · 続きを見る »

局所コンパクト空間

数学において、位相空間 が局所コンパクト(きょくしょコンパクト、)というのは、雑に言って、 の各点の近傍ではコンパクトであるという性質をもつことである。位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う重要な位相空間の多くが局所コンパクトである。特に局所コンパクトなハウスドルフ空間は数学の中で重要な位置を占める。.

新しい!!: ルベーグ積分と局所コンパクト空間 · 続きを見る »

局所コンパクト群

数学において、局所コンパクト群 (locally compact group) とは、位相空間として局所コンパクトかつハウスドルフな位相群 G である。数学で現れる群の多くの例は局所コンパクトでありそのような群はハール測度と呼ばれる自然な測度を持っているから局所コンパクト群は重要である。これによって G 上のボレル可測関数の積分を定義することができフーリエ変換や L^p 空間といった標準的な解析学の概念を一般化することができる。 有限群の表現論の結果の多くは群上平均化することによって証明される。コンパクト群に対しては、これらの証明の修正は正規化されたに関して平均を取ることによって類似の結果をもたらす。一般の局所コンパクト群では、そのような技術が使えるとは限らない。得られる理論は調和解析の中心的な部分である。局所コンパクトアーベル群の表現論はポントリャーギン双対によって記述される。.

新しい!!: ルベーグ積分と局所コンパクト群 · 続きを見る »

岩波書店

株式会社岩波書店(いわなみしょてん、Iwanami Shoten, Publishers. )は、日本の出版社。.

新しい!!: ルベーグ積分と岩波書店 · 続きを見る »

工学

工学(こうがく、engineering)とは、.

新しい!!: ルベーグ積分と工学 · 続きを見る »

三角柱

三角柱(さんかくちゅう、Triangular prism)は、底面2面が三角形、側面3面が四角形の角柱。五面体の柱体である。なお、底面の三角形が正三角形のものは、正三角柱という(側面長との比率は問わない)。.

新しい!!: ルベーグ積分と三角柱 · 続きを見る »

任意

任意(にんい、arbitrary)とは、思うままに任せること、という意味で、当人の自由意思に任せる、ということである広辞苑 第五版 p.2048【任意】。その抽象概念、名詞形は任意性(にんいせい、arbitrariness)である。.

新しい!!: ルベーグ積分と任意 · 続きを見る »

体積

体積(たいせき)とは、ある物体が 3 次元の空間でどれだけの場所を占めるかを表す度合いである。和語では嵩(かさ)という。.

新しい!!: ルベーグ積分と体積 · 続きを見る »

区間 (数学)

数学における(実)区間(じつくかん、(real) interval)は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.

新しい!!: ルベーグ積分と区間 (数学) · 続きを見る »

ノルム線型空間

数学におけるノルム線型空間(ノルムせんけいくうかん、normed vector space; ノルム付きベクトル空間、ノルム付き線型空間)または短くノルム空間は、ノルムの定義されたベクトル空間を言う。 各成分が実数の、二次元あるいは三次元のベクトルからなる空間では、直観的にベクトルの「大きさ」(長さ)の概念が定義できる。この直観的アイデアを任意有限次元の実数ベクトル空間 に拡張するのは容易い。ベクトル空間におけるそのようなベクトルの大きさは以下のような性質を持つ.

新しい!!: ルベーグ積分とノルム線型空間 · 続きを見る »

ユークリッド空間

数学におけるユークリッド空間(ユークリッドくうかん、Euclidean space)は、エウクレイデス(ユークリッド)が研究したような幾何学(ユークリッド幾何学)の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や(三次元)ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、(標準的なモデルを与えるものという意味で)しばしば とかかれるが、(余分な構造を想起させない)ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.

新しい!!: ルベーグ積分とユークリッド空間 · 続きを見る »

ラドン測度

数学(特に測度論)におけるラドン測度(ラドンそくど、Radon measure)は、に因んで名づけられた、ハウスドルフ空間 X 上のボレル集合の成す完全加法族上の測度で局所有限かつ内部正則であるものをいう。.

新しい!!: ルベーグ積分とラドン測度 · 続きを見る »

リチャード・ハミング

リチャード・ウェスリー・ハミング(Richard Wesley Hamming、1915年2月11日 - 1998年1月7日)は、アメリカの数学者、計算機科学者である。計算機科学や電気通信の分野で多大な功績を残した。ハミング符号、ハミング窓、球充填(またはハミング限界)、ハミング距離などで知られる。.

新しい!!: ルベーグ積分とリチャード・ハミング · 続きを見る »

リーマン積分

数学の実解析の分野において、リーマン積分(リーマンせきぶん、Riemann integral)とは、区間上の関数の積分の最初の厳密な定式化であり、ベルンハルト・リーマンによって創始された。多くの関数や実際的な応用に対しては、リーマン積分は微分積分学の基本定理による計算や数値積分による近似計算が可能である。 リーマン積分は の有界集合上の関数に対して定義されるが、積分範囲にある種の極限を考えることにより、広義リーマン積分が定義される。広義リーマン積分との対比で、通常のリーマン積分を狭義リーマン積分とも呼ぶ。 リーマン積分は積分の多くの性質を示すのに有効であるが、積分と極限との交換に関係する性質を示すには理論的困難を伴うなど、いくつかの技術的欠点がある。この為こうした欠点を補うべくリーマン–スティルチェス積分やルベーグ積分など積分概念の別の定式化方法も提案されている。.

新しい!!: ルベーグ積分とリーマン積分 · 続きを見る »

ルベーグ測度

数学におけるルベーグ測度(ルベーグそくど、Lebesgue measure)は、ユークリッド空間上の長さ、面積、体積の概念を拡張したものである。名称はフランスの数学者アンリ・ルベーグにちなむ。体積には「互いに素な集合の体積は元の体積の和に等しい」という性質(加法性)がある。この性質を保ちながらより複雑な集合に対しても「体積」を定めることができるよう体積の概念を拡張できる。このような拡張は一意である。実解析、特にルベーグ積分で用いられる。体積と同様ルベーグ測度は値として をとりうる。解析学で普通に考えられるような集合に対してはルベーグ測度が与えられるものと考えてよいが、選択公理によって の部分集合でルベーグ測度を与えることができない(無理に与えると加法性が成り立たない)ものが存在することを証明できる。ルベーグ測度が与えられる集合はルベーグ可測であるという。以下の説明ではルベーグ可測な集合 の測度を で表す。.

新しい!!: ルベーグ積分とルベーグ測度 · 続きを見る »

ディリクレの関数

ディリクレの関数(ディリクレの-かんすう)とは、実数全体の成す集合 R 上で定義される次のような関数のことである。 f(x).

新しい!!: ルベーグ積分とディリクレの関数 · 続きを見る »

フーリエ級数

フーリエ級数(フーリエきゅうすう、Fourier series)とは、複雑な周期関数や周期信号を、単純な形の周期性をもつ関数の(無限の)和によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。 熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の和として考え、解を固有解の和として表すものであった。 この重ね合わせがフーリエ級数と呼ばれる。 最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。 フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学などの分野で用いられている。.

新しい!!: ルベーグ積分とフーリエ級数 · 続きを見る »

ファトゥの補題

数学の分野におけるファトゥの補題(ファトゥのほだい、)とは、ある関数列の下極限の(ルベーグ積分の意味での)積分と、積分の下極限とを関係付ける不等式についての補題である。ピエール・ファトゥの名にちなむ。 ファトゥの補題は、や、ルベーグの優収束定理の証明に使うことが出来る。.

新しい!!: ルベーグ積分とファトゥの補題 · 続きを見る »

ニコラ・ブルバキ

ニコラ・ブルバキ(Nicolas Bourbaki, ブールバキとも)は架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日本で出版された38冊に及ぶ数学原論や、定期的に開催されるで有名。.

新しい!!: ルベーグ積分とニコラ・ブルバキ · 続きを見る »

ベルンハルト・リーマン

ルク・フリードリヒ・ベルンハルト・リーマン(Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日)は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー=リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン=ロッホの定理、リーマン予想などがある。.

新しい!!: ルベーグ積分とベルンハルト・リーマン · 続きを見る »

ベクトル空間

数学、特に線型代数学におけるベクトル空間(ベクトルくうかん、vector space)、または、線型空間(せんけいくうかん、linear space)は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積(「スケール変換」)を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件(後述)を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である(同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す)。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元(大雑把にいえばその空間の独立な方向の数を決めるもの)によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は(直線や平面あるいはそれらの高次元での対応物といったような)古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.

新しい!!: ルベーグ積分とベクトル空間 · 続きを見る »

アンリ・ルベーグ

アンリ・レオン・ルベーグ(Henri Leon Lebesgue、1875年6月28日 ボーヴェ生まれ - 1941年7月26日 パリ没)は、フランスの数学者。17世紀以来の積分の概念の一般化を与えたルベーグ積分の理論で知られる。この理論は1902年にナンシー大学に提出した博士論文の中で構築された。.

新しい!!: ルベーグ積分とアンリ・ルベーグ · 続きを見る »

グラフ (関数)

関数のグラフ(graph)は、直観的には、関数を平面内の曲線もしくは空間内の曲面としてダイアグラム状に視覚化したものである。形式的には、関数 のグラフとは、順序対 の集合である。 例えば、 と が常に実数であるような関数の場合、グラフは座標平面上の点の集まりとみなすことができる。このような関数のうち、応用上重要な関数の多くは、グラフを座標平面上に曲線として描くことが可能である。 グラフの概念は、関数のみならず、より一般の写像や対応に対しても定義される。標語的には、グラフは関数や対応を特徴付ける集合であるといえる。.

新しい!!: ルベーグ積分とグラフ (関数) · 続きを見る »

コンパクト空間

数学において、コンパクト(compact)は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の(縁を含んだ)単位球体は有界かつ閉集合であるがコンパクトではない(距離位相を入れた場合)。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト(quasi-compact)と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.

新しい!!: ルベーグ積分とコンパクト空間 · 続きを見る »

コンスタンティン・カラテオドリ

ンスタンティン・カラテオドリ(Κωνσταντίνος Καραθεοδωρή, ラテン文字転写:Constantin Carathéodory, 1873年9月13日 - 1950年2月2日)はギリシアの数学者。測度論の研究で知られる。.

新しい!!: ルベーグ積分とコンスタンティン・カラテオドリ · 続きを見る »

優収束定理

数学の測度論の分野におけるルベーグの優収束定理(ゆうしゅうそくていり、)あるいは単にルベーグの収束定理とは、ある関数列に対して、そのルベーグ積分と、ほとんど至る所での収束という二つの極限操作が可換となるための十分条件について述べた定理である。 リーマン積分に対しては、優収束定理は成立しない。なぜならば、リーマン可積分関数の列の極限は多くの場合、リーマン可積分とはならないからである。優収束定理の持つ威力と有用性は、リーマン積分よりもルベーグ積分が理論的に優れているということを示すものである。 この定理は、確率変数の期待値の収束のための十分条件を与えるため、確率論の分野において広く利用されている。.

新しい!!: ルベーグ積分と優収束定理 · 続きを見る »

円柱 (数学)

数学において円柱(えんちゅう、cylinder)とは二次曲面(三次元空間内の曲面)の一種で、デカルト座標によって次の方程式で定義されるものである: この方程式は楕円柱を表し、a.

新しい!!: ルベーグ積分と円柱 (数学) · 続きを見る »

共立出版

共立出版株式会社(きょうりつしゅっぱん)は、理工系の専門書を中心に刊行している出版社。自然科学書協会、日本理学書総目録刊行会に加盟している。大学の教科書としてもよく使用され、大学生協との取引も多い。.

新しい!!: ルベーグ積分と共立出版 · 続きを見る »

元 (数学)

数学において元(げん、element)とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する(ぞくする、membership)、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合(あるいは一般にクラス)との間に定まる非対称な関係(帰属関係)である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない(帰属関係は反対称関係である)。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.

新しい!!: ルベーグ積分と元 (数学) · 続きを見る »

図形

図形(ずけい、shape)は、一定の決まりによって定められる様々な形状のことであり、様々な幾何学における基本的な対象である。 ものの視覚認識によって得られる直観的な「かたち」を、まったく感覚によらず明確な定義と公理のみを用いて、演繹的に研究する論理的な学問としての幾何学の一つの典型は、ユークリッドの原論に見られる。ユークリッド幾何学においては、図形は定木とコンパスによって作図され、点、直線と円、また平面や球、あるいはそれらの部分から構成される。 1872年、クラインによって提出されたエルランゲン目録は、それまでの古典的なユークリッド幾何学、非ユークリッド幾何学、射影幾何学などの種々の幾何学に対して、変換という視点を通して統一的に記述することを目的とした。クラインのこの立場からは、図形は運動あるいは変換と呼ばれる操作に関して不変であるような性質によって記述される点集合のことであると言うことができる。 同時期にリーマンは、ガウスによって詳しく研究されていた曲面における曲率などの計量を基礎に、曲面をそれが存在する空間に拠らない一つの幾何学的対象として扱うことに成功し、リーマン幾何学あるいはリーマン多様体の概念の基礎を築いた。この立場において図形は、空間内の点集合という概念ではなく(一般には曲がったり重なったりした)空間そのものを指すと理解できる。.

新しい!!: ルベーグ積分と図形 · 続きを見る »

値(あたい、ね、ち).

新しい!!: ルベーグ積分と値 · 続きを見る »

確率変数の収束

数学の確率論の分野において、確率変数の収束(かくりつへんすうのしゅうそく、)に関しては、いくつかの異なる概念がある。確率変数列のある極限への収束は、確率論や、その応用としての統計学や確率過程の研究における重要な概念の一つである。より一般的な数学において同様の概念は確率収束(stochastic convergence)として知られ、その概念は、本質的にランダムあるいは予測不可能な事象の列は、その列から十分離れているアイテムを研究する場合において、しばしば、本質的に不変な挙動へと落ち着くことが予想されることがある、という考えを定式化するものである。異なる収束の概念とは、そのような挙動の特徴づけに関連するものである:すぐに分かる二つの挙動とは、その列が最終的に定数となるか、あるいはその列に含まれる値は変動を続けるがある不変な確率分布によってその変動が表現される、というようなものである。.

新しい!!: ルベーグ積分と確率変数の収束 · 続きを見る »

確率分布

率分布(かくりつぶんぷ, probability distribution)は、確率変数の各々の値に対して、その起こりやすさを記述するものである。日本工業規格では、「確率変数がある値となる確率,又はある集合に属する確率を与える関数」と定義している。.

新しい!!: ルベーグ積分と確率分布 · 続きを見る »

確率空間

率空間(かくりつくうかん、probability space)とは、可測空間 に確率測度 を入れた測度空間 を言う。アンドレイ・コルモゴロフによる確率論の公理的構成から、現代においては、確率論は確率空間における確率測度の理論として展開される。.

新しい!!: ルベーグ積分と確率空間 · 続きを見る »

確率論

率論(かくりつろん、,, )とは、偶然現象に対して数学的な模型(モデル)を与え、解析する数学の一分野である。 もともとサイコロ賭博といった賭博の研究として始まった。現在でも保険や投資などの分野で基礎論として使われる。 なお、確率の計算を問題とする分野を指して「確率論」と呼ぶ用例もあるが、本稿では取り扱わない。.

新しい!!: ルベーグ積分と確率論 · 続きを見る »

稠密

密(ちゅうみつ、ちょうみつ、dense)とは、一般に密集しているさま・ぎっしり詰まっているさまを表す語である。.

新しい!!: ルベーグ積分と稠密 · 続きを見る »

積分法

積分法(せきぶんほう、integral calculus)は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.

新しい!!: ルベーグ積分と積分法 · 続きを見る »

立体

結ばれたトーラス体 幾何学における立体(りったい、body)あるいは中身のつまった図形 (solid figure) は、その表面となる曲面を記述することによって与えられる三次元の図形である。立体の表面は平坦または曲がった面の小片を繋ぎ合わせてかたち作ることができる。その表面をかたち作る小片が全て平面であるような立体は多面体という。様々な立体に対して、それらの体積や表面積を計算するための公式が存在する(参照)。より高い次元の図形についても一般にこのような仕方で「立体」を定式化するのは容易であるから、ここで述べた立体のことを特に三次元立体とよぶこともある。.

新しい!!: ルベーグ積分と立体 · 続きを見る »

線型結合

線型結合(せんけいけつごう、)は、線型代数学およびその関連分野で用いられる中心的な概念の一つで、平たく言えば、ベクトルの定数倍と加え合わせのことである。一次結合あるいは線型和とも呼ぶ。 いくつかのベクトルを組み合わせると他のベクトルを作ることができる。例えば、2次元数ベクトルを例にとれば、ベクトル v.

新しい!!: ルベーグ積分と線型結合 · 続きを見る »

線型性

線型性(せんけいせい、英語: linearity)あるいは線型、線形、線状、リニア(せんけい、英語: linear、ラテン語: linearis)とは、直線そのもの、または直線のようにまっすぐな図形やそれに似た性質をもつ対象および、そのような性質を保つ変換などを指して用いられている術語である。対義語は非線型性(英語:Non-Linearity)である。 英語の数学用語のlinear にあてる日本語訳としては、線型が本来の表記であると指摘されることもあるが、他にも線形、線状などといった表記もしばしば用いられている。また一次という表記・表現もしばしば用いられている。というのはlinearは、(多変数の)斉一次函数を指していると考えて間違っていない場合も多いためである。.

新しい!!: ルベーグ積分と線型性 · 続きを見る »

線形

線形(せんけい).

新しい!!: ルベーグ積分と線形 · 続きを見る »

線分

線分の幾何学的な定義 幾何学における線分(せんぶん、Line segment)とは2つの点に挟まれた直線の部分であり、それら端点の間にあるどの点も含む。 通常は端点も含むものとするが、端点を含まないものも線分として認め、端点を含む狭義の線分を閉線分、含まないものを開線分とすることもある。 線分の例として、三角形や四角形の辺が挙げられる。もっと一般に、端点がある1つの多角形の頂点となっている線分は、その端点が多角形の隣接する2頂点であるときその多角形の辺となり、そうでないときには対角線である。端点が円周のような1つの曲線上に載っているとき、その線分はその曲線の弦と呼ばれる。.

新しい!!: ルベーグ積分と線分 · 続きを見る »

無限

無限(むげん、infinity、∞)とは、限りの無いことである。 直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。このことから、しばしば哲学、論理学や自然科学などの一部の分野において考察の対象として無限という概念が取り上げられ、そして深い考察が得られている。 本項では、数学などの学問分野において、無限がどのように捉えられ、どのように扱われるのかを記述する。.

新しい!!: ルベーグ積分と無限 · 続きを見る »

物理学

物理学(ぶつりがく, )は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること(力学的理解)、および物質をより基本的な要素に還元して理解すること(原子論的理解)を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象(物理現象)である。.

新しい!!: ルベーグ積分と物理学 · 続きを見る »

面積

面積(めんせき)とは、平面内の、あるいは曲面内の図形の大きさ、広さ、の量である。立体物の表面の面積の合計を特に表面積(ひょうめんせき)と呼ぶ。.

新しい!!: ルベーグ積分と面積 · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: ルベーグ積分と複素数 · 続きを見る »

解析

解析はデータの有意な規則性を発見する活動である。 記録情報が豊富であれば有効性が増し、統計学、プログラミング (コンピュータ)、オペレーションズリサーチ、可視化技術が役立つ。 一般的に企業は経営関連データの表現、予測、経営力の向上目的で使用する。 競技場運営を具体例とすると、企業意思決定管理、小売分析、店舗の品揃えや単品管理の最適化、マーケティングの最適化および混合マーケティング分析、ウェブ分析、販売力の最適化、価格設定や宣伝効果検証、予測術、信用リスク分析、詐欺分析などが挙げられる。 膨大な計算が必要となり(ビッグデータ参照)、分析用のアルゴリズムやソフトウェアは情報工学や数学の最新理論を活用している。.

新しい!!: ルベーグ積分と解析 · 続きを見る »

解析学

解析学(かいせきがく、英語:analysis, mathematical analysis)とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.

新しい!!: ルベーグ積分と解析学 · 続きを見る »

高木貞治

木 貞治(たかぎ ていじ、1875年(明治8年)4月21日 - 1960年(昭和35年)2月28日)は、日本の数学者。東京帝国大学教授。第1回フィールズ賞選考委員。文化勲章受章。.

新しい!!: ルベーグ積分と高木貞治 · 続きを見る »

関数 (数学)

数学における関数(かんすう、、、、、函数とも)とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.

新しい!!: ルベーグ積分と関数 (数学) · 続きを見る »

関数の台

数学における、ある函数の台(だい、)とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。.

新しい!!: ルベーグ積分と関数の台 · 続きを見る »

関数の極限

関数の極限(かんすうのきょくげん)とは、ある関数において、変数がある値に限りなく近づくとき、それに応じて、関数の値が一定の値に限りなく近づく場合、この一定の値のことである。 このとき、関数は収束するという。 極限を表す記号として、次のような lim (英語:limit、リミット、ラテン語:limes)という記号が一般的に用いられる。.

新しい!!: ルベーグ積分と関数の極限 · 続きを見る »

関数解析学

関数解析学(かんすうかいせきがく、functional analysis)は数学(特に解析学)の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.

新しい!!: ルベーグ積分と関数解析学 · 続きを見る »

閉集合

閉集合(へいしゅうごう、closed set)は、その補集合が開集合となる集合のこと。距離空間の場合はその部分集合の元からなる任意の収束点列の極限がその部分集合の元であることと一致するので、それを定義としてもよい。 例えば、数直線上で不等式 0 ≤ x ≤ 1 によって定まる集合は閉区間と呼ばれるが、これは閉集合である。なぜならば、その補集合である x < 0 または x > 1 を満たす区間が開集合となるからである。 不等式を 0 < x < 1 としたものや 0 ≤ x < 1 としたものは、閉集合ではない。 また、連続関数 f(x,y) を使って、\ と表される集合は平面の閉集合である。円周も平面の閉集合である。 次の性質を満たす集合 X の部分集合の族 F があると、 F の元が閉集合であるような位相が X に定まる。.

新しい!!: ルベーグ積分と閉集合 · 続きを見る »

自明

自明(じめい)とは、 こういった問題においては、主観的視点(客体)という部分を含み、何が自明であり何が自明でないかは、個人の感覚によって差があるため、より客観的な記述が求められる場合に於いて、より厳密な定義を必要とする。.

新しい!!: ルベーグ積分と自明 · 続きを見る »

長さ

長さ(ながさ、length)とは、.

新しい!!: ルベーグ積分と長さ · 続きを見る »

集合論

集合論(しゅうごうろん、set theory, théorie des ensembles, Mengenlehre)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。(論理や述語論理とともに)集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に(無定義語の)「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係(二項関係)を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合(を帰属関係で順序付けしたもの)と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm(これは真のクラスになる)もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.

新しい!!: ルベーグ積分と集合論 · 続きを見る »

連続 (数学)

数学において、連続(れんぞく、continuous)および連続性(れんぞくせい、continuity)とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.

新しい!!: ルベーグ積分と連続 (数学) · 続きを見る »

東海大学

望星学塾での松前重義(前列左から2番目)と篠原登(前列右から2番目) 創立者・松前重義が、唱えた下記の「教育の指針」が、それに準じた扱いを受けている。これは、同学の母胎となっている望星学塾に掲げられていた四つの言葉であり、それがそのまま引き継がれたものである。ここでは、身体を鍛え、知能を磨くとともに、人間、社会、自然、歴史、世界に対する幅広い視野をもって、一人ひとりが、人生の基盤となる思想を培い、人生の意義について共に考えつつ、希望の星に向かって生きていこうと語りかけている。.

新しい!!: ルベーグ積分と東海大学 · 続きを見る »

極限

数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限(きょくげん、limit)がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。 極限を表す記号として、次のような lim (英語:limit, リミット、ラテン語:limes)という記号が一般的に用いられる。.

新しい!!: ルベーグ積分と極限 · 続きを見る »

汎函数

数学の特に函数解析や変分法における汎函数(はんかんすう、functional)は、ベクトル空間からその係数体あるいは実数値函数の空間への写像のことを指して言う。言い換えると、ベクトルを入力引数とし、スカラーを返す函数である。よくある状況として、考えるベクトル空間が函数の空間のときには函数を入力の引数としてとるので、汎函数のことを「函数の函数」と考えることもある。変分法において汎函数の使用は、ある種の汎函数を最小化する函数を求めることから始まった。物理学への特別に重要な応用として、を最小とする系の状態を探すことがある。.

新しい!!: ルベーグ積分と汎函数 · 続きを見る »

測度論

測度論(そくどろん、measure theory )は、数学の実解析における一分野で、測度とそれに関連する概念(完全加法族、可測関数、積分等)を研究する。 ここで測度(そくど、measure )とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。 よく知られているように積分は面積と関係があるので、積分(厳密にはルベーグ積分)も測度論を基盤にして定式化・研究できる。 また、測度の概念は確率を数学的に定式化する際にも用いられるため(コルモゴロフの公理)、 確率論や統計学においても測度論は重要である。 たとえば「サイコロの目が偶数になる確率 」は目が 1,..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っている為、 測度の概念で記述できる。.

新しい!!: ルベーグ積分と測度論 · 続きを見る »

滑らかな関数

数学において、関数の滑らかさ(なめらかさ、smoothness)は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.

新しい!!: ルベーグ積分と滑らかな関数 · 続きを見る »

朝倉書店

朝倉書店(あさくらしょてん)は、日本の出版社。 1929年(昭和4年)創業の賢文館が前身で、1944年(昭和19年)に株式会社朝倉書店設立。創業者は同文館出身の朝倉鑛造。 理学・工学・医学・農学・人文科学・家政学などの学術専門書および理工系の大学教科書を出版。.

新しい!!: ルベーグ積分と朝倉書店 · 続きを見る »

指示関数

数学において指示関数(しじかんすう、indicator function)、集合の定義関数、特性関数(とくせいかんすう、characteristic function)は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である。.

新しい!!: ルベーグ積分と指示関数 · 続きを見る »

有界

上が有界集合、下が非有界集合を模式的に表したもの。ただし、下のほうは枠を超えて右方へ延々と続くものとする。 数学において集合が有界(ゆうかい、bounded)である、または有界集合(ゆうかいしゅうごう、bounded set)であるとは、ある種の「差渡しの大きさ」に関する有限性をそれが持つときにいう。有界でない集合は非有界(ひゆうかい、unbounded)であるという。 単純閉曲線はそれを境界として平面 '''R'''2 を有界(内側)および非有界(外側)な二つの領域に分ける。.

新しい!!: ルベーグ積分と有界 · 続きを見る »

有限

有限(ゆうげん、finite)とは、無限ではないことである。.

新しい!!: ルベーグ積分と有限 · 続きを見る »

族 (数学)

数学における族(ぞく、family)は、添字付けされた元(要素)の(一般には非可算無限個の)集まりで、対、n-組、列などの概念の一般化である。系(けい、collection)と呼ぶこともある。元がどのような対象であるかによって、点族、集合族(集合系)、関数族(関数系)などと呼ばれる。.

新しい!!: ルベーグ積分と族 (数学) · 続きを見る »

日本評論社

日本評論社(にほんひょうろんしゃ)は、日本の出版社の一つである。略称 nippyo。『法律時報』『法学セミナー』『経済セミナー』『数学セミナー』『こころの科学』『からだの科学』で知られる。.

新しい!!: ルベーグ積分と日本評論社 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: ルベーグ積分と数学 · 続きを見る »

数学セミナー

数学セミナー(すうがくセミナー)とは、日本評論社から出版される数学雑誌。月刊誌である。略称は数セミ。1962年4月創刊。.

新しい!!: ルベーグ積分と数学セミナー · 続きを見る »

19世紀

19世紀に君臨した大英帝国。 19世紀(じゅうきゅうせいき)は、西暦1801年から西暦1900年までの100年間を指す世紀。.

新しい!!: ルベーグ積分と19世紀 · 続きを見る »

ここにリダイレクトされます:

ルベーグ可積分

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »