[논문 리뷰] d-independence and d-bases in vector lattices

Y. A. Abramovich, Arkady Kitover|ArXiv.org|1999. 03. 26.

Advanced Algebra and Logic참고 문헌 5인용 수 4

한 줄 요약

이 논문은 임의의 벡터 격자에서의 d-독립성이라는 새로운 개념을 도입하여 이전에 투영 밴드의 존재에 의존해 온 제약를 극복하고, 보편적으로 적용 가능한 d-기저의 재정의를 수립한다. 일반 조건 하에서, 벡터 격자는 싱글턴 d-기저를 갖거나 무한한 d-기저를 가져야 하며, 이는 함수해석학과 벡터 격자 이론에서 d-기저의 적용 가능성을 크게 확장한다.

ABSTRACT

This article contains the results of two types. First we give a complete characterization of band preserving projection operators on Dedekind complete vector lattices. This is done in Theorem~3.4. Let us mention also Theorem~3.2 that contains a description of such operators on arbitrary laterally complete vector lattices. The central role in these descriptions is played by d-bases, one of two principal tools utilized in our work [{\it Inverses of Disjointness Preserving Operators}, Memoirs of the Amer. Math. Soc., forthcoming]. The concept of a d-basis has been applied so far only to vector lattices with a large amount of projection bands. The absence of the projection bands has been the major obstacle for extending, otherwise very useful concept of d-bases, to arbitrary vector lattices. In Section~4 we overcome this obstacle by finding a new way to introduce d-independence in an arbitrary vector lattice. This allows us to produce a new definition of a d-basis which is free of the existence of projection bands. We illustrate this by proving several results devoted to cardinality of d-bases. Theorems~4.13 and~4.15 are the main of them and they assert that, under very general conditions, a vector lattice either has a singleton d-basis of else this d-basis must be infinite.

연구 동기 및 목표

• 이전에 투영 밴드의 존재가 필요로 했던 d-기저의 한계를 극복하기 위해.
• 투영 밴드의 존재에 의존하지 않는, 새로운 내재적 정의의 d-독립성을 개발하기 위해.
• 다량의 투영 밴드를 갖는 격자에 국한되지 않고, 임의의 벡터 격자로 d-기저 이론을 일반화하기 위해.
• 데데킨드 완비 및 후퇴적으로 완비된 벡터 격자에서의 밴드를 보존하는 투영 연산자를 특성화하기 위해.
• d-기저의 기수를 조사하고 그 크기에 대한 구조적 제약 조건을 설정하기 위해.

제안 방법

• 투영 밴드에 의존하지 않는, 임의의 벡터 격자에서의 새로운 대수적 조건인 d-독립성을 도입한다.
• 새로운 d-독립 개념을 사용하여 d-기저를 정의함으로써 일반 벡터 격자에서의 적용 가능성을 확보한다.
• 이전 연구에서 유래한 이산성 보존 연산자 및 그 역함수의 이론을 적용한다.
• 격자 이론적 기법을 사용하여 데데킨드 완비 및 후퇴적으로 완비된 벡터 격자에서의 밴드를 보존하는 연산자를 분석한다.
• 벡터 격자의 구조적 결과를 활용하여 d-기저의 기수 제약 조건을 유도한다.
• 격자 순서를 가진 벡터 공간의 논증을 통해 d-기저의 존재성과 크기에 관한 정리를 수립한다.

실험 결과

연구 질문

• RQ1 투영 밴드가 없는 벡터 격자에서 d-기저를 정의할 수 있는가?
• RQ2 일반적인 벡터 격자에서 d-기저의 기수는 얼마인가?
• RQ3 데데킨드 완비 벡터 격자에서의 밴드를 보존하는 투영 연산자는 어떻게 특성화할 수 있는가?
• RQ4 d-기저가 싱글턴이거나 무한한지를 보장하는 조건은 무엇인가?
• RQ5 d-독립성은 다량의 투영 밴드를 갖는 격자 외부로 d-기저 이론을 일반화하는 데 어떤 역할을 하는가?

주요 결과

• 투영 밴드의 존재가 필요 없는 새로운 d-독립성 정의가 도입되었다.
• 새로운 d-독립 프레임워크를 통해 d-기저 개념이 임의의 벡터 격자로 일반화되었다.
• 정리 4.13은 벡터 격자가 d-기저를 갖는다면 그것이 싱글턴이거나 무한하다고 증명한다.
• 정리 4.15는 일반 조건 하에서, 벡터 격자는 싱글턴 d-기저를 허용하거나 그 d-기저가 반드시 무한해야 한다고 확인한다.
• 데데킨드 완비 벡터 격자에서의 밴드를 보존하는 투영 연산자는 d-기저를 통해 완전히 특성화된다.
• 결과적으로, d-기저의 적용 가능성이 다량의 투영 밴드를 갖는 격자 외부로도 확장되었다.