일반위상수학에서 어떤 위상공간 X에 대하여 X 안에서 공내부를 갖는 가산 개의 닫힌 집합의 합집합 또한 공내부를 가질 때, X는 베어 공간(Baire Space)이라고 한다. 완비거리 공간과 콤팩트하우스도르프 공간은 이와 관련된 중요한 두 가지 경우이고, [5]에 소개되어 있다. 베어 공간 개념들은 해석학과 위상수학 등에서 많이 응용되는 성질들을 갖는 중요한 개념이다. 따라서 이 논문에서 베어 공간의 개념과 베어 카테고리 정리를 포함한 중요한 정리들을 소개하고, 관련된 성질들을 이용하여 정리 및 예시들을 증명하고자 한다.