C* 대수

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

함수해석학에서, C* 대수(시스타 대수, 영어: C*-algebra)는 대합 대수복소수 바나흐 대수의 구조를 서로 호환되게 갖춘 수학 구조이다.

정의[편집]

C* 대수의 개념은 다양한 방법으로 정의될 수 있다.

이 두 정의는 서로 동치이다.

추상적 정의[편집]

복소수 벡터 공간 위에 다음과 같은 두 구조가 주어졌다고 하자.

  • 는 (복소수 켤레를 부여한) 복소수체 위의 (항등원을 갖는) 대합 대수이다. (즉, 임의의 에 대하여 이다.)
  • 복소수 바나흐 대수이다.

그렇다면, 에 대하여 다음 두 조건이 서로 동치이며, 만약 가 이를 만족시킨다면 C* 대수라고 한다.

  • (C* 항등식 영어: C* identity)
  • (B* 항등식 영어: B* identity)

(C* 항등식이 B* 항등식을 함의하는 것은 자명하지만, 반대 방향의 함의를 증명하는 것은 자명하지 않다.)

일부 문헌에서는 C* 대수의 정의에서 항등원의 존재를 생략하기도 한다.

대수적 정의[편집]

(복소수 켤레를 부여한) 복소수체 위의 (항등원을 갖는) 대합 대수 가 다음 조건을 만족시킨다면, C* 대수라고 한다.

  • 위의 노름을 이룬다. 즉, 다음이 성립한다.
    • 임의의 에 대하여, 스펙트럼 유계 집합이다.
    • 임의의 에 대하여, 가역원이 아니게 만드는 복소수 가 존재한다.
    • (삼각 부등식) 임의의 에 대하여, 이다.
  • 완비 노름을 이룬다.

이 대수적 정의는 위의 정의와 동치이다. 구체적으로, C* 항등식으로부터 노름이 항상 임을 보일 수 있으며, 반대로 임의의 복소수 바나흐 대수에서 이므로 이는 B* 항등식을 함의한다.

구체적 정의[편집]

복소수 힐베르트 공간 가 주어졌다고 하자. 그 위의 유계 작용소들의 바나흐 대수 의 부분 집합 가 다음 조건을 만족시킨다고 하자.

  • 는 (복소수 켤레에 대한) 복소수체 위의 (항등원을 갖는) 대합 대수를 이룬다. 즉, 다음이 성립한다.
    • (덧셈에 대한 닫힘) 임의의 에 대하여,
    • (합성에 대한 닫힘) 임의의 에 대하여,
    • (항등원의 존재) 항등원
    • (스칼라곱에 대한 닫힘) 임의의 에 대하여,
    • (에르미트 수반에 대한 닫힘) 임의의 에 대하여, 이다.
  • 는 (노름으로 정의되는 거리 위상에 대하여) 닫힌집합이다.

그렇다면, (힐베르트 공간 위의 작용을 잊었을 때) C* 대수라고 한다. (마지막 조건을 노름 위상 대신 강한 작용소 위상 또는 약한 작용소 위상에 대한 닫힌집합인 것으로 강화시키면, 대신 폰 노이만 대수의 개념을 얻는다.)

겔판트-나이마르크 정리(Гельфанд-Наймарк定理, 영어: Gelfand–Naimark theorem)에 따르면, 임의의 (추상적 정의에 따른) C* 대수 의 경우, 어떤 복소수 힐베르트 공간 위의 작용

가 존재하며, 또한 이는 단사 함수이자 복소수 선형 변환이자 등거리 변환이며, 또한 수반 연산 에 대한 준동형이며, 그 은 C* 대수의 구체적 정의에 부합한다.

C* 대수의 원소[편집]

가 C* 대수라고 하고, 라고 하자.

  • 만약 가 존재하여 라면, 음이 아닌 원소(영어: nonnegative element)라고 한다. 음이 아닌 원소들의 집합은 볼록 뿔(convex cone)을 이룬다.
  • 만약 라면, 자기수반 원소(영어: self-adjoint element)라고 한다. 자기수반 원소의 스펙트럼은 모두 실수이다.

이제부터 가 단위원을 갖는 C* 대수라고 하자.

  • 인 원소 가 존재한다면, 가역 원소(영어: invertible element)라고 한다. 가역 원소가 아닌 원소를 비가역 원소(영어: noninvertible element)라고 한다.
  • 이라면, 유니터리 원소(영어: unitary element)라고 한다. 유니터리 원소의 스펙트럼의 원소들의 절댓값은 항상 1이다.
  • 스펙트럼 가 비가역 원소인 들의 집합이다. 일반적으로, 이다.
  • 의 스펙트럼의 절댓값들의 상한 스펙트럼 반지름이라고 한다. 스펙트럼 반지름은 다음과 같이 정의할 수도 있다.

연산[편집]

유한 또는 무한 개의 C* 대수 가 주어졌다고 하자. 그렇다면, 다음과 같은 복소수 벡터 공간

위에 균등 노름

및 성분별 곱셈

을 부여하면, 이는 C* 대수를 이룬다. 이 경우 항등원은 이다.

물론, 만약 가 유한 집합이라면, 이는 단순히 직합 과 같다.

분류[편집]

유한 차원 C* 대수[편집]

임의의 유한 차원 C* 대수 는 다음과 같은 꼴이다.

여기서 작용소 노름이 부여된, 복소수 정사각 행렬들의 C* 대수이다.

가환 C* 대수[편집]

겔판트 표현 정리(영어: Gelfand representation theorem)에 따르면, 모든 가환 C* 대수는 다음과 같은 꼴이다.

여기서 는 어떤 콤팩트 하우스도르프 공간이며, 는 복소수 값 연속 함수들의 공간이다. 이 위에 ∞-르베그 노름

및 점별 덧셈 · 곱셈 · 복소수 켤레를 부여하면, 이는 가환 C* 대수를 이룬다.

일반적 C* 대수[편집]

모든 C* 대수는 겔판트-나이마르크 정리에 의하여 어떤 복소수 힐베르트 공간 속의 유계 작용소 C* 대수의 부분 대수로 나타내어진다. 특히, 이 C* 대수를 포함하는 최소의 폰 노이만 대수를 정의할 수 있으며, 원래 C* 대수는 이 폰 노이만 대수의 강한 연산자 위상에서의 조밀 집합을 이룬다. 폰 노이만 대수의 경우 자세한 구조 이론이 알려져 있다.

응용[편집]

C* 대수의 이론은 양자장론을 수학적으로 엄밀하게 정의하려는 시도에 사용된다.

겔판트 표현에 의하여, 가환 C* 대수는 콤팩트 하우스도르프 공간에 대응되며, 만약 항등원을 가져야 하는 조건을 생략한다면, 이는 국소 콤팩트 하우스도르프 공간에 대응된다. 이에 대하여, 일반적 (비가환일 수 있는) C* 대수 역시 일종의 ‘공간’으로 여길 수 있다. 이러한 수학적 분야를 비가환 기하학이라고 한다.

같이 보기[편집]

참고 문헌[편집]

바깥 고리[편집]