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:
“I have been amazed by the Anglo-Saxon’s lack of curiosity about the internal lives and emotions of the Negroes, and for that matter, any non-Anglo-Saxon peoples within our borders, above the class of unskilled labor.”
—Zora Neale Hurston (1891–1960)
“It is time to be old,
To take in sail:—
The god of bounds,
Who sets to seas a shore,
Came to me in his fatal rounds,
And said: ‘No more!’”
—Ralph Waldo Emerson (1803–1882)
“Striving toward a goal puts a more pleasing construction on our advance toward death.”
—Mason Cooley (b. 1927)