A funcoid related to directed topological spaces

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Recomm. for undergrads: no
Posted by: porton
on: July 28th, 2016

\begin{conjecture} Let $R$ be the complete funcoid corresponding to the usual topology on extended real line $[-\infty,+\infty] = \mathbb{R}\cup\{-\infty,+\infty\}$. Let $\geq$ be the order on this set. Then $R\sqcap^{\mathsf{FCD}}\mathord{\geq}$ is a complete funcoid. \end{conjecture}

\begin{proposition} It is easy to prove that $\langle R\sqcap^{\mathsf{FCD}}\mathord{\geq}\rangle \{x\}$ is the infinitely small right neighborhood filter of point $x\in[-\infty,+\infty]$. \end{proposition}

If proved true, the conjecture then can be generalized to a wider class of posets.

See \href [Algebraic General Topology]{http://www.mathematics21.org/algebraic-general-topology.html} for definitions of used concepts.

% You may use many features of TeX, such as % arbitrary math (between $...$ and $$...$$) % \begin{theorem}...\end{theorem} environment, also works for question, problem, conjecture, ... % % Our special features: % Links to wikipedia: \Def {mathematics} or \Def[coloring]{Graph_coloring} % General web links: \href [The On-Line Encyclopedia of Integer Sequences]{http://www.research.att.com/~njas/sequences/}


* \href [Blog post]{https://portonmath.wordpress.com/2016/07/28/funcoid-related-directed-topologies/}

% Example: %*[B] Claude Berge, Farbung von Graphen, deren samtliche bzw. deren ungerade Kreise starr sind, Wiss. Z. Martin-Luther-Univ. Halle-Wittenberg Math.-Natur. Reihe 10 (1961), 114. % %[CRS] Maria Chudnovsky, Neil Robertson, Paul Seymour, Robin Thomas: \arxiv[The strong perfect graph theorem]{math.CO/0212070}, % Ann. of Math. (2) 164 (2006), no. 1, 51--229. \MRhref{MR2233847} % % (Put an empty line between individual entries)

* indicates original appearance(s) of problem.