Hyperinteger

Last updated

In nonstandard analysis, a hyperintegern 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 (1, 2, 3, ...) in the ultrapower construction of the hyperreals.

Contents

Discussion

The standard integer part function:

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:

defined for all hyperreal x, and we say that x is a hyperinteger if Thus the hyperintegers are the image of the integer part function on the hyperreals.

Internal sets

The set of all hyperintegers is an internal subset of the hyperreal line . The set of all finite hyperintegers (i.e. itself) is not an internal subset. Elements of the complement are called, depending on the author, nonstandard, unlimited, or infinite hyperintegers. The reciprocal of an infinite hyperinteger is always an infinitesimal.

Nonnegative hyperintegers are sometimes called hypernatural numbers. Similar remarks apply to the sets and . Note that the latter gives a non-standard model of arithmetic in the sense of Skolem.

Related Research Articles

Nonstandard analysis Calculus using a logically rigorous notion of infinitesimal numbers

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.

Hyperreal number Element of a nonstandard model of the reals, which can be infinite or infinitesimal

In mathematics, the system of hyperreal numbers is a way of treating infinite and infinitesimal quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R that contains numbers greater than anything of the form

Floor and ceiling functions Mathematical functions rounding a number to the two closest integers

In mathematics and computer science, the floor function is the function that takes as input a real number , and gives as output the greatest integer less than or equal to , denoted or . Similarly, the ceiling function maps to the least integer greater than or equal to , denoted or .

Infinitesimal Extremely small quantity in calculus; thing so small that there is no way to measure it

In mathematics, infinitesimals or infinitesimal numbers are quantities that are closer to zero than any standard real number, but are not zero. They do not exist in the standard real number system, but do exist in many other number systems, such as the surreal numbers and hyperreal numbers, which can be thought of as the real numbers augmented with a system of infinitesimal quantities, as well as infinite quantities which are the reciprocals of the infinitesimals.

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.

In nonstandard analysis, a branch of mathematics, overspill is a widely used proof technique. It is based on the fact that the set of standard natural numbers N is not an internal subset of the internal set *N of hypernatural numbers.

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.

In mathematics, nonstandard calculus is the modern application of infinitesimals, in the sense of nonstandard analysis, to infinitesimal calculus. It provides a rigorous justification for some arguments in calculus that were previously considered merely heuristic.

Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, Nelson's approach modifies the axiomatic foundations through syntactic enrichment. Thus, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets. Thus, IST is an enrichment of ZFC: all axioms of ZFC are satisfied for all classical predicates, while the new unary predicate "standard" satisfies three additional axioms I, S, and T. In particular, suitable nonstandard elements within the set of real numbers can be shown to have properties that correspond to the properties of infinitesimal and unlimited elements.

In abstract algebra, a valuation ring is an integral domain D such that for every element x of its field of fractions F, at least one of x or x −1 belongs to D.

In mathematical logic, in particular in model theory and nonstandard analysis, an internal set is a set that is a member of a model.

Euclid's theorem is a fundamental statement in number theory that asserts that there are infinitely many prime numbers. It was first proved by Euclid in his work Elements. There are several proofs of the theorem.

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 , the unique real infinitely close to it, i.e. is infinitesimal. As such, it is a mathematical implementation of the historical concept of adequality introduced by Pierre de Fermat, as well as Leibniz's Transcendental law of homogeneity.

In nonstandard analysis, a monad is the set of points infinitesimally close to a given point.

Elementary Calculus: An Infinitesimal approach is a textbook by H. Jerome Keisler. The subtitle alludes to the infinitesimal numbers of the hyperreal number system of Abraham Robinson and is sometimes given as An approach using infinitesimals. The book is available freely online and is currently published by Dover.

Real number Number representing a continuous quantity

In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line. The adjective real in this context was introduced in the 17th century by René Descartes, who distinguished between real and imaginary roots of polynomials. The real numbers include all the rational numbers, such as the integer −5 and the fraction 4/3, and all the irrational numbers, such as 2. Included within the irrationals are the real transcendental numbers, such as π (3.14159265...). In addition to measuring distance, real numbers can be used to measure quantities such as time, mass, energy, velocity, and many more. The set of real numbers is denoted using the symbol R or and is sometimes called "the reals".

In nonstandard analysis, a branch of mathematics, a hyperfinite set or *-finite set is a type of internal set. An internal set H of internal cardinality g ∈ *N is hyperfinite if and only if there exists an internal bijection between G = {1,2,3,...,g} and H. Hyperfinite sets share the properties of finite sets: A hyperfinite set has minimal and maximal elements, and a hyperfinite union of a hyperfinite collection of hyperfinite sets may be derived. The sum of the elements of any hyperfinite subset of *R always exists, leading to the possibility of well-defined integration.

In nonstandard analysis, a discipline within classical mathematics, microcontinuity of an internal function f at a point a is defined as follows:

In mathematics, the set of positive real numbers, , is the subset of those real numbers that are greater than zero. The non-negative real numbers, , also include zero. Although the symbols and are ambiguously used for either of these, the notation or for and or for has also been widely employed, is aligned with the practice in algebra of denoting the exclusion of the zero element with a star, and should be understandable to most practicing mathematicians.

References