Domain and image for Gamma-reloid (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Keywords:
Recomm. for undergrads: no
Posted by: porton
on: November 29th, 2014
Solved by: Porton, Victor
Conjecture   $ \ensuremath{\operatorname{dom}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{\Gamma}}} f =\ensuremath{\operatorname{dom}}f $ and $ \ensuremath{\operatorname{im}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{\Gamma}}} f =\ensuremath{\operatorname{im}}f $ for every funcoid $ f $.

See Algebraic General Topology for definitions of used concepts.

Proved positively in this online atticle

Bibliography

*Victor Porton. Algebraic General Topology


* indicates original appearance(s) of problem.