Skip to content
February 22, 2011 / porton

Counter-example against “inward reloid of corresponding funcoid of a convex reloid” conjecture

I found (a rather trivial) counter-example to one conjecture I considered in the past:

Example (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) f \neq f for some convex reloid f.

Proof Let f = (=). Then (\mathsf{FCD}) f = (=). Let a is some nontrivial atomic filter object. Then (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) (=) \supseteq a \times^{\mathsf{FCD}} a \nsubseteq (=) and thus (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) (=) \nsubseteq (=).

Before I found the last counter-example, I was thinking that (\mathsf{FCD}) is an isomorphism from the set of of funcoids to the set of convex reloids. As this conjecture failed, we need an other way to characterize the set of reloids isomorphic to funcoids.

The first thing we need to check is whether (\mathsf{RLD})_{\mathrm{in}} is an injection. Maybe this is a simple problem (or maybe it is hard) but I haven’t thought about it yet.


One Comment

Leave a Comment
  1. porton / Feb 22 2011 13:23

    Oh, it is an injection. The proof is leaved for an exercise for a reader of my articles.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: