login/create account
Conjecture Let
be the complete funcoid corresponding to the usual topology on extended real line
. Let
be the order on this set. Then
is a complete funcoid.
be the complete funcoid corresponding to the usual topology on extended real line
. Let
be the order on this set. Then
is a complete funcoid. Proposition It is easy to prove that
is the infinitely small right neighborhood filter of point
.
is the infinitely small right neighborhood filter of point
. If proved true, the conjecture then can be generalized to a wider class of posets.
See Algebraic General Topology for definitions of used concepts.
Bibliography
* indicates original appearance(s) of problem.
Drupal
CSI of Charles University