컴팩트 공간과 분리 공리의 결정