649:
33:
342:
403:
527:
277:
189:. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other.
446:
54:
105:
77:
84:
91:
124:
73:
62:
648:
17:
661:
449:
300:
58:
354:
488:
239:
913:
98:
43:
424:
863:
47:
731:
727:
8:
744:
642:
592:
892:
887:
883:
174:
877:
197:
182:
138:
849:
414:
591:, together with the canonical injections, can be characterized by the following
809:
796:
479:
453:
283:
178:
170:
463:
Explicitly, the disjoint union topology can be described as follows. A subset
907:
781:
201:
769:
142:
657:
32:
835:
821:
483:
472:
862:
The disjoint union of two or more nonempty topological spaces is
895:, a generalization to the case where the pieces are not disjoint
707:
In addition to being continuous, the canonical injections ฯ
664:. It follows from the above universal property that a map
802:
677:
558:
196:
originates from the fact that the disjoint union is the
491:
427:
357:
303:
242:
521:
440:
397:
336:
271:
905:
229:} be a family of topological spaces indexed by
546:. Yet another formulation is that a subset
61:. Unsourced material may be challenged and
656:This shows that the disjoint union is the
652:Characteristic property of disjoint unions
337:{\displaystyle \varphi _{i}:X_{i}\to X\,}
333:
125:Learn how and when to remove this message
641:such that the following set of diagrams
421:for which all the canonical injections
14:
906:
803:Preservation of topological properties
460:induced by the canonical injections).
730:. It follows that the injections are
398:{\displaystyle \varphi _{i}(x)=(x,i)}
522:{\displaystyle \varphi _{i}^{-1}(U)}
59:adding citations to reliable sources
26:
743:may be canonically thought of as a
272:{\displaystyle X=\coprod _{i}X_{i}}
177:is a space formed by equipping the
24:
647:
25:
925:
286:of the underlying sets. For each
31:
662:category of topological spaces
516:
510:
392:
380:
374:
368:
327:
181:of the underlying sets with a
74:"Disjoint union" topology
13:
1:
899:
617:is a continuous map for each
582:
207:
599:is a topological space, and
441:{\displaystyle \varphi _{i}}
7:
871:
754:
10:
930:
776:, then the disjoint union
587:The disjoint union space
848:Every disjoint union of
834:Every disjoint union of
820:Every disjoint union of
808:Every disjoint union of
880:, the dual construction
780:is homeomorphic to the
407:disjoint union topology
187:disjoint union topology
732:topological embeddings
696:is continuous for all
653:
561:its intersection with
523:
442:
399:
338:
273:
651:
524:
443:
400:
339:
274:
141:and related areas of
728:open and closed maps
625:, then there exists
568:is open relative to
554:is open relative to
489:
425:
355:
301:
240:
55:improve this article
509:
349:canonical injection
654:
593:universal property
519:
492:
438:
413:is defined as the
395:
334:
269:
258:
175:topological spaces
149:(also called the
893:topological union
888:quotient topology
884:subspace topology
797:discrete topology
772:to a fixed space
452:(i.e.: it is the
249:
135:
134:
127:
109:
16:(Redirected from
921:
914:General topology
878:product topology
850:Hausdorff spaces
528:
526:
525:
520:
508:
500:
447:
445:
444:
439:
437:
436:
404:
402:
401:
396:
367:
366:
343:
341:
340:
335:
326:
325:
313:
312:
278:
276:
275:
270:
268:
267:
257:
198:categorical dual
183:natural topology
139:general topology
130:
123:
119:
116:
110:
108:
67:
35:
27:
21:
929:
928:
924:
923:
922:
920:
919:
918:
904:
903:
902:
874:
845:
839:
831:
825:
810:discrete spaces
805:
767:
757:
742:
721:
712:
695:
684:
629:continuous map
611:
604:
585:
573:
566:
537:
501:
496:
490:
487:
486:
432:
428:
426:
423:
422:
415:finest topology
362:
358:
356:
353:
352:
321:
317:
308:
304:
302:
299:
298:
263:
259:
253:
241:
238:
237:
220:
210:
163:topological sum
131:
120:
114:
111:
68:
66:
52:
36:
23:
22:
18:Topological sum
15:
12:
11:
5:
927:
917:
916:
901:
898:
897:
896:
890:
881:
873:
870:
869:
868:
867:
866:
855:
854:
853:
846:
843:
837:
832:
829:
823:
813:
804:
801:
763:
756:
753:
738:
717:
708:
691:
682:
676:is continuous
609:
602:
584:
581:
571:
564:
533:
518:
515:
512:
507:
504:
499:
495:
480:if and only if
454:final topology
435:
431:
394:
391:
388:
385:
382:
379:
376:
373:
370:
365:
361:
345:
344:
332:
329:
324:
320:
316:
311:
307:
284:disjoint union
280:
279:
266:
262:
256:
252:
248:
245:
216:
209:
206:
204:construction.
179:disjoint union
147:disjoint union
133:
132:
39:
37:
30:
9:
6:
4:
3:
2:
926:
915:
912:
911:
909:
894:
891:
889:
886:and its dual
885:
882:
879:
876:
875:
865:
861:
860:
859:
858:Connectedness
856:
851:
847:
841:
833:
827:
819:
818:
817:
814:
811:
807:
806:
800:
798:
794:
790:
786:
783:
782:product space
779:
775:
771:
766:
762:
752:
750:
746:
741:
737:
734:so that each
733:
729:
725:
720:
716:
711:
705:
703:
699:
694:
689:
685:
679:
675:
671:
667:
663:
659:
650:
646:
644:
640:
636:
632:
628:
627:precisely one
624:
620:
616:
612:
605:
598:
594:
590:
580:
578:
574:
567:
560:
557:
553:
549:
545:
541:
536:
532:
513:
505:
502:
497:
493:
485:
481:
478:
474:
470:
466:
461:
459:
455:
451:
433:
429:
420:
416:
412:
408:
389:
386:
383:
377:
371:
363:
359:
350:
330:
322:
318:
314:
309:
305:
297:
296:
295:
293:
289:
285:
264:
260:
254:
250:
246:
243:
236:
235:
234:
232:
228:
224:
219:
215:
205:
203:
202:product space
199:
195:
190:
188:
184:
180:
176:
172:
168:
164:
160:
156:
152:
148:
144:
140:
129:
126:
118:
107:
104:
100:
97:
93:
90:
86:
83:
79:
76: โ
75:
71:
70:Find sources:
64:
60:
56:
50:
49:
45:
40:This article
38:
34:
29:
28:
19:
864:disconnected
857:
852:is Hausdorff
815:
792:
788:
784:
777:
773:
770:homeomorphic
764:
760:
758:
748:
739:
735:
723:
718:
714:
709:
706:
701:
697:
692:
687:
680:
673:
669:
665:
655:
638:
634:
630:
626:
622:
618:
614:
607:
600:
596:
588:
586:
576:
569:
562:
555:
551:
547:
543:
539:
534:
530:
476:
468:
464:
462:
457:
418:
410:
406:
351:(defined by
348:
346:
291:
287:
281:
230:
226:
222:
217:
213:
211:
193:
191:
186:
166:
162:
158:
154:
150:
146:
136:
121:
115:October 2009
112:
102:
95:
88:
81:
69:
53:Please help
41:
812:is discrete
529:is open in
185:called the
143:mathematics
900:References
816:Separation
583:Properties
450:continuous
208:Definition
155:free union
151:direct sum
85:newspapers
658:coproduct
575:for each
538:for each
503:−
494:φ
430:φ
360:φ
328:→
306:φ
251:∐
194:coproduct
192:The name
167:coproduct
42:does not
908:Category
872:See also
795:has the
759:If each
755:Examples
745:subspace
713: :
668: :
633: :
606: :
484:preimage
221: :
159:free sum
787:×
660:in the
643:commute
405:). The
347:be the
282:be the
200:of the
169:) of a
99:scholar
63:removed
48:sources
840:spaces
826:spaces
791:where
294:, let
233:. Let
171:family
145:, the
101:
94:
87:
80:
72:
595:: If
212:Let {
165:, or
106:JSTOR
92:books
842:is T
828:is T
726:are
482:its
473:open
448:are
78:news
46:any
44:cite
768:is
747:of
700:in
690:o ฯ
678:iff
559:iff
550:of
475:in
471:is
467:of
456:on
417:on
409:on
290:in
173:of
137:In
57:by
910::
799:.
751:.
722:โ
704:.
686:=
672:โ
645::
637:โ
621:โ
613:โ
579:.
542:โ
225:โ
161:,
157:,
153:,
844:1
838:1
836:T
830:0
824:0
822:T
793:I
789:I
785:A
778:X
774:A
765:i
761:X
749:X
740:i
736:X
724:X
719:i
715:X
710:i
702:I
698:i
693:i
688:f
683:i
681:f
674:Y
670:X
666:f
639:Y
635:X
631:f
623:I
619:i
615:Y
610:i
608:X
603:i
601:f
597:Y
589:X
577:i
572:i
570:X
565:i
563:X
556:X
552:X
548:V
544:I
540:i
535:i
531:X
517:)
514:U
511:(
506:1
498:i
477:X
469:X
465:U
458:X
434:i
419:X
411:X
393:)
390:i
387:,
384:x
381:(
378:=
375:)
372:x
369:(
364:i
331:X
323:i
319:X
315::
310:i
292:I
288:i
265:i
261:X
255:i
247:=
244:X
231:I
227:I
223:i
218:i
214:X
128:)
122:(
117:)
113:(
103:ยท
96:ยท
89:ยท
82:ยท
65:.
51:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.