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