해석학 기본정리들 증명할때 계속 쓰임. 대표적으로 생각나는건 미적분학 기본정리, 균등 수렴과 도함수의 관계, 다변수함수 미분연산자 순서 바꾸기, 다변수함수 편도함수의 연속성과 연속적 미분가능성에 대한 정리. f(x)-f(y)의 bound를 f'를 통해서 구할수 있기 때문에 무척 유용함
아무튼 몬가 존재함을 보일때 자주 쓰임
해석학 기본정리들 증명할때 계속 쓰임. 대표적으로 생각나는건 미적분학 기본정리, 균등 수렴과 도함수의 관계, 다변수함수 미분연산자 순서 바꾸기, 다변수함수 편도함수의 연속성과 연속적 미분가능성에 대한 정리. f(x)-f(y)의 bound를 f'를 통해서 구할수 있기 때문에 무척 유용함
아무튼 몬가 존재함을 보일때 자주 쓰임