바나흐 대수

함수해석학에서 '''바나흐 대수'''(Banach代數, )는 바나흐 공간과 결합 대수의 구조를 서로 호환되게 갖춘 집합이다. 대표적인 예로 콤팩트 하우스도르프 공간 위의 연속 함수 공간이나 바나흐 공간 위의 유계 작용소 공간이 있다.
가 실수체 또는 복소수체 가운데 하나라고 하자. '''-노름 대수'''() 는 다음과 같은 구조가 주어진 집합이다.
* 는 -노름 공간이다.
* 는 -결합 대수이다.
또한, 노름 공간 구조와 결합 대수 구조 사이에 다음과 같은 두 호환 조건이 주어져야 한다.
* (노름 부등식) 
* (항등원의 노름) 
(일부 문헌에서는 곱셈 항등원을 가져야 하는 조건을 생략한다.)
만약 가 사실 바나흐 공간이라면 (즉, 완비 거리 공간이라면), '''-바나흐 대수'''()라고 한다.
=== 유니터리 원소 ===
-노름 대수 가 주어졌다고 하자. 이는 환을 이루므로, 가역원의 개념을 정의할 수 있다. 가역원  가운데 노름이 1인 것을 '''유니터리 원소'''(unitary元素, )라고 한다.
=== 반대 대수 ===
-노름 대수 에 대하여, 그 반대환 , 즉
:
에 같은 노름을 부여하면,  역시 -노름 대수를 이룬다. 또한, 환 연산은 노름 공간 구조와 상관이 없으므로, 만약 가 바나흐 대수라면  역시 바나흐 대수이다.
=== 직합 ===
유한 또는 무한 개의 -바나흐 대수들 이 주어졌다고 하자. 그렇다면, 직접곱의 부분 공간
:
위에 L1 노름
:
및 성분별 곱
:
을 부여하면, 이 역시 -바나흐 대수를 이룬다. 이 경우 의 항등원은
:
이다.
=== 몫 ===
-바나흐 대수 의 양쪽 아이디얼 가 주어졌으며, 가 닫힌집합이며, 라고 하자. 그렇다면, 몫환  위에는 자연스러운 노름
:
을 줄 수 있다. 그렇다면,  역시 -바나흐 대수를 이루며, 그 항등원은 이다.
=== 복소화 ===
실수 바나흐 대수 가 주어졌을 때, 그 복소화
:
위에 노름
:
과 곱셈
:
을 부여하면, 이는 복소수 바나흐 대수를 이룬다.
=== 완비화 ===
-노름 대수 가 주어졌다고 하자. 그렇다면, 그 완비화 는 다음과 같이 자연스럽게 -바나흐 공간을 이룬다.
:
(여기서 는 로 수렴하는,  속의 임의의 코시 열이다.) 그 위에 곱셈
:
을 정의하면, 는 -바나흐 대수를 이룬다. (여기서 와 는 각각 로 수렴하는,  속의 임의의 두 코시 열이다.) 이를 의 '''완비화'''(完備化, )라고 한다.
=== 무게 부여 ===
-바나흐 대수 의 원소 가 주어졌으며, 이라고 하자. 또한, 가 가역원이며, 중심에 속한다고 하자.
:
이 경우, A 위에 새 이항 연산 를 다음과 같이 부여하자.
:
그렇다면 (A,\star_w,w^{-1}) 역시 -바나흐 대수를 이루며, 에 대한 항등원은 이다.
=== 아렌스 곱 ===
-노름 대수 의 이중 연속 쌍대 공간 A'' 위에 (이중) 쌍대 노름 및 곱셈
:
을 정의하자. 그렇다면, 는 항상 -바나흐 대수를 이룬다. (만약 가 바나흐 대수가 아닌 노름 대수이더라도 은 항상 바나흐 대수이다.) 이 연산을 '''아렌스 곱'''()이라고 한다.
=== 환론적 성질 ===
'''겔판트-마주르 정리'''(Гельфанд-Mazur定理, )에 따르면, 실수 바나흐 대수에 대하여 다음 세 조건이 서로 동치이다.
* 나눗셈환이다.
* 영역이며, 모든 주 아이디얼이 닫힌집합이다.
*  (실수체) ·  (복소수체) · \mathbb H (사원수 대수) 가운데 하나이다.
또한, 복소수 바나흐 대수 가운데 나눗셈환인 것은  밖에 없다.
'''증명 (복소수 바나흐 대수 가운데 나눗셈환인 것은  밖에 없다)''':
단위원을 갖는 복소수 바나흐 대수의 모든 원소는 공집합이 아닌 스펙트럼을 가진다. (이는 실수 바나흐 대수에 대해서는 성립하지 않는다.) 가 복소수 바나흐 대수라고 하고, 의 0이 아닌 모든 원소가 가역원이라고 하자. 임의의 원소 에 대하여, 가 의 스펙트럼의 원소라고 하자. 즉, 는 가역원이 아니다. 가정에 따라서 이다. 즉, 의 스펙트럼은 하나의 원소만을 가진다. 이에 따라 는 동형 사상 를 이룬다.
실수 바나흐 대수 가운데 뇌터 가환환인 것은 유한 차원이다. 특히, 실수 바나흐 대수 가운데 뇌터 가환환이며 정역인 것은 와  밖에 없다.
복소수 바나흐 대수 의 임의의 두 원소 에 대하여, 이다. (이는 와 의 스펙트럼이 0을 제외하고 서로 같기 때문이다.)
=== 위상수학적 성질 ===
-바나흐 대수는 위상환을 이룬다. 즉, 덧셈과 곱셈은 연속 함수를 이룬다.
-바나흐 대수의 가역원군은 위상군을 이룬다. 구체적으로, -바나흐 대수 B의 가역원군 는 의 열린집합이며, 역원 함수
:
는 연속 함수이다.
=== 스펙트럼 ===
임의의 -바나흐 대수 의 원소 의 '''스펙트럼'''은 다음과 같다.
:
이는 바나흐 공간 위의 유계 작용소의 스펙트럼의 개념의 일반화이다.
=== 겔판트 표현 ===
가환 복소수 바나흐 대수 가 주어졌다고 하자. 그렇다면, 다음 두 집합 사이에 표준적인 전단사 함수가 존재한다.
* 의 극대 아이디얼의 집합 
* (항등원을 보존하는) 결합 대수 준동형 의 집합 . (이는 물론 전단사 함수이어야 한다.)
구체적으로, 이는 다음과 같이 정의된다.
:극대 아이디얼 에 대하여, 은 체인 복소수 바나흐 대수이므로, 이다. 따라서, 몫 준동형 이 존재한다.
이 때문에, 의 극대 아이디얼은 '''지표'''(指標, )라고도 한다.
임의의 지표 는 항상 연속 함수이다. (이는 그 핵 는 항상 닫힌집합이기 때문이다.) 또한, 그 작용소 노름은 항상 1이다. 이에 따라,  위에 점별 수렴 위상을 부여하면, 는 콤팩트 하우스도르프 공간을 이룬다. 특히, 복소수 바나흐 대수 를 정의할 수 있다.
이 경우, 의 '''겔판트 표현'''(Гельфанд表現, )은 다음과 같다.
:
:
이는 결합 대수 준동형을 이루며, 또한 스펙트럼을 보존한다. 즉, 다음이 성립한다.
:
여기서 우변은 복소수 바나흐 대수 에서 취한 스펙트럼이다.
=== 연속 함수 공간 ===
공집합이 아닌 콤팩트 하우스도르프 공간  위에 정의된 연속 함수의 공간 은 (균등 노름 및 점별 합과 곱에 대하여) -바나흐 대수를 이룬다.
=== 나눗셈 대수 ===
실수체  · 복소수체  · 사원수 대수 는 모두 실수 바나흐 대수를 이룬다. 이 가운데 는 추가로 복소수 바나흐 대수를 이룬다. (와 는 복소수 바나흐 대수를 이루지 못한다.)
=== 유클리드 공간 ===
자연수 n\in\mathbb N에 대하여, 유한 차원 -벡터 공간 V=\mathbb K^n 위에 1-노름
:
및 성분별 곱
:
을 부여하면, 이는 가환 -바나흐 대수를 이룬다. 그 가역원군은
:
이다.
=== 유계 작용소 ===
1차원 이상의 -노름 공간  위의  유계 작용소들의 집합 는 작용소 노름과 함수의 합성에 의하여 -노름 대수를 이룬다. 만약 가 -바나흐 공간이라면, 는 -바나흐 대수를 이룬다.
=== C* 대수 ===
모든 C* 대수는 복소수 바나흐 대수를 이룬다. 구체적으로, C* 대수 가 주어졌을 때, 그 위에 노름
:
을 부여하면 이는 바나흐 대수를 이룬다.
=== 위상군 위의 함수 ===
콤팩트 하우스도르프 위상군  위의 (왼쪽 하르 측도에 대한) 르베그 공간 은 -바나흐 대수이다. 그 위에 합성곱
:
을 부여하면, 이는 -바나흐 대수를 이룬다.
‘바나흐 대수’라는 이름은 스테판 바나흐를 딴 것이다. 그러나 바나흐 대수의 이론은 스테판 바나흐와 큰 관계가 없으며, 다만 바나흐가 연구한 바나흐 공간을 이루기 때문에 이러한 이름이 붙었다.
바나흐 대수의 개념은 나구모 미치오(, 1905~1995)가 1936년에 ‘선형 계량환’()이라는 이름으로 도입하였다. 이후 이즈라일 겔판트가 이를 ‘노름환’()이라는 이름으로 재도입하였고, 이에 대하여 자세히 연구하였다. 1945년에 워런 앰브로즈(, 1914~1995)가 ‘바나흐 대수’()라는 용어를 도입하였다.
아렌스 곱은 리하르트 프리드리히 아렌스(, 1919~2000)가 1951년에 도입하였다.
겔판트-마주르 정리는 이즈라일 겔판트와 스타니스와프 마주르의 이름을 땄다. 마주르가 1938년에 증명하였는데, 저널에 페이지가 모자라 증명을 싣지 못하고 정리 자체만 출판하였다. 1941년에 이즈라일 겔판트가 독자적으로 증명하였다.
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
분류:대수
분류:푸리에 해석학
분류:함수해석학