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:
“No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.”
—T.S. (Thomas Stearns)
“A continual feast of commendation is only to be obtained by merit or by wealth: many are therefore obliged to content themselves with single morsels, and recompense the infrequency of their enjoyment by excess and riot, whenever fortune sets the banquet before them.”
—Samuel Johnson (1709–1784)
“There’s no art
To find the mind’s construction in the face.”
—William Shakespeare (1564–1616)