「凸関数」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
|||
1行目:
[[Image:Convex-function-graph-1.png|thumb|350px|right|凸関数の例(緑の曲線)]]
'''凸関数'''(とつかんすう、{{lang-en|convex
{{Indent|<math>f(tx+(1-t)y)\leq t f(x)+(1-t)f(y)\,</math>}}
を満たすものをいう。言い換えれば、[[エピグラフ (数学)|エピグラフ]](グラフ上およびグラフの上部の点の集合)が[[凸集合]]である関数である。より一般に、[[ベクトル空間]]の凸集合上定義された関数に対しても同様に定義する。
また、'''狭義凸関数'''とは、任意の異なる 2 点 ''x'', ''y'' と開区間 (0, 1) 内の任意の ''t'' に対して
{{Indent|<math>f(tx+(1-t)y) < t f(x)+(1-t)f(y)\,</math>}}
を満たす関数である
== 凸関数の性質 ==
19行目:
区間上の 1 変数微分可能な関数が凸関数であるための必要十分条件は、微分が[[単調関数|単調非減少]]であることである。
また 1 変数 2 階微分可能な関数が、凸関数であることの必要十分条件は、2 階微分が非負であることである。また、2 階微分が正ならば、狭義凸関数である。この[[逆]]は成立しない。例えば、''y'' = ''x''
より一般的に、[[滑らかな関数|''C''
''f'', ''g'' が凸関数であるとき、非負の ''a'', ''b'' について ''af'' + ''bg'' は凸関数である。同様に、max {''f'' , ''g'' } も凸関数である。
33行目:
== 例 ==
*''x''
*''x''
*[[指数関数]] ''e
*[[ガンマ関数]] Γ(''x'' ) は ''x'' > 0 において対数凸関数である。
*[[絶対値]]関数 |''x'' | は ''x'' = 0 で微分不可能であるが凸関数である。
*区間 [0, 1] 上で、''f'' (0) = ''f'' (1) = 1, 0 < ''x'' < 1のとき ''f'' (''x'' ) = 0 で定義された ''f'' は不連続であるが、凸関数である。
*[[線形写像]]は狭義ではない凸関数であり、狭義ではない凹関数でもある。
*[[アフィン写像]]は凸関数であり、凹関数でもある。
44行目:
== 原点に対して凸 ==
{{節stub|date=2013年7月6日 (土) 15:07 (UTC)}}
[[経済学]]においては、曲線が原点に向かって弓なりに突き出した形になっていることを'''原点に対して凸'''<ref>
== 脚注 ==
{{reflist}}
== 参考文献 ==
* {{cite|和書 |author=芦谷政浩 |title=ミクロ経済学 |publisher=有斐閣 |year=2009 |isbn=978-4-641-16350-8 |ref=ashiya}}
* {{cite|和書 |author=神部伸輔|author2=寶多康弘|author3=濱田弘潤 |title=ミクロ経済学をつかむ |publisher=有斐閣 |year=2006 |isbn=4-641-17700-7 |ref=kambe}}
== 関連項目 ==
53 ⟶ 57行目:
*[[劣加法性]]
*[[劣モジュラ関数]]
*[[ルジャンドル変換]]
{{DEFAULTSORT:とつかんすう}}
|