A mathematical theory of singularities!
I present my mathematical theory of singularities. It may probably have applications in general relativity and other physics. The definitions are presented in this short draft article. Before reading this article I recommend to skim through my research monograph (in the field of general topology), because the above mentioned article uses concepts defined in my […]
Two theorems about totally bounded images of a totally bounded reloid
I’ve added to my book two following theorems (formerly conjectures). Theorem Let $latex \mu$ and $latex \nu$ are endoreloids. Let $latex f$ is a principal $latex \mathrm{C}’ ( \mu; \nu)$ continuous, monovalued, surjective reloid. Then if $latex \mu$ is $latex \beta$-totally bounded then $latex \nu$ is also $latex \beta$-totally bounded. Theorem Let $latex \mu$ and […]
Alternate definition of quasi-uniform and quasi-metric spaces
Reloid is a triple $latex {( A ; B ; F)}&fg=000000$ where $latex {A}&fg=000000$, $latex {B}&fg=000000$ are sets and $latex {F}&fg=000000$ is a filter on their cartesian product $latex {A \times B}&fg=000000$. Endoreloid is reloid with the same $latex {A}&fg=000000$ and $latex {B}&fg=000000$. Uniform space is essentially a special case of an endoreloid. The reverse […]
New chapter in my research monograph
I’ve added new chapter 11 “Total boundness of reloids” to my book “Algebraic General Topology. Volume 1”. It expresses several kinds of boundness of reloids, which are however the same total boundness in the special case of uniform spaces.
Change of terminology
I realized that the terms “discrete funcoid” and “discrete reloid” conflict with conventional usage of “discrete topology” and “discrete uniformity”. Thus I have renamed them into “principal funcoid” and “principal reloid”. See my research monograph.
Totally bounded reloids, a generalization of totally bounded uniform spaces
This is a straightforward generalization of the customary definition of totally bounded sets on uniform spaces: Definition Reloid $latex f$ is totally bounded iff for every $latex E \in \mathrm{GR}\, f$ there exists a finite cover $latex S$ of $latex \mathrm{Ob}\, f$ such that $latex \forall A \in S : A \times A \subseteq E$. […]
“Simple product”, a new kind of product of funcoids
Today I’ve discovered a new kind of product of funcoids which I call “simple product”. It is defined by the formulas $latex \left\langle \prod^{(S)}f \right\rangle x = \lambda i \in \mathrm{dom}\, f: \langle f_i \rangle x_i$ and $latex \left\langle \left( \prod^{(S)}f \right)^{-1} \right\rangle y = \lambda i \in \mathrm{dom}\, f:\langle f_i^{-1} \rangle y_i$. Please read […]
A partial proof of “Partitioning a filter into ultrafilters” conjecture
I’ve put a partial partial proof of “Every filter on a set can be strongly partitioned into ultrafilters” conjecture at PlanetMath. Please collaborate in solving this conjecture.
Online listing of research and other projects to participate
I’ve created a site where anyone may list his projects and anyone may mark which projects he is going to participate. Projects are organized into a tree. The site supports LaTeX and has “Mathematics” section: http://theses.portonvictor.org/node/2 I have posted several pages on my math research project: http://theses.portonvictor.org/node/4 – feel free to add yours also. The […]
Definition of subatomic projection of funcoids
I have proved that for every funcoid $latex f:\prod A\rightarrow\prod B$ (where $latex A$ and $latex B$ are indexed families of sets) there exists a funcoid $latex \mathrm{Pr}^{(A)}_k f$ (subatomic projection) defined by the formula: $latex \mathcal{X} \mathrel{\left[ \Pr^{\left( A \right)}_k f \right]} \mathcal{Y} \Leftrightarrow \\ \prod^{\mathsf{RLD}}_{i \in \mathrm{dom}\, A} \left( \left\{ \begin{array}{ll} 1^{\mathfrak{F} \left( […]