닫힌 그래프정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

함수해석학에서, 닫힌 그래프정리(-graph定理, 영어: closed graph theorem)는 두 바나흐 공간 사이의 선형작용소에 대하여, 연속성닫힘이 서로 동치라는 정리이다.

정의[편집]

바나흐 공간 X, Y 사이의 선형변환 T\colon X\to Y그래프 G(T)\subset X\times Y

G(T)=\{(x,Tx)|x\in X\}

이다. 닫힌 그래프정리에 따르면, 다음 두 조건이 서로 동치이다.

일반적으로, X가 임의의 위상공간이고 Y가 하우스도르프 공간일 경우, 임의의 함수 T:X→Y에 대해서 T가 연속이면 G(T)는 닫힌 집합이다. 하지만 그 역은 바나흐 공간 사이의 선형변환의 경우에만 성립한다.

증명[편집]

먼저 T가 연속이라 가정하자. 그리고 H := X×Y-G(T)에서 한 점 (a, b)를 잡으면, T(a)≠b가 된다. Y가 하우스도르프이므로 T(a)와 b를 포함하는 겹치지 않는 열린 집합 U, V가 존재한다. 그런데 T가 연속이므로, 적당한 열린 집합 W∋a가 존재하여 T(W)⊆U가 된다. 따라서 W×V∋(a, b)이므로 H는 열린 집합이 되고, G(T)는 닫힌 집합이 된다.

거꾸로 G(T)가 X×Y에서 닫힌 집합이라 가정하자. 사영함수 A:G(T)→X와 B:X×Y→Y를 각각 A(x, Tx) = x, B(x, y) = y로 잡으면, 정의상 A와 B는 연속이 된다. 또 X×Y에서의 노름을 ||(x, y)|| = ||x||+||y||로 주면, X×Y 역시 바나흐 공간이 되고, 바나흐 공간의 닫힌 부분공간도 바나흐 공간이므로 G(T) 역시 바나흐 공간이 된다. A는 전단사 함수이므로, 열린 사상정리에 의하여 A의 역함수 A-1 역시 연속이 된다. 따라서 T = B \circ A^{-1} 역시 연속이다.

같이 보기[편집]

참고 문헌[편집]

  • Rudin, Walter (1973), Functional analysis, Tata MacGraw-Hill.

바깥 고리[편집]