Abstract:Certain properties of Baire space and Meager set and their connections are put under examination, and the proposition that any topological space X can be decomposed into two complementary sets such that one is of open (closed) Baire space and the other is of Meager set is also proved, and another equivalent form of Banach category theorem is also given and proved.