Series | Book | Chapter

225634

Directed completions and dm-completions on $mathcal {r}-$posets

Li-gang WuLei Fan

pp. 135-144

Abstract

As an enrichment of single order the notion of (mathcal{R})-posets have been introduced by Ji Wen in [8]. Let ((P,sqsubseteq)) be a poset and ω the natural number set whose order is denoted by ≤. If (mathcal {R}=(sqsubseteq_n)_{ninomega}) is a family of partial orders on P such that (i)∀ n,m ∈ ω,m ≤ n implies (sqsubseteq_n subseteq sqsubseteq_m), and (ii)({igcap}_{ninomega}sqsubseteq_n=sqsubseteq), then call ((P,sqsubseteq)) a poset with partial order family (mathcal {R})((mathcal {R})-poset for short),denoted by ((P,sqsubseteq;mathcal {R})). It provides possibility to interpret or measure the complex information in stepwise computing. We will write simply (P_n=(P,sqsubseteq_n)) and (P=(P,sqsubseteq)) respectively if no confusion can rise.Let (mathcal {C}(P_n)) be some completion of P n .It is of interest to know the connections between (mathcal {C}(P_n)) and (mathcal {C}(P_{n+1})) or between (mathcal {C}(P_n)) and (mathcal {C}(P)). Let (mathcal {O}(P)(mathcal {O}(P_n))) and (mathcal {I}(P)(mathcal {I}(P_n))) denote all lower sets and all ideals of P(P n ) respectively.It concludes that (mathcal {O}(P_n)subseteqmathcal {O}(P_{n+1})subseteq mathcal {O}(P)) for all n ∈ ω which implies that (igcup_{n inomega}mathcal {O}(P_n)subseteqmathcal {O}(P) ).But if we require that (mathcal {I}(P_n)subseteqmathcal {I}(P_{n+1})subseteq mathcal {I}(P)) and = n  is  = P   for all n ∈ ω then (sqsubseteq_n=sqsubseteq) for all n ∈ ω. The Dedekind-MacNeile completions(DM-completion for brevity) are also investigated.It is concluded that (sqsubseteq_n=sqsubseteq) for all n ∈ ω if (sqsubseteq_{n+1}) is a close subrelation of (sqsubseteq_n) for all n ∈ ω. The Glois connections can be well preserved on every order in (mathcal {R}-)poset.It is worth pointing out that several interesting examples are indicated to make the study more intelligible.It is our future work to apply domain theory to the formal concept analysis,where it will be possible to approximate infinite informations by finite or computable ones.

Publication details

Published in:

Cao Bing-yuan, Zhang Cheng-yi, Li Tai-fu (2009) Fuzzy information and Engineering I. Dordrecht, Springer.

Pages: 135-144

DOI: 10.1007/978-3-540-88914-4_18

Full citation:

Wu Li-gang, Fan Lei (2009) „Directed completions and dm-completions on $mathcal {r}-$posets“, In: B. Cao, C. Zhang & T.-f. Li (eds.), Fuzzy information and Engineering I, Dordrecht, Springer, 135–144.