Skip to content
April 22, 2010 / porton

A counterexample: Funcoid corresponding to outer reloid

I found a counter-example to the following conjecture.

Conjecture (\mathsf{FCD}) (\mathsf{RLD})_{\mathrm{out}} f = f for every funcoid f.

The counterexample is f = {(=)}|_{\Omega} where \Omega is the Fréchet filter.

See Algebraic General Topology and in particular Funcoids and Reloids online article, the section Some counter-examples for this counterexample.

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 )

Google+ photo

You are commenting using your Google+ 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 )

w

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: