[논문 리뷰] Closed graph theorems for bornological spaces

Federico Bambozzi|arXiv (Cornell University)|2015. 08. 06.

Mathematical and Theoretical Analysis참고 문헌 10인용 수 10

한 줄 요약

이 논문은 완비이자 비자명하게 평가된 체 위의 생체론적 벡터 공간에 대해, 아르키메데스 및 비아르키메데스 경우를 모두 포함하는 통합된 닫힌 그래프 정리들을 수립한다. 생체론적 네티와 웹을 도입함으로써 포파와 데 빌드의 정리를 일반화하여, 생체론적으로 닫힌 그래프를 가진 선형 변환은 유계이거나 연속임을 증명하고, 이를 통해 모든 대각 아핀이드 대수 사이의 대수형 사상이 유계임을 보여준다.

ABSTRACT

The aim of this paper is that of discussing Closed Graph Theorems for bornological vector spaces in a way which is accessible to non-experts. We will see how to easily adapt classical arguments of functional analysis over $\mathbb{R}$ and $\mathbb{C}$ to deduce Closed Graph Theorems for bornological vector spaces over any complete, non-trivially valued field, hence encompassing the non-Archimedean case too. We will end this survey by discussing some applications. In particular, we will prove de Wilde's Theorem for non-Archimedean locally convex spaces and then deduce some results about the automatic boundedness of algebra morphisms for a class of bornological algebras of interest in analytic geometry, both Archimedean (complex analytic geometry) and non-Archimedean.

연구 동기 및 목표

• 완비이자 비자명하게 평가된 체 위의 생체론적 벡터 공간에 대한 닫힌 그래프 정리의 자가 포함되며 접근 가능한 다루기 위한 것이다.
• 문헌에서의 격차를 메우기 위해 아르키메데스와 비아르키메데스 생체론적 벡터 공간 이론을 통합하기 위한 것이다.
• 클래식한 결과, 예를 들어 포파와 데 빌드의 정리를 최소한의 추가 가정으로 비아르키메데스 환경으로 일반화하기 위한 것이다.
• 이 정리를 이용해 해석기하학에서, 특히 대각 아핀이드 대수에 대해 대수형 사상의 자동 유계성을 증명하기 위한 것이다.
• 비아르키메데스 해석기하학과 글로벌 해석학 분야의 향후 응용을 위한 기초 도구를 마련하기 위한 것이다.

제안 방법

• 완비이자 비자명하게 평가된 체 위의 생체론적 벡터 공간 이론을 도입하고 발전시키며, 아르키메데스 및 비아르키메데스 경우를 모두 포함한다.
• 생체론적 네티와 웹을 정의하여 생체론적 공간 내의 수렴과 유계성의 구조를 일반화하는 도구로 사용한다.
• 생체론적 네티를 사용하여 분리된 볼록 생체론적 공간에 대한 일반적인 닫힌 그래프 정리를 증명하고, 닫힌 그래프가 유계성을 암시함을 보인다.
• 생체론적 웹의 개념을 통해 웹이 있는 생체론적 공간으로 결과를 확장하여, 가흐의 정리를 통합된 프레임워크 안에서 복원한다.
• 이 정리를 비아르키메데스 환경에서 연속성과 유계성을 유도하기 위해 적용하며, 특히 구형 완비 기초 체와 투명 웹이 있는 공간에서 적용한다.
• 닫힌 그래프 정리를 이용해 모든 대각 아핀이드 대수 사이의 대수형 사상이 유계임을 증명하며, 그 과정에서 인덕티브 극한과 생체론적 아이디얼의 구조를 활용한다.

실험 결과

연구 질문

• RQ1 기존의 함수해석학에서의 닫힌 그래프 정리는 비아르키메데스 체 위의 생체론적 벡터 공간으로 일반화될 수 있는가?
• RQ2 생체론적 네티와 웹은 아르키메데스 및 비아르키메데스 환경 간의 닫힌 그래프 정리 다루기에서 어떻게 통합될 수 있는가?
• RQ3 비아르키메데스 국소 볼록 공간에서 생체론적으로 닫힌 그래프를 가진 선형 변환은 어떤 조건에서 여전히 연속적이거나 유계적인가?
• RQ4 데 빌드의 정리는 비아르키메데스 기초 체로 확장될 수 있으며, 추가로 어떤 가정이 필요한가?
• RQ5 대각 아핀이드 대수 사이의 대수형 사상은 자동으로 유계적인가, 그리고 이는 생체론적 닫힌 그래프 정리로부터 유추될 수 있는가?

주요 결과

• 논문은 분리된 볼록 생체론적 벡터 공간에 대해 통합된 닫힌 그래프 정리를 수립한다: E가 완비이고 F가 생체론적 네티를 가진다면, 생체론적으로 닫힌 그래프를 가진 임의의 선형 변환은 유계이다.
• 생체론적 네티를 사용함으로써 이 정리는 포파의 결과를 완비이자 비자명하게 평가된 모든 체, 비아르키메데스 체까지 일반화한다.
• 웹이 있는 생체론적 공간에 대해 두 번째 닫힌 그래프 정리를 증명하여, 가흐의 정리를 일반화하고 비아르키메데스 환경으로 확장한다.
• 기초 체가 구형 완비이고 대상 공간이 투명 웹이 있는 조건 하에서, 논문은 데 빌드의 정리의 비아르키메데스 판정을 증명한다.
• 모든 스트릭트 K-대각 아핀이드 대수 사이의 대수형 사상이 유계임을 증명하며, 이는 닫힌 그래프 정리와 모든 아이디얼이 생체론적으로 닫혀 있다는 사실의 결과로 유도된다.
• 이 결과는 직접 극한을 통해 비스트릭트 대각 아핀이드 대수로 확장되며, 모든 이러한 대수형 사상이 유계임을 확인한다.