「単調写像」の版間の差分
m r2.6.4) (ロボットによる 変更: ro:Funcție monotonă |
編集の要約なし |
||
(16人の利用者による、間の24版が非表示) | |||
1行目: | 1行目: | ||
{{Dablink|「'''増加'''」、「'''減少'''」はこの項目に[[Wikipedia:リダイレクト|転送]]されています。「'''増加'''」、「'''減少'''」の語義については、[[ウィクショナリー]]の「[[:wikt:増加|増加]]」、「[[:wikt:減少|減少]]」の項目をご覧ください。}} |
|||
<!--とりあえず、数学を知らない人向けに直観的に解説→--> |
|||
{{出典の明記|date=2012年9月26日 (水) 05:40 (UTC)}} |
|||
実数[[関数]] ''f'' が、''x'' の増加につれて常に関数値 ''f''(''x'') も増加するという性質を持つとき、''f'' は'''単調に増加する'''または'''単調増加関数'''であるという。これはすなわち、''f'' の[[グラフ]]が常に右肩上りで、右肩下がりになっている部分がない事であると言い替える事ができる。一方、 ''x'' の増加につれて常に関数値 ''f''(''x'') が減少するという性質を持つとき、''f'' は'''単調に減少する'''('''単調減少関数''')という。 |
|||
{{Expand English|Monotonic function|date=2024年5月}} |
|||
'''単調写像'''(たんちょうしゃぞう、{{lang-en-short|monotonic map, monotone map}})または'''単調関数'''(たんちょうかんすう、{{lang-en-short|monotonic function, monotone function}})は、単調性、すなわち[[順序集合]]の間の写像が順序を保つような性質を持つ[[写像]]のことである。具体的な例としては以下の増加関数および減少関数がある。 |
|||
'''増加'''(ぞうか、{{lang-en-short|increasing}} )または'''単調増加'''(たんちょうぞうか、{{lang-en-short|monotonically increasing}})とは、狭義には[[実数]]の値を持つ[[関数 (数学)|関数]] {{mvar|f}} が、{{mvar|x}} が大きくなるつれて常に関数値 {{math|''f''(''x'')}} が大きくなることをいい、このような性質を持つ関数を'''増加関数'''(ぞうかかんすう、{{lang-en-short|increasing function}} )または'''単調増加関数''' (たんちょうぞうかかんすう、{{lang-en-short|monotonically increasing function}})と呼ぶ。 |
|||
[[経済学]]の分野では、単調増加、単調減少の事をそれぞれ'''逓増'''、'''逓減'''とも言う。(例:[[限界効用|限界効用逓減]]) |
|||
同様に、引数 {{mvar|x}} が大きくなるにつれて関数値 {{math|''f''(''x'')}} が常に小さくなることを'''減少'''(げんしょう、{{lang-en-short|decreasing}} )または'''単調減少''' (たんちょうげんしょう、{{lang-en-short|monotonically decreasing function}})といい、そのような性質を持つ関数を'''減少関数'''(げんしょうかんすう、{{lang-en-short|decreasing function}} )または'''単調減少関数''' (たんちょうげんしょうかんすう、{{lang-en-short|monotonically decreasing function}})と呼ぶ。ある関数が増加または減少する性質をまとめて'''単調性'''(たんちょうせい、{{lang-en-short|monotonicity}})と呼ぶ。単調性を満たす写像を単調写像と呼ぶ。 |
|||
上記の「単調性」を一般化すると、[[順序集合]]の間の写像が順序を保つ、といえる。このような単調性を持つ写像を'''単調写像'''(''monotone function'')と呼ぶ。 |
|||
連続な増加関数 {{math|''f''(''x'')}} を縦軸、その引数 {{mvar|x}} を横軸にとった[[グラフ (関数)|グラフ]]上の[[曲線]]は常に右上りで、右下がりになっている部分がない。逆に減少関数の場合には、常に右下がりであり右上がりの部分がない。 |
|||
== 単調性 == |
== 単調性 == |
||
=== 広義と狭義 === |
|||
実数から実数への関数 |
実数から実数への関数 <math>f</math> が |
||
: ''x'' < ''y'' ならば ''f''(''x'') < ''f''(''y'') |
|||
: <math>x \le y</math> (より簡明に <math>x < y</math>) ならば <math>f(x) \le f(y)</math> |
|||
をみたすとき、''f'' は(狭義)単調増加するという。また、 |
|||
をみたすとき、<math>f</math> は'''広義増加'''(こうぎぞうか)するという。広義増加のことを'''非減少 '''(ひげんしょう、{{Lang-en-short|non-decreasing}})と呼ぶこともある。 |
|||
: ''x'' < ''y'' ならば ''f''(''x'') ≦ ''f''(''y'') |
|||
をみたすとき、''f'' は広義単調増加するという。''f''(''x'') と ''f''(''y'') の間の不等号の向きを逆にすることで単調減少の定義が得られる。文脈によって明らかなときは「広義」/「狭義」を省略することも多い。広義単調増加のことを「単調非減少」と呼ぶこともある。 |
|||
また、 |
|||
: <math>x < y</math> ならば <math>f(x) < f(y)</math> |
|||
をみたすとき、<math>f</math> は'''狭義増加''' (きょうぎぞうか、{{Lang-en-short|strictly increasing}}) するという。 |
|||
<math>f(x)</math> と <math>f(y)</math> の間の不等号の向きを逆にすることで'''広義減少'''および'''狭義減少'''の定義が得られる。広義減少のことを'''非増加 '''(ひぞうか、{{Lang-en-short|non-increasing}})と呼ぶこともある。 |
|||
文脈によって明らかなときは広義や狭義を省略することも多い。 |
|||
⚫ | |||
=== 順序集合 === |
|||
単調性を満たす写像を'''単調写像'''と呼ぶ。 |
|||
⚫ | |||
=== 有界 === |
|||
単調性は[[有界]]性と併せて使われることが多い。つまり、つねに[[上限]]を持つ順序集合への単調写像 |
単調性は[[有界]]性と併せて使われることが多い。つまり、つねに[[上限 (数学)|上限]]を持つ順序集合への単調写像 <math>f</math> が上に有界であるとき、列 <math>x_1 < x_2 < \cdots</math> に対して <math>\{f(x_i)\}_{i=1,2,\cdots}</math> は上限を持つ。このことから上に有界な増加[[#実数列での単調性|実数列]]は常に収束し、自然数上の再帰関数は必ず不動点を持つ([[領域理論]])。<!--加筆訂正求む--> |
||
== 実関数での単調性 == |
== 実関数での単調性 == |
||
27行目: | 38行目: | ||
| align="center" | 語法1 || align="center" | 語法2 || align="center" | 語法3 |
| align="center" | 語法1 || align="center" | 語法2 || align="center" | 語法3 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) < f(x_2)\,</math>|| align="center" | |
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) < f(x_2)\,</math>|| align="center" | 増加 || align="center" | 狭義増加 || align="center" | 増加 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) \le f(x_2)\,</math> || align="center" | 広義 |
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) \le f(x_2)\,</math> || align="center" | 広義増加 || align="center" | 増加 || align="center" | 非減少 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) > f(x_2) \,</math> || align="center" | |
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) > f(x_2) \,</math> || align="center" | 減少 || align="center" | 狭義減少 || align="center" | 減少 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) \ge f(x_2)\,</math> || align="center" | 広義 |
| align="center" bgcolor="#ffffff" | <math>x_1 < x_2 \Rightarrow f(x_1) \ge f(x_2)\,</math> || align="center" | 広義減少 || align="center" | 減少 || align="center" | 非増加 |
||
|} |
|} |
||
等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。 |
等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。 |
||
特に、定義域全体で |
特に、定義域全体で増加/減少である関数を、増加関数/減少関数という。増加関数と減少関数をまとめて単調関数という。 |
||
関数<math>f(x)</math>が常に可[[微分]]な場合、単調性の概念は<math>f(x)</math>の[[導関数]]<math>f'(x)</math>によって特徴づける事ができる。 |
関数<math>f(x)</math>が常に可[[微分]]な場合、単調性の概念は<math>f(x)</math>の[[導関数]]<math>f'(x)</math>によって特徴づける事ができる。 |
||
<math>f(x)</math>が広義 |
<math>f(x)</math>が広義増加になるのは<math>f'(x)</math>が常に非負な事と同値であり、<math>f(x)</math>が広義減少になるのは<math>f'(x)</math>が常に非正な事と同値である。 |
||
更に<math>f'(x)</math>の零点が<!--離散的にしか-->存在しない場合、狭義の単調性が言える。 |
更に<math>f'(x)</math>の零点が<!--離散的にしか-->存在しない場合、狭義の単調性が言える。 |
||
== 実数列での単調性 == |
== 実数列での単調性 == |
||
55行目: | 65行目: | ||
| align="center" | 語法1 || align="center" | 語法2 || align="center" | 語法3 |
| align="center" | 語法1 || align="center" | 語法2 || align="center" | 語法3 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i < a_j\,</math>|| align="center" | |
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i < a_j\,</math>|| align="center" | 増加 || align="center" | 狭義増加 || align="center" | 増加 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i \le a_j\,</math> || align="center" | 広義 |
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i \le a_j\,</math> || align="center" | 広義増加 || align="center" | 増加 || align="center" | 非減少 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i > a_j\,</math> || align="center" | |
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i > a_j\,</math> || align="center" | 減少 || align="center" | 狭義減少 || align="center" | 減少 |
||
|- |
|- |
||
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i \ge a_j\,</math> || align="center" | 広義 |
| align="center" bgcolor="#ffffff" | <math>i < j \Rightarrow a_i \ge a_j\,</math> || align="center" | 広義減少 || align="center" | 減少 || align="center" | 非増加 |
||
|} |
|} |
||
関数の場合と同様、等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。 |
関数の場合と同様、等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。 |
||
特に、定義域全体で |
特に、定義域全体で増加/減少である数列を、'''増加数列'''/'''減少数列'''または'''増加列'''/'''減少列'''という。増加数列と減少数列をまとめて単調数列という。 |
||
<!-- |
|||
== 注釈 == |
|||
{{脚注ヘルプ}} |
|||
{{notelist}} |
|||
== 出典 == |
|||
⚫ | |||
{{reflist}} |
|||
== 参考文献 == |
|||
== 関連項目 ==--> |
|||
⚫ | |||
[[Category:順序構造]] |
[[Category:順序構造]] |
||
[[Category:関数]] |
|||
[[Category:関数の種類]] |
|||
[[Category:写像]] |
|||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
||
[[ar:دالة رتيبة]] |
|||
[[ca:Funció monòtona]] |
|||
[[cs:Monotónní funkce]] |
|||
[[de:Monotonie (Mathematik)]] |
|||
[[el:Μονοτονία συνάρτησης]] |
|||
[[en:Monotonic function]] |
|||
[[eo:Monotona funkcio]] |
|||
[[es:Función monótona]] |
|||
[[fr:Fonction monotone]] |
|||
[[he:פונקציה עולה]] |
|||
[[is:Einhalla fall]] |
|||
[[it:Funzione monotona]] |
|||
[[kk:Өспелі функция]] |
|||
[[ko:단조 함수]] |
|||
[[nl:Monotone functie]] |
|||
[[pl:Funkcja monotoniczna]] |
|||
[[pt:Função monótona]] |
|||
[[ro:Funcție monotonă]] |
|||
[[ru:Монотонная функция]] |
|||
[[sh:Monotonost funkcije]] |
|||
[[sk:Monotónna funkcia]] |
|||
[[sl:Monotonost]] |
|||
[[sr:Монотоност функције]] |
|||
[[sv:Monoton funktion]] |
|||
[[uk:Монотонна функція]] |
|||
[[zh:单调函数]] |
2024年5月28日 (火) 16:23時点における最新版
![]() |
![]() | この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
単調写像(たんちょうしゃぞう、英: monotonic map, monotone map)または単調関数(たんちょうかんすう、英: monotonic function, monotone function)は、単調性、すなわち順序集合の間の写像が順序を保つような性質を持つ写像のことである。具体的な例としては以下の増加関数および減少関数がある。
増加(ぞうか、英: increasing )または単調増加(たんちょうぞうか、英: monotonically increasing)とは、狭義には実数の値を持つ関数 f が、x が大きくなるつれて常に関数値 f(x) が大きくなることをいい、このような性質を持つ関数を増加関数(ぞうかかんすう、英: increasing function )または単調増加関数 (たんちょうぞうかかんすう、英: monotonically increasing function)と呼ぶ。
同様に、引数 x が大きくなるにつれて関数値 f(x) が常に小さくなることを減少(げんしょう、英: decreasing )または単調減少 (たんちょうげんしょう、英: monotonically decreasing function)といい、そのような性質を持つ関数を減少関数(げんしょうかんすう、英: decreasing function )または単調減少関数 (たんちょうげんしょうかんすう、英: monotonically decreasing function)と呼ぶ。ある関数が増加または減少する性質をまとめて単調性(たんちょうせい、英: monotonicity)と呼ぶ。単調性を満たす写像を単調写像と呼ぶ。
連続な増加関数 f(x) を縦軸、その引数 x を横軸にとったグラフ上の曲線は常に右上りで、右下がりになっている部分がない。逆に減少関数の場合には、常に右下がりであり右上がりの部分がない。
単調性
[編集]広義と狭義
[編集]実数から実数への関数 が
- (より簡明に ) ならば
をみたすとき、 は広義増加(こうぎぞうか)するという。広義増加のことを非減少 (ひげんしょう、英: non-decreasing)と呼ぶこともある。
また、
- ならば
をみたすとき、 は狭義増加 (きょうぎぞうか、英: strictly increasing) するという。
と の間の不等号の向きを逆にすることで広義減少および狭義減少の定義が得られる。広義減少のことを非増加 (ひぞうか、英: non-increasing)と呼ぶこともある。
文脈によって明らかなときは広義や狭義を省略することも多い。
順序集合
[編集]上記の単調性の定義は定義域と値域が実数全体の集合でなくても(半)順序集合一般で意味を持つ。この場合、増加する写像は順序を保つ写像 (英: order-preserving, isotone) であると言い替える事ができ、減少する写像は順序を逆にする写像 (英: order-reversing, antitone) であると言い替える事ができる。
有界
[編集]単調性は有界性と併せて使われることが多い。つまり、つねに上限を持つ順序集合への単調写像 が上に有界であるとき、列 に対して は上限を持つ。このことから上に有界な増加実数列は常に収束し、自然数上の再帰関数は必ず不動点を持つ(領域理論)。
実関数での単調性
[編集]部分集合 で定義された関数 を考える。
に対し~が成り立つとき | は区間 I で~である | ||
---|---|---|---|
語法1 | 語法2 | 語法3 | |
増加 | 狭義増加 | 増加 | |
広義増加 | 増加 | 非減少 | |
減少 | 狭義減少 | 減少 | |
広義減少 | 減少 | 非増加 |
等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。
特に、定義域全体で増加/減少である関数を、増加関数/減少関数という。増加関数と減少関数をまとめて単調関数という。
関数が常に可微分な場合、単調性の概念はの導関数によって特徴づける事ができる。 が広義増加になるのはが常に非負な事と同値であり、が広義減少になるのはが常に非正な事と同値である。 更にの零点が存在しない場合、狭義の単調性が言える。
実数列での単調性
[編集]実数に値を取る数列は、自然数の集合(全順序集合である)から実数の集合への写像であると解釈できる。 その写像が単調なとき、その数列は単調数列と呼ばれる。
実数列 を考える。(はでも構わない)
に対し~が成り立つとき | は~である | ||
---|---|---|---|
語法1 | 語法2 | 語法3 | |
増加 | 狭義増加 | 増加 | |
広義増加 | 増加 | 非減少 | |
減少 | 狭義減少 | 減少 | |
広義減少 | 減少 | 非増加 |
関数の場合と同様、等号の成り立つ場合の扱いは書籍によりさまざまで、統一が取れていない。
特に、定義域全体で増加/減少である数列を、増加数列/減少数列または増加列/減少列という。増加数列と減少数列をまとめて単調数列という。