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)
“Willing sets you free: that is the true doctrine of will and freedom—thus Zarathustra instructs you.”
—Friedrich Nietzsche (1844–1900)
“There’s no art
To find the mind’s construction in the face.”
—William Shakespeare (1564–1616)