연속 함수

위상수학과 해석학에서 '''연속 함수'''(連續函數, , )는 정의역의 점의 ‘작은 변화’에 대하여, 치역의 값 역시 작게 변화하는 함수이다. 즉, 변수가 연속적으로 변할 때 함숫값도 연속적으로 변하는 함수이다. 이는 함숫값에 갑작스러운 변화가 생기지 않는다는 것을 의미한다. 더 정확하게는, 임의의 작은 함숫값의 변화에 대해, 충분히 작은 범위 안에 있는 변수의 함숫값이 그 변화보다 작도록 할 수 있을 때 함수가 연속이라고 한다. 연속이 아닌 함수는 '''불연속 함수(''')라고 한다. 예를 들어 성장하는 중인 나무의 특정 시각 에서의 높이가 라고 하면 함수 는 연속 함수로 볼 수 있다. 반면 특정 시각 에 은행 계좌에 들어있는 돈을 라고 하면 함수 은 돈을 넣거나 뺄 때마다 순간적으로 변하므로 불연속 함수로 볼 수 있다. 19세기까지 수학자들은 다소 직관적인 방식에 의존하여 연속이라는 개념을 사용하였지만, 이후 소위 엡실론-델타 논법을 사용하여 연속을 엄밀하게 정의하였다.
연속 함수는 실수 집합 또는 복소수 집합 사이의 함수에 대하여 정의할 수 있으며, 보다 일반적으로 임의의 거리 공간 또는 위상 공간 사이의 연속 함수를 정의할 수 있다. 두 집합 사이의 함수 가운데 어떤 것들이 연속 함수인지는 집합 위에 정의된 위상에 따라 다르다. 이를테면, 스콧 연속 함수는 스콧 위상을 부여한 원순서 집합 사이의 연속 함수를 일컫는다. 다른 한편, 정의역이나 공역의 거리 구조를 바꾸더라도 위상이 변하지 않는다면 연속 함수의 개념은 변하지 않는다.
연속 함수 조건의 더 강한 형태로는 균등 연속 함수나 립시츠 연속 함수 따위가 있다. 다만, 이 조건들을 정의하려면 위상 공간 구조만으로는 부족하다. 균등 연속 함수의 정의역과 공역은 적어도 균등 공간 구조를 갖추어야 하며, 립시츠 연속 함수가 정의되기 위해서는 거리 공간 구조가 필요하다.
점 에서의 연속: 임의의 의 근방 ''V''에 대하여, 인 의 근방 ''U''가 존재한다.
위상 공간  및  사이의 함수  및 점 에 대하여, 다음 두 조건이 서로 동치이다. 이 조건을 만족시키는 를 '''점 에서 연속'''()이라고 한다.
* 임의의 의 근방 에 대하여, 인 의 근방 가 존재한다.
* 임의의 그물 에 대하여, 만약 라면 이다.
* . 여기서 은 함수의 극한이다.
위상 공간  및  사이의 함수 에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 함수를 '''연속 함수'''라고 한다.
* 임의의 열린집합 에 대하여, 원상 는 열린집합이다.
* 임의의 닫힌집합 에 대하여, 원상 는 닫힌집합이다.
* 는 의 모든 점에서 연속이다.
* 임의의 부분 집합 에 대하여, 항상 이다. 여기서 은 폐포를 일컫는다.
* 임의의 부분 집합 에 대하여, 항상 이다.
위상 공간  및  사이의 함수 가 다음 조건을 만족시킨다면, 를 '''점렬 연속 함수'''(點列連續函數, )라고 한다.
* 임의의 점렬  및 점 에 대하여, 만약 라면 이다.
위상 공간 , ,  및 연속 함수  및 에 대하여, 그 합성
:
역시 연속 함수이다.
연속 전단사 함수 의 역함수 는 일반적으로 연속 함수가 아니다. 그러나 만약 가 콤팩트 공간이며, 가 하우스도르프 공간이라면, 는 연속 함수가 된다. 즉, 이 경우 연속 전단사 함수는 위상 동형 사상과 동치이다. 이는 콤팩트 공간 에서 하우스도르프 공간 으로 가는 모든 연속 함수는 닫힌 함수이기 때문이다.
두 위상 공간 ,  사이의 연속 함수 에 대하여, 다음이 성립한다.
* 만약 가 콤팩트 공간이라면, 도 콤팩트 공간이다.
* 만약 가 연결 공간이라면, 도 연결 공간이다.
* 만약 가 경로 연결 공간이라면, 도 경로 연결 공간이다.
임의의 두 위상 공간 ,  사이의 연속 함수는 항상 점렬 연속 함수이다. 만약 가 제1 가산 공간이라면, 와  사이의 함수에 대하여 연속 함수와 점렬 연속 함수가 서로 동치이다.
균등 공간 사이에서, 모든 균등 연속 함수는 연속 함수이다. 거리 공간 사이에서, 모든 립시츠 연속 함수는 균등 연속 함수이며, 따라서 연속 함수이다. 정의역이 콤팩트 균등 공간인 경우, 연속성은 균등 연속성과 동치이다 (하이네-칸토어 정리).
=== 거리 공간에서의 연속 함수 ===
두 거리 공간  및  사이의 함수  및 점 에 대하여, 다음 세 조건이 서로 동치이다.
* 는 에서 연속이다.
* 임의의 양의 실수 에 대하여, 다음 조건을 만족시키는 양의 실수 이 존재한다.
** 임의의 에 대하여, 만약 라면, 이다.
* 는 에서 점렬 연속이다. 즉, 임의의 점렬 에 대하여, 만약 라면 이다.
=== 실수값 연속 함수 ===
임의의 위상 공간  위의 두 연속 함수
:
에 대하여, 다음이 성립한다.
* 는 연속 함수이다.
* 는 연속 함수이다.
** 상수 함수는 연속 함수이므로, 만약 가 임의의 실수 라면, 는 연속 함수이다. 특히, 인 경우 는 연속 함수이다.
* 만약 모든 에 대하여 이라면, 는 연속 함수이다.
=== 실수 위의 함수 ===
어떤 구간  및 위상 공간  사이의 함수  및 실수 에 대하여, 다음을 정의하자.
* 만약 이라면 는 에서 '''우연속'''()이다.
* 만약 이라면 는 에서 '''좌연속'''()이다.
실수 구간 으로부터 위상 공간 로 가는 함수  및 임의의 실수 에 대하여, 다음이 성립한다.
* 는 에서 연속이다.
* 는 에서 좌연속이며 우연속이다.
=== 실수 위의 실수값 함수 ===
구간  및 함수  및 점 에 대하여, 다음 조건들이 서로 동치이다.
* 는 에서 연속이다.
* 임의의 양의 실수 에 대하여, 다음 조건을 만족시키는 양의 실수 이 존재한다.
** 임의의 에 대하여, 만약 라면, 이다.
* 는 에서 점렬 연속이다. 즉, 임의의 점렬 에 대하여, 만약 라면 이다.
파일:Function-1 x.svg|섬네일|함수 의 그래프. 이 함수의 정의역은 0이 아닌 실수의 집합 이며, 이는 연속 함수이다. 만약 이라고 추가 정의하면 이 함수는 0에서 불연속이 된다. 만약 로 정의하면 이 함수는 0에서도 연속이 되며, 복소평면에서 리만 구로 가는 유리형 함수로 확장할 수 있다. 이는 이 함수를 복소함수로 보았을 때, 0은 위수가 1인 극점이고, 유한한 주부분을 가진 로랑 급수가 특이점 주변에서 정의될 수 있기 때문이다.
실수선에 표준적인 위상을 정의하였을 때, 다음 함수들은 연속 함수이다.
* 모든 다항식 
* 지수 함수 
* 사인 
* 코사인 
* 절댓값 
다음 함수는 연속 함수가 아니다.
* 부호 함수 
=== 정의 ===
실수에서 실수로 가는 실함수는 데카르트 좌표계에서 그래프로 나타낼 수 있다. 이 때 대략적으로 말하면, 그래프가 전체 구간에서 끊어지지 않은 하나의 곡선일 때 함수가 연속이다. 수학적으로 엄밀한 정의는 극한을 이용하여 정의한다. 변수 에 대한 함수 가 주어졌을 때, 실수 에 대해 가 로 갈 때 의 극한이 와 같다면 함수가 '''에서 연속'''이라고 한다.
함수의 연속을 정의하는 방법은 여러 가지가 있는데, 이는 함수의 정의역의 성질에 따라 달라진다. 방금 정의는 특정 점에서의 연속에 대한 정의였다. 한편 어떤 열린 구간에 대하여, 구간이 함수의 정의역에 속하고 구간 내의 모든 점에서 함수가 연속일 때, 함수가 '''구간에서 연속'''이라고 한다. 또한 함수가 구간 에서 연속일 때(즉, 실직선 위에서 연속일 때), 이를 단순히 '''연속 함수'''라고 부른다. 예를 들어 다항 함수는 모든 점에서 연속이므로 연속 함수이다.
어떤 구간이 열린 구간이 아니라 반열린 구간 혹은 닫힌 구간인 경우, 그 구간이 함수의 정의역에 속하고 구간 안의 모든 내부점에서 함수가 연속이며 구간의 끝점에서의 함숫값이 구간 내의 변수가 끝점으로 갈 때의 함숫값과 같을 때, 함수가 '''구간에서 연속'''이라고 한다. 예를 들어 함수 는 정의역인 반열린 구간 에서 연속이다.
일반적으로 정의역 "바깥의" 점의 연속성 여부는 다뤄지지 않는다. 예를 들어 와 는 각각 과 는 정의역에 해당하는 구간의 모든 점에서 연속이므로, 통상적으로 함수가 연속 함수라고 말한다. 일부 저자는 고립점을 제외한 실수 전체를 정의역으로 가지는 부분 정의 함수의 연속을 다룬다. 이러한 정의에 따르면, 위 함수들은 구간에 속하지 않는 점에서 불연속이다. 부분 정의 함수에 대하여 어떤 점이 정의역의 폐포에 속할 때, 이 점이 정의역에 속하지 않거나 이 점에서 연속이 아니라면 함수가 그 점에서 불연속이라고 한다. 예를 들어 와 는 0에서 정의되지 않으므로 0에서 연속이 아니다. 어떤 점에서 함수가 불연속일 때 이 점을 불연속점이라고 한다.
연속은 아래와 같이 다양한 방식으로 정의할 수 있다.
==== 함수의 극한을 이용한 정의 ====
함수 와 함수의 정의역에 속하는 점 에 대해, 가 정의역 내에서 로 다가갈 때 그 극한 가 존재하고 와 같다면, 는 에서 연속이다. 수학적으로 아래처럼 표기할 수 있다.
구체적으로 이는 다음의 세 가지 조건을 함의한다. 첫째, 는 에서 정의되어야 한다.(즉, 가 의 정의역에 속해야 한다.) 둘째, 극한이 존재해야 한다. 셋째, 극한값이 와 같아야 한다. (한편 이 정의에서함수의 정의역은 고립점을 가지지 않는다고 가정한다.)
==== 근방을 이용한 정의 ====
실수에서 점 의 근방이란 로부터 일정한 거리 내에 있는 모든 점을 포함하는 구간이다. 직관적으로 말하면, 점 에 대하여 의 근방의 길이가 0으로 수렴할 때 그 근방에서 함숫값의 구간이 점 를 포함하면서 길이가 0에 수렴하면 함수가 에서 연속이라고 한다. 더 정확하게는 함수의 치역에서 임의의 근방 이 주어졌을 때, 인 모든 에 대해 를 만족하도록 하는 정의역 위에서의 근방 을 항상 잡을 수 있다면 함수가 에서 연속이라고 한다.
근방은 임의의 위상 공간에 대해 정의할 수 있는 개념이기 때문에, 함수의 연속은 실수 위에서 정의된 실함수뿐만 아니라 위상 공간 위에서 정의된 함수에 대해서 보다 일반적으로 정의할 수 있다. 함수는 고립점 위에서 자동으로 연속이 되며, 예를 들어 정의역이 정수인 실함수는 항상 연속이다.
==== 수열의 극한을 이용한 정의 ====
과 으로 수렴하는 수열 에 대해 은 로 수렴한다. 따라서 는 0에서 연속이다.
정의역  위의 점들로 구성된 임의의 수열 에 대해, 이 수열이 로 수렴하고 그에 대응하는 수열 이 로 수렴한다면, 는 에서 연속이라고 한다. 수학적으로 아래처럼 표기할 수 있다.
==== 엡실론-델타 논법을 이용한 정의 ====
엡실론-델타 논법을 이용한 연속의 정의에 대한 설명: 함수 f가 x=2에서 연속임을 보이려고 한다. 이때 ε=0.5라는 값이 주어졌다고 하자. 그러면 δ=0.5일 때, 2를 기준으로 2-δ보다 크고 2+δ보다 작은 모든 x는 함숫값이 f(2)-ε보다 크고 f(2)+ε보다 작다. 즉 조건을 만족하는 δ=0.5를 잡을 수 있다. 방금은 ε 값으로 0.5가 주어졌지만, 아무리 작은 ε가 주어지더라도 조건을 만족하는 δ를 잡을 수 있다면 f는 x=2에서 연속이다.
엡실론-델타 논법을 이용하여 연속을 정의할 수 있다. 함수 과 정의역  위의 점 에 대해, 다음을 조건을 만족하면 가 에서 연속이라고 한다.
''임의의 작은 실수 이 주어졌다고 하자. 이때 어떤 실수 이 존재하여 인 정의역 위의 모든 에 대해 함숫값 가 를 만족한다.''
이를 아래처럼 표현할 수도 있다.
''임의의 에 대해, 이 존재하여서 모든 에 대해 을 만족한다.''
직관적으로 설명하면, 이는 에 대한 함숫값 이 를 기준으로 하는 어떤 작은 근방 내에 있도록 하고 싶다면 가 를 기준으로 하는 작은 근방 내에 있어야 한다는 것과 같다. 이때 를 기준으로 하는 근방이 아무리 작더라도 이를 만족하는 를 기준으로 하는 근방을 항상 찾을 수 있다면, 함수가 에서 연속이라고 한다.
=== 연속 함수의 구성 ===
파일:Brent_method_example.svg|오른쪽|섬네일|삼차 함수의 그래프. 삼차 함수는  위에서 연속이다.
주어진 함수가 연속인지 판별하기 위해서는 함수가 위의 연속의 정의 중 하나를 만족하는지 알아보면 된다. 한편 어떤 정의역 위에서 정의된 두 연속 함수가 주어졌을 때, 두 함수의 합으로 만들어지는 함수 또한 같은 정의역 위에서 연속이다. 즉, 두 연속 함수
가 주어졌을 때, 두 연속 함수의 합
는 에서 연속이다.(이때 모든 에 대해 로 정의된다.) 두 연속 함수의 곱에 대해서도 같은 결과가 성립한다. 즉, 두 연속 함수의 곱
는 에서 연속이다.(이때 모든 에 대해 로 정의된다.)
한편 상수 함수와 항등 함수는 실수  위에서 연속이다. 그리고 모든 다항 함수는 상수 함수와 항등 함수의 합과 곱들로 나타낼 수 있다. 따라서 위의 결과들에 의해 다항 함수는  위에서 연속이다.
파일:Homografia.svg|오른쪽|섬네일|유리 함수의 그래프. 에서 함수는 정의되지 않는다. 수직선과 수평선은 유리함수의 점근선이다.
위와 비슷한 방식으로, 연속 함수의 역수
는 에서 연속이다.(이때 인 모든 에 대해 로 정의된다.) 따라서 의 근을 제외한 정의역에서, 두 연속 함수의 몫
는 에서 연속이다.(이때 인 모든 에 대해 로 정의된다.) 예를 들어 아래 함수
은 분자와 분모가 모두 연속 함수이므로 인 모든 실수점 위에서 연속이다. 에서는 함수가 정의되지 않으므로 연속성에 대해 논의할 수 없다.
함수의 합성으로 연속 함수를 구성하는 것도 가능하다. 두 연속 함수
과 
가 주어졌을 때, 두 함수의 합성 는 연속이다.(이때 모든 에 대해 로 정의된다.) 예를 들어 아래 함수
은 에서 연속인 함수 와 , 그리고 의 합성이므로 에서 연속이다.
* 
* 반연속 함수
* 불연속점의 분류
* 균등 연속 함수
* 절대 연속 함수
* 립시츠 연속 함수
* 횔더 연속 함수
* 동등 연속 함수족
* 유계 작용소
* 
* 
* 
* 
* 
 
분류:미적분학
분류:함수의 종류