Namespaces
Variants
Actions

Difference between revisions of "Irreducible analytic space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
An [[Analytic space|analytic space]] that cannot be represented as the union of a locally finite family of analytic subspaces. An irreducible analytic space is a generalization of the concept of an irreducible [[Analytic set|analytic set]]. Every analytic space can be represented uniquely as an irreducible union of a locally finite family of irreducible analytic subspaces, its so-called irreducible components (the stratification of a space into irreducible components). A complex-analytic manifold is irreducible if and only if it is connected; the irreducible components of a manifold are its connected components. The germ of an analytic space at a given point of it is called irreducible if it cannot be represented as a union of finitely many germs of analytic subspaces at the same point. Every germ of an analytic space at a point can be represented uniquely as a union of finitely many irreducible subgerms of it. The germ of a reduced [[Complex space|complex space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052570/i0525701.png" /> at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052570/i0525702.png" /> is irreducible if and only if the local ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052570/i0525703.png" /> has no divisors of zero. A complex space whose germs at all its points are irreducible is itself irreducible if and only if it is connected; the irreducible components of a complex space are its connected components.
+
<!--
 +
i0525701.png
 +
$#A+1 = 3 n = 0
 +
$#C+1 = 3 : ~/encyclopedia/old_files/data/I052/I.0502570 Irreducible analytic space
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
An [[Analytic space|analytic space]] that cannot be represented as the union of a locally finite family of analytic subspaces. An irreducible analytic space is a generalization of the concept of an irreducible [[Analytic set|analytic set]]. Every analytic space can be represented uniquely as an irreducible union of a locally finite family of irreducible analytic subspaces, its so-called irreducible components (the stratification of a space into irreducible components). A complex-analytic manifold is irreducible if and only if it is connected; the irreducible components of a manifold are its connected components. The germ of an analytic space at a given point of it is called irreducible if it cannot be represented as a union of finitely many germs of analytic subspaces at the same point. Every germ of an analytic space at a point can be represented uniquely as a union of finitely many irreducible subgerms of it. The germ of a reduced [[Complex space|complex space]] $  ( X , {\mathcal O} ) $
 +
at a point $  x \in X $
 +
is irreducible if and only if the local ring $  {\mathcal O} _ {x} $
 +
has no divisors of zero. A complex space whose germs at all its points are irreducible is itself irreducible if and only if it is connected; the irreducible components of a complex space are its connected components.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R.C. Gunning,  H. Rossi,  "Analytic functions of several complex variables" , Prentice-Hall  (1965)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M. Hervé,  "Several complex variables: local theory" , Oxford Univ. Press  (1963)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R.C. Gunning,  H. Rossi,  "Analytic functions of several complex variables" , Prentice-Hall  (1965)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M. Hervé,  "Several complex variables: local theory" , Oxford Univ. Press  (1963)</TD></TR></table>

Latest revision as of 22:13, 5 June 2020


An analytic space that cannot be represented as the union of a locally finite family of analytic subspaces. An irreducible analytic space is a generalization of the concept of an irreducible analytic set. Every analytic space can be represented uniquely as an irreducible union of a locally finite family of irreducible analytic subspaces, its so-called irreducible components (the stratification of a space into irreducible components). A complex-analytic manifold is irreducible if and only if it is connected; the irreducible components of a manifold are its connected components. The germ of an analytic space at a given point of it is called irreducible if it cannot be represented as a union of finitely many germs of analytic subspaces at the same point. Every germ of an analytic space at a point can be represented uniquely as a union of finitely many irreducible subgerms of it. The germ of a reduced complex space $ ( X , {\mathcal O} ) $ at a point $ x \in X $ is irreducible if and only if the local ring $ {\mathcal O} _ {x} $ has no divisors of zero. A complex space whose germs at all its points are irreducible is itself irreducible if and only if it is connected; the irreducible components of a complex space are its connected components.

References

[1] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965)
[2] M. Hervé, "Several complex variables: local theory" , Oxford Univ. Press (1963)
How to Cite This Entry:
Irreducible analytic space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Irreducible_analytic_space&oldid=16093
This article was adapted from an original article by D.A. Ponomarev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article