[논문 리뷰] Arens Regularity of Module Actions and the Second Adjoit of a Derivation

Somayeh Mohammadzadeh, Hamid Reza Ebrahimi Vishki|ArXiv.org|2007. 11. 10.

Advanced Banach Space Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 노름 공간 위의 유계 이중선형 연속형의 Arens 정규성에 대한 새로운 기준을 수립한다. 이는 이중선형 연속형 $ f $ 가 Arens 정규일 필요충분조건이 $ f^{****}(Z^*, X^{**}) \subseteq Y^* $ 임을 보여준다. 이 기준을 적용하여, 유계 바나흐 모듈러에 값이 있는 도약 $ D: A \to X^* $ 의 이중수반 연속형이 다시 도약임을 보장하는 필요충분조건을 도출하며, 이는 이전 결과들을 일반화하고 기존 정리들에 대한 직접적 증명을 제공한다.

ABSTRACT

In this paper, first we give a simple criterion for the Arens regularity of a bilinear mapping on normed spaces, which applies in particular to Banach module actions and then we investigate those conditions under which the second adjoint of a derivation into a dual Banach module is again a derivation. As a consequence of the main result, a simple and direct proof for several older results is also included.

연구 동기 및 목표

• 노름 공간 위의 유계 이중선형 연속형에 대한 Arens 정규성에 대한 새로운 단순한 기준을 제공한다.
• 유계 바나흐 모듈러에 값이 있는 도약 $ D: A \to X^* $ 의 이중수반이 다시 도약이 되는 조건을 조사한다.
• 바나흐 모듈러 이론에서 알려진 Arens 정규성과 도약에 관한 몇 가지 기존 결과들을 일반화하고 직접적인 증명을 제시한다.
• 특수한 경우 $ X = A $ 에서의 결과들을 일반 바나흐 $ A $-모듈러로 확장한다.

제안 방법

• Arens 정규성의 새로운 특성화를 도입한다: $ f $ 는 이중선형 연속형 $ f: X \times Y \to Z $ 이면 $ f^{****}(Z^*, X^{**}) \subseteq Y^* $ 이다.
• 이 기준을 바나흐 모듈러 작용에 적용하여, 두 개의 Arens 곱에 대해 $ A $ 에서 $ A^{**} $ 로의 자연스러운 모듈러 작용의 확장을 도출한다.
• Arens 곱의 구조를 이용해 도약 $ D: A \to X^* $ 의 이중수반 $ D^{**} $ 를 분석하며, 주로 $ X^{***} $ 에서의 행동에 초점을 맞춘다.
• 이중수반 $ D^{**} $ 가 도약임은 $ \pi_2^{****}(D^{**}(A^{**}), X^{**}) \subseteq A^* $ 이며, 이는 쌍대성과 약한* 위상의 논증을 통해 증명한다.
• 약한 컴acts와 모듈러 작용의 정규성의 조합을 이용해 $ D^{**} $ 가 도약이 되는 충분조건를 유도한다.
• 약한* 넷의 극한을 통해 표현된 $ f^{***} $ 와 $ f^{r***r} $ 간의 쌍대성 관계를 이용해 정규성의 특성을 기술한다.

실험 결과

연구 질문

• RQ1 유계 바나흐 모듈러에 값이 있는 도약 $ D: A \to X^* $ 의 이중수반 $ D^{**} $ 가 다시 도약이 되는 조건은 무엇인가?
• RQ2 도약의 이중수반이 이중이중에서 도약 성질을 유지하기 위한 필요충분조건은 무엇인가?
• RQ3 모듈러 작용의 Arens 정규성은 도약의 이중수반의 정규성과 어떻게 관련이 있는가?
• RQ4 기준 $ f^{****}(Z^*, X^{**}) \subseteq Y^* $ 는 도약의 Arens 정규성에 관한 기존 결과들을 일반화하는 데 사용될 수 있는가?
• RQ5 도약의 약한 컴acts가 $ D^{**} $ 가 도약이 되도록 보장하는 데 어떤 역할을 하는가?

주요 결과

• 유계 이중선형 연속형 $ f: X \times Y \to Z $ 는 $ f^{****}(Z^*, X^{**}) \subseteq Y^* $ 이면 Arens 정규이며, 이는 정규성에 대한 새로운 간결한 기준을 제공한다.
• 도약 $ D: A \to X^* $ 의 이중수반 $ D^{**} $ 는 $ \pi_2^{****}(D^{**}(A^{**}), X^{**}) \subseteq A^* $ 이면 도약이며, 이는 Dales, Rodriguez-Palacios, Velasco 의 결과를 일반화한다.
• 만약 모듈러 작용 $ \pi_2 $ 가 Arens 정규이면 $ D^{**} $ 는 $ (A^{**}, \Box) $ 에서 도약이며, $ \pi_1 $ 이 정규이면 $ D^{**} $ 는 $ (A^{**}, \lozenge) $ 에서 도약이며, 이는 기존 결과를 확장한다.
• 약한 컴acts인 도약의 경우, $ \pi_2 $ 또는 $ \pi_1 $ 의 정규성만으로도 각각의 Arens 곱에 대해 $ D^{**} $ 가 도약이 되도록 충분하다.
• 내부 도약 $ D: A \to X^* $ 는 모듈러 작용이 Arens 정규이면 약한 컴acts이며, 이들의 이중수반은 $ (A^{**}, \Box) $ 와 $ (A^{**}, \lozenge) $ 양쪽에서 여전히 내부 도약으로 유지된다.
• 논문은 새로운 정규성 기준과 쌍대성 기법을 사용하여 Dales 등 [10] 의 몇 가지 오래된 결과들에 대한 직접적 증명을 제공한다.