용어 목록 > 바나흐 공간 (Banach Space)

바나흐 공간 (Banach Space)

쉽게 풀면

벡터의 길이를 재는 규칙인 노름이 정해진 벡터공간에서, 점점 서로 가까워지는 수열이 반드시 그 공간 안의 어떤 점으로 수렴할 때 이 공간을 바나흐 공간이라고 합니다. 여기서 "구멍이 없다"는 성질을 완비성이라고 부릅니다. 유리수에는 구멍이 있어 완비가 아니지만 실수는 완비인 것과 같은 이야기를 함수들의 공간으로 확장한 것입니다.

왜 중요한가

미분방정식 해의 존재성, 근사 이론, 최적화 이론의 많은 정리가 완비인 공간이라는 전제 위에서만 성립합니다. 수치해석이나 응용수학 논문에서 반복법이 수렴함을 보일 때도 바탕 공간이 바나흐 공간임을 먼저 확인하는 경우가 많습니다.

논문에서는 이렇게 쓰입니다

조금 더 깊게 보면

연속함수 전체에 최대 절댓값 노름을 준 공간, p제곱 적분가능 함수들의 공간 등이 대표적인 바나흐 공간입니다. 힐베르트 공간은 노름이 내적에서 유도되는 특수한 바나흐 공간이므로, 모든 힐베르트 공간은 바나흐 공간이지만 그 역은 성립하지 않습니다. 함수해석학의 기본 정리인 열린사상정리, 닫힌그래프정리, 균등유계성 원리는 모두 완비성을 핵심 가정으로 사용합니다.

주의할 점

노름이 있다고 해서 모두 바나흐 공간은 아니며, 완비성이 추가로 요구됩니다. 또 힐베르트 공간의 직교 개념인 정사영이나 정규직교기저는 일반 바나흐 공간에서는 쓸 수 없다는 점을 혼동하지 않아야 합니다.

관련 용어