Talk:Indexed family

From Wikipedia, the free encyclopedia

[edit] Notation

There seems to be a mistake in the Notation section in the article. It appears to me that it purports to write two notations, a usual and a misleading one, but both notations look the same to me. -- Jitse Niesen 04:14, 15 Jun 2005 (UTC)

Both notations are common, the first uses round parentheses () and the second uses curly parentheses {}. Curly parentheses are also used for sets, which can be confusing. Markus Schmaus 09:15, 15 Jun 2005 (UTC)

I see, thanks. I took the liberty of pointing this out explicitly in the article. -- Jitse Niesen 10:25, 15 Jun 2005 (UTC)

You can't use the notion of family to define ordered n-tuple, since an ordered n-tuple (a triple) is used to define family.--Baterista 16:01, 11 November 2005 (UTC)

The concept of multiset comes in handy between family and set. Family → multiset → set. The examples on linear dependence shows the difference between multiset and set, rather than between family and set. Bo Jacoby 11:00, 22 February 2006 (UTC)

I've added some clarification to identify which multiset the indexed family \{A_j\}_{j\in J} is. I've used math mode, which may be a mistake. I've also used J, rather than I for the indexed set for consistency with the introduction. I feel that, in the best of all worlds, all this stuff would be in a definition of indexed families, rather than spread out like this...InformationSpace 00:14, 16 May 2007 (UTC)

[edit] Definition

JA: The lead of the article begins with an informal definition, but not one so casual that it would be refused service at your average fast food restaurant, and so it contains the word "usually" as a sop to diners from computer science who commonly adapt the idea of an indexed set to their notion of a "union datatype". But that's no reason to sell them the store and get out of the business, if you catch my drift. Jon Awbrey 12:02, 7 June 2006 (UTC)

I don't like the "lookup table" being right at the top, since it's neither a mathematical term nor a familiar common usage term. I believe it's a computer science term? -lethe talk + 12:46, 7 June 2006 (UTC)

Isn't an indexed family the range of a function, rather than the function itself!? It seems to me that an indexed family cannot be simultaneously both a function and a (multi)set (or a tuple, depending on your notation) InformationSpace 05:09, 12 July 2007 (UTC)

Ok, here is my guess at a definition for indexed families. Comments welcomed.

An indexed family \{z_x\}_{x\in X} or (z_x)_{x\in X} is the "output" of a surjective function f:X\rightarrow Z. X is the index set and Z is indexed by X. For any x\in X, f(x) is denoted zx. zx belongs to the key x. \{z_x\}_{x\in X} (or simply {zx}) is a set if f is injective and a multiset otherwise. (z_x)_{x\in X} (or (zx)) is a tuple.

InformationSpace 05:35, 12 July 2007 (UTC)

[edit] Origin of Indexed Families?

When were indexed families first introduced and by whom? InformationSpace 04:53, 12 July 2007 (UTC)