[논문 리뷰] On three open problems related to quasi relative interior

Constantin Zălinescu|arXiv (Cornell University)|2014. 06. 10.

Advanced Banach Space Theory참고 문헌 6인용 수 13

한 줄 요약

이 논문은 볼록해석학에서의 준상대내부(quasi relative interior, qri)와 관련된 세 개의 열린 문제를 해결한다. 합집합의 준내부가 항상 준내부의 합과 일치하지 않음을 보여주는 반례를 제시하며, qriC ∩ qriD ≠ ∅일 때 qri(C ∩ D) ⊆ qriC ∩ qriD가 성립함을 증명함으로써 Borwein과 Goebel(2003)이 제기한 두 질문과 Grad 및 Pop(2014)의 추측을 모두 해결한다. 주요 기여는 약한 조건 하에서 교차 연산 규칙의 타당성을 확립하고, ℓ₂ 공간에서의 반례를 통해 합 규칙에서 엄밀한 포함 관계가 성립함을 보여주는 것이다.

ABSTRACT

We give answers to two questions formulated by Borwein and Goebel in 2003 and to a conjecture formulated by Grad and Pop in 2014 related to calculus rules for quasi (relative) interior.

연구 동기 및 목표

• Borwein과 Goebel(2003)이 제기한 볼록집합의 준상대내부에 대한 계산 규칙과 관련된 두 개의 열린 질문을 해결하는 것.
• Grad와 Pop(2014)이 제안한 추측, 즉 qiB ≠ ∅인 볼록집합 A, B에 대해 A + qiB = qi(A + B)가 성립하는가를 검증하거나 기각하는 것.
• 특히 무한차원 국소볼록공간에서 qri에 대한 교차 및 합 규칙이 성립하는 조건을 명확히 하는 것.
• ℓ₂ 공간에서의 반례를 제시하여 qriC + qriD가 qri(C + D)의 진부분집합임을 보여주는 것, 즉 합 규칙이 항상 등식이 아님을 입증하는 것.
• qriC ∩ qriD ≠ ∅일 때 qri(C ∩ D) ⊆ qriC ∩ qriD가 성립함을 확인함으로써 이전에 불확실시되었던 포함 관계를 확인하는 것.

제안 방법

• 시퀀스 (n⁻¹)ₙ≥₁ 과 양의 쐐기 ℓ₁⁺ 를 사용하여 힐버트 공간 ℓ₂ 에서 합 규칙에서 엄밀한 포함 관계를 보여주는 반례를 구성한다.
• 무한차원 공간에서 qriC의 구조를 분석하기 위해 qriC = {x ∈ C | cl(cone(C − x)) = cl(lin₀C)} 라는 특성 표현을 사용한다.
• 지지함수를 통한 이중성 이론을 적용: x₀ ∉ qriC 이면, x* ∈ X* extbackslash {0} 가 존재하여 ⟨x₀, x*⟩ = inf x*(C) 를 만족함을 이용한다.
• qriC = C ∩ qri(clC) 라는 항등식을 사용하여 qri 집합과 그 닫힘의 관계를 연결함으로써 경계점 분석을 가능하게 한다.
• qi(C + D) = qi(C + qiD) ⊂ qi(C + D) 라는 사실을 활용하여 민코프스키 합에 대한 준내부의 행동을 분석한다.
• C ∩ qriD ≠ ∅ 일 때 qri(C ∩ D) ⊆ C ∩ qriD 라는 포함 관계를 사용하고, 더 강한 교차 조건 하에서 이를 qriC ∩ qriD 로 확장한다.

실험 결과

연구 질문

• RQ1 Grad와 Pop(2014)이 추측한 바, qiB ≠ ∅ 인 볼록집합 A, B에 대해 A + qiB = qi(A + B) 가 항상 성립하는가?
• RQ2 qriC + qriD ⊂ qri(C + D) 의 포함 관계가 엄밀할 수 있는가, 즉 qriC + qriD ≠ qri(C + D) 인 경우가 존재하는가?
• RQ3 Borwein과 Goebel(2003)이 제기한 바와 같이, qriC ∩ qriD ≠ ∅ 일 때 qri(C ∩ D) ⊆ qriC ∩ qriD 가 성립하는가?
• RQ4 무한차원 공간에서 qriC 가 qiC 의 진부분집합인 볼록집합 C 가 존재하는가, 또는 qiC ≠ ∅ 이지만 qriC = ∅ 인 경우는 존재하는가?
• RQ5 두 집합의 합의 준상대내부가 그들의 준상대내부의 합으로 생성되지 않을 수 있는가?

주요 결과

• Grad와 Pop(2014)의 추측, 즉 qiB ≠ ∅ 인 볼록집합 A, B에 대해 A + qiB = qi(A + B) 가 성립한다는 것은 ℓ₂ 공간에서의 반례로 기각됨을 입증하였다.
• 일반적으로 qriC + qriD ⊂ qri(C + D) 는 엄밀한 포함 관계를 가진다. 예를 들어, x̄ = (n⁻¹)ₙ≥₁ ∈ qi(C + D) 이지만 x̄ ∉ C + qiD 이므로 이를 보여준다.
• C = [0,1]x̄ 이고 x̄ = (n⁻¹)ₙ≥₁ 일 때 qriC = (0,1)x̄ 이며, D = ℓ₁⁺ 이면 qiD = qriD = {x ∈ ℓ₁ | xₙ > 0 for all n} 이다. 이 경우 x̄ ∈ qi(C + D) 이지만 x̄ ∉ C + qiD 이다.
• qriC ∩ qriD ≠ ∅ 일 때 qri(C ∩ D) ⊆ qriC ∩ qriD 가 성립함을 확인하여 Borwein과 Goebel(2003)이 제기한 질문에 대한 긍정적 해답을 제시한다.
• 반례는 C와 D가 모두 닫혀 있고 볼록하며, qiD ≠ ∅ 이더라도 그 준내부의 합이 합의 준내부에 도달하지 못할 수 있음을 보여준다.
• 결과적으로 qri에 대한 계산 규칙은 다른 내부 개념에 비해 훨씬 더 엄격한 제약 조건을 가짐을 시사하며, 무한차원 설정에서 합 규칙을 적용할 때 주의가 필요함을 시사한다.