![内積(,)を持つ実Hilbert空間Hのノルムを||x||~ (𝑥, 𝑥)で定める。
AをHの閉凸集合とし、任意のx∈Hにたいし、d(x,A)=inf{||x-y|| y∈A}とする。
(1)d(x,A)=||x-z||を満たすz∈Aが一意に存在することを示せ。
このzをP(x)とする。
(2)任意のx∈Hと任意のy∈Aに対し、(x-P(x),P(x)-y)≧0が成り立つことを示せ。
証明
[宮島静雄]関数解析p288](https://image.slidesharecdn.com/heitotusyaei-180310185038/85/-1-320.jpg)
Recommended
More Related Content
What's hot
More from 政孝 鍋島
Recently uploaded
Recently uploaded (8)
閉凸集合への射影の存在
- 1. 内積(,)を持つ実Hilbert空間Hのノルムを||x||~ (𝑥, 𝑥)で定める。 AをHの閉凸集合とし、任意のx∈Hにたいし、d(x,A)=inf{||x-y|| y∈A}とする。 (1)d(x,A)=||x-z||を満たすz∈Aが一意に存在することを示せ。 このzをP(x)とする。 (2)任意のx∈Hと任意のy∈Aに対し、(x-P(x),P(x)-y)≧0が成り立つことを示せ。 証明 [宮島静雄]関数解析p288