[일반] 루딘 해석학 노베로 읽다가

[익명(1.244)]

least-upper-bound property 에서 greatest-lower-bound를 유도하는? theorem 증명에서 막혀서

한 네 번 반복해서 읽어서 이해했는데 해석학 공부 접어야됨?

ㅈㄴ어렵네

[CMT(ksb1365la96)]

sup inf 이용하는 논의가 아직 어색해서 그럼 공부하다보면 익숙해져 - dc App

[익명(1.244)]

글쿠만요.. 감사합니다 방학동안 한번 다 보고 만다 쒸익쒸익

[김민성태팬클럽회장(thecoqproofassistant)]

증명을 컴퓨터한테 맡겨봐!!

[A(211.205)]

루딘이 어려운게 아니라 익숙치 않아서 어려운 것.

[익명(1.252)]

그부분은 limsup이랑 liminf의 다른 (물론 동등한) 정의들을 좀 알고 있으면 도움됨. 구글에 쳐서 여러가지 equivalent definition들을 찾아봐