|
Hyperreals
In mathematics, the system of hyperreal numbers is a way of treating infinite and infinitesimal (infinitely small but non-zero) quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R that contains numbers greater than anything of the form :1 + 1 + \cdots + 1 (for any finite number of terms). Such numbers are infinite, and their reciprocals are infinitesimals. The term "hyper-real" was introduced by Edwin Hewitt in 1948. The hyperreal numbers satisfy the transfer principle, a rigorous version of Leibniz's heuristic law of continuity. The transfer principle states that true first-order statements about R are also valid in *R. For example, the commutative law of addition, , holds for the hyperreals just as it does for the reals; since R is a real closed field, so is *R. Since \sin()=0 for all integers ''n'', one also has \sin()=0 for all hyperintegers H. The transfer principle for ultrapowers is a consequence of Łoś' theorem of 1955. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transfer Principle
In model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure. One of the first examples was the Lefschetz principle, which states that any sentence in the first-order language of fields that is true for the complex numbers is also true for any algebraically closed field of characteristic 0. History An incipient form of a transfer principle was described by Leibniz under the name of "the Law of Continuity". Here infinitesimals are expected to have the "same" properties as appreciable numbers. The transfer principle can also be viewed as a rigorous formalization of the principle of permanence. Similar tendencies are found in Cauchy, who used infinitesimals to define both the continuity of functions (in Cours d'Analyse) and a form of the Dirac delta function. In 1955, Jerzy Łoś proved the transfer principle for any hyperreal number system. Its most common use is in Abraham Robinson's nonstanda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinitesimal
In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word ''infinitesimal'' comes from a 17th-century Modern Latin coinage ''infinitesimus'', which originally referred to the " infinity- th" item in a sequence. Infinitesimals do not exist in the standard real number system, but they do exist in other number systems, such as the surreal number system and the hyperreal number system, which can be thought of as the real numbers augmented with both infinitesimal and infinite quantities; the augmentations are the reciprocals of one another. Infinitesimal numbers were introduced in the development of calculus, in which the derivative was first conceived as a ratio of two infinitesimal quantities. This definition was not rigorously formalized. As calculus developed further, infinitesimals were replaced by limits, which can be calculated using the standard real numbers. Infinitesimals regained popularit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nonstandard Analysis
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using epsilon–delta procedures rather than infinitesimals. Nonstandard analysis instead reformulates the calculus using a logically rigorous notion of infinitesimal numbers. Nonstandard analysis originated in the early 1960s by the mathematician Abraham Robinson. He wrote: ... the idea of infinitely small or ''infinitesimal'' quantities seems to appeal naturally to our intuition. At any rate, the use of infinitesimals was widespread during the formative stages of the Differential and Integral Calculus. As for the objection ... that the distance between two distinct real numbers cannot be infinitely small, Gottfried Wilhelm Leibniz argued that the theory of infinitesimals implies the introduction of ideal numbers which might be infinitely small or infinitely ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standard Part Function
In nonstandard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers. Briefly, the standard part function "rounds off" a finite hyperreal to the nearest real. It associates to every such hyperreal x, the unique real x_0 infinitely close to it, i.e. x-x_0 is infinitesimal. As such, it is a mathematical implementation of the historical concept of adequality introduced by Pierre de Fermat,Karin Usadi Katz and Mikhail G. Katz (2011) A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography. Foundations of Science.Searxiv The authors refer to the Fermat-Robinson standard part. as well as Leibniz's Transcendental law of homogeneity. The standard part function was first defined by Abraham Robinson who used the notation ^x for the standard part of a hyperreal x (see Robinson 1974). This concept plays a key role in defining the concepts of the calculus, such as continuity, the derivati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperinteger
In nonstandard analysis, a hyperinteger ''n'' is a hyperreal number that is equal to its own integer part. A hyperinteger may be either finite or infinite. A finite hyperinteger is an ordinary integer. An example of an infinite hyperinteger is given by the class of the sequence in the ultrapower construction of the hyperreals. Discussion The standard integer part function: :\lfloor x \rfloor is defined for all real ''x'' and equals the greatest integer not exceeding ''x''. By the transfer principle of nonstandard analysis, there exists a natural extension: :^*\! \lfloor \,\cdot\, \rfloor defined for all hyperreal ''x'', and we say that ''x'' is a hyperinteger if x = ^*\! \lfloor x \rfloor. Thus the hyperintegers are the image of the integer part function on the hyperreals. Internal sets The set ^*\mathbb of all hyperintegers is an internal subset of the hyperreal line ^*\mathbb. The set of all finite hyperintegers (i.e. \mathbb itself) is not an internal subset. Elements ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. For example, the derivative of the position of a moving object with respect to time is the object's velocity: this measures how quickly the position of the object changes when time advances. The derivative of a function of a single variable at a chosen input value, when it exists, is the slope of the tangent line to the graph of the function at that point. The tangent line is the best linear approximation of the function near that input value. For this reason, the derivative is often described as the "instantaneous rate of change", the ratio of the instantaneous change in the dependent variable to that of the independent variable. Derivatives can be generalized to functions of several real variables. In this generalization, the derivativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ultrapower
The ultraproduct is a mathematical construction that appears mainly in abstract algebra and mathematical logic, in particular in model theory and set theory. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones. The hyperreal numbers, an ultrapower of the real numbers, are a special case of this. Some striking applications of ultraproducts include very elegant proofs of the compactness theorem and the completeness theorem, Keisler's ultrapower theorem, which gives an algebraic characterization of the semantic notion of elementary equivalence, and the Robinson–Zakon presentation of the use of superstructures and their monomorphisms to construct nonstandard models of analysis, leading to the growth of the area of nonstandard analysis, which was pion ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Łoś' Theorem
The ultraproduct is a mathematical construction that appears mainly in abstract algebra and mathematical logic, in particular in model theory and set theory. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones. The hyperreal numbers, an ultrapower of the real numbers, are a special case of this. Some striking applications of ultraproducts include very elegant proofs of the compactness theorem and the completeness theorem, Keisler's ultrapower theorem, which gives an algebraic characterization of the semantic notion of elementary equivalence, and the Robinson–Zakon presentation of the use of superstructures and their monomorphisms to construct nonstandard models of analysis, leading to the growth of the area of nonstandard analysis, which was pion ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edwin Hewitt
Edwin Hewitt (January 20, 1920, Everett, Washington – June 21, 1999) was an American mathematician known for his work in abstract harmonic analysis and for his discovery, in collaboration with Leonard Jimmie Savage, of the Hewitt–Savage zero–one law. He received his Ph.D. in 1942 from Harvard University, and served on the faculty of mathematics at the University of Washington from 1954. Hewitt pioneered the construction of the hyperreal number, hyperreals by means of an ultrapower construction (Hewitt, 1948). Hewitt wrote the 1975 English translation of Alexandre Kirillov, A. A. Kirillov's 1972 Russian monograph ''Elements of the Theory of Representations'' (Элементы Теории Представлений), and co-authored ''Abstract Harmonic Analysis'' with Kenneth A. Ross (1st edn., 1st vol. in 1963; 1st edn., 2nd vol. in 1970), an extensive work in two volumes. See also *Cohen–Hewitt factorization theorem Publications * * * * References Edwin Hewitt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinite Sum
In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathematics, even for studying finite structures (such as in combinatorics) through generating functions. In addition to their ubiquity in mathematics, infinite series are also widely used in other quantitative disciplines such as physics, computer science, statistics and finance. For a long time, the idea that such a potentially infinite summation could produce a finite result was considered paradoxical. This paradox was resolved using the concept of a limit during the 17th century. Zeno's paradox of Achilles and the tortoise illustrates this counterintuitive property of infinite sums: Achilles runs after a tortoise, but when he reaches the position of the tortoise at the beginning of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Archimedes
Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientists in classical antiquity. Considered the greatest mathematician of ancient history, and one of the greatest of all time,* * * * * * * * * * Archimedes anticipated modern calculus and analysis by applying the concept of the infinitely small and the method of exhaustion to derive and rigorously prove a range of geometrical theorems. These include the area of a circle, the surface area and volume of a sphere, the area of an ellipse, the area under a parabola, the volume of a segment of a paraboloid of revolution, the volume of a segment of a hyperboloid of revolution, and the area of a spiral. Heath, Thomas L. 1897. ''Works of Archimedes''. Archimedes' other mathematical achievements include deriving an approximation of pi, defining and in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral
In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ..., an integral assigns numbers to functions in a way that describes Displacement (geometry), displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with Derivative, differentiation, integration is a fundamental, essential operation of calculus,Integral calculus is a very well established mathematical discipline for which there are many sources. See and , for example. and serves as a tool to solve problems in mathematics and physics involving the area of an arbitrary shape, the length of a curve, and the volume of a solid, among others. The integrals enumerated here are those termed definite integrals, which can be int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_by_Thomas_Degeorge.png "Click for more on -> Archimedes")
