Xを位相空間、Yを完備距離空間とし、f_n:X→Yを連続写像とする。
lim(n→∞)f_n(x)が存在するようなx∈Xの全体BはXのボレル集合であることを示せ。

どなたかお願いします。