On Functions (2010-)

"First, what are the 'graphs' studied in graph theory? They are not graphs of functions as studied in calculus and analytic geometry. They are" (usually finite) structures consisting of vertices and edges. As in geometry, we can think of vertices as points" (but they are denoted by thick dots in diagrams) and of edges as arcs connecting pairs of distinct vertices. The positions of the vertices and the shapes of the edges are irrelevant: the graph is completely specified by saying which vertices are connected by edges. A common convention is that at most one edge connects a given pair of vertices, so a graph is essentially just a pair of sets: a set of objects." (John Stillwell, "Mathematics and Its History", 2010)

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

"A function acts like a set of rules for turning some numbers into others, a machine with parts that we can manipulate to accomplish anything we can imagine." (David Perkins, "Calculus and Its Origins", 2012)

"A function is also sometimes referred to as a map or a mapping. This terminology is common in mathematics, but less so in physics or other scientific fields. The idea of a mapping is useful if one wants to think of a function as acting on an entire set of input values." (David P Feldman,"Chaos and Fractals: An Elementary Introduction", 2012)

"A topological property is, therefore, any property that is preserved under the set of all homeomorphisms. […] Homeomorphisms generally fail to preserve distances between points, and they may even fail to preserve shapes." (John Tabak, "Beyond Geometry: A new mathematics of space and form", 2011)

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

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

"These days the term 'central limit theorem' is associated with a multitude of statements having to do with the convergence of probability distributions of functions of an increasing number of one- or multi-dimensional random variables or even more general random elements (with values in Banach spaces or more general spaces) to a normal distribution3 (or related distributions). In an effort to reduce ambiguity - and in view of historic developments - the denotation “central limit theorem” in the present examination will usually refer only to the 'classical' case, which deals with the asymptotic equality of distributions of sums of independent or weakly dependent random variables and of a normal distribution." (Hans Fischer, "A History of the Central Limit Theorem: From Classical to Modern Probability Theory", 2011)

"Functions are the most basic way of mathematically representing a relationship. [...] In mathematics, it is useful to think of a function as an action; a function takes a number as input, does something to it, and outputs a new number. [...] We are now in a position to refine our definition of a function. A function is a rule that assigns an output value f(x) to every input x. This is consistent with the everyday use of the word function: the output f(x) is a function of the input x. The output depends on the input [...]" (David P Feldman,"Chaos and Fractals: An Elementary Introduction", 2012)

"Thus, much of physics can be seen as a iterative process: an object or a bunch of objects have some initial condition or seed. [...] Iterated functions are an example of what mathematicians call dynamical systems. A dynamical system is just a generic name for some variable or set of variables that change over time. There are many different types of dynamical systems - the iterated functions introduced above are just one type among many. Dynamical systems is now generally recognized as a branch of applied mathematics that studies properties of how systems change over time." (David P Feldman,"Chaos and Fractals: An Elementary Introduction", 2012) 

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

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

"Ironically, conventional quantum mechanics itself involves a vast expansion of physical reality, which may be enough to avoid Einstein Insanity. The equations of quantum dynamics allow physicists to predict the future values of the wave function, given its present value. According to the Schrödinger equation, the wave function evolves in a completely predictable way. But in practice we never have access to the full wave function, either at present or in the future, so this 'predictability' is unattainable. If the wave function provides the ultimate description of reality - a controversial issue!" (Frank Wilczek, "Einstein’s Parable of Quantum Insanity", 2015)

"That’s where boundary conditions come in. A boundary condition 'ties down' a function or its derivative to a specified value at a specified location in space or time. By constraining the solution of a differential equation top satisfy the boundary condition(s), you may be able to determine the value of the function or its derivatives at other locations. We say “may” because boundary conditions that are not well-posed may provide insufficient or contradictory information." (Daniel Fleisch & Laura Kinnaman, "A Student’s Guide to Waves", 2015)

"Mathematics is the domain of all formal languages, and allows the expression of arbitrary statements" (most of which are uncomputable). Computation may be understood in terms of computational systems, for instance via defining states" (which are sets of discernible differences, i.e. bits), and transition functions that let us derive new states." (Joscha Bach, "The Cortical Conductor Theory: Towards Addressing Consciousness in AI Models", 2017)

"The elements of this cloud of uncertainty (the set of all possible errors) can be described in terms of probability. The center of the cloud is the number zero, and elements of the cloud that are close to zero are more probable than elements that are far away from that center. We can be more precise in this definition by defining the cloud of uncertainty in terms of a mathematical function, called the probability distribution." (David S Salsburg, "Errors, Blunders, and Lies: How to Tell the Difference", 2017)

"The trig functions’ input consists of the sizes of angles inside right triangles. Their output consists of the ratios of the lengths of the triangles’ sides. Thus, they act as if they contained phone-directory-like groups of paired entries, one of which is an angle, and the other is a ratio of triangle-side lengths associated with the angle. That makes them very useful for figuring out the dimensions of triangles based on limited information." (David Stipp, "A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics", 2017)

"What is essentially different in quantum mechanics is that it deals with complex quantities" (e.g. wave functions and quantum state vectors) of a special kind, which cannot be split up into pure real and imaginary parts that can be treated independently. Furthermore, physical meaning is not attached directly to the complex quantities themselves, but to some other operation that produces real numbers" (e.g. the square modulus of the wave function or of the inner product between state vectors)." (Ricardo Karam, "Why are complex numbers needed in quantum mechanics? Some answers for the introductory level", American Journal of Physics Vol. 88 (1), 2020)