Internal Sets
A set x is internal if and only if x is an element of *A for some element A of V(R). *A itself is internal if A belongs to V(R).
We now formulate the basic logical framework of nonstandard analysis:
- Extension principle: The mapping * is the identity on R.
- Transfer principle: For any formula P(x1, ..., xn) with bounded quantification and with free variables x1, ..., xn, and for any elements A1, ..., An of V(R), the following equivalence holds:
- Countable saturation: If {Ak}k ∈ N is a decreasing sequence of nonempty internal sets, with k ranging over the natural numbers, then
One can show using ultraproducts that such a map * exists. Elements of V(R) are called standard. Elements of *R are called hyperreal numbers.
Read more about this topic: Non-standard Analysis
Famous quotes containing the words internal and/or sets:
“I believe that there was a great age, a great epoch when man did not make war: previous to 2000 B.C. Then the self had not really become aware of itself, it had not separated itself off, the spirit was not yet born, so there was no internal conflict, and hence no permanent external conflict.”
—D.H. (David Herbert)
“I think middle-age is the best time, if we can escape the fatty degeneration of the conscience which often sets in at about fifty.”
—W.R. (William Ralph)