On Topology (1975-1999)

"The philosophical emphasis here is: to solve a geometrical problem of a global nature, one first reduces it to a homotopy theory problem; this is in turn reduced to an algebraic problem and is solved as such. This path has historically been the most fruitful one in algebraic topology." (Brayton Gray, "Homotopy Theory", Pure and Applied Mathematics Vol 64, 1975)

"According to the special theory there is a finite limit to the speed of causal chains, whereas classical causality allowed arbitrarily fast signals. Foundational studies […] soon revealed that this departure from classical causality in the special theory is intimately related to its most dramatic consequences: the relativity of simultaneity, time dilation, and length contraction. By now it had become clear that these kinematical effects are best seen as consequences of Minkowski space-time, which in turn incorporates a nonclassical theory of causal structure. However, it has not widely been recognized that the converse of this proposition is also true: the causal structure of Minkowski space-time contains within itself the entire geometry (topological and metrical structure) of Minkowski space-time." (John A. Winnie," The Causal Theory of Space-Time", 1977)

"Because of its foundation in topology, catastrophe theory is qualitative, not quantitative. Just as geometry treated the properties of a triangle without regard to its size, so topology deals with properties that have no magnitude, for example, the property of a given point being inside or outside a closed curve or surface. This property is what topologists call 'invariant' -it does not change even when the curve is distorted. A topologist may work with seven-dimensional space, but he does not and cannot measure (in the ordinary sense) along any of those dimensions. The ability to classify and manipulate all types of form is achieved only by giving up concepts such as size, distance, and rate. So while catastrophe theory is well suited to describe and even to predict the shape of processes, its descriptions and predictions are not quantitative like those of theories built upon calculus. Instead, they are rather like maps without a scale: they tell us that there are mountains to the left, a river to the right, and a cliff somewhere ahead, but not how far away each is, or how large." (Alexander Woodcock & Monte Davis, "Catastrophe Theory", 1978)

“Every branch of geometry can be defined as the study of properties that are unaltered when a specified figure is given specified symmetry transformations. Euclidian plane geometry, for instance, concerns the study of properties that are 'invariant' when a figure is moved about on the plane, rotated, mirror reflected, or uniformly expanded and contracted. Affine geometry studies properties that are invariant when a figure is 'stretched' in a certain way. Projective geometry studies properties invariant under projection. Topology deals with properties that remain unchanged even when a figure is radically distorted in a manner similar to the deformation of a figure made of rubber.” (Martin Gardner, "Aha! Insight", 1978)

"For one thing, they say, the classification of the elementary catastrophes depends on what is called 'local' analysis of topological properties-in other words, analysis that describes only the immediate neighborhood of the singularity. But the classification theorem does not prove that a system's total range, its 'global' behavior, is like its behavior in that neighborhood. […] Since the topological approach provides no scale, it requires an act of faith to identify a mathematical jump on the catastrophe surface with an observed discontinuity in nature." (Alexander Woodcock & Monte Davis, "Catastrophe Theory", 1978)

"Yet wherever the cracks appear, they show a tendency to extend towards each other, to form characteristic networks, to form specific types of junctions. The location, the magnitude, and the timing of the cracks (their quantitative aspects) are beyond calculation, but their patterns of growth and the topology of their joining (the qualitative aspects) recur again and again." (Alexander Woodcock & Monte Davis, "Catastrophe Theory", 1978)

"A surface is a topological space in which each point has a neighbourhood homeomorphic to the plane, ad for which any two distinct points possess disjoint neighbourhoods. […] The requirement that each point of the space should have a neighbourhood which is homeomorphic to the plane fits exactly our intuitive idea of what a surface should be. If we stand in it at some point (imagining a giant version of the surface in question) and look at the points very close to our feet we should be able to imagine that we are standing on a plane. The surface of the earth is a good example. Unless you belong to the Flat Earth Society you believe it to,be (topologically) a sphere, yet locally it looks distinctly planar. Think more carefully about this requirement: we ask that some neighbourhood of each point of our space be homeomorphic to the plane. We have then to treat this neighbourhood as a topological space in its own right. But this presents no difficulty; the neighbourhood is after all a subset of the given space and we can therefore supply it with the subspace topology." (Mark A Armstrong, "Basic Topology", 1979)

"[…] in trying to prove a concrete geometrical result such as the classification theorem for surfaces, the purely topological structure of the surface (that it be locally euclidean) does not give us much leverage from which to start. On the other hand, although we can define algebraic invariants, such as the fundamental group, for topological spaces in general, they are not a great deal of use to us unless we can calculate them for a reasonably large collection of spaces. Both of these problems may be dealt with effectively by working with spaces that can be broken up into pieces which we can recognize, and which fit together nicely, the so called triangulable spaces." (Mark A Armstrong, "Basic Topology", 1979)

"Topology has to do with those properties of a space which are left unchanged by the kind of transformation that we have called a topological equivalence or homeomorphism. But what sort of spaces interest us and what exactly do we mean by a 'space? The idea of a homeomorphism involves very strongly the notion of continuity [...]"  (Mark A Armstrong, "Basic Topology", 1979)

"Perhaps the best way to approach the question of what mathematics is, is to start at the beginning. In the far distant prehistoric past, where we must look for the beginnings of mathematics, there were already four major faces of mathematics. First, there was the ability to carry on the long chains of close reasoning that to this day characterize much of mathematics. Second, there was geometry, leading through the concept of continuity to topology and beyond. Third, there was number, leading to arithmetic, algebra, and beyond. Finally there was artistic taste, which plays so large a role in modern mathematics. There are, of course, many different kinds of beauty in mathematics. In number theory it seems to be mainly the beauty of the almost infinite detail; in abstract algebra the beauty is mainly in the generality. Various areas of mathematics thus have various standards of aesthetics." (Richard Hamming, "The Unreasonable Effectiveness of Mathematics", The American Mathematical Monthly Vol. 87 (2), 1980)

"Topology, which used to be called geometry of situation or analysis situs ('topos' means position, situation in Greek), considers that all pots with two handles are of the same form because, if both are infinitely flexible and compressible, they can be molded into any other continuously, without tearing any new opening or closing up any old one. It also teaches that all single island coastlines are of the same form, because they are topologically identical to a circle." (Benoît B Mandelbrot, "The Fractal Geometry of Nature" 3rd Ed., 1983)

"Linking topology and dynamical systems is the possibility of using a shape to help visualize the whole range of behaviors of a system. For a simple system, the shape might be some kind of curved surface; for a complicated system, a manifold of many dimensions. A single point on such a surface represents the state of a system at an instant frozen in time. As a system progresses through time, the point moves, tracing an orbit across this surface. Bending the shape a little corresponds to changing the system's parameters, making a fluid more visous or driving a pendulum a little harder. Shapes that look roughly the same give roughly the same kinds of behavior. If you can visualize the shape, you can understand the system." (James Gleick, "Chaos: Making a New Science", 1987)

"Fractal geometry is concerned with the description, classification, analysis, and observation of subsets of metric spaces (X, d). The metric spaces are usually, but not always, of an inherently 'simple' geometrical character; the subsets are typically geometrically 'complicated'. There are a number of general properties of subsets of metric spaces, which occur over and over again, which are very basic, and which form part of the vocabulary for describing fractal sets and other subsets of metric spaces. Some of these properties, such as openness and closedness, which we are going to introduce, are of a topological character. That is to say, they are invariant under homeomorphism." (Michael Barnsley, "Fractals Everwhere", 1988)

"People who have a casual interest in mathematics may get the idea that a topologist is a mathematical playboy who spends his time making Möbius bands and other diverting topological models. If they were to open any recent textbook in topology, they would be surprised. They would find page after page of symbols, seldom relieved by a picture or diagram." (Martin Gardner, "Hexaflexagons and Other Mathematical Diversions", 1988)

"Instead of a state of nature evolving according to a mathematical fomula, the evolution is given geometrically. The full advantage of the geometrical point of view is beginning to appear. The more traditional way of dealing with dynamics was with the use of algebraic expressions. But a description given by formulae would be cumbersome. That form of description wouldn't have led me to insights or to perceptive analysis. My background as a topologist, trained to bend objects like squares, helped to make it possible to see the horseshoe." (Steven Smale, "What is chaos?", 1990)

"And you should not think that the mathematical game is arbitrary and gratuitous. The diverse mathematical theories have many relations with each other: the objects of one theory may find an interpretation in another theory, and this will lead to new and fruitful viewpoints. Mathematics has deep unity. More than a collection of separate theories such as set theory, topology, and algebra, each with its own basic assumptions, mathematics is a unified whole." (David Ruelle, "Chance and Chaos", 1991)

"Mathematics has deep unity. More than a collection of separate theories such as set theory, topology, and algebra, each with its own basic assumptions, mathematics is a unified whole. Mathematics is a great kingdom, and that kingdom belongs to those who see." (David Ruelle, "Chance and Chaos", 1991)

"The major strength of catastrophe theory is to provide a qualitative topology of the general structure of discontinuities. Its major weakness is that it frequently is not associated with specific models allowing precise quantitative prediction, although such are possible in principle." (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"Topology is that branch of mathematics which is interested in the forms of things aside from their size and shape. Two things are said to be topologically equivalent if one can be deformed smoothly into the other without sticking, cutting, or puncturing it in any way. Thus an egg is equivalent to a sphere." (John D Barrow, "Theories of Everything: The Quest for Ultimate Explanation", 1991)

"Topology deals with those properties of curves, surfaces, and more general aggregates of points that are not changed by continuous stretching, squeezing, or bending. To a topologist, a circle and a square are the same, because either one can easily be bent into the shape of the other. In three dimensions, a circle and a closed curve with an overhand knot in it are topologically different, because no amount of bending, squeezing, or stretching will remove the knot." (Edward N Lorenz, "The Essence of Chaos", 1993)

"Geometry and topology most often deal with geometrical figures, objects realized as a set of points in a Euclidean space (maybe of many dimensions). It is useful to view these objects not as rigid (solid) bodies, but as figures that admit continuous deformation preserving some qualitative properties of the object. Recall that the mapping of one object onto another is called continuous if it can be determined by means of continuous functions in a Cartesian coordinate system in space. The mapping of one figure onto another is called homeomorphism if it is continuous and one-to-one, i.e. establishes a one-to-one correspondence between points of both figures." (Anatolij Fomenko, "Visual Geometry and Topology", 1994)

"Homeomorphism is one of the basic concepts in topology. Homeomorphism, along with the whole topology, is in a sense the basis of spatial perception. When we look at an object, we see, say, a telephone receiver or a ring-shaped roll and first of all pay attention to the geometrical shape (although we do not concentrate on it specially) - an oblong figure thickened at the ends or a round rim with a large hole in the middle. Even if we deliberately concentrate on the shape of the object and forget about its practical application, we do not yet 'see' the essence of the shape. The point is that oblongness, roundness, etc. are metric properties of the object. The topology of the form lies 'beyond them'." (Anatolij Fomenko, "Visual Geometry and Topology", 1994)

"The concept of homeomorphism appears to be convenient for establishing those important properties of figures which remain unchanged under such deformations. These properties are sometimes referred to as topological, as distinguished from metrical, which are customarily associated with distances between points, angles between lines, edges of a figure, etc." (Anatolij Fomenko, "Visual Geometry and Topology", 1994)

"No other theory known to science [other than superstring theory] uses such powerful mathematics at such a fundamental level. […] because any unified field theory first must absorb the Riemannian geometry of Einstein’s theory and the Lie groups coming from quantum field theory. […] The new mathematics, which is responsible for the merger of these two theories, is topology, and it is responsible for accomplishing the seemingly impossible task of abolishing the infinities of a quantum theory of gravity." (Michio Kaku, "Hyperspace", 1995)

"Since geometry is the mathematical idealization of space, a natural way to organize its study is by dimension. First we have points, objects of dimension O. Then come lines and curves, which are one-dimensional objects, followed by two-dimensional surfaces, and so on. A collection of such objects from a given dimension forms what mathematicians call a 'space'. And if there is some notion enabling us to say when two objects are 'nearby' in such a space, then it's called a topological space." (John L Casti, "Five Golden Rules", 1995)

"The only organization capable of unprejudiced growth, or unguided learning, is a network. All other topologies limit what can happen." (Kevin Kelly, "Out of Control: The New Biology of Machines, Social Systems and the Economic World", 1995)

"There are a variety of swarm topologies, but the only organization that holds a genuine plurality of shapes is the grand mesh. In fact, a plurality of truly divergent components can only remain coherent in a network. No other arrangement-chain, pyramid, tree, circle, hub-can contain true diversity working as a whole. This is why the network is nearly synonymous with democracy or the market." (Kevin Kelly, "Out of Control: The New Biology of Machines, Social Systems and the Economic World", 1995)

"[...] there is no area of mathematics where thinking abstractly has paid more handsome dividends than in topology, the study of those properties of geometrical objects that remain unchanged when we deform or distort them in a continuous fashion without tearing, cutting, or breaking them." (John L Casti, "Five Golden Rules", 1995)

"[...] if we consider a topological space instead of a plane, then the question of whether the coordinates axes in that space are curved or straight becomes meaningless. The way we choose coordinate systems is related to the way we observe the property of smoothness in a topological space." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"To describe the property of smoothness, differentiable functions should be specified first. To do so, coordinates need to be introduced on the topological space. Those coordinates can be local coordinates such as the ones used by Gauss. Once coordinates are introduced around a point a in a topological space, differentiable functions near the point a are distinguished from the continuous functions in the region near a. If different coordinates are chosen, then a different set of differentiable functions is distinguished. In other words, the choice of local coordinates determines the notion of smoothness in a topological space." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Topologists are interested not only in finite-dimensional spaces (for example, subspaces of Rn), but also in infinite-dimensional ones, such as the spaces occurring in quantum field theory." (Albert S Schwarz, "Topology for Physicists", 1996) 

"Algebraic topology studies properties of a narrower class of spaces, - basically the classical objects of mathematics: spaces given by systems of algebraic and functional equations, surfaces lying in Euclidean space, and other sets which in mathematics are called manifolds. Examining the narrower class of spaces permits deeper penetration into their structure. (Michael I Monastyrsky, "Riemann, Topology, and Physics", 1999)

"One of the basic tasks of topology is to learn to distinguish nonhomeomorphic figures. To this end one introduces the class of invariant quantities that do not change under homeomorphic transformations of a given figure. The study of the invariance of topological spaces is connected with the solution of a whole series of complex questions: Can one describe a class of invariants of a given manifold? Is there a set of integral invariants that fully characterizes the topological type of a manifold? and so forth." (Michael I Monastyrsky, "Riemann, Topology, and Physics", 1999)

"Topology studies those characteristics of figures which are preserved under a certain class of continuous transformations. Imagine two figures, a square and a circular disk, made of rubber. Deformations can convert the square into the disk, but without tearing the figure it is impossible to convert the disk by any deformation into an annulus. In topology, this intuitively obvious distinction is formalized." (Michael I Monastyrsky, "Riemann, Topology, and Physics", 1999)