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:
“Even if fathers are more benignly helpful, and even if they spend time with us teaching us what they know, rarely do they tell us what they feel. They stand apart emotionally: strong perhaps, maybe caring in a nonverbal, implicit way; but their internal world remains mysterious, unseen, “What are they really like?” we ask ourselves. “What do they feel about us, about the world, about themselves?””
—Augustus Y. Napier (20th century)
“This is certainly not the place for a discourse about what festivals are for. Discussions on this theme were plentiful during that phase of preparation and on the whole were fruitless. My experience is that discussion is fruitless. What sets forth and demonstrates is the sight of events in action, is living through these events and understanding them.”
—Doris Lessing (b. 1919)