216:
229:
44:
1022:
Events connected by light have zero separation. The plenum of spacetime in the plane is split into four quadrants, each of which has the topology of R. The dividing lines are the trajectory of inbound and outbound photons at (0,0). The planar-cosmology topological segmentation is the future F, the
1143:
647:
914:
117:
371:
513:
1183:
947:
849:
699:
428:
997:
823:
787:
729:
673:
1014:, but when Kronheimer and Penrose introduced the term this difference in nomenclature was not as clear, and in physics the term Alexandrov topology remains in use.
402:
540:
475:
455:
172:
147:
215:
312:
thus become important in analysing local as well as global aspects of spacetime. The study of spacetime topology is especially important in
261:
1225:, so each acquires the same topology. The union U = F ∪ P ∪ L ∪ D then has a topology nearly covering the plane, leaving out only the
112:
1311:
1037:
192:
1007:
1457:
1280:
1452:
576:
305:
1275:
750:
519:
122:
1409:"A new topology for curved space–time which incorporates the causal, differential, and conformal structures"
254:
861:
87:
1260:
563:
182:
82:
347:
1423:
1387:
1028:
1006:
Nowadays, the correct mathematical term for the
Alexandrov topology on spacetime (which goes back to
953:
559:
480:
1285:
1255:
1230:
1024:
960:
744:
1375:
1330:
313:
286:
247:
233:
59:
54:
1150:
919:
828:
678:
407:
1265:
966:
792:
756:
707:
278:
177:
963:
on a partial order is usually taken to be the coarsest topology in which only the upper sets
1431:
1395:
1339:
1270:
1000:
732:
652:
302:
1408:
387:
1315:
1308:
855:
570:
555:
431:
290:
92:
17:
1427:
1391:
1238:
551:
525:
460:
440:
435:
220:
1446:
1343:
1234:
1186:
187:
1023:
past P, space left L, and space right D. The homeomorphism of F with R amounts to
952:
This topology coincides with the manifold topology if and only if the manifold is
43:
294:
167:
1250:
1226:
1202:
298:
282:
77:
35:
1290:
1194:
341:
337:
309:
1361:, CBMS-NSF Regional Conference Series in Applied Mathematics, p. 34
142:
1399:
1435:
1233:
of the plane does not mingle the quadrants, in fact, each one is an
1138:{\displaystyle z=\exp(a+jb)=e^{a}(\cosh b+j\sinh b)\to (a,b),}
1328:
Zeeman, E.C. (1967). "The topology of
Minkowski space".
336:
As with any manifold, a spacetime possesses a natural
1407:
Hawking, S. W.; King, A. R.; McCarthy, P. J. (1976).
1153:
1040:
969:
922:
864:
831:
795:
759:
710:
681:
655:
579:
528:
483:
463:
443:
410:
390:
350:
324:
There are two main types of topology for a spacetime
999:
are required to be open. This topology goes back to
858:of open sets for the topology are sets of the form
1177:
1137:
991:
941:
908:
843:
817:
781:
723:
693:
667:
641:
534:
507:
469:
449:
422:
396:
365:
1359:Techniques of Differential Topology in Relativity
1185:is the split-complex logarithm and the required
1378:(1964). "Causality Implies the Lorentz Group".
642:{\displaystyle Y^{+}(p,U)\cup Y^{-}(p,U)\cup p}
749:The Alexandrov topology on spacetime, is the
255:
8:
1205:with each of P, L, and D under the mappings
554:than the manifold topology. It is therefore
262:
248:
26:
1152:
1078:
1039:
974:
968:
923:
921:
891:
869:
863:
830:
800:
794:
764:
758:
715:
709:
680:
654:
612:
584:
578:
527:
482:
462:
442:
409:
389:
357:
353:
352:
349:
1301:
34:
909:{\displaystyle Y^{+}(x)\cap Y^{-}(y)}
675:and some convex normal neighbourhood
573:for the topology is sets of the form
148:Newton's law of universal gravitation
7:
1197:parameter for relative motion in F.
522:which induces the same topology as
477:in the manifold topology such that
308:(a spacetime) and the concepts of
113:Introduction to general relativity
25:
193:Mathematics of general relativity
118:Mathematics of general relativity
366:{\displaystyle \mathbb {R} ^{4}}
228:
227:
214:
42:
1416:Journal of Mathematical Physics
1380:Journal of Mathematical Physics
508:{\displaystyle E\cap c=O\cap c}
285:, a topic studied primarily in
1172:
1160:
1157:
1129:
1117:
1114:
1111:
1084:
1068:
1053:
986:
980:
956:but it is coarser in general.
903:
897:
881:
875:
812:
806:
776:
770:
630:
618:
602:
590:
344:are the image of open sets in
1:
959:Note that in mathematics, an
733:chronological past and future
1344:10.1016/0040-9383(67)90033-X
143:Introduction to gravitation
1474:
1178:{\displaystyle z\to (a,b)}
942:{\displaystyle \,x,y\in M}
844:{\displaystyle E\subset M}
742:
694:{\displaystyle U\subset M}
423:{\displaystyle E\subset M}
18:Global spacetime structure
1276:Gravitational singularity
825:are open for all subsets
542:does on timelike curves.
173:Derivations of relativity
1281:Hantzsche–Wendt_manifold
1203:bijective correspondence
992:{\displaystyle Y^{+}(E)}
818:{\displaystyle Y^{-}(E)}
782:{\displaystyle Y^{+}(E)}
724:{\displaystyle Y^{\pm }}
123:Einstein field equations
1357:Penrose, Roger (1972),
377:Path or Zeeman topology
88:Lorentz transformations
1179:
1139:
1008:Alexandr D. Alexandrov
993:
943:
910:
845:
819:
783:
725:
695:
669:
668:{\displaystyle p\in M}
643:
536:
509:
471:
451:
424:
398:
367:
1309:Luca Bombelli website
1261:Closed timelike curve
1180:
1140:
1029:split-complex numbers
994:
944:
911:
846:
820:
784:
743:Further information:
726:
696:
670:
644:
537:
510:
472:
452:
425:
399:
397:{\displaystyle \rho }
368:
279:topological structure
183:Differential geometry
83:Equivalence principle
1458:Lorentzian manifolds
1239:unit hyperbola group
1151:
1038:
967:
920:
862:
829:
793:
757:
708:
679:
653:
577:
526:
481:
461:
441:
408:
388:
348:
161:Relevant mathematics
1428:1976JMP....17..174H
1392:1964JMP.....5..490Z
1286:Spacetime curvature
1256:Clifford-Klein form
1231:Hyperbolic rotation
1025:polar decomposition
961:Alexandrov topology
745:Alexandrov topology
739:Alexandrov topology
340:topology. Here the
306:Lorentzian manifold
30:Part of a series on
1453:General relativity
1314:2010-06-16 at the
1175:
1135:
989:
939:
906:
841:
815:
779:
721:
691:
665:
639:
532:
505:
467:
447:
420:
404:in which a subset
394:
363:
314:physical cosmology
287:general relativity
275:Spacetime topology
221:Physics portal
198:Spacetime topology
178:Spacetime diagrams
106:General relativity
78:Spacetime manifold
71:Spacetime concepts
60:General relativity
55:Special relativity
1400:10.1063/1.1704140
1266:Complex spacetime
1189:F → R, Note that
1012:interval topology
751:coarsest topology
535:{\displaystyle M}
470:{\displaystyle O}
450:{\displaystyle c}
332:Manifold topology
320:Types of topology
272:
271:
136:Classical gravity
16:(Redirected from
1465:
1439:
1436:10.1063/1.522874
1413:
1403:
1363:
1362:
1354:
1348:
1347:
1324:
1318:
1306:
1271:Geometrodynamics
1184:
1182:
1181:
1176:
1144:
1142:
1141:
1136:
1083:
1082:
1018:Planar spacetime
1001:Pavel Alexandrov
998:
996:
995:
990:
979:
978:
948:
946:
945:
940:
916:for some points
915:
913:
912:
907:
896:
895:
874:
873:
850:
848:
847:
842:
824:
822:
821:
816:
805:
804:
788:
786:
785:
780:
769:
768:
730:
728:
727:
722:
720:
719:
700:
698:
697:
692:
674:
672:
671:
666:
648:
646:
645:
640:
617:
616:
589:
588:
541:
539:
538:
533:
514:
512:
511:
506:
476:
474:
473:
468:
456:
454:
453:
448:
429:
427:
426:
421:
403:
401:
400:
395:
372:
370:
369:
364:
362:
361:
356:
303:four dimensional
264:
257:
250:
236:
231:
230:
223:
219:
218:
188:Curved spacetime
46:
27:
21:
1473:
1472:
1468:
1467:
1466:
1464:
1463:
1462:
1443:
1442:
1411:
1406:
1374:
1371:
1366:
1356:
1355:
1351:
1327:
1325:
1321:
1316:Wayback Machine
1307:
1303:
1299:
1247:
1149:
1148:
1074:
1036:
1035:
1020:
1010:) would be the
970:
965:
964:
954:strongly causal
918:
917:
887:
865:
860:
859:
827:
826:
796:
791:
790:
760:
755:
754:
753:such that both
747:
741:
711:
706:
705:
677:
676:
651:
650:
649:for some point
608:
580:
575:
574:
564:locally compact
548:
524:
523:
520:finest topology
479:
478:
459:
458:
457:there is a set
439:
438:
406:
405:
386:
385:
384:: The topology
379:
351:
346:
345:
334:
322:
291:physical theory
268:
239:
226:
213:
212:
204:
203:
202:
162:
154:
153:
152:
137:
129:
128:
127:
107:
99:
98:
97:
93:Minkowski space
72:
64:
23:
22:
15:
12:
11:
5:
1471:
1469:
1461:
1460:
1455:
1445:
1444:
1441:
1440:
1422:(2): 174–181.
1404:
1386:(4): 490–493.
1370:
1367:
1365:
1364:
1349:
1338:(2): 161–170.
1319:
1300:
1298:
1295:
1294:
1293:
1288:
1283:
1278:
1273:
1268:
1263:
1258:
1253:
1246:
1243:
1221:, and z → – j
1199:
1198:
1174:
1171:
1168:
1165:
1162:
1159:
1156:
1146:
1134:
1131:
1128:
1125:
1122:
1119:
1116:
1113:
1110:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1081:
1077:
1073:
1070:
1067:
1064:
1061:
1058:
1055:
1052:
1049:
1046:
1043:
1019:
1016:
988:
985:
982:
977:
973:
938:
935:
932:
929:
926:
905:
902:
899:
894:
890:
886:
883:
880:
877:
872:
868:
840:
837:
834:
814:
811:
808:
803:
799:
778:
775:
772:
767:
763:
740:
737:
718:
714:
690:
687:
684:
664:
661:
658:
638:
635:
632:
629:
626:
623:
620:
615:
611:
607:
604:
601:
598:
595:
592:
587:
583:
547:
544:
531:
504:
501:
498:
495:
492:
489:
486:
466:
446:
436:timelike curve
419:
416:
413:
393:
378:
375:
360:
355:
333:
330:
321:
318:
270:
269:
267:
266:
259:
252:
244:
241:
240:
238:
237:
224:
209:
206:
205:
201:
200:
195:
190:
185:
180:
175:
170:
164:
163:
160:
159:
156:
155:
151:
150:
145:
139:
138:
135:
134:
131:
130:
126:
125:
120:
115:
109:
108:
105:
104:
101:
100:
96:
95:
90:
85:
80:
74:
73:
70:
69:
66:
65:
63:
62:
57:
51:
48:
47:
39:
38:
32:
31:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1470:
1459:
1456:
1454:
1451:
1450:
1448:
1437:
1433:
1429:
1425:
1421:
1417:
1410:
1405:
1401:
1397:
1393:
1389:
1385:
1381:
1377:
1376:Zeeman, E. C.
1373:
1372:
1368:
1360:
1353:
1350:
1345:
1341:
1337:
1333:
1332:
1323:
1320:
1317:
1313:
1310:
1305:
1302:
1296:
1292:
1289:
1287:
1284:
1282:
1279:
1277:
1274:
1272:
1269:
1267:
1264:
1262:
1259:
1257:
1254:
1252:
1249:
1248:
1244:
1242:
1240:
1236:
1235:invariant set
1232:
1228:
1224:
1220:
1216:
1212:
1208:
1204:
1196:
1192:
1188:
1187:homeomorphism
1169:
1166:
1163:
1154:
1147:
1132:
1126:
1123:
1120:
1108:
1105:
1102:
1099:
1096:
1093:
1090:
1087:
1079:
1075:
1071:
1065:
1062:
1059:
1056:
1050:
1047:
1044:
1041:
1034:
1033:
1032:
1030:
1026:
1017:
1015:
1013:
1009:
1004:
1002:
983:
975:
971:
962:
957:
955:
950:
936:
933:
930:
927:
924:
900:
892:
888:
884:
878:
870:
866:
857:
852:
838:
835:
832:
809:
801:
797:
773:
765:
761:
752:
746:
738:
736:
734:
716:
712:
702:
688:
685:
682:
662:
659:
656:
636:
633:
627:
624:
621:
613:
609:
605:
599:
596:
593:
585:
581:
572:
567:
565:
561:
557:
553:
545:
543:
529:
521:
516:
502:
499:
496:
493:
490:
487:
484:
464:
444:
437:
434:if for every
433:
417:
414:
411:
391:
383:
376:
374:
358:
343:
339:
331:
329:
327:
319:
317:
315:
311:
307:
304:
300:
296:
292:
288:
284:
280:
276:
265:
260:
258:
253:
251:
246:
245:
243:
242:
235:
225:
222:
217:
211:
210:
208:
207:
199:
196:
194:
191:
189:
186:
184:
181:
179:
176:
174:
171:
169:
166:
165:
158:
157:
149:
146:
144:
141:
140:
133:
132:
124:
121:
119:
116:
114:
111:
110:
103:
102:
94:
91:
89:
86:
84:
81:
79:
76:
75:
68:
67:
61:
58:
56:
53:
52:
50:
49:
45:
41:
40:
37:
33:
29:
28:
19:
1419:
1415:
1383:
1379:
1358:
1352:
1335:
1329:
1322:
1304:
1222:
1218:
1214:
1210:
1206:
1200:
1190:
1021:
1011:
1005:
958:
951:
853:
748:
703:
568:
549:
517:
381:
380:
335:
325:
323:
274:
273:
197:
731:denote the
295:gravitation
168:Four-vector
1447:Categories
1369:References
1251:4-manifold
1237:under the
1229:on (0,0).
546:Properties
518:It is the
382:Definition
1227:null cone
1158:→
1115:→
1106:
1091:
1051:
934:∈
893:−
885:∩
854:Here the
836:⊂
802:−
717:±
686:⊂
660:∈
634:∪
614:−
606:∪
560:separable
556:Hausdorff
550:Strictly
500:∩
488:∩
415:⊂
392:ρ
342:open sets
299:curvature
283:spacetime
36:Spacetime
1331:Topology
1312:Archived
1291:Wormhole
1245:See also
1201:F is in
1195:rapidity
562:but not
338:manifold
310:topology
234:Category
1424:Bibcode
1388:Bibcode
1193:is the
1145:so that
297:as the
293:models
289:. This
277:is the
232:
1412:(PDF)
1297:Notes
552:finer
301:of a
1103:sinh
1088:cosh
856:base
789:and
571:base
432:open
1432:doi
1396:doi
1340:doi
1217:→ j
1209:→ –
1048:exp
1027:of
735:).
430:is
281:of
1449::
1430:.
1420:17
1418:.
1414:.
1394:.
1382:.
1334:.
1241:.
1213:,
1031::
1003:.
949:.
851:.
701:.
569:A
566:.
558:,
515:.
373:.
328:.
316:.
1438:.
1434::
1426::
1402:.
1398::
1390::
1384:5
1346:.
1342::
1336:6
1326:*
1223:z
1219:z
1215:z
1211:z
1207:z
1191:b
1173:)
1170:b
1167:,
1164:a
1161:(
1155:z
1133:,
1130:)
1127:b
1124:,
1121:a
1118:(
1112:)
1109:b
1100:j
1097:+
1094:b
1085:(
1080:a
1076:e
1072:=
1069:)
1066:b
1063:j
1060:+
1057:a
1054:(
1045:=
1042:z
987:)
984:E
981:(
976:+
972:Y
937:M
931:y
928:,
925:x
904:)
901:y
898:(
889:Y
882:)
879:x
876:(
871:+
867:Y
839:M
833:E
813:)
810:E
807:(
798:Y
777:)
774:E
771:(
766:+
762:Y
713:Y
704:(
689:M
683:U
663:M
657:p
637:p
631:)
628:U
625:,
622:p
619:(
610:Y
603:)
600:U
597:,
594:p
591:(
586:+
582:Y
530:M
503:c
497:O
494:=
491:c
485:E
465:O
445:c
418:M
412:E
359:4
354:R
326:M
263:e
256:t
249:v
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.