오퍼레이터 시스템
Operator systemUnital C*- A {\A}}가 주어지면 1을 포함하는 *-폐쇄 하위공간 S를 연산자 시스템이라고 한다One can associate to each subspace of a unital C*-algebra an operator system via .
연산자 시스템 간의 적절한 형태는 완전히 긍정적인 맵이다.
Choi와 Effros의 정리를 통해 연산자 시스템은 아르키메데스 행렬 순서가 장착된 *-벡터 공간으로 특징지어질 수 있다.[1]
참고 항목
참조
- ^ 최 M.D, Effros, E.G. 주입률 및 조작자 공간.1977년 기능분석 저널