设H是Hilbert空间,M是H的闭子空间,x0∈H,证明: min{||x-x0|| |x∈M}=max{|<x0,y>||y∈M1,||y||=1}
设X和Y为Hilbert空间,A是X到Y中的有界线性算子,和分别表示算子A的零空间和值域,证明