Are principal filters the center of the lattice of filters?
This conjecture has a seemingly trivial case when $latex \mathcal{A}$ is a principal filter. When I attempted to prove this seemingly trivial case I stumbled over a looking simple but yet unsolved problem: Let $latex U$ is a set. A filter (on $latex U$) $latex \mathcal{F}$ is by definition a non-empty set of subsets of […]
Collaborative math research – a real example
There were much talking about writing math research articles collaboratively but no real action. I present probably the first real example of a research manuscript ready to be written collaboratively. I wrote the draft Filters on Posets and Generalizations which I present to the online mathematical society to finish writing it as a collaborative project.
Complete lattice generated by a partitioning – finite meets
I conjectured certain formula for the complete lattice generated by a strong partitioning of an element of complete lattice. Now I have found a beautiful proof of a weaker statement than this conjecture. (Well, my proof works only in the case of distributive lattices, but the case of non-distributive lattices is outside of my research […]
Complete lattice generated by a partitioning of a lattice element
In this post I defined strong partitioning of an element of a complete lattice. For me it was seeming obvious that the complete lattice generated by the set $latex S$ where $latex S$ is a strong partitioning is equal to $latex \left\{ \bigcup{}^{\mathfrak{A}}X | X\in\mathscr{P}S \right\}$. But when I actually tried to write down the […]
Partitioning elements of distributive and finite lattices
I proposed this open problem for the next polymath project. Now I will consider some its special simple cases.
Proposal: Partitioning a lattice element
I’ve given two different definitions for partitioning an element of a complete lattice (generalizing partitioning of a set). I called them weak partitioning and strong partitioning. The problem is whether these two definitions are equivalent for all complete lattices, or if are not then under which additional conditions these are equivalent. (I suspect these may […]
Partitioning of a lattice element: a conjecture
Let $latex \mathfrak{A}$ is a complete lattice. Let $latex a\in\mathfrak{A}$. I will call weak partitioning of $latex a$ a set $latex S\in\mathscr{P}\mathfrak{A}\setminus\{0\}$ such that $latex \bigcup{}^{\mathfrak{A}}S = a \text{ and } \forall x\in S: x\cap^{\mathfrak{A}}\bigcup{}^{\mathfrak{A}}(S\setminus\{x\}) = 0$. I will call strong partitioning of $latex a$ a set $latex S\in\mathscr{P}\mathfrak{A}\setminus\{0\}$ such that $latex \bigcup{}^{\mathfrak{A}}S = a […]
Formalistics of generalization
In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer proof assistants.
Proposal: Conjecture about complementive filters
Earlier I proposed finishing writing this manuscript as a polymath project. But the manuscript contains (among other) this conjecture which can be reasonably separated into an its own detached polymath project.
Proposal: Filters on Posets and Generalizations
I propose to collaboratively finish writing my manuscript “Filters on Posets and Generalizations” which should become the exhaustive reference text about filters on posets, filters on lattices, and generalizations thereof. I have setup this wiki for this purpose.