Distributivity of outward reloid over composition of funcoids (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   $ ( \mathsf{\tmop{RLD}})_{\tmop{out}} (g \circ f) = ( \mathsf{\tmop{RLD}})_{\tmop{out}} g \circ ( \mathsf{\tmop{RLD}})_{\tmop{out}} f $ for any composable funcoids $ f $ and $ g $.

See Algebraic General Topology for definitions of used concepts.

A counter-example: $ f = {(=)}|_{\Omega} $ and $ g = \mho \times^{\mathsf{\tmop{FCD}}} \{ \alpha \} $.

See the proof for the counter-example in my blog.

Bibliography

*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.