-1
$\begingroup$

Let (δ;U) is a proximity space.

I will call a set A connected iff for every partition {X,Y} of the set A holds X δ Y.

Is the following true? (I need a proof or a counter-example.)

Conjecture If S is a collection of connected sets and ∩S≠∅ then ∪S is connected.

Note that instead of proximity we may consider the more general case of δ being limited only by the axioms (a subset of axioms of proximity space):

¬(∅δB), ¬(Aδ∅), X∪YδB⇔XδB∨YδB, AδX∪Y⇔AδX∨AδY.

$\endgroup$
2
  • $\begingroup$ The similar statement about connected sets on topological spaces is true (see Bourbaki). $\endgroup$
    – porton
    Commented Jul 4, 2010 at 21:51
  • $\begingroup$ What relation is there between connection in your sense and the usual notion of connection with respect to the topology induced by the proximity structure? $\endgroup$ Commented Jul 4, 2010 at 22:15

2 Answers 2

3
$\begingroup$

Let $\{X,Y\}$ be a partition of the union of the family $S$, and let p be a point in the intersection of $S$ (which you've assumed is nonempty). Without loss of generality, p is in $X$. But, since a partition can't contain the empty set, $Y$ contains some point q from some set $A$ in the family $S$. Then $\{A\cap X, A\cap Y\}$ is a partition of $A$. By assumption, $A$ is connected, so $(A\cap X)\delta(A\cap Y)$. Therefore $X\delta Y$ as required. (All that was used about $\delta$ is that it's monotone in both arguments, which follows from your assumptions about unions.)

(Could this be homework? Do proximity spaces show up in classes?)

$\endgroup$
0
$\begingroup$

I don't know about the more general notion you've introduced, but this is definitely true for proximity spaces. A space is proximally connected iff every proximally continuous function from it to a discrete space is constant. So a family of proximally connected sets that all have a point in common, will have a proximally connected union, as any proximally continuous function from that union to a discrete space would have to have all values agreeing with the value on the common point.

See also this earlier question: Partition into connected sets by proximity

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .