''Counterexamples in Topology'' (1970, 2nd ed. 1978) is a book on
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
by
topologists
Lynn Steen and
J. Arthur Seebach, Jr.
In the process of working on problems like the
metrization problem, topologists (including Steen and Seebach) have defined a wide variety of
topological properties. It is often useful in the study and understanding of abstracts such as
topological space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
s to determine that one property does not follow from another. One of the easiest ways of doing this is to find a
counterexample
A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "student John Smith is not lazy" is a c ...
which exhibits one property but not the other. In ''Counterexamples in Topology'', Steen and Seebach, together with five students in an undergraduate research project at
St. Olaf College,
Minnesota
Minnesota ( ) is a U.S. state, state in the Upper Midwestern region of the United States. It is bordered by the Canadian provinces of Manitoba and Ontario to the north and east and by the U.S. states of Wisconsin to the east, Iowa to the so ...
in the summer of 1967, canvassed the field of
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
for such counterexamples and compiled them in an attempt to simplify the literature.
For instance, an example of a
first-countable space which is not
second-countable
In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T is second-countable if there exists some countable collection \mat ...
is counterexample #3, the
discrete topology
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest to ...
on an
uncountable set
In mathematics, an uncountable set, informally, is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal number: a set is uncountable if its cardinal number is larger t ...
. This particular counterexample shows that second-countability does not follow from first-countability.
Several other "Counterexamples in ..." books and papers have followed, with similar motivations.
Reviews
In her review of the first edition,
Mary Ellen Rudin wrote:
:In other mathematical fields one restricts one's problem by requiring that the
space
Space is a three-dimensional continuum containing positions and directions. In classical physics, physical space is often conceived in three linear dimensions. Modern physicists usually consider it, with time, to be part of a boundless ...
be
Hausdorff or
paracompact
In mathematics, a paracompact space is a topological space in which every open cover has an open Cover (topology)#Refinement, refinement that is locally finite collection, locally finite. These spaces were introduced by . Every compact space is par ...
or
metric, and usually one doesn't really care which, so long as the restriction is strong enough to avoid this dense forest of counterexamples. A usable map of the forest is a fine thing...
In his submission to
Mathematical Reviews
''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science.
The AMS also pu ...
C. Wayne Patty wrote:
:...the book is extremely useful, and the general topology student will no doubt find it very valuable. In addition it is very well written.
When the second edition appeared in 1978 its review in
Advances in Mathematics
''Advances in Mathematics'' is a peer-reviewed scientific journal covering research on pure mathematics. It was established in 1961 by Gian-Carlo Rota. The journal publishes 18 issues each year, in three volumes.
At the origin, the journal aimed ...
treated topology as territory to be explored:
:
Lebesgue once said that every mathematician should be something of a
naturalist
Natural history is a domain of inquiry involving organisms, including animals, fungi, and plants, in their natural environment, leaning more towards observational than experimental methods of study. A person who studies natural history is cal ...
. This book, the updated journal of a continuing expedition to the never-never land of general topology, should appeal to the latent naturalist in every mathematician.
Notation
Several of the
naming conventions in this book differ from more accepted modern conventions, particularly with respect to the
separation axioms. The authors use the terms T
3, T
4, and T
5 to refer to
regular,
normal, and
completely normal. They also refer to
completely Hausdorff as
Urysohn. This was a result of the different historical development of metrization theory and
general topology
In mathematics, general topology (or point set 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 differ ...
; see
History of the separation axioms for more.
The
long line in example 45 is what most topologists nowadays would call the 'closed long ray'.
List of mentioned counterexamples
#
Finite discrete topology
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest to ...
#
Countable
In mathematics, a Set (mathematics), set is countable if either it is finite set, finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function fro ...
discrete topology
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest to ...
#Uncountable
discrete topology
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest to ...
#
Indiscrete topology In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the conseque ...
#
Partition topology
#
Odd–even topology
#
Deleted integer topology
#
Finite particular point topology
#
Countable particular point topology
#
Uncountable particular point topology
#
Sierpiński space
In mathematics, the Sierpiński space is a finite topological space with two points, only one of which is closed.
It is the smallest example of a topological space which is neither trivial nor discrete. It is named after Wacław Sierpiński.
The ...
, see also
particular point topology
#
Closed extension topology
#Finite
excluded point topology In mathematics, the excluded point topology is a topological space, topology where exclusion of a particular point defines open set, openness. Formally, let ''X'' be any non-empty set and ''p'' ∈ ''X''. The collection
:T = \ \cup \
of subsets of ...
#Countable
excluded point topology In mathematics, the excluded point topology is a topological space, topology where exclusion of a particular point defines open set, openness. Formally, let ''X'' be any non-empty set and ''p'' ∈ ''X''. The collection
:T = \ \cup \
of subsets of ...
#Uncountable
excluded point topology In mathematics, the excluded point topology is a topological space, topology where exclusion of a particular point defines open set, openness. Formally, let ''X'' be any non-empty set and ''p'' ∈ ''X''. The collection
:T = \ \cup \
of subsets of ...
#
Open extension topology
#
Either-or topology
#
Finite complement topology on a
countable
In mathematics, a Set (mathematics), set is countable if either it is finite set, finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function fro ...
space
#
Finite complement topology on an uncountable space
#
Countable complement topology
#Double pointed
countable complement topology
#
Compact complement topology
#Countable
Fort space
#Uncountable
Fort space
#
Fortissimo space
#
Arens–Fort space
#Modified
Fort space
#
Euclidean topology
In mathematics, and especially general topology, the Euclidean topology is the natural topology induced on n-dimensional Euclidean space \R^n by the Euclidean metric.
Definition
The Euclidean norm on \R^n is the non-negative function \, \cdot ...
#
Cantor set
#
Rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example,
The set of all ...
s
#
Irrational number
In mathematics, the irrational numbers are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, ...
s
#Special subsets of the real line
#Special subsets of the plane
#
One point compactification topology
#One point compactification of the rationals
#
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
#
Fréchet space
#
Hilbert cube
In mathematics, the Hilbert cube, named after David Hilbert, is a topological space that provides an instructive example of some ideas in topology. Furthermore, many interesting topological spaces can be embedded in the Hilbert cube; that is, ca ...
#
Order topology
In mathematics, an order topology is a specific topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets.
If ''X'' is a totally ordered set, ...
#Open ordinal space
,Γ) where Γ<Ω
#Closed ordinal space [0,Γwhere Γ<Ω
#Open ordinal space [0,Ω)
#Closed ordinal space [0,Ω">,Γ.html" ;"title=",Γ) where Γ<Ω
#Closed ordinal space [0,Γ">,Γ) where Γ<Ω
#Closed ordinal space
where Γ<Ω
#Open ordinal space #Uncountable discrete ordinal space
# Long line
#
Extended long line
#An altered Long line (topology)">long line
#Lexicographic order topology on the unit square">Long line (topology)">Long line
#Long line (topology)">Extended long line
#An altered
long line
#
# Right order topology
#Order topology">Right order topology on R
#Lower limit topology">Right half-open interval topology
#Nested interval topology">Order topology">Right order topology
#Order topology">Right order topology on R
#Lower limit topology">Right half-open interval topology
#Nested interval topology
#Overlapping interval topology
#Interlocking interval topology
#Hjalmar Ekdal topology, whose name was introduced in this book.
#Prime ideal topology
#Divisor topology
#Evenly spaced integer topology
#The P-adic#Analytic approach, ''p''-adic topology on Z
#Relatively
prime integer topology
#
Prime integer topology
#Double pointed reals
#Countable complement extension topology
#
Smirnov's deleted sequence topology
#
Rational sequence topology
#Indiscrete rational extension of R
#Indiscrete irrational extension of R
#Pointed rational extension of R
#Pointed irrational extension of R
#Discrete rational extension of R
#Discrete irrational extension of R
#Rational extension in the plane
#
Telophase topology
#
Double origin topology
#
Irrational slope topology
#Deleted diameter topology
#Deleted radius topology
#
Half-disk topology
#Irregular lattice topology
#
Arens square
#Simplified
Arens square
#
Niemytzki's tangent disk topology
#Metrizable tangent disk topology
#
Sorgenfrey's half-open square topology
#Michael's product topology
#
Tychonoff plank
#
Deleted Tychonoff plank
#
Alexandroff plank
#
Dieudonné plank
#Tychonoff corkscrew
#Deleted Tychonoff corkscrew
#
Hewitt's condensed corkscrew
#
Thomas's plank
#
Thomas's corkscrew
#
Weak parallel line topology
#Strong parallel line topology
#Concentric circles
#
Appert space
#Maximal compact topology
#Minimal
Hausdorff topology
#
Alexandroff square
#Z
Z
#Uncountable products of Z
+
#Baire product metric on R
ω
#I
I
#
I
# ,Ω)×II
#Helly space
#C[0,1">Helly_space.html" ;"title=",Ω)×I
I
#
,Ω)×II
#Helly space
#C[0,1#Box topology">Box product topology on R
ω
#Stone–Čech compactification">Helly space">,Ω)×I
I
#Helly space
#C[0,1#Box topology">Box product topology on R
ω
#Stone–Čech compactification
#Stone–Čech compactification of the integers
#Novak space
#Strong ultrafilter topology
#Single ultrafilter topology
#Nested rectangles
#Topologist's sine curve
#Topologist's sine curve, Closed topologist's sine curve
#
Extended topologist's sine curve
#
Infinite broom
#
Closed infinite broom
#
Integer broom
#Nested angles
#Infinite cage
#
Bernstein's connected sets
#
Gustin's sequence space
#
Roy's lattice space
#
Roy's lattice subspace
#
Cantor's leaky tent
#
Cantor's teepee
#
Pseudo-arc
#
Miller's biconnected set
#Wheel without its hub
#
Tangora's connected space
#Bounded metrics
#
Sierpinski's metric space
#
Duncan's space
#
Cauchy completion
#
Hausdorff's metric topology
#
Post Office metric
#Radial metric
#Radial interval topology
#
Bing's discrete extension space
#
Michael's closed subspace
See also
*
References
Bibliography
*
*
*Lynn Arthur Steen and J. Arthur Seebach, Jr., ''Counterexamples in Topology''. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. {{ISBN, 0-486-68735-X (Dover edition).
External links
π-Base: An Interactive Encyclopedia of Topological Spaces
1978 non-fiction books
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
General topology
Mathematics books