[논문 리뷰] A norm for Tsirelson's Banach space

Diana Ojeda-Aristizabal|arXiv (Cornell University)|2012. 07. 18.

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

한 줄 요약

이 논문은 티르셀슨의 원래 바나흐 공간 T에 대해 명시적인 암묵적 노름 표현을 제공하며, 피에르젤과 존슨가 제시한 T*의 노름 공식과 쌍대 관계를 이룹니다. 이는 블록 시퀀스와 최소 분해를 포함하는 특정 재귀 방정식을 만족하는 모든 노름들 중에서 T의 노름이 점별 최대값임을 입증하고, 혼합 티르셀슨 공간의 이중 노름을 계산하는 데 이 방법을 확장합니다. 이는 셸룸프레히트 공간을 포함합니다.

ABSTRACT

We give an expression for the norm of the space constructed by Tsirelson. The implicit equation satisfied by this norm is dual to the implicit equation for the norm of the dual of Tsirelson space given by Figiel and Johnson. The expression can be modified to give the norm of the dual of any mixed Tsirelson space. In particular, our results can be adapted to give the norm for the dual of Schlumprecht space.

연구 동기 및 목표

• 티르셀슨의 원래 바나흐 공간 T의 노름에 대해 이전에 닫힌 형태로 기술되지 않은 명시적 표현을 제공하는 것.
• 계산 가능한 노름 표현이 부재함으로 인해 T를 연구하는 데 어려움이 있었던 점을 해결하기 위해, 표준 기저 벡터를 정규화하는 암묵적 방정식을 통한 노름 구축.
• 이 방법을 혼합 티르셀슨 공간의 이중 노름 계산으로 확장하여, 셸룸프레히트 공간을 포함한 모든 혼합 티르셀슨 공간에 적용하는 것.
• 구축된 노름이 동일한 암묵적 방정식을 만족하고 표준 기저 벡터를 정규화하는 모든 노름들 중에서 최대임을 입증하는 것.

제안 방법

• c₀₀ 위의 노름 수열을 블록 시퀀스와 분해에 대한 반복 최소화를 통해 정의하며, 초기 노름으로 ||x||₀ = ||x||₁을 사용.
• 재귀 공식 ||x||ₙ₊₁ = min{ min{ (1/θₗ) maxᵢ ||Eᵢx||ₙ : (Eᵢ) ℳₗ-가능, x=∑Eᵢx }, inf{||y||ₙ + ||z||ₙ : x=y+z, supp(y)⊆supp(x)) } } 사용.
• 수열 (||x||ₙ)의 수렴성을 증명하여 한계 노름 ||x||를 도출하며, 이는 암묵적 방정식을 만족함: ||x|| = min{ min{ (1/θₗ) maxᵢ ||Eᵢx|| : ℳₗ-가능한 블록, x=∑Eᵢx }, inf{||y||+||z|| : x=y+z } }
• 이중성 정리를 적용하여 이중 공간의 단위 구를 약한*수렴에서 생성된 집합 V의 볼록 hull의 약한*폐포로 식별.
• 표준 기저 벡터가 노름 하에서 정규화되어 있음을 검증하고, 노름이 동일한 암묵적 방정식을 만족하는 모든 해들 중에서 최대임을 입증.
• 계수와 가용성 조건을 일반화하여 혼합 티르셀슨 공간 T[(ℳₙ,θₙ)ₙ]에 대해 이 구성 방식을 적응.

실험 결과

연구 질문

• RQ1 티르셀슨의 원래 바나흐 공간 T에 대해 알려진 닫힌 형태의 노름이 없는 점을 감안할 때, 명시적인 암묵적 노름 표현을 도출할 수 있는가?
• RQ2 T의 노름은 블록 시퀀스와 분해를 포함하는 재귀 방정식을 만족하는가?
• RQ3 T에 사용된 방법을 혼합 티르셀슨 공간의 이중 노름 계산으로 일반화할 수 있는가? 이는 셸룸프레히트 공간을 포함한다.
• RQ4 T에 대해 구축된 노름은 동일한 암묵적 방정식을 만족하고 표준 기저를 정규화하는 모든 노름들 중에서 최대인가?
• RQ5 혼합 티르셀슨 공간의 이중 공간의 단위 구는 기능들의 재귀적 생성 과정을 통해 기술할 수 있는가?

주요 결과

• 티르셀슨의 원래 공간 T의 노름은 c₀₀ 위에서 재귀적으로 정의된 노름 수열의 극한으로 주어지며, 특정한 암묵적 방정식을 만족한다.
• T의 노름은 동일한 암묵적 방정식을 만족하고 표준 기저 벡터 eᵢ를 정규화하는 모든 노름들 중에서 점별 최대값이다.
• 혼합 티르셀슨 공간 T[(ℳₙ,θₙ)ₙ]의 이중 공간은 계수 θₙ과 ℳₙ-가능한 블록 시퀀스를 포함하는 일반화된 재귀 공식을 통해 노름으로 표현 가능하다.
• T[(ℳₙ,θₙ)ₙ]의 이중 공간의 단위 구는 표준 기저 함수들과 가용 블록 위에서의 θₗ-조합을 포함하는 재귀적으로 생성된 집합 V의 볼록 hull의 약한*폐포이다.
• 셸룸프레히트 공간의 이중 노름은 일반화된 공식을 통해 계산 가능하며, 이는 이 방법이 원래 티르셀슨 공간을 초월해 적용 가능함을 확인한다.
• T에 대해 구축된 노름은 지원 크기 기반의 귀납적 계산이 불가능하며, 이는 최소화 항과 최소 항의 구조 때문이지만, T*의 노름과는 다릅니다.