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:
“When a person doesn’t understand something, he feels internal discord: however he doesn’t search for that discord in himself, as he should, but searches outside of himself. Thence a war develops with that which he doesn’t understand.”
—Anton Pavlovich Chekhov (1860–1904)
“Nothing sets a person up more than having something turn out just the way it’s supposed to be, like falling into a Swiss snowdrift and seeing a big dog come up with a little cask of brandy round its neck.”
—Claud Cockburn (1904–1981)
“Striving toward a goal puts a more pleasing construction on our advance toward death.”
—Mason Cooley (b. 1927)