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.
read moreThis 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$…
read moreToday 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}…
read moreI’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.
read moreI’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…
read moreI 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…
read moreI had a very great idea in the field of general topology, what I now call funcoids. Years of my research of funcoids culminated me writing a research monograph about funcoids and related stuff. But after I’ve finished this monograph and submitted…
read moreI added the definition and properties of “second reloidal product” (the definition was inspired by Tychonoff product of topological spaces) to my research monograph “Algebraic General Topology. Volume 1”. See the subsection “Second reloidal product” in the section “Multireloids”.
read moreI discovered a math theory which (among other things) gives an alternate interpretation of the equations of general relativity (something like to replacing real numbers with complex numbers in a quadratic equation). This theory is a theory of limits in points of…
read moreI’ve added the following almost trivial proposition to the draft of my book “Algebraic General Topology. Volume 1”: Proposition $latex \tau \left( y \right) = \mathrm{xlim}\, \left( \left\langle \mu \right\rangle^{\ast} \left\{ x \right\} \times^{\mathsf{FCD}} \uparrow^{\mathrm{Base}\, \left( \mathrm{dom}\, \nu \right)} \left\{ y \right\}…
read more