大学学部レベル質問スレ 16単位目

x∈H0を取る
<p*,(x+x*)-x*> = <p*,x> = 0
よってx+x*∈H　ゆえにH⊇H0+x*
x∈Hを取る
<p*,x-x*> = 0
よってx-x*∈H0 よってx∈H0+x* ゆえにH⊆H0+x*
以上から H=H0+x*