[논문 리뷰] Infinite pointwise lineability: general criteria and applications

M. C. Calderón-Moreno, P. J. Gerlach-Mena외 1명|arXiv (Cornell University)|2023. 07. 20.

Advanced Banach Space TheoryMathematics참고 문헌 14인용 수 3

한 줄 요약

이 논문은 함수해석학에서 무한점별 선형성과 조밀한 선형성이라는 새로운 개념을 도입하며, 대수적 선형성에서 위상적 조밀성을 도출하는 일반적인 기준을 제시한다. 이는 ℝᴺ에서 무한번 미분 가능하고 적분 가능하며 유계가 아닌 함수들의 집합이 최대한의 무한점별 조밀한 선형성과 공간성(스페이스어빌리티)을 갖는다고 규명한다. 이는 이전의 무한번 미분 가능하고 유계가 아닌 적분 가능 함수에 대한 결과를 확장한 것이다.

ABSTRACT

In this paper we introduce the concept of infinite pointwise dense lineability (spaceability), and provide a criterion to obtain density from mere lineability. As an application, we study the linear and topological structures within the set of infinite differentiable and integrable functions, for any order $p \geq 1$, on $\mathbb{R}^N$ which are unbounded in a prefixed set.

연구 동기 및 목표

• 위상벡터공간에서 선형성에서 조밀한 선형성으로의 전환을 위한 일반 기준을 개발한다.
• 무한차원 구조와 무한개의 부분공간을 포함하는 무한가지의 선형성 이론을 확장한다.
• ℝᴺ에서 유계가 아니며 무한번 미분 가능하고 적분 가능한 함수들의 선형적 및 위상적 구조를 분석한다.
• 이전의 무한번 미분 가능하고 유계가 아닌 적분 가능 함수의 공간성 및 선형성 결과를 고차 미분 가능성과 더 넓은 함수 클래스로 일반화한다.
• C∞(ℝᴺ) ∩ Lp(ℝᴺ)와 같은 함수공간에서 무한점별 조밀한 선형성을 확립한다. (p ≥ 1)

제안 방법

• 무한점별 α-선형성의 개념을 도입하며, 집합 M에 속한 각 함수 x에 대해 무한한 α차원 부분공간의 가중치 집합 {Wₖ}가 존재하여 x ∈ Wₖ ⊂ M ∪ {0} 이고, k ≠ l 이면 Wₖ ∩ Wₗ = span{x} 를 만족시킨다.
• 무한한 α에 대해 점별 α-선형성이 성립하면, 이를 이용해 무한점별 α-선형성이 성립함을 증명한다. 이는 무한한 인덱스 집합을 동일한 기수를 가진 가산 개의 서로소 부분집합으로 분해하는 데 기반한다.
• 비상대콤���트 집합 A에 속한 수열을 중심으로 한 국소화된 볼록 함수와 분할 단위를 이용해 구성적 방법으로 무한번 미분 가능하고 유계가 아니며 적분 가능한 함수를 구축한다.
• 적절한 조밀한 부분공간 N이 존재할 경우, 일반 기준(정리 2.3)을 적용하여 점별 선형성을 무한점별 조밀한 선형성으로 전환한다.
• 목표 함수의 성장률에 따라 계수를 조절하는 방식으로, 집합 A를 통해 정해진 성장 행동을 갖는 함수의 가중치를 구성한다.
• 개방된 부분집합 Ω ⊂ ℝᴺ에서의 함수공간에 적용하여, 국소 적분 가능성과 미분 가능성 보장을 위해 구조를 조정한다.

실험 결과

연구 질문

• RQ1 점별 선형성은 무한차원 부분공간의 무한가지 집합으로 확장될 수 있으며, 이때 위상적 조밀성은 유지될 수 있는가?
• RQ2 함수공간에서 대수적 선형성에서 위상적 조밀한 선형성으로 전환하기 위한 일반 조건은 무엇인가?
• RQ3 고정된 비상대콤팩트 집합 A에서 무한번 미분 가능하고 유계가 아닌 C∞(ℝᴺ) 함수들의 집합은 무한점별 조밀한 선형성과 공간성을 갖는가?
• RQ4 무한번 미분 가능하고 유계가 아니며 적분 가능한 함수의 구성 방법은 주어진 집합 A를 통해 특정 성장률을 갖는 함수로 일반화될 수 있는가?
• RQ5 무한점별 조밀한 선형성 결과는 ℝᴺ의 개방된 부분집합으로 얼마나 넓게 확장될 수 있는가?

주요 결과

• 고정된 비상대콤팩트 집합 A에서 무한번 미분 가능하고 유계가 아닌 C∞(ℝᴺ) 함수들의 집합은 C∞(ℝᴺ)에서 무한점별 𝔠-조밀한 선형성(∞-pointwise 𝔠-dense lineable)을 갖는다.
• 동일한 집합은 점별 𝔠-스페이스어블이기도 하며, 각 함수에 대해 𝔠차원의 닫힌 부분공간을 포함한다.
• 임의의 연속적이고 증가하는 함수 α: [0,∞) → [1,∞)에 대해, A를 통해 성장률 α를 갖는 C∞(ℝᴺ) 함수들의 집합은 점별 𝔠-스페이스어블이자 무한점별 𝔠-조밀한 선형성을 갖는다.
• 결과는 개방된 부분집합 Ω ⊂ ℝᴺ로도 확장되며, XΩ = C∞(Ω) ∩ ⋂ₚ≥₁ Lᵖ(Ω) 공간은 Ω의 비상대콤팩트 부분집합에서 무한번 미분 가능하고 유계가 아닌 함수에 대해 무한점별 조밀한 선형성을 지닌다.
• 이 방법은 ℓₚ(X) igcup_{q<p} ℓ_q(X)와 같이 기존에 알려진 점별 선형성 집합에도 적용 가능하며, ℓₚ(X)에서 무한점별 조밀한 선형성을 도출한다.
• 무한번 미분 가능하고 유계가 아니며 적분 가능한 함수들의 집합에 속한 임의의 f에 대해, span{f} ⊕ V_f 가 전체 공간에 조밀하게 퍼져 있는 𝔠차원 부분공간 V_f 가 존재함을 보장한다.