인자 대수

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
- 2.1. 특별한 원소
3. 분류
4. 역사
참조

1. 개요

인자 대수는 폰 노이만 대수의 한 종류로, 중심이 1의 스칼라배인 폰 노이만 대수를 의미한다. 인자 대수는 Ⅰ종, Ⅱ₁종, Ⅱ_∞종, Ⅲ종으로 분류되며, Ⅰ종 인자는 복소수 힐베르트 공간의 유계 작용소 대수와 동형이다. Ⅱ_∞종 인자는 Ⅰ종과 Ⅱ₁종 인자의 텐서곱으로 표현 가능하며, Ⅲ종 인자는 도미타-다케사키 이론에 의해 분류된다. 인자 대수는 양자역학 연구를 위해 폰 노이만과 머레이에 의해 도입되었고, Ⅲ종 인자 대수의 분류는 콘에 의해 완성되었다.

더 읽어볼만한 페이지

대수 - 미분 등급 대수
미분 등급 대수는 체 위의 등급 대수와 미분의 순서쌍으로, 대수적 위상수학 및 호모토피 이론에서 활용되며, 등급 대수에 차수, 라이프니츠 규칙, 멱영성을 만족하는 미분을 추가하여 정의됩니다.
대수 - C* 대수
C* 대수는 복소수 대합 대수와 복소수 바나흐 대수의 구조를 결합한 복소수 벡터 공간으로, 겔판트-나이마르크 정리에 따라 복소수 힐베르트 공간 위의 유계 선형 연산자 대수로 표현될 수 있으며, 함수해석학, 수리물리학, 양자역학 등 다양한 분야에서 활용된다.
함수해석학 - 섭동 이론
섭동 이론은 정확히 풀리는 문제에 작은 변화가 있을 때 급수로 표현하여 근사해를 구하는 방법으로, 초기 해에 보정항을 더하는 방식으로 고전역학, 양자역학 등 다양한 분야에서 활용되며 섭동 형태와 적용 차수에 따라 구분된다.
함수해석학 - 분포 (해석학)
해석학에서 분포는 시험 함수 공간의 연속 쌍대 공간의 원소로 정의되며, 로랑 슈바르츠에 의해 정립되어 편미분 방정식의 해를 다루는 데 유용하고 미분 불가능하거나 특이점을 갖는 함수를 포함한 다양한 함수를 다루는 데 효과적인 일반적인 함수의 개념을 확장한 것이다.

인자 대수

2. 정의

폰 노이만 대수 $A$ 에 대하여 다음 세 조건은 서로 동치이며, 이를 만족시키는 폰 노이만 대수를 '''인자 대수'''라고 한다.

$\operatorname Z(A)=\mathbb C1_A$ . 즉, $A$ 의 중심은 모두 1의 스칼라배이다.
어떤 복소수 힐베르트 공간 표현 $A\hookrightarrow\operatorname B(\mathcal H,\mathcal H)$ 에 대하여, $A\cap\operatorname C_{\operatorname B(\mathcal H,\mathcal H)}(A)=\mathbb C$ 이다.
어떤 복소수 힐베르트 공간 표현 $A\hookrightarrow\operatorname B(\mathcal H,\mathcal H)$ 에 대하여, $\operatorname C_{\operatorname B(\mathcal H,\mathcal H)}(\operatorname C_{\operatorname B(\mathcal H,\mathcal H)}(A)\operatorname C_{\operatorname B(\mathcal H,\mathcal H)}(A)))=\operatorname B(\mathcal H,\mathcal H)$ 이다.

여기서

$\mathcal H$ 는 어떤 복소수 힐베르트 공간이다.
$\operatorname B(\mathcal H,\mathcal H)$ 는 $\mathcal H\to\mathcal H$ 유계 작용소의 폰 노이만 대수이다.
$\operatorname C_{\operatorname B(\mathcal H,\mathcal H)}(-)$ 는 $\operatorname B(\mathcal H,\mathcal H)$ 속에서 취한 중심화 부분환이다.

마지막 조건은

\mathcal H

위의 모든 유계 작용소를

A

의 원소 및

A

와 가환하는 원소들의 곱들의 열의 (약한 작용소 위상 또는 강한 작용소 위상에서의) 극한으로 나타낼 수 있다는 뜻이다. 다시 말해,

\mathcal H

를 상태 공간으로 하는 양자 역학 계는

A

에 속하는 관찰 가능량들과

A

와 ‘분리된’ (즉, 가환하는) 관찰 가능량들로 구성되며,

A

는

\operatorname B(\mathcal H,\mathcal H)

를 구성하는 ‘인자’로 여길 수 있다.

2. 1. 특별한 원소

C* 대수

A

의 원소

a\in A

가운데,

a=a^2=a^*

인 것을 '''사영원'''(射影元, projection^영어)이라고 하고, 사영원들의 집합을

\operatorname{Proj}(A)

로 표기한다.

복소수 힐베르트 공간

\mathcal H

위에 표현된 폰 노이만 대수

\mathcal A\subseteq\operatorname B(\mathcal H,\mathcal H)

의 사영원

A\in\mathcal A

의 상

A\mathcal H\subseteq\mathcal H

으로 나타내어지는 부분 공간을 '''

\mathcal A

에 속하는 부분 공간'''이라고 한다. 이는

\mathcal A

의 사영원들의 집합과

\mathcal A

에 속하는 부분 공간들의 집합 사이에 일대일 대응을 정의한다.

폰 노이만 대수

\mathcal A

의 두 사영원

A,B\in\mathcal A

에 대하여, 만약

A=CC^*

이자

B=C^*C

인

C\in\mathcal A

가 존재한다면,

A

와

B

가 서로 '''머리-폰 노이만 동치'''(Murray–von Neumann equivalent^영어)라고 하고,

A\sim B

로 표기한다. 이는

\mathcal A

의 사영원들의 집합 위의 동치 관계를 이룬다.

\mathcal A

의 사영원들의 집합 위에 다음과 같은 원순서를 정의할 수 있다.

:

A\lesssim B\iff\exists C\in\operatorname{Proj}(\mathcal A)\colon A\sim C,\;C\mathcal H\subseteq B\mathcal H

폰 노이만 인자의 경우, 이는 사실 사영원들의 머리-폰 노이만 동치류들의 집합 위의 전순서를 이룬다.

\mathcal A

의 사영원

A\in\operatorname{Proj}(\mathcal A)

가운데 다음 조건을 만족시키는 것을 '''유한 사영원'''(finite projection^영어)이라고 한다.

:

\forall B\in\operatorname{Proj}(\mathcal A)\colon B\mathcal H\subsetneq A\mathcal H\implies B\not\sim A

3. 분류

인자 대수는 Ⅰ종, Ⅱ₁종, Ⅱ_∞종, Ⅲ종으로 분류된다.

Ⅰ종 인자: $\operatorname{Proj}(A)\setminus\{0\}$ 에 가장 작은, 0이 아닌 사영원 동치류가 존재한다.
Ⅱ종 인자: Ⅰ종 인자가 아니며, 0이 아닌 유한 사영원을 갖는다.
Ⅱ₁종 인자: 항등원이 유한 사영원이다.
Ⅱ_∞종 인자: 항등원이 유한 사영원이 아니다.
Ⅲ종 인자: Ⅰ종 인자나 Ⅱ종 인자가 아니다.

폰 노이만 대수의 분류는 사실상 Ⅱ₁종 인자의 분류로 귀결된다. Ⅱ₁종 인자는 일반적으로 복잡한 구조를 가지기 때문이다. Ⅱ_∞종 인자와 Ⅲ종 인자는 각각 Ⅰ종 인자와 Ⅱ₁종 인자로부터 구성될 수 있다.

3. 1. Ⅰ종 인자 대수

Ⅰ종 인자 대수는 복소수 힐베르트 공간

\mathcal H

에 대하여

\operatorname B(\mathcal H,\mathcal H)

와 C* 대수로서 동형이다.

복소수 힐베르트 공간

\mathcal H

의 임의의 단위 벡터

|v\rangle\in\mathcal H

에 대하여,

|v\rangle\langle v|

는 0이 아닌 유한 사영원이다.

복소수 힐베르트 공간은 그 힐베르트 차원에 의하여 완전히 분류된다. 차원이 기수

\kappa

일 때, 이에 대응하는 Ⅰ종 인자 대수를

\operatorname I_\kappa

형이라고 한다. 분해 가능 복소수 힐베르트 공간의 경우 차원이 가산 기수이다. 이 경우

\aleph_0

차원 경우는 보통

\operatorname I_\infty

으로 표기된다.

3. 2. Ⅱ_∞종 인자 대수

Ⅱ_∞종 인자 대수는 항상 Ⅱ₁종 인자 대수와 무한 차원 Ⅰ종 인자 대수의 텐서곱으로 표현될 수 있다.

3. 3. Ⅲ종 인자 대수

'''도미타-다케사키 이론'''은 Ⅲ종 인자의 분류 이론이다.

도미타-다케사키 이론에 따르면, 각 폰 노이만 대수

A

에 대해 음이 아닌 실수 집합

\operatorname S(A)\subseteq[0,\infty)

를 대응시킬 수 있으며, 이를

A

의 '''콘 스펙트럼'''(Connes spectrum^영어)이라고 한다. Ⅲ종 인자 대수의 경우, 가능한 콘 스펙트럼은 다음과 같다.

$\operatorname S(A)\setminus\{0\}=\{1\}$ 인 경우, Ⅲ₀종 인자 대수라고 한다.
$\operatorname S(A)\setminus\{0\}=\{\dotsc,\lambda^{-2},\lambda^{-1},1,\lambda,\lambda^2,\lambda^3,\dotsc\}\quad(0<\lambda<1)$ 인 경우, Ⅲ_''λ''종 인자 대수라고 한다.
$\operatorname S(A)\setminus\{0\}=\mathbb R^+$ 인 경우, Ⅲ₁종 인자 대수라고 한다.

(

\operatorname S(A)\setminus\{0\}

은 항상

\mathbb R^+

의 닫힌 부분군이므로 다른 가능성은 존재하지 않는다.)

4. 역사

양자역학을 분석하기 위하여 존 폰 노이만과 프랜시스 조지프 머리(Francis Joseph Murray|프랜시스 조지프 머리^영어, 1911~1996)가 인자 대수의 개념 및 Ⅰ종·Ⅱ종·Ⅲ종 인자 대수로의 분류를 도입하였다.^[1]

알랭 콘은 도미타-다케사키 이론을 통한 Ⅲ종 인자 대수의 분류를 1976년에 완료하였다.^[2]

참조

_[1] 저널 On rings of operators https://archive.org/[...] 1936
_[2] 저널 Classification of Injective Factors https://archive.org/[...]

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com