https://en.formulasearchengine.com/index.php?title=Talk:Index_set&feed=atom&action=historyTalk:Index set - Revision history2020-10-28T02:23:50ZRevision history for this page on the wikiMediaWiki 1.36.0-alphahttps://en.formulasearchengine.com/index.php?title=Talk:Index_set&diff=288736&oldid=preven>Quondum: Adding section heading to first thread2012-11-27T15:24:58Z<p>Adding section heading to first thread</p>
<p><b>New page</b></p><div>{{maths rating|class=Stub|priority=Mid|field=basics}}<br />
==Phrasing==<br />
:''In [[mathematics]], an '''index set''' ''I'' is another name for a [[function domain]].''<br />
<br />
This statement seems to me to exemplify a deficiency in the way mathematicians think. Currently accepted canons of logical rigor will bless this assertion, but nonetheless mathematicians are thinking about something differently when they call it an index set than when they call it a domain of a function. Everyone can explain the difference if they think about it, but only when speaking "informally". [[User:Michael Hardy|Michael Hardy]] 20:32, 15 Dec 2003 (UTC)<br />
<br />
Hardly 'brilliant prose', I'd agree. And just the same point as could be made about [[sequence]], I guess. I'd deny it is a problem with thinking, though.<br />
<br />
[[User:Charles Matthews|Charles Matthews]] 21:09, 15 Dec 2003 (UTC)<br />
<br />
I think there is a difference, and it is inappropriate to call any index set a function domain, because [[IMHO]], not any family is a function.<br />
Families can have their elements in categories (see [[coproduct]]) or still elsewhere, where a union does not make sense, [[IMHO]]. [[User:MFH|MFH]] 00:37, 10 Mar 2005 (UTC)<br />
<br />
I agree with Hardy that defining an index set as a function domain, while technically correct, is very unilluminating. I tried to rewrite this article so that it makes more sense. -- [[User:Fropuff|Fropuff]] 18:14, 2005 May 26 (UTC)<br />
<br />
I couldn't figure out what an index set was until I read the statement above; it really solidified it for me. Though, I'm no mathematician. I do think the statement could help those of us who don't already know set theory, even if the statement isn't entirely true. -- Toper<br />
<br />
== Using {''A''<sub>''i''</sub>} for families ==<br />
<br />
A family and the set of all elements of the family are certainly distinct. The first one is ordered (at least if the index set is ordered) and the second one is not. So I don't think it's a good idea to use the same notation for both. <br />
<br />
''A''<sub>''i''</sub> is the ''i''-th element, {''A''<sub>''i''</sub> | i&isin;I} is the unordered set of elements and (''A''<sub>''i''</sub>)<sub>''i''&isin;''I''</sub> is the ordered family. <br />
<br />
Though I have seen lots of books using {''A''<sub>''i''</sub>} for a family it's confusing and unnecessary. <br />
<br />
Furthermore the title and the disambiguation page are misleading, this page is mainly not about the index set but about the index''ed'' set or family. Markus Schmaus -- 21:56 3 Jun 2005 (UTC)<br />
<br />
== confusion ==<br />
<br />
In the notation (''A''<sub>i</sub>), the symbol ''A'' is the mapping, and not the codomain of the mapping. I'll change the article. [[User:Bo Jacoby|Bo Jacoby]] 08:44, 7 June 2006 (UTC)<br />
<br />
== typo? ==<br />
<br />
In the first example, should it be "<math>f:J \rarr S</math> is the particular enumeration of ''S''" instead?<br />
<br />
== Merger Proposal ==<br />
<br />
<br />
<br />
*'''Oppose''' This is self contained section and contains useful information. So, not a good idea to merge them. [[User:Phoe6|Phoe6]] ([[User talk:Phoe6|talk]]) 23:38, 25 April 2011 (UTC)<br />
<br />
Here is problem with part denoted "indicator function", such that function here described corresonds to comparing of two elements in the set, but this function does not says anything abou appearance of some element of set in the (some) its subset in any case. Please fix this ambiguity <small><span class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Jiri 1984|Jiri 1984]] ([[User talk:Jiri 1984|talk]] • [[Special:Contributions/Jiri 1984|contribs]]) 19:36, 11 October 2011 (UTC)</span></small><!-- Template:Unsigned --> <!--Autosigned by SineBot--><br />
==Is an "index set" the same as an "indexed set", or is this an error?==<br />
I noticed that [[index set]] and [[indexed set]] link to different articles on Wikipedia. Is this correct, or is it an error?<br />
[[User:Jarble|Jarble]] ([[User talk:Jarble|talk]]) 14:55, 27 November 2012 (UTC)<br />
:No, it's not an error. It's like the difference between a lessor and a lessee: they're at opposite ends of a relationship. — [[User_talk:Quondum|''Quondum'']] 15:16, 27 November 2012 (UTC)</div>en>Quondum