http://openproblemgarden.org/op/another_conjecture_about_reloids_and_funcoids Comments for "Another conjecture about reloids and funcoids" en http://openproblemgarden.org/op/another_conjecture_about_reloids_and_funcoids <table cellspacing="10"> <tr> <td> Author(s): <a href="/category/porton_victor">Porton</a>&nbsp;&nbsp; </td> <td align=right> Subject: <a href="/topology">Topology</a>&nbsp;&nbsp; </td> </tr> <tr> <td colspan=2> <table border=1 cellspacing="5"> <tr><td> <div class="envsimple"><b>Definition</b>&nbsp;&nbsp; <img class="teximage" src="/files/tex/233b3cef05580aee2ca00c357cfdbc67bacf126a.png" alt="$ \square f = \bigcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f $" /> for reloid <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" />. </div> <div class="envtheorem"><b>Conjecture</b>&nbsp;&nbsp; <img class="teximage" src="/files/tex/004185ca69576a6b46e10d7d0fb46c76b6c53c43.png" alt="$ (\mathsf{RLD})_{\Gamma} f = \square (\mathsf{RLD})_{\mathrm{in}} f $" /> for every funcoid <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" />. </div> <p>Note: it is known that <img class="teximage" src="/files/tex/df844f21989ebe387eeabc23372701c22fd1623a.png" alt="$ (\mathsf{RLD})_{\Gamma} f \ne \square (\mathsf{RLD})_{\mathrm{out}} f $" /> (see below mentioned online article).</p> </tr></td> </table> </td> </tr> </table> Porton, Victor Topology http://openproblemgarden.org/op/another_conjecture_about_reloids_and_funcoids#comment Fri, 28 Nov 2014 16:53:19 +0100 porton 59970 at http://openproblemgarden.org