In
general topology
In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geomet ...
, the pseudo-arc is the simplest nondegenerate
hereditarily indecomposable continuum
In point-set topology, an indecomposable continuum is a continuum that is indecomposable, i.e. that cannot be expressed as the union of any two of its proper subcontinua. In 1910, L. E. J. Brouwer was the first to describe an indecomposable cont ...
. The pseudo-arc is an arc-like
homogeneous
Homogeneity and heterogeneity are concepts often used in the sciences and statistics relating to the uniformity of a substance or organism. A material or image that is homogeneous is uniform in composition or character (i.e. color, shape, siz ...
continuum, and played a central role in the classification of homogeneous planar continua.
R. H. Bing proved that, in a certain well-defined sense, most continua in R
''n'', ''n'' ≥ 2, are
homeomorphic
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
to the pseudo-arc.
History
In 1920,
Bronisław Knaster
Bronisław Knaster (22 May 1893 – 3 November 1980) was a Polish mathematician; from 1939 a university professor in Lwów and from 1945 in Wrocław.
He is known for his work in point-set topology and in particular for his discoveries in 1922 of ...
and
Kazimierz Kuratowski
Kazimierz Kuratowski (; 2 February 1896 – 18 June 1980) was a Polish mathematician and logician. He was one of the leading representatives of the Warsaw School of Mathematics.
Biography and studies
Kazimierz Kuratowski was born in Warsaw, (th ...
asked whether a nondegenerate homogeneous continuum in the Euclidean plane R
2 must be a
Jordan curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight.
Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that a ...
. In 1921,
Stefan Mazurkiewicz
Stefan Mazurkiewicz (25 September 1888 – 19 June 1945) was a Polish mathematician who worked in mathematical analysis, topology, and probability. He was a student of Wacław Sierpiński and a member of the Polish Academy of Learning (''PAU''). ...
asked whether a nondegenerate continuum in R
2 that is
homeomorphic
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
to each of its nondegenerate subcontinua must be an arc. In 1922, Knaster discovered the first example of a hereditarily indecomposable continuum ''K'', later named the pseudo-arc, giving a negative answer to a Mazurkiewicz question. In 1948,
R. H. Bing proved that Knaster's continuum is homogeneous, i.e. for any two of its points there is a homeomorphism taking one to the other. Yet also in 1948,
Edwin Moise showed that Knaster's continuum is homeomorphic to each of its non-degenerate subcontinua. Due to its resemblance to the fundamental property of the arc, namely, being homeomorphic to all its nondegenerate subcontinua, Moise called his example ''M'' a pseudo-arc. Bing's construction is a modification of Moise's construction of ''M'', which he had first heard described in a lecture. In 1951, Bing proved that all hereditarily indecomposable arc-like continua are homeomorphic — this implies that Knaster's ''K'', Moise's ''M'', and Bing's ''B'' are all homeomorphic. Bing also proved that the pseudo-arc is typical among the continua in a Euclidean space of dimension at least 2 or an infinite-dimensional separable
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
. Bing and
F. Burton Jones
Floyd Burton Jones (November 22, 1910, Cisco, Texas – April 15, 1999, Santa Barbara, California) was an American mathematician, active mainly in topology.
Jones's father was a pharmacist and local politician in Shackelford County, Texas. As the ...
constructed a decomposable planar continuum that admits an open map onto the circle, with each point preimage homeomorphic to the pseudo-arc, called the circle of pseudo-arcs. Bing and Jones also showed that it is homogeneous. In 2016 Logan Hoehn and Lex Oversteegen classified all planar homogeneous continua, up to a homeomorphism, as the circle, pseudo-arc and circle of pseudo-arcs. In 2019 Hoehn and Oversteegen showed that the pseudo-arc is topologically the only, other than the arc, hereditarily equivalent planar continuum, thus providing a complete solution to the planar case of Mazurkiewicz's problem from 1921.
Construction
The following construction of the pseudo-arc follows .
Chains
At the heart of the definition of the pseudo-arc is the concept of a ''chain'', which is defined as follows:
:A chain is a
finite collection of
open set
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are suf ...
s
in a
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
such that
if and only if
The
elements of a chain are called its links, and a chain is called an ε-chain if each of its links has
diameter
In geometry, a diameter of a circle is any straight line segment that passes through the center of the circle and whose endpoints lie on the circle. It can also be defined as the longest chord of the circle. Both definitions are also valid for ...
less than ε.
While being the simplest of the type of spaces listed above, the pseudo-arc is actually very complex. The concept of a chain being ''crooked'' (defined below) is what endows the pseudo-arc with its complexity. Informally, it requires a chain to follow a certain
recursive
Recursion (adjective: ''recursive'') occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in mathematics ...
zig-zag pattern in another chain. To 'move' from the ''m''th link of the larger chain to the ''n''th, the smaller chain must first move in a crooked manner from the ''m''th link to the (''n''-1)th link, then in a crooked manner to the (''m''+1)th link, and then finally to the ''n''th link.
More formally:
:Let
and
be chains such that
:# each link of
is a subset of a link of
, and
:# for any indices ''i'', ''j'', ''m'', and ''n'' with
,
, and