>>395
条件から cl(Y) \neq X だから、cl(Y)の直交補空間はゼロでない。
直交補空間上で適当に関数を作って、
cl(Y)上ではゼロとすりゃええんでない?