점별 수렴과 균등 수렴

무엇을 고정하고 기다리는가

함수열의 점별 수렴은 x를 먼저 고정한 뒤 그 점에서 원하는 정확도에 도달할 N을 찾는 것입니다. 균등 수렴은 정의역의 모든 x에 같은 N을 적용합니다.

N이 x에 의존해도 되는지가 핵심입니다. 여러 점에서 오차가 줄어드는 그림만으로 이 양화사 순서의 차이를 없앨 수 없습니다.

xⁿ의 점별 극한

[0,1)에서는 xⁿ→0이고 x=1에서는 항상 1입니다. 따라서 점별 극한은 끝점에서 점프합니다. n=8,x=0.5에서 오차는 1/256으로 작지만 끝점 가까운 다른 점에서는 큽니다.

모든 유한 n에서 x<1을 1에 충분히 가깝게 고르면 xⁿ을 1에 임의로 가깝게 만들 수 있습니다. 그러므로 오차의 supremum은 1입니다. 그러나 x<1에서 오차는 항상 1보다 작고 x=1에서는 오차가 0이어서 supremum을 달성하는 점은 없습니다. 최대값과 상한을 구분하세요.

균등 수렴의 반례를 수치와 연결하기

예를 들어 ε=1/2를 고정합니다. 어떤 N을 주어도 n=N에서 x=(3/4)^(1/n)<1을 고르면 오차가 3/4로 남습니다. 따라서 모든 점에 공통인 N은 없습니다. 유한 표본에서 최대 오차가 1보다 작게 나오는 것은 이 해석적 반박과 모순되지 않습니다.

반면 [0,r],r<1로 정의역을 제한하면 sup xⁿ=rⁿ→0이므로 균등 수렴합니다. 함수열만이 아니라 어떤 정의역에서 수렴을 말하는지도 명시해야 합니다.

균등 수렴의 간단한 비교 예제

fₙ(x)=x/n은 [0,1]에서 점별 극한 0을 갖고 전체 오차가 1/n 이하입니다.

ε>0에 N>1/ε를 고르면 모든 x와 n≥N에서 원하는 오차를 얻습니다. 여기서는 supremum이 x=1에서 실제 최대값으로 달성됩니다. 실습의 두 번째 모형이 이 경우입니다.

연속성과 극한 연산

연속 함수열이 균등 수렴하면 극한도 연속입니다. 한 점 근처에서 |f(y)−f(x)|를 양쪽 근사 오차와 중간 f_N의 연속성 오차로 세 부분 나누면 증명할 수 있습니다. xⁿ의 불연속 극한은 균등 수렴이 아님을 보여 주는 또 다른 증거입니다.

하지만 도함수의 극한이나 적분의 교환에는 별도 가정이 필요합니다. 균등 수렴 하나를 모든 연산 교환의 허가로 사용하지 마세요. 특히 원함수의 균등 수렴만으로 도함수들의 수렴을 보장하지 않습니다.

AI 연결과 확인 문제

한정된 평가점의 오차 감소는 전체 입력 공간의 worst-case 근사 오차 감소와 다릅니다. 신경망 근사 정리나 함수 추정의 주장을 읽을 때 점별·L²·균등 중 어떤 오차를 제어하는지 확인하세요.

1. xⁿ이 [0,0.9]에서 균등 수렴하나요? 예. 상한이 0.9ⁿ입니다.
2. [0,1]에서 오차의 최대값이 1인가요? 아니요. supremum이 1입니다.
3. 점별 수렴의 N은 x에 의존할 수 있나요? 그렇습니다.

추가 읽기: MIT 공식 강좌 안내. 강좌 범위를 확인해 보충 자료로 연결하며, 아래의 작은 예제와 논증은 직접 구성했습니다.