# Difference between revisions of "Funcoid bases"

Line 16: | Line 16: | ||

$3\Rightarrow 2$ and $2\Rightarrow 1$ are obvious. It's also easy to prove that $1\Rightarrow 4$ (taking into account that $\Gamma$ is a closed sublattice of $\mathsf{FCD}$). | $3\Rightarrow 2$ and $2\Rightarrow 1$ are obvious. It's also easy to prove that $1\Rightarrow 4$ (taking into account that $\Gamma$ is a closed sublattice of $\mathsf{FCD}$). | ||

+ | |||

+ | $3\Rightarrow 4$ because $X,Y\in S\cap\Gamma \Rightarrow X,Y\in\Gamma\land X,Y\sqsupseteq f \Rightarrow X\sqcap Y\in\Gamma\land X\sqcap Y\sqsupseteq f \Rightarrow X\sqcap Y\in S\cap\Gamma$. | ||

Please write your research ideas at this wiki and as comments and trackbacks to [https://portonmath.wordpress.com/2017/04/11/research-in-the-middle-project/ this blog post]. | Please write your research ideas at this wiki and as comments and trackbacks to [https://portonmath.wordpress.com/2017/04/11/research-in-the-middle-project/ this blog post]. |

## Revision as of 21:51, 16 April 2017

This page presents Victor Porton's conjectures about funcoid bases and related stuff as first defined in this draft document.

Please read Algebraic general topology book before attempt to participate in this research.

The main conjecture about funcoid bases is the following:

**Conjecture** The following are equivalent (for every lattice $\mathsf{FCD}$ of funcoids between some sets and a set $S$ of principal funcoids (=binary relations)):

- $\forall X, Y \in S : \operatorname{up} (X \sqcap^{\mathsf{FCD}} Y) \subseteq S$.
- $\forall X_0,\dots,X_n \in S : \operatorname{up} (X_0 \sqcap^{\mathsf{FCD}} \dots \sqcap^{\mathsf{FCD}} X_n) \subseteq S$ (for every natural $n$).
- There exists a funcoid $f\in\mathsf{FCD}$ such that $S=\operatorname{up} f$.

Another possibly equivalent condition:

4. $S$ is an upper set and $S\cap\Gamma$ is a filter on the boolean lattice $\Gamma$ (defined in the chapter "Funcoids are filters" of the book).

$3\Rightarrow 2$ and $2\Rightarrow 1$ are obvious. It's also easy to prove that $1\Rightarrow 4$ (taking into account that $\Gamma$ is a closed sublattice of $\mathsf{FCD}$).

$3\Rightarrow 4$ because $X,Y\in S\cap\Gamma \Rightarrow X,Y\in\Gamma\land X,Y\sqsupseteq f \Rightarrow X\sqcap Y\in\Gamma\land X\sqcap Y\sqsupseteq f \Rightarrow X\sqcap Y\in S\cap\Gamma$.

Please write your research ideas at this wiki and as comments and trackbacks to this blog post.

Proposed ways to attack this conjecture:

$1\Rightarrow 2$:

$2\Rightarrow 3$: