위상공간 X에서 Y로가는 위상동형사상이 존재하지 않음을 보일때
임의의 X에서 Y로가는 전단사함수가 연속이 아니기때문에 위상동형사상은 존재하지 않는다 < 이거는 참이잖아
X에서 Y로가는 위상동형사상이 존재한다고 가정하고 모순을 이끌었다 < 이렇다고해서 X에서 Y로가는 위상동형사상이 존재하지 않다고 할 수 있나?
이게 위상동형사상이 존재하지 않음을 보이는 것과 동치인게 맞잖아
배중률, 귀류법때문에 성립하는건 알겠는데 진짜 뭔가 가슴이 이해를 못하는 느낌임
계속 외우다보면 언젠가 이해될거야
평범하게 귀류법 적용할 땐 가슴으로 이해할 수 있는데 딱 저것만 그런거임? 뫄뫄를 가정하니 모순이 나온다 그래서 not뫄뫄이다 구조는 똑같은데
맞음 저것만 걸림
ㅇ? 있다고 쳤는데 말이 안되는게 생기면 있을 수 없다는거잖어 - dc App
그치 그래서 밑댓보고 뇌가 뚫렸음
내가 생각하기에, 지금 '위상동형사상이 존재한다'고 하는 것에서, '모든 위상동형사상에서 모순을 이끌어야되는 거 아니야?'라고 생각하는 것 같음, 추측임. 근데 존재한다고 한 그 사상이 임의의 사상이라고 생각하면 될 것 같음. - dc App
와 이게 맞다
ㄳㄳ 모든 위상동형사상에서 모순을 이끌어내야되는거아닌가? < 이게 막혔던거였음 풀이로 써도 되는 논리인거지 그럼?
@글쓴 수갤러(58.125) 집합론을 했다면 Ex p(x) Ax (p(x)->c) 로부터 c를 이끌어낼수있다는 E소거 추론규칙을 쓴거라보면됨
눈을 떴구나 직관주의로 오거라