In: Advanced Math
Consider the contrapositive statement " if A' is disconnected then A is not coherent." It is enough to prove this contrapositive statement for our proof.
For let A' be disconnected, then there exist nonempty subsets B' and C' of A' such that A' = C' U B' and C' B' = . Correspondingly there exists nonempty sub collections C and B of A such that C' and B' are the union of all elements of C and B respectively. Clearly C U B A. Now let a A then a A' either a C' or a B' but not in both.
either a C or a B
a C U B
A C U B
A = C U B.
Hence there exists nonempty sub collections C and B of A such that A = C U B and C' B' = . Therefore A is not coherent.
Therefore if A' is disconnected then A is not coherent, which implies if A is coherent then A' is connected.