Namespaces
Variants
Actions

Difference between revisions of "Germ"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex,MR,ZBL,MSC, refs)
 
Line 1: Line 1:
A term signifying a "pointwise localization" of various mathematical objects (germs of functions, germs of mappings, germs of analytic sets, etc.). Let, for example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443901.png" /> be a point in a topological space and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443902.png" /> be some family of functions defined in a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443903.png" /> (each in its own neighbourhood). Two functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443904.png" /> are said to be equivalent (at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443905.png" />) if they coincide in some neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443906.png" />. An equivalence class generated by this relation is called a germ of functions of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443907.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443908.png" />. In this way are defined the germs of continuous functions, of differentiable functions at the points of a differentiable manifold, of holomorphic functions at the points of a complex manifold, etc. If the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g0443909.png" /> has some algebraic structure, then the set of germs of functions of the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g04439010.png" /> inherits this structure (the operations are carried out on representatives of classes). In particular, the germs of holomorphic functions at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g04439011.png" /> form a ring. Elements of the quotient field of this ring are called germs of meromorphic functions at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044390/g04439012.png" />.
+
{{MSC|14}}
 +
{{TEX|done}}
 +
 
 +
A term signifying a "pointwise localization" of various mathematical objects (germs of functions, germs of mappings, germs of analytic sets, etc.). Let, for example, $x$ be a point in a topological space and let $F$ be some family of functions defined in a neighbourhood of $x$ (each in its own neighbourhood). Two functions $f,g\in F$ are said to be equivalent (at $x$) if they coincide in some neighbourhood of $x$. An equivalence class generated by this relation is called a germ of functions of class $F$ at $x$. In this way are defined the germs of continuous functions, of differentiable functions at the points of a differentiable manifold, of holomorphic functions at the points of a complex manifold, etc. If the family $F$ has some algebraic structure, then the set of germs of functions of the family $F$ inherits this structure (the operations are carried out on representatives of classes). In particular, the germs of holomorphic functions at a point $z$ form a ring. Elements of the quotient field of this ring are called germs of meromorphic functions at $z$.
  
 
Similarly one can define a germ of a family of subsets of a topological space. For instance, at the points of an analytic manifold there are germs of analytic sets (the equivalence class is defined by coincidence in a neighbourhood of a given point). On germs of families of subsets set-theoretic operations and relations are naturally defined. The notion of a germ is also meaningful in the case of other objects defined on open subsets of a topological space.
 
Similarly one can define a germ of a family of subsets of a topological space. For instance, at the points of an analytic manifold there are germs of analytic sets (the equivalence class is defined by coincidence in a neighbourhood of a given point). On germs of families of subsets set-theoretic operations and relations are naturally defined. The notion of a germ is also meaningful in the case of other objects defined on open subsets of a topological space.
  
See also [[Analytic function|Analytic function]]; [[Meromorphic function|Meromorphic function]]; [[Sheaf|Sheaf]].
+
See also
 
+
[[Analytic function|Analytic function]];
====References====
+
[[Meromorphic function|Meromorphic function]];
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965) {{MR|0180696}} {{ZBL|0141.08601}} </TD></TR></table>
+
[[Sheaf|Sheaf]].
 
 
  
  
Line 13: Line 15:
 
The germs of analytic spaces or schemes are characterized by the stalks of their structure sheaves. These are local rings.
 
The germs of analytic spaces or schemes are characterized by the stalks of their structure sheaves. These are local rings.
  
The study of germs of differentiable mappings is the subject of singularity theory (cf. [[Singularities of differentiable mappings|Singularities of differentiable mappings]]).
+
The study of germs of differentiable mappings is the subject of singularity theory (cf.
 +
[[Singularities of differentiable mappings|Singularities of differentiable mappings]]).
  
An important theorem for the theory of germs of analytic sets is Weierstrass' preparation theorem (cf. [[Weierstrass theorem|Weierstrass theorem]]), see also [[#References|[a1]]].
+
An important theorem for the theory of germs of analytic sets is Weierstrass' preparation theorem (cf.
 +
[[Weierstrass theorem|Weierstrass theorem]]), see also
 +
{{Cite|He}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Hervé, "Several complex variables: local theory" , Oxford Univ. Press (1967) {{MR|0188479}} {{MR|0151632}} {{ZBL|0646.32001}} {{ZBL|0133.04003}} {{ZBL|0113.29003}} </TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|GuRo}}||valign="top"| R.C. Gunning, H. Rossi, "Analytic functions of several complex variables", Prentice-Hall (1965) {{MR|0180696}} {{ZBL|0141.08601}}
 +
|-
 +
|valign="top"|{{Ref|He}}||valign="top"| M. Hervé, "Several complex variables: local theory", Oxford Univ. Press (1967) {{MR|0188479}} {{MR|0151632}} {{ZBL|0646.32001}} {{ZBL|0133.04003}} {{ZBL|0113.29003}}
 +
|-
 +
|}

Latest revision as of 22:36, 24 November 2013

2020 Mathematics Subject Classification: Primary: 14-XX [MSN][ZBL]

A term signifying a "pointwise localization" of various mathematical objects (germs of functions, germs of mappings, germs of analytic sets, etc.). Let, for example, $x$ be a point in a topological space and let $F$ be some family of functions defined in a neighbourhood of $x$ (each in its own neighbourhood). Two functions $f,g\in F$ are said to be equivalent (at $x$) if they coincide in some neighbourhood of $x$. An equivalence class generated by this relation is called a germ of functions of class $F$ at $x$. In this way are defined the germs of continuous functions, of differentiable functions at the points of a differentiable manifold, of holomorphic functions at the points of a complex manifold, etc. If the family $F$ has some algebraic structure, then the set of germs of functions of the family $F$ inherits this structure (the operations are carried out on representatives of classes). In particular, the germs of holomorphic functions at a point $z$ form a ring. Elements of the quotient field of this ring are called germs of meromorphic functions at $z$.

Similarly one can define a germ of a family of subsets of a topological space. For instance, at the points of an analytic manifold there are germs of analytic sets (the equivalence class is defined by coincidence in a neighbourhood of a given point). On germs of families of subsets set-theoretic operations and relations are naturally defined. The notion of a germ is also meaningful in the case of other objects defined on open subsets of a topological space.

See also Analytic function; Meromorphic function; Sheaf.


Comments

The germs of analytic spaces or schemes are characterized by the stalks of their structure sheaves. These are local rings.

The study of germs of differentiable mappings is the subject of singularity theory (cf. Singularities of differentiable mappings).

An important theorem for the theory of germs of analytic sets is Weierstrass' preparation theorem (cf. Weierstrass theorem), see also [He].

References

[GuRo] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables", Prentice-Hall (1965) MR0180696 Zbl 0141.08601
[He] M. Hervé, "Several complex variables: local theory", Oxford Univ. Press (1967) MR0188479 MR0151632 Zbl 0646.32001 Zbl 0133.04003 Zbl 0113.29003
How to Cite This Entry:
Germ. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Germ&oldid=24456
This article was adapted from an original article by e of','../p/p074440.htm','Riemann–Schwarz principle','../r/r081990.htm','Runge theorem','../r/r082830.htm','Tube domain','../t/t094410.htm')" style="background-color:yellow;">E.M. Chirka (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article