Reloid corresponding to funcoid is between outward and inward reloid (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Recomm. for undergrads: no
Posted by: porton
on: August 9th, 2007
Solved by: Porton, Victor
Conjecture   For any funcoid $ f $ and reloid $ g $ having the same source and destination \[ ( \mathsf{\tmop{RLD}})_{\tmop{out}} f \subseteq g \subseteq (    \mathsf{\tmop{RLD}})_{\tmop{in}} f \Leftrightarrow ( \mathsf{\tmop{FCD}}) g    = f. \]

See Algebraic General Topology for definitions of used concepts.

Counter-example: $ f=(=)|_{\Omega} $ where $ \Omega $ is the Frechet filter, $ g=\emptyset $. Then $ (\mathsf{\tmop{RLD}})_{\tmop{out}} f=\emptyset $.


*Victor Porton. Algebraic General Topology

* indicates original appearance(s) of problem.

Please improve presentation!

Please, provide

1) definitions of the used concepts (to make the statement self-contained)

2) motivation (why this is important, examples, ...)

At the present state, this text is unfortunately not very useful for someone not acquainted with your manuscripts.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.