Namespaces
Variants
Actions

Difference between revisions of "Disjunctive sum"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
''disjunct sum, of topological spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333201.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333202.png" />''
+
<!--
 +
d0333201.png
 +
$#A+1 = 15 n = 0
 +
$#C+1 = 15 : ~/encyclopedia/old_files/data/D033/D.0303320 Disjunctive sum,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333203.png" />, where each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333204.png" /> is a copy of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333205.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333206.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333207.png" />, while the topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333208.png" /> is defined by the condition that a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d0333209.png" /> is open in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d03332010.png" /> if and only if its intersection with each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d03332011.png" /> is open. In other words, each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d03332012.png" /> is open and closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d03332013.png" />.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
 +
''disjunct sum, of topological spaces  $  X _  \alpha  $,
 +
$  \alpha \in A $''
  
 +
The space  $  Y = \cup _ {\alpha \in A }  Y _  \alpha  $,
 +
where each  $  Y _  \alpha  $
 +
is a copy of  $  X _  \alpha  $
 +
and  $  Y _ {\alpha _ {1}  } \cap Y _ {\alpha _ {2}  } = \emptyset $
 +
for  $  \alpha _ {1} \neq \alpha _ {2} $,
 +
while the topology on  $  Y $
 +
is defined by the condition that a set  $  U $
 +
is open in  $  Y $
 +
if and only if its intersection with each  $  Y _  \alpha  $
 +
is open. In other words, each  $  Y _  \alpha  $
 +
is open and closed in  $  Y $.
  
 
====Comments====
 
====Comments====
The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d03332014.png" /> is also called the discrete sum or the discrete union of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033320/d03332015.png" />.
+
The space $  Y $
 +
is also called the discrete sum or the discrete union of the $  X _  \alpha  $.

Latest revision as of 19:36, 5 June 2020


disjunct sum, of topological spaces $ X _ \alpha $, $ \alpha \in A $

The space $ Y = \cup _ {\alpha \in A } Y _ \alpha $, where each $ Y _ \alpha $ is a copy of $ X _ \alpha $ and $ Y _ {\alpha _ {1} } \cap Y _ {\alpha _ {2} } = \emptyset $ for $ \alpha _ {1} \neq \alpha _ {2} $, while the topology on $ Y $ is defined by the condition that a set $ U $ is open in $ Y $ if and only if its intersection with each $ Y _ \alpha $ is open. In other words, each $ Y _ \alpha $ is open and closed in $ Y $.

Comments

The space $ Y $ is also called the discrete sum or the discrete union of the $ X _ \alpha $.

How to Cite This Entry:
Disjunctive sum. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Disjunctive_sum&oldid=46744
This article was adapted from an original article by A.A. Mal'tsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article