(Translated by https://www.hiragana.jp/)
実数値関数 - Wikipedia コンテンツにスキップ

じつ数値すうち関数かんすう

出典しゅってん: フリー百科ひゃっか事典じてん『ウィキペディア(Wikipedia)』
じつ函数かんすうから転送てんそう

じつ数値すうち関数かんすう(じっすうちかんすう、えい: real-valued function)とは、として実数じっすうあたえる関数かんすうをいう。つまり、定義ていぎいきのそれぞれのもとたい実数じっすうてる関数かんすうのことである。とくに、定義ていぎいき実数じっすう部分ぶぶん集合しゅうごうであるもの、すなわちじつ変数へんすうじつ数値すうち関数かんすうじつ関数かんすう(じつかんすう、えい: real function)という[1][2]

おおくの重要じゅうよう関数かんすう空間くうかんが、いくつかのじつ数値すうち関数かんすうからなるものとして定義ていぎされている。

一般いっぱんじつ数値すうち関数かんすう

[編集へんしゅう]

X任意にんい集合しゅうごうとする。F(X, R)X から R への関数かんすう全体ぜんたい集合しゅうごうあらわすものとする。Rかわからだであるので、F(X, R)ベクトル空間くうかんであり、実数じっすううえ結合けつごう多元たげんたまきは、以下いかのように定義ていぎできる。

  1. ベクトル: f + g: xf(x) + g(x)
  2. 加法かほう単位たんいもと: 0: x ↦ 0
  3. スカラーとのせき: cf: xcf(x), cR
  4. かくてんごとのせき: fg: xf(x)g(x)

また、R順序じゅんじょ集合しゅうごうであることから、F(X, R) には以下いかのようなはん順序じゅんじょはいる。

これによって、F(X, R)はん順序じゅんじょたまき英語えいごばんとある。

はかじつ数値すうち関数かんすう

[編集へんしゅう]

ボレル集合しゅうごうσしぐま-代数だいすう実数じっすううえ定義ていぎされる重要じゅうよう構造こうぞうである。Xσしぐま-代数だいすうち、関数かんすう f が、すべてのボレル集合しゅうごう Bたいして、そのはらぞう f−1(B)Xσしぐま-代数だいすうぞくしているとき、fはかであるという。このはか関数かんすうはまた、うえで説明せつめいしたようなベクトル空間くうかん代数だいすうをつくる。 

連続れんぞくじつ数値すうち関数かんすう

[編集へんしゅう]

実数じっすうは、位相いそう空間くうかんであり完備かんび距離きょり空間くうかんである。連続れんぞくじつ数値すうち関数かんすう(これは暗黙あんもくのうちに X位相いそう空間くうかんであることを主張しゅちょうする)は位相いそう空間くうかん距離きょり空間くうかん理論りろん重要じゅうようなものである。きょく定理ていりは、コンパクト空間くうかんうえのすべての連続れんぞくじつ数値すうち関数かんすうには(極小きょくしょう極大きょくだいにとどまらない大域たいいきてきな)最小さいしょう最大さいだい存在そんざいすることを主張しゅちょうする。

脚注きゃくちゅう

[編集へんしゅう]

注釈ちゅうしゃく

[編集へんしゅう]

出典しゅってん

[編集へんしゅう]

文献ぶんけん

[編集へんしゅう]