非線形・凸解析学入門の5.4.弱収束点列とOpialの定理における定理5.4.3で躓いたので、躓いた点を備忘録として残しておく。数学は非専門なので、間違いがあると思います。間違いがあればご指摘頂ければ幸いです。
任意のy∈Hに対してxn⇀xとする。つまり、⟨xn,y⟩→⟨x,y⟩である。
このとき、{⟨xn,y⟩}は有界である。
任意のϵ>0に対して、あるN≥1が存在して、
n≥N⟹|⟨xn,y⟩−⟨x,y⟩|<ϵ
Kを
K=max{|⟨x1,y⟩|,|⟨x2,y⟩|,⋯,|⟨xN−1,y⟩|,|⟨x,y⟩|+ϵ}
のように定めると、
|⟨xn,y⟩|≤K
よって、有界である。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。