© 1996, Topology Atlas
The concepts of A-connectedness (also called
C(A)-connectedness) and A-disconnectedness were
introduced by Gerhard Preuss in his 1967 thesis.
Definitions: Let A be a class of topological spaces.
A topological space X is called A-connected if every
continuous function from X into a space in A must be
constant. A topological space Y is called A-disconnected
if every continuous function from an A-connected space to Y must be
constant.
Note that if A consists of only the two-point discrete space, then
the A-connected spaces coincide with the connected spaces,
and the A-disconnected spaces are the totally disconnected
spaces, i.e. those spaces whose components are singletons.
The class of A-connected spaces is called a
connectedness, and the class of A-disconnected
spaces is called a disconnectedness. These classes have
also been called left-constant and right-constant.
In addition to Gerhard Preuss, other early investigators of
connectedness and
disconnectedness include Horst Herrlich, A.V. Arhangel'skii
and Richard Wiegandt, and Graciela Salicrup and Roberto Vásquez.
The characterization of connectednesses and disconnectednesses,
as well as properties of such classes, soon became an important subject
in the study of connectedness and disconnectedness.
The relationship between connectivity and factorizations of continuous
functions was pointed out in 1934 by S. Eilenberg and G.T. Whyburn,
who independently introduced the (monotone,light) factorization.
(Recall that a map is monotone if its fibres are connected, and a
map is light if its fibres are totally disconnected.)
The (monotone,light) factorization was generalized to other
factorization structures, including
(A-monotone,A-light) factorization structures,
by Peter Collins and Roy Dyckhoff, Graciela Salicrup and Roberto
Vásquez, George Strecker, and Walter Tholen.
Graciela Salicrup and Roberto Vásquez extended many of these
concepts from the category
of topological spaces and continuous functions to Set-based
topological categories. They considered factorization structures for
single morphisms and for families of morphisms (both sources and
sinks), and used them extensively.
In Connection and disconnection in LNM 719 (1979) pages
326-344, they extended many of their results to an even larger class of
categories which included both topological categories and a large
class of Abelian categories, and explored the relationship between
connectedness and disconnectedness and torsion
theory.
Some Recent Developments