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:
“Unlike femininity, relaxed masculinity is at bottom empty, a limp nullity. While the female body is full of internal potentiality, the male is internally barren.... Manhood at the most basic level can be validated and expressed only in action.”
—George Gilder (b. 1939)
“And weren’t there special cemetery flowers,
That, once grief sets to growing, grief may rest:
The flowers will go on with grief awhile,
And no one seem neglecting or neglected?
A prudent grief will not despise such aids.”
—Robert Frost (1874–1963)
“Striving toward a goal puts a more pleasing construction on our advance toward death.”
—Mason Cooley (b. 1927)