[논문 리뷰] Farthest point problem and M-compact sets

‎Debmalya Sain, Kallol Paul외 1명|arXiv (Cornell University)|2016. 05. 13.

Optimization and Variational Analysis참고 문헌 5인용 수 4

한 줄 요약

이 논문은 유일하게 먼 거리 집합이 존재하는 유한 차원의 강한 볼록 노름 선형 공간에서 모든 집합이 싱글턴임을 증명하는 초등적 증명을 제시한다. M-콤���트성 개념을 사용하여 기존의 가장 먼 점 문제 결과를 일반화하고 강화한다. 만약 어떤 집합이 유일하게 먼 거리 집합이면서 M-콤팩트라면, 그 유도 집합 역시 유일하게 먼 거리 집합이자 M-콤팩트임을 보이며, 유도 집합이 컴팩트하다면 원래 집합은 반드시 싱글턴이어야 한다.

ABSTRACT

In this paper we give an elementary proof of the fact that every uniquely remotal set is singleton in a finite dimensional strictly convex normed linear space. We show that if A is a uniquely remotal M-compact subset with the derived set of A non-empty then the derived set of A is M-compact and uniquely remotal. We also show that if A is a uniquely remotal M-compact set and the derived set of A is compact then A is singleton.

연구 동기 및 목표

• 유한 차원의 강한 볼록 노름 선형 공간에서 유일하게 먼 거리 집합이 항상 싱글턴임을 단순화된 초등적 증명으로 제시하는 것.
• 가장 먼 점 문제(FPP)에서 M-콤팩트성의 역할과 노름 선형 공간 내 거리 기하학에 대한 영향을 탐구하는 것.
• 유일하게 먼 거리 집합이면서 M-콤팩트인 집합의 유도 집합이 역시 유일하게 먼 거리 집합이자 M-콤팩트임을 증명하는 것.
• 유일하게 먼 거리 집합이면서 M-콤팩트인 집합의 유도 집합 $A'$가 컴팩트하다면, 원래 집합 $A$는 반드시 싱글턴임을 증명하는 것.
• 강한 볼록 공간에서 유일하게 먼 거리 집합의 M-콤팩트성과 닫힘 성질 간의 관계를 탐색하는 것.

제안 방법

• 모든 최대화 수열이 집합 내의 극한으로 수렴하는 M-콤팩트성 개념을 활용한다.
• 강한 볼록성을 적용하여, 주어진 점으로부터의 가장 먼 점이 집합의 닫힘에서 유일하지 않다면 삼각 부등식과 노름의 강한 볼록성에 의해 모순이 발생함을 보인다.
• 유도 집합 $A'$의 수열을 사용하여 $A$에서 최대화 수열을 구성하고, M-콤팩트성으로 수렴을 보장한다.
• 거리 함수 $D(x,A) = D(x,\bar{A})$의 성질을 이용하여 $A$와 그 닫힘 $\bar{A}$ 사이의 가장 먼 거리를 연결하고, $A$가 유일하게 먼 거리 집합이라면 $\bar{A}$ 역시 그렇다는 것을 증명한다.
• 바나흐 공간에서 컴팩트한 유일하게 먼 거리 집합은 싱글턴임을 보여준 클리의 결과를 가장 먼 점 집합 $Far(A)$에 적용한다. 이 집합은 컴팩트하고 유일하게 먼 거리 집합임을 보여준다.
• 최대화 수열의 수렴성과 유일성에 기반해 $Far(A)$의 M-콤팩트성과 닫힘 성질을 조합하여, $A'$가 컴팩트하다면 $A$는 반드시 싱글턴임을 결론짓는다.

실험 결과

연구 질문

• RQ1 유한 차원의 강한 볼록 노름 선형 공간에서 유일하게 먼 거리 집합은 반드시 싱글턴인가?
• RQ2 유일하게 먼 거리 집합이면서 M-콤팩트인 집합의 M-콤팩트성은 그 유도 집합 역시 유일하게 먼 거리 집합이자 M-콤팩트임을 의미하는가?
• RQ3 유도 집합 $A'$의 컴팩트성이 원래 집합 $A$가 싱글턴임을 보장하는 조건은 무엇인가?
• RQ4 일반적인 노름 선형 공간에서 유일하게 먼 거리 집합의 닫힘은 항상 유일하게 먼 거리 집합인가?
• RQ5 노름 선형 공간에서 M-콤팩트성과 가장 먼 점의 유일성 간의 관계는 무엇인가?

주요 결과

• 유한 차원의 강한 볼록 노름 선형 공간에서 모든 유일하게 먼 거리 집합은 싱글턴이며, 새로운 초등적 증명이 제시되었다.
• 강한 볼록 노름 선형 공간에서 $A$가 유일하게 먼 거리 집합이면서 M-콤팩트라면, $\overline{A}$ 역시 유일하게 먼 거리 집합이다.
• 유일하게 먼 거리 집합이면서 M-콤팩트인 집합 $A$에 대해 $A' \neq \emptyset$이면, 유도 집합 $A'$는 유일하게 먼 거리 집합이자 M-콤팩트이다.
• 유일하게 먼 거리 집합이면서 M-콤팩트인 집합 $A$에 대해 $A'$가 컴팩트하면, $A$는 반드시 싱글턴이어야 한다.
• 집합 $A$가 유일하게 먼 거리 집합이면서 M-콤팩트이면, $A$의 모든 가장 먼 점들로 이루어진 집합 $Far(A)$는 M-콤팩트이자 유일하게 먼 거리 집합이다.
• 강한 볼록 공간에서 유일하게 먼 거리 집합의 닫힘은 항상 유일하게 먼 거리 집합이지만, 일반적인 노름 선형 공간에서는 성립하지 않는다.