"The notion of an abstract group arises by consideration of the formal properties of one-to-one transformations of a set onto itself. Similarly, the notion of a category is obtained from the formal properties of the class of all transformations y : X → Y of any one set into another, or of continuous transformations of one topological space into another, or of homomorphisms, of one group into another, and so on." (Saunders Mac Lane, "Duality for groups", Bulletin of the American Mathematical Society 56, 1950)
"The discrete change has only to become small enough in its jump to approximate as closely as is desired to the continuous change. It must further be remembered that in natural phenomena the observations are almost invariably made at discrete intervals; the 'continuity' ascribed to natural events has often been put there by the observer's imagina- tion, not by actual observation at each of an infinite number of points. Thus the real truth is that the natural system is observed at discrete points, and our transformation represents it at discrete points. There can, therefore, be no real incompatibility."
"If a machine is a purposive system, then the machine's description will be given by an account of the successive states of the system as its purpose unfolds. This succession of states is given by a set of transitions of one item to another, and this set is known technically as a transformation. When the transforms obtained from a transformation include no fresh item, but are concerned with re-arranging the items that are there already, we speak of a closed system." (Stafford Beer, "Cybernetics and Management", 1959)
"Category theory is an embodiment of Klein’s dictum that it is the maps that count in mathematics. If the dictum is true, then it is the functors between categories that are important, not the categories. And such is the case. Indeed, the notion of category is best excused as that which is necessary in order to have the notion of functor. But the progression does not stop here. There are maps between functors, and they are called natural transformations." (Peter Freyd, "The theories of functors and models", 1965)
"A manifold can be given by specifying the coordinate ranges of an atlas, the images in those coordinate ranges of the overlapping parts of the coordinate domains, and the coordinate transformations for each of those overlapping domains. When a manifold is specified in this way, a rather tricky condition on the specifications is needed to give the Hausdorff property, but otherwise the topology can be defined completely by simply requiring the coordinate maps to be homeomorphisms."
"A structure is a system of transformations. Inasmuch as it is a system and not a mere collection of elements and their properties, these transformations involve laws: the structure is preserved or enriched by the interplay of its transformation laws, which never yield results external to the system nor employ elements that are external to it. In short, the notion of structure is composed of three key ideas: the idea of wholeness, the idea of transformation, and the idea of self-regulation." (Jean Piaget, "Structuralism", 1968)
"Knowing reality means constructing systems of transformations that correspond, more or less adequately, to reality. They are more or less isomorphic to transformations of reality. The transformational structures of which knowledge consists are not copies of the transformations in reality; they are simply possible isomorphic models among which experience can enable us to choose. Knowledge, then, is a system of transformations that become progressively adequate." (Jean Piaget, "Genetic Epistemology", 1968)
"[…] topology, a science that studies the properties of geometric figures that do not change under continuous transformations.
"[…] under plane transformations, like those encountered in the arbitrary stretching of a rubber sheet, certain properties of the figures involved are preserved. The mathematician has a name for them. They are called continuous transformations. This means that very close lying points pass into close lying points and a line is translated into a line under these transformations. Quite obviously, then, two intersecting lines will continue to intersect under a continuous transformation, and nonintersecting lines will not intersect; also, a figure with a hole cannot translate into a figure without a hole or into one with two holes, for that would require some kind of tearing or gluing - a disruption of the continuity.
No comments:
Post a Comment