Knowledge (XXG)

Indexed family

Source πŸ“

1042:
is the identity function). However, families differ from sets in that the same object can appear multiple times with different indices in a family, whereas a set is a collection of distinct objects. A family contains any element exactly once
377: 2473:
so it 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
2222:
is a collection of unordered distinct elements) and is linearly independent, but the family contains the same element twice (since indexed differently) and is linearly dependent (same vectors are linearly dependent).
1700:
Hence, by using a set instead of the family, some information might be lost. For example, an ordering on the index set of a family induces an ordering on the family, but no ordering on the corresponding image set.
1630: 2363: 2057: 1494: 928:
and conversely. Being an element of a family is equivalent to being in the range of the corresponding function. In practice, however, a family is viewed as a collection, rather than a function.
300: 1158: 2829: 1546: 1810: 1000: 794: 3025: 2929: 1755: 1100: 1376: 3079: 2629: 831:
if the index set is assumed to be known. Sometimes angle brackets or braces are used instead of parentheses, although the use of braces risks confusing indexed families with sets.
2975: 1983: 829: 2550: 2212: 1675: 926: 295: 2704: 2654: 2506: 1326: 1892: 2793: 1257: 1921: 1283: 675: 572: 2861: 2471: 2439: 2399: 2104: 626: 599: 513: 2130:
is defined as a property of a collection; it therefore is important if those vectors are linearly independent as a set or as a family. For example, if we consider
542: 446: 2154: 1406: 2764: 1698: 1433: 1201: 743: 2741: 2677: 2570: 2301: 2277: 2253: 2124: 2077: 1852: 1832: 1221: 1178: 1040: 1020: 949: 878: 855: 718: 695: 646: 486: 466: 417: 397: 286: 266: 246: 214: 180: 156: 136: 112: 89: 138:
are referred to as making up the family. In this view, indexed families are interpreted as collections of indexed elements instead of functions. The set
2306: 3244: 1551: 61:, is a collection of real numbers, where a given function selects one real number for each integer (possibly the same) as indexing. 1996: 1438: 114:(that is, indexed families and mathematical functions are technically identical, just points of view are different). Often the 3249: 3038: 3224: 2934: 220:. For example, one could consider an uncountable family of subsets of the natural numbers indexed by the real numbers. 1105: 2804: 1499: 2401:
as a set is made of unique elements so it is linearly independent, but the matrix is not invertible as the matrix
1764: 954: 748: 3166: 3111: 3100: 3084: 2982: 2886: 1712: 1057: 1331: 2478:, in which the elements are also kept distinct but which lacks some of the structure of an indexed family.) 2591: 834: 289: 65: 1942: 799: 115: 2511: 2159: 1635: 2795: 1986: 883: 858: 69: 2684: 2634: 2127: 92: 3214: β€“ Data structure used to hold a value that could take on several different, but fixed, types 2489: 1288: 3231:, 2nd edition, 2 vols., Kiyosi ItΓ΄ (ed.), MIT Press, Cambridge, MA, 1993. Cited as EDM (volume). 3032: 1857: 1224: 2772: 3196: 3190: 3088: 2867: 2799: 2219: 1230: 1897: 1262: 651: 547: 2834: 2444: 2412: 2372: 2082: 604: 577: 491: 3151: 3120: 3106: 2713: 518: 422: 3154: β€“ Data type that represents an ordered collection of elements (values or variables) 2133: 1381: 2746: 1680: 1415: 1183: 725: 372:{\displaystyle {\begin{aligned}f~:~&I\to X\\&i\mapsto x_{i}=f(i),\end{aligned}}} 3184: 3178: 3172: 3028: 2726: 2662: 2555: 2286: 2262: 2256: 2238: 2109: 2062: 1837: 1817: 1812: 1206: 1163: 1044: 1025: 1005: 934: 863: 840: 703: 680: 631: 471: 451: 402: 382: 271: 251: 231: 199: 193: 165: 141: 121: 97: 74: 28: 3238: 2303:
are linearly independent as a family, not as a set. For example, consider the matrix
217: 3211: 2871: 2581: 2106:
only makes sense with respect to this family, as sets are unordered so there is no
49:, is informally a collection of objects, each associated with an index from some 2883:
Index sets are often used in sums and other similar operations. For example, if
2402: 1409: 54: 38: 3160: 2931:
is an indexed family of numbers, the sum of all those numbers is denoted by
1048: 50: 17: 2409:
of the rows contains two elements indexed differently such as the 1st row
34:
Collection of objects, each associated with an element from some index set
3205: 3199: β€“ family of objects whose definitions depend on a set of parameters 3139: 2709: 2475: 189: 3116: 2573: 58: 2631:
each element of the ordered pair is indexed by an element of the set
1625:{\displaystyle \left\{(-1)^{i}:i\in \mathbb {N} \right\}=\{-1,1\}.} 2720: 2659: 2585: 3169: β€“ Indexed collection of objects and morphisms in a category 2358:{\displaystyle A={\begin{bmatrix}1&1\\1&1\end{bmatrix}}.} 837:
and indexed families are formally equivalent, since any function
2863:
indexing the matrix element at the 2nd row and the 5th column.
2283:
As in the previous example, it is important that the rows of
3187: β€“ Manner of referring to elements of arrays or tensors 1342: 1111: 2052:{\displaystyle \left(v_{i}\right)_{i\in \{1,\ldots ,n\}}} 1489:{\displaystyle \left((-1)^{i}\right)_{i\in \mathbb {N} }} 3156:
Pages displaying short descriptions of redirect targets
2321: 3041: 2985: 2937: 2889: 2837: 2807: 2775: 2749: 2729: 2687: 2665: 2637: 2594: 2558: 2514: 2492: 2447: 2415: 2375: 2309: 2289: 2265: 2241: 2162: 2136: 2112: 2085: 2065: 1999: 1945: 1900: 1860: 1840: 1820: 1767: 1715: 1683: 1638: 1554: 1502: 1441: 1418: 1384: 1334: 1291: 1265: 1233: 1209: 1186: 1166: 1108: 1060: 1028: 1008: 957: 937: 886: 866: 843: 802: 751: 728: 706: 683: 654: 634: 607: 580: 550: 521: 494: 474: 454: 425: 405: 385: 298: 274: 254: 234: 202: 168: 144: 124: 100: 77: 3201:
Pages displaying wikidata descriptions as a fallback
3208: β€“ Finite or infinite ordered list of elements 3181: β€“ Any collection of sets, or subsets of a set 1677:does not carry information about any structures on 3073: 3019: 2969: 2923: 2855: 2823: 2787: 2758: 2735: 2698: 2671: 2648: 2623: 2588:) is a family indexed by the set of two elements, 2564: 2544: 2500: 2465: 2433: 2393: 2357: 2295: 2271: 2247: 2206: 2148: 2118: 2098: 2071: 2051: 1977: 1915: 1886: 1846: 1826: 1804: 1749: 1692: 1669: 1624: 1540: 1488: 1427: 1400: 1370: 1320: 1277: 1251: 1215: 1195: 1172: 1152: 1094: 1034: 1014: 994: 943: 920: 872: 849: 823: 788: 737: 712: 689: 669: 640: 620: 593: 566: 536: 507: 480: 460: 440: 411: 391: 371: 280: 260: 240: 208: 174: 150: 130: 106: 83: 3119:giving rise to an indexed family of objects in a 3193: β€“ A generalization of a sequence of points 1153:{\displaystyle {\mathcal {X}}=\{x_{i}:i\in I\},} 2831:which elements are ordered pairs; for example, 2824:{\displaystyle \mathbf {n} \times \mathbf {m} } 2233: 1937: 1935:For example, consider the following sentence: 1541:{\displaystyle \mathbb {N} =\{1,2,3,\ldots \}} 8: 2615: 2603: 2536: 2515: 2044: 2026: 1805:{\displaystyle \left(A_{i}\right)_{i\in I},} 1664: 1639: 1616: 1601: 1535: 1511: 1144: 1119: 995:{\displaystyle \left(x_{x}\right)_{x\in X},} 789:{\displaystyle \left(x_{i}\right)_{i\in I},} 3020:{\displaystyle \left(A_{i}\right)_{i\in I}} 2924:{\displaystyle \left(a_{i}\right)_{i\in I}} 2218:of them consists of only one element (as a 1750:{\displaystyle \left(B_{i}\right)_{i\in J}} 1095:{\displaystyle \left(x_{i}\right)_{i\in I}} 3175: β€“ In mathematics, operation on sets 3062: 3046: 3040: 3005: 2995: 2984: 2958: 2942: 2936: 2909: 2899: 2888: 2836: 2816: 2808: 2806: 2774: 2748: 2728: 2688: 2686: 2664: 2638: 2636: 2595: 2593: 2557: 2513: 2493: 2491: 2446: 2414: 2374: 2369:of the rows consists of a single element 2316: 2308: 2288: 2264: 2240: 2180: 2167: 2161: 2135: 2111: 2090: 2084: 2064: 2019: 2009: 1998: 1969: 1950: 1944: 1899: 1878: 1865: 1859: 1839: 1819: 1787: 1777: 1766: 1735: 1725: 1714: 1682: 1646: 1637: 1589: 1588: 1573: 1553: 1504: 1503: 1501: 1480: 1479: 1472: 1461: 1440: 1417: 1393: 1385: 1383: 1363: 1355: 1347: 1341: 1340: 1335: 1333: 1309: 1296: 1290: 1264: 1232: 1208: 1185: 1165: 1126: 1110: 1109: 1107: 1080: 1070: 1059: 1027: 1007: 977: 967: 956: 936: 906: 885: 865: 842: 811: 801: 771: 761: 750: 727: 705: 682: 653: 633: 612: 606: 585: 579: 555: 549: 520: 499: 493: 473: 453: 424: 404: 384: 341: 299: 297: 273: 253: 233: 201: 167: 143: 123: 99: 76: 1371:{\displaystyle |{\mathcal {X}}|\leq |I|} 3163: β€“ Category-theoretic construction 3074:{\displaystyle \bigcup _{i\in I}A_{i}.} 3229:Encyclopedic Dictionary of Mathematics 64:More formally, an indexed family is a 2624:{\displaystyle \mathbf {2} =\{1,2\};} 2231:Suppose a text states the following: 7: 2970:{\displaystyle \sum _{i\in I}a_{i}.} 192:are one type of families indexed by 1978:{\displaystyle v_{1},\ldots ,v_{n}} 1022:is indexed by itself (meaning that 2126:-th vector of a set. Furthermore, 824:{\displaystyle \left(x_{i}\right)} 25: 2545:{\displaystyle \{1,2,\ldots n\},} 2207:{\displaystyle v_{1}=v_{2}=(1,0)} 2059:denotes a family of vectors. The 3035:of all those sets is denoted by 2817: 2809: 2689: 2639: 2596: 2494: 1670:{\displaystyle \{x_{i}:i\in I\}} 2681:is a family indexed by the set 1496:indexed by the natural numbers 921:{\displaystyle (f(i))_{i\in I}} 3130:, indexed by another category 2879:Operations on indexed families 2850: 2838: 2460: 2448: 2428: 2416: 2405:is 0. On the other hands, the 2388: 2376: 2201: 2189: 1570: 1560: 1458: 1448: 1394: 1386: 1364: 1356: 1348: 1336: 1047:the corresponding function is 903: 899: 893: 887: 531: 525: 435: 429: 359: 353: 334: 320: 1: 3225:Mathematical Society of Japan 2699:{\displaystyle \mathbf {n} .} 2649:{\displaystyle \mathbf {2} .} 2214:as the same vector, then the 3245:Basic concepts in set theory 2501:{\displaystyle \mathbf {n} } 1321:{\displaystyle x_{i}=x_{j}.} 196:. In general, the index set 2798:is a family indexed by the 2712:is a family indexed by the 1887:{\displaystyle B_{i}=A_{i}} 53:. For example, a family of 3266: 3142:depending on two indices. 3098: 2743:-tuple for an unspecified 1435:For example, the sequence 26: 3167:Diagram (category theory) 3105:The analogous concept in 3101:Diagram (category theory) 2870:is a family indexed by a 2788:{\displaystyle n\times m} 2279:are linearly independent. 601:is used to indicate that 3095:Usage in category theory 2766:or an infinite sequence. 1252:{\displaystyle i,j\in I} 216:is not restricted to be 57:, indexed by the set of 27:Not to be confused with 1916:{\displaystyle i\in J.} 1278:{\displaystyle i\neq j} 951:gives rise to a family 670:{\displaystyle i\in I.} 3075: 3021: 2971: 2925: 2857: 2825: 2789: 2760: 2737: 2700: 2673: 2650: 2625: 2566: 2546: 2502: 2467: 2435: 2395: 2359: 2297: 2281: 2273: 2249: 2208: 2150: 2120: 2100: 2073: 2053: 1991: 1979: 1917: 1888: 1848: 1828: 1806: 1751: 1694: 1671: 1626: 1542: 1490: 1429: 1402: 1372: 1322: 1279: 1253: 1223:is not required to be 1217: 1197: 1174: 1160:that is, the image of 1154: 1096: 1036: 1016: 996: 945: 922: 874: 851: 825: 790: 739: 714: 691: 671: 642: 622: 595: 568: 567:{\displaystyle x_{3}.} 538: 509: 482: 462: 442: 413: 393: 373: 282: 262: 242: 210: 176: 152: 132: 108: 85: 3250:Mathematical notation 3076: 3022: 2972: 2926: 2858: 2856:{\displaystyle (2,5)} 2826: 2790: 2761: 2738: 2701: 2674: 2651: 2626: 2567: 2547: 2503: 2468: 2466:{\displaystyle (1,1)} 2436: 2434:{\displaystyle (1,1)} 2396: 2394:{\displaystyle (1,1)} 2360: 2298: 2274: 2250: 2209: 2151: 2121: 2101: 2099:{\displaystyle v_{i}} 2074: 2054: 1980: 1918: 1889: 1849: 1829: 1807: 1761:of an indexed family 1752: 1695: 1672: 1632:In addition, the set 1627: 1543: 1491: 1430: 1403: 1373: 1323: 1280: 1254: 1218: 1198: 1175: 1155: 1097: 1037: 1017: 997: 946: 923: 875: 852: 826: 791: 740: 715: 699:family of elements in 692: 672: 643: 623: 621:{\displaystyle x_{i}} 596: 594:{\displaystyle x_{i}} 569: 539: 510: 508:{\displaystyle x_{i}} 483: 463: 443: 414: 394: 374: 283: 263: 243: 211: 177: 153: 133: 109: 86: 66:mathematical function 3039: 2983: 2935: 2887: 2835: 2805: 2773: 2747: 2727: 2685: 2663: 2635: 2592: 2556: 2512: 2490: 2445: 2413: 2373: 2307: 2287: 2263: 2239: 2160: 2134: 2110: 2083: 2063: 1997: 1987:linearly independent 1943: 1898: 1858: 1838: 1818: 1765: 1713: 1681: 1636: 1552: 1500: 1439: 1416: 1382: 1332: 1289: 1263: 1231: 1207: 1184: 1164: 1106: 1058: 1026: 1006: 955: 935: 884: 864: 841: 800: 749: 745:which is denoted by 726: 704: 681: 652: 632: 605: 578: 548: 537:{\displaystyle f(3)} 519: 492: 472: 452: 441:{\displaystyle f(i)} 423: 403: 383: 296: 272: 252: 232: 200: 166: 142: 122: 98: 75: 2149:{\displaystyle n=2} 2128:linear independence 1401:{\displaystyle |A|} 697:thus establishes a 468:under the function 162:of the family, and 3089:Cartesian products 3071: 3057: 3017: 2967: 2953: 2921: 2853: 2821: 2785: 2759:{\displaystyle n,} 2756: 2733: 2696: 2669: 2646: 2621: 2562: 2542: 2508:be the finite set 2498: 2463: 2431: 2391: 2355: 2346: 2293: 2269: 2245: 2204: 2146: 2116: 2096: 2069: 2049: 1975: 1913: 1884: 1844: 1824: 1802: 1747: 1709:An indexed family 1693:{\displaystyle I.} 1690: 1667: 1622: 1538: 1486: 1428:{\displaystyle A.} 1425: 1398: 1368: 1318: 1275: 1249: 1227:, there may exist 1213: 1203:Since the mapping 1196:{\displaystyle f.} 1193: 1170: 1150: 1092: 1054:An indexed family 1032: 1012: 992: 941: 918: 870: 847: 821: 786: 738:{\displaystyle I,} 735: 710: 687: 667: 638: 628:is the element of 618: 591: 564: 534: 505: 478: 458: 438: 409: 389: 369: 367: 278: 258: 238: 206: 172: 148: 128: 104: 81: 68:together with its 3197:Parametric family 3191:Net (mathematics) 3138:, and related by 3115:. A diagram is a 3042: 2938: 2800:Cartesian product 2736:{\displaystyle n} 2672:{\displaystyle n} 2565:{\displaystyle n} 2296:{\displaystyle A} 2272:{\displaystyle A} 2248:{\displaystyle A} 2119:{\displaystyle i} 2072:{\displaystyle i} 1847:{\displaystyle I} 1827:{\displaystyle J} 1705:Indexed subfamily 1216:{\displaystyle f} 1173:{\displaystyle I} 1035:{\displaystyle f} 1015:{\displaystyle X} 944:{\displaystyle X} 880:induces a family 873:{\displaystyle I} 850:{\displaystyle f} 713:{\displaystyle X} 690:{\displaystyle f} 641:{\displaystyle X} 481:{\displaystyle f} 461:{\displaystyle i} 412:{\displaystyle I} 399:is an element of 392:{\displaystyle i} 314: 308: 281:{\displaystyle f} 261:{\displaystyle X} 241:{\displaystyle I} 224:Formal definition 209:{\displaystyle I} 175:{\displaystyle X} 151:{\displaystyle I} 131:{\displaystyle X} 107:{\displaystyle X} 84:{\displaystyle I} 16:(Redirected from 3257: 3202: 3157: 3137: 3129: 3080: 3078: 3077: 3072: 3067: 3066: 3056: 3026: 3024: 3023: 3018: 3016: 3015: 3004: 3000: 2999: 2976: 2974: 2973: 2968: 2963: 2962: 2952: 2930: 2928: 2927: 2922: 2920: 2919: 2908: 2904: 2903: 2862: 2860: 2859: 2854: 2830: 2828: 2827: 2822: 2820: 2812: 2794: 2792: 2791: 2786: 2765: 2763: 2762: 2757: 2742: 2740: 2739: 2734: 2705: 2703: 2702: 2697: 2692: 2678: 2676: 2675: 2670: 2655: 2653: 2652: 2647: 2642: 2630: 2628: 2627: 2622: 2599: 2571: 2569: 2568: 2563: 2551: 2549: 2548: 2543: 2507: 2505: 2504: 2499: 2497: 2472: 2470: 2469: 2464: 2441:and the 2nd row 2440: 2438: 2437: 2432: 2400: 2398: 2397: 2392: 2364: 2362: 2361: 2356: 2351: 2350: 2302: 2300: 2299: 2294: 2278: 2276: 2275: 2270: 2254: 2252: 2251: 2246: 2235:A square matrix 2213: 2211: 2210: 2205: 2185: 2184: 2172: 2171: 2155: 2153: 2152: 2147: 2125: 2123: 2122: 2117: 2105: 2103: 2102: 2097: 2095: 2094: 2078: 2076: 2075: 2070: 2058: 2056: 2055: 2050: 2048: 2047: 2018: 2014: 2013: 1984: 1982: 1981: 1976: 1974: 1973: 1955: 1954: 1922: 1920: 1919: 1914: 1893: 1891: 1890: 1885: 1883: 1882: 1870: 1869: 1853: 1851: 1850: 1845: 1833: 1831: 1830: 1825: 1811: 1809: 1808: 1803: 1798: 1797: 1786: 1782: 1781: 1756: 1754: 1753: 1748: 1746: 1745: 1734: 1730: 1729: 1699: 1697: 1696: 1691: 1676: 1674: 1673: 1668: 1651: 1650: 1631: 1629: 1628: 1623: 1597: 1593: 1592: 1578: 1577: 1547: 1545: 1544: 1539: 1507: 1495: 1493: 1492: 1487: 1485: 1484: 1483: 1471: 1467: 1466: 1465: 1434: 1432: 1431: 1426: 1407: 1405: 1404: 1399: 1397: 1389: 1377: 1375: 1374: 1369: 1367: 1359: 1351: 1346: 1345: 1339: 1327: 1325: 1324: 1319: 1314: 1313: 1301: 1300: 1284: 1282: 1281: 1276: 1258: 1256: 1255: 1250: 1222: 1220: 1219: 1214: 1202: 1200: 1199: 1194: 1179: 1177: 1176: 1171: 1159: 1157: 1156: 1151: 1131: 1130: 1115: 1114: 1101: 1099: 1098: 1093: 1091: 1090: 1079: 1075: 1074: 1041: 1039: 1038: 1033: 1021: 1019: 1018: 1013: 1001: 999: 998: 993: 988: 987: 976: 972: 971: 950: 948: 947: 942: 927: 925: 924: 919: 917: 916: 879: 877: 876: 871: 856: 854: 853: 848: 830: 828: 827: 822: 820: 816: 815: 795: 793: 792: 787: 782: 781: 770: 766: 765: 744: 742: 741: 736: 719: 717: 716: 711: 696: 694: 693: 688: 676: 674: 673: 668: 647: 645: 644: 639: 627: 625: 624: 619: 617: 616: 600: 598: 597: 592: 590: 589: 573: 571: 570: 565: 560: 559: 543: 541: 540: 535: 514: 512: 511: 506: 504: 503: 487: 485: 484: 479: 467: 465: 464: 459: 447: 445: 444: 439: 418: 416: 415: 410: 398: 396: 395: 390: 378: 376: 375: 370: 368: 346: 345: 329: 312: 306: 287: 285: 284: 279: 267: 265: 264: 259: 247: 245: 244: 239: 215: 213: 212: 207: 181: 179: 178: 173: 157: 155: 154: 149: 137: 135: 134: 129: 113: 111: 110: 105: 90: 88: 87: 82: 21: 3265: 3264: 3260: 3259: 3258: 3256: 3255: 3254: 3235: 3234: 3221: 3200: 3155: 3152:Array data type 3148: 3131: 3123: 3107:category theory 3103: 3097: 3058: 3037: 3036: 2991: 2987: 2986: 2981: 2980: 2954: 2933: 2932: 2895: 2891: 2890: 2885: 2884: 2881: 2833: 2832: 2803: 2802: 2771: 2770: 2745: 2744: 2725: 2724: 2714:natural numbers 2683: 2682: 2661: 2660: 2633: 2632: 2590: 2589: 2554: 2553: 2510: 2509: 2488: 2487: 2484: 2443: 2442: 2411: 2410: 2371: 2370: 2345: 2344: 2339: 2333: 2332: 2327: 2317: 2305: 2304: 2285: 2284: 2261: 2260: 2255:is invertible, 2237: 2236: 2229: 2176: 2163: 2158: 2157: 2132: 2131: 2108: 2107: 2086: 2081: 2080: 2061: 2060: 2005: 2001: 2000: 1995: 1994: 1965: 1946: 1941: 1940: 1933: 1931:Indexed vectors 1928: 1896: 1895: 1874: 1861: 1856: 1855: 1836: 1835: 1834:is a subset of 1816: 1815: 1773: 1769: 1768: 1763: 1762: 1721: 1717: 1716: 1711: 1710: 1707: 1679: 1678: 1642: 1634: 1633: 1569: 1559: 1555: 1550: 1549: 1498: 1497: 1457: 1447: 1443: 1442: 1437: 1436: 1414: 1413: 1380: 1379: 1330: 1329: 1305: 1292: 1287: 1286: 1261: 1260: 1229: 1228: 1205: 1204: 1182: 1181: 1162: 1161: 1122: 1104: 1103: 1066: 1062: 1061: 1056: 1055: 1024: 1023: 1004: 1003: 963: 959: 958: 953: 952: 933: 932: 902: 882: 881: 862: 861: 839: 838: 807: 803: 798: 797: 757: 753: 752: 747: 746: 724: 723: 702: 701: 679: 678: 650: 649: 630: 629: 608: 603: 602: 581: 576: 575: 551: 546: 545: 517: 516: 515:. For example, 495: 490: 489: 470: 469: 450: 449: 421: 420: 401: 400: 381: 380: 366: 365: 337: 327: 326: 315: 294: 293: 270: 269: 250: 249: 230: 229: 226: 198: 197: 194:natural numbers 164: 163: 140: 139: 120: 119: 96: 95: 73: 72: 35: 32: 23: 22: 15: 12: 11: 5: 3263: 3261: 3253: 3252: 3247: 3237: 3236: 3233: 3232: 3220: 3217: 3216: 3215: 3209: 3203: 3194: 3188: 3185:Index notation 3182: 3179:Family of sets 3176: 3173:Disjoint union 3170: 3164: 3158: 3147: 3144: 3099:Main article: 3096: 3093: 3070: 3065: 3061: 3055: 3052: 3049: 3045: 3029:family of sets 3014: 3011: 3008: 3003: 2998: 2994: 2990: 2966: 2961: 2957: 2951: 2948: 2945: 2941: 2918: 2915: 2912: 2907: 2902: 2898: 2894: 2880: 2877: 2876: 2875: 2864: 2852: 2849: 2846: 2843: 2840: 2819: 2815: 2811: 2784: 2781: 2778: 2767: 2755: 2752: 2732: 2717: 2706: 2695: 2691: 2668: 2656: 2645: 2641: 2620: 2617: 2614: 2611: 2608: 2605: 2602: 2598: 2572:is a positive 2561: 2541: 2538: 2535: 2532: 2529: 2526: 2523: 2520: 2517: 2496: 2483: 2482:Other examples 2480: 2462: 2459: 2456: 2453: 2450: 2430: 2427: 2424: 2421: 2418: 2390: 2387: 2384: 2381: 2378: 2354: 2349: 2343: 2340: 2338: 2335: 2334: 2331: 2328: 2326: 2323: 2322: 2320: 2315: 2312: 2292: 2268: 2257:if and only if 2244: 2228: 2225: 2203: 2200: 2197: 2194: 2191: 2188: 2183: 2179: 2175: 2170: 2166: 2145: 2142: 2139: 2115: 2093: 2089: 2068: 2046: 2043: 2040: 2037: 2034: 2031: 2028: 2025: 2022: 2017: 2012: 2008: 2004: 1972: 1968: 1964: 1961: 1958: 1953: 1949: 1932: 1929: 1927: 1924: 1912: 1909: 1906: 1903: 1894:holds for all 1881: 1877: 1873: 1868: 1864: 1843: 1823: 1813:if and only if 1801: 1796: 1793: 1790: 1785: 1780: 1776: 1772: 1744: 1741: 1738: 1733: 1728: 1724: 1720: 1706: 1703: 1689: 1686: 1666: 1663: 1660: 1657: 1654: 1649: 1645: 1641: 1621: 1618: 1615: 1612: 1609: 1606: 1603: 1600: 1596: 1591: 1587: 1584: 1581: 1576: 1572: 1568: 1565: 1562: 1558: 1548:has image set 1537: 1534: 1531: 1528: 1525: 1522: 1519: 1516: 1513: 1510: 1506: 1482: 1478: 1475: 1470: 1464: 1460: 1456: 1453: 1450: 1446: 1424: 1421: 1396: 1392: 1388: 1366: 1362: 1358: 1354: 1350: 1344: 1338: 1317: 1312: 1308: 1304: 1299: 1295: 1274: 1271: 1268: 1248: 1245: 1242: 1239: 1236: 1212: 1192: 1189: 1169: 1149: 1146: 1143: 1140: 1137: 1134: 1129: 1125: 1121: 1118: 1113: 1102:defines a set 1089: 1086: 1083: 1078: 1073: 1069: 1065: 1045:if and only if 1031: 1011: 991: 986: 983: 980: 975: 970: 966: 962: 940: 915: 912: 909: 905: 901: 898: 895: 892: 889: 869: 846: 819: 814: 810: 806: 785: 780: 777: 774: 769: 764: 760: 756: 734: 731: 709: 686: 666: 663: 660: 657: 637: 615: 611: 588: 584: 563: 558: 554: 544:is denoted by 533: 530: 527: 524: 502: 498: 488:is denoted by 477: 457: 437: 434: 431: 428: 419:and the image 408: 388: 364: 361: 358: 355: 352: 349: 344: 340: 336: 333: 330: 328: 325: 322: 319: 316: 311: 305: 302: 301: 277: 257: 237: 225: 222: 205: 171: 158:is called the 147: 127: 103: 80: 47:indexed family 33: 29:Family of sets 24: 14: 13: 10: 9: 6: 4: 3: 2: 3262: 3251: 3248: 3246: 3243: 3242: 3240: 3230: 3226: 3223: 3222: 3218: 3213: 3210: 3207: 3204: 3198: 3195: 3192: 3189: 3186: 3183: 3180: 3177: 3174: 3171: 3168: 3165: 3162: 3159: 3153: 3150: 3149: 3145: 3143: 3141: 3136: 3135: 3128: 3127: 3122: 3118: 3114: 3113: 3108: 3102: 3094: 3092: 3090: 3086: 3085:intersections 3083:Likewise for 3081: 3068: 3063: 3059: 3053: 3050: 3047: 3043: 3034: 3030: 3012: 3009: 3006: 3001: 2996: 2992: 2988: 2977: 2964: 2959: 2955: 2949: 2946: 2943: 2939: 2916: 2913: 2910: 2905: 2900: 2896: 2892: 2878: 2873: 2869: 2865: 2847: 2844: 2841: 2813: 2801: 2797: 2782: 2779: 2776: 2768: 2753: 2750: 2730: 2722: 2718: 2715: 2711: 2707: 2693: 2680: 2666: 2657: 2643: 2618: 2612: 2609: 2606: 2600: 2587: 2583: 2579: 2578: 2577: 2575: 2559: 2539: 2533: 2530: 2527: 2524: 2521: 2518: 2481: 2479: 2477: 2457: 2454: 2451: 2425: 2422: 2419: 2408: 2404: 2385: 2382: 2379: 2368: 2352: 2347: 2341: 2336: 2329: 2324: 2318: 2313: 2310: 2290: 2280: 2266: 2258: 2242: 2232: 2226: 2224: 2221: 2217: 2198: 2195: 2192: 2186: 2181: 2177: 2173: 2168: 2164: 2143: 2140: 2137: 2129: 2113: 2091: 2087: 2066: 2041: 2038: 2035: 2032: 2029: 2023: 2020: 2015: 2010: 2006: 2002: 1990: 1988: 1970: 1966: 1962: 1959: 1956: 1951: 1947: 1936: 1930: 1925: 1923: 1910: 1907: 1904: 1901: 1879: 1875: 1871: 1866: 1862: 1841: 1821: 1814: 1799: 1794: 1791: 1788: 1783: 1778: 1774: 1770: 1760: 1742: 1739: 1736: 1731: 1726: 1722: 1718: 1704: 1702: 1687: 1684: 1661: 1658: 1655: 1652: 1647: 1643: 1619: 1613: 1610: 1607: 1604: 1598: 1594: 1585: 1582: 1579: 1574: 1566: 1563: 1556: 1532: 1529: 1526: 1523: 1520: 1517: 1514: 1508: 1476: 1473: 1468: 1462: 1454: 1451: 1444: 1422: 1419: 1411: 1390: 1360: 1352: 1315: 1310: 1306: 1302: 1297: 1293: 1272: 1269: 1266: 1246: 1243: 1240: 1237: 1234: 1226: 1210: 1190: 1187: 1167: 1147: 1141: 1138: 1135: 1132: 1127: 1123: 1116: 1087: 1084: 1081: 1076: 1071: 1067: 1063: 1052: 1050: 1046: 1029: 1009: 989: 984: 981: 978: 973: 968: 964: 960: 938: 929: 913: 910: 907: 896: 890: 867: 860: 844: 836: 832: 817: 812: 808: 804: 783: 778: 775: 772: 767: 762: 758: 754: 732: 729: 722: 707: 700: 684: 677:The function 664: 661: 658: 655: 635: 613: 609: 586: 582: 561: 556: 552: 528: 522: 500: 496: 475: 455: 432: 426: 406: 386: 362: 356: 350: 347: 342: 338: 331: 323: 317: 309: 303: 291: 275: 255: 235: 223: 221: 219: 203: 195: 191: 187: 185: 169: 161: 145: 125: 117: 101: 94: 78: 71: 67: 62: 60: 56: 52: 48: 44: 40: 30: 19: 3228: 3212:Tagged union 3133: 3132: 3125: 3124: 3110: 3109:is called a 3104: 3082: 2978: 2882: 2872:directed set 2708:An infinite 2582:ordered pair 2485: 2406: 2366: 2282: 2259:the rows of 2234: 2230: 2215: 1992: 1939:The vectors 1938: 1934: 1758: 1708: 1408:denotes the 1053: 930: 833: 720: 698: 268:be sets and 227: 188: 183: 159: 63: 55:real numbers 46: 42: 36: 2403:determinant 2079:-th vector 1412:of the set 1410:cardinality 648:indexed by 574:The symbol 184:indexed set 118:of the set 39:mathematics 18:Indexed set 3239:Categories 3219:References 1285:such that 796:or simply 721:indexed by 292:such that 3161:Coproduct 3140:morphisms 3051:∈ 3044:⋃ 3010:∈ 2947:∈ 2940:∑ 2914:∈ 2814:× 2780:× 2531:… 2036:… 2024:∈ 1960:… 1905:∈ 1792:∈ 1759:subfamily 1740:∈ 1659:∈ 1605:− 1586:∈ 1564:− 1533:… 1477:∈ 1452:− 1353:≤ 1270:≠ 1244:∈ 1225:injective 1139:∈ 1085:∈ 1049:injective 982:∈ 911:∈ 835:Functions 776:∈ 659:∈ 335:↦ 321:→ 218:countable 190:Sequences 160:index set 51:index set 3206:Sequence 3146:See also 3121:category 2710:sequence 2476:multiset 2227:Matrices 1926:Examples 1378:, where 931:Any set 290:function 116:elements 59:integers 3117:functor 3112:diagram 2574:integer 857:with a 182:is the 3031:, the 2796:matrix 2723:is an 2679:-tuple 2552:where 2407:family 1328:Thus, 1180:under 1002:where 859:domain 379:where 313:  307:  70:domain 43:family 3033:union 3027:is a 2979:When 2586:tuple 1993:Here 1757:is a 1259:with 93:image 45:, or 3087:and 2721:list 2486:Let 2365:The 2156:and 1985:are 1854:and 248:and 228:Let 91:and 41:, a 2868:net 2769:An 2658:An 2584:(2- 2580:An 2367:set 2220:set 2216:set 448:of 37:In 3241:: 3227:, 3091:. 2866:A 2719:A 2576:. 1051:. 288:a 186:. 3134:J 3126:C 3069:. 3064:i 3060:A 3054:I 3048:i 3013:I 3007:i 3002:) 2997:i 2993:A 2989:( 2965:. 2960:i 2956:a 2950:I 2944:i 2917:I 2911:i 2906:) 2901:i 2897:a 2893:( 2874:. 2851:) 2848:5 2845:, 2842:2 2839:( 2818:m 2810:n 2783:m 2777:n 2754:, 2751:n 2731:n 2716:. 2694:. 2690:n 2667:n 2644:. 2640:2 2619:; 2616:} 2613:2 2610:, 2607:1 2604:{ 2601:= 2597:2 2560:n 2540:, 2537:} 2534:n 2528:, 2525:2 2522:, 2519:1 2516:{ 2495:n 2461:) 2458:1 2455:, 2452:1 2449:( 2429:) 2426:1 2423:, 2420:1 2417:( 2389:) 2386:1 2383:, 2380:1 2377:( 2353:. 2348:] 2342:1 2337:1 2330:1 2325:1 2319:[ 2314:= 2311:A 2291:A 2267:A 2243:A 2202:) 2199:0 2196:, 2193:1 2190:( 2187:= 2182:2 2178:v 2174:= 2169:1 2165:v 2144:2 2141:= 2138:n 2114:i 2092:i 2088:v 2067:i 2045:} 2042:n 2039:, 2033:, 2030:1 2027:{ 2021:i 2016:) 2011:i 2007:v 2003:( 1989:. 1971:n 1967:v 1963:, 1957:, 1952:1 1948:v 1911:. 1908:J 1902:i 1880:i 1876:A 1872:= 1867:i 1863:B 1842:I 1822:J 1800:, 1795:I 1789:i 1784:) 1779:i 1775:A 1771:( 1743:J 1737:i 1732:) 1727:i 1723:B 1719:( 1688:. 1685:I 1665:} 1662:I 1656:i 1653:: 1648:i 1644:x 1640:{ 1620:. 1617:} 1614:1 1611:, 1608:1 1602:{ 1599:= 1595:} 1590:N 1583:i 1580:: 1575:i 1571:) 1567:1 1561:( 1557:{ 1536:} 1530:, 1527:3 1524:, 1521:2 1518:, 1515:1 1512:{ 1509:= 1505:N 1481:N 1474:i 1469:) 1463:i 1459:) 1455:1 1449:( 1445:( 1423:. 1420:A 1395:| 1391:A 1387:| 1365:| 1361:I 1357:| 1349:| 1343:X 1337:| 1316:. 1311:j 1307:x 1303:= 1298:i 1294:x 1273:j 1267:i 1247:I 1241:j 1238:, 1235:i 1211:f 1191:. 1188:f 1168:I 1148:, 1145:} 1142:I 1136:i 1133:: 1128:i 1124:x 1120:{ 1117:= 1112:X 1088:I 1082:i 1077:) 1072:i 1068:x 1064:( 1030:f 1010:X 990:, 985:X 979:x 974:) 969:x 965:x 961:( 939:X 914:I 908:i 904:) 900:) 897:i 894:( 891:f 888:( 868:I 845:f 818:) 813:i 809:x 805:( 784:, 779:I 773:i 768:) 763:i 759:x 755:( 733:, 730:I 708:X 685:f 665:. 662:I 656:i 636:X 614:i 610:x 587:i 583:x 562:. 557:3 553:x 532:) 529:3 526:( 523:f 501:i 497:x 476:f 456:i 436:) 433:i 430:( 427:f 407:I 387:i 363:, 360:) 357:i 354:( 351:f 348:= 343:i 339:x 332:i 324:X 318:I 310:: 304:f 276:f 256:X 236:I 204:I 170:X 146:I 126:X 102:X 79:I 31:. 20:)

Index

Indexed set
Family of sets
mathematics
index set
real numbers
integers
mathematical function
domain
image
elements
Sequences
natural numbers
countable
function
Functions
domain
if and only if
injective
injective
cardinality
if and only if
linearly independent
linear independence
set
if and only if
determinant
multiset
integer
ordered pair
tuple

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑