[논문 리뷰] A note on lineability

Geraldo Botelho, Diogo Diniz외 2명|ArXiv.org|2009. 05. 16.

Advanced Banach Space Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 초반사형 바나흐 공간 $E$ 에서 바나흐 공간 $F$ 로의 컴팩트 연산자 집합에서 절대 $p$-합성 연산자를 제외한 집합이 특정 조건 하에서 $\aleph_1$-선형성을 가짐을 증명한다. 특히, $E$ 가 보완 가능한 무한차원 무조건적 기저를 지니거나 $F$ 가 무한한 무조건적 기본열을 포함할 경우 성립한다. 증명은 $\ell_1$ 에서 차집합 집합으로의 단사 선형 사상 구축을 통해 이루어지며, 이는 집합 내에 비가산 차원의 부분공간을 포함함을 보여주며, 이는 이전의 $\aleph_0$-선형성 결과를 확장한다.

ABSTRACT

In this note we answer a question concerning lineability of the set of non-absolutely summing operators.

연구 동기 및 목표

• 문헌 [1] 에서 제기된 미해결 문제, 즉 비절대 합성 연산자 집합이 $\mu > \aleph_0$ 에 대해 $\mu$-선형가능한가를 해결하기 위해.
• 비절대 합성 연산자에 대한 기존의 $\aleph_0$-선형성 결과를 비가산 선형성으로 확장하기 위해.
• 적절한 기하 조건 하에서 $\mathcal{L}(E;F)$ 내 고정된 점에서 노름을 도달하는 연산자 집합에 대해 $\aleph_1$-선형성을 확립하기 위해.
• 특정 경우, 예를 들어 $E = \ell_p$, $F = \ell_q$ 이고 $p > 1$ 일 때 선형성 차원이 최적이 됨을 보여주기 위해.
• 문헌 [1] 과 [4] 의 기법을 통합 및 일반화하여 연산자 이상과 노름 도달 연산자 집합 양쪽 모두에서 선형성을 증명하기 위해.

제안 방법

• $\mathbb{N}$ 을 무한히 많은 서로소인 무한 부분집합 $(A_j)_{j=1}^\infty$ 로 분해하여, 무조건적 기저를 지닌 부분공간을 구성하기 위해.
• 무조건적 기저 성질을 이용해 $E_0 \subset E$ 또는 $F_j \subset F$ 의 보완 가능한 부분공간 $E_j$ 를 정의하며, 그 노름이 $\varrho$ 이하인 유계 투영을 확보한다. 여기서 $\varrho$ 는 무조건적 기저 상수이다.
• $E_j$ 또는 $F_j$ 에서 정의된 컴팩트이지만 절대 $p$-합성 연산자가 아닌 연산자 $u_j$ 를 구성하며, 이는 [2] 에서의 알려진 결과를 활용한다.
• $E$ 상에서의 확장 연산자 $\widetilde{u}_j$ 를 투영과 포함 사상의 복합으로 정의하여, $\widetilde{u}_j \in \mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 임을 보장한다.
• $T: \ell_1 \to \mathcal{K}(E;F)$ 를 $T((a_n)) = \sum_{j=1}^\infty a_j \widetilde{u}_j$ 로 정의하며, 서로 다른 지지집합을 이용해 단사성을 확보한다.
• $T(\ell_1) \subset (\mathcal{K}(E;F)\setminus\Pi_p(E;F)) \cup \{0\}$ 임을 증명하여, 이미지가 차집합 집합에 포함된 $\aleph_1$ 차원 부분공간임을 보여준다.

실험 결과

연구 질문

• RQ1 적절한 바나흐 공간 조건 하에서 $\mathcal{L}(E;F)\setminus\Pi_p(E;F)$ 가 $\mu > \aleph_0$ 에 대해 $\mu$-선형가능한가?
• RQ2 $E$ 가 초반사형이고 보완 가능한 무한차원 부분공간에 무조건적 기저를 지닐 경우, $\mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 는 $\aleph_1$-선형가능한가?
• RQ3 유사한 선형성 기법이 노름을 도달하는 연산자 집합 $\mathcal{NA}^{x_0}(E;F)$ 에도 적용 가능한가?
• RQ4 자연스러운 예인 $E = \ell_p$, $F = \ell_q$ 에서 $\mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 의 최대 가능한 선형성 차원은 무엇인가?
• RQ5 절대 합성 및 컴팩트 연산자 이외의 다른 연산자 이상으로도 이 구성 방식을 일반화할 수 있는가?

주요 결과

• $E$ 가 초반사형이고 보완 가능한 무한차원 부분공간에 무조건적 기저를 지닐 경우, 집합 $\mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 는 $\aleph_1$-선형가능하다.
• $F$ 가 무한한 무조건적 기본열을 포함하면, $E$ 가 그러한 부분공간을 지닐 필요 없이 동일한 결론이 성립한다.
• 이 구성은 $\ell_1$ 에서 $\mathcal{K}(E;F)$ 로의 단사 선형 사상 $T$ 를 유도하며, 그 이미지는 $\left(\mathcal{K}(E;F)\setminus\Pi_p(E;F)\right) \cup \{0\}$ 에 포함되어 비가산 선형성을 증명한다.
• 구성된 부분공간의 차원은 정확히 $\aleph_1$ 이며, 이는 $E = \ell_p$, $F = \ell_q$ 이고 $p > 1$ 인 경우 최적이며, 이 경우 $\dim \mathcal{L}(\ell_p;\ell_q) = \aleph_1$ 이기 때문이다.
• 이 방법은 노름 도달 연산자 집합으로도 확장 가능하다: $E$ 가 어떤 $1 \leq q < \infty$ 에 대해 $\ell_q$ 의等거리 복사본을 포함하면 $\mathcal{NA}^{x_0}(E;F)$ 는 $\aleph_1$-선형가능하다.
• 증명은 서로 다른 지지집합과 유계 투영에 의존하며, 이는 사상 $T$ 의 단사성과 이미지 내에서 원하는 연산자 성질 유지에 기여한다.