کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
428998 | 686994 | 2012 | 4 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: On behavioural pseudometrics and closure ordinals On behavioural pseudometrics and closure ordinals](/preview/png/428998.png)
A behavioural pseudometric is often defined as the least fixed point of a monotone function F on a complete lattice of 1-bounded pseudometrics. According to Tarskiʼs fixed point theorem, this least fixed point can be obtained by (possibly transfinite) iteration of F, starting from the least element ⊥ of the lattice. The smallest ordinal α such that Fα(⊥)=Fα+1(⊥)Fα(⊥)=Fα+1(⊥) is known as the closure ordinal of F. We prove that if F is also continuous with respect to the sup-norm, then its closure ordinal is ω. We also show that our result gives rise to simpler and modular proofs that the closure ordinal is ω.
► We show that the closure ordinal of a monotone and continuous function on a complete lattice of 1-bounded pseudometric spaces is omega.
► We show that this result gives rise to simpler proofs.
► We show that this result gives rise to modular proofs.
Journal: Information Processing Letters - Volume 112, Issue 19, 15 October 2012, Pages 715–718