-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
    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$ 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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.