완전 양의 사상: 프로 C*-대수와 프로 C*-대수 위의 힐버트 모듈

프로 C*-대수 사이의 연속적인 완전 양의 사상과 이에 대응하는 프로 C*-대수 위의 힐버트 모듈 사이의 사상에 대한 구조 정리를 제공한다.