Let $\delta$ be a proximity.

A set $A$ is connected regarding $\delta$ iff $\forall X,Y \in \mathscr{P} A \setminus \{ \emptyset \} : \left( X \cup Y = A \Rightarrow X \mathrel{\delta} Y \right)$.

Conjecture The following statements are equivalent for every endofuncoid $\mu$ and a set $U$:

  • $U$ is connected regarding $\mu$.

  • For every $a, b \in U$ there exists a totally ordered set $P \subseteq U$ such that $\min P = a$, $\max P = b$, and for every partion $\{ X, Y \}$ of $P$ into two sets $X$, $Y$ such that $\forall x \in X, y \in Y : x < y$, we have $X \mathrel{[ \mu]^{\ast}} Y$.

  • $\begingroup$ I've edited the question. Now it is a somehow different conjecture $\endgroup$
    – porton
    Feb 27, 2014 at 13:39


You must log in to answer this question.

Browse other questions tagged .