[논문 리뷰] On frames in Hilbert modules over pro-C*-algebras

Maria Joiţa|ArXiv.org|2007. 09. 06.

Advanced Operator Algebra Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 프로-C*-대수 위의 힐버트 모듈러스에서 다중화자의 프레임을 도입하며, 힐버트 C*-모듈러스에서의 기본 결과를 일반화한다. 임의의 가чёт히 생성된 프로-C*-대수 위의 힐버트 모듈러스는 다중화자의 표준 정규화 프레임을 갖는다는 것을 증명하고, 재구성 공식과 프레임 변환이 존재함을 보이며, 이중 프레임을 필수적이고 충분한 조건으로 특성화함으로써 기존의 C*-대수적 설정에서 더 넓은 프로-C*-대수 프레임워크로 결과를 일반화한다.

ABSTRACT

We introduce the concept of frame of multipliers in Hilbert modules over pro-C*-algebras and show that many properties of frames in Hilbert C*-modules are valid for frames of multipliers in Hilbert modules over pro-C*-algebras.

연구 동기 및 목표

• 힐버트 C*-모듈러스에서의 프레임 이론을 더 일반적인 프로-C*-대수 위의 힐버트 모듈러스 설정으로 확장하기 위해.
• 다중화자 모듈러스 내에서 가чёт히 생성된 힐버트 모듈러스에 대해 표준 정규화 프레임의 존재를 확립하기 위해.
• 이 일반화된 맥락에서 재구성 공식과 프레임 변환이 유효함을 증명하기 위해.
• 프로-C*-대수 위의 힐버트 모듈러스에서 다중화자의 이중 프레임을 정의하고 특성화하기 위해.
• 표준 프레임의 캐논리컬 이중이중 프레임이 원래 프레임과 일치함을 보여주어 캐논리컬 구성 하에서 자가이중성의 보장을 위해.

제안 방법

• 다중화자 모듈러스의 구조를 이용하여 프로-C*-대수 위의 힐버트 모듈러스에서 다중화자의 프레임 개념을 도입한다.
• 가우스포프 안정화 정리를 프로-C*-대수를 위해 적용하여, 다중화자 모듈러스 내에서 가чёт히 생성된 힐버트 모듈러스가 표준 정규화 프레임을 갖는다는 것을 보인다.
• 지배적인 C*-세미노름의 가중족에 의해 정의된 위상으로 수렴성과 유계성을 정의하여 모듈러스의 완비성을 보장한다.
• 다중화자의 프레임 $\{h_n\}$ 에 대해 $\theta: E \to \ell^2(A)$, $\theta(\xi) = (\langle h_n, \xi \rangle)_{n}$ 로 정의된 사상으로 프레임 변환을 수립한다.
• 다중화자의 프레임 $\{h_n\}$ 과 $\{t_n\}$ 에 대해 수렴성이 프로-C*-대수 위상에서 성립함을 이용하여 재구성 공식 $\xi = \sum_n h_n \cdot \langle t_n, \xi \rangle_{M(E)}$ 를 증명한다.
• 두 프레임의 프레임 변환 $\theta$ 와 $\theta'$ 가 $\theta^* \circ \theta' = \text{id}_E$ 를 만족함으로써 이중 프레임을 특성화한다.

실험 결과

연구 질문

• RQ1 힐버트 C*-모듈러스에서의 프레임 개념을 프로-C*-대수 위의 힐버트 모듈러스로 일반화할 수 있는가?
• RQ2 모든 가чёт히 생성된 프로-C*-대수 위의 힐버트 모듈러스는 다중화자의 표준 정규화 프레임을 갖는가?
• RQ3 힐버트 모듈러스에서 다중화자의 프레임에 대해 재구성 공식이 유효한가?
• RQ4 두 다중화자 프레임이 서로 이중임을 위한 필요 및 충분 조건은 무엇인가?
• RQ5 표준 다중화자 프레임의 캐논리컬 이중이중 프레임은 원래 프레임과 일치하는가?

주요 결과

• 다중화자 모듈러스에서 가чёт히 생성된 프로-C*-대수 위의 힐버트 모듈러스는 다중화자의 표준 정규화 프레임을 갖는다.
• 다중화자의 이중 프레임 $\{h_n\}$ 과 $\{t_n\}$ 에 대해 재구성 공식 $\xi = \sum_n h_n \cdot \langle t_n, \xi \rangle_{M(E)}$ 가 프로-C*-대수 위의 힐버트 모듈러스에서 성립한다.
• 프레임 변환 $\theta(\xi) = (\langle h_n, \xi \rangle)_{n}$ 는 프로-C*-대수 위상에서 잘 정의되고 연속적이다.
• 두 다중화자 프레임이 서로 이중임은 그에 대응하는 프레임 변환 $\theta$ 와 $\theta'$ 가 $\theta^* \circ \theta' = \text{id}_E$ 를 만족함과 동치이다.
• 표준 다중화자 프레임의 캐논리컬 이중이중 프레임은 원래 프레임과 일치하며, 캐논리컬 구성 하에서 자가이중성이 확인된다.
• 프로-C*-대수 $A$ 위의 힐버트 모듈러스 $E$ 의 유계부분 $b(E)$ 가 다중화자 모듈러스에서 가чёт히 생성되고 표준 다중화자 프레임을 갖는다면, $E$ 자체도 그러한 프레임을 갖는다.