質問: { x | {x} ×y ⊂ u } はx の開集合であることを示せ. これを解くためのヒントをください。 aに含まれる任意の点 x1のある近傍がaに含まれることをしめすんですね。そのような近傍をどうとればいいんでしょうか。
回答: >これを解くためのヒントをください。 y がコンパクトであることを使う。