임의의 자연수 n와 어떤양수h에 대해
함수 f가
[1,1+nh]에서 증가함수이고
lim 1+nh= 무한대므로
[1,무한대)에서 증가함수다.
이렇게 하고끝내줘도괜찮음??
근데 좀걸리는게
임의의자연수 n에대해
1/n >0이라고 lim 1/n >0이아닌거처럼
유한일때무한일때랑 다를수잇어서 모든자연수 n에대해
성림한다 해서 n을 함부로 마음대로
무한대로 바꿔놓고 이러면 원론적으론 안되긴하잖아
저건
1보다큰 어떤 실수 T를 가져와도 그 T는 구간 [1,1+nh]에 포함되게
할수있으므로
임의의실수x와 1보다큰 모든실수T에 대해 f(x+T)>=f(x)
이다 따라서 [1,무한대)서 증가다라고 써줘야되는거임
아니면 그냥 무한대 집어넣기로 퉁치고끝나도됨?
그정도는 자연스러운 생략이라 생각하나?
근데 사실 T<=1+nh가 된다는게
또 아르키메데스성질이라;; 어떤지궁금하네
채점 해설지는
1이상의 모든실수 x와
0<h<1/2019인 모든 실수 h에대해
g(x+h)>g(x-h)므로
g는 증가함수이다.
하고끝낫는데
내가너무과하게생각하는건가?
- dc official App
맥락에 따라선 맨 처음처럼 퉁쳐도 되지만, 엄밀하게 증명하려면 증가함수의 정의를 풀어 써야겠지. let x, y in [1, inf) with x < y. then there exists n such that y < 1+nh. ...
lim(1+nh)=무한 이라는걸 쓰고도 그게 왜 충분한지 이해 못하면 문제가 있는거지 - dc App
[1,inf) 의 임의의 원소 x
시발 뷰등호 왜 못쓶 - dc App
1보다큰 임의의 T에 대해 [1,T]에서 증가함수가되게하면된다 따라서 어떤양수h에대해 1+nh>=T인 자연수n이존재하면된다 인데 이게아르키메데스성질아니야? - dc App
ㅇㅇ 아르키메데스성질까지 나왔으면 더이상 뭘 걱정함 - dc App
그니께아르키메데스성질 증명안해도 걍 당연히된다고 하면 안되는거임? - dc App
무한대로가니당연히된다 - dc App