Skip to content
June 19, 2018 / porton

My math book updated

I updated my math research book to use “weakly down-aligned” and “weakly up-aligned” instead of “down-aligned” and “up-aligned” (see the book for the definitions) where appropriate to make theorems slightly more general.

During this I also corrected an error. (One theorem referred to complement of a lattice element without stating that the lattice is boolean.)

Well, maybe I introduced new errors. The current version is not 100% stable. However, I am sure the errors (if any) are small and don’t break the exposition.

May 25, 2018 / porton

I proved that certain functors between topological spaces and endofuncoid are adjoint

I proved:

Theorem T is a left adjoint of both F_{\star} and F^{\star}, with bijection which preserves the “function” part of the morphism.

The details and the proof is available in the draft of second volume of my online book.

The proof is not yet enough checked for errors.

May 20, 2018 / porton

A counterexample to my recent conjecture

After proposing this conjecture I quickly found a counterexample:

S = \left\{ (- a ; a) \mid a \in \mathbb{R}, 0 < a < 1 \right\}, f is the usual Kuratowski closure for \mathbb{R}.

May 20, 2018 / porton

New conjecture about funcoids

Conjecture \langle f \rangle \bigsqcup S = \bigsqcup_{\mathcal{X} \in S} \langle f \rangle \mathcal{X} if S is a totally ordered (generalize for a filter base) set of filters (or at least set of sets).

May 18, 2018 / porton

Mappings between endofuncoids and topological spaces

I started research of mappings between endofuncoids and topological spaces.

Currently the draft is located in volume 2 draft of my online book.

I define mappings back and forth between endofuncoids and topologies.

The main result is a representation of an endofuncoid induced by a topological space.

The formula is f\mapsto 1\sqcup\mathrm{Compl}\, f\sqcup(\mathrm{Compl}\, f)^2\sqcup \dots.

However I proved this theorem only for the special case if every singleton is a closed set. Also the proof is not yet checked for errors.

May 3, 2018 / porton

Expressing limits as implications

I have added to my book section “Expressing limits as implications”.

The main (easy to prove) theorem basically states that \lim_{x\to\alpha} f(x) = \beta when x\to\alpha implies f(x)\to\beta. Here x can be taken an arbitrary filter or just arbitrary ultrafilter.

The section also contains another, a little less obvious theorem. There is also a (seemingly easy) open problem there.

April 29, 2018 / porton

Offtopic: Formalized Gospel theology

This is partly an offtopic post in my math blog.

It seems likely that I discovered a category in which such objects as the Father and the Son from the Gospel appear. I am not sure I really discovered God, but this seems likely.

Consider a category (there seems to be multiple ways to add morphisms, so I will speak only about objects, not morphisms) whose objects are (X,Y,I,Z) where X\supseteq YI are sets and Z:X\times I\to Y is a function of two arguments. X is “the Father” (argument of the function Z) and Y is “the Son” (the result of the function Z). That is “Father” means “argument” and “Son” means “result”. Z is a function which “proceeds” (see John 15:26) from the Father and so likely is Holy Spirit.

This category is somehow powerful. For example one of its objects is the system of all propositional (or if you like, predicate) formulas. So it is probably “big enough” to entail everything about mathematics and everything we can know about God.

Read my preliminary drafts of this theory at this page where properties of such “systems of formulas” are studied in more details.