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)
“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)
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)