Eger $X$ bir metrik uzay ise $X$ Blumberg uzayidir ancak ve ancak Baire uzayi ise

Question

$X$ bir Blumberg uzayidir eger her $f: X\to\mathbb{R}$ fonksiyonu, $X$ in yogun bir altkumesi $D$ uzerinde surekli ise.

 

"Eger $X$ bir metrik uzay ise $X$ Blumberg uzayidir ancak ve ancak Baire uzayi ise."

Ifadesini nasil kanitlariz?