Difference between revisions of "Germ"
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
Ulf Rehmann (talk | contribs) 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, | + | {{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]]; | |
| − | + | [[Meromorphic function|Meromorphic function]]; | |
| − | + | [[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 | + | 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==== | ||
| − | + | {| | |
| + | |- | ||
| + | |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 |
Germ. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Germ&oldid=24456