Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 0938.03079
Bělohlávek, Radim
Fuzzy Galois connections. (English)
[J] Math. Log. Q. 45, No.4, 497-504 (1999). ISSN 0942-5616; ISSN 1521-3870/e

Recall that a (contravariant) Galois connection between two posets $P$ and $Q$ is a pair of mappings $P@>+>>Q$, $Q@>->>P$ such that $a\le b^-\Leftrightarrow b\le a^+$. The standard example is the polarity associated with a relation $\rho\subseteq X\times Y$, i.e., the Galois connection between $\text{\bf 2}^X$ and $\text{\bf 2}^Y$ defined by $A^+= \{y\in Y\mid x\rho y$ $\forall x\in A\}$ and $B^-= \{x\in X\mid x\rho y$ $\forall y\in B\}$. Further, let $(L;\wedge,\vee, 0,1,\rightarrow)$ be a complete residuated lattice. The author defines a fuzzy Galois connection between two fuzzy sets $L^X$ and $L^Y$ as a pair of mappings $L^X@>+>> L^Y$, $L^Y@>->>L^X$ such that $\text{Subs}(A,B^-)= \text{Subs}(B, A^+)$, where the subsethood degree $\text{Subs}(A_1,A_2)$ is defined by $\text{Subs}(A_1,A_2)= \inf\{A_1(x)\to A_2(x)\mid x\in X\}$. Furthermore, the fuzzy polarity associated with a fuzzy relation $R\in L^{X\times Y}$ is defined by $A^+(y)= \inf\{A(x)\to R(x,y)\mid x\in X\}$ and $B^-(x)= \inf\{B(y)\to R(x,y)\mid y\in Y\}$. The main result of the paper is a bijection between fuzzy Galois connections and fuzzy relations, such that every fuzzy Galois connection is the fuzzy polarity determined by the associated fuzzy relation, and every fuzzy relation is associated with a fuzzy Galois connection in the way indicated above. This generalizes a theorem of Ore on Galois connections.\par Remark: The author has informed the reviewer that the formula on page 498, line 22, should read $\{a/x\}(x')= 0$.
[S.Rudeanu (Bucureşti)]

MSC 2000:: *03E72 Fuzzy sets (logic)
06A15 Galois correspondences (ordered structures)

Keywords: fuzzy Galois connection between fuzzy sets; fuzzy polarity; fuzzy relation

Cited in: Zbl 1206.06002 Zbl 1119.06004 Zbl 1024.03025

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]