Indexed Family - Functions, Sets and Families

Functions, Sets and Families

Surjective functions and families are formally equivalent, as any function f with domain I induces a family (f(i))iI. In practice, however, a family is viewed as a collection, not as a function: being an element of a family is equivalent with being in the range of the corresponding function. A family contains any element exactly once, if and only if the corresponding function is injective.

Like a set, a family is a container and any set X gives rise to a family (xx)xX. Thus any set naturally becomes a family. For any family (Ai)iI there is the set of all elements {Ai | iI}, but this does not carry any information on multiple containment or the structure given by I. Hence, by using a set instead of the family, some information might be lost.

Read more about this topic:  Indexed Family

Famous quotes containing the words sets and/or families:

    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)

    For those parents from lower-class and minority communities ... [who] have had minimal experience in negotiating dominant, external institutions or have had negative and hostile contact with social service agencies, their initial approaches to the school are often overwhelming and difficult. Not only does the school feel like an alien environment with incomprehensible norms and structures, but the families often do not feel entitled to make demands or force disagreements.
    Sara Lawrence Lightfoot (20th century)