단조함수: 두 판 사이의 차이

11 바이트 제거됨 ,  9년 전
잔글
편집 요약 없음
잔글 (Hwangjy9 사용자가 단조 함수 문서를 단조함수 문서로 옮기면서 넘겨주기를 덮어썼습니다: 백:전문용어에 따라(대한수학회 표기))
잔글편집 요약 없음
[[그림:Monotonicity example1.png|thumb|단조 증가. 강한 단조 증가는 아니다.]]
'''단조 함수단조함수'''는 [[함수]]의 진행 방향이 항상 일정한 함수를 의미한다. 항상 증가하는 함수의 경우는 '''단조 증가단조증가''', 항상 감소하는 함수는 '''단조 감소단조감소'''라고 부른다.
 
수학적으로 정의하면, 단조 증가하는단조증가하는 함수는 다음의 조건을 만족한다.
:<math>f: X \to Y</math>인 함수 <math>f</math>에 대해, <math>x_1, x_2 \in X, x_1 \leq x_2</math>인 모든 <math>x_1, x_2</math>에 대해 항상 <math>f(x_1) \leq f(x_2)</math>가 성립한다.
단조 감소의단조감소의 경우에는 <math>f(x_1) \leq f(x_2)</math>가 아니라 <math>f(x_1) \geq f(x_2)</math>가 성립한다.
 
또한, '''강한 단조 함수단조함수'''는 위의 정의에서 등호 조건이 빠진 것으로, 예를 들어 강한 단조 증가는단조증가는 다음과 같이 정의된다.
:<math>f: X \to Y</math>인 함수 <math>f</math>에 대해, <math>x_1, x_2 \in X, x_1 < x_2</math>인 모든 <math>x_1, x_2</math>에 대해 항상 <math>f(x_1) < f(x_2)</math>가 성립한다.
일반적인 단조 함수는단조함수는 함수값이 증가하거나 감소하지 않는 경우(<math>x_1<x_2</math>, <math>f(x_1)=f(x_2)</math>)가 허용되지만, 강한 단조 함수는단조함수는 항상 증가하거나 항상 감소한다.
 
== 미분과 단조성 ==
[[미분]]은 함수의 단조성을 판별하는 좋은 도구이다. 일반적으로, 단조성에 관한 다음과 같은 [[필요충분조건]]을 얻을 수 있다.
 
* 어떤 [[구간]]에서 미분가능한 함수 f가 단조 증가단조증가(또는 감소)일 필요충분조건은 f'≥0(또는 f'≤0)인 것이다.<ref name="실해석학개론">{{서적 인용|공저자=Donald R. Sherbert|저자=Robert G. Bartle|제목=실해석학개론|연도=2006|출판사=범한서적|편집자=강수철 역|확인날짜=2012-02-01|isbn=897129177X|쪽=220~221}}</ref>
 
또한, 강단조성에 관해서 다음과 같은 충분조건이 성립한다.
그러나 이 경우 역은 성립하지 않는다. 예로, f(x) = x³은 강증가 함수이지만, x = 0에서 그 미분계수는 0이기 때문이다. 한편, [[연속함수]]가 아니거나 미분가능하지 않은 단조 함수도 있는데, 이 경우 그러한 성질을 갖는 곳은 다음 두 정리로 상당히 제한된다.
 
* 어떤 구간에서 단조 함수의단조함수의 불연속점은 많아야 [[가산집합|가산]] 개 존재한다.<ref>{{서적 인용|저자=Walter Rudin|제목=Principles of mathematical analysis|연도=1976|출판사=McGraw-Hill|위치=New York|판=3판|확인날짜=2012-02-01|isbn=007054235X|쪽=96}}</ref>
* ([[르베그 미분가능성 정리]]) 어떤 구간에서 단조 함수의 미분불가능점은 많아야 [[영측도]]이다.