[일반] 이게 왜 성립하는지 모르겠음

[ScARfaC..(kayuaao)]

사진에서 (X×{y})nC=ø 라는데 귀류법으로 증명하려해도 안되던데 어떻게 증명할수있는거지?

[익명(118.235)]

이건 좀...

[익명(223.39)]

공집합이 아니면 어떤 x in X가 존재해서 (x,y) in C임. 그러면 y는 pi_y(C)의 원소니까 모순이지

[Rafle(probaroque)]

pi_y가 사영사상이라 그렇지. 교집합에 (x, y)라는 원소가 있으면 pi_y(x, y)가 pi_y(C)에 속해서 y가 Y - pi_y(C)에 속한다는 가정에 모순임.

[Rafle(probaroque)]

기본적으로 정리에 있는 조건들을 보고 그 조건들이 어디서 쓰였나, 라는 생각을 하면서 읽어. 이런거 못 읽으면 앞으로 공부하기 매우 힘들어진다.

[ScARfaCE(kayuaao)]

쓰긴했는데 내가 너무 복잡하게 써서 그런듯 밤새 공부할때마다 이럼