[表示 : 全て 最新50 1-99 101- 2chのread.cgiへ]
Update time : 05/09 18:50 / Filesize : 93 KB / Number-of Response : 130
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

代数的整数論 009



86 名前:Kummer ◆g2BU0D6YN2 [2007/12/02(日) 12:17:06 ]
命題
E を実数体 R 上の線形空間とする。
X を E の凸部分集合とする。
f : X → R を写像とする。
以下の条件は同値である。

(1) f は凸関数(>>82)である。

(2) F = { (x, a) ∈ X × R | f(x) ≦ a } は凸集合である。

(3) F' = { (x, a) ∈ X × R | f(x) < a } は凸集合である。

証明
(1) ⇒ (3)
(x, a) ∈ F', (y, b) ∈ F', 0 < λ < 1 に対して
f(λx + (1 - λ)y) ≦ λf(x) + (1 - λ)f(y) < λa + (1 - λ)b
よって
λ(x, a) + (1 - λ)(y, b) = (λx + (1 - λ)y, λa + (1 - λ)b) ∈ F'
即ち、F' は凸集合である。

(3) ⇒ (2)
(x, a) ∈ F, (y, b) ∈ F, 0 < λ < 1 とする。
任意のε > 0 に対して
(x, a + ε) ∈ F', (y, b + ε) ∈ F' である。
λ(x, a + ε) + (1 - λ)(y, b + ε)
= (λx + (1 - λ)y, λa + (1 - λ)b + λε + (1 - λ)ε)
= (λx + (1 - λ)y, λa + (1 - λ)b + ε) ∈ F'
よって、f(λx + (1 - λ)y) < λa + (1 - λ)b + ε
よって、f(λx + (1 - λ)y) ≦ λa + (1 - λ)b
即ち、λ(x, a) + (1 - λ)(y, b) ∈ F である。
よって、F は凸集合である。
(続く)






[ 続きを読む ] / [ 携帯版 ]

全部読む 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](*・∀・)<93KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef