립시츠 연속 함수

틀:위키데이터 속성 추적 해석학에서 립시츠 연속 함수(틀:Llang)는 두 점 사이의 거리를 일정 비 이상으로 증가시키지 않는 함수이다. 이름은 독일의 수학자인 루돌프 립시츠의 이름을 땄다.

정의

두 거리 공간 $(X,d_X)$, $(Y,d_Y)$ 사이의 함수 $f:X\to Y$ 및 음이 아닌 실수 $K\ge 0$가 다음 조건을 만족시킨다면, $f$가 $K$-립시츠 연속 함수라고 한다.

• 임의의 $x,x^{\prime }\in X$에 대하여, $d_Y(f(x),f(x^{\prime }))\le K{d}_X(x,x^{\prime })$

두 거리 공간 $(X,d_X)$, $(Y,d_Y)$ 사이의 함수 $f:X\to Y$가 적어도 하나의 음이 아닌 실수 $K\ge 0$에 대하여 $K$-립시츠 함수라면, $f$를 립시츠 연속 함수라고 한다.

성질

립시츠 연속 함수 $f:ℝ\to ℝ$는 다음 조건들을 만족시킨다.

• 절대 연속 함수이다.
• 거의 어디서나 미분 가능 함수이다.
• 만약 $f$가 $K$-립시츠 함수라면, 거의 어디서나 $|f^{\prime }|\le K$이다.

미분 가능 함수 $f:ℝ\to ℝ$에 대하여, 다음 두 조건이 서로 동치이다.

• $f$는 립시츠 연속 함수이다.
• $\sup \{|f^{\prime }(x)|:x\in ℝ\}<\mathrm{\infty }$이다.

예

함수 $\sqrt{}:[0,1]\to ℝ$은 균등 연속 함수이지만 립시츠 연속 함수가 아니다.

참고 문헌

• Boris Hasselblatt, Anatole Katok (2003). A First Course in Dynamics: with a Panorama of Recent Developments, 1 edition, Cambridge University Press

같이 보기

• 횔더 연속 함수