20:
643:
1005:
359:
857:
1121:
218:
1210:
486:
875:
497:
232:
734:
661:, we see that two fiber bundles with the same base, fiber, structure group, trivializing neighborhoods, and transition functions are isomorphic.
99:
construction where one starts with a given bundle and surgically replaces the fiber with a new space while keeping all other data the same.
405:′ be another fiber bundle with the same base space, fiber, structure group, and trivializing neighborhoods, but transition functions
1326:
1303:
1048:
153:
1351:
710:
161:
714:
128:
1132:
1346:
424:
445:
867:
709:. That is, it actually constructs a fiber bundle with the given properties. One starts by taking the
706:
1322:
1299:
863:
124:
116:
96:
19:
1000:{\displaystyle (j,x,y)\sim (i,x,t_{ij}(x)\cdot y)\qquad \forall x\in U_{i}\cap U_{j},y\in F.}
638:{\displaystyle t'_{ij}(x)=t_{i}(x)^{-1}t_{ij}(x)t_{j}(x)\qquad \forall x\in U_{i}\cap U_{j}.}
1281:
673:
354:{\displaystyle t_{ik}(x)=t_{ij}(x)t_{jk}(x)\qquad \forall x\in U_{i}\cap U_{j}\cap U_{k}}
24:
1315:
436:
88:
67:, the Möbius strip. This can be visualised as a "twisting" of one of the local charts.
1340:
852:{\displaystyle T=\coprod _{i\in I}U_{i}\times F=\{(i,x,y):i\in I,x\in U_{i},y\in F\}}
16:
Constructs a fiber bundle from a base space, fiber and a set of transition functions
84:
27:
can be constructed by a non-trivial gluing of two trivial bundles on open subsets
72:
136:
92:
681:
1296:
Differential
Geometry: Cartan's Generalization of Klein's Erlangen Program
1280:
with the action of left multiplication then one obtains the associated
80:
91:. The theorem also gives conditions under which two such bundles are
47:) one obtains the trivial bundle, but with the non-trivial gluing of
1116:{\displaystyle \phi _{i}:\pi ^{-1}(U_{i})\to U_{i}\times F}
63:
on the second overlap, one obtains the non-trivial bundle
664:
A similar theorem holds in the smooth category, where
1135:
1051:
878:
737:
500:
448:
235:
164:
87:
from a given base space, fiber and a suitable set of
1314:
1272:′ in the construction theorem. If one takes
1204:
1115:
999:
851:
637:
480:
353:
212:
1026:is the map which sends the equivalence class of (
223:defined on each nonempty overlap, such that the
8:
846:
779:
657:to be constant functions to the identity in
213:{\displaystyle t_{ij}:U_{i}\cap U_{j}\to G}
1244:-space. One can form an associated bundle
1321:. Princeton: Princeton University Press.
1145:
1140:
1134:
1101:
1085:
1069:
1056:
1050:
976:
963:
922:
877:
828:
764:
748:
736:
626:
613:
584:
562:
549:
533:
505:
499:
466:
453:
447:
345:
332:
319:
287:
265:
240:
234:
198:
185:
169:
163:
18:
1260:by taking any local trivialization of
1205:{\displaystyle \phi _{i}^{-1}(x,y)=.}
7:
364:holds, there exists a fiber bundle
950:
600:
306:
95:. The theorem is important in the
14:
77:fiber bundle construction theorem
481:{\displaystyle t_{i}:U_{i}\to G}
1018:/~ and the projection π :
949:
599:
305:
1196:
1193:
1175:
1172:
1166:
1154:
1094:
1091:
1078:
946:
937:
931:
903:
897:
879:
800:
782:
596:
590:
577:
571:
546:
539:
523:
517:
472:
302:
296:
280:
274:
255:
249:
204:
1:
1317:The Topology of Fibre Bundles
684:with a smooth left action on
39:. When glued trivially (with
1256:′ and structure group
1042:. The local trivializations
705:The proof of the theorem is
389:} with transition functions
380:that is trivializable over {
1368:
1228:a fiber bundle with fiber
1333:See Part I, §2.10 and §3.
1313:Steenrod, Norman (1951).
1240:′ be another left
1298:. New York: Springer.
1294:Sharpe, R. W. (1997).
1206:
1117:
1001:
853:
639:
482:
439:there exist functions
355:
214:
129:continuous left action
68:
1207:
1118:
1002:
854:
640:
483:
356:
215:
22:
1352:Theorems in topology
1232:and structure group
1133:
1126:are then defined by
1049:
876:
868:equivalence relation
735:
498:
446:
376:and structure group
233:
162:
154:continuous functions
89:transition functions
1153:
862:and then forms the
516:
415:. If the action of
83:which constructs a
55:on one overlap and
1202:
1136:
1113:
997:
849:
759:
635:
501:
478:
351:
210:
117:topological spaces
69:
1216:Associated bundle
1014:of the bundle is
744:
225:cocycle condition
125:topological group
97:associated bundle
1359:
1332:
1320:
1309:
1282:principal bundle
1211:
1209:
1208:
1203:
1152:
1144:
1122:
1120:
1119:
1114:
1106:
1105:
1090:
1089:
1077:
1076:
1061:
1060:
1010:The total space
1006:
1004:
1003:
998:
981:
980:
968:
967:
930:
929:
858:
856:
855:
850:
833:
832:
769:
768:
758:
697:are all smooth.
674:smooth manifolds
644:
642:
641:
636:
631:
630:
618:
617:
589:
588:
570:
569:
557:
556:
538:
537:
512:
487:
485:
484:
479:
471:
470:
458:
457:
360:
358:
357:
352:
350:
349:
337:
336:
324:
323:
295:
294:
273:
272:
248:
247:
219:
217:
216:
211:
203:
202:
190:
189:
177:
176:
103:Formal statement
1367:
1366:
1362:
1361:
1360:
1358:
1357:
1356:
1337:
1336:
1329:
1312:
1306:
1293:
1290:
1218:
1131:
1130:
1097:
1081:
1065:
1052:
1047:
1046:
972:
959:
918:
874:
873:
824:
760:
733:
732:
724:
703:
696:
656:
622:
609:
580:
558:
545:
529:
496:
495:
462:
449:
444:
443:
435:are isomorphic
414:
397:
388:
341:
328:
315:
283:
261:
236:
231:
230:
194:
181:
165:
160:
159:
147:
105:
60:
52:
44:
17:
12:
11:
5:
1365:
1363:
1355:
1354:
1349:
1339:
1338:
1335:
1334:
1327:
1310:
1304:
1289:
1286:
1276:′ to be
1264:and replacing
1217:
1214:
1213:
1212:
1201:
1198:
1195:
1192:
1189:
1186:
1183:
1180:
1177:
1174:
1171:
1168:
1165:
1162:
1159:
1156:
1151:
1148:
1143:
1139:
1124:
1123:
1112:
1109:
1104:
1100:
1096:
1093:
1088:
1084:
1080:
1075:
1072:
1068:
1064:
1059:
1055:
1008:
1007:
996:
993:
990:
987:
984:
979:
975:
971:
966:
962:
958:
955:
952:
948:
945:
942:
939:
936:
933:
928:
925:
921:
917:
914:
911:
908:
905:
902:
899:
896:
893:
890:
887:
884:
881:
860:
859:
848:
845:
842:
839:
836:
831:
827:
823:
820:
817:
814:
811:
808:
805:
802:
799:
796:
793:
790:
787:
784:
781:
778:
775:
772:
767:
763:
757:
754:
751:
747:
743:
740:
720:
715:product spaces
711:disjoint union
702:
699:
692:
652:
646:
645:
634:
629:
625:
621:
616:
612:
608:
605:
602:
598:
595:
592:
587:
583:
579:
576:
573:
568:
565:
561:
555:
552:
548:
544:
541:
536:
532:
528:
525:
522:
519:
515:
511:
508:
504:
489:
488:
477:
474:
469:
465:
461:
456:
452:
437:if and only if
410:
393:
384:
362:
361:
348:
344:
340:
335:
331:
327:
322:
318:
314:
311:
308:
304:
301:
298:
293:
290:
286:
282:
279:
276:
271:
268:
264:
260:
257:
254:
251:
246:
243:
239:
221:
220:
209:
206:
201:
197:
193:
188:
184:
180:
175:
172:
168:
143:
104:
101:
58:
50:
42:
35:of the circle
15:
13:
10:
9:
6:
4:
3:
2:
1364:
1353:
1350:
1348:
1347:Fiber bundles
1345:
1344:
1342:
1330:
1328:0-691-00548-6
1324:
1319:
1318:
1311:
1307:
1305:0-387-94732-9
1301:
1297:
1292:
1291:
1287:
1285:
1283:
1279:
1275:
1271:
1267:
1263:
1259:
1255:
1252:with a fiber
1251:
1247:
1243:
1239:
1235:
1231:
1227:
1223:
1215:
1199:
1190:
1187:
1184:
1181:
1178:
1169:
1163:
1160:
1157:
1149:
1146:
1141:
1137:
1129:
1128:
1127:
1110:
1107:
1102:
1098:
1086:
1082:
1073:
1070:
1066:
1062:
1057:
1053:
1045:
1044:
1043:
1041:
1037:
1033:
1029:
1025:
1021:
1017:
1013:
994:
991:
988:
985:
982:
977:
973:
969:
964:
960:
956:
953:
943:
940:
934:
926:
923:
919:
915:
912:
909:
906:
900:
894:
891:
888:
885:
882:
872:
871:
870:
869:
865:
843:
840:
837:
834:
829:
825:
821:
818:
815:
812:
809:
806:
803:
797:
794:
791:
788:
785:
776:
773:
770:
765:
761:
755:
752:
749:
745:
741:
738:
731:
730:
729:
728:
723:
719:
716:
712:
708:
700:
698:
695:
691:
688:and the maps
687:
683:
679:
675:
671:
667:
662:
660:
655:
651:
632:
627:
623:
619:
614:
610:
606:
603:
593:
585:
581:
574:
566:
563:
559:
553:
550:
542:
534:
530:
526:
520:
513:
509:
506:
502:
494:
493:
492:
475:
467:
463:
459:
454:
450:
442:
441:
440:
438:
434:
430:
426:
422:
418:
413:
408:
404:
399:
396:
392:
387:
383:
379:
375:
371:
367:
346:
342:
338:
333:
329:
325:
320:
316:
312:
309:
299:
291:
288:
284:
277:
269:
266:
262:
258:
252:
244:
241:
237:
229:
228:
227:
226:
207:
199:
195:
191:
186:
182:
178:
173:
170:
166:
158:
157:
156:
155:
152:and a set of
151:
146:
142:
138:
134:
130:
126:
122:
118:
114:
110:
102:
100:
98:
94:
90:
86:
82:
78:
74:
66:
62:
54:
46:
38:
34:
30:
26:
21:
1316:
1295:
1277:
1273:
1269:
1265:
1261:
1257:
1253:
1249:
1245:
1241:
1237:
1233:
1229:
1225:
1221:
1219:
1125:
1039:
1035:
1031:
1027:
1023:
1019:
1015:
1011:
1009:
861:
726:
721:
717:
707:constructive
704:
701:Construction
693:
689:
685:
677:
669:
665:
663:
658:
653:
649:
647:
490:
432:
431:′ and
428:
420:
416:
411:
406:
402:
400:
394:
390:
385:
381:
377:
373:
369:
365:
363:
224:
222:
149:
144:
140:
132:
120:
112:
108:
106:
85:fiber bundle
76:
70:
64:
56:
48:
40:
36:
32:
28:
25:Möbius strip
372:with fiber
135:. Given an
73:mathematics
1341:Categories
1288:References
1248:′ →
1236:, and let
491:such that
137:open cover
93:isomorphic
1147:−
1138:ϕ
1108:×
1095:→
1071:−
1067:π
1054:ϕ
989:∈
970:∩
957:∈
951:∀
941:⋅
901:∼
841:∈
822:∈
810:∈
771:×
753:∈
746:∐
682:Lie group
620:∩
607:∈
601:∀
551:−
473:→
339:∩
326:∩
313:∈
307:∀
205:→
192:∩
864:quotient
514:′
425:faithful
119:and let
866:by the
725:×
713:of the
648:Taking
427:, then
409:′
127:with a
81:theorem
1325:
1302:
75:, the
1038:) to
680:is a
148:} of
123:be a
79:is a
1323:ISBN
1300:ISBN
1220:Let
672:are
668:and
401:Let
111:and
107:Let
31:and
23:The
1268:by
423:is
419:on
131:on
115:be
71:In
61:=-1
1343::
1284:.
1224:→
1034:,
1030:,
1022:→
694:ij
676:,
412:ij
398:.
395:ij
368:→
59:UV
53:=1
51:UV
45:=1
43:UV
1331:.
1308:.
1278:G
1274:F
1270:F
1266:F
1262:E
1258:G
1254:F
1250:X
1246:E
1242:G
1238:F
1234:G
1230:F
1226:X
1222:E
1200:.
1197:]
1194:)
1191:y
1188:,
1185:x
1182:,
1179:i
1176:(
1173:[
1170:=
1167:)
1164:y
1161:,
1158:x
1155:(
1150:1
1142:i
1111:F
1103:i
1099:U
1092:)
1087:i
1083:U
1079:(
1074:1
1063::
1058:i
1040:x
1036:y
1032:x
1028:i
1024:X
1020:E
1016:T
1012:E
995:.
992:F
986:y
983:,
978:j
974:U
965:i
961:U
954:x
947:)
944:y
938:)
935:x
932:(
927:j
924:i
920:t
916:,
913:x
910:,
907:i
904:(
898:)
895:y
892:,
889:x
886:,
883:j
880:(
847:}
844:F
838:y
835:,
830:i
826:U
819:x
816:,
813:I
807:i
804::
801:)
798:y
795:,
792:x
789:,
786:i
783:(
780:{
777:=
774:F
766:i
762:U
756:I
750:i
742:=
739:T
727:F
722:i
718:U
690:t
686:Y
678:G
670:Y
666:X
659:G
654:i
650:t
633:.
628:j
624:U
615:i
611:U
604:x
597:)
594:x
591:(
586:j
582:t
578:)
575:x
572:(
567:j
564:i
560:t
554:1
547:)
543:x
540:(
535:i
531:t
527:=
524:)
521:x
518:(
510:j
507:i
503:t
476:G
468:i
464:U
460::
455:i
451:t
433:E
429:E
421:F
417:G
407:t
403:E
391:t
386:i
382:U
378:G
374:F
370:X
366:E
347:k
343:U
334:j
330:U
321:i
317:U
310:x
303:)
300:x
297:(
292:k
289:j
285:t
281:)
278:x
275:(
270:j
267:i
263:t
259:=
256:)
253:x
250:(
245:k
242:i
238:t
208:G
200:j
196:U
187:i
183:U
179::
174:j
171:i
167:t
150:X
145:i
141:U
139:{
133:F
121:G
113:F
109:X
65:E
57:g
49:g
41:g
37:S
33:V
29:U
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.