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:
“I believe that there was a great age, a great epoch when man did not make war: previous to 2000 B.C. Then the self had not really become aware of itself, it had not separated itself off, the spirit was not yet born, so there was no internal conflict, and hence no permanent external conflict.”
—D.H. (David Herbert)
“Willing sets you free: that is the true doctrine of will and freedom—thus Zarathustra instructs you.”
—Friedrich Nietzsche (1844–1900)
“There is, I think, no point in the philosophy of progressive education which is sounder than its emphasis upon the importance of the participation of the learner in the formation of the purposes which direct his activities in the learning process, just as there is no defect in traditional education greater than its failure to secure the active cooperation of the pupil in construction of the purposes involved in his studying.”
—John Dewey (1859–1952)