Skip to content
August 21, 2015 / porton

Regular funcoids, a generalization of regular topospaces (rewritten because of an error)

Both my definition and description of properties of regular funcoids were erroneous. (The definition was not compatible with the customary definition of regular topological spaces due an error in the definition, and its properties included mathematical errors.)

I have rewritten the erroneous section of my book.

Now it is shown that being regular for a funcoid f is equivalent to each of the following formulas:

  1. \mathrm{Compl}\,(f \circ f^{-1} \circ f) \sqsubseteq \mathrm{Compl}\,f.
  2. \mathrm{Compl}\,(f \circ f^{-1} \circ f) \sqsubseteq f.

These formulas seem not being an example of math beautify. So I suspect that the traditional definition of regular topospaces should be amended (or rather not to produce a terminology conflict, replaced with an other algebraically more elegant concept).

August 10, 2015 / porton

My book is now available free of charge

Today I’ve took the bold decision to put my math research book online free (under Creative Commons license), with LaTeX source available for editing by anyone at a Git hosting.

Because of conflict of licensing, it seems not that my book will be never published officially.

However publishing in Git has some advantages:

  1. If I want to add to the books something new, it is easy; no need for official edition-2.
  2. It is easy to correct errors as soon as they are found and reported.

Please read my book and also contribute to its editing.

July 31, 2015 / porton

Another definition of pointfree reloids

In previous post I stated that pointfree reloids can be defined as filters on pointfree funcoids.

Now I suggest also an alternative definition of pointfree reloids: Pointfree reloids can be defined as filters on products \mathrm{atoms}\,\mathfrak{A} \times \mathrm{atoms}\,\mathfrak{B} of atoms of posets \mathfrak{A} and \mathfrak{B}.

In the case if \mathfrak{A} and \mathfrak{B} are powerset lattices, this definition coincides with the definition of reloids (and with the definition of pointfree reloids given in the previous post).

July 30, 2015 / porton

Pointfree reloids discovered

After I defined pointfree funcoids which generalize funcoids (see my draft book) I sought for pointfree reloids (a suitable generalization of reloids, see my book) long time.

Today I have finally discovered pointfree reloids. The idea is as follows:

Funcoids between sets A and B denoted \mathsf{FCD}(A;B) are essentially the same as pointfree funcoids \mathsf{pFCD}(\mathfrak{F}(A);\mathfrak{F}(B)) (where \mathfrak{F}(A) denotes filters on a set A).

Reloids between sets A and B denoted \mathsf{RLD}(A;B) are essentially the same as filters \mathfrak{F}(\mathbf{Rel}(A;B)) (where \mathbf{Rel} is the category of binary relations between sets.)

But, as I’ve recently discovered (see my book), \mathbf{Rel}(A;B) is essentially the same as \mathsf{pFCD}(\mathscr{P}A;\mathscr{P}B). So \mathsf{RLD}(A;B) = \mathfrak{F}(\mathbf{pFCD}(\mathscr{P}A;\mathscr{P}B)).

This way (for every posets \mathfrak{A}, \mathfrak{A}) \mathfrak{F}\mathbf{pFCD}(\mathscr{A};\mathscr{B}) corresponds to \mathbf{pFCD}(\mathfrak{F}(\mathscr{A});\mathfrak{F}(\mathscr{B})) in the same way as \mathsf{RLD}(A;B) corresponds to \mathsf{FCD}(A;B). In other words, \mathfrak{F}\mathbf{pFCD}(\mathscr{A};\mathscr{B}) are the pointfree reloids corresponding to pointfree funcoids \mathbf{pFCD}(\mathfrak{F}(\mathscr{A});\mathfrak{F}(\mathscr{B})).


July 24, 2015 / porton

Binary relations are essentially the same as pointfree funcoids between powersets

After this Math.StackExchange question I have proved that binary relations are essentially the same as pointfree funcoids between powersets.

Full proof is available in my draft book.

The most interesting aspect of this is that is that we can construct filtrator with core being pointfree funcoids from \mathfrak{A} to \mathfrak{B} for every poset of pointfree funcoids between filters on \mathfrak{A} and filters on \mathfrak{B}, by analogy with the filtrator of funcoids whose core is a set of binary relations (the same as a pointfree funcoids, by the above bijective correspondence). This way the theory of filtrators of funcoids generalizes for pointfree funcoids.

By the way, this bijective correspondence is a functor.

Not understood? Read my book.

June 14, 2015 / porton

Ideals, free stars, and mixers in my book

I wrote a section on ideals, free stars, and mixers in my book.

Now free stars (among with ideals and mixers) are studied as first class objects, being shown isomorphic to filters on posets.

In (not so far) future it should allow to extend our research of pointfree funcoids and staroids/multifuncoids, using now comprehensive theory of free stars (as now we know that they are isomorphic to filters and so their properties are quite clear).

See the development version of my book.

June 5, 2015 / porton

I’ve rewritten my book in LyX

Previously I wrote my research monograph with TeXmacs word processors.

TeXmacs is a very good program. However annoying bugs of TeXmacs (incorrect file “saved” status, failure to work well when multiple windows with the same document are opened, etc.) and also its slowness when working with a long (300 pages) document, forced me to switch to another software.

So I have rewritten my draft book with LyX word processor (based on LaTeX).

There are also small changes which I accomplished due rewriting:

  1. notatiton change 0 \rightarrow \bot and 1 \rightarrow \top for the least and the greatest element of a poset
  2. notatiton change \langle f \rangle X \rightarrow \langle f \rangle^\ast X for applying a function f to a set X; X \mathrel{[f]} Y \rightarrow X \mathrel{[f]^\ast} Y for existence of a point (x;y)\in X\times Y such that x \mathrel{f} y.
  3. other small changes

Now I am going to start the boring process of checking if I rewrite the book correctly, paragraph by pragraph.


Get every new post delivered to your Inbox.

Join 66 other followers