>>164
Xがハウスドルフ空間であるとは
∀x∈X,∀y∈X (x≠y)に対して、
  x∈U,y∈V,U∩V=φを満たす開集合U,Vが存在する
事ですよね。

Xがパラコンパクトってどんな定義ですか?