연속 함수

위상수학과 해석학에서 **연속 함수**(連續函數, , )는 정의역의 점의 ‘작은 변화’에 대하여, 치역의 값 역시 작게 변화하는 함수이다. 즉, 변수가 연속적으로 변할 때 함숫값도 연속적으로 변하는 함수이다. 이는 함숫값에 갑작스러운 변화가 생기지 않는다는 것을 의미한다. 더 정확하게는, 임의의 작은 함숫값의 변화에 대해, 충분히 작은 범위 안에 있는 변수의 함숫값이 그 변화보다 작도록 할 수 있을 때 함수가 연속이라고 한다. 예를 들어 성장하는 중인 나무의 특정 시각 t에서의 높이가 H(t)라고 하면 함수 H는 연속 함수로 볼 수 있다. 반면 특정 시각 t에 은행 계좌에 들어있는 돈을 M(t)라고 하면 함수 M은 돈을 넣거나 뺄 때마다 순간적으로 변하므로 불연속 함수로 볼 수 있다. 19세기까지 수학자들은 다소 직관적인 방식에 의존하여 연속이라는 개념을 사용하였지만, 이후 소위 엡실론-델타 논법을 사용하여 연속을 엄밀하게 정의하였다.

연속 함수는 실수 집합 또는 복소수 집합 사이의 함수에 대하여 정의할 수 있으며, 보다 일반적으로 임의의 거리 공간 또는 위상 공간 사이의 연속 함수를 정의할 수 있다. 두 집합 사이의 함수 가운데 어떤 것들이 연속 함수인지는 집합 위에 정의된 위상에 따라 다르다. 이를테면, 스콧 연속 함수는 스콧 위상을 부여한 원순서 집합 사이의 연속 함수를 일컫는다. 다른 한편, 정의역이나 공역의 거리 구조를 바꾸더라도 위상이 변하지 않는다면 연속 함수의 개념은 변하지 않는다.

연속 함수 조건의 더 강한 형태로는 균등 연속 함수나 립시츠 연속 함수 따위가 있다. 다만, 이 조건들을 정의하려면 위상 공간 구조만으로는 부족하다. 균등 연속 함수의 정의역과 공역은 적어도 균등 공간 구조를 갖추어야 하며, 립시츠 연속 함수가 정의되기 위해서는 거리 공간 구조가 필요하다.

## 정의
섬네일|점 <math>x</math>에서의 연속: 임의의 <math>f(x)</math>의 근방 ''V''에 대하여, <math>f(U)\subseteq V</math>인 <math>x</math>의 근방 ''U''가 존재한다.
위상 공간 X 및 Y 사이의 함수 f\colon X\to Y 및 점 x\in X에 대하여, 다음 두 조건이 서로 동치이다. 이 조건을 만족시키는 f를 **점 <math>x</math>에서 연속**()이라고 한다.
* 임의의 f(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)이다.
* \lim_{x'\to x}f(x')=f(x). 여기서 \lim_{x'\to 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}은 폐포를 일컫는다.
* 임의의 부분 집합 B\subseteq Y에 대하여, 항상 \operatorname{cl}(f^{-1}(B))\subseteq f^{-1}(\operatorname{cl}B)이다.

위상 공간 X 및 Y 사이의 함수 f\colon X\to Y가 다음 조건을 만족시킨다면, f를 **점렬 연속 함수**(點列連續函數, )라고 한다.
* 임의의 점렬 x_i\in X 및 점 x\in X에 대하여, 만약 x_i\to x라면 f(x_i)\to f(x)이다.

## 성질
위상 공간 X, Y, Z 및 연속 함수 f\colon X\to Y 및 g\colon Y\to Z에 대하여, 그 합성
:g\circ f\colon X\to Z
역시 연속 함수이다.

연속 전단사 함수 f\colon X\to Y의 역함수 f^{-1}\colon Y\to X는 일반적으로 연속 함수가 아니다. 그러나 만약 X가 콤팩트 공간이며, Y가 하우스도르프 공간이라면, f^{-1}는 연속 함수가 된다. 즉, 이 경우 연속 전단사 함수는 위상 동형 사상과 동치이다. 이는 콤팩트 공간 X에서 하우스도르프 공간 Y으로 가는 모든 연속 함수는 닫힌 함수이기 때문이다.

두 위상 공간 X, Y 사이의 연속 함수 f\colon X\to Y에 대하여, 다음이 성립한다.
* 만약 X가 콤팩트 공간이라면, f(X)도 콤팩트 공간이다.
* 만약 X가 연결 공간이라면, f(X)도 연결 공간이다.
* 만약 X가 경로 연결 공간이라면, f(X)도 경로 연결 공간이다.

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

집합 X 및 위상 공간들의 족 (Y_i)_{i\in I} 및 함수족 (f_i\colon X\to Y_i)_{i\in I}이 주어졌을 때, 임의의 위상 공간 Z 및 함수 g\colon Z\to X에 대하여, 다음 두 조건이 서로 동치이다.
* X 위에 모든 f_i를 연속 함수로 만드는 가장 엉성한 시작 위상을 부여하였을 때, g는 연속 함수이다.
* 임의의 i\in I에 대하여, f_i\circ g는 연속 함수이다.
특히, 곱공간을 공역으로 하는 함수가 연속 함수일 필요충분조건은 성분별로 연속 함수인 것이다. 마찬가지로, 끝 위상과 몫공간에 대해서도 유사한 명제가 성립한다.

### 균등 공간 사이의 연속 함수
균등 공간 사이에서, 모든 균등 연속 함수는 연속 함수이다. 그 역은 일반적으로 성립하지 않는다. 정의역이 콤팩트 균등 공간인 경우, 연속성은 균등 연속성과 동치이다 (하이네-칸토어 정리).

### 거리 공간에서의 연속 함수
두 거리 공간 (X,d_X) 및 (Y,d_Y) 사이의 함수 f\colon X\to Y 및 점 x\in X에 대하여, 다음 세 조건이 서로 동치이다.
* f는 x에서 연속이다.
* 임의의 양의 실수 \epsilon>0에 대하여, 다음 조건을 만족시키는 양의 실수 \delta_\epsilon>0이 존재한다.
** 임의의 x'\in X에 대하여, 만약 d_X(x,x')라면, d_Y(f(x),f(x'))이다.
* 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는 연속 함수이다. 특히, r=-1인 경우 -f\colon X\to\mathbb R는 연속 함수이다.
* 만약 모든 x\in X에 대하여 f(x)\ne0이라면, 1/f는 연속 함수이다.

### 실수 위의 함수

어떤 구간 I\subset\mathbb R 및 위상 공간 Y 사이의 함수 f\colon I\to Y 및 실수 r\in I에 대하여, 다음을 정의하자.
* 만약 \lim_{x\to r^+}f(x)=f(r)이라면 f는 r에서 **우연속**()이다.
* 만약 \lim_{x\to r^-}f(x)=f(r)이라면 f는 r에서 **좌연속**()이다.

실수 구간 I\subset\mathbb R으로부터 위상 공간 Y로 가는 함수 f\colon I\to Y 및 임의의 실수 r\in I에 대하여, 다음 두 조건이 서로 동치이다.
* f는 r에서 연속이다.
* f는 r에서 좌연속이며 우연속이다.

## 예
[섬네일|함수 <math>x\mapsto 1/x</math>의 그래프. 이 함수의 정의역은 0이 아닌 실수의 집합 <math>\mathbb R\setminus\{0\}</math>이며, 이는 연속 함수이다. 만약 <math>0\mapsto0</math>이라고 추가 정의하면 이 함수는 0에서 불연속이 된다. 만약 <math>0\mapsto\infty</math>로 정의하면 이 함수는 0에서도 연속이 되며, [복소평면에서 리만 구로 가는 유리형 함수로 확장할 수 있다. 이는 이 함수를 복소함수로 보았을 때, 0은 위수가 1인 극점이고, 유한한 주부분을 가진 로랑 급수가 특이점 주변에서 정의될 수 있기 때문이다.]]
실수선에 표준적인 위상을 정의하였을 때, 다음 함수들은 연속 함수이다.
* 모든 다항식 \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

## 참고 문헌

* 

## 같이 보기
* 반연속 함수
* 불연속점의 분류
* 균등 연속 함수
* 절대 연속 함수
* 립시츠 연속 함수
* 횔더 연속 함수
* 동등 연속 함수족
* 유계 작용소

## 외부 링크
* 
* 
* 
* 
* 


분류:미적분학
분류:일반위상수학
분류:함수의 종류