25:
810:
For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its
827:(along with some other technical conditions), thus by this definition a manifold does not include its boundary when it is embedded in a larger space. However, this definition doesnât cover some basic objects such as a
800:
626:
673:
374:
278:
706:
403:
544:
300:
490:
470:
450:
423:
320:
234:
1816:
711:
1007:
1811:
1098:
1122:
1317:
866:" can refer to the universe being a closed manifold but more likely refers to the universe being a manifold of constant positive
89:
1187:
61:
1413:
1466:
994:
1750:
68:
954:
108:
1515:
122:
42:
549:
1498:
1107:
75:
1859:
46:
1710:
1117:
631:
426:
329:
213:
Every closed manifold is a
Euclidean neighborhood retract and thus has finitely generated homology groups.
57:
1695:
1418:
1192:
239:
1869:
1740:
1745:
1715:
1423:
1379:
1360:
1127:
1071:
682:
379:
1282:
1147:
495:
1667:
1532:
1224:
1066:
191:
283:
1364:
1334:
1258:
1248:
1204:
1034:
987:
35:
1705:
1324:
1219:
1132:
1039:
832:
140:
1354:
1349:
863:
184:
82:
1685:
1623:
1471:
1175:
1165:
1137:
1112:
1022:
8:
1823:
1505:
1383:
1368:
1297:
1056:
1796:
676:
1864:
1765:
1720:
1617:
1488:
1292:
980:
854:. A line is a closed subset of the plane, and a manifold, but not a closed manifold.
475:
455:
435:
408:
305:
219:
205:
is a compact two-dimensional manifold, but it is not closed because it has a boundary.
1302:
1700:
1680:
1675:
1582:
1493:
1307:
1287:
1142:
1081:
964:
950:
1838:
1632:
1587:
1510:
1481:
1339:
1272:
1267:
1262:
1252:
1044:
1027:
1781:
1690:
1520:
1476:
867:
824:
164:
1647:
1572:
1542:
1440:
1433:
1373:
1344:
1214:
1209:
1170:
942:
843:(compact with respect to its underlying topology) can synonymously be used for
1853:
1833:
1657:
1652:
1637:
1627:
1577:
1554:
1428:
1388:
1329:
1277:
1076:
960:
879:
323:
144:
949:
Volume 1. 3rd edition with corrections. Publish or Perish, Houston TX 2005,
1760:
1755:
1597:
1564:
1537:
1445:
1086:
820:
180:
795:{\displaystyle H^{k}(M;\mathbb {Z} _{2})\cong H_{n-k}(M;\mathbb {Z} _{2})}
1603:
1592:
1549:
1450:
1051:
828:
202:
129:
1828:
1786:
1612:
1525:
1157:
1061:
972:
851:
326:
or not. Moreover, the torsion subgroup of the (n-1)-th homology group
1642:
1607:
1312:
1199:
198:
819:
Most books generally define a manifold as a space that is, locally,
24:
1806:
1801:
1791:
1182:
1003:
137:
1398:
172:
168:
425:
is orientable or not. This follows from an application of the
176:
850:
The notion of a closed manifold is unrelated to that of a
236:
is a closed connected n-manifold, the n-th homology group
947:
714:
685:
634:
552:
498:
478:
458:
438:
411:
382:
332:
308:
286:
242:
222:
839:without reference to the boundary. But normally, a
49:. Unsourced material may be challenged and removed.
794:
700:
667:
620:
538:
484:
464:
444:
417:
397:
368:
314:
294:
272:
228:
1851:
708:-orientable. So there is always an isomorphism
847:if the usual definition for manifold is used.
183:are all closed two-dimensional manifolds. The
988:
151:is a manifold without boundary that has only
969:Cambridge University Press, Cambridge, 2002.
621:{\displaystyle D:H^{k}(M;R)\to H_{n-k}(M;R)}
201:is not closed because it is not compact. A
123:Classification of manifolds § Point-set
995:
981:
679:. In particular, every closed manifold is
675:is an isomorphism for all k. This is the
779:
736:
688:
385:
359:
288:
263:
109:Learn how and when to remove this message
1002:
190:is a closed n-dimensional manifold. The
121:For broader coverage of this topic, see
668:{\displaystyle D(\alpha )=\cap \alpha }
369:{\displaystyle H_{n-1}(M;\mathbb {Z} )}
197:is a closed 2n-dimensional manifold. A
1852:
976:
273:{\displaystyle H_{n}(M;\mathbb {Z} )}
814:
47:adding citations to reliable sources
18:
13:
16:Topological concept in mathematics
14:
1881:
857:
805:
831:, so authors sometimes define a
701:{\displaystyle \mathbb {Z} _{2}}
398:{\displaystyle \mathbb {Z} _{2}}
23:
34:needs additional citations for
1035:Differentiable/Smooth manifold
928:
919:
910:
901:
892:
789:
768:
746:
725:
656:
650:
644:
638:
615:
603:
584:
581:
569:
539:{\displaystyle \in H_{n}(M;R)}
533:
521:
505:
499:
363:
349:
267:
253:
1:
885:
427:universal coefficient theorem
208:
167:one-dimensional example is a
295:{\displaystyle \mathbb {Z} }
7:
1741:Classification of manifolds
873:
452:be a commutative ring. For
158:
10:
1886:
302:or 0 depending on whether
120:
1817:over commutative algebras
1774:
1733:
1666:
1563:
1459:
1406:
1397:
1233:
1156:
1095:
1015:
1533:Riemann curvature tensor
811:components) is compact.
192:complex projective space
934:See Hatcher 2002, p.250
925:See Hatcher 2002, p.238
916:See Hatcher 2002, p.236
907:See Hatcher 2002, p.536
898:See Hatcher 2002, p.231
492:with fundamental class
1325:Manifold with boundary
1040:Differential structure
833:manifold with boundary
796:
702:
669:
622:
540:
486:
466:
446:
419:
399:
370:
316:
296:
274:
230:
1860:Differential geometry
797:
703:
670:
623:
541:
487:
467:
447:
420:
405:depending on whether
400:
371:
317:
297:
275:
231:
185:real projective space
1472:Covariant derivative
1023:Topological manifold
712:
683:
632:
550:
496:
476:
456:
436:
409:
380:
330:
306:
284:
240:
220:
147:. In comparison, an
43:improve this article
1506:Exterior derivative
1108:AtiyahâSinger index
1057:Riemannian manifold
966:Algebraic Topology.
1870:Geometric topology
1812:Secondary calculus
1766:Singularity theory
1721:Parallel transport
1489:De Rham cohomology
1128:Generalized Stokes
835:and abusively say
792:
698:
665:
618:
536:
482:
462:
442:
415:
395:
366:
312:
292:
270:
226:
1847:
1846:
1729:
1728:
1494:Differential form
1148:Whitney embedding
1082:Differential form
862:The notion of a "
815:Abuse of language
485:{\displaystyle M}
465:{\displaystyle R}
445:{\displaystyle R}
418:{\displaystyle M}
315:{\displaystyle M}
229:{\displaystyle M}
119:
118:
111:
93:
58:"Closed manifold"
1877:
1839:Stratified space
1797:Fréchet manifold
1511:Interior product
1404:
1403:
1101:
997:
990:
983:
974:
973:
935:
932:
926:
923:
917:
914:
908:
905:
899:
896:
841:compact manifold
801:
799:
798:
793:
788:
787:
782:
767:
766:
745:
744:
739:
724:
723:
707:
705:
704:
699:
697:
696:
691:
677:Poincaré duality
674:
672:
671:
666:
627:
625:
624:
619:
602:
601:
568:
567:
545:
543:
542:
537:
520:
519:
491:
489:
488:
483:
471:
469:
468:
463:
451:
449:
448:
443:
424:
422:
421:
416:
404:
402:
401:
396:
394:
393:
388:
375:
373:
372:
367:
362:
348:
347:
321:
319:
318:
313:
301:
299:
298:
293:
291:
279:
277:
276:
271:
266:
252:
251:
235:
233:
232:
227:
141:without boundary
114:
107:
103:
100:
94:
92:
51:
27:
19:
1885:
1884:
1880:
1879:
1878:
1876:
1875:
1874:
1850:
1849:
1848:
1843:
1782:Banach manifold
1775:Generalizations
1770:
1725:
1662:
1559:
1521:Ricci curvature
1477:Cotangent space
1455:
1393:
1235:
1229:
1188:Exponential map
1152:
1097:
1091:
1011:
1001:
939:
938:
933:
929:
924:
920:
915:
911:
906:
902:
897:
893:
888:
876:
868:Ricci curvature
864:closed universe
860:
845:closed manifold
825:Euclidean space
817:
808:
783:
778:
777:
756:
752:
740:
735:
734:
719:
715:
713:
710:
709:
692:
687:
686:
684:
681:
680:
633:
630:
629:
591:
587:
563:
559:
551:
548:
547:
515:
511:
497:
494:
493:
477:
474:
473:
457:
454:
453:
437:
434:
433:
410:
407:
406:
389:
384:
383:
381:
378:
377:
358:
337:
333:
331:
328:
327:
307:
304:
303:
287:
285:
282:
281:
262:
247:
243:
241:
238:
237:
221:
218:
217:
211:
161:
134:closed manifold
126:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
1883:
1873:
1872:
1867:
1862:
1845:
1844:
1842:
1841:
1836:
1831:
1826:
1821:
1820:
1819:
1809:
1804:
1799:
1794:
1789:
1784:
1778:
1776:
1772:
1771:
1769:
1768:
1763:
1758:
1753:
1748:
1743:
1737:
1735:
1731:
1730:
1727:
1726:
1724:
1723:
1718:
1713:
1708:
1703:
1698:
1693:
1688:
1683:
1678:
1672:
1670:
1664:
1663:
1661:
1660:
1655:
1650:
1645:
1640:
1635:
1630:
1620:
1615:
1610:
1600:
1595:
1590:
1585:
1580:
1575:
1569:
1567:
1561:
1560:
1558:
1557:
1552:
1547:
1546:
1545:
1535:
1530:
1529:
1528:
1518:
1513:
1508:
1503:
1502:
1501:
1491:
1486:
1485:
1484:
1474:
1469:
1463:
1461:
1457:
1456:
1454:
1453:
1448:
1443:
1438:
1437:
1436:
1426:
1421:
1416:
1410:
1408:
1401:
1395:
1394:
1392:
1391:
1386:
1376:
1371:
1357:
1352:
1347:
1342:
1337:
1335:Parallelizable
1332:
1327:
1322:
1321:
1320:
1310:
1305:
1300:
1295:
1290:
1285:
1280:
1275:
1270:
1265:
1255:
1245:
1239:
1237:
1231:
1230:
1228:
1227:
1222:
1217:
1215:Lie derivative
1212:
1210:Integral curve
1207:
1202:
1197:
1196:
1195:
1185:
1180:
1179:
1178:
1171:Diffeomorphism
1168:
1162:
1160:
1154:
1153:
1151:
1150:
1145:
1140:
1135:
1130:
1125:
1120:
1115:
1110:
1104:
1102:
1093:
1092:
1090:
1089:
1084:
1079:
1074:
1069:
1064:
1059:
1054:
1049:
1048:
1047:
1042:
1032:
1031:
1030:
1019:
1017:
1016:Basic concepts
1013:
1012:
1000:
999:
992:
985:
977:
971:
970:
958:
943:Michael Spivak
937:
936:
927:
918:
909:
900:
890:
889:
887:
884:
883:
882:
875:
872:
859:
858:Use in physics
856:
816:
813:
807:
806:Open manifolds
804:
791:
786:
781:
776:
773:
770:
765:
762:
759:
755:
751:
748:
743:
738:
733:
730:
727:
722:
718:
695:
690:
664:
661:
658:
655:
652:
649:
646:
643:
640:
637:
617:
614:
611:
608:
605:
600:
597:
594:
590:
586:
583:
580:
577:
574:
571:
566:
562:
558:
555:
535:
532:
529:
526:
523:
518:
514:
510:
507:
504:
501:
481:
461:
441:
414:
392:
387:
365:
361:
357:
354:
351:
346:
343:
340:
336:
311:
290:
269:
265:
261:
258:
255:
250:
246:
225:
210:
207:
160:
157:
117:
116:
31:
29:
22:
15:
9:
6:
4:
3:
2:
1882:
1871:
1868:
1866:
1863:
1861:
1858:
1857:
1855:
1840:
1837:
1835:
1834:Supermanifold
1832:
1830:
1827:
1825:
1822:
1818:
1815:
1814:
1813:
1810:
1808:
1805:
1803:
1800:
1798:
1795:
1793:
1790:
1788:
1785:
1783:
1780:
1779:
1777:
1773:
1767:
1764:
1762:
1759:
1757:
1754:
1752:
1749:
1747:
1744:
1742:
1739:
1738:
1736:
1732:
1722:
1719:
1717:
1714:
1712:
1709:
1707:
1704:
1702:
1699:
1697:
1694:
1692:
1689:
1687:
1684:
1682:
1679:
1677:
1674:
1673:
1671:
1669:
1665:
1659:
1656:
1654:
1651:
1649:
1646:
1644:
1641:
1639:
1636:
1634:
1631:
1629:
1625:
1621:
1619:
1616:
1614:
1611:
1609:
1605:
1601:
1599:
1596:
1594:
1591:
1589:
1586:
1584:
1581:
1579:
1576:
1574:
1571:
1570:
1568:
1566:
1562:
1556:
1555:Wedge product
1553:
1551:
1548:
1544:
1541:
1540:
1539:
1536:
1534:
1531:
1527:
1524:
1523:
1522:
1519:
1517:
1514:
1512:
1509:
1507:
1504:
1500:
1499:Vector-valued
1497:
1496:
1495:
1492:
1490:
1487:
1483:
1480:
1479:
1478:
1475:
1473:
1470:
1468:
1465:
1464:
1462:
1458:
1452:
1449:
1447:
1444:
1442:
1439:
1435:
1432:
1431:
1430:
1429:Tangent space
1427:
1425:
1422:
1420:
1417:
1415:
1412:
1411:
1409:
1405:
1402:
1400:
1396:
1390:
1387:
1385:
1381:
1377:
1375:
1372:
1370:
1366:
1362:
1358:
1356:
1353:
1351:
1348:
1346:
1343:
1341:
1338:
1336:
1333:
1331:
1328:
1326:
1323:
1319:
1316:
1315:
1314:
1311:
1309:
1306:
1304:
1301:
1299:
1296:
1294:
1291:
1289:
1286:
1284:
1281:
1279:
1276:
1274:
1271:
1269:
1266:
1264:
1260:
1256:
1254:
1250:
1246:
1244:
1241:
1240:
1238:
1232:
1226:
1223:
1221:
1218:
1216:
1213:
1211:
1208:
1206:
1203:
1201:
1198:
1194:
1193:in Lie theory
1191:
1190:
1189:
1186:
1184:
1181:
1177:
1174:
1173:
1172:
1169:
1167:
1164:
1163:
1161:
1159:
1155:
1149:
1146:
1144:
1141:
1139:
1136:
1134:
1131:
1129:
1126:
1124:
1121:
1119:
1116:
1114:
1111:
1109:
1106:
1105:
1103:
1100:
1096:Main results
1094:
1088:
1085:
1083:
1080:
1078:
1077:Tangent space
1075:
1073:
1070:
1068:
1065:
1063:
1060:
1058:
1055:
1053:
1050:
1046:
1043:
1041:
1038:
1037:
1036:
1033:
1029:
1026:
1025:
1024:
1021:
1020:
1018:
1014:
1009:
1005:
998:
993:
991:
986:
984:
979:
978:
975:
968:
967:
962:
961:Allen Hatcher
959:
956:
955:0-914098-70-5
952:
948:
944:
941:
940:
931:
922:
913:
904:
895:
891:
881:
880:Tame manifold
878:
877:
871:
869:
865:
855:
853:
848:
846:
842:
838:
834:
830:
826:
822:
812:
803:
784:
774:
771:
763:
760:
757:
753:
749:
741:
731:
728:
720:
716:
693:
678:
662:
659:
653:
647:
641:
635:
612:
609:
606:
598:
595:
592:
588:
578:
575:
572:
564:
560:
556:
553:
530:
527:
524:
516:
512:
508:
502:
479:
459:
439:
430:
428:
412:
390:
355:
352:
344:
341:
338:
334:
325:
309:
259:
256:
248:
244:
223:
214:
206:
204:
200:
196:
193:
189:
186:
182:
178:
174:
170:
166:
156:
154:
150:
149:open manifold
146:
142:
139:
135:
131:
124:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: â
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
1761:Moving frame
1756:Morse theory
1746:Gauge theory
1538:Tensor field
1467:Closed/Exact
1446:Vector field
1414:Distribution
1355:Hypercomplex
1350:Quaternionic
1242:
1087:Vector field
1045:Smooth atlas
965:
946:
930:
921:
912:
903:
894:
861:
849:
844:
840:
836:
821:homeomorphic
818:
809:
472:-orientable
431:
215:
212:
194:
187:
181:Klein bottle
162:
155:components.
152:
148:
133:
127:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
1706:Levi-Civita
1696:Generalized
1668:Connections
1618:Lie algebra
1550:Volume form
1451:Vector flow
1424:Pushforward
1419:Lie bracket
1318:Lie algebra
1283:G-structure
1072:Pushforward
1052:Submanifold
829:closed disk
628:defined by
203:closed disk
153:non-compact
130:mathematics
1854:Categories
1829:Stratifold
1787:Diffeology
1583:Associated
1384:Symplectic
1369:Riemannian
1298:Hyperbolic
1225:Submersion
1133:HopfâRinow
1067:Submersion
1062:Smooth map
886:References
852:closed set
546:, the map
324:orientable
209:Properties
179:, and the
99:March 2023
69:newspapers
1865:Manifolds
1711:Principal
1686:Ehresmann
1643:Subbundle
1633:Principal
1608:Fibration
1588:Cotangent
1460:Covectors
1313:Lie group
1293:Hermitian
1236:manifolds
1205:Immersion
1200:Foliation
1138:Noether's
1123:Frobenius
1118:De Rham's
1113:Darboux's
1004:Manifolds
761:−
750:≅
663:α
660:∩
642:α
596:−
585:→
509:∈
342:−
165:connected
163:The only
1807:Orbifold
1802:K-theory
1792:Diffiety
1516:Pullback
1330:Oriented
1308:Kenmotsu
1288:Hadamard
1234:Types of
1183:Geodesic
1008:Glossary
874:See also
837:manifold
376:is 0 or
159:Examples
143:that is
138:manifold
1751:History
1734:Related
1648:Tangent
1626:)
1606:)
1573:Adjoint
1565:Bundles
1543:density
1441:Torsion
1407:Vectors
1399:Tensors
1382:)
1367:)
1363:,
1361:Pseudoâ
1340:Poisson
1273:Finsler
1268:Fibered
1263:Contact
1261:)
1253:Complex
1251:)
1220:Section
171:. The
145:compact
83:scholar
1716:Vector
1701:Koszul
1681:Cartan
1676:Affine
1658:Vector
1653:Tensor
1638:Spinor
1628:Normal
1624:Stable
1578:Affine
1482:bundle
1434:bundle
1380:Almost
1303:KĂ€hler
1259:Almost
1249:Almost
1243:Closed
1143:Sard's
1099:(list)
953:
173:sphere
169:circle
85:
78:
71:
64:
56:
1824:Sheaf
1598:Fiber
1374:Rizza
1345:Prime
1176:Local
1166:Curve
1028:Atlas
177:torus
136:is a
90:JSTOR
76:books
1691:Form
1593:Dual
1526:flow
1389:Tame
1365:Subâ
1278:Flat
1158:Maps
951:ISBN
432:Let
199:line
132:, a
62:news
1613:Jet
823:to
322:is
280:is
216:If
128:In
45:by
1856::
1604:Co
963:,
945::
870:.
802:.
429:.
195:CP
188:RP
175:,
1622:(
1602:(
1378:(
1359:(
1257:(
1247:(
1010:)
1006:(
996:e
989:t
982:v
957:.
790:)
785:2
780:Z
775:;
772:M
769:(
764:k
758:n
754:H
747:)
742:2
737:Z
732:;
729:M
726:(
721:k
717:H
694:2
689:Z
657:]
654:M
651:[
648:=
645:)
639:(
636:D
616:)
613:R
610:;
607:M
604:(
599:k
593:n
589:H
582:)
579:R
576:;
573:M
570:(
565:k
561:H
557::
554:D
534:)
531:R
528:;
525:M
522:(
517:n
513:H
506:]
503:M
500:[
480:M
460:R
440:R
413:M
391:2
386:Z
364:)
360:Z
356:;
353:M
350:(
345:1
339:n
335:H
310:M
289:Z
268:)
264:Z
260:;
257:M
254:(
249:n
245:H
224:M
125:.
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.