Skip to content
January 21, 2017 / porton

I made an error in a proof

I’ve proved the following (for every funcoids f and g):

Statement \mathrm{up}\,  (f \sqcap^{\mathsf{FCD}} g) \subseteq \bigcup \{ \mathrm{up}\,  (F \sqcap^{\mathsf{FCD}} G) \mid F \in \mathrm{up}\,  f, G \in \mathrm{up}\,  g \} or equivalently: If Z\in\mathrm{up}\,  (f \sqcap^{\mathsf{FCD}} g) then there exists F \in \mathrm{up}\,  f, G \in \mathrm{up}\,  g such that Z\in\mathrm{up}\,  (F \sqcap^{\mathsf{FCD}} G).

But now I’ve noticed that the proof was with an error! So it is again a conjecture.

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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: