시퀀스 공간 임베딩의 최대 비콤팩트성 연구

초록

본 논문은 시퀀스 공간 사이의 임베딩 연산자에 대해 볼 측정(non‑compactness)인 α(T)를 조사한다. 특히 아이덴티티 연산자가 최대 비콤팩트(α(T)=‖T‖)가 되는 필요·충분 조건을 제시하고, 두 파라미터(p,q)를 갖는 Lorentz 시퀀스 공간 ℓ^{p,q}의 포함 관계와 그 사이의 아이덴티티 연산자 노름을 정확히 구한다. 마지막으로 이러한 임베딩이 최대 비콤팩트인지 여부를 일반 정리와 구체적인 Lorentz 공간 사례를 통해 판별한다.

상세 분석

논문은 먼저 비콤팩트성의 정량적 척도인 볼 측정 α(T)를 정의하고, α(T)와 연산자 노름 ‖T‖ 사이의 기본 부등식 0≤α(T)≤‖T‖를 제시한다. α(T)=0이면 연산자는 콤팩트, α(T)=‖T‖이면 ‘최대 비콤팩트’라 부른다. 이러한 개념은 Kuratowski의 초기 연구에 뿌리를 두고, 최근에는 엔트로피 수와 s‑수와도 연관된다.

첫 번째 주요 결과는 일반적인 시퀀스 공간 X와 Y가 c₀에 포함되고, 모든 원소 x∈Y가 |x_k|≤‖x‖_Y를 만족하며, 아이덴티티 연산자 I:X→Y의 노름이 0<‖I‖≤1이면 I가 최대 비콤팩트임을 보이는 Proposition 2.1이다. 증명은 α(I)<‖I‖라 가정하고, c₀의 수렴성을 이용해 I(B_X)에 포함되지 못하는 특정 표준 기저 벡터 e_j를 구성함으로써 모순을 도출한다. 이어서 두 번째 가정이 없을 경우를 보여주는 예시(가중 ℓ^p 공간)도 제시한다.

그 다음 Theorem 2.3은 ‘재배열 불변 격자(rearrangement‑invariant lattice)’라는 구조적 가정을 도입한다. X와 Y가 모두 c₀에 포함된 재배열 불변 격자이면, 아이덴티티 임베딩 I는 자동으로 최대 비콤팩트가 된다. 핵심 아이디어는 임의의 x∈B_X에 대해 재배열 불변성으로부터 x와 λ·x* (λ∈(0,1)) 사이의 거리 ‖x*−λx*‖_Y가 ‖I‖보다 크게 유지됨을 이용해, 어떤 유한 개의 구가 전체 이미지 I(B_X)를 덮을 수 없음을 보이는 것이다.

반대로 Theorem 2.4는 임베딩이 ℓ^∞ 로 향할 때, ‘스팬(span)’이라는 수량 σ_ℓ을 정의하고 ‖I‖≤σ_ℓ<2‖I‖이면 I는 최대 비콤팩트가 아님을 증명한다. 여기서는 구의 중심을 일정한 상수열 y_k 로 잡고, σ_ℓ/2보다 큰 반경을 선택해 I(B_X)를 유한 개의 구로 덮을 수 있음을 보인다. 결과적으로 α(I)≤σ_ℓ/2가 된다.

논문의 핵심 응용 분야는 Lorentz 시퀀스 공간 ℓ^{p,q}이다. 정의에 따라 ℓ^{p,q}는 감소 재배열 a를 이용해 ‖a‖{p,q}= (∑{n}(n^{1/p−1/q}a_n)^q)^{1/q} (q<∞) 혹은 sup_n n^{1/p}a*_n (q=∞) 로 정의된다. 저자는 ℓ^{p,q}가 언제 c₀에 포함되는지, 그리고 ℓ^{p1,q1}⊂ℓ^{p2,q2}가 성립하는 정확한 조건을 p와 q의 비교를 통해 정리한다. 특히 p1≤p2 그리고 (p1< p2 또는 q1≤q2)일 때 포함이 성립함을 보이며, 그 외의 경우는 반례를 제시한다.

이후 각 포함에 대한 아이덴티티 연산자 I:ℓ^{p1,q1}→ℓ^{p2,q2}의 노름을 정확히 계산한다. 노름은 보통 ‖I‖=1이지만, p와 q가 무한인 경우에는 상수 C(p1,q1,p2,q2) 형태의 계수가 등장한다. 이러한 정확한 노름값을 이용해 앞서 제시한 일반 정리들을 적용하면, 대부분의 ℓ^{p,q} 사이 임베딩은 최대 비콤팩트임을 확인한다. 특히 p와 q가 모두 유한하고 p1<p2이면 Theorem 2.3에 의해 자동적으로 최대 비콤팩트가 된다. 반면 ℓ^{p,q}→ℓ^∞ 와 같은 경우는 Theorem 2.4의 조건을 검증해 α(I)와 ‖I‖ 사이에 명확한 간격이 존재함을 보인다.

전체적으로 논문은 비콤팩트성의 정량적 측정과 재배열 불변 격자 구조를 결합해, 시퀀스 공간 임베딩의 ‘최악의 비콤팩트’ 상황을 체계적으로 규명한다. 특히 Lorentz 시퀀스 공간이라는 풍부한 예시를 통해 일반 이론의 적용 가능성을 넓히고, 향후 함수 공간의 임베딩 문제에도 동일한 접근법을 확장할 수 있는 기반을 제공한다.