Showing posts with label continuity. Show all posts
Showing posts with label continuity. Show all posts

15 January 2025

On Continuity: Definitions

"The Law of Continuity, as we here deal with it, consists in the idea that [...] any quantity, in passing from one magnitude to another, must pass through all intermediate magnitudes of the same class. The same notion is also commonly expressed by saying that the passage is made by intermediate stages or steps; [...] the idea should be interpreted as follows: single states correspond to single instants of time, but increments or decrements only to small areas of continuous time." (Roger J Boscovich, "Philosophiae Naturalis Theoria Redacta Ad Unicam Legera Virium in Natura Existentium", 1758)

"An essential difference between continuity and differentiability is whether numbers are involved or not. The concept of continuity is characterized by the qualitative property that nearby objects are mapped to nearby objects. However, the concept of differentiation is obtained by using the ratio of infinitesimal increments. Therefore, we see that differentiability essentially involves numbers." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"[…] continuity appears when we try to mathematically express continuously changing phenomena, and differentiability is the result of expressing smoothly changing phenomena." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Intuitively speaking, a visual representation associated with the concept of continuity is the property that a near object is sent to a corresponding near object, that is, a convergent sequence is sent to a corresponding convergent sequence." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

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

"Continuity is the rigorous formulation of the intuitive concept of a function that varies with no abrupt breaks or jumps. A function is a relationship in which every value of an independent variable - say x - is associated with a value of a dependent variable - say y. Continuity of a function is sometimes expressed by saying that if the x-values are close together, then the y-values of the function will also be close. But if the question 'How close?' is asked, difficulties arise." (Erik Gregersen [Ed.], "Math Eplained: The Britannica Guide to Analysis and Calculus", 2011)

"Continuity is only a mathematical technique for approximating very finely grained things. The world is subtly discrete, not continuous." (Carlo Rovelli, "The Order of Time", 2018)

12 January 2023

On Continuity XVII (Continuity vs Discontinuity)

"Things [...] are some of them continuous [...] which are properly and peculiarly called 'magnitudes'; others are discontinuous, in a side-by-side arrangement, and, as it were, in heaps, which are called 'multitudes,' a flock, for instance, a people, a heap, a chorus, and the like. Wisdom, then, must be considered to be the knowledge of these two forms. Since, however, all multitude and magnitude are by their own nature of necessity infinite - for multitude starts from a definite root and never ceases increasing; and magnitude, when division beginning with a limited whole is carried on, cannot bring the dividing process to an end [...] and since sciences are always sciences of limited things, and never of infinites, it is accordingly evident that a science dealing with magnitude [...] or with multitude [...] could never be formulated. […] A science, however, would arise to deal with something separated from each of them, with quantity, set off from multitude, and size, set off from magnitude." (Nicomachus, cca. 100 AD)

"The above comparison of the domain R of rational numbers with a straight line has led to the recognition of the existence of gaps, of a certain incompleteness or discontinuity of the former, while we ascribe to the straight line completeness, absence of gaps, or continuity. In what then does this continuity consist? Everything must depend on the answer to this question, and only through it shall we obtain a scientific basis for the investigation of all continuous domains." (Richard Dedekind,"Stetigkeit und irrationale Zahle", 1872) 

"However, it turns out that a one-to-one mapping of the points in a square into the points on a line cannot be continuous. As we move smoothly along a curve through the square, the points on the line which represent the successive points on the square necessarily jump around erratically, not only for the mapping described above but for any one-to-one mapping whatever. Any one-to-one mapping of the square onto the line is discontinuous." (John R Pierce, "An Introduction to Information Theory: Symbols, Signals & Noise" 2nd Ed., 1980)

"At the large scale where many processes and structures appear continuous and stable much of the time, important changes may occur discontinuously. When only a few variables are involved, as well as an optimizing process, the event may be analyzed using catastrophe theory. As the number of variables in- creases the bifurcations can become more complex to the point where chaos theory becomes the relevant approach. That chaos theory as well as the fundamentally discontinuous quantum processes may be viewed through fractal eyeglasses can also be admitted. We can even argue that a cascade of bifurcations to chaos contains two essentially structural catastrophe points, namely the initial bifurcation point at which the cascade commences and the accumulation point at which the transition to chaos is finally achieved." (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"It would seem that there may be a possible synthesis that can de-bifurcate bifurcation theory and give a semblance of order to the House of Discontinuity. Reasonable continuity and stability can exist for many processes and structures at certain scales of perception and analysis while at other scales quantum chaotic discontinuity reigns. It may be God or it may be the Law of Large Numbers which accounts for this seemingly paradoxical coexistence." (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"Mathematically there are clearly degrees of continuity. Thus a function may be kinked, itself continuous but possessing discontinuous first derivatives. Or a discontinuity may occur in a higher, more remote derivative, but not in lower order ones." (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"We must recognize here that continuity and discontinuity may not always be clearly distinguishable. Ultimately what may matter is the precision of the perspective applied to the question at hand. Thus, if quantum mechanics is true, then reality is fundamentally discrete at a microscopic level. Nevertheless it may be useful to view it as continuous when the analysis is less precise, much as we perceive a movie to be continuous even though it actually consists of a sequence of discrete and discontinuous still photographs. Our mind draws an in-visible line between the stills creating the illusion of continuity."  (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"The key to making discontinuity emerge from smoothness is the observation that the overall behavior of both static and dynamical systems is governed by what's happening near the critical points. These are the points at which the gradient of the function vanishes. Away from the critical points, the Implicit Function Theorem tells us that the behavior is boring and predictable, linear, in fact. So it's only at the critical points that the system has the possibility of breaking out of this mold to enter a new mode of operation. It's at the critical points that we have the opportunity to effect dramatic shifts in the system's behavior by 'nudging' lightly the system dynamics, one type of nudge leading to a limit cycle, another to a stable equilibrium, and yet a third type resulting in the system's moving into the domain of a 'strange attractor'. It's by these nudges in the equations of motion that the germ of the idea of discontinuity from smoothness blossoms forth into the modern theory of singularities, catastrophes and bifurcations, wherein we see how to make discontinuous outputs emerge from smooth inputs." (John L Casti, "Reality Rules: Picturing the world in mathematics", 1992)

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

"It is not possible to think of duration as continuous. We must think of it as discontinuous: not as something that flows uniformly but as something that in a certain sense jumps, kangaroo-like, from one value to another. In other words, a minimum interval of time exists. Below this, the notion of time does not exist - even in its most basic meaning." (Carlo Rovelli, "The Order of Time", 2018)

29 December 2022

On Continuity V (Geometry)

"Only geometry can hand us the thread [which will lead us through] the labyrinth of the continuum's composition, the maximum and the minimum, the infinitesimal and the infinite; and no one will arrive at a truly solid metaphysics except he who has passed through this [labyrinth]." (Gottfried W Leibniz, "Dissertatio Exoterica De Statu Praesenti et Incrementis Novissimis Deque Usu Geometriae", 1676)

"I find the essence of continuity [...] in the following principle: If all points of the straight line fall into two classes such that every point of the first class lies to the left of every point of the second class, then there exists one and only one point which produces this division of all points into these two classes, this severing of the straight line into two portions." (Richard Dedekind, "Stetigkeit und Irrationale Zahlen" ["Continuity and Irrational Numbers", 1872)

"When we consider complex numbers and their geometrical representation, we leave the field of the original concept of quantity, as contained especially in the quantities of Euclidean geometry: its lines, surfaces and volumes. According to the old conception, length appears as something material which fills the straight line between its end points and at the same time prevents another thing from penetrating into its space by its rigidity. In adding quantities, we are therefore forced to place one quantity against another. Something similar holds for surfaces and solid contents. The introduction of negative quantities made a dent in this conception, and imaginary quantities made it completely impossible. Now all that matters is the point of origin and the end point; whether there is a continuous line between them, and if so which, appears to make no difference whatsoever; the idea of filling space has been completely lost. All that has remained is certain general properties of addition, which now emerge as the essential characteristic marks of quantity. The concept has thus gradually freed itself from intuition and made itself independent. This is quite unobjectionable, especially since its earlier intuitive character was at bottom mere appearance. Bounded straight lines and planes enclosed by curves can certainly be intuited, but what is quantitative about them, what is common to lengths and surfaces, escapes our intuition." (Gottlob Frege, "Methods of Calculation based on an Extension of the Concept of Quantity", 1874)

"The comparison of the rational numbers with a straight line has led to the recognition of the existence of gaps, of a certain incompleteness or discontinuity of the rationals, while we ascribe to the straight line completeness, absence of gaps, or continuity." (Richard Dedekind, "Continuity and Irrational Numbers", 1901)

"The scene of action of reality is not a three-dimensional Euclidean space but rather a four-dimensional world, in which space and time are linked together indissolubly. However deep the chasm may be that separates the intuitive nature of space from that of time in our experience, nothing of this qualitative difference enters into the objective world which physics endeavors to crystallize out of direct experience. It is a four-dimensional continuum, which is neither 'time' nor 'space'. Only the consciousness that passes on in one portion of this world experiences the detached piece which comes to meet it and passes behind it as history, that is, as a process that is going forward in time and takes place in space." (Hermann Weyl, "Space, Time, Matter", 1922)

"In order to regain in a rigorously defined function those properties that are analogous to those ascribed to an empirical curve with respect to slope and curvature (first and higher difference quotients), we need not only to require that the function is continuous and has a finite number of maxima and minima in a finite interval, but also assume explicitly that it has the first and a series of higher derivatives (as many as one will want to use)." (Felix Klein, "Elementary Mathematics from a Higher Standpoint" Vol III: "Precision Mathematics and Approximation Mathematics", 1928)

"The most general definition of a function that we have reached in modern mathematics starts by fixing the values that the independent variable x can take on. We define that x must successively pass through the points of a certain 'point set'. The language used is therefore geometric […]." (Felix Klein, "Elementary Mathematics from a Higher Standpoint" Vol III: "Precision Mathematics and Approximation Mathematics", 1928)

"The bridging of the chasm between the domains of the discrete and the continuous, or between arithmetic and geometry, is one of the most important - nay, the most important - problem of the foundations of mathematics. [...] Of course, the character of reasoning has changed, but, as always, the difficulties are due to the chasm between the discrete and the continuous - that permanent stumbling block which also plays an extremely important role in mathematics, philosophy, and even physics." (Abraham Fraenkel, "Foundations of Set Theory", 1953)

"However, it turns out that a one-to-one mapping of the points in a square into the points on a line cannot be continuous. As we move smoothly along a curve through the square, the points on the line which represent the successive points on the square necessarily jump around erratically, not only for the mapping described above but for any one-to-one mapping whatever. Any one-to-one mapping of the square onto the line is discontinuous." (John R Pierce, "An Introduction to Information Theory: Symbols, Signals & Noise" 2nd Ed., 1980)

29 August 2021

On Continuity XV (Thought)

"As infinite kinds of almost identical images arise continually from the innumerable atoms and flow out to us from the gods, so we should take the keenest pleasure in turning and bending our mind and reason to grasp these images, in order to understand the nature of these blessed and eternal beings." (Marcus TulliusCicero, "De Natura Deorum" ["On the Nature of the Gods"], 45 BC)

"But mathematics, certainly, does not play the smallest part in the charm and movement of the mind produced by music. Rather is it only the indispensable condition (conditio sine qua non) of that proportion of the combining as well as changing impressions which makes it possible to grasp them all in one and prevent them from destroying one another, and to let them, rather, conspire towards the production of a continuous movement and quickening of the mind by affections that are in unison with it, and thus towards a serene self-enjoyment." (Immanuel Kant, "The Critique of Judgment", 1790)

"Induction, analogy, hypotheses founded upon facts and rectified continually by new observations, a happy tact given by nature and strengthened by numerous comparisons of its indications with experience, such are the principal means for arriving at truth." (Pierre-Simon Laplace, "A Philosophical Essay on Probabilities", 1814)

"But how can we avoid the use of human language? The [....] symbol. Only by using a symbolic language not yet usurped by those vague ideas of space, time, continuity which have their origin in intuition and tend to obscure pure reason - only thus may we hope to build mathematics on the solid foundation of logic." (Tobias Dantzig, "Number: The Language of Science", 1930)

"In this way things, external objects, are assimilated to more or less ordered motor schemas, and in this continuous assimilation of objects the child's own activity is the starting point of play. Not only this, but when to pure movement are added language and imagination, the assimilation is strengthened, and wherever the mind feels no actual need for accommodating itself to reality, its natural tendency will be to distort the objects that surround it in accordance with its desires or its fantasy, in short to use them for its satisfaction. Such is the intellectual egocentrism that characterizes the earliest form of child thought." (Jean Piaget, "The Moral Judgment of the Child", 1932)

"Although we can never devise a pictorial representation which shall be both true to nature and intelligible to our minds, we may still be able to make partial aspects of the truth comprehensible through pictorial representations or parables. As the whole truth does not admit of intelligible representation, every such pictorial representation or parable must fail somewhere. The physicist of the last generation was continually making pictorial representations and parables, and also making the mistake of treating the half-truths of pictorial representations and parables as literal truths." (James H Jeans, "Physics and Philosophy" 3rd Ed., 1943)

On Continuity V (Numbers)

"Number is the bond of the eternal continuance of things." (Plato)

"The Infinite is often confounded with the Indefinite, but the two conceptions are diametrically opposed. Instead of being a quantity with unassigned yet assignable limits, the Infinite is not a quantity at all, since it neither admits of augmentation nor diminution, having no assignable limits; it is the operation of continuously withdrawing any limits that may have been assigned: the endless addition of new quantities to the old: the flux of continuity. The Infinite is no more a quantity than Zero is a quantity. If Zero is the sign of a vanished quantity, the Infinite is a sign of that continuity of Existence which has been ideally divided into discrete parts in the affixing of limits." (George H. Lewes, "Problems of Life and Mind", 1873)

"Arithmetic does not present to us that feeling of continuity which is such a precious guide; each whole number is separate from the next of its kind and has in a sense individuality; each in a manner is an exception and that is why general theorems are rare in the theory of numbers; and that is why those theorems which may exist are more hidden and longer escape those who are searching for them." (Henri Poincaré, "Annual Report of the Board of Regents of the Smithsonian Institution", 1909)

"The mathematical theory of continuity is based, not on intuition, but on the logically developed theories of number and sets of points." (Carl B Boyer, "The History of the Calculus and Its Conceptual Development", 1959) 

"An essential difference between continuity and differentiability is whether numbers are involved or not. The concept of continuity is characterized by the qualitative property that nearby objects are mapped to nearby objects. However, the concept of differentiation is obtained by using the ratio of infinitesimal increments. Therefore, we see that differentiability essentially involves numbers." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"When we study the concept of continuity by itself, numbers are not necessary as long as you are dealing with objects which have the property of 'nearness'. Therefore, if we can introduce the notion of 'nearness' detached from numbers from a purely abstract point of view, then we can discuss topics related to continuity based upon this notion. This approach enables us to become familiar with the science we call mathematics." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

On Continuity III (Sets)

"Things [...] are some of them continuous [...] which are properly and peculiarly called 'magnitudes'; others are discontinuous, in a side-by-side arrangement, and, as it were, in heaps, which are called 'multitudes,' a flock, for instance, a people, a heap, a chorus, and the like. Wisdom, then, must be considered to be the knowledge of these two forms. Since, however, all multitude and magnitude are by their own nature of necessity infinite - for multitude starts from a definite root and never ceases increasing; and magnitude, when division beginning with a limited whole is carried on, cannot bring the dividing process to an end [...] and since sciences are always sciences of limited things, and never of infinites, it is accordingly evident that a science dealing with magnitude [...] or with multitude [...] could never be formulated. […] A science, however, would arise to deal with something separated from each of them, with quantity, set off from multitude, and size, set off from magnitude." (Nicomachus, cca. 100 AD)

"Well, since paradoxes are at hand, let us see how it might be demonstrated that in a finite continuous extension it is not impossible for infinitely many voids to be found." (Galileo Galilei, "Dialogue Concerning the Two Chief World Systems", 1632)

"The above comparison of the domain R of rational numbers with a straight line has led to the recognition of the existence of gaps, of a certain incompleteness or discontinuity of the former, while we ascribe to the straight line completeness, absence of gaps, or continuity. In what then does this continuity consist? Everything must depend on the answer to this question, and only through it shall we obtain a scientific basis for the investigation of all continuous domains." (Richard Dedekind,"Stetigkeit und irrationale Zahle", 1872) 

"It seems clear that [set theory] violates against the essence of the continuum, which, by its very nature, cannot at all be battered into a single set of elements. Not the relationship of an element to a set, but of a part to a whole ought to be taken as a basis for the analysis of a continuum." (Hermann Weyl, "Riemanns geometrische Ideen, ihre Auswirkungen und ihre Verknüpfung mit der Gruppentheorie", 1925)

"But, despite their remoteness from sense experience, we do have something like a perception of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don't see any reason why we should have less confidence in this kind of perception, i.e., in mathematical intuition, than in sense perception, which induces us to build up physical theories and to expect that future sense perception will agree with them and, moreover, to believe that a question not decidable now has meaning and may be decided in future." (Kurt Gödel, "What is Cantor’s Continuum problem?", American Mathematical Monthly 54, 1947)

"Topology begins where sets are implemented with some cohesive properties enabling one to define continuity." (Solomon Lefschetz, "Introduction to Topology", 1949)

"A fuzzy set is a class of objects with a continuum of grades of membership. Such a set is characterized by a membership (characteristic) function which assigns to each object a grade of membership ranging between zero and one. The notions of inclusion, union, intersection, complement, relation, convexity, etc., are extended to such sets, and various properties of these notions in the context of fuzzy sets are established. In particular, a separation theorem for convex fuzzy sets is proved without requiring that the fuzzy sets be disjoint." (Lotfi A Zadeh, "Fuzzy Sets", 1965)

"In abstract mathematics, special attention is given to particular properties of numbers. Then those properties are taken in a very pure (and primitive) form. Those properties in pure form are then assigned to a given set. Therefore, by studying in details the internal mathematical structure of a set, we should be able to clarify the meaning of original properties of the objects. Likewise, in set theory, numbers disappear and only the concept of sets and characteristic properties of sets remain." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"In view of the developments of abstract mathematics, the first thing mathematicians studied was how to extract the property of 'nearness' from the set of numbers. If the property of nearness could be extracted using a few axioms, and if it was possible to associate the extracted property with a set, then the resulting set would provide an abstract scene to study 'nearness'." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Today, most mathematicians have embraced the axiom of choice because of the order and simplicity it brings to mathematics in general. For example, the theorems that every vector space has a basis and every field has an algebraic closure hold only by virtue of the axiom of choice. Likewise, for the theorem that every sequentially continuous function is continuous. However, there are special places where the axiom of choice actually brings disorder. One is the theory of measure." (John Stillwell, "Roads to Infinity: The mathematics of truth and proof", 2010) 

02 August 2021

On Complex Numbers XVIII

"I consider it as one of the most important steps made by Analysis in the last period, that of not being bothered any more by imaginary quantities, and to be able to submit them to calculus, in the same way as the real ones." (Joseph-Louis de Lagrange, [letter to Antonio Lorgna] 1777)

"What should one understand by ∫ ϕx · dx for x = a + bi? Obviously, if we want to start from clear concepts, we have to assume that x passes from the value for which the integral has to be 0 to x = a + bi through infinitely small increments (each of the form x = a + bi), and then to sum all the ϕx · dx. Thereby the meaning is completely determined. However, the passage can take placein infinitely many ways: Just like the realm of all real magnitudes can be conceived as an infinite straight line, so can the realm of all magnitudes, real and imaginary, be made meaningful by an infinite plane, in which every point, determined by abscissa = a and ordinate = b, represents the quantity a+bi. The continuous passage from one value of x to another a+bi then happens along a curve and is therefore possible in infinitely many ways. I claim now that after two different passages the integral ∫ ϕx · dx acquires the same value when ϕx never becomes equal to ∞ in the region enclosed by the two curves representing the two passages."(Carl F Gauss, [letter to Bessel] 1811)

"Without doubt one of the most characteristic features of mathematics in the last century is the systematic and universal use of the complex variable. Most of its great theories received invaluable aid from it, and many owe their very existence to it." (James Pierpont, "History of Mathematics in the Nineteenth Century", Congress of Arts and Sciences Vol. 1, 1905)

"There is thus a possibility that the ancient dream of philosophers to connect all Nature with the properties of whole numbers will some day be realized. To do so physics will have to develop a long way to establish the details of how the correspondence is to be made. One hint for this development seems pretty obvious, namely, the study of whole numbers in modern mathematics is inextricably bound up with the theory of functions of a complex variable, which theory we have already seen has a good chance of forming the basis of the physics of the future. The working out of this idea would lead to a connection between atomic theory and cosmology." (Paul A M Dirac, [Lecture delivered on presentation of the James Scott prize] 1939)

"The real numbers are one of the most audacious idealizations made by the human mind, but they were used happily for centuries before anybody worried about the logic behind them. Paradoxically, people worried a great deal about the next enlargement of the number system, even though it was entirely harmless. That was the introduction of square roots for negative numbers, and it led to the 'imaginary' and 'complex' numbers. A professional mathematican should never leave home without them […]" (Ian Stewart, "Nature's Numbers: The unreal reality of mathematics", 1995)

"Beyond the theory of complex numbers, there is the much greater and grander theory of the functions of a complex variable, as when the complex plane is mapped to the complex plane, complex numbers linking themselves to other complex numbers. It is here that complex differentiation and integration are defined. Every mathematician in his education studies this theory and surrenders to it completely. The experience is like first love." (David Berlinski, "Infinite Ascent: A short history of mathematics", 2005)

"Algebraic geometry uses the geometric intuition which arises from looking at varieties over the complex and real case to deduce important results in arithmetic algebraic geometry where the complex number field is replaced by the field of rational numbers or various finite number fields." (Raymond O Wells Jr, "Differential and Complex Geometry: Origins, Abstractions and Embeddings", 2017)

"The primary aspects of the theory of complex manifolds are the geometric structure itself, its topological structure, coordinate systems, etc., and holomorphic functions and mappings and their properties. Algebraic geometry over the complex number field uses polynomial and rational functions of complex variables as the primary tools, but the underlying topological structures are similar to those that appear in complex manifold theory, and the nature of singularities in both the analytic and algebraic settings is also structurally very similar." (Raymond O Wells Jr, "Differential and Complex Geometry: Origins, Abstractions and Embeddings", 2017)

"The very idea of raising a number to an imaginary power may well have seemed to most of the era’s mathematicians like asking the ghost of a late amphibian to jump up on a harpsichord and play a minuet." (David Stipp, "A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics", 2017)

"Today it’s easy to see the beauty of i, thanks, among other things, to its prominence in mathematics’ most beautiful equation. Thus, it may seem strange that it was once regarded as akin to a small waddling gargoyle. Indeed, the simplicity of its definition suggests unpretentious elegance: i is just the square root of −1. But as with many definitions in mathematics, i’s is fraught with provocative implications, and the ones that made it a star in mathematics weren’t apparent until long after it first came on the scene." (David Stipp, "A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics", 2017)

07 June 2021

On Continuity XI (Life)

"[…] to the scientific mind the living and the non-living form one continuous series of systems of differing degrees of complexity […], while to the philosophic mind the whole universe, itself perhaps an organism, is composed of a vast number of interlacing organisms of all sizes." (James G Needham, "Developments in Philosophy of Biology", Quarterly Review of Biology Vol. 3 (1), 1928)

"[A living organism] feeds upon negative entropy […] Thus, the device by which an organism maintains itself stationary at a fairly high level of orderliness really consists in continually sucking orderliness from its environment." (Erwin Schrodinger, "What is Life? The Physical Aspect of the Living Cell", 1944)

"Every process, event, happening – call it what you will; in a word, everything that is going on in Nature means an increase of the entropy of the part of the world where it is going on. Thus a living organism continually increases its entropy – or, as you may say, produces positive entropy – and thus tends to approach the dangerous state of maximum entropy, which is death. It can only keep aloof from it, i.e. alive, by continually drawing from its environment negative entropy – which is something very positive as we shall immediately see. What an organism feeds upon is negative entropy. Or, to put it less paradoxically, the essential thing in metabolism is that the organism succeeds in freeing itself from all the entropy it cannot help producing while alive." (Erwin Schrödinger, "What is Life?", 1944)

"Hence the awkward expression ‘negative entropy’ can be replaced by a better one: entropy, taken with the negative sign, is itself a measure of order. Thus the device by which an organism maintains itself stationary at a fairly high level of orderliness ( = fairly low level of entropy) really consists in continually sucking orderliness from its environment." (Erwin Schrödinger, "What is Life?", 1944)

"All nature is a continuum. The endless complexity of life is organized into patterns which repeat themselves - theme and variations - at each level of system. These similarities and differences are proper concerns for science. From the ceaseless streaming of protoplasm to the many-vectored activities of supranational systems, there are continuous flows through living systems as they maintain their highly organized steady states." (James G Miller, "Living Systems", 1978)

"All living organisms must feed on continual flows of matter and energy: from their environment to stay alive, and all living organisms continually produce waste. However, an ecosystem generates no net waste, one species' waste being another species' food. Thus, matter cycles continually through the web of life." (Fritjof Capra, "The Hidden Connections", 2002)

06 June 2021

On Functions I

"Therefore, every intensity which can be acquired successively ought to be imagined by a straight line perpendicularly erected on some point of the space or subject of the intensible thing, e.g., a quality. For whatever ratio is found to exist between intensity and intensity, in relating intensities of the same kind, a similar ratio is found to exist between line and line, and vice versa." (Nicole Oresme, "Tractatus de configurationibus qualitatum et motuum" ["A treatise on the uniformity and difformity of intensities"], 1352) [definition of a functional relationship between two variables]

"Here, we call function of a variable magnitude, a quantity formed in whatever manner with that variable magnitude and constants." (Johann I Bernoulli, 1718)

"A function of a variable quantity is an analytic expression composed in any way whatsoever of the variable quantity and numbers or constant quantities. […] Functions are divided into algebraic and transcendental. The former are those made up from only algebraic operations, the latter are those which involve transcendental operations."(Leonhard Euler, "Introduction to Analysis of the Infinite", 1748)

"Those quantities that depend on others in this way, namely, those that undergo a change when others change, are called functions of these quantities. This definition applies rather widely and includes all ways in which one quantity could be determined by another." (Leonhard Euler, "Foundations of differential calculus, with applications to finite analysis and series", 1755)

"I take the word 'mapping' in the widest possible sense; any point of the spherical surface is represented on the plane by any desired rule, so that every point of the sphere corresponds to a specified point in the plane, and inversely." (Leonhard Euler, "On the representation of Spherical Surfaces onto the Plane", 1777)

"When variable quantities are so tied to each other that, given the values of some of them, we can deduce the values of all the others, we usually conceive these various quantities expressed in terms of several of them, which then bear the name independent variables; and the remaining quantities expressed in terms of the independent variables, are what we call functions of these same variables." (Augustin-Louis Cauchy, "Cours d’analyse de l’École Royale Polytechnique", 1821)

"[…] a function of the variable x will be continuous between two limits a and b of this variable if between two limits the function has always a value which is unique and finite, in such a way that an infinitely small increment of this variable always produces an infinnitely small increment of the function itself." (Augustin-Louis Cauchy, "Mémoire sur les fonctions continues" ["Memoir on continuous functions"], 1844)

"If we designate by z a variable magnitude, which may take successively all possible real values, then, if to each of these values corresponds a unique value of the indeterminate magnitude w, we say that w is a function of z. […] This definition does not stipulate any law between the isolated values of the function, this is evident, because after this function has been dealt with for a given interval, the way it is extended outside this interval remains quite arbitrary." (Bernhard Riemann, 1851)

03 June 2021

On Continuity XI (Thought II)

"The function of man’s highest faculty, his reason, consists precisely of the continuous limitation of infinity, the breaking up of infinity into convenient, easily digestible portions - differentials. This is precisely what lends my field, mathematics, its divine beauty." (Yevgeny Zamiatin, "We", 1924)

"Rationality consists [of] the continuous adaptation of our language to our continually expanding world, and metaphor is one of the chief means by which this is accomplished." (Mary B Hesse, "Models and Analogies in Science", 1966)

"Truth is a totality, the sum of many overlapping partial images. History, on the other hand, sacrifices totality in the interest of continuity." (Edmund Leach, "Brain-Twister", 1967)

"[…] the distinction between rigorous thinking and more vague ‘imaginings’; even in mathematics itself, all is not a question of rigor, but rather, at the start, of reasoned intuition and imagination, and, also, repeated guessing. After all, most thinking is a synthesis or juxtaposition of advances along a line of syllogisms - perhaps in a continuous and persistent 'forward' movement, with searching, so to speak ‘sideways’, in directions which are not necessarily present from the very beginning and which I describe as ‘sending out exploratory patrols’ and trying alternative routes." (Stanislaw M Ulam, "Adventures of a Mathematician", 1976)

"I shall here present the view that numbers, even whole numbers, are words, parts of speech, and that mathematics is their grammar. Numbers were therefore invented by people in the same sense that language, both written and spoken, was invented. Grammar is also an invention. Words and numbers have no existence separate from the people who use them. Knowledge of mathematics is transmitted from one generation to another, and it changes in the same slow way that language changes. Continuity is provided by the process of oral or written transmission." (Carl Eckart, "Our Modern Idol: Mathematical Science", 1984)

"To form a mental picture of the event, the knowledge developer attempts to integrate his or her perception of the situation with the expert’s perception. That mental picture is then recorded. What happens is a continuous shuttle process; the knowledge developer mentally moves back and forth from the initial impression of the event to the later evaluation of the event. What is finally recorded is the evaluation made during this retrospective period. Because a time lapse can make details of a situation less clear, the information is not always valid." (Elias M Awad, "Knowledge Management", 2003)

"It is from this continuousness of thought and perception that the scientist, like the writer, receives the crucial flash of insight out of which a piece of work is conceived and executed. And the scientist (again like the writer) is grateful when the insight comes, because insight is the necessary catalyst through which the abstract is made concrete, intuition be given language, language provides specificity, and real work can go forward." (Vivian Gornick, "Women in Science: Then and Now", 2009)

On Differentiability I

"Logic sometimes makes monsters. For half a century we have seen a mass of bizarre functions which appear to be forced to resemble as little as possible honest functions which serve some purpose. More of continuity, or less of continuity, more derivatives, and so forth. Indeed, from the point of view of logic, these strange functions are the most general; on the other hand those which one meets without searching for them, and which follow simple laws appear as a particular case which does not amount to more than a small corner. In former times when one invented a new function it was for a practical purpose; today one invents them purposely to show up defects in the reasoning of our fathers and one will deduce from them only that. If logic were the sole guide of the teacher, it would be necessary to begin with the most general functions, that is to say with the most bizarre. It is the beginner that would have to be set grappling with this teratologic museum." (Henri Poincaré, 1899)

"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 mathematical models for many physical systems have manifolds as the basic objects of study, upon which further structure may be defined to obtain whatever system is in question. The concept generalizes and includes the special cases of the cartesian line, plane, space, and the surfaces which are studied in advanced calculus. The theory of these spaces which generalizes to manifolds includes the ideas of differentiable functions, smooth curves, tangent vectors, and vector fields. However, the notions of distance between points and straight lines (or shortest paths) are not part of the idea of a manifold but arise as consequences of additional structure, which may or may not be assumed and in any case is not unique." (Richard L Bishop & Samuel I Goldberg, "Tensor Analysis on Manifolds", 1968)

"An essential difference between continuity and differentiability is whether numbers are involved or not. The concept of continuity is characterized by the qualitative property that nearby objects are mapped to nearby objects. However, the concept of differentiation is obtained by using the ratio of infinitesimal increments. Therefore, we see that differentiability essentially involves numbers." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Differentiability of a function can be established by examining the behavior of the function in the immediate neighborhood of a single point a in its domain. Thus, all we need is coordinates in the vicinity of the point a. From this point of view, one might say that local coordinates have more essential qualities. However, if are not looking at individual surfaces, we cannot find a more general and universal notion than smoothness." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"[...] differentiation is performed by focusing on the behavior of a function near one point. A quantity obtained in this manner is essentially a local quantity. Is it possible that such local quantities can show us something very basic about global properties such as smoothness? Does there exist a place in mathematics which would enable us to study the relationship between local and global quantities?" (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"To consider differentiable functions, we must introduce a coordinate system on the plane and thereby to concentrate on the world of numbers.[...] a continuous function defined on a plane can be differentiable or nondifferentiable depending on the choice of coordinates. [...] the choice of coordinates on the plane determines which functions among the continuous functions should be selected as differentiable functions." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"If you assume continuity, you can open the well-stocked mathematical toolkit of continuous functions and differential equations, the saws and hammers of engineering and physics for the past two centuries (and the foreseeable future)." (Benoît Mandelbrot, "The (Mis)Behaviour of Markets: A Fractal View of Risk, Ruin and Reward", 2004)?

"Roughly speaking, a function defined on an open set of Euclidean space is differentiable at a point if we can approximate it in a neighborhood of this point by a linear map, which is called its differential (or total derivative). This differential can be of course expressed by partial derivatives, but it is the differential and not the partial derivatives that plays the central role." (Jacques Lafontaine, "An Introduction to Differential Manifolds", 2010)

"I turn away with fright and horror from the lamentable evil of functions which do not have derivatives." (Charles Hermite, [letter to Thomas J Stieltjes])

02 June 2021

On Hypotheses (1900-1909)

"Every generalisation is a hypothesis. Hypothesis therefore plays a necessary rôle, which no one has ever contested. Only, it should always be as soon as possible submitted to verification." (Henri Poincaré, "Science and Hypothesis", 1901)

"To undertake the calculation of any probability, and even for that calculation to have any meaning at all, we must admit, as a point of departure, an hypothesis or convention which has always something arbitrary about it. In the choice of this convention we can be guided only by the principle of sufficient reason. Unfortunately, this principle is very vague and very elastic, and in the cursory examination we have just made we have seen it assume different forms. The form under which we meet it most often is the belief in continuity, a belief which it would be difficult to justify by apodeictic reasoning, but without which all science would be impossible. Finally, the problems to which the calculus of probabilities may be applied with profit are those in which the result is independent of the hypothesis made at the outset, provided only that this hypothesis satisfies the condition of continuity." (Henri Poincaré, "Science and Hypothesis", 1901)

"Treatises on mechanics do not clearly distinguish between what is experiment, what is mathematical reasoning, what is convention, and what is hypothesis." (Henri Poincaré, "Science and Hypothesis", 1901)

"Entia non sunt multiplicanda praeter necessitatem. That is to say; before you try a complicated hypothesis, you should make quite sure that no simplification of it will explain the facts equally well." (Charles S Peirce," Pragmatism and Pragmaticism", [lecture] 1903)

"Chemistry and physics are experimental sciences; and those who are engaged in attempting to enlarge the boundaries of science by experiment are generally unwilling to publish speculations; for they have learned, by long experience, that it is unsafe to anticipate events. It is true, they must make certain theories and hypotheses. They must form some kind of mental picture of the relations between the phenomena which they are trying to investigate, else their experiments would be made at random, and without connection." (William Ramsay, "Radium and Its Products", Harper’s Magazine, 1904)

"A symbolical representation of a method of calculation has the same significance for a mathematician as a model or a visualisable working hypothesis has for a physicist. The symbol, the model, the hypothesis runs parallel with the thing to be represented. But the parallelism may extend farther, or be extended farther, than was originally intended on the adoption of the symbol. Since the thing represented and the device representing are after all different, what would be concealed in the one is apparent in the other." (Ernst Mach, "Space and Geometry: In the Light of physiological, phycological and physical inquiry", 1906) 

"The physicist can never subject an isolated hypothesis to experimental test, but only a whole group of hypotheses." (Pierre Duhem, "The Aim and Structure of Physical Theory", 1906)

"A mind exclusively bent upon the idea of utility necessarily narrows the range of the imagination. For it is the imagination which pictures to the inner eye of the investigator the indefinitely extending sphere of the possible, - that region of hypothesis and explanation, of underlying cause and controlling law. The area of suggestion and experiment is thus pushed beyond the actual field of vision." (John G Hibben, "The Paradox of Research", The North American Review 188 (634), 1908)

On Continuity XVI (The Beginnings)

"Since [...] nature is a principle of motion and mutation [...] it is necessary that we should not be ignorant of what motion is [...] But motion appears to belong to things continuous; and the infinite first presents itself to the view in that which is continuous. [..] frequently [...] those who define the continuous, employ the nature or the infinite, as if that which is divisible to infinity is continuous." (Aristotle, "Physics", cca. 350 BC)

"Things are called continuous when the touching limits of each become one and the same and are contained in each other. Continuity is impossible if these extremities are two. […] Continuity belongs to things that naturally in virtue of their mutual contact form a unity. And in whatever way that which holds them together is one, so too will the whole be one."(Aristotle, "Physics", cca. 350 BC)

"When what surrounds, then, is not separate from the thing, but is in continuity with it, the thing is said to be in what surrounds it, not in the sense of in place, but as a part in a whole. But when the thing is separate or in contact, it is immediately ‘in’ the inner surface of the surrounding body, and this surface is neither a part of what is in it nor yet greater than its extension, but equal to it; for the extremities of things which touch are coincident." (Aristotle, "Physics", cca. 350 BC)

"Things [...] are some of them continuous [...] which are properly and peculiarly called 'magnitudes'; others are discontinuous, in a side-by-side arrangement, and, as it were, in heaps, which are called 'multitudes,' a flock, for instance, a people, a heap, a chorus, and the like. Wisdom, then, must be considered to be the knowledge of these two forms. Since, however, all multitude and magnitude are by their own nature of necessity infinite - for multitude starts from a definite root and never ceases increasing; and magnitude, when division beginning with a limited whole is carried on, cannot bring the dividing process to an end [...] and since sciences are always sciences of limited things, and never of infinites, it is accordingly evident that a science dealing with magnitude [...] or with multitude [...] could never be formulated. […] A science, however, would arise to deal with something separated from each of them, with quantity, set off from multitude, and size, set off from magnitude." (Nicomachus, cca. 100 AD) 

"But every continuum is actually existent. Therefore any of its parts is really existent in nature. But the parts of the continuum are infinite because there are not so many that there are not more, and therefore the infinite parts are actually existent." (William of Ockham, cca. 1320)

"It is established that every continuum has further parts, and not so many parts finite in number that there are not further parts, and has all its parts actually and simultaneously, and therefore every continuum has simultaneously and actually infinitely many parts." (Gregory of Rimini [Gregorii Ariminensis], "Lectura super primum et secundum sententiarum", cca. 1350)

On Continuity XIV (Progress)

"Nothing is accomplished all at once, and it is one of my great maxims, and one of the most completely verified, that Nature makes no leaps: a maxim which I have called the law of continuity." (Gottfried W Leibniz, "New Essays Concerning Human Understanding with an Appealing", 1704)

"Harmonious order governing eternally continuous progress - the web and woof of matter and force interweaving by slow degrees, without a broken thread, that veil which lies between us and the Infinite - that universe which alone we know or can know; such is the picture which science draws of the world, and in proportion as any part of that picture is in unison with the rest, so may we feel sure that it is rightly painted." (Thomas H Huxley, "Darwiniana", 1893–94)

"Mathematics is not a world empire where one man can exert a dominating influence over work along all the lines, but it is continually splitting up into self-determining republics." (Geroge A Miller, "Felix Klein and the History of Modern Mathematics", 1927)

"The steady progress of physics requires for its theoretical formulation a mathematics which get continually more advanced. […] it was expected that mathematics would get more and more complicated, but would rest on a permanent basis of axioms and definitions, while actually the modern physical developments have required a mathematics that continually shifts its foundation and gets more abstract. Non-Euclidean geometry and noncommutative algebra, which were at one time were considered to be purely fictions of the mind and pastimes of logical thinkers, have now been found to be very necessary for the description of general facts of the physical world. It seems likely that this process of increasing abstraction will continue in the future and the advance in physics is to be associated with continual modification and generalisation of the axioms at the base of mathematics rather than with a logical development of any one mathematical scheme on a fixed foundation." (Paul A M Dirac, "Quantities singularities in the electromagnetic field", Proceedings of the Royal Society of London, 1931)

"For it is true, generally speaking, that mathematics is not a popular subject, even though its importance may be generally conceded. The reason for this is to be found in the common superstition that mathematics is but a continuation, a further development, of the fine art of arithmetic, of juggling with numbers." (David Hilbert, "Anschauliche Geometrie", 1932)

"Science does not mean an idle resting upon a body of certain knowledge; it means unresting endeavor and continually progressing development toward an end which the poetic intuition may apprehend, but which the intellect can never fully grasp." (Max Planck, "The Philosophy of Physics", 1936)

"And yet, on looking into the history of science, one is overwhelmed by evidence that all too often there is no regular procedure, no logical system of discovery, no simple, continuous development. The process of discovery has been as varied as the temperament of the scientist." (Gerald Holton, "Thematic Origins of Scientific Thought: Kepler to Einstein", 1973)

16 May 2021

On Topology V

"In mathematics, logic, linguistics, and other abstract disciplines, the systems are not assigned to objects. They are defined by an enumeration of the variables, their admissible values, and their algebraic, topological, grammatical, and other properties which, in the given case, determine the relations between the variables under consideration." (George Klir, "An approach to general systems theory", 1969)

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

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

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

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

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

"At first, topology can seem like an unusually imprecise branch of mathematics. It’s the study of squishy play-dough shapes capable of bending, stretching and compressing without limit. But topologists do have some restrictions: They cannot create or destroy holes within shapes. […] While this might seem like a far cry from the rigors of algebra, a powerful idea called homology helps mathematicians connect these two worlds. […] homology infers an object’s holes from its boundaries, a more precise mathematical concept. To study the holes in an object, mathematicians only need information about its boundaries." (Kelsey Houston-Edwards, "How Mathematicians Use Homology to Make Sense of Topology", Quanta Magazine, 2021) [source]

"In geometry, shapes like circles and polyhedra are rigid objects; the tools of the trade are lengths, angles and areas. But in topology, shapes are flexible things, as if made from rubber. A topologist is free to stretch and twist a shape. Even cutting and gluing are allowed, as long as the cut is precisely reglued. A sphere and a cube are distinct geometric objects, but to a topologist, they’re indistinguishable." (David E Richeson, "Topology 101: The Hole Truth", 2021) [source]

10 April 2021

Catastrophe Theory III

"On the plane of philosophy properly speaking, of metaphysics, catastrophe theory cannot, to be sure, supply any answer to the great problems which torment mankind. But it favors a dialectical, Heraclitean view of the universe, of a world which is the continual theatre of the battle between 'logoi', between archetypes." (René F Thom, "Catastrophe Theory: Its Present State and Future Perspectives", 1975)

"At the large scale where many processes and structures appear continuous and stable much of the time, important changes may occur discontinuously. When only a few variables are involved, as well as an optimizing process, the event may be analyzed using catastrophe theory. As the number of variables in- creases the bifurcations can become more complex to the point where chaos theory becomes the relevant approach. That chaos theory as well as the fundamentally discontinuous quantum processes may be viewed through fractal eyeglasses can also be admitted. We can even argue that a cascade of bifurcations to chaos contains two essentially structural catastrophe points, namely the initial bifurcation point at which the cascade commences and the accumulation point at which the transition to chaos is finally achieved." (J Barkley Rosser Jr., "From Catastrophe to Chaos: A General Theory of Economic Discontinuities", 1991)

"Catastrophe theory is a local theory, telling us what a function looks like  in a small neighborhood of a critical point; it says nothing about what the function may be doing far away from the singularity. Yet most of the applications of the theory [...]  involve extrapolating these rock-solid, local results to regions that may  well be distant in time and space from the singularity." (John L Casti, "Five Golden Rules", 1995)

"Chaos and catastrophe theories are among the most interesting recent developments in nonlinear modeling, and both have captured the interests of scientists in many disciplines. It is only natural that social scientists should be concerned with these theories. Linear statistical models have proven very useful in a great deal of social scientific empirical analyses, as is evidenced by how widely these models have been used for a number of decades. However, there is no apparent reason, intuitive or otherwise, as to why human behavior should be more linear than the behavior of other things, living and nonliving. Thus an intellectual movement toward nonlinear models is an appropriate evolutionary movement in social scientific thinking, if for no other reason than to expand our paradigmatic boundaries by encouraging greater flexibility in our algebraic specifications of all aspects of human life." (Courtney Brown, "Chaos and Catastrophe Theories", 1995)

"[...] chaos and catastrophe theories per se address behavioral phenomena that are consequences of two general types of nonlinear dynamic behavior. In the most elementary of behavioral terms, chaotic phenomena are a class of deterministic processes that seem to mimic random or stochastic dynamics. Catastrophe phenomena, on the other hand, are a class of dynamic processes that exhibit a sudden and large scale change in at least one variable in correspondence with relatively small changes in other variables or, in some cases, parameters." (Courtney Brown, "Chaos and Catastrophe Theories", 1995)

"Chaos and catastrophe theories directly address the social scientists' need to understand classes of nonlinear complexities that are certain to appear in social phenomena. The probabilistic properties of many chaos and catastrophe models are simply not known, and there is little likelihood that general procedures will be developed soon to alleviate the difficulties inherent with probabilistic approaches in such complicated settings." (Courtney Brown, "Chaos and Catastrophe Theories", 1995)

"Fundamental to catastrophe theory is the idea of a bifurcation. A bifurcation is an event that occurs in the evolution of a dynamic system in which the characteristic behavior of the system is transformed. This occurs when an attractor in the system changes in response to change in the value of a parameter. A catastrophe is one type of bifurcation. The broader framework within which catastrophes are located is called dynamical bifurcation theory." (Courtney Brown, "Chaos and Catastrophe Theories", 1995)

"Probably the most important reason that catastrophe theory received as much popular press as it did in the mid-1970s is not because of its unchallenged mathematical elegance, but because it appears to offer a coherent mathematical framework within which to talk about how discontinuous behaviors - stock market booms and busts or cellular differentiation, for instance - might emerge as the result of smooth changes in the inputs to a system, things like interest rates in a speculative market or the diffusion rate of chemicals in a developing embryo. These kinds of changes are often termed bifurcations, and playa central role in applied mathematical modeling. Catastrophe theory enables us to understand more clearly how - and why - they occur." (John L Casti, "Five Golden Rules", 1995)

"The goal of catastrophe theory is to classify smooth functions with degenerate critical points, just as Morse's Theorem gives us a complete classification for Morse functions. The difficulty, of course, is that there are a lot more ways for critical points to 'go bad' than there are for them to stay 'nice'. Thus, the classification problem is much harder for functions having degenerate critical points, and has not yet been fully carried out for all possible types of degeneracies. Fortunately, though, we can obtain a partial classification for those functions having critical points that are not too bad. And this classification turns out to be sufficient to apply the results to a wide range of phenomena like the predator-prey situation sketched above, in which 'jumps' in the system's biomass can occur when parameters describing the process change only slightly." (John L Casti, "Five Golden Rules", 1995)

"The reason catastrophe theory can tell us about such abrupt changes in a system's behavior is that we usually observe a dynamical system when it's at or near its steady-state, or equilibrium, position. And under various assumptions about the nature of the system's dynamical law of motion, the set of all possible equilibrium states is simply the set of critical points of a smooth function closely related to the system dynamics. When these critical points are nondegenerate, Morse's Theorem applies. But it is exactly when they become degenerate that the system can move sharply from one equilibrium position to another. The Thorn Classification Theorem tells when such shifts will occur and what direction they will take." (John L Casti, "Five Golden Rules", 1995)

08 March 2021

On Continuity VII (Spacetime)

"Time and space are divided into the same and equal divisions. Wherefore also, Zeno’s argument, that it is impossible to go through an infinite collection or to touch an infinite collection one by one in a finite time, is fallacious. For there are two senses in which the term ‘infinte’ is applied both to length and to time and in fact to all continuous things: either in regard to divisibility or in regard to number. Now it is not possible to touch things infinite as to number in a finite time, but it is possible to touch things infinite in regard to divisibility; for time itself is also infinite in this sense."  (Aristotle, "Physics", cca. 350 BC)

"Time with its continuity logically involves some other kind of continuity than its own. Time, as the universal form of change, cannot exist unless there is something to undergo change, and to undergo a change continuous in time, there must be a continuity of changeable qualities." (Charles S Peirce, "The Law of Mind", 1892)

"Motion consists merely in the occupation of different places at different times, subject to continuity. [...] There is no transition from place to place, no consecutive moment or consecutive position, no such thing as velocity except in the sense of a real number, which is the limit of a certain set of quotients." (Bertrand Russell's, "Principles of Mathematics", 1903)

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

"The scene of action of reality is not a three-dimensional Euclidean space but rather a four-dimensional world, in which space and time are linked together indissolubly. However deep the chasm may be that separates the intuitive nature of space from that of time in our experience, nothing of this qualitative difference enters into the objective world which physics endeavors to crystallize out of direct experience. It is a four-dimensional continuum, which is neither 'time' nor 'space'. Only the consciousness that passes on in one portion of this world experiences the detached piece which comes to meet it and passes behind it as history, that is, as a process that is going forward in time and takes place in space." (Hermann Weyl, "Space, Time, Matter", 1922)

"In classical science, it was strange to find that action [...] should yet present the artificial aspect of an energy in space multiplied by a duration. As soon, however, as we realise that the fundamental continuum of the universe is one of space-time and not one of separate space and time, the reason for the importance of the seemingly artificial combination of space with time in the expression for the action receives a very simple explanation. Henceforth, action is no longer energy in a volume of space multiplied by a duration; it is simply energy in a volume of the world, that is to say, in a volume of four-dimensional space-time." (Aram D'Abro, "The Evolution of Scientific Thought from Newton to Einstein", 1927)

"[…] evolution is only one aspect of the order of nature, of the relations of cause and effect, of continuity of space and time, which pervade the universe and enable us to comprehend its simplicity of plan, its complexity of detail." (William D Matthew, Natural History Vol. 25 (2), 1925)

"[…] the universe is not a rigid and inimitable edifice where independent matter is housed in independent space and time; it is an amorphous continuum, without any fixed architecture, plastic and variable, constantly subject to change and distortion. Wherever there is matter and motion, the continuum is disturbed. Just as a fi sh swimming in the sea agitates the water around it, so a star, a comet, or a galaxy distorts the geometry of the spacetime through which it moves." (Lincoln Barnett, "The Universe and Dr. Einstein", 1948)

"The whole fabric of the space-time continuum is not merely curved, it is in fact totally bent." (Douglas N Adams, "The Restaurant at the End of the Universe", 1980)

"Time goes forward because energy itself is always moving from an available to an unavailable state. Our consciousness is continually recording the entropy change in the world around us. [...] we experience the passage of time by the succession of one event after another. And every time an event occurs anywhere in this world energy is expended and the overall entropy is increased. To say the world is running out of time then, to say the world is running out of usable energy. In the words of Sir Arthur Eddington, 'Entropy is time's arrow'." (Jeremy Rifkin, "Entropy", 1980)

"The view of science is that all processes ultimately run down, but entropy is maximized only in some far, far away future. The idea of entropy makes an assumption that the laws of the space-time continuum are infinitely and linearly extendable into the future. In the spiral time scheme of the timewave this assumption is not made. Rather, final time means passing out of one set of laws that are conditioning existence and into another radically different set of laws. The universe is seen as a series of compartmentalized eras or epochs whose laws are quite different from one another, with transitions from one epoch to another occurring with unexpected suddenness." (Terence McKenna, "True Hallucinations", 1989)

"Symmetry is bound up in many of the deepest patterns of Nature, and nowadays it is fundamental to our scientific understanding of the universe. Conservation principles, such as those for energy or momentum, express a symmetry that (we believe) is possessed by the entire space-time continuum: the laws of physics are the same everywhere." (Ian Stewart & Martin Golubitsky, "Fearful Symmetry: Is God a Geometer?", 1992)

"Continuity is only a mathematical technique for approximating very finely grained things. The world is subtly discrete, not continuous." (Carlo Rovelli, "The Order of Time", 2018)

"It is not possible to think of duration as continuous. We must think of it as discontinuous: not as something that flows uniformly but as something that in a certain sense jumps, kangaroo-like, from one value to another. In other words, a minimum interval of time exists. Below this, the notion of time does not exist - even in its most basic meaning." (Carlo Rovelli, "The Order of Time", 2018)

"Space. The continual becoming: invisible fountain from which all rhythms flow and to which they must pass. Beyond time or infinity." (Frank L Wright)

25 January 2021

On Continuity II (Topology)

"Things are called continuous when the touching limits of each become one and the same and are contained in each other. Continuity is impossible if these extremities are two. […] Continuity belongs to things that naturally in virtue of their mutual contact form a unity. And in whatever way that which holds them together is one, so too will the whole be one."(Aristotle, "Physics", cca. 350 BC)

"When what surrounds, then, is not separate from the thing, but is in continuity with it, the thing is said to be in what surrounds it, not in the sense of in place, but as a part in a whole. But when the thing is separate or in contact, it is immediately ‘in’ the inner surface of the surrounding body, and this surface is neither a part of what is in it nor yet greater than its extension, but equal to it; for the extremities of things which touch are coincident." (Aristotle, "Physics", cca. 350 BC)

"I hold: 1) that small portions of space are, in fact, of a nature analogous to little hills on a surface that is on the average fiat; namely, that the ordinary laws of geometry are not valid in them; 2) that this property of being curved or distorted is constantly being passed on from one portion of space to another after the manner of a wave; 3) that this variation of the curvature of space is what really happens in the phenomenon that we call the motion of matter, whether ponderable or ethereal; 4) that in the physical world nothing else takes place but this variation, subject (possibly) to the law of continuity." (William K Clifford, "On the Space Theory of Matter", [paper delivered before the Cambridge Philosophical Society, 1870)

"That branch of mathematics which deals with the continuity properties of two- (and more) dimensional manifolds is called analysis situs or topology. […] Two manifolds must be regarded as equivalent in the topological sense if they can be mapped point for point in a reversibly neighborhood-true (topological) fashion on each other." (Hermann Weyl, "The Concept of a Riemann Surface", 1913)

"In topology we are concerned with geometrical facts that do not even involve the concepts of a straight line or plane but only the continuous connectiveness between points of a figure." (David Hilbert, "Geometry and Imagination", 1952)

"General or point set topology can be thought of as the abstract study of the ideas of nearness and continuity. This is done in the first place by picking out in elementary geometry those properties of nearness that seem to be fundamental and taking them as axioms." (Andrew H Wallace, "Differential Topology: First Steps", 1968)

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

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

"The property of smoothness includes the property of continuity. The notion of a topological space was born from the development of abstract algebra as a universal notion for the property of continuity." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

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

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

"[…] topology is the study of those properties of geometric objects which remain unchanged under bi-uniform and bi-continuous transformations. Such transformations can be thought of as bending, stretching, twisting or compressing or any combination of these." (Lokenath Debnath, "The Legacy of Leonhard Euler - A Tricentennial Tribute", 2010)

"Topology is a geometry in which all lengths, angles, and areas can be distorted at will. Thus a triangle can be continuously transformed into a rectangle, the rectangle into a square, the square into a circle, and so on. Similarly, a cube can be transformed into a cylinder, the cylinder into a cone, the cone into a sphere. Because of these continuous transformations, topology is known popularly as 'rubber sheet geometry'. All figures that can be transformed into each other by continuous bending, stretching, and twisting are called 'topologically equivalent'." (Fritjof Capra, "The Systems View of Life: A Unifying Vision", 2014)

"Topology is an elastic version of geometry that retains the idea of continuity but relaxes rigid metric notions of distance." (Samuel Eilenberg)

Kenji Ueno - Collected Quotes

"[...] a manifold is a set M on which 'nearness' is introduced (a topological space), and this nearness can be described at each point in M by using coordinates. It also requires that in an overlapping region, where two coordinate systems intersect, the coordinate transformation is given by differentiable transition functions." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"An essential difference between continuity and differentiability is whether numbers are involved or not. The concept of continuity is characterized by the qualitative property that nearby objects are mapped to nearby objects. However, the concept of differentiation is obtained by using the ratio of infinitesimal increments. Therefore, we see that differentiability essentially involves numbers." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Analyticity is the property of a differentiable function y = f(x) that can be represented by the infinite series for all x near each point x0." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"By studying analytic functions using power series, the algebra of the Middle Ages was connected to infinite operations (various algebraic operations with infinite series). The relation of algebra with infinite operations was later merged with the newly developed differential and integral calculus. These developments gave impetus to early stages of the development of analysis. In a way, we can say that analyticity is the notion that first crossed the boundary from finite to infinite by passing from polynomials to infinite series. However, algebraic properties of polynomial functions still are strongly present in analytic functions." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"[…] continuity appears when we try to mathematically express continuously changing phenomena, and differentiability is the result of expressing smoothly changing phenomena."  (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Continuous functions can change freely, while analytic functions are rigid. In this sense, we can say that continuous and analytic functions are antipodal." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Continuous functions can move freely. Graphs of continuous functions can freely branch off at any place, whereas analytic functions coinciding in some neighborhood of a point P cannot branch outside of this neighborhood. Because of this property, continuous functions can mathematically represent wildly changing wind inside a typhoon or a gentle breeze." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Differentiability of a function can be established by examining the behavior of the function in the immediate neighborhood of a single point a in its domain. Thus, all we need is coordinates in the vicinity of the point a. From this point of view, one might say that local coordinates have more essential qualities. However, if are not looking at individual surfaces, we cannot find a more general and universal notion than smoothness." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"[...] differentiation is performed by focusing on the behavior of a function near one point. A quantity obtained in this manner is essentially a local quantity. Is it possible that such local quantities can show us something very basic about global properties such as smoothness? Does there exist a place in mathematics which would enable us to study the relationship between local and global quantities?" (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Even though there are no methods to represent each differentiable function by an 'equation', we can still investigate differentiable functions by various analytic methods. Because of this, we can say that differentiable functions have more mathematical reality than continuous functions." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Here we have the following question: 'Which concept is closer to the concept of differentiability -continuity or analyticity?' The answer depends upon the point of view. Our point of view is that continuity appears when we try to mathematically express continuously changing phenomena, and differentiability is the result of expressing smoothly changing phenomena." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"If each change of a certain quantity results in a corresponding change of another quantity, we can say that there exists a functional relationship between those two quantities. Viewed in this manner, the idea of functions expands endlessly. The concept of functions is truly comprehensive, but while it is all encompassing, it is not fathomless; at least, not with respect to our current subject of manifolds. You might feel that linear functions or quadratic functions are far too specific and that you are sinking into the depths of the ocean called functions. However, you will be rescued from the ocean depths by understanding of the functions that are needed to describe manifolds. These functions are continuous, analytic, and differentiable functions." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

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

"If we know when a sequence approaches a point or, as we say, converges to a point, we can define a continuous mapping from one metric space to another by using the property that a converging sequence is mapped to the corresponding converging sequence." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"In abstract mathematics, special attention is given to particular properties of numbers. Then those properties are taken in a very pure (and primitive) form. Those properties in pure form are then assigned to a given set. Therefore, by studying in details the internal mathematical structure of a set, we should be able to clarify the meaning of original properties of the objects. Likewise, in set theory, numbers disappear and only the concept of sets and characteristic properties of sets remain." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"In view of the developments of abstract mathematics, the first thing mathematicians studied was how to extract the property of 'nearness' from the set of numbers. If the property of nearness could be extracted using a few axioms, and if it was possible to associate the extracted property with a set, then the resulting set would provide an abstract scene to study 'nearness'." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Intuitively speaking, a visual representation associated with the concept of continuity is the property that a near object is sent to a corresponding near object, that is, a convergent sequence is sent to a corresponding convergent sequence." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"It is commonly said that the study of manifolds is, in general, the study of the generalization of the concept of surfaces. To some extent, this is true. However, defining it that way can lead to overshadowing by 'figures' such as geometrical surfaces." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"[...] moving from the concept of continuity to differentiability, and then to analyticity, we are moving from weaker properties to stronger ones. Therefore, the relations between the corresponding properties of functions can be expressed as follows: {continuous functions} > {differentiate functions} > {analytic functions}." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"Similarly to the graphs of continuous functions, graphs of differentiable (smooth) functions which coincide in a neighborhood of a point P can branch off outside of the neighborhood. Because of this property, differentiable functions can represent smoothly changing natural phenomena." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"The best example to indicate the rigidity of analytic functions is a soap film (with little viscosity) on a wire frame (think of a bubble blower). The soap film, which is created by the surface tension, stretches across the wire frame and is known to have analyticity. Therefore, if we try to change a certain region of the film by tapping it with a stick, then the film loses analyticity and will immediately brake." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"[...] the only characteristic property that continuous functions have is that near objects are sent to corresponding near objects, that is, a convergent sequence is mapped to the corresponding convergent sequence. It is reasonable to say that we cannot expect to extract from that property neither numerical consequences, nor a method to extensively study continuity. On the contrary, analytic functions can be represented by equations (precisely speaking, by infinite series). Compared to analytic functions, continuous functions, in general, are difficult to represent explicitly, although they exist as a concept." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"The property of smoothness includes the property of continuity. The notion of a topological space was born from the development of abstract algebra as a universal notion for the property of continuity." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"To consider differentiable functions, we must introduce a coordinate system on the plane and thereby to concentrate on the world of numbers.[...] a continuous function defined on a plane can be differentiable or nondifferentiable depending on the choice of coordinates. [...] the choice of coordinates on the plane determines which functions among the continuous functions should be selected as differentiable functions." (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)

"When the absolute concept of coordinate systems introduced by Descartes shifted to the relative concept of coordinate systems introduced by Gauss, a clear differences between continuity and differentiability emerged."  (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

"When we study the concept of continuity by itself, numbers are not necessary as long as you are dealing with objects which have the property of 'nearness' . Therefore, if we can introduce the notion of 'nearness' detached from numbers from a purely abstract point of view, then we can discuss topics related to continuity based upon this notion. This approach enables us to become familiar with the science we call mathematics." (Kenji Ueno & Toshikazu Sunada, "A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra", Mathematical World Vol. 23, 1996)

Related Posts Plugin for WordPress, Blogger...

On Leonhard Euler

"I have been able to solve a few problems of mathematical physics on which the greatest mathematicians since Euler have struggled in va...