Internal Sets in The Ultrapower Construction
Relative to the ultrapower construction of the hyperreal numbers as equivalence classes of sequences, an internal subset of *R is one defined by a sequence of real sets, where a hyperreal is said to belong to the set if and only if the set of indices n such that, is a member of the ultrafilter used in the construction of *R.
More generally, an internal entity is a member of the natural extension of a real entity. Thus, every element of *R is internal; a subset of *R is internal if and only if it is a member of the natural extension of the power set of R; etc.
Read more about this topic: Internal Set
Famous quotes containing the words internal, sets and/or construction:
“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)
““Yes” shuts us in. “No” sets us free.”
—Mason Cooley (b. 1927)
“When the leaders choose to make themselves bidders at an auction of popularity, their talents, in the construction of the state, will be of no service. They will become flatterers instead of legislators; the instruments, not the guides, of the people.”
—Edmund Burke (1729–1797)