Lexikon der Mathematik: Idealgarbe von holomorphen Funktionen
wichtiges Beispiel einer Idealgarbe (Untergarbe).
Sei B ∈ ℂn ein Bereich und \({\mathscr{O}}\) die Garbe der konvergenten Potenzreihen. \({\mathscr{S}}\) sei eine analytische Garbe über B, d. h. eine Garbe von \({\mathscr{O}}\)-Moduln über B. \( {\mathcal I} \subset {\mathscr{O}}\) sei eine analytische Untergarbe (wenn für eine analytische Garbe \({\mathscr{S}}\) über B und eine Untergarbe \({\mathscr{S}}\text{*}\subset {\mathscr{S}}\), \({{\mathscr{S}}}_{\zeta }^{* }\subset {{\mathscr{S}}}_{\zeta }\) für jedes ζ ∈ B ein \({{\mathscr{O}}}_{\zeta }\)-Untermodul ist, dann ist \({{\mathscr{S}}}^{* }\) ebenfalls analytisch), dann ist \({ {\mathcal I} }_{\zeta }\subset {{\mathscr{O}}}_{\zeta }\) stets ein Ideal. Man nennt ℐ daher auch eine Idealgarbe.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.