정의
C* 대수(C*-algebra)는 복소수체 위에서 정의된 바나흐 대수(Banach algebra) 중 특정 조건을 만족하는 대수 구조로, 복소 켤레에 대응하는 대합(involution) 연산과 노름(norm) 조건이 결합된 수학적 구조이다. 정확히 말해, C* 대수는 다음 조건을 만족하는 결합 대수이다: 임의의 원소 $ x $에 대해 $ |x^* x| = |x|^2 $가 성립한다.
개요
C* 대수는 함수해석학과 수리물리학, 특히 양자역학의 수학적 기초에서 중요한 역할을 한다. 이 구조는 연산자 이론에서 유계 선형 연산자들의 대수적 성질을 추상화한 것으로, 힐베르트 공간 위의 자기수반 연산자와 이들의 균등 닫힘(uniform closure)을 다룬다. C* 대수는 1940년대에 스톤과 폰 노이만의 업적 이후 점차 형성되기 시작하였으며, 이론적으로 정교한 분야로 발전하였다. 현대 수학에서는 위상역학, 동역학계, 군 표현론, 비가환기하학 등 다양한 분야와 깊은 연관을 맺고 있다.
어원/유래
“C*”라는 명칭은 영문자 C와 별표()의 조합으로, "완비(complete)" 또는 "복소수(complex)"를 의미하는 C와 대합 연산(involution)을 나타내는 가 결합된 데서 유래하였다. 초기 문헌에서는 “C-대수”보다 “C 대수” 또는 비형식적인 명칭이 사용되기도 하였으나, 1950년대 이후 이라임(Gelfand–Naimark) 정리 등으로 개념이 정립되면서 “C-algebra”라는 용어가 학계에서 통용되기 시작하였다. 용어의 공식적인 확립에는 이스라엘 모이셰 펠드만(Israil Gelfand)과 막시트 네이마크(Mark Naimark)의 1943년 논문이 결정적인 기여를 하였다.
특징
C* 대수의 주요 특징은 다음과 같다:
- 복소수체 위에서 정의된 결합 대수이며, 노름과 대합 연산을 갖는다.
- 노름에 의해 완비 metric 공간(바나흐 공간)을 이룬다.
- C* 항등식 $ |x^* x| = |x|^2 $가 성립하여, 대합과 노름이 긴밀하게 연결된다.
- 가환 C* 대수는 국소 콤팩트 하우스도르프 공간 위의 0에 수렴하는 연속 복소함수 대수(C₀(X))와 *-동형이다. 이는 Gelfand 표현 이론의 핵심 결과이다.
- 임의의 C* 대수는 어떤 힐베르트 공간 위의 유계 작용소 대수의 닫힌 *-부분 대수로 표현할 수 있다(Gelfand–Naimark 정리).
- C* 대수는 스펙트럼 이론, K-이론, 초곱(performance products), 그리고 비가환기하학의 기본 블록으로 활용된다.
관련 항목
- 바나흐 대수
- 자기수반 연산자
- 힐베르트 공간
- Gelfand–Naimark 정리
- 비가환기하학
- 연산자 이론
- K-이론
※ 참고 문헌:
- Kadison, R. V., & Ringrose, J. R. (1997). Fundamentals of the Theory of Operator Algebras.
- Murphy, G. J. (1990). C-Algebras and Operator Theory*.
- Blackadar, B. (2006). Operator Algebras: Theory of C-Algebras and von Neumann Algebras*.