# GetWiki

*indexed family*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

indexed family

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**family**, or

**indexed family**, is informally a collection of objects, each associated with an index from some index set. For example, a

*family of real numbers, indexed by the set of integers*is a collection of real numbers, where a given function selects for each integer one real number (possibly the same).More formally, an indexed family is a mathematical function together with its domain

*I*and image

*X*. Often the elements of the set

*X*are referred to as making up the family. In this view indexed families are interpreted as collections instead of as functions. The set

*I*is called the

*index (set)*of the family, and

*X*is the

*indexed set*.

## Mathematical statement

**Definition.**Let

*I*and

*X*be sets and x a surjective function, such that

begin{align}

xcolon I &to X

i &mapsto x_i = x(i),

end{align}then this establishes a i &mapsto x_i = x(i),

**family of elements in**, which is denoted by (

*X*indexed by*I**x*

**'i****)**

*i*âˆˆ*I*or simply (*x**'i*), when the index set is assumed to be known. Sometimes angle brackets or braces are used instead of parentheses, the latter with the risk of mixing-up families with sets.An indexed family can be turned into a set by considering the set mathcal{X} = { x_i : i in I } , that is, the image of

*I*under

*x*. Since the mapping x is not required to be injective, there may exist i,j in I with i neq j such that x_i = x_j. Thus, | mathcal{X}| leq |I|, where |

*A*| denotes the cardinality of the set

*A*.The index set is not restricted to be countable, and, of course, a subset of a powerset may be indexed, resulting in an

**indexed family of sets**. For the important differences in sets and families see below.

## Examples

### Index notation

Whenever index notation is used the indexed objects form a family. For example, consider the following sentence.- The vectors
*v*1, ...,*v**n*are linearly independent.

*v*

**'i****)**

*i*âˆˆ {1, ...,*n*} denotes a family of vectors. The*i*-th vector*v**'i*only makes sense with respect to this family, as sets are unordered and there is no

*i*-th vector of a set. Furthermore, linear independence is only defined as the property of a collection; it therefore is important if those vectors are linearly independent as a set or as a family.If we consider

*n*= 2 and

*v*1 =

*v*2 = (1, 0), the

*set*of them consists of only one element and is linearly independent, but the family contains the same element twice and is linearly dependent.

### Matrices

Suppose a text states the following:- A square matrix
*A*is invertible, if and only if the rows of*A*are linearly independent.

*A*are linearly independent as a family, not as a set. For example, consider the matrix

A = begin{bmatrix} 1 & 1 1 & 1 end{bmatrix} .

The *set*of rows only consists of a single element (1, 1) and is linearly independent, but the matrix is not invertible. The

*family*of rows contains two elements and is linearly dependent. The statement is therefore correct if it refers to the family of rows, but wrong if it refers to the set of rows. (The statement is also correct when "the rows" is interpreted as referring to a multiset, in which the elements are also kept distinct but which lacks some of the structure of an indexed family.)

## Functions, sets and families

Surjective functions and families are formally equivalent, as any function*f*with domain

*I*induces a family (

*f*(

*i*))

*i*âˆˆ

*I*. 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 (

*x*

**'x****)**

*x*âˆˆ*X*. Thus any set naturally becomes a family. For any family (*A**'i*)

*i*âˆˆ

*I*there is the set of all elements {

*A*

*i*|

*i*âˆˆ

*I*}, 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.

## Examples

Let**n**be the finite set {1, 2, ...,

*n*}, where

*n*is a positive integer.

- An ordered pair is a family indexed by the two element set
**2**= {1, 2}. - An
*n-*tuple is a family indexed by**n**. - An infinite sequence is a family indexed by the natural numbers.
- A list is an
*n-*tuple for an unspecified*n*, or an infinite sequence. - An
*n*Ã—*m*matrix is a family indexed by the cartesian product**n**×**m**. - A net is a family indexed by a directed set.

## Operations on families

Index sets are often used in sums and other similar operations. For example, if (*a*

*i*)

*i*âˆˆ

*I*is a family of numbers, the sum of all those numbers is denoted by

sum_{iin I}a_i.

When (*A*

*i*)

*i*âˆˆ

*I*is a family of sets, the union of all those sets is denoted by

bigcup_{iin I}A_i.

Likewise for intersections and cartesian products.## Subfamily

A family (*B*

**'i****)**subfamily

*i*âˆˆ*J*is a**of a family (**

*A**'i*)

*i*âˆˆ

*I*, if and only if

*J*is a subset of

*I*and for all

*i*in

*J*

*B*

**'i****=**

*A**'i*

## Usage in category theory

The analogous concept in category theory is called a**diagram**. A diagram is a functor giving rise to an indexed family of objects in a category

**, indexed by another category**

*C***, and related by morphisms depending on two indices.**

*J*## See also

- Sequence
- Coproduct
- Disjoint union
- Tagged union
- Index notation
- Array data type
- Net (mathematics)
- Diagram (category theory)
- Parametric family

## References

- Mathematical Society of Japan,
*Encyclopedic Dictionary of Mathematics*, 2nd edition, 2 vols., Kiyosi ItÃ´ (ed.), MIT Press, Cambridge, MA, 1993. Cited as EDM (volume).

**- content above as imported from Wikipedia**

- "

- time: 2:32pm EDT - Sun, Sep 22 2019

- "

__indexed family__" does not exist on GetWiki (yet)- time: 2:32pm EDT - Sun, Sep 22 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 JUL 2019

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED