[대학교이상] 해석학 쉬운거 질문입니다ㅠㅠ

[익명(163.152)]

혼자 공부하다가 이게 뭔가 말이 안되는 것 같아서 질문 드려요. 이러면 최소상계 s일 필요충분조건이 이상해지는데 어디서 을린 걸까요?

- dc official App

[고무졸직(uyau391bq71x)]

sub A - e 랑 sub A 사이엔 A의 원소가 존재한다는 정리 만약 A의 원소가 존재하지 않는다면 Sub A - e 가 더 작은 upper bound가 되어버려서 모순이라는 느낌

[익명(118.235)]

그래서 뭔가 모순인것 같은게 제 의문이었는데 정의상 안된다고 생각하고 넘어가면 될까요? - dc App

[고무졸직(uyau391bq71x)]

1번은 b보다 큰 임의의 수 c에 대하여 a<c이면 a<=b 라는 뜻이라서 이걸 쓸순 없음

[고무졸직(uyau391bq71x)]

열린구간 (1,2) 의 sup 은 2인데, 엡실론을 0.1로 잡을때 2-0.1<a 를 만족하는 a가 (0,2) 에 존재하죠? ex) a=1.998 그런데 1번은 어떤 거냐면 3<=4 의 필요충분 조건은 4보다 큰 수 아무거나 (3+엡실론) 잡아도 부등식이 성립한다는 뜻이에요 ex) 3<5, 3<4.0000000111

[고무졸직(uyau391bq71x)]

x보다 y가 크다는걸 보이기는 힘들지만 y보다 큰 모든 수가 x보다 크다는걸 보이긴 쉬울때 자주 써요

[고무졸직(uyau391bq71x)]

양화사 의존 어케 되는지 체크해보면 될듯

[익명(163.152)]

헉 정말 감사합니다! 제가 양화사를 다루는데 아직 미숙해서 명제들의 의미를 제대로 파악하지 못한 것 같습니다... 이해가 대충 된 거 같아요! 감사함당 - dc App

[익명(39.7)]

? s - e < s - e/2. then s <= s - e/2?

[익명(118.235)]

아 e>0이라는 조건을 빼먹었어요ㅠ 이 조건을 추가해도 말이 안돼서요ㅠ - dc App