Mathematical Statement
Definition. Let X and I be any sets. Then by family of elements in X indexed by I, we mean a function . An indexed family is denoted by, where it is understood that there is a function x that maps i to .
An indexed family can be turned into a set by considering the set, that is, the range of x, but this will collapse the elements with into one element in .
Definition. Let S be a set. An indexed family of sets is an indexed family that maps I to elements of the power set of S.
Hence, an indexed family of sets is conceptually different from a family of sets (which is just a synonym for "set of sets"), but in practice the distinction is sometimes fuzzy and the indexed family is identified with its range and treated like an ordinary family.
Read more about this topic: Indexed Family
Famous quotes containing the words mathematical and/or statement:
“As we speak of poetical beauty, so ought we to speak of mathematical beauty and medical beauty. But we do not do so; and that reason is that we know well what is the object of mathematics, and that it consists in proofs, and what is the object of medicine, and that it consists in healing. But we do not know in what grace consists, which is the object of poetry.”
—Blaise Pascal (1623–1662)
“The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.”
—Ralph Waldo Emerson (1803–1882)