|  |
| --- |
| 관련 문서 둘러보기 |
| 미적분학 |
| * 미적분학의 기본정리

* 함수의 극한
* 연속 함수

* 평균값 정리
* 롤의 정리

 |
| 미분

| 
정의 |
| --- |
| 
* 미분
	+ 일반화
	+ 무한소
	+ 주요 부분
	+ 전미분

 |
| 
개념 |
| 
* 미분 표기법
* 고계 도함수
* 변수 변환
* 테일러 정리

 |
| 법칙과 항등식 |
| 
* 합 규칙
* 곱 규칙
* 몫 규칙
* 멱 규칙
* 연쇄 법칙
* 역함수의 미분
* 음함수의 미분

 |

 |
| 적분

|  |
| --- |
| * 적분표
 |
| 
정의 |
| * 부정적분
* 적분 (이상적분)
* 리만 적분
* 르베그 적분
* 경로적분
 |
| 
적분법 |
| * 부분적분
* 디스크 방법
* 원통셸 방법
* 치환적분 (삼각 치환)
* 부분분수 적분법
* 적분 순서
* 적분의 점화식
 |

 |
| 수열과 급수

|  |
| --- |
| * 기하급수 (산술-기하 수열)
* 조화급수
* 교대급수
* 멱급수
* 이항급수
* 테일러 급수
 |
| 수렴판정법 |
| * 일반항 판정법
* 비판정법
* 근판정법
* 적분판정법
* 비교판정법
* 극한비교판정법
* 교대급수판정법
* 코시 응집판정법
* 디리클레 판정법
* 아벨 판정법
 |

 |
| 벡터 미적분학

|  |
| --- |
| * 기울기
* 발산
* 회전
* 라플라시안
* 방향도함수
* 벡터 미적분표
 |
| 
정리 |
| * 발산정리
* 기울기정리
* 그린 정리
* 켈빈-스토크스 정리
 |

 |
| 다변수 미적분학

| 
형식 |
| --- |
| * 행렬
* 텐서
* 외미분
* 기하
 |
| 
정의 |
| * 편미분
* 중적분
* 선적분
* 면적분
* 삼중적분
* 야코비안
* 헤세 행렬
 |

 |
| 특수한 경우
* 분수계 미적분학
* 말리아빈 미적분
* 확률미적분학
* 변분법

 |
| * v
* t
* e
 |

해석학에서 **균등수렴**(均等收斂, uniformly convergent)하는 함수열은 주어진 함수로 일제히 '동일한 속도'로 수렴하는 함수열이다. 균등수렴은 점마다 수렴보다 더 강한 개념이며, 점마다 수렴이 보존하지 않는 여러 성질(예: 연속성)을 보존한다.

균등수렴은 **고른수렴**, **평등수렴**(平等收斂), **일양수렴**(一樣收斂)이라고도 불린다.

정의
--

S는 임의의 집합, M은 거리공간, {\displaystyle f\_{n}\colon S\to M}을 함수열, {\displaystyle f\colon S\to M}을 또 하나의 함수라고 하자. 만약 임의의 \epsilon >0에 대해, 어떤 N이 존재하여, 임의의 {\displaystyle n>N}과 {\displaystyle x\in S}에 대해, {\displaystyle d(f\_{n}(x),f(x))<\epsilon }이라면, 함수열 f\_{n}이 (**균등극한**) f로 **균등수렴**한다고 하고, {\displaystyle f\_{n}\rightrightarrows f}로 표기한다. 균등수렴은

{\displaystyle \lim \_{n\to \infty }\,\sup \_{x\in S}\,d(f\_{n}(x),f(x))=0}
과 동치이다. 즉, 균등수렴은 함수열의 균등 노름 하의 수렴이다.

기본적으로,

* 만약 {\displaystyle f\_{n}\rightrightarrows f}이면, {\displaystyle f\_{n}|\_{S'}\rightrightarrows f|\_{S'}}이다. ({\displaystyle |\_{S'}}은 S의 부분집합 S'로의 제한)
* 만약 {\displaystyle f\_{n}\rightrightarrows f,} {\displaystyle g\_{n}\rightrightarrows g}이면, {\displaystyle f\_{n}\cup g\_{n}\rightrightarrows f\cup g}이다. (무한 개의 합집합에 대해서는 성립하지 않는다)

실함수
---

균등수렴은 실함수열에 대해서도 정의되며, 이때 위에서 사용된 d는 절댓값에 의한 거리로 특화된다. 덧셈이 정의되어 있으므로, 실함수항급수의 균등수렴도 논의할 수 있다. 실구간 I에 정의된 실수값함수들만을 논의하자면, 함수항급수 {\displaystyle \textstyle \sum \_{n=1}^{\infty }f\_{n}}의 균등수렴은 부분합 S\_{n}의 균등수렴으로 정의된다. **절대균등수렴**은 {\displaystyle \textstyle \sum \_{n=1}^{\infty }|f\_{n}|}의 균등수렴으로 정의된다. 절대균등수렴이면 반드시 절대수렴이고 균등수렴이다. 그러나, 절대수렴이고 균등수렴인 급수가 반드시 절대균등수렴인 것은 아니다.

이들 논의는 복소수, 나아가 노름 벡터 공간에 대해서도 잘 적용된다.

실함수열에 대해 기본적으로, 만약 {\displaystyle f\_{n}\rightrightarrows f,} {\displaystyle g\_{n}\rightrightarrows g}이면, {\displaystyle cf\_{n}\rightrightarrows cf}(c는 상수), {\displaystyle f\_{n}+g\_{n}\rightrightarrows f+g}이다. 만약 {\displaystyle f\_{n},g\_{n}} 둘 모두 균등유계이기도 하면, {\displaystyle f\_{n}g\_{n}\rightrightarrows fg}이다(균등유계가 아닐 경우 반례가 존재한다).

다음은 실함수항급수의 균등수렴에 대한 판정법들이다. 대다수는 실수항급수의 수렴판정법의 전제 조건이 정의역의 모든 곳에서 '균등적'으로 성립하는 것을 전제 조건으로 한다.

* (코시 수렴 판정법)실함수항급수가 수렴할 필요충분조건은 임의의 \epsilon >0에 대해, 어떤 N이 존재하여, 임의의 {\displaystyle n,m>N}과 {\displaystyle x\in I}에 대해, {\displaystyle \textstyle \left|\sum \_{k=n}^{m}f\_{k}(x)\right|<\epsilon }
* (바이어슈트라스 M-판정법)항상 {\displaystyle |f\_{n}(x)|\leq M\_{n}}이고, (양수항급수) {\displaystyle \textstyle \sum \_{n=1}^{\infty }M\_{n}}이 수렴하면, {\displaystyle \textstyle \sum \_{n=1}^{\infty }f\_{n}}은 절대균등수렴한다.
* (디리클레 판정법)만약 {\displaystyle \textstyle \sum \_{n=1}^{\infty }g\_{n}}의 부분합 S\_{n}이 균등유계이고, h\_{n}이 n에 대해 단조롭고, 0으로 균등수렴하면, {\displaystyle \textstyle \sum \_{n=1}^{\infty }g\_{n}h\_{n}}은 균등수렴한다.
* (아벨 판정법)만약 {\displaystyle \textstyle \sum \_{n=1}^{\infty }g\_{n}}이 균등수렴하고, h\_{n}이 n에 대해 단조롭고, 균등유계이면, {\displaystyle \textstyle \sum \_{n=1}^{\infty }g\_{n}h\_{n}}은 균등수렴한다.

연속성 보존
------

 이 부분의 본문은 균등수렴정리입니다.
점마다 수렴에서의 연속성 보존 반례. 연속함수열 sin*nx*는 [0, π]에서 불연속인 함수(빨간색)로 수렴한다.
S가 위상공간(예: 실구간)이라고 하자. 그러면 함수의 연속성을 논의 가능하며, **균등수렴정리**에 의하면, 연속함수열의 균등극한은 여전히 연속이다.

균등극한정리의 증명은 ε-δ 논법과 삼각부등식의 실례인

{\displaystyle |f(x)-f(y)|\leq |f(x)-f\_{n}(x)|+|f\_{n}(x)-f\_{n}(y)|+|f\_{n}(y)-f(y)|}
로 이루어진다.

점마다 수렴은 연속성을 보존하지 않는다.

더 나아가, 균등연속함수의 균등극한은 여전히 균등연속이다. 국소 콤팩트 공간에서는 연속성이 국소균등연속성과 동치이므로, 두 결론은 같은 얘기이다.

적분가능성
-----

리만 적분에 한하면, 적분가능 함수열의 균등수렴은 여전히 적분가능하고, 그 적분은 항별적분의 극한과 같다.

{\displaystyle \int \_{I}f=\lim \_{n\to \infty }\int \_{I}f\_{n}}
그러나 역은 성립하지 않는다.

실제로, 유계함수열의 균등수렴(여전히 유계)의 리만 상·하적분은 항별 상·하적분의 극한과 같다.

점마다 수렴은 리만 적분가능성을 보존하지 않는다.

르베그 적분에 대해서는, 더 많이 약화된 전제 조건을 사용할 수 있다.

미분가능성
-----

미분가능성에 대해서는 적분가능성과는 다르게, 함수열의 미분가능성과 균등수렴 조건만을 요구하는 것은 아니다.