연속 함수

연속 기획
미적분학
미적분학의 기본정리 함수의 극한 연속 함수 평균값 정리 롤의 정리
미분 정의 미분 일반화 무한소 주요 부분 전미분 개념 미분 표기법 고계 도함수 변수 변환 테일러 정리 법칙과 항등식 합의 법칙 곱의 법칙 몫의 법칙 멱의 법칙 연쇄 법칙 역함수의 미분 음함수의 미분
적분 적분표 정의 부정적분 적분 (이상적분) 리만 적분 르베그 적분 경로적분 적분법 부분적분 디스크 방법 원통셸 방법 치환적분 (삼각치환법) 부분분수 적분법 적분 순서 재귀식 적분
수열과 급수 기하급수 (등차-등비 수열) 조화급수 교대급수 멱급수 이항급수 테일러 급수 수렴판정법 일반항 판정법 비판정법 근판정법 적분판정법 비교판정법 극한비교판정법 교대급수판정법 코시 응집판정법 디리클레 판정법 아벨 판정법
벡터 미적분학 기울기 발산 회전 라플라시안 방향도함수 벡터 미적분표 정리 발산정리 기울기정리 그린 정리 켈빈-스토크스 정리
다변수 미적분학 형식 행렬 텐서 외미분 기하 정의 편미분 중적분 선적분 면적분 삼중적분 야코비안 헤세 행렬
특수한 경우 분수차 미적분 말리아빈 미적분 확률미적분학 변분법

위상수학과 해석학에서, 연속 함수(連續函數, 문화어: 련속함수, 영어: continuous function)는 정의역의 점의 "작은 변화"에 대하여, 치역의 값 역시 작게 변화하는 함수이다.

정의

점에서의 연속성

위상 공간 $X$ 및 $Y$ 사이의 함수 $f\colon X\to Y$ 및 점 $x\in X$가 다음 조건을 만족시킨다면, $f$가 점 $x$에서 연속 함수이다(continuous at the point x)라고 한다.

• 임의의 점 $x\in X$ 및 근방 $V\ni f(x)$에 대하여, $f(U)\subseteq V$인 $x$의 근방 $U\ni x$가 존재한다.
• 임의의 그물 $x_{\alpha }\in X$에 대하여, 만약 $x_{\alpha }\to x$라면 $f(x_{\alpha })\to f(x)$이다.

위상 공간 $X$ 및 $Y$ 사이의 함수 $f\colon X\to Y$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 함수를 연속 함수라고 한다.

• 임의의 열린 집합 $U\subseteq Y$에 대하여, 원상 $f^{-1}(U)\subseteq X$는 열린 집합이다.
• 임의의 닫힌 집합 $C\subseteq Y$에 대하여, 원상 $f^{-1}(C)\subseteq X$는 닫힌 집합이다.
• $f$는 $X$의 모든 점에서 연속 함수이다.
• 임의의 부분 집합 $A\subseteq X$에 대하여, 항상 $f(\operatorname {cl} (A))\subseteq \operatorname {cl} (f(A))$이다. 여기서 $\operatorname {cl}$은 폐포를 일컫는다.

위상 공간 $X$ 및 $Y$ 사이의 함수 $f\colon X\to Y$가 다음 조건을 만족시킨다면, $f$를 점렬 연속 함수(點列連續函數, 영어: sequentially continuous function)라고 한다.

• 임의의 점렬 $x_{i}\in X$ 및 점 $x\in X$에 대하여, 만약 $x_{i}\to x$라면 $f(x_{i})\to f(x)$이다.

좌·우 연속성

어떤 구간 $I\subset \mathbb {R}$ 및 위상 공간 $Y$ 사이의 함수 $f\colon I\to Y$ 및 실수 $r\in I$에 대하여, 다음을 정의하자.

• 만약 $\lim _{x\to r^{+}}f(x)=f(c)$라면, $f$는 $c$에서 우연속 함수(영어: right-continuous function)이다.
• 만약 $\lim _{x\to r^{-}}f(x)=f(c)$라면, $f$는 $c$에서 좌연속 함수(영어: left-continuous function)이다.

성질

연속함수는 위상 공간의 몇가지 성질을 보존하기 때문에 매우 유용하다.

• f : X → Y 와 g : Y → Z 가 연속 함수이면 합성 함수 g o f : X → Z 도 연속 함수이다.
• f : X → Y 가 연속 함수이면
  • X 가 콤팩트 공간이라면, f(X) 도 콤팩트 공간이다.
  • X 가 연결 공간이라면, f(X) 도 연결 공간이다.
  • X 가 경로 연결 공간이라면, f(X) 도 경로 연결 공간이다.

임의의 두 위상 공간 $X$, $Y$ 사이의 연속 함수는 항상 점렬 연속 함수이다. 만약 $X$가 제1 가산 공간이라면, $X$와 $Y$ 사이의 함수에 대하여 연속 함수와 점렬 연속 함수가 서로 동치이다.

거리 공간에서의 연속 함수

엡실론-델타 논법 문서를 참고하십시오.

두 거리 공간 $(X,d_{X})$ 및 $(Y,d_{Y})$ 사이의 함수 $f\colon X\to Y$ 및 점 $x\in X$에 대하여, 다음 두 조건이 서로 동치이다.

• $f\colon X\to Y$는 $x$에서 연속 함수이다.
• 임의의 양의 실수 $\epsilon >0$에 대하여, 다음 조건을 만족시키는 양의 실수 $\delta _{\epsilon }$이 존재한다.
  • 임의의 $x'\in X$에 대하여, 만약 $d_{X}(x,x')<\delta _{\epsilon }$라면, $d_{Y}(f(x),f(x'))<\epsilon$이다.
• $f$는 $x$에서 점렬 연속 함수이다. 즉, 임의의 점렬 $x_{i}\in X$에 대하여, 만약 $x_{i}\to x$라면 $f(x_{i})\to f(x)$이다.

실수값 연속 함수

임의의 위상 공간 $X$ 위의 두 연속 함수

$f,g\colon X\to \mathbb {R}$

에 대하여, 다음이 성립한다.

• $f+g\colon X\to \mathbb {R}$는 연속 함수이다.
• $fg\colon X\to \mathbb {R}$는 연속 함수이다.
  • 상수 함수는 연속 함수이므로, 만약 $g$가 임의의 실수 $r$라면, $rf\colon X\to \mathbb {R}$는 연속 함수이다.
• 만약 모든 $x\in X$에 대하여 $f(x)\neq 0$이라면, $1/f$는 연속 함수이다.

실수 위의 함수

실수 구간 $I\subset \mathbb {R}$으로부터 위상 공간 $Y$로 가는 함수 $f\colon I\to \mathbb {R}$ 및 임의의 실수 $r\in I$에 대하여, 다음이 성립한다.

• $f$는 $r$에서 좌연속 함수이며 우연속 함수이다.
• $f$는 $r$에서 연속 함수이다.

예

실수선에 표준적인 위상을 정의하였을 때, 다음 함수들은 연속 함수이다.

• 모든 다항식 $\mathbb {R} \to \mathbb {R}$
• 지수 함수 $\exp \colon \mathbb {R} \to \mathbb {R}$
• 사인 $\sin \colon \mathbb {R} \to \mathbb {R}$
• 코사인 $\cos \colon \mathbb {R} \to \mathbb {R}$
• 절댓값 $|\cdot |\colon \mathbb {R} \to \mathbb {R}$

다음 함수는 연속 함수가 아니다.

• 부호 함수 $\operatorname {sgn} \colon x\mapsto {\begin{cases}1&x>0\\0&x=0\\-1&x<0\end{cases}}$

참고 문헌

• Munkres, James R. (2000). 《Topology》 (영어) 2판. Prentice Hall. ISBN 978-013181629-9. MR 0464128. Zbl 0951.54001.  CS1 관리 - 추가 문구 (링크)

같이 보기

• 반연속성
• 불연속점의 분류
• 균등 연속 함수
• 절대 연속 함수
• 립시츠 연속 함수
• 동등연속
• 유계 작용소

외부 링크

• “Continuous function”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• “Continuous mapping”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Continuous function”. 《Wolfram MathWorld》 (영어). Wolfram Research. 
• Weisstein, Eric Wolfgang. “Continuous map”. 《Wolfram MathWorld》 (영어). Wolfram Research. 
• Weisstein, Eric Wolfgang. “Piecewise continuous”. 《Wolfram MathWorld》 (영어). Wolfram Research.