최근 수정 시각 : 2022-05-19 08:26:37

균등수렴

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수( 변분법) · 다변수 ( 동차 · 숨은 함수( 다가 함수)) · 그래프 · 대칭 · 증감표 · 극값 · 절편 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙 · 스펙트럼 정리
극한 엡실론-델타 논법 · 수열의 극한 · 수렴 ( 균등수렴) · 발산 · 부정형 · 어림( 유효숫자) · 근방 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 ( 편도함수) · 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점) · 미분형식 · 미분방정식 ( 풀이) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 정적분 ( 예제) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 ( 선적분의 기본정리) · 평균값 정리 ( 롤의 정리) · 스토크스 정리 ( 발산 정리 · 그린 정리) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 · 아다마르 변환) · 2학년의 꿈 · 리시 방법 · 야코비 공식

해석
실수 · 좌표계 · 측도론 ( 측도 · 르베그 측도) · 실직선 · 유계( 콤팩트성) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소수( 복소평면) · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 해석기하학 · 미분기하학 · 해석적 정수론 ( 소수 정리 · 리만 가설미해결) · 벡터 미적분학 · 확률론 ( 확률변수 · 중심극한정리) · 수치해석학
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 카오스 이론 · 오일러 방정식 · 퍼지 논리 · 거리함수 · 분수계 미적분학 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. 점별 수렴2. 균등 수렴3. 예고로프 정리

Uniform Convergence. 고른 수렴 또는 평등 수렴이라고도 한다.

1. 점별 수렴

집합 [math(X)]와 거리공간 [math(\left(Y, d\right))]가 있을 때, [math(X)]에서 [math(Y)]로 가는 함수들의 열 [math(\left\{ f_n \right\})]을 생각해보자. 이 때, 일반적인 수열과 마찬가지로 [math(\left\{ f_n \right\})]이 "수렴"하는 경우를 생각해볼 수 있을 것이다.

수렴한다면 무엇에 수렴할까? 함수들의 수열이니 어떤 함수에 수렴하는 경우를 생각해볼 수 있을 것이다. 그렇다면, 함수에 수렴하는 것이 도대체 무엇일까?

[math(f_n(x))]는 [math(x)]를 고정시켜서 보면 [math({ f_n(x) })]이 [math({ n })]에 따라 변하는 "값"의 수열이 된다. 그렇다면 실수에서 정의된 수열과 마찬가지로 각각의 수열이 수렴하는 경우를 생각해볼 수 있다. 따라서 [math(x)]에 대응되는 수렴값이 존재하고, 우리는 그것을 [math({ g(x) })]라고 부를 수 있을 것이다. 즉, [math(f_n(x) \overset{n\to \infty}{\longmapsto} {g(x)})]이다. 그렇다면, [math(X)]에 속하는 모든 [math(x)]에 대해서 수열 [math(\left\{ f_n(x) \right\}_{n=1}^{\infty})]가 수렴할 때, [math(f_n \mapsto g)]라고 쓸 수 있을 것이다. 이렇게 생각해보면 함수의 수열 [math(\left\{ f_n \right\})]은 [math({ g })]에 수렴하는 것이다. 이런 방식으로 함수가 수렴하는 것은 각각의 점 [math({x})]마다 수열 [math(\left\{ f_n(x) \right\})]가 수렴하는 것이기 때문에 점마다 수렴 또는 점별 수렴(Pointwise Convergence)라고 한다.

이렇게 하면 함수의 수열이 수렴하는 것이 정의된다. 그런데 점별 수렴할 때는 [math(\left\{ f_n \right\})]의 중요한 성질이 [math({g})]에 보존되지 않는다는 심각한 문제점이 발견되었다.

예를 들어보자. [math(f_n(x) = \cos^{2n}(\pi x))][1]라고 할 때, [math(f(x) = 1 \left(x \in \mathbb{Z} \right),\ f(x) = 0 \left(x \notin \mathbb{Z} \right))][2]이다. 즉, [math({f_n(x)})]는 모두 연속 함수인데 [math(f(x))]는 [math(x \in \mathbb{Z})]에서 불연속이다! 그 외에도 미분 가능성, 적분 가능성 등등이 전혀 보존되지 않기도 하며, 설령 가능하다 하더라도 그 미분계수 및 적분값이 일치하지 않을 수 있다는 사실이 밝혀졌다.[3]인 함수 [math(\displaystyle f_{n}(x)=\begin{cases} n-n^2x & x \in (0, \frac{1}{n}] \\ 0 & x \in (\frac{1}{n}, 1]\end{cases})]를 정의한 뒤, 이 함수의 수렴을 확인해보면, 이 함수는 [math(f=0)]으로 점별수렴한다. 하지만, [math(\displaystyle\int_{0}^{1}{\lim_{n\to 0}{f_{n}(x)dx}}=\int_{0}^{1}{f(x)dx}=0\ne1=\lim_{n\to 0}{\int_{0}^{1}{f_{n}(x)dx}})]임은 쉽게 알 수 있다.] 따라서 더 강력한 조건이 필요한데... 이 때 나타난 것이 바로 카를 바이어슈트라스가 제안한 균등 수렴의 개념이다.

2. 균등 수렴

균등 수렴의 개념을 생각하기에 앞서 점별 수렴의 개념을 다시 생각해보자. 점별 수렴은 원래 수열을 정의역의 각각의 점에 대한 수열로 나눠서 각 수열이 수렴하면 원래 수열이 수렴값의 함수에 수렴한다고 생각하는 개념이다. 너무나도 우회하는 개념이 아닌가? 우리가 원하는 것은 각각의 수열의 수렴이 아니라 함수 자체의 수렴이었다. 실수열이 수렴하는 것의 정의는 무엇인가? [math( \left\{a_n\right\} )]이 있을 때, 임의의 양수 [math( \epsilon )]이 주어지면 충분히 큰 자연수 [math( N )]이 있어서 [math( n\ge N )]일 때 [math( \left\vert {a_n}-\alpha \right\vert < \epsilon )]이라는 것이었다. 균등 수렴도 이와 비슷한 방식으로 정의한다. 즉, 임의의 [math( \epsilon >0)]을 잡을 때, 자연수 [math( N )]이 있어서 [math( n\ge N )]이면 정의역 [math( X )]에 속하는 모든 [math( x )]에 대해 [math( d\left(f_n(x), g(x) \right) < \epsilon )]이 성립하는 것을 [math( \left\{f_n\right\} )]이 [math( g )]에 균등 수렴한다고 정의한다. 이를 다시 쓰면,
[math(\forall \epsilon >0, \exists N \in \mathbb{N} \ \text{s.t.} \ \forall x\in X, \ n\geq N \Longrightarrow d\left(f_n(x), g(x) \right) < \epsilon )]
이라는 것이다. 이는 곧
[math(\displaystyle \forall \epsilon >0, \exists N \in \mathbb{N} \ \text{s.t.} \ n\geq N \Longrightarrow \sup_{x\in X} \ d\left(f_n(x), g(x) \right) \leq \epsilon )]
이라는 말과 같다. 따라서 함수열 [math( \left\{f_n\right\} )]이 [math( g )]로 균등수렴한다는 것은 실수열 [math(\displaystyle \left(\sup_{x\in X} d\left(f_n(x), g(x) \right) \right)_{n\in \mathbb{N}} )]이 0으로 수렴한다는 말이 된다.

그리고 이를 기호로는 [math( f_n \rightrightarrows g)]와 같이 나타낸다.

놀랍게도, 균등 수렴하는 함수열은 각 항이 연속 함수일 때 극한 함수도 연속 함수이며, 각 항이 적분 가능하면 극한 함수도 적분 가능하고, 심지어 이 경우에는 각 항의 적분의 극한이 극한 함수의 적분이라는 것까지도 알려져 있다! 다만, 미분가능성의 경우에는 좀 상황이 다르게 돌아가는데, 다른 성질과 비슷하게 조건을 줘도 극한 함수가 미분 가능하지 않을 경우가 생긴다. [4]

3. 예고로프 정리

유한 측도를 갖는 집합에서 분해 가능 거리공간[5]으로 가는 함수열이 거의 모든 점에서 점별수렴하면, '거의' 균등수렴한다. 즉, 측도공간 (X,Σ,μ)(X,\Sigma,\mu)과 분해 가능 거리공간 (Y,d)(Y,d)가 주어졌다고 하자. 이 때, XX의 유한측도를 갖는 부분집합 위에서 정의된 함수열 fn:EYf_{n}:E\to Yff로 거의 모든 점에서 점별수렴하면, 임의의 양수 ϵ\epsilon에 대하여, 적당한 가측집합 FEF\subset E가 존재하여, fnf_{n}FF 위에서 ff로 균등수렴하고, μ(EF)<ϵ\mu (E-F)<\epsilon을 만족한다.



파일:CC-white.svg 이 문서의 내용 중 전체 또는 일부는 문서의 r28에서 가져왔습니다. 이전 역사 보러 가기
파일:CC-white.svg 이 문서의 내용 중 전체 또는 일부는 다른 문서에서 가져왔습니다.
[ 펼치기 · 접기 ]
문서의 r28 ( 이전 역사)
문서의 r ( 이전 역사)


[1] 편의 상 [math(f_n : \mathbb{R} \mapsto \mathbb{R})]라고 하자. [2] [math({ x })]가 정수이면 [math(\cos^2(\pi x) = 1)]이지만, 정수가 아니면 [math(0 \le \cos^2(\pi x) < 1)]이다. 즉 정수 집합을 판별하는 함수다. [3] 자세한 예시는 해석학 교재를 찾아보자.
간단한 예시를 들자면 [math(f_{n}:\left(0, 1\right]\mapsto\mathbb{R})
[4] 하지만 비슷한 정리는 있다. 이 정리는 요구하는 것이 원래 수열이 균등 수렴할 것이 아니라 각 항의 미분이 균등수렴할 것이며, 여기에 정의역의 한 점 [math( x_0 )]에서 [math( \left\{f_n(x_0)\right\} )]이 수렴할 것까지 조건으로 요구한다. 이 모든 조건을 만족할 경우 [math( \left\{f_n \right\} )]가 균등 수렴하고 각 항의 미분의 극한이 극한 함수의 미분이다. [5] 가산 조밀집합을 갖는 거리공간. 예컨데 R\mathbb{R}은 거리공간이고, Q\mathbb{Q}가 가산 조밀집합이므로, R\mathbb{R}은 분해 가능 거리공간이다.