32:
956:
308:
662:
1401:
798:
594:
1159:
1048:
1089:
1234:
716:
499:
461:
749:
419:
238:
686:
1282:
1686:
1527:
369:
993:
1863:
1813:
1720:
1557:
1308:
1188:
1886:
1763:
1612:
1426:
1022:
526:
1837:
1783:
1740:
1632:
1585:
1479:
1459:
1208:
1133:
1113:
546:
193:
157:
247:
602:
2108:
1313:
2065:
96:
68:
2152:
2120:
2098:
2050:
49:
75:
1911:(FIP) is non-empty; said differently, a space is compact if and only if every family of closed subsets with F.I.P. is
2005:
569:
115:
82:
1967:
53:
64:
1138:
1027:
1908:
1588:
1065:
1213:
691:
466:
428:
951:{\displaystyle \left\{\,\{w\in X:f(x)=f(w)\}~:~x\in X\,\right\}~=~\left\{f^{-1}(y)~:~y\in f(X)\right\}.}
725:
1959:
378:
2147:
1889:
1639:
216:
667:
42:
20:
1258:
137:
89:
1659:
1500:
342:
1991:
1953:
963:
1842:
1792:
1699:
1536:
1287:
1564:
172:
168:
1164:
8:
2157:
1924:
1689:
1651:
1560:
1486:
1482:
1059:
1051:
788:
311:
1868:
1745:
1594:
1408:
1004:
508:
1822:
1768:
1725:
1617:
1570:
1464:
1444:
1193:
1118:
1098:
531:
199:
178:
142:
2066:
A space is compact iff any family of closed sets having fip has non-empty intersection
16:
Equivalence relation expressing that two elements have the same image under a function
2162:
2126:
2116:
2094:
2046:
2001:
1963:
1945:
1896:
1693:
1253:
1092:
372:
1949:
1436:
319:
1786:
1245:
1490:
211:
2141:
2130:
2093:. Oxford Logic Guides. Vol. 49 (2nd ed.). Oxford University Press.
2038:
1900:
2086:
1530:
1494:
792:
502:
241:
1635:
315:
303:{\displaystyle \ker {\mathcal {B}}~=~\bigcap _{B\in {\mathcal {B}}}\,B.}
2069:
2021:
2019:
2017:
1904:
1816:
657:{\displaystyle \ker {\mathcal {B}}~:=~\bigcap _{B\in {\mathcal {B}}}B.}
129:
175:
that roughly expresses the idea of "equivalent as far as the function
1997:
1567:
that is compatible with the algebraic structure), and the coimage of
1055:
719:
2014:
31:
997:
1249:
1638:
in the algebraic sense; this is the most general form of the
1405:
The study of the properties of this subset can shed light on
779:
if it is not fixed; that is, if its kernel is the empty set.
1239:
1871:
1845:
1825:
1795:
1771:
1748:
1728:
1702:
1662:
1620:
1597:
1573:
1539:
1503:
1467:
1447:
1411:
1316:
1290:
1261:
1216:
1196:
1167:
1141:
1121:
1101:
1068:
1030:
1007:
966:
801:
728:
694:
670:
605:
572:
534:
511:
469:
431:
381:
345:
250:
219:
181:
145:
1310:(or a variation) and may be defined symbolically as
2115:. New Jersey: World Scientific Publishing Company.
1993:
Universal
Algebra: Fundamentals and Selected Topics
1614:The bijection between the coimage and the image of
56:. Unsourced material may be challenged and removed.
2045:. New Delhi: Prentice-Hall of India. p. 169.
1880:
1857:
1831:
1807:
1777:
1757:
1734:
1714:
1680:
1626:
1606:
1579:
1551:
1521:
1473:
1453:
1420:
1395:
1302:
1276:
1248:, the kernel of a function may be thought of as a
1228:
1202:
1182:
1153:
1127:
1107:
1083:
1042:
1016:
987:
950:
743:
710:
680:
656:
588:
540:
520:
493:
455:
413:
363:
302:
232:
187:
151:
787:Like any equivalence relation, the kernel can be
751:is typically left undefined. A family is called
2139:
1944:
1938:
1927: β Family of sets representing "large" sets
1996:, Pure and Applied Mathematics, vol. 301,
589:{\displaystyle {\mathcal {B}}\neq \varnothing }
1396:{\displaystyle \ker f:=\{(x,x'):f(x)=f(x')\}.}
2107:
2025:
1903:if and only if the kernel of every family of
1387:
1329:
850:
808:
1892:topology, must also be a Hausdorff space.
548:is the equivalence relation thus defined.
1985:
1983:
1981:
1979:
1284:In this guise, the kernel may be denoted
871:
807:
795:, and the quotient set is the partition:
310:This definition is used in the theory of
293:
116:Learn how and when to remove this message
2037:
1989:
1430:
771:is not empty. A family is said to be
2140:
2085:
2031:
1976:
1154:{\displaystyle \operatorname {coim} f}
1043:{\displaystyle \operatorname {coim} f}
1865:is a closed set, then the coimage of
1084:{\displaystyle \operatorname {im} f;}
1240:As a subset of the Cartesian product
1229:{\displaystyle \operatorname {im} f}
711:{\displaystyle \cap {\mathcal {B}}.}
54:adding citations to reliable sources
25:
2113:Convergence Foundations Of Topology
1696:then the topological properties of
505:, that is, are the same element of
494:{\displaystyle f\left(x_{2}\right)}
456:{\displaystyle f\left(x_{1}\right)}
206:An unrelated notion is that of the
13:
744:{\displaystyle \ker \varnothing ,}
700:
673:
641:
614:
575:
286:
259:
222:
14:
2174:
1054:(in the set-theoretic sense of a
1050:(or a variation). The coimage is
735:
583:
414:{\displaystyle x_{1},x_{2}\in X}
30:
2079:
339:For the formal definition, let
233:{\displaystyle {\mathcal {B}},}
41:needs additional citations for
2059:
1672:
1645:
1513:
1384:
1373:
1364:
1358:
1349:
1332:
1177:
1171:
937:
931:
910:
904:
847:
841:
832:
826:
681:{\displaystyle {\mathcal {B}}}
355:
1:
1931:
1722:can shed light on the spaces
688:is also sometimes denoted by
325:
2153:Basic concepts in set theory
1909:finite intersection property
1485:of some fixed type (such as
782:
163:) may be taken to be either
7:
2111:; Mynard, FrΓ©dΓ©ric (2016).
1918:
240:which by definition is the
10:
2179:
1990:Bergman, Clifford (2011),
1960:Chelsea Publishing Company
1912:
1649:
1434:
1277:{\displaystyle X\times X.}
554:Kernel of a family of sets
371:be a function between two
314:to classify them as being
18:
2026:Dolecki & Mynard 2016
1839:is a Hausdorff space and
1640:first isomorphism theorem
2028:, pp. 27β29, 33β35.
1681:{\displaystyle f:X\to Y}
1522:{\displaystyle f:X\to Y}
1210:(which is an element of
1135:(which is an element of
364:{\displaystyle f:X\to Y}
65:"Kernel" set theory
1497:), and if the function
988:{\displaystyle X/=_{f}}
21:Kernel (disambiguation)
1882:
1859:
1858:{\displaystyle \ker f}
1833:
1809:
1808:{\displaystyle \ker f}
1779:
1759:
1736:
1716:
1715:{\displaystyle \ker f}
1682:
1628:
1608:
1581:
1553:
1552:{\displaystyle \ker f}
1523:
1475:
1455:
1422:
1397:
1304:
1303:{\displaystyle \ker f}
1278:
1230:
1204:
1184:
1155:
1129:
1109:
1085:
1044:
1018:
989:
952:
763:non-empty intersection
745:
712:
682:
658:
590:
542:
522:
495:
457:
415:
365:
304:
234:
189:
153:
1883:
1860:
1834:
1810:
1780:
1760:
1737:
1717:
1683:
1629:
1609:
1582:
1554:
1524:
1476:
1456:
1423:
1398:
1305:
1279:
1231:
1205:
1185:
1156:
1130:
1110:
1086:
1045:
1019:
990:
953:
746:
713:
683:
659:
591:
543:
523:
496:
458:
416:
366:
305:
244:of all its elements:
235:
190:
154:
1869:
1843:
1823:
1793:
1769:
1746:
1726:
1700:
1660:
1618:
1595:
1571:
1565:equivalence relation
1537:
1501:
1483:algebraic structures
1465:
1445:
1431:Algebraic structures
1409:
1314:
1288:
1259:
1214:
1194:
1183:{\displaystyle f(x)}
1165:
1139:
1119:
1099:
1066:
1052:naturally isomorphic
1028:
1005:
964:
799:
759:and is said to have
726:
692:
668:
603:
570:
532:
509:
467:
429:
379:
343:
333:Kernel of a function
248:
217:
179:
169:equivalence relation
143:
50:improve this article
19:For other uses, see
1925:Filter (set theory)
1690:continuous function
1652:Filters in topology
1561:congruence relation
2000:, pp. 14β16,
1946:Mac Lane, Saunders
1881:{\displaystyle f,}
1878:
1855:
1829:
1805:
1775:
1758:{\displaystyle Y.}
1755:
1732:
1712:
1694:topological spaces
1678:
1624:
1607:{\displaystyle X.}
1604:
1577:
1549:
1519:
1471:
1451:
1421:{\displaystyle f.}
1418:
1393:
1300:
1274:
1226:
1200:
1180:
1151:
1125:
1105:
1091:specifically, the
1081:
1040:
1017:{\displaystyle f,}
1014:
985:
960:This quotient set
948:
741:
718:The kernel of the
708:
678:
654:
647:
586:
538:
521:{\displaystyle Y.}
518:
491:
453:
411:
361:
300:
292:
230:
198:the corresponding
185:
171:on the function's
161:equivalence kernel
149:
2122:978-981-4571-52-4
2100:978-0-19-923718-0
2052:978-81-203-2046-8
1950:Birkhoff, Garrett
1832:{\displaystyle X}
1819:. Conversely, if
1778:{\displaystyle Y}
1735:{\displaystyle X}
1627:{\displaystyle f}
1580:{\displaystyle f}
1474:{\displaystyle Y}
1454:{\displaystyle X}
1254:Cartesian product
1203:{\displaystyle Y}
1161:) corresponds to
1128:{\displaystyle X}
1108:{\displaystyle x}
1093:equivalence class
921:
915:
885:
879:
861:
855:
628:
627:
621:
541:{\displaystyle f}
273:
272:
266:
188:{\displaystyle f}
152:{\displaystyle f}
126:
125:
118:
100:
2170:
2148:Abstract algebra
2134:
2104:
2073:
2063:
2057:
2056:
2035:
2029:
2023:
2012:
2010:
1987:
1974:
1972:
1942:
1887:
1885:
1884:
1879:
1864:
1862:
1861:
1856:
1838:
1836:
1835:
1830:
1814:
1812:
1811:
1806:
1784:
1782:
1781:
1776:
1765:For example, if
1764:
1762:
1761:
1756:
1741:
1739:
1738:
1733:
1721:
1719:
1718:
1713:
1687:
1685:
1684:
1679:
1633:
1631:
1630:
1625:
1613:
1611:
1610:
1605:
1586:
1584:
1583:
1578:
1558:
1556:
1555:
1550:
1528:
1526:
1525:
1520:
1480:
1478:
1477:
1472:
1460:
1458:
1457:
1452:
1437:Kernel (algebra)
1427:
1425:
1424:
1419:
1402:
1400:
1399:
1394:
1383:
1348:
1309:
1307:
1306:
1301:
1283:
1281:
1280:
1275:
1235:
1233:
1232:
1227:
1209:
1207:
1206:
1201:
1189:
1187:
1186:
1181:
1160:
1158:
1157:
1152:
1134:
1132:
1131:
1126:
1114:
1112:
1111:
1106:
1090:
1088:
1087:
1082:
1049:
1047:
1046:
1041:
1023:
1021:
1020:
1015:
1001:of the function
994:
992:
991:
986:
984:
983:
974:
957:
955:
954:
949:
944:
940:
919:
913:
903:
902:
883:
877:
876:
872:
859:
853:
777:
776:
765:
764:
757:
756:
750:
748:
747:
742:
717:
715:
714:
709:
704:
703:
687:
685:
684:
679:
677:
676:
663:
661:
660:
655:
646:
645:
644:
625:
619:
618:
617:
598:
597:
595:
593:
592:
587:
579:
578:
556:
555:
547:
545:
544:
539:
527:
525:
524:
519:
500:
498:
497:
492:
490:
486:
485:
462:
460:
459:
454:
452:
448:
447:
420:
418:
417:
412:
404:
403:
391:
390:
370:
368:
367:
362:
335:
334:
309:
307:
306:
301:
291:
290:
289:
270:
264:
263:
262:
239:
237:
236:
231:
226:
225:
194:
192:
191:
186:
158:
156:
155:
150:
121:
114:
110:
107:
101:
99:
58:
34:
26:
2178:
2177:
2173:
2172:
2171:
2169:
2168:
2167:
2138:
2137:
2123:
2109:Dolecki, Szymon
2101:
2091:Category Theory
2082:
2077:
2076:
2064:
2060:
2053:
2036:
2032:
2024:
2015:
2008:
1988:
1977:
1970:
1943:
1939:
1934:
1921:
1870:
1867:
1866:
1844:
1841:
1840:
1824:
1821:
1820:
1794:
1791:
1790:
1787:Hausdorff space
1770:
1767:
1766:
1747:
1744:
1743:
1727:
1724:
1723:
1701:
1698:
1697:
1661:
1658:
1657:
1654:
1648:
1619:
1616:
1615:
1596:
1593:
1592:
1572:
1569:
1568:
1538:
1535:
1534:
1502:
1499:
1498:
1466:
1463:
1462:
1446:
1443:
1442:
1439:
1433:
1410:
1407:
1406:
1376:
1341:
1315:
1312:
1311:
1289:
1286:
1285:
1260:
1257:
1256:
1246:binary relation
1242:
1215:
1212:
1211:
1195:
1192:
1191:
1166:
1163:
1162:
1140:
1137:
1136:
1120:
1117:
1116:
1100:
1097:
1096:
1067:
1064:
1063:
1029:
1026:
1025:
1006:
1003:
1002:
979:
975:
970:
965:
962:
961:
895:
891:
890:
886:
806:
802:
800:
797:
796:
785:
774:
773:
762:
761:
754:
753:
727:
724:
723:
699:
698:
693:
690:
689:
672:
671:
669:
666:
665:
640:
639:
632:
613:
612:
604:
601:
600:
574:
573:
571:
568:
567:
562:
561:
553:
552:
533:
530:
529:
510:
507:
506:
481:
477:
473:
468:
465:
464:
443:
439:
435:
430:
427:
426:
399:
395:
386:
382:
380:
377:
376:
344:
341:
340:
332:
331:
328:
285:
284:
277:
258:
257:
249:
246:
245:
221:
220:
218:
215:
214:
210:of a non-empty
180:
177:
176:
144:
141:
140:
122:
111:
105:
102:
59:
57:
47:
35:
24:
17:
12:
11:
5:
2176:
2166:
2165:
2160:
2155:
2150:
2136:
2135:
2121:
2105:
2099:
2081:
2078:
2075:
2074:
2058:
2051:
2039:Munkres, James
2030:
2013:
2006:
1975:
1968:
1962:, p. 33,
1936:
1935:
1933:
1930:
1929:
1928:
1920:
1917:
1905:closed subsets
1890:quotient space
1877:
1874:
1854:
1851:
1848:
1828:
1804:
1801:
1798:
1774:
1754:
1751:
1731:
1711:
1708:
1705:
1677:
1674:
1671:
1668:
1665:
1647:
1644:
1623:
1603:
1600:
1576:
1548:
1545:
1542:
1518:
1515:
1512:
1509:
1506:
1470:
1450:
1432:
1429:
1417:
1414:
1392:
1389:
1386:
1382:
1379:
1375:
1372:
1369:
1366:
1363:
1360:
1357:
1354:
1351:
1347:
1344:
1340:
1337:
1334:
1331:
1328:
1325:
1322:
1319:
1299:
1296:
1293:
1273:
1270:
1267:
1264:
1241:
1238:
1225:
1222:
1219:
1199:
1179:
1176:
1173:
1170:
1150:
1147:
1144:
1124:
1104:
1080:
1077:
1074:
1071:
1039:
1036:
1033:
1013:
1010:
995:is called the
982:
978:
973:
969:
947:
943:
939:
936:
933:
930:
927:
924:
918:
912:
909:
906:
901:
898:
894:
889:
882:
875:
870:
867:
864:
858:
852:
849:
846:
843:
840:
837:
834:
831:
828:
825:
822:
819:
816:
813:
810:
805:
784:
781:
778:
770:
766:
758:
740:
737:
734:
731:
707:
702:
697:
675:
664:The kernel of
653:
650:
643:
638:
635:
631:
624:
616:
611:
608:
585:
582:
577:
537:
528:The kernel of
517:
514:
489:
484:
480:
476:
472:
451:
446:
442:
438:
434:
410:
407:
402:
398:
394:
389:
385:
360:
357:
354:
351:
348:
327:
324:
299:
296:
288:
283:
280:
276:
269:
261:
256:
253:
229:
224:
212:family of sets
204:
203:
202:of the domain.
196:
184:
148:
124:
123:
38:
36:
29:
15:
9:
6:
4:
3:
2:
2175:
2164:
2161:
2159:
2156:
2154:
2151:
2149:
2146:
2145:
2143:
2132:
2128:
2124:
2118:
2114:
2110:
2106:
2102:
2096:
2092:
2088:
2087:Awodey, Steve
2084:
2083:
2071:
2067:
2062:
2054:
2048:
2044:
2040:
2034:
2027:
2022:
2020:
2018:
2009:
2007:9781439851296
2003:
1999:
1995:
1994:
1986:
1984:
1982:
1980:
1971:
1965:
1961:
1957:
1956:
1951:
1947:
1941:
1937:
1926:
1923:
1922:
1916:
1914:
1910:
1906:
1902:
1898:
1893:
1891:
1888:if given the
1875:
1872:
1852:
1849:
1846:
1826:
1818:
1802:
1799:
1796:
1788:
1772:
1752:
1749:
1729:
1709:
1706:
1703:
1695:
1691:
1675:
1669:
1666:
1663:
1653:
1643:
1641:
1637:
1621:
1601:
1598:
1590:
1574:
1566:
1562:
1546:
1543:
1540:
1532:
1516:
1510:
1507:
1504:
1496:
1495:vector spaces
1492:
1488:
1484:
1468:
1448:
1438:
1428:
1415:
1412:
1403:
1390:
1380:
1377:
1370:
1367:
1361:
1355:
1352:
1345:
1342:
1338:
1335:
1326:
1323:
1320:
1317:
1297:
1294:
1291:
1271:
1268:
1265:
1262:
1255:
1251:
1247:
1237:
1223:
1220:
1217:
1197:
1174:
1168:
1148:
1145:
1142:
1122:
1102:
1094:
1078:
1075:
1072:
1069:
1061:
1057:
1053:
1037:
1034:
1031:
1011:
1008:
1000:
999:
980:
976:
971:
967:
958:
945:
941:
934:
928:
925:
922:
916:
907:
899:
896:
892:
887:
880:
873:
868:
865:
862:
856:
844:
838:
835:
829:
823:
820:
817:
814:
811:
803:
794:
790:
780:
772:
768:
760:
752:
738:
732:
729:
721:
705:
695:
651:
648:
636:
633:
629:
622:
609:
606:
580:
565:
558:
557:
549:
535:
515:
512:
504:
487:
482:
478:
474:
470:
449:
444:
440:
436:
432:
424:
408:
405:
400:
396:
392:
387:
383:
374:
358:
352:
349:
346:
337:
336:
323:
321:
317:
313:
297:
294:
281:
278:
274:
267:
254:
251:
243:
227:
213:
209:
201:
197:
195:can tell", or
182:
174:
170:
166:
165:
164:
162:
146:
139:
135:
131:
120:
117:
109:
106:December 2009
98:
95:
91:
88:
84:
81:
77:
74:
70:
67: β
66:
62:
61:Find sources:
55:
51:
45:
44:
39:This article
37:
33:
28:
27:
22:
2112:
2090:
2080:Bibliography
2061:
2042:
2033:
1992:
1954:
1940:
1894:
1692:between two
1655:
1563:(that is an
1531:homomorphism
1440:
1404:
1243:
1024:and denoted
996:
959:
793:quotient set
786:
566:of a family
563:
559:
551:
550:
422:
338:
330:
329:
242:intersection
207:
205:
160:
133:
127:
112:
103:
93:
86:
79:
72:
60:
48:Please help
43:verification
40:
1907:having the
1646:In topology
1636:isomorphism
375:. Elements
2158:Set theory
2142:Categories
2070:PlanetMath
1969:0821816462
1932:References
1817:closed set
1815:must be a
1650:See also:
1435:See also:
791:to form a
789:modded out
423:equivalent
326:Definition
130:set theory
76:newspapers
2131:945169917
2089:(2010) .
1998:CRC Press
1850:
1800:
1707:
1673:→
1544:
1514:→
1321:
1295:
1266:×
1244:Like any
1221:
1146:
1073:
1058:) to the
1056:bijection
1035:
926:∈
897:−
866:∈
815:∈
783:Quotients
736:∅
733:
720:empty set
696:∩
637:∈
630:⋂
610:
584:∅
581:≠
406:∈
356:→
320:principal
282:∈
275:⋂
255:
200:partition
2163:Topology
2043:Topology
2041:(2004).
1952:(1999),
1919:See also
1589:quotient
1381:′
1346:′
138:function
1955:Algebra
1901:compact
1533:, then
1252:of the
998:coimage
767:if its
596:of sets
312:filters
90:scholar
2129:
2119:
2097:
2049:
2004:
1966:
1634:is an
1487:groups
1250:subset
920:
914:
884:
878:
860:
854:
769:kernel
626:
620:
564:kernel
271:
265:
208:kernel
173:domain
134:kernel
132:, the
92:
85:
78:
71:
63:
1913:fixed
1897:space
1789:then
1785:is a
1688:is a
1587:is a
1559:is a
1529:is a
1493:, or
1491:rings
1060:image
755:fixed
503:equal
136:of a
97:JSTOR
83:books
2127:OCLC
2117:ISBN
2095:ISBN
2047:ISBN
2002:ISBN
1964:ISBN
1742:and
1481:are
1461:and
1143:coim
1032:coim
775:free
599:is
560:The
501:are
463:and
421:are
373:sets
316:free
167:the
159:(or
69:news
2068:at
1899:is
1847:ker
1797:ker
1704:ker
1656:If
1642:.
1591:of
1541:ker
1441:If
1318:ker
1292:ker
1236:).
1190:in
1115:in
1095:of
730:ker
607:ker
425:if
322:.
318:or
252:ker
128:In
52:by
2144::
2125:.
2016:^
1978:^
1958:,
1948:;
1915:.
1895:A
1489:,
1327::=
1218:im
1070:im
1062:,
722:,
623::=
2133:.
2103:.
2072:.
2055:.
2011:.
1973:.
1876:,
1873:f
1853:f
1827:X
1803:f
1773:Y
1753:.
1750:Y
1730:X
1710:f
1676:Y
1670:X
1667::
1664:f
1622:f
1602:.
1599:X
1575:f
1547:f
1517:Y
1511:X
1508::
1505:f
1469:Y
1449:X
1416:.
1413:f
1391:.
1388:}
1385:)
1378:x
1374:(
1371:f
1368:=
1365:)
1362:x
1359:(
1356:f
1353::
1350:)
1343:x
1339:,
1336:x
1333:(
1330:{
1324:f
1298:f
1272:.
1269:X
1263:X
1224:f
1198:Y
1178:)
1175:x
1172:(
1169:f
1149:f
1123:X
1103:x
1079:;
1076:f
1038:f
1012:,
1009:f
981:f
977:=
972:/
968:X
946:.
942:}
938:)
935:X
932:(
929:f
923:y
917::
911:)
908:y
905:(
900:1
893:f
888:{
881:=
874:}
869:X
863:x
857::
851:}
848:)
845:w
842:(
839:f
836:=
833:)
830:x
827:(
824:f
821::
818:X
812:w
809:{
804:{
739:,
706:.
701:B
674:B
652:.
649:B
642:B
634:B
615:B
576:B
536:f
516:.
513:Y
488:)
483:2
479:x
475:(
471:f
450:)
445:1
441:x
437:(
433:f
409:X
401:2
397:x
393:,
388:1
384:x
359:Y
353:X
350::
347:f
298:.
295:B
287:B
279:B
268:=
260:B
228:,
223:B
183:f
147:f
119:)
113:(
108:)
104:(
94:Β·
87:Β·
80:Β·
73:Β·
46:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.