Einbettung (Mathematik) - LinkFang.de





Einbettung (Mathematik)


In verschiedenen Teilgebieten der Mathematik versteht man unter einer Einbettung eine Abbildung, die es ermöglicht, ein Objekt als Teil eines anderen aufzufassen.

Häufig ist damit lediglich eine injektive Abbildung oder ein Monomorphismus gemeint. Beispielsweise spricht man von der kanonischen Einbettung der reellen Zahlen in die komplexen Zahlen.

Darüber hinaus gibt es in einigen Gebieten speziellere Einbettungsbegriffe.

Topologie

In der Topologie bezeichnet man eine Abbildung [math]f[/math] zwischen zwei topologischen Räumen [math]X[/math] und [math]Y[/math] als Einbettung von [math]X[/math] in [math]Y[/math], wenn [math]f[/math] ein Homöomorphismus von [math]X[/math] auf den Unterraum [math]f(X)[/math] seines Bildes ist (in der Teilraumtopologie).

Es sind die folgenden Aussagen äquivalent:

  • die Abbildung [math]f\colon X \rightarrow Y[/math] ist eine Einbettung.
  • [math]f[/math] ist injektiv, stetig und als Abbildung nach [math]f(X)[/math] offen, d.h. für jede offene Menge [math]O[/math] von [math]X[/math] ist das Bild [math]f(O)[/math] wieder offen in [math]f(X)[/math].
  • [math]f[/math] ist injektiv und stetig, und für alle topologischen Räume [math]T[/math] und alle stetigen Abbildungen [math]t\colon T\rightarrow Y[/math], welche über [math]X[/math] faktorisieren (d.h. es gibt eine Abbildung [math]t_0\colon T\rightarrow X[/math] mit [math]t=f\circ t_0[/math] ), ist die induzierte Abbildung [math]t_0\ [/math] stetig.
  • [math]f[/math] ist ein extremer Monomorphismus, d. h. [math]f[/math] ist injektiv für jede Faktorisierung in einen Epimorphismus (d. h. eine surjektive stetige Abbildung) [math]e[/math] und eine stetige Abbildung [math]g[/math], [math]f=g\circ e[/math], ist [math]e[/math] nicht nur ein Bimorphismus (d. h. bijektiv) wie für beliebiges injektives [math]f[/math], sondern sogar ein Homöomorphismus.
  • [math]f[/math] ist ein regulärer Monomorphismus.[1]

Im Allgemeinen ist eine Einbettung [math]f\colon X \rightarrow Y[/math] nicht offen, d.h. für [math]U \subset X[/math] offen muss [math]f(U)[/math] nicht offen in [math]Y[/math] sein, wie das Beispiel der üblichen Einbettung [math]f:\R\to \C[/math] zeigt. Eine Einbettung [math]f[/math] ist genau dann offen, wenn das Bild [math]f(X)[/math] in [math]Y[/math] offen ist.

Differentialtopologie

Unter einer glatten Einbettung versteht man eine topologische Einbettung einer differenzierbaren Mannigfaltigkeit [math]X[/math] in eine differenzierbare Mannigfaltigkeit [math]Y[/math], die zudem noch eine Immersion ist.

Differentialgeometrie

Unter einer isometrischen Einbettung einer Riemannschen Mannigfaltigkeit [math](X,g_1)[/math] in eine Riemannsche Mannigfaltigkeit [math](Y,g_2)[/math] versteht man eine glatte Einbettung [math]f[/math] von [math]X[/math] in [math]Y[/math], so dass für alle Tangentialvektoren [math]v,w[/math] in [math]T_xX[/math] die Gleichung [math]g_2(Df(v),Df(w))=g_1(v,w)[/math] gilt.

Eine isometrische Einbettung erhält die Längen von Kurven, sie muss aber nicht unbedingt die Abstände zwischen Punkten erhalten. Als Beispiel betrachte man den [math]\mathbb R^n[/math] mit der euklidischen Metrik und die Einheitssphäre [math]S^{n-1}\subset \mathbb R^n[/math] mit der induzierten Metrik. Nach Definition der induzierten Metrik ist die Inklusion [math]S^{n-1}\rightarrow \mathbb R^n[/math] eine isometrische Einbettung. Sie ist aber nicht abstände-erhaltend: zum Beispiel ist der Abstand zwischen Nord- und Südpol (d.h. die Länge einer kürzesten Verbindungskurve) auf der [math]S^{n-1}[/math] gleich [math]\pi[/math], während ihr Abstand im [math]\mathbb R^n[/math] gleich [math]2[/math] ist.

Körpertheorie

In der Körpertheorie ist jeder nichttriviale Ringhomomorphismus [math]E\to F[/math] bereits eine Körpereinbettung, also ein Monomorphismus.

Ein Zahlkörper [math]K\subset \C[/math] kann verschiedene Einbettungen [math]K\subset \C[/math] haben. Eine Einbettung heißt reelle Einbettung, wenn ihr Bild in [math]\R[/math] liegt, und komplexe Einbettung sonst. Zum Beispiel hat [math]\Q(\sqrt[3]{2})[/math] eine reelle und zwei komplexe Einbettungen. (Die komplexen Einbettungen bilden [math]\sqrt[3]{2}[/math] auf die anderen Nullstellen von [math]x^3-2[/math] ab.) Zu jeder komplexen Einbettung liefert das komplex-konjugierte eine andere komplexe Einbettung, weshalb die Anzahl der komplexen Einbettungen stets gerade ist. Es gilt [math]\left[K:\Q\right]=r_1+2r_2[/math], wobei [math]r_1[/math] die Anzahl der reellen und [math]2r_2[/math] die Anzahl der komplexen Einbettungen bezeichnet.

Siehe auch

Einzelnachweise

  1. extremal monomorphism , Eintrag im nLab. (englisch)

Literatur

Weblinks

 Wiktionary: Einbettung – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Kategorien: Mengentheoretische Topologie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Einbettung (Mathematik) (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.