Skip to content
June 29, 2013 / porton

The history of discovery of funcoids

In my book I introduce funcoids as a generalization of proximity spaces. This is the most natural way to introduce funcoids, but it was not the actual way I’ve discovered them.

The first thing discovered equivalent to funcoids was a function \Delta (generalizing a topological space) which I defined to get a set as argument and return a filter, subject to several equalities, after the removal of superfluous equalities it has become:

  • \Delta\varnothing = \varnothing;
  • \Delta(I\cup J) = \Delta I\cup\Delta J.

(Here \cup and \cap may mean the join and meet on the lattice of filters ordered reverse to set-theoretic inclusion of filters, \varnothing also denotes the improper filter.)

Then somehow (I don’t remember how exactly) I managed that this \Delta can be reverted (like modern notion of reverse funcoid).

Somehow I have managed to define composition of funcoids.

Afterward I defined funcoids in the following cumbersome way:

Funcoids is a set of objects f such that it is unambiguously defined by the values \langle f\rangle and \langle f^{-1}\rangle of functions from filters to filters such that \mathcal{Y}\cap\langle f\rangle\mathcal{X}\ne\varnothing \Leftrightarrow \mathcal{X}\cap\langle f^{-1}\rangle\mathcal{Y}\ne\varnothing.

Later I have come to the simple idea that instead of this cumbersome definition can be replaced with simply defining a funcoid as a pair of functions from filters to filters.

An other anachronism: Initially I considered funcoids as a special case of reloids conforming to the above formula. (I don’t remember whether I had an exact definition for a reloid to be a funcoid.) Later funcoids have become an independent kind of objects, rather than a special case of reloids.

Finally, I’ve replaced the funcoid on a single “universal” set with funcoids between two sets A and B, so forming a category of funcoids.

I have not told the history of filter objects (where principal filters were equated with corresponding sets, such as \varnothing was also the improper filter) and then removing this notion in regard of simple reverse-ordered lattice of filters with order, meets, and joins denoted differently than set-theoretic subset, intersection, and union, not to make mess between these.

Finally: If I would know the notion of proximity spaces at the time when I wrote the function \Delta would it prevent me to discover funcoids (counting that proximity spaces is what I need and thus not continuing the research further)?


Leave a Comment
  1. A.K. Devaraj / Jun 30 2013 04:49

    The concept of “failure functions ” may be applicable. To see the possibility go to and search for “failure functions ” . You may also read how this tool has been used to prove the infinitude of primes of the form x^2 + 1.

    A.K. Devaraj ( go to You tube and search for A.K. Devaraj)


    • porton / Jun 30 2013 12:31

      I don’t see any relation between funcoids and failure functions.


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 )

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 )

Connecting to %s

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

%d bloggers like this: