実数値関数
[Wikipedia|▼Menu]
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方
出典検索?: "実数値関数" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL(2023年3月)

実数値関数(じっすうちかんすう、: real-valued function)とは、として実数を与える関数をいう。つまり、定義域のそれぞれのに対し実数を割り当てる関数のことである。特に、定義域も実数の部分集合であるもの、すなわち実変数の実数値関数を実関数(じつかんすう、: real function)という[1][2]

多くの重要な関数空間が、いくつかの実数値関数からなるものとして定義されている。
一般の実数値関数

X を任意集合とする。F(X, R) を X から R への関数全体の集合で表すものとする。R は可換体であるので、F(X, R) はベクトル空間であり、実数上の結合多元環は、以下のように定義できる。
ベクトル和: f + g: x ? f(x) + g(x)

加法単位元: 0: x ? 0

スカラーとの積: cf: x ? cf(x), c ∈ R

各点ごとの積: fg: x ? f(x)g(x)

また、R は順序集合であることから、F(X, R) には以下のような半順序が入る。   f ≤ g ⟺ ∀ x : f ( x ) ≤ g ( x ) . {\displaystyle \ f\leq g\iff \forall x\colon f(x)\leq g(x).}

これによって、F(X, R) は半順序環(英語版)とある。
可測な実数値関数

ボレル集合σ-代数実数上に定義される重要な構造である。X が σ-代数を持ち、関数 f が、すべてのボレル集合 B に対して、その原像 f?1(B) が X の σ-代数に属しているとき、f は可測であるという。この可測関数はまた、うえで説明したようなベクトル空間と代数をつくる。 
連続な実数値関数

実数は、位相空間であり完備距離空間である。連続な実数値関数(これは暗黙のうちに X が位相空間であることを主張する)は位相空間や距離空間の理論で重要なものである。極値定理は、コンパクト空間上のすべての連続な実数値関数には(極小、極大にとどまらない大域的な)最小値と最大値が存在することを主張する。
脚注[脚注の使い方]
注釈
出典^ kotobank-実関数.
^ kotobank-実関数論.

文献

.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}
"実関数". 精選版 日本国語大辞典. コトバンクより2023年3月31日閲覧。


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:13 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef