Lexikon der Mathematik: Morphismus von geringten Räumen
Verallgemeinerung der Charakterisierung der holomorphen Abbildungen φ : X → Y zwischen Bereichen X ⊂ ℂn und Y ⊂ ℂm mit Hilfe der Liftung holomorpher Funktionen \({\varphi }^{0}:{}_{X}{\mathcal{O}}\to {}_{Y}{\mathcal{O}}, f\mapsto f\circ \varphi {|}_{{\varphi }^{-1}(W)}\), W ⊂ Y offen, \(f\in {}_{Y}{\mathcal{O}}\quad(W)\).
Ein Morphismus \(\varphi :(S,{}_{S}{\mathcal{A}})\to (T,{}_{T}{\mathcal{A}})\) von geringten Räumen ist ein Paar (|φ|, φ0), bestehend aus einer stetigen Abbildung |φ| : |S| → |T| und einem |φ|- Komorphismus \({\varphi }^{0}:{}_{T}{\mathcal{A}}\to {}_{S}{\mathcal{A}}\) von Algebren, d. h. einer Familie von Algebrahomomorphismen
\begin{eqnarray}{\varphi }^{0}:={\left({\varphi }^{0}(V):{}_{T}{\mathcal{A}}(V)\to {}_{S}{\mathcal{A}}({\varphi }^{-1}(V))\right)}_{V\subset T},\end{eqnarray}
Für zwei Morphismen φ : S → T und ψ : T → U von geringten Räumen definiert man ψ ∘ φ ≔ (|ψ| ○ |φ|, φ0 ○ ψ0). Häufig schreibt man ‘φ’ anstelle von ,|φ|‘, obwohl der Komorphismus φ0 i. a. nicht durch |φ| bestimmt ist. Es gilt der folgende Satz:
Ist (|φ| , φ0) : S → T ein Morphismus von geringten Räumen, und ist S reduziert, dann istφ0durch |φ| bestimmt:φ0(f) = (Red f) ○ |φ| für \(f\in {}_{T}{\mathcal{A}}\).
Dies führt zu der folgenden Standard-Terminologie für reduzierte geringte Räume S und T: Eine stetige Abbildung τ : |S| → |T| heißt Morphismus von geringten Räumen S und T, wenn das ,Urbild‘ f ○ τ für jedes \(f\in {}_{T}{\mathcal{A}}\) in \({}_{S}{\mathcal{A}}\) liegt.
Beispiele. 1. Ist φ : S → T eine stetige Abbildung von topologischen Räumen, und bezeichne φ0 die Liftung von Funktionen, dann ist \((\varphi ,{\varphi }^{0}):(S,{}_{S}{\mathcal{C}})\to (T,{}_{S}{\mathcal{C}})\) ein Morphismus.
2. Für einen Bereich X ⊂ ℂn, bezeichne \(i:{}_{X}{\mathcal{O}}\to {}_{X}{\mathcal{C}}\) die kanonische Inklusion, dann ist (idX, i) : \((X,{}_{X}{\mathcal{C}})\to (X,{}_{X}{\mathcal{O}})\) ein Morphismus. Dabei sei \({}_{X}{\mathcal{O}}\) die Strukturgarbe von X und \({}_{X}{\mathcal{C}}\) die Garbe der stetigen Funktionen auf X.
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.