The convexity induced by quasi-consistency and quasi-adjacency

Abstract

In this paper, we introduce (quasi-)consistent spaces and (quasi-)adjacent spaces to characterize convexity spaces. Firstly, we show that convexity spaces can be characterized by quasi-consistent spaces. They can be induced by each other. In particular, each convexity space can be quasi-consistentizable. Every quasi-consistency U can induce two hull operators and thus determine different convexities CU and CU. And CU = CU holds when U is a consistency. Secondly, we use quasi-adjacent spaces to characterize convexity spaces. Each convexity space can be quasi-adjacentizable. In both of characterizations of convexity, remotehood systems play an important role in inducing convexity. Finally, we show there exists a close relation between a quasi-consistency and a quasi-adjacency. Furthermore, there exists a one-to-one correspondence between a quasi-adjacency and a fully ordered quasi-consistency. And we deeply study the relationships among these structures.