그러니까 어떤 Rn 내 subset S가 compact함을 보이기 위해선? 그냥 무조건적으로 closed and bounded에 의존해야하는거밖에 답이 없는거임???(유클리드 metric기준) compact하지 않음을 보이기 위해선 그냥 어떤 open cover가 있어서 finite하지 않은 open cover가 있음을 보이면 되는거잖아요 근데 compact함을 보이려면 어떻게 해야하는지 모르겠음... - dc official App
그때그때 다르지 sequentially compact임을 보일 수도 있고 compact set 의 continuous image임을 보일 수도 있고
너생각에 example같은 걸로 주어졌으면 그편이 훨씬 낫지 않겠음? 일반적인 증명같은거 할땐 그때그때 윗댓처럼 하면 되고
그런것같음 - dc App
closed bdd가 좋은거다
closed bdd가 가장 간편하긴 함
대충 느낌이 PMA 하다 온 느낌인데 문제 열심히 풀어보삼 그러면 감 잡음