Inklusionsabbildung

Datei:Mathematic inclusion example 00001.svg

Zwei Beispiele für eine Inklusion. Bsp b) zeigt eine echte Inklusion.

Eine Inklusionsabbildung (kurz auch Inklusion), natürliche Einbettung oder kanonische Einbettung ist eine mathematische Funktion, die eine Teil- in ihre Grundmenge einbettet.

Definition

Für Mengen <math>A</math> und <math>B</math> mit <math>A \subseteq B</math> ist die Inklusionsabbildung <math>i\colon A\rightarrow B</math> durch die Abbildungsvorschrift

<math>i(x)=x</math>

gegeben. Manchmal wird das spezielle Pfeilsymbol <math>\hookrightarrow </math> zur Kennzeichnung benutzt und man schreibt dann <math>i \colon A \hookrightarrow B</math>.

Man spricht von einer echten Inklusion, falls <math>A</math> eine echte Teilmenge von <math>B</math> ist, das heißt, wenn es Elemente in <math>B \setminus A</math> gibt.

Im Fall mathematischer Strukturen ist die so definierte Abbildung einer Unterstruktur strukturtreu, d. h. ein Monomorphismus.

Eigenschaften

• Jede Inklusionsabbildung ist injektiv. Eine echte Inklusion ist nicht surjektiv.
• Ist <math>A = B</math>, so ist die Inklusion die Identitätsabbildung.
• Eine beliebige Funktion <math>f \colon A \to B</math> lässt sich bezüglich der Verkettung von Funktionen zerlegen als <math>f = h \circ g</math>, wobei <math>g</math> surjektiv und <math>h</math> injektiv ist: Sei <math>C = \operatorname{im} f \subseteq B</math> die Bildmenge von <math>f</math> und <math>g \colon A \to C</math> die Funktion, die auf <math>A</math> mit <math>f</math> übereinstimmt, also <math>g(x) = f(x)</math>. Für <math>h \colon C \to B</math> nimmt man die Inklusionsabbildung.
• Ist <math>f \colon A \to B</math> eine beliebige Funktion und <math>X</math> eine Teilmenge der Definitionsmenge <math>A</math>, dann versteht man unter der Einschränkung <math>f |_X</math> von <math>f</math> auf <math>X</math> diejenige Funktion <math>g \colon X \to B</math>, die auf <math>X</math> mit <math>f</math> übereinstimmt. Mit Hilfe der Inklusion <math>i \colon X \to A</math> lässt sich die Einschränkung kurz schreiben als

<math>f|_{X} = f \circ i</math>.

• Umgekehrt lässt sich jede Inklusionsabbildung <math>i \colon A \hookrightarrow B</math> als Einschränkung einer geeigneten identischen Abbildung auffassen: <math>i=\left(\operatorname{id}_B\right)|_A</math>

Weblinks

Datei:Wiktfavicon en.svg[[wikt:{{#if:|{{{lang}}}:}}{{#if:Inklusion|Inklusion|{{#invoke:WLink|getArticleBase}}}}|Wiktionary: {{#if:|{{{2}}}|{{#if:Inklusion|Inklusion|{{#invoke:WLink|getArticleBase}}}}}}]]{{#switch: 1

|1|= – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen |0|-= |X|x= |#default= –

}}{{#if:| {{#ifeq: {{{lang}}} | de | {{#ifeq: 0 | 0 | }} | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}}}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wiktionary
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

• {{#if: | {{{author}}} | Eric W. Weisstein }}: Inclusion Map. In: MathWorld (englisch). {{#if: InclusionMap | {{#ifeq: {{#property:P2812}} | InclusionMap | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
• {{#if: Koro|Koro: }}Inclusion mapping. In: PlanetMath. (englisch)