Bounded·Compact 연산자와 정의역

무한 대각 행렬부터 시작하기

ℓ2는 제곱합이 유한한 무한 수열의 Hilbert 공간입니다. 표준 기저 eₖ는 k번째 좌표만 1입니다. 대각 사상 Teₖ=λₖeₖ의 경우 하나의 좌표만 넣어도 증폭률 |λₖ|를 확인할 수 있습니다.

모든 λₖ가 유한해도 하나의 공통 상한이 없으면 bounded가 아닙니다. 이 사상이 ℓ2 전체에서 bounded일 필요충분조건은 supₖ|λₖ|<∞이며 그 상한이 연산자 노름입니다.

항등과 compact의 차이

항등 I는 노름 1로 bounded입니다. 그러나 기저열의 상은 서로 거리가 √2여서 수렴 부분열이 없습니다. Compact 사상은 모든 유계열의 상에 수렴 부분열이 있도록 해야 하므로 무한 차원 항등은 compact하지 않습니다.

λₖ=k⁻ᵅ, α>0이면 상황이 다릅니다. 처음 N개만 남기는 유한 rank Tₙ과 원래 사상의 차이 노름은 다음과 같습니다.

이는 0으로 가므로 T는 compact입니다. 유한 rank 연산자는 compact이고 compact 연산자의 연산자 노름 극한도 compact이라는 정리를 사용합니다. 단지 몇 기저상의 크기가 작다는 관찰만으로 일반 compactness를 증명하는 것은 아닙니다.

증폭 사상의 정의역

λₖ=k이면 eₖ의 상 노름이 k로 증가합니다. 무한 사상은 ℓ2 노름에 대해 unbounded입니다. 모든 ℓ2 수열을 다시 ℓ2로 보내지도 않습니다. xₖ=1/k는 ℓ2에 있지만 Tx는 상수 수열이 되어 ℓ2 밖입니다.

이 자연 정의역은 유한 지지 수열을 포함하므로 조밀합니다. 정의역을 가진 unbounded 연산자와 ℓ2 전체의 bounded 사상을 같은 대상으로 취급하지 마세요. 미분 연산자의 함수 공간에서도 같은 문제가 나타납니다.

실습과 AI 연결

기본 감쇠 모형 α=1, N=4는 정확한 무한 노름 1, 절단 꼬리 노름 .2를 가집니다. 증폭 모형의 유한 N 노름은 N이며 N=4에서 4입니다. 화면의 ∞는 수학적 비유계성이지 부동소수점 overflow가 아닙니다. 파랑은 대각 계수, 주황은 유한 절단입니다. α는 감쇠 모형에서만 사용합니다.

신경 연산자의 작은 이산 행렬이 안정적이라는 사실을 연속 모형의 안정성으로 일반화하려면 해상도에 독립인 상한과 올바른 노름·정의역이 필요합니다.

확인 문제와 해설

1. α=2, N=3의 꼬리 노름은? 1/16입니다. 첫 생략 계수가 최댓값입니다.
2. 항등 절단의 꼬리 노름은? 항상 1입니다. eₙ₊₁이 이를 달성합니다.
3. 유한 행렬은 모두 compact인데 항등도 극한 아닌가요? 수렴 방식이 다릅니다. 항등 절단은 strong 수렴하지만 연산자 노름으로 수렴하지 않습니다.

추가 읽기: MIT 18.102, Functional Analysis.