Transfer principle

From Wikipedia, the free encyclopedia

This article may require cleanup to meet Wikipedia's quality standards.
Please improve this article if you can. (December 2007)

This article does not cite any references or sources. (November 2006)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.

In mathematics, and particularly in non-standard analysis, the transfer principle is a rule which transforms assertions about standard sets, mappings, etc., into one about internal sets, mappings, etc. For the precise context of this principle as discussed here, see the article non-standard analysis.

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.

[edit] Example

The principle of mathematical induction. This is the formula (stated in mostly symbolic terms)

For any subset A of N if

1 is an element of A

for every element n of A, its successor n + 1 is also an element of A

then

A= N

The outer quantification of the induction principle does not formally appear as a bounded quantification, but in fact

$A \subseteq \mathbb{N} \iff A \in 2^{\mathbb{N}}$

so it is indeed bounded. Applying transfer to the induction principle gives us the formula

For any A such that A is an element of the internal powerset of *N, if

1 is an element of A

for every element n of A, its successor is also an element of A

then

A = *N

Finally note that the internal powerset of an internal set A is exactly the set of all internal subsets B of A. This is the principle of internal induction. The principle of external induction is the usual induction principle on the natural numbers, viz: