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:
“You will see Coleridge—he who sits obscure
In the exceeding lustre and the pure
Intense irradiation of a mind,
Which, with its own internal lightning blind,
Flags wearily through darkness and despair—
A cloud-encircled meteor of the air,
A hooded eagle among blinking owls.”
—Percy Bysshe Shelley (1792–1822)
“Drink, sir, is a great provoker of three things ... nose-painting, sleep, and urine. Lechery, sir, it provokes and unprovokes: it provokes the desire but it takes away the performance. Therefore much drink may be said to be an equivocator with lechery: it makes him and it mars him; it sets him on and it takes him off.”
—William Shakespeare (1564–1616)
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)