Transfer principle

Transfer principle

In mathematics, the transfer principle is a concept in Abraham Robinson's non-standard analysis of the hyperreal numbers. It states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal numbers.

The transfer principle concerns the logical relation between the properties of the real numbers R, and the properties of a vastly larger field denoted *R called the hyperreals, constructed in terms of a standard axiomatisation of set theory such as ZFC. The field *R includes, in particular, entities that behave as infinitesimal ("infinitely small") numbers, providing a rigorous mathematical realisation of a project initiated by Leibniz.

The idea is to express virtually all of the analysis over R in a suitable language of mathematical logic, and then point out that this language applies equally well to *R. This turns out to be possible because at the set-theoretic level, the propositions in such a language are interpreted to apply only to internal sets rather than to all sets.

The theorem to the effect that each proposition valid over R, is also valid over *R, is called the transfer principle.

Since the hyperreal numbers form a non-Archimedean ordered field and the reals form an Archimedean ordered field, the property of being Archimedean must not be expressible in the formal language. The ability to speak in a more extensive language than that to which the transfer principle applies is crucial.

Example

Every real "x" satisfies the inequality:x geq [x] where ["x"] is the integer part function. By a typical application of the transfer principle, every hyperreal "x" satisfies the inequality:x geq {}^{*}! [x] ,where * [.] is the natural extension of the integer part. If "x" is infinite, then the hyperinteger ["x"] is infinite, as well.

Generalizations of the concept of number

Historically, the concept of number has been repeatedly generalized. The addition of 0 (number) to the natural numbers mathbb{N} was a major intellectual accomplishment in its time. The addition of negative integers to form mathbb{Z} already constituted a departure from the realm of immediate experience to the realm of mathematical models. The further extension, the rational numbers mathbb{Q}, is more familiar to a layperson than their completion mathbb{R}, partly because the reals do not correspond to any physical reality (in the sense of measurement and computation) different from that represented by mathbb{Q}. Thus, the notion of an irrational number is meaningless to even the most powerful floating-point computer. The necessity for such an extension stems not from physical observation but rather from the internal requirements of mathematical coherence. The infinitesimals entered mathematical discourse at a time when such a notion was required by mathematical developments at the time, namely the emergence of what became known as the infinitesimal calculus. As already mentioned above, the mathematical justification for this latest extension was delayed by three centuries. H. Jerome Keisler wrote::"In discussing the real line we remarked that we have no way of knowing what a line in physical space is really like. It might be like the hyperreal line, the real line, or neither. However, in applications of the calculus, it is helpful to imagine a line in physical space as a hyperreal line."

The self-consistent development of the hyperreals turned out to be possible if every true first-order logic statement that uses basic arithmetic (the natural numbers, plus, times, comparison) and quantifies only over the real numbers was assumed to be true in a reinterpreted form if we presume that it quantifies over hyperreal numbers. For example, we can state that for every real number there is another number greater than it:

: forall x in mathbb{R} quad exists y inmathbb{R}quad x < y

The same will then also hold for hyperreals:

: forall x in {}^starmathbb{R} quad exists y in {}^starmathbb{R}quad x < y

Another example is the statement that if you add 1 to a number you get a bigger number:

: forall x in mathbb{R} quad x < x+1

which will also hold for hyperreals:

:: forall x in {}^starmathbb{R} quad x < x+1

The correct general statement that formulates these equivalences is called the transfer principle. Note that in many formulas in analysis quantification is over higher order objects such as functions and sets which makes the transfer principle somewhat more subtle than the above examples suggest.

Differences between R and *R

The transfer principle however doesn't mean that R and *R have identical behavior. For instance, in *R there exists an element "w" such that

: 1

but there is no such number in R. This is possible because the nonexistence of this number cannot be expressed as a first order statement of the above type. A hyperreal number like "w" is called infinitely large; the reciprocals of the infinitely large numbers are the infinitesimals.

The hyperreals *R form an ordered field containing the reals R as a subfield. Unlike the reals, the hyperreals do not form a standard metric space, but by virtue of their order they carry an order topology.

Constructions of the hyperreals

The hyperreals can be developed either axiomatically or by more constructively oriented methods. The essence of the axiomatic approach is to assert (1) the existence of at least one infinitesimal number, and (2) the validity of the transfer principle. In the following subsection we give a detailed outline of a more constructive approach. This method allows one to construct the hyperreals if given a set-theoretic object called an ultrafilter, but the ultrafilter itself cannot be explicitly constructed. (Kanovei and Shelah have found a method that gives an explicit construction, at the cost of a significantly more complicated treatment.)

In its most general form, transfer has the properties of an elementary embedding between structures. However, the formulation at this level of generality is false for the superstructure approach to non-standard analysis, where it is replaced by formulas with bounded quantification.

Statement

The ordered field *R of nonstandard real numbers properly includes the real field R. Like all ordered fields that properly include R, this field is non-Archimedean. It means that some members "x" &ne; 0 of *R are infinitesimal, i.e.,

: underbrace{left|x ight|+cdots+left|x ight_{n ext{ terms < 1 ext{ for every finite cardinal number } n.,

The only infinitesimal in "R" is 0. Some other members of *R, the reciprocals "y" of the nonzero infinitesimals, are infinite, i.e.,

: underbrace{1+cdots+1}_{n ext{ terms ext{ for every finite cardinal number } n.,

The underlying set of the field *R is the image of R under a mapping "A" mapsto *"A" from subsets "A" of R to subsets of *R. In every case

: A subseteq {^*!A}, ,

with equality if and only if "A" is finite. Sets of the form *"A" for some scriptstyle A,subseteq,mathbb{R} are called standard subsets of *R. The standard sets belong to a much larger class of subsets of *R called internal sets. Similarly each function

: f:A ightarrowmathbb{R},

extends to a function

: {^*! f} : {^*!A} ightarrow {^*mathbb{R;,

these are called standard functions, and belong to the much larger class of internal functions. Sets and functions that are not internal are external.

The importance of these concepts stems from their role in the following proposition and is illustrated by the examples that follow it.

The transfer principle:

* Suppose a proposition that is true of *R can be expressed via functions of finitely many variables (e.g. ("x", "y") mapsto "x" + "y"), relations among finitely many variables (e.g. "x" &le; "y"), finitary logical connectives such as and, or, not, if...then..., and the quantifiers

:: forall xinmathbb{R} ext{ and }exists xinmathbb{R}.,

: For example, one such proposition is

:: forall xinmathbb{R} exists yinmathbb{R} x+y=0.,

: Such a proposition is true in R if and only if it is true in *R when the quantifier

:: forall x in {^*!mathbb{R,

: replaces

:: forall xinmathbb{R},,

: and similarly for exists.

* Suppose a proposition otherwise expressible as simply as those considered above mentions some particular sets scriptstyle A,subseteq,mathbb{R}. Such a proposition is true in R if and only if it is true in *R with each such "A" replaced by the corresponding *"A". Here are two examples:
** The set::: [0,1] ^ast = {,xinmathbb{R}:0leq xleq 1,}^ast:: must be::: {,x in {^*mathbb{R : 0 le x le 1 ,},:: including not only members of R between 0 and 1 inclusive, but also members of *R between 0 and 1 that differ from those by infinitesimals. To see this, observe that the sentence::: forall xinmathbb{R} (xin [0,1] ext{ if and only if } 0leq x leq 1):: is true in R, and apply the transfer principle.
** The set *N must have no upper bound in *R (since the sentence expressing the non-existence of an upper bound of N in R is simple enough for the transfer principle to apply to it) and must contain "n" + 1 if it contains "n", but must not contain anything between "n" and "n" + 1. Members of::: {^*mathbb{N setminus mathbb{N} , :: are "infinite integers".)
* Suppose a proposition otherwise expressible as simply as those considered above contains the quantifier:: forall Asubseteqmathbb{R}dots ext{ or }exists Asubseteqmathbb{R}dots .: Such a proposition is true in R if and only if it is true in *R after the changes specified above and the replacement of the quantifiers with:: [forall ext{ internal } Asubseteq{^*mathbb{Rdots] ,: and:: [exists ext{ internal } Asubseteq{^*mathbb{Rdots] .

Three examples

** Every nonempty "internal" subset of *R that has an upper bound in *R has a least upper bound in *R. Consequently the set of all infinitesimals is external.
** The well-ordering principle implies every nonempty "internal" subset of *N has a smallest member. Consequently the set::: {^*mathbb{N setminus mathbb{N},:: of all infinite integers is external.
** If "n" is an infinite integer, then the set {1, ..., "n"} (which is not standard) must be internal. To prove this, first observe that the following is trivially true:::: forall ninmathbb{N} exists Asubseteqmathbb{N} forall xinmathbb{N} [xin A ext{ iff } x leq n] .:: Consequently::: forall n in {^*mathbb{N exists ext{ internal } A subseteq {^*mathbb{N forall x in {^*mathbb{N [xin A ext{ iff } xleq n] .
* As with internal sets, so with internal functions: Replace:: forall f : A ightarrow mathbb{R} dots , : with:: forall ext{ internal } f: {^*!A} ightarrow {^*mathbb{R dots: and similarly with exists in place of forall.: For example: If "n" is an infinite integer, then the complement of the image of any internal one-to-one function "&fnof;" from the infinite set {1, ..., "n"} into {1, ..., "n", "n" + 1, "n" + 2, "n" + 3} has exactly three members. Because of the infiniteness of the domain, the complements of the images of one-to-one functions from the former set to the latter come in many sizes, but most of these functions are external.

: This last example motivates an important definition: A *-finite (pronounced star-finite) subset of *R is one that can be placed in "internal" one-to-one correspondence with {1, ..., "n"} for some "n" &isin; *N.

References

* Hardy, Michael: "Scaled Boolean algebras". "Adv. in Appl. Math." 29 (2002), no. 2, 243&ndash;292.

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • transfer principle — perkėlimo principas statusas T sritis Kūno kultūra ir sportas apibrėžtis Sporto treniruotės principas, atspindintis įvairaus pobūdžio pratybų, taikomų metodų ir priemonių poveikio sąveiką: vienokių pratybų poveikio sportininko organizmui ir… …   Sporto terminų žodynas

  • Transfer pricing — refers to the pricing of contributions (assets, tangible and intangible, services, and funds) transferred within an organization. For example, goods from the production division may be sold to the marketing division, or goods from a parent… …   Wikipedia

  • Transfer Pricing — Als Verrechnungspreis (bzw. Transferpreis oder Konzernverrechnungspreis) wird in der Kosten und Leistungsrechnung derjenige Preis bezeichnet, der zwischen verschiedenen Bereichen eines Unternehmens oder zwischen verschiedenen Gesellschaften eines …   Deutsch Wikipedia

  • Transfer function — A transfer function (also known as the system function[1] or network function) is a mathematical representation, in terms of spatial or temporal frequency, of the relation between the input and output of a linear time invariant system. With… …   Wikipedia

  • Transfer of Undertakings (Protection of Employment) Regulations 2006 — Tupe is also the name of a place in Peru, in the provincia de Yauyos , departamento de Lima . The Transfer of Undertakings (Protection of Employment) Regulations 2006, or TUPE ( pronounced 2p) ( [http://www.opsi.gov.uk/si/si2006/20060246.htm SI… …   Wikipedia

  • Transfer of sovereignty of Hong Kong — The transfer of sovereignty of Hong Kong from the United Kingdom to the People s Republic of China, often referred to as the Handover, occurred on July 1, 1997. The event marked the end of British rule, and the transfer of sovereignty of Hong… …   Wikipedia

  • Transfer station — For railway transfer stations, see Interchange station A transfer station is a building for the temporary deposition of some wastes. Transfer stations are often used as places where local waste collection vehicles will deposit their waste cargo… …   Wikipedia

  • Cavalieri's principle — Two stacks of coins with the same volume In geometry, Cavalieri s principle, sometimes called the method of indivisibles, named after Bonaventura Cavalieri, is as follows:[1] 2 dimensional case: Suppose two regions in a plane are included between …   Wikipedia

  • training, transfer of — In psychology, the effect of having learned one activity on an individual s execution of other activities. Positive transfer occurs when a previously acquired skill enhances one s performance of a new one. Negative transfer occurs when the… …   Universalium

  • Competitive exclusion principle — In ecology, the competitive exclusion principle,[1] sometimes referred to as Gause s law of competitive exclusion or just Gause s law,[2] is a proposition which states that two species competing for the same resources cannot coexist if other… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”