첫 번째 사진의 정리를 증명하려는데 두 번째 정리에 의해 성립한다 이 한 줄만 쓰이고 말더라고 근데 sequentially cpt의 정의가 '모든'무한수열에 대해
수렴하는 부분수열이 존재해야 하는거잖아 근데 저기선 그냥 수렴하는 부분수열의 존재성만 보장하는거라서 저 정리로는
증명이 안될거같은데 증명이 왜 가능한거임?
첫 번째 사진의 정리를 증명하려는데 두 번째 정리에 의해 성립한다 이 한 줄만 쓰이고 말더라고 근데 sequentially cpt의 정의가 '모든'무한수열에 대해
수렴하는 부분수열이 존재해야 하는거잖아 근데 저기선 그냥 수렴하는 부분수열의 존재성만 보장하는거라서 저 정리로는
증명이 안될거같은데 증명이 왜 가능한거임?
모든 x in C에 대해 생각하는거니 모든 무한수열에 대해 그 수열이 수렴하니 그때문에 부분수열이 수렴하는걸 보장할수있는건가
아 이상한데 뭐가문제지
=> ) 각각의 점으로 수렴하는 부분수열을 갖고있으므로 그 점은 클로슈어에도 있으니까 닫혀있음
아니다 이거 좀 잘못말함
안닫혀있으면 A' - A 위의 점으로 가는 수열을 잡을 수 있으니까 it self가 아님
<=) 닫혀있고 seq.cpt를 가정하면 그 수렴값이 클로슈어에 있을텐데 그게 자기자신이니까 seq.cpt itself지
아 이거구나 땡큐