On Invariance (2010-)

"In dynamical systems, a bifurcation occurs when a small smooth change made to the parameter values (the bifurcation parameters) of a system causes a sudden 'qualitative' or topological change in its behaviour. Generally, at a bifurcation, the local stability properties of equilibria, periodic orbits or other invariant sets changes." (Gregory Faye, "An introduction to bifurcation theory", 2011)

"One of the most important skills you will need to acquire in order to use manifold theory effectively is an ability to switch back and forth easily between invariant descriptions and their coordinate counterparts." (John M Lee, "Introduction to Smooth Manifolds" 2nd Ed., 2013)

"The fact that manifolds do not come with any predetermined choice of coordinates is both a blessing and a curse. The flexibility to choose coordinates more or less arbitrarily can be a big advantage in approaching problems in manifold theory, because the coordinates can often be chosen to simplify some aspect of the problem at hand. But we pay for this flexibility by being obliged to ensure that any objects we wish to define globally on a manifold are not dependent on a particular choice of coordinates. There are generally two ways of doing this: either by writing down a coordinate-dependent definition and then proving that the definition gives the same results in any coordinate chart, or by writing down a definition that is manifestly coordinate-independent (often called an invariant definition)." (John M Lee, "Introduction to Smooth Manifolds" 2nd Ed., 2013)

"The invariance of physical laws with respect to position or orientation (i.e., the symmetry of space) gives rise to conservation laws for linear and angular momentum. Sometimes the implications of symmetry invariance are far more complicated or sophisticated than might at first be supposed; the invariance of the forces predicted by electromagnetic theory when measurements are made in observation frames moving uniformly at different speeds (inertial frames) was an important clue leading Einstein to the discovery of special relativity. With the advent of quantum mechanics, considerations of angular momentum and spin introduced new symmetry concepts into physics. These ideas have since catalyzed the modern development of particle theory." (George B Arfken et al, "Mathematical Methods for Physicists: A comprehensive guide", 2013)

"In Euclidean vector spaces, there is the concept of orthonormal bases. But the non-orthonormal bases are as legitimate as those which are. On the other hand, in the geometry of Euclidean spaces, orthonormal bases have a legitimacy that arbitrary bases do not. Why? Because in geometry the role of groups becomes paramount. Euclidean geometry is the study of figures and properties that are invariant under the Euclidean group, the basic figures being the orthonormal bases at all points. Affine geometry is the study of figures and properties invariant under the affine group, the basic figures being all vector bases at all points." (José G Vargas, "Differential Geometry for Physicists and Mathematicians: Moving frames and differential forms from Euclid past Riemann", 2014)

"Intersections of lines, for example, remain intersections, and the hole in a torus (doughnut) cannot be transformed away. Thus a doughnut may be transformed topologically into a coffee cup (the hole turning into a handle) but never into a pancake. Topology, then, is really a mathematics of relationships, of unchangeable, or 'invariant', patterns." (Fritjof Capra, "The Systems View of Life: A Unifying Vision", 2014)

"One sometimes finds in the literature the statement that a tensor transforms in such and such way under a coordinate transformation. Tensors do not transform. They are invariants. Their components do, under changes of section of the frame bundle." (José G Vargas, "Differential Geometry for Physicists and Mathematicians: Moving frames and differential forms from Euclid past Riemann", 2014)

"We say that a set of quantities transforms vectorially under a group of transformations of the bases of a vector space if, under an element of the group, they transform like the components of vectors, whether contravariant or covariant. We say that some quantity is a scalar if it is an invariant under the transformations of a group. A quantity (respectively, a set of quantities) may be scalar (respectively vectorial) under the transformation of a group, while not being so under the transformations of another group." (José G Vargas, "Differential Geometry for Physicists and Mathematicians: Moving frames and differential forms from Euclid past Riemann", 2014)

"The invariance principle states that the result of counting a set does not depend on the order imposed on its elements during the counting process. Indeed, a mathematical set is just a collection without any implied ordering. A set is the collection of its elements - nothing more." (Alfred S Posamentier & Bernd Thaller, "Numbers: Their tales, types, and treasures", 2015)

"[…] the role that symmetry plays is not confined to material objects. Symmetries can also refer to theories and, in particular, to quantum theory. For if the laws of physics are to be invariant under changes of reference frames, the set of all such transformations will form a group. Which transformations and which groups depends on the systems under consideration." (William H Klink & Sujeev Wickramasekara, "Relativity, Symmetry and the Structure of Quantum Theory I: Galilean quantum theory", 2015)

"At every level of the fractal hierarchy, variation enters the system in different ways, so there is no scale invariance. All of the information is stored in the relationships of and in each level in the computational geometry." (Rick Delmonico, "Fractals all the way down", 2018)

"Data analysis and data mining are concerned with unsupervised pattern finding and structure determination in data sets. The data sets themselves are explicitly linked as a form of representation to an observational or otherwise empirical domain of interest. 'Structure' has long been understood as symmetry which can take many forms with respect to any transformation, including point, translational, rotational, and many others. Symmetries directly point to invariants, which pinpoint intrinsic properties of the data and of the background empirical domain of interest. As our data models change, so too do our perspectives on analysing data." (Fionn Murtagh, "Data Science Foundations: Geometry and Topology of Complex Hierarchic Systems and Big Data Analytics", 2018)

On Coordinates (-1949)

"If nothing more could be said of Quaternions than that they enable us to exhibit in a singularly compact and elegant form, whose meaning is obvious at a glance on account of the utter inartificiality of the method, results which in the ordinary Cartesian co-ordinates are of the utmost complexity, a very powerful argument for their use would be furnished. But it would be unjust to Quaternions to be content with such a statement; for we are fully entitled to say that in all cases, even in those to which the Cartesian methods seem specially adapted, they give as simple an expression as any other method; while in the great majority of cases they give a vastly simpler one. In the common methods a judicious choice of co-ordinates is often of immense importance in simplifying an investigation; in Quaternions there is usually no choice, for (except when they degrade to mere scalars) they are in general utterly independent of any particular directions in space, and select of themselves the most natural reference lines for each particular problem." (Peter G Tait, Nature Vol. 4, [address] 1871)

"The invention of the calculus of quaternions is a step towards the knowledge of quantities related to space which can only be compared, for its importance, with the invention of triple coordinates by Descartes. The ideas of this calculus, as distinguished from its operations and symbols, are fitted to be of the greatest use in all parts of science." (James Clerk-Maxwell, "Remarks on the Mathematical Classification of Physical Quantities", 1871)

"We are led naturally to extend the language of geometry to the case of any number of variables, still using the word point to designate any system of values of n variables (the coördinates of the point), the word space (of n dimensions) to designate the totality of all these points or systems of values, curves or surface to designate the spread composed of points whose coördinates are given functions (with the proper restrictions) of one or two parameters (the straight line or plane, when they are linear fractional functions with the same denominator), etc. Such an extension has come to be a necessity in a large number of investigations, in order as well to give them the greatest generality as to preserve in them the intuitive character of geometry. But it has been noted that in such use of geometric language we are no longer constructing truly a geometry, for the forms that we have been considering are essentially analytic, and that, for example, the general projective geometry constructed in this way is in substance nothing more than the algebra of linear transformations." (Corradi Segre, "Rivista di Matematica" Vol. I, 1891)

"The equations of Newton's mechanics exhibit a two-fold invariance. Their form remains unaltered, firstly, if we subject the underlying system of spatial coordinates to any arbitrary change of position ; secondly, if we change its state of motion, namely, by imparting to it any uniform translatory motion ; furthermore, the zero point of time is given no part to play. We are accustomed to look upon the axioms of geometry as finished with, when we feel ripe for the axioms of mechanics, and for that reason the two invariances are probably rarely mentioned in the same breath. Each of them by itself signifies, for the differential equations of mechanics, a certain group of transformations. The existence of the first group is looked upon as a fundamental characteristic of space. The second group is preferably treated with disdain, so that we with un-troubled minds may overcome the difficulty of never being able to decide, from physical phenomena, whether space, which is supposed to be stationary, may not be after all in a state of uniform translation. Thus the two groups, side by side, lead their lives entirely apart. Their utterly heterogeneous character may have discouraged any attempt to compound them. But it is precisely when they are compounded that the complete group, as a whole, gives us to think." (Hermann Minkowski, "Space and Time", [Address to the 80th Assembly of German Natural Scientists and Physicians] 1908)

"Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions. […] A curve is the totality of points, whose coordinates are functions of a parameter which may be differentiated as often as may be required." (Felix Klein, "Elementar Mathematik vom hoheren Standpunkte aus" Vol. 2, 1909)

"The power of differential calculus is that it linearizes all problems by going back to the 'infinitesimally small', but this process can be used only on smooth manifolds. Thus our distinction between the two senses of rotation on a smooth manifold rests on the fact that a continuously differentiable coordinate transformation leaving the origin fixed can be approximated by a linear transformation at О and one separates the (nondegenerate) homogeneous linear transformations into positive and negative according to the sign of their determinants. Also the invariance of the dimension for a smooth manifold follows simply from the fact that a linear substitution which has an inverse preserves the number of variables." (Hermann Weyl, "The Concept of a Riemann Surface", 1913)

"The discovery of Minkowski […] is to be found […] in the fact of his recognition that the four-dimensional space-time continuum of the theory of relativity, in its most essential formal properties, shows a pronounced relationship to the three-dimensional continuum of Euclidean geometrical space. In order to give due prominence to this relationship, however, we must replace the usual time co-ordinate t by an imaginary magnitude, v-1*ct, proportional to it. Under these conditions, the natural laws satisfying the demands of the (special) theory of relativity assume mathematical forms, in which the time co-ordinate plays exactly the same role as the three space-coordinates. Formally, these four co-ordinates correspond exactly to the three space co-ordinates in Euclidean geometry." (Albert Einstein,"Relativity: The Special and General Theory", 1920)

"A material particle upon which no force acts moves, according to the principle of inertia, uniformly in a straight line. In the four-dimensional continuum of the special theory of relativity (with real time co-ordinate) this a real straight line. The natural, that is, the simplest, generalization of the straight line which is meaningful in the system of concepts of the general (Riemannian) theory of invariants is that of the straightest, or geodesic, line."(Albert Einstein, "The Meaning of Relativity", 1922)

"The conception of tensors is possible owing to the circumstance that the transition from one co-ordinate system to another expresses itself as a linear transformation in the differentials. One here uses the exceedingly fruitful mathematical device of making a problem 'linear' by reverting to infinitely small quantities." (Hermann Weyl, "Space - Time - Matter", 1922)

"The theory of relativity is intimately connected with the theory of space and time. I shall therefore begin with a brief investigation of the origin of our ideas of space and time, although in doing so I know that I introduce a controversial subject. The object of all science, whether natural science or psychology, is to co-ordinate our experiences and to bring them into a logical system. How are our customary ideas of space and time related to the character of our experience?" (Albert Einstein, "The Meaning of Relativity", 1922)

"We have assumed that the laws of nature must be capable of expression in a form which is invariant for all possible transformations of the space-time co-ordinates." (Gerald J Whitrow, "The Structure of the Universe: An Introduction to Cosmology", 1949)

On Coordinates (1950-1974)

"In order to describe the magnitude and direction of the force at any point in the field, a coordinate system is necessary not only to identify the position of the point in question but also to provide suitable components of the force at the point; these components considered together give both the magnitude and the direction of the force at the point selected. The coordinate system can be chosen to suit any particular problem and the form of the result." (William J Gibbs, "Conformal Transformations in Electrical Engineering", 1958)

"In algebra, when we plot the graph of an equation, the curve so obtained represents the locus of the equation. In analytic geometry, the word 'curve' refers to any locus; it may be a straight line, a curved line, or a group of lines. We therefore see that: (1) The locus of an equation is a curve containing all those points, and only those points, whose coordinates satisfy the given equation. (2) The equation of a locus is an equation such that the coordinates of every point on the locus satisfy the equation, and every ordered pair of numbers which satisfy the equation are the coordinates of a point on the locus." (William L Schaaf, "Analytic Geometry; a college course guide", 1962)

"Very little can be learned about the nature of a surface merely by locating points on the surface. Instead, we study (1) its intercepts and traces in the coordinate planes; (2) its extent; (3) its symmetry, and (4) plane sections." (William L Schaaf, "Analytic Geometry; a college course guide", 1962) 

"When either the translation or the rotation transformations are applied to an equation, they change the coordinates of all points in the plane (except the origin in the case of a rotation). These transformations actually move the axes with relation to the curve, but they do not alter the shape of the curve represented by the original equation and by the transformed equation. Beside this constant or unvarying feature, i.e., the preservation of the geometric form of the curve, there are also certain algebraic expressions whose values remain unchanged in both equations. Mathematical forms which are preserved or do not vary when other changes take place are called invariants." (William L Schaaf, "Analytic Geometry; a college course guide", 1962)

"When plotting or drawing the locus of a given equation, the position selected for the coordinate axes is, of course, immaterial. Hence, after the locus has been drawn, we may change the position of the axes arbitrarily, as we wish. Naturally, if the locus remains where it was drawn, but the position of the axes is changed, then the equation will have to be changed to correspond to the new position of the axes if the equation is to describe the same locus. In other words, a given locus may be described by more than one equation; each of the equations describes the locus in question with reference to a different set of axes."(William L Schaaf, "Analytic Geometry; a college course guide", 1962)

"From a pessimistic viewpoint, it can be stated that there is no good general way of structuring a system. However, from an optimistic point of view one can say that a number of good ways of structuring systems exist and that some are better than others for any particular system. In this and the following sections, there will be a presentation of a number of structuring approaches that have merit and have been employed successfully, including functional structuring, equipment structuring, and use of various coordinate systems." (Harold Chestnut, "Systems Engineering Tools", 1965)

"A manifold can be given by specifying the coordinate ranges of an atlas, the images in those coordinate ranges of the overlapping parts of the coordinate domains, and the coordinate transformations for each of those overlapping domains. When a manifold is specified in this way, a rather tricky condition on the specifications is needed to give the Hausdorff property, but otherwise the topology can be defined completely by simply requiring the coordinate maps to be homeomorphisms." (Richard L Bishop & Samuel I Goldberg, "Tensor Analysis on Manifolds", 1968)

"A manifold, roughly, is a topological space in which some neighborhood of each point admits a coordinate system, consisting of real coordinate functions on the points of the neighborhood, which determine the position of points and the topology of that neighborhood; that is, the space is locally cartesian. Moreover, the passage from one coordinate system to another is smooth in the overlapping region, so that the meaning of 'differentiable' curve, function, or map is consistent when referred to either system." (Richard L Bishop & Samuel I Goldberg, "Tensor Analysis on Manifolds", 1968)

"The main object of study in differential geometry is, at least for the moment, the differential manifolds, structures on the manifolds (Riemannian, complex, or other), and their admissible mappings. On a manifold the coordinates are valid only locally and do not have a geometric meaning themselves." (Shiing-Shen Chern, "Differential geometry, its past and its future", 1970)

On Neighborhoods (1950-1974)

"A common and very powerful constraint is that of continuity. It is a constraint because whereas the function that changes arbitrarily can undergo any change, the continuous function can change, at each step, only to a neighbouring value." (W Ross Ashby, "An Introduction to Cybernetics", 1956)

"Formulating and structuring a system provide methods for relating (1) what the system consists of in the mind of the persons or group desiring it; (2)what it means in terms of the persons or group designing and building it; and (3) in terms of the persons or groups operating, using and servicing it. They provide a set of 'reasonable'parts and methods of relating them so that the many persons working on the system can understand the whole in sufficient detail for their purposes, and their particular parts in explicit detail so that they may contribute their best efforts to the extent required. A further purpose of system formulation is to recognize the magnitude of the job, including the possible pitfalls." (Harold Chestnut, "Systems Engineering Tools", 1965)

"A manifold, roughly, is a topological space in which some neighborhood of each point admits a coordinate system, consisting of real coordinate functions on the points of the neighborhood, which determine the position of points and the topology of that neighborhood; that is, the space is locally cartesian. Moreover, the passage from one coordinate system to another is smooth in the overlapping region, so that the meaning of 'differentiable' curve, function, or map is consistent when referred to either system." (Richard L Bishop & Samuel I Goldberg, "Tensor Analysis on Manifolds", 1968)

"In the definition of a coordinate system we have required that the coordinate neighborhood and the range in Rd be open sets. This is contrary to popular usage, or at least more specific than the usage of curvilinear coordinates in advanced calculus. For example, spherical coordinates are used even along points of the z axis where they are not even 1-1. The reasons for the restriction to open sets are that it forces a uniformity in the local structure which simplifies analysis on a manifold" (there are no 'edge points') and, even if local uniformity were forced in some other way, it avoids the problem of. spelling out what we mean by differentiability at boundary points of the coordinate neighborhood; that is, one-sided derivatives need not be mentioned. On the other hand, in applications, boundary value problems frequently arise, the setting for which is a manifold with boundary. These spaces are more general than manifolds and the extra generality arises from allowing a boundary manifold of one dimension less. The points of the boundary manifold have a coordinate neighborhood in the boundary manifold which is attached to a coordinate neighborhood of the interior in much the same way as a face of a cube is attached to the interior. Just as the study of boundary value problems is more difficult than the study of spatial problems, the study of manifolds with boundary is more difficult than that of mere manifolds, so we shall limit ourselves to the latter." (Richard L Bishop & Samuel I Goldberg, "Tensor Analysis on Manifolds", 1968) 

Mark A Armstrong - Collected Quotes

"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)

"If our intuition can be led astray by pictures […], this suggests very strongly that we need some way of considering our spaces abstractly rather than relying on particular representatives of them in euclidean space." (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)

"Results which allow one to classify completely a collection of objects are among the most important and aesthetically-pleasing in mathematics. The fact that they are also rather rare adds even more to their appeal." (Mark A Armstrong, "Basic Topology", 1979)

"Showing that two spaces are homeomorphic is a geometrical problem, involving the construction of a specific homeomorphism between them. The techniques used vary with the problem. […] Attempting to prove that two spaces are not homeomorphic to one another is a problem of an entirely different nature. We cannot possibly examine each function between the two spaces individually and check that it is not a homeomorphism. Instead we look for 'topological invariants' of spaces: an invariant may be a geometrical property of the space, a number like the Euler number defined for the space, or an algebraic system such as a group or a ring constructed from the space. The important thing is that the invariant be preserved by a homeomorphism- hence its name. If we suspect that two spaces are not homeomorphic, we may be able to confirm our suspicion by computing some suitable invariant and showing that we obtain different answers." (Mark A Armstrong, "Basic Topology", 1979)

"This notion of each point in a space having a collection of 'neighbourhoods', the neighbourhoods leading in turn to a good definition of continuous function, is the crucial one. Notice that in defining neighbourhoods in a euclidean space we used very strongly the euclidean distance between points. In constructing an abstract space we would like to retain the concept of neighbourhood but rid ourselves of any dependence on a distance function. (A topological equivalence does not preserve distances.)" (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)

On Classification III: Mathematics

"One expects a mathematical theorem or a mathematical theory not only to describe and to classify in a simple and elegant way numerous and a priori disparate special cases. One also expects ‘elegance’ in its ‘architectural’ structural makeup." (John von Neumann, "The Mathematician" [in "Works of the Mind" Vol. I (1), 1947])

"[…] 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)

"Results which allow one to classify completely a collection of objects are among the most important and aesthetically-pleasing in mathematics. The fact that they are also rather rare adds even more to their appeal." (Mark A Armstrong, "Basic Topology", 1979)

"Human mind and culture have developed a formal system of thought for recognizing, classifying, and exploiting patterns. We call it mathematics. By using mathematics to organize and systematize our ideas about patterns, we have discovered a great secret: nature's patterns are not just there to be admired, they are vital clues to the rules that govern natural processes." (Ian Stewart, "Nature's Numbers: The unreal reality of mathematics", 1995)

"It is when unsystematic classification gives place to systematic classification that we can begin to make sense of talking of general criteria of identity not just for things that belong to kinds, but for the kinds themselves." (Peter F Strawson, "Entity and identity: And Other Essays", 1997)

"One of the best definitions of mathematics is 'the science of patterns'. Mathematics is how we detect, analyse, and classify regular patterns - be they numerical, geometric, or of some other kind. But what is a pattern? A pattern is a landmark in the magical maze. It's one of those things that you recognise when you see it, but it's not so easy to pin down the concept of a pattern once and for all with a neat, tidy, compact characterisation. In fact, the entire development of mathematics can be seen as a slow and erratic broadening of what we accept under the term 'pattern'." (Ian Stewart, "The Magical Maze: Seeing the World Through Mathematical Eyes", 1997)

"The classification theorems of mathematics are among the ultimate triumphs of human intellectual achievement. A classification theorem provides a complete list of all objects in a given category as well as a scheme for matching an unknown object from the category with exactly one of the canonical examples." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"When a mathematician faces useful notions that are too general, there is only one thing he does: classify." (Marco Manetti, "Topology", 2014)

Robert Messer - Collected Quotes

"A continuous function preserves closeness of points. A discontinuous function maps arbitrarily close points to points that are not close. The precise definition of continuity involves the relation of distance between pairs of points. […] continuity, a property of functions that allows stretching, shrinking, and folding, but preserves the closeness relation among points." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"Intuitively, two spaces that are homeomorphic have the same general shape in spite of possible deformations of distance and angle. Thus, if two spaces are not homeomorphic, they will tend to look distinctly different. Our job is to specify the difference. To do this rigorously, we need to define some property of topological spaces and show that the property is preserved under transformations by any homeomorphism. Then if one space has the property and the other one does not have the property, there is no way they can be homeomorphic." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"Numerical invariants and invariant properties enable us to distinguish certain topological spaces. We can go further and associate with a topological space a set having an algebraic structure. The fundamental group is the most basic of such possibilities. It not only provides a useful invariant for topological spaces, but the algebraic operation of multiplication defined for this group reflects the global structure of the space." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"Topology is the study of geometric objects as they are transformed by continuous deformations. To a topologist the general shape of the objects is of more importance than distance, size, or angle." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"The definition of homeomorphism was motivated by the idea of preserving the general shape or configuration of a geometric figure. Since path components are significant characteristics of a space, it is certainly reasonable that a homeomorphism will preserve the decomposition of a space into path components. […] Suppose we are given two geometric figures that we suspect are not topologically equivalent. If both of the figures are path-connected, counting components will not distinguish the spaces. However, we might be able to remove a special subset of one of the figures and count the number of components of the remainder. If no comparable set can be removed from the other space to leave the same number of components, we will then know that the two spaces are not homeomorphic." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"The classification theorems of mathematics are among the ultimate triumphs of human intellectual achievement. A classification theorem provides a complete list of all objects in a given category as well as a scheme for matching an unknown object from the category with exactly one of the canonical examples." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"The easiest way to show two figures are homeomorphic is often to construct an explicit homeomorphism between them. But what if two figures are not homeomorphic? Surely we cannot be expected to check every function between the sets and show that it is not a homeomorphism. One of the goals of the field of topology is to discover easier ways of detecting the differences between spaces that are not homeomorphic." (Robert Messer & Philip Straffin, "Topology Now!", 2006) 

"The Simplicial Approximation Theorem is a concise statement of the general result for functions between any two triangulated spaces. It says that on a suitable subdivision of the domain, any continuous function can be homotopically deformed by an arbitrarily small amount so that the modified function sends vertices to vertices and is linear on each edge, face, tetrahedron, and higher-dimensional cell of the triangulation." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"The triangle inequality is perhaps the most important property for proving theorems involving distance. The name is appropriate because the triangle inequality is an abstraction of the property that the sum of the lengths of two sides of a triangle must be at least as large as the length of the third side." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

On Set Theory (2000-)

"The fuzzy set theory is taking the same logical approach as what people have been doing with the classical set theory: in the classical set theory, as soon as the two-valued characteristic function has been defined and adopted, rigorous mathematics follows; in the fuzzy set case, as soon as a multi-valued characteristic function" (the membership function) has been chosen and fixed, a rigorous mathematical theory can be fully developed." (Guanrong Chen & Trung Tat Pham, "Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems", 2001)

"A recurring concern has been whether set theory, which speaks of infinite sets, refers to an existing reality, and if so how does one ‘know’ which axioms to accept. It is here that the greatest disparity of opinion exists" (and the greatest possibility of using different consistent axiom systems)." (Paul Cohen, "Skolem and pessimism about proof in mathematics". Philosophical Transactions of the Royal Society A 363 (1835), 2005)

"Does set theory, once we get beyond the integers, refer to an existing reality, or must it be regarded, as formalists would regard it, as an interesting formal game? [...] A typical argument for the objective reality of set theory is that it is obtained by extrapolation from our intuitions of finite objects, and people see no reason why this has less validity. Moreover, set theory has been studied for a long time with no hint of a contradiction. It is suggested that this cannot be an accident, and thus set theory reflects an existing reality. In particular, the Continuum Hypothesis and related statements are true or false, and our task is to resolve them." (Paul Cohen, "Skolem and pessimism about proof in mathematics", Philosophical Transactions of the Royal Society A 363 (1835), 2005)

"Set theory is unusual in that it deals with remarkably simple but apparently ineffable objects. A set is a collection, a class, an ensemble, a batch, a bunch, a lot, a troop, a tribe. To anyone incapable of grasping the concept of a set, these verbal digressions are apt to be of little help. […] A set may contain finitely many or infinitely many members. For that matter, a set such as {} may contain no members whatsoever, its parentheses vibrating around a mathematical black hole. To the empty set is reserved the symbol Ø, the figure now in use in daily life to signify access denied or don’t go, symbolic spillovers, I suppose, from its original suggestion of a canceled eye." (David Berlinski, "Infinite Ascent: A short history of mathematics", 2005)

"The Continuum Hypothesis is the assertion that there are no cardinalities strictly between the cardinality of the integers and the cardinality of the continuum (the cardinality of the reals). [...] In logical terms, we say that the Continuum Hypothesis is independent from the other axioms of set theory, in particular it is independent from the Axiom of Choice." (Steven G Krantz, "Essentials of Topology with Applications”, 2009)

"In each branch of mathematics it is essential to recognize when two structures are equivalent. For example two sets are equivalent, as far as set theory is concerned, if there exists a bijective function which maps one set onto the other. Two groups are equivalent, known as isomorphic, if there exists a a homomorphism of one to the other which is one-to-one and onto. Two topological spaces are equivalent, known as homeomorphic, if there exists a homeomorphism of one onto the other." (Sydney A Morris, "Topology without Tears", 2011)

"Typical symbols used in mathematics are operationals, groupings, relations, constants, variables, functions, matrices, vectors, and symbols used in set theory, logic, number theory, probability, and statistics. Individual symbols may not have much effect on a mathematician’s creative thinking, but in groups they acquire powerful connections through similarity, association, identity, resemblance and repeated imagery. ¿ey may even create thoughts that are below awareness." (Joseph Mazur. "Enlightening symbols: a short history of mathematical notation and its hidden powers", 2014)

"A very basic observation concerning a fundamental property of the world we live in is the existence of objects that can be distinguished from each other. For the definition of a set, it is indeed of crucial importance that things have individuality, because in order to decide whether objects belong to a particular set they must be distinguishable from objects that are not in the set. Without having made the basic experience of individuality of objects, it would be difficult to imagine or appreciate the concept of a set." (Alfred S Posamentier & Bernd Thaller, "Numbers: Their tales, types, and treasures", 2015)

George F Simmons - Collected Quotes

"A special role is played in the theory of metric spaces by the class of open spheres within the class of all open sets. The main feature of their relationship is that the open sets coincide with all unions of open spheres, and it follows from this that the continuity of a mapping can be expressed either in terms of open spheres or in terms of open sets, at our convenience." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"A topological space can be thought of as a set from which has been swept away all structure irrelevant to the continuity of functions defined on it." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"Analysis is primarily concerned with limit processes and continuity, so it is not surprising that mathematicians thinking along these lines soon found themselves studying (and generalizing) two elementary concepts: that of a convergent sequence of real or complex numbers, and that of a continuous function of a real or complex variable." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"Determinants are often advertised to students of elementary mathematics as a computational device of great value and efficiency for solving numerical problems involving systems of linear equations. This is somewhat misleading, for their value in problems of this kind is very limited. On the other hand, they do have definite importance as a theoretical tool. Briefly, they provide a numerical means of distinguishing between singular and non-singular matrices (and operators)." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"Historically speaking, topology has followed two principal lines of development. In homology theory, dimension theory, and the study of manifolds, the basic motivation appears to have come from geometry. In these fields, topological spaces are looked upon as generalized geometric configurations, and the emphasis is placed on the structure of the spaces themselves. In the other direction, the main stimulus has been analysis. Continuous functions are the chief objects of interest here, and topological spaces are regarded primarily as carriers of such functions and as domains over which they can be integrated. These ideas lead naturally into the theory of Banach and Hilbert spaces and Banach algebras, the modern theory of integration, and abstract harmonic analysis on locally compact groups." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"In all candor, we must admit that the intuitive meaning of compactness for topological spaces is somewhat elusive. This concept, however, is so vitally important throughout topology […]" (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"In many branches of mathematics - in geometry as well as analysis - it has been found extremely convenient to have available a notion of distance which is applicable to the elements of abstract sets. A metric space (as we define it below) is nothing more than a non-empty set equipped with a concept of distance which is suitable for the treatment of convergent sequences in the set and continuous functions defined on the set." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963) 

"It is extremely helpful to the imagination to have a geometric picture available in terms of which we can visualize sets and operations on sets. […] Diagrammatic thought of this kind is admittedly loose and imprecise; nevertheless, the reader will find it invaluable. No mathematics, however abstract it may appear, is ever carried on without the help of mental images of some kind, and these are often nebulous, personal, and difficult to describe." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"It is sometimes said that mathematics is the study of sets and functions. Naturally, this oversimplifies matters; but it does come as close to the truth as an aphorism can." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"It seems to me that a worthwhile distinction can be drawn between two types of pure mathematics. The first - which unfortunately is somewhat out of style at present - centers attention on particular functions and theorems which are rich in meaning and history, like the gamma function and the prime number theorem, or on juicy individual facts […] The second is concerned primarily with form and structure." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"The essence of analytic geometry lies in the possibility of exploiting this identification by using algebraic tools in geometric arguments and giving geometric interpretations to algebraic calculations." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

"The study of sets and functions leads two ways. One path goes down, into the abysses of logic, philosophy, and the foundations of mathematics. The other goes up, onto the highlands of mathematics itself, where these concepts are indispensable in almost all of pure mathematics as it is today." (George F Simmons, "Introduction to Topology and Modern Analysis", 1963)

🪷On Mind: Mental Models LXIII (Limitations VIII)

"Beliefs are generalizations about the past projected onto the present and future to shape it in the image of the past. [...] When we generalize from incomplete or unrepresentative experience, we form mental models that make the wrong predictions, but because beliefs act as self-fulfilling prophecies it is hard to find out, because we are less open to counter examples." (Joseph O’Connor, "Leading With NLP: Essential Leadership Skills for Influencing and Managing People", 1998)

"People’s mental models are apt to be deficient in a number of ways, perhaps including contradictory, erroneous, and unnecessary concepts. As designers, it is our duty to develop systems and instructional materials that aid users to develop more coherent, useable mental models. As teachers, it is our duty to develop conceptual models that will aid the learner to develop adequate and appropriate mental models. And as scientists who are interested in studying people’s mental models, we must develop appropriate experimental methods and discard our hopes of finding neat, elegant mental models, but instead learn to understand the messy, sloppy, incomplete, and indistinct structures that people actually have." (Donald A Norman, "Some Observations on Mental Models" [in "Mental Models", Ed(s). Dedre Gentner & Albert L Stevens], 1983)

"To begin with, we must understand that any mindset consists of mental models, or concepts, that influence our interpretation of situations and predispose us to certain responses. These models, which are replete with beliefs and assumptions, thus strongly determine the way we understand the world and act in it. The irony is, they become so ingrained in us, as tendencies and predispositions, that we seldom pay attention to them." (Stephen G Haines, "The Manager's Pocket Guide to Strategic and Business Planning", 1998)

"Short-term memory can hold 7 ± 2 chunks of information at once. This puts a rather sharp limit on the effective size and complexity of a causal map. Presenting a complex causal map all at once makes it hard to see the loops, understand which are important, or understand how they generate the dynamics. Resist the temptation to put all the loops you and your clients have identified into a single comprehensive diagram." (John D Sterman, "Business Dynamics Systems Thinking and Modeling for a Complex World", 2000)

"Our mental maps are often not terribly accurate, based as they are on our own selective experience, our knowledge and ignorance, and the information and misinformation we gain from others; nevertheless, these are the maps we depend on every day." (Peter Turchi, "Maps of the Imagination: The writer as cartographer", 2004)

"The most serious problem in applied ethics, or at least in business ethics, is not that we frame experiences; it is not that these mental models are incomplete, sometimes biased, and surely parochial. The larger problem is that most of us either individually or as managers do not realize that we are framing, disregarding data, ignoring counterevidence, or not taking into account other points of view." (Patricia H Werhane "A Place for Philosophers in Applied Ethics and the Role of Moral Reasoning in Moral Imagination", Business Ethics Quarterly 16 (3), 2007)

"Although good ethical decision-making requires us carefully to take into account as much relevant information as is available to us, we have good reason to think that we commonly fall well short of this standard – either by overlooking relevant facts completely or by underestimating their significance. The mental models we employ can contribute to this problem. As we have explained, mental models frame our experiences in ways that both aid and hinder our perceptions. They enable us to focus selectively on ethically relevant matters. By their very nature, they provide incomplete perspectives, resulting in bounded awareness and bounded ethicality. Insofar as our mental modeling practices result in unwarranted partiality, or even ethical blindness, the desired reflective process is distorted. This distortion is aggravated by the fact that our mental models can have this distorting effect without our consciously realizing it. Thus, although we cannot do without mental models, they leave us all vulnerable to blindness and, insofar as we are unaware of this, self-deception." (Patricia H Werhane et al, "Obstacles to Ethical: Decision-Making Mental Models, Milgram and the Problem of Obedience", 2013)

"Mental models serve to conceptualize, focus and shape our experiences, but in so doing, they sometimes cause us to ignore data and occlude critical reflection that might be relevant or, indeed, necessary to practical decision-making. [...] distorting mental models are the foundation

or underpinning of many of the impediments to effective ethical decision-making." (Patricia H Werhane et al, "Obstacles to Ethical: Decision-Making Mental Models, Milgram and the Problem of Obedience",  2013)

"We identify and analyze distorting mental models that constitute experience in a manner that occludes the moral dimension of situations from view, thereby thwarting the first step of ethical decision-making. Examples include an unexamined moral self-image, viewing oneself as merely a bystander, and an exaggerated conception of self-sufficiency. These mental models, we argue, generate blind spots to ethics, in the sense that they limit our ability to see facts that are right before our eyes – sometimes quite literally, as in the many examples of managers and employees who see unethical behavior take place in front of them, but do not recognize it as such." (Patricia H Werhane et al, "Obstacles to Ethical: Decision-Making Mental Models, Milgram and the Problem of Obedience",  2013)