| dbo:abstract |
In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. 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. The name coproduct originates from the fact that the disjoint union is the categorical dual of the product space construction. (en) 位相空間論および関連した数学の分野において、位相空間の族の非交和（ひこうわ、英: disjoint union）または直和（ちょくわ、英: direct sum）とは、台集合の非交和（集合の直和）に非交和位相 (disjoint union topology) と呼ばれるを入れることによって形成される位相空間を言う。乱暴な言い方をすれば、2つ以上の空間をそれぞれ個々の空間と見なすと同時に、すべて一緒にした一つの空間としても考えるということである。 非交和空間は積空間の構成の圏論的双対となるため、余積 (coproduct) とも呼ばれる。そのほかにも、自由合併 (free union)、自由和 (free sum)、位相和 (topological sum) などの呼び名もある。 (ja) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Coproduct-02.png?width=300 |
| dbo:wikiPageID |
1564380 (xsd:integer) |
| dbo:wikiPageLength |
3893 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1020228955 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Product_topology dbr:Topological_embedding dbr:Topological_union dbr:Homeomorphic dbr:Mathematics dbr:General_topology dbr:Coproduct dbr:Commutative_diagram dbr:Hausdorff_space dbc:General_topology dbr:T0_space dbr:Discrete_space dbr:Disjoint_union dbr:Final_topology dbr:Continuous_function_(topology) dbr:If_and_only_if dbr:Iff dbr:Indexed_family dbr:Open_and_closed_maps dbr:Open_set dbr:Category_of_topological_spaces dbr:Subspace_topology dbr:Universal_property dbr:Natural_topology dbr:Topological_space dbr:T1_space dbr:Preimage dbr:Finest_topology dbr:Categorical_dual dbr:Disconnected_(topology) dbr:Quotient_topology dbr:Product_space dbr:Subspace_(topology) dbr:File:Coproduct-02.png |
| dbp:wikiPageUsesTemplate |
dbt:Unreferenced |
| dct:subject |
dbc:General_topology |
| gold:hypernym |
dbr:Space |
| rdfs:comment |
位相空間論および関連した数学の分野において、位相空間の族の非交和（ひこうわ、英: disjoint union）または直和（ちょくわ、英: direct sum）とは、台集合の非交和（集合の直和）に非交和位相 (disjoint union topology) と呼ばれるを入れることによって形成される位相空間を言う。乱暴な言い方をすれば、2つ以上の空間をそれぞれ個々の空間と見なすと同時に、すべて一緒にした一つの空間としても考えるということである。 非交和空間は積空間の構成の圏論的双対となるため、余積 (coproduct) とも呼ばれる。そのほかにも、自由合併 (free union)、自由和 (free sum)、位相和 (topological sum) などの呼び名もある。 (ja) In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. 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. (en) |
| rdfs:label |
Disjoint union (topology) (en) 直和 (位相空間論) (ja) |
| owl:sameAs |
freebase:Disjoint union (topology) wikidata:Disjoint union (topology) dbpedia-ja:Disjoint union (topology) https://global.dbpedia.org/id/4j8gE |
| prov:wasDerivedFrom |
wikipedia-en:Disjoint_union_(topology)?oldid=1020228955&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Coproduct-02.png |
| foaf:isPrimaryTopicOf |
wikipedia-en:Disjoint_union_(topology) |
| is dbo:wikiPageRedirects of |
dbr:Coproduct_in_the_category_of_topological_spaces dbr:Topological_disjoint_sum dbr:Topological_sum dbr:Coproduct_topology dbr:Disjoint_union_topology dbr:Free_sum dbr:Direct_sum_(topology) dbr:Direct_sum_topology |
| is dbo:wikiPageWikiLink of |
dbr:Coproduct_in_the_category_of_topological_spaces dbr:Topological_disjoint_sum dbr:Topological_sum dbr:Coproduct dbr:Compactly_generated_space dbr:Wedge_sum dbr:Mapping_cylinder dbr:Noncommutative_topology dbr:Adjunction_space dbr:Join_(topology) dbr:Local_homeomorphism dbr:Locally_compact_space dbr:Locally_connected_space dbr:Abstract_analytic_number_theory dbr:Coherent_topology dbr:CW_complex dbr:Fiber_bundle_construction_theorem dbr:Final_topology dbr:Coproduct_topology dbr:Category_of_topological_spaces dbr:Topological_manifold dbr:Disjoint_union_topology dbr:List_of_topologies dbr:Polyadic_space dbr:Totally_disconnected_space dbr:Strong_topology dbr:Free_sum dbr:Direct_sum_(topology) dbr:Direct_sum_topology |
| is foaf:primaryTopic of |
wikipedia-en:Disjoint_union_(topology) |
