오늘은 증명기초 스터디 과제 두 개 중 두 번째 과제를 먼저 풀었다.
[0,1]이 not open이라는 것을 증명하는 문제였다.
나는 0과 1을 고정해서 오픈셋을 만들었더니 [0,1]의 부분집합이 아니다로 증명했다.
그런데 챗지피티에게 물어보니 0보다 작은 부분, 1보다 큰 부분으로 더 세밀화하여 증명을 전개했더라.
내 증명정도만 전개해도 괜찮은지 증명의 과정 단계가 얼마나 세밀해야하는지 확신이 서지 않는다.
첫 번째 과정은 아직 감을 잡지 못하고 있다. 오픈셋이라 0과 1처럼 명확히 기준점으로 잡을만한 녀석도 보이지 않는다. 그래서 서포즈낫 말고는 명확한 길이 보이지 않는데 영상에서 아직 서포즈낫을 다루지 않았으니... 직접증명하기 어려운 것 같다.
Hiampraygerm