\'Arp\'ad Sz\'az
Supremum properties of Galois--type connections

Comment.Math.Univ.Carolin. 47,4 (2006) 569-583.

Abstract:In a former paper, motivated by a recent theory of relators (families of relations), we have investigated increasingly regular and normal functions of one preordered set into another instead of Galois connections and residuated mappings of partially ordered sets. \par A function $f$ of one preordered set $X$ into another $Y$ has been called \vskip \smallskipamount \par (1) increasingly $g$-normal, for some function $g$ of $Y$ into $X$, if for any $x\in X$ and $y\in Y$ we have $f(x)\leq y$ if and only if $x\leq g(y)$; \vskip \smallskipamount \par (2) increasingly $\varphi $-regular, for some function $\varphi $ of $X$ into itself, if for any $x_{1}, x_{2}\in X$ we have $x_{1}\leq \varphi (x_{2})$ if and only if $f(x_{1})\leq f(x_{2})$. \vskip \smallskipamount \par In the present paper, we shall prove that if $f$ is an increasingly regular function of $X$ onto $Y$, or $f$ is an increasingly normal function of $X$ into $Y$, then $f[\sup (A)]\subset \sup (f[A])$ for all $A\subset X$. Moreover, we shall also prove some more delicate, but less important supremum properties of such functions.

Keywords: preordered sets, Galois connections (residuated mappings), supremum properties
AMS Subject Classification: Primary 06A06, 06A15; Secondary 04A05, 54E15

PDF