Namespaces
Variants
Actions

Difference between revisions of "Irreducible mapping"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
A [[Continuous mapping|continuous mapping]] of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525901.png" /> onto a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525902.png" /> such that the image of every closed set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525903.png" />, other than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525904.png" /> itself, is different from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525905.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525906.png" /> is a continuous mapping, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525907.png" />, and if all inverse images of points under <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525908.png" /> are compact, then there exists a closed subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i0525909.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i05259010.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i05259011.png" /> and such that the restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i05259012.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i05259013.png" /> is an irreducible mapping. The combination of the requirements on a mapping of being irreducible and being closed has an outstanding effect: Spaces linked by such mappings do not differ in a number of important characteristics; in particular, they have the same Suslin number and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052590/i05259014.png" />-weight. But the main value of closed irreducible mappings lies in the central role they play in the theory of absolutes.
+
A [[continuous mapping]] of a topological space $X$ onto a topological space $Y$ such that the image of every closed set in $X$, other than $X$ itself, is different from $Y$. If $f : X \rightarrow Y$ is a continuous mapping, $f(X) = Y$, and if all inverse images of points under $f$ are compact, then there exists a closed subspace $X_1$ in $X$ such that $f(X_1) = Y$ and such that the restriction of $f$ to $X_1$ is an irreducible mapping. The combination of the requirements on a mapping of being irreducible and being [[Closed mapping|closed]] has an outstanding effect: Spaces linked by such mappings do not differ in a number of important [[cardinal characteristic]]s; in particular, they have the same [[Suslin number]] and $\pi$-weight. But the main value of closed irreducible mappings lies in the central role they play in the theory of [[absolute]]s.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.V. Arkhangel'skii,  V.I. Ponomarev,  "Fundamentals of general topology: problems and exercises" , Reidel  (1984)  (Translated from Russian)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  A.V. Arkhangel'skii,  V.I. Ponomarev,  "Fundamentals of general topology: problems and exercises" , Reidel  (1984)  (Translated from Russian)</TD></TR>
 +
</table>
  
 +
====References====
 +
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  J.R. Porter,  R.G. Woods,  "Extensions and absolutes of Hausdorff spaces" , Springer  (1988)</TD></TR>
 +
</table>
  
 
+
{{TEX|done}}
====Comments====
 
See [[Absolute|Absolute]].
 
 
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J.R. Porter,  R.G. Woods,  "Extensions and absolutes of Hausdorff spaces" , Springer  (1988)</TD></TR></table>
 

Latest revision as of 20:43, 14 October 2017

A continuous mapping of a topological space $X$ onto a topological space $Y$ such that the image of every closed set in $X$, other than $X$ itself, is different from $Y$. If $f : X \rightarrow Y$ is a continuous mapping, $f(X) = Y$, and if all inverse images of points under $f$ are compact, then there exists a closed subspace $X_1$ in $X$ such that $f(X_1) = Y$ and such that the restriction of $f$ to $X_1$ is an irreducible mapping. The combination of the requirements on a mapping of being irreducible and being closed has an outstanding effect: Spaces linked by such mappings do not differ in a number of important cardinal characteristics; in particular, they have the same Suslin number and $\pi$-weight. But the main value of closed irreducible mappings lies in the central role they play in the theory of absolutes.

References

[1] A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian)

References

[a1] J.R. Porter, R.G. Woods, "Extensions and absolutes of Hausdorff spaces" , Springer (1988)
How to Cite This Entry:
Irreducible mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Irreducible_mapping&oldid=16891
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article