[논문 리뷰] Approximation properties determined by operator ideals

Sonia Berrios, Geraldo Botelho|arXiv (Cornell University)|2010. 09. 15.

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

한 줄 요약

이 논문은 바나흐 공간에 대한 $\sigma$-근사성질 ($\cal I$-AP)을 도입하고 조사한다. 이는 주어진 연산자 아이디얼 $\cal I$에 속하는 연산자들에 의한 컴팩트 집합 위에서의 연산자 근사의 균일성으로 정의된다. 이 논문은 바나흐 공간 $E$가 $\cal I$-AP를 가진다는 것과, 유계 헬름홀츠 함수 공간 $\mathcal{H}^\infty(U;F)$가 $\cal I$-연산자에 대해 위상적으로 닫혀 있다는 것이 서로 동치임을 증명하며, 예비공간 $G^\infty(U)$ 를 통해 연산자 아이디얼과 헬름홀츠 함수 공간을 연결한다. 또한 헬름홀츠 및 다항식 설정에서 알려진 근사성질 결과들을 일반화한다.

ABSTRACT

Given an operator ideal I, a Banach space E has the I-approximation property if operators on E can be uniformly approximated on compact subsets of E by operators belonging to I. In this paper the I- approximation property is studied in projective tensor products, spaces of linear functionals, spaces of homogeneous polynomials (in particular, spaces of linear operators), spaces of holomorphic functions and their preduals.

연구 동기 및 목표

• 임의의 연산자 아이디얼 $\cal I$에 대해 고전적 근사성질을 일반화하기 위해 $\cal I$-근사성질을 정의하고 분석하는 것.
• 프로젝티브 텐서곱, 선형 함수공간, 동차 다항식, 헬름홀츠 함수 공간에서 $\cal I$-AP를 조사하는 것.
• $\cal I$-AP의 위상적 동치성을 바나흐 공간 $E$의 $\tau_\gamma$ 위상에서 $\cal I$-구조를 가진 헬름홀츠 함수의 닫힘과 연결하는 것.
• 연산자 아이디얼의 프레임워크를 통해 헬름홀츠 및 다항식 설정에서 알려진 근사성질 결과들을 통합하고 확장하는 것.

제안 방법

• $\tau_c$가 컴팩트-오픈 위상일 때, $\cal I$-AP를 $\mathcal{L}(E;E) = \overline{\mathcal{I}(E;E)}^{\tau_c}$ 로 정의한다.
• 예비공간 $G^\infty(U)$의 보편 성질을 사용하여 연산자 아이디얼과 헬름홀츠 함수를 연결한다.
• $\mathcal{H}^\infty(U;F)$ 위에 $p(f) = \sup_j \alpha_j \|f(x_j)\|$ 로 생성되는 반노름들에 의해 유도되는 위상 $\tau_\gamma$ 를 적용하여 헬름홀츠 함수의 수렴을 연구한다.
• $\mathcal{H}^\infty(U;F) = \overline{\mathcal{I} \circ \mathcal{H}^\infty(U;F)}^{\tau_\gamma}$ 이다 하는 것과 $G^\infty(U)$ 가 $\cal I$-AP를 가진다는 것이 서로 동치임을 증명한다.
• 헬름홀츠 함수 공간 $\mathcal{H}^\infty(U;F)$ 상에서 $f \mapsto T_f$ 와 $\mathcal{L}(G^\infty(U);F)$ 사이의 동형을 이용하여 헬름홀츠 함수에서 선형 연산자로 성질를 이전한다.
• 연산자 아이디얼의 성질과 조건 $\cal{L}[\cal{I}] \subseteq \cal{I} \circ \cal{L}$ 을 활용하여 증명 과정에서 닫힘과 합성 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 주어진 연산자 아이디얼 $\cal I$ 에 대해 바나흐 공간 $E$ 가 언제 $\cal I$-근사성질을 갖는가?
• RQ2 $\cal I$-AP는 유계 헬름홀츠 함수 공간 $\mathcal{H}^\infty(U;F)$ 와 그 예비공간 $G^\infty(U)$ 의 구조와 어떻게 관련되어 있는가?
• RQ3 $\mathcal{H}^\infty(U;F)$ 가 언제 $\cal I$-구조를 가진 헬름홀츠 함수에 대해 위상적으로 닫혀 있는가?
• RQ4 $E$ 의 $\cal I$-AP 는 $G^\infty(U)$ 의 $\cal I$-AP 를 통해 특성화될 수 있는가?
• RQ5 $\tau_\gamma$ 위상은 연산자 아이디얼과 헬름홀츠 근사 사이의 연결 고리로 어떤 역할을 하는가?

주요 결과

• 바나흐 공간 $E$ 가 $\cal I$-AP를 가진다는 것과, 모든 바나흐 공간 $F$ 에 대해 $\mathcal{H}^\infty(U;F) = \overline{\mathcal{I} \circ \mathcal{H}^\infty(U;F)}^{\tau_\gamma}$ 이다 하는 것은 서로 동치이며, 이는 위상적 특성화를 제공한다.
• 예비공간 $G^\infty(U)$ 가 $\cal I$-AP를 가진다는 것과 $E$ 가 $\cal I$-AP를 가진다는 것은 서로 동치이며, 이는 $E$ 의 근사성질과 그 헬름홀츠 예비공간의 근사성질을 연결한다.
• $G^\infty(U)$ 상의 항등 연산자가 $\mathcal{I}(G^\infty(U);G^\infty(U))$ 의 $\tau_c$-닫힘에 속해 있는 것은 정확히 $E$ 가 $\cal I$-AP를 가질 때이다.
• 결과는 [19, 정리 5]를 일반화하고 [20, 명제 6.6]을 확장하며, $\cal I$-AP 를 헬름홀츠 함수 프레임워크에 통합한다.
• 조건 $\cal{L}[\cal{I}] \subseteq \cal{I} \circ \cal{L}$ 에 의하여 아이디얼이 합성과 헬름홀츠 립팅과 호환됨을 보장함으로써 동치 관계가 성립한다.
• 증명은 동차 다항식에서의 $\tau_c$-$\tau_\gamma$ 호환성과 헬름홀츠 함수를 $\cal I$-연산자와의 합성으로 표현하는 데 의존한다.