04F.1 Beispiel für Bild, Rang, Kern, Defekt einer Matrix YouTube

Bild-Kern-Algorithmus: Um Bild und Kern einer (m x n)-Matrix A zu bestimmen, führt man Elementarumformungen (ähnlich wie bei Gauß aber) auf den Spalten der Matrix durch – mit dem Ziel, eine linke untere Dreiecksmatrix zu erhalten. Die gleichen Umformungen führt man parallel mit einer (n x n)-Einheitsmatrix durch.. Der Kern einer Abbildung dient in der Algebra dazu, anzugeben, wie stark die Abbildung von der Injektivität abweicht. Dabei ist die genaue Definition abhängig davon, welche algebraischen Strukturen betrachtet werden.

Der Kern einer Abbildung dient in der Algebra dazu, anzugeben, wie stark die Abbildung von der Injektivität abweicht. Dabei ist die genaue Definition abhängig davon, welche algebraischen Strukturen betrachtet werden. So besteht beispielsweise der Kern einer linearen Abbildung

f
:
V
→
W

{\displaystyle f\colon V\to W}

zwischen Vektorräumen

V

{\displaystyle V}

und

W

{\displaystyle W}

aus denjenigen Vektoren in

V

{\displaystyle V}

, die auf den Nullvektor in

W

{\displaystyle W}

abgebildet werden; er ist also die Lösungsmenge der homogenen linearen Gleichung

f
(
x
)
=
0

{\displaystyle f(x)=0}

und wird hier auch Nullraum genannt. In diesem Fall ist

f

{\displaystyle f}

genau dann injektiv, wenn der Kern nur aus dem Nullvektor in

V

{\displaystyle V}

besteht. Analoge Definitionen gelten für Gruppen- und Ringhomomorphismen. Der Kern ist von zentraler Bedeutung im Homomorphiesatz.

Definition

• Ist

  f
  :
  G
  →
  H

  {\displaystyle f\colon G\to H}

  ein Gruppenhomomorphismus, so wird die Menge

Kern
⁡
f
:=
{
g
∈
G
∣
f
(
g
)
=

e

H

∈
H
}

{\displaystyle \operatorname {Kern} f:=\{g\in G\mid f(g)=e_{H}\in H\}}

aller Elemente von

G

{\displaystyle G}

, die auf das neutrale Element

e

H

{\displaystyle e_{H}}

von

H

{\displaystyle H}

abgebildet werden, Kern von

f

{\displaystyle f}

genannt. Er ist ein Normalteiler in

G

{\displaystyle G}

.

• Ist

  f
  :
  R
  →
  S

  {\displaystyle f\colon R\to S}

  ein Ringhomomorphismus, so ist die Menge

Kern
⁡
f
:=
{
r
∈
R
∣
f
(
r
)
=
0
∈
S
}

{\displaystyle \operatorname {Kern} f:=\{r\in R\mid f(r)=0\in S\}}

der Kern von

f

{\displaystyle f}

. Er ist ein zweiseitiges Ideal in

R

{\displaystyle R}

.

Im Englischen wird statt

Kern

{\displaystyle \operatorname {Kern} }

auch

ker

{\displaystyle \ker }

oder

Ker

{\displaystyle \operatorname {Ker} }

(für engl. kernel) geschrieben.

• Ist

  f
  :
  V
  →
  W

  {\displaystyle f\colon V\to W}

  eine lineare Abbildung von Vektorräumen (oder allgemeiner ein Modulhomomorphismus), dann heißt die Menge

Kern
⁡
f
:=
{
v
∈
V
∣
f
(
v
)
=
0
∈
W
}

{\displaystyle \operatorname {Kern} f:=\{v\in V\mid f(v)=0\in W\}}

der Kern von

f

{\displaystyle f}

. Er ist ein Untervektorraum (allgemeiner ein Untermodul) von

V

{\displaystyle V}

.

Bedeutung

Der Kern eines Gruppenhomomorphismus enthält immer das neutrale Element, der Kern einer linearen Abbildung enthält immer den Nullvektor. Enthält er nur das neutrale Element bzw. den Nullvektor, so nennt man den Kern trivial.

Eine lineare Abbildung bzw. ein Homomorphismus ist genau dann injektiv, wenn der Kern nur aus dem Nullvektor bzw. dem neutralen Element besteht (also trivial ist).

Der Kern ist von zentraler Bedeutung im Homomorphiesatz.

Beispiel (lineare Abbildung von Vektorräumen)

Wir betrachten die lineare Abbildung

f
:

R

3

→

R

3

{\displaystyle f\colon \mathbb {R} ^{3}\to \mathbb {R} ^{3}}

, die durch

f
(
x
)
=

(

1

0

0

0

1

0

0

0

0

)

(

x

1

x

2

x

3

)

=

(

x

1

x

2

0

)

{\displaystyle f(x)={\begin{pmatrix}1&0&0\\0&1&0\\0&0&0\end{pmatrix}}{\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}={\begin{pmatrix}x_{1}\\x_{2}\\0\end{pmatrix}}}

definiert ist. Die Abbildung

f

{\displaystyle f}

bildet genau die Vektoren der Form

x
=

(

0

0

λ

)

,
λ
∈

R

{\displaystyle x={\begin{pmatrix}0\\0\\\lambda \end{pmatrix}},\lambda \in \mathbb {R} }

auf den Nullvektor ab und andere nicht. Der Kern von

f

{\displaystyle f}

ist also die Menge

Kern
⁡
f
=

{

(

0

0

λ

)

,
λ
∈

R

}

{\displaystyle \operatorname {Kern} f=\left\{{\begin{pmatrix}0\\0\\\lambda \end{pmatrix}},\lambda \in \mathbb {R} \right\}}

.

Geometrisch ist der Kern in diesem Fall eine Gerade (die

z

{\displaystyle z}

-Achse) und hat demnach die Dimension 1. Die Dimension des Kerns wird auch als Defekt bezeichnet und kann mit Hilfe des Rangsatzes explizit berechnet werden.

Verallgemeinerungen

Universelle Algebra

In der universellen Algebra ist der Kern einer Abbildung

f
:
A
→
B

{\displaystyle f\colon A\to B}

die durch

f

{\displaystyle f}

induzierte Äquivalenzrelation auf

A

{\displaystyle A}

, also die Menge

Kern
⁡
(
f
)
:=
{
(
x
,
y
)
∈
A
×
A
∣
f
(
x
)
=
f
(
y
)
}

{\displaystyle \operatorname {Kern} (f):=\{(x,y)\in A\times A\mid f(x)=f(y)\}}

. Wenn

A

{\displaystyle A}

und

B

{\displaystyle B}

algebraische Strukturen gleichen Typs sind (zum Beispiel

A

{\displaystyle A}

und

B

{\displaystyle B}

sind Verbände) und

f

{\displaystyle f}

ein Homomorphismus von

A

{\displaystyle A}

nach

B

{\displaystyle B}

ist, dann ist die Äquivalenzrelation

Kern
⁡
(
f
)

{\displaystyle \operatorname {Kern} (f)}

auch eine Kongruenzrelation. Umgekehrt zeigt man auch leicht, dass jede Kongruenzrelation Kern eines Homomorphismus ist. Die Abbildung

f

{\displaystyle f}

ist genau dann injektiv, wenn

Kern
⁡
(
f
)

{\displaystyle \operatorname {Kern} (f)}

die Identitätsrelation

{
(
a
,
a
)
∣
a
∈
A
}

{\displaystyle \{(a,a)\mid a\in A\}}

auf

A

{\displaystyle A}

ist.

Kategorientheorie

In einer Kategorie

C

{\displaystyle {\mathcal {C}}}

mit Nullobjekten ist ein Kern eines Morphismus

f
:
X
→
Y

{\displaystyle f\colon X\to Y}

der Differenzkern des Paares

(
f
,
0
)

{\displaystyle (f,0)}

, das heißt charakterisiert durch die folgende universelle Eigenschaft:

• Für die Inklusion

  i
  :
  Kern
  ⁡
  f
  →
  X

  {\displaystyle i\colon \operatorname {Kern} f\to X}

  gilt

  f
  i
  =
  0

  {\displaystyle fi=0}

  .

• Ist

  t
  :
  T
  →
  X

  {\displaystyle t\colon T\to X}

  ein Morphismus, so dass

  f
  t
  =
  0

  {\displaystyle ft=0}

  ist, so faktorisiert

  t

  {\displaystyle t}

  eindeutig über

  Kern
  ⁡
  f

  {\displaystyle \operatorname {Kern} f}

  .

Abstrakter formuliert bedeutet das, dass der Kern sich aus dem universellen Morphismus vom Einbettungsfunktor von

(

C

↓
0
)

{\displaystyle ({\mathcal {C}}\downarrow 0)}

in

(

C

↓

C

)

{\displaystyle ({\mathcal {C}}\downarrow {\mathcal {C}})}

zum

f

{\displaystyle f}

entsprechenden Objekt ergibt.

Kokern

Der Kokern, Alternativschreibweise Cokern, ist der duale Begriff zum Kern.

Ist

f
:
V
→
W

{\displaystyle f\colon V\to W}

eine lineare Abbildung von Vektorräumen über einem Körper, so ist der Kokern von

f

{\displaystyle f}

der Quotient von

W

{\displaystyle W}

nach dem Bild von

f

{\displaystyle f}

.

Entsprechend ist der Kokern für Homomorphismen abelscher Gruppen oder Moduln über einem Ring definiert.

Der Kokern mit der Projektion

q
:
W
→
coker
⁡
f

{\displaystyle q\colon W\to \operatorname {coker} f}

erfüllt die folgende universelle Eigenschaft: Jeder Homomorphismus

t
:
W
→
T

{\displaystyle t\colon W\to T}

, für den

t
f
=
0

{\displaystyle tf=0}

gilt, faktorisiert eindeutig über

q

{\displaystyle q}

und es gilt

q
f
=
0

{\displaystyle qf=0}

. Er ergibt sich in einer Kategorie

C

{\displaystyle {\mathcal {C}}}

mit Nullobjekten aus dem universellen Morphismus vom

f

{\displaystyle f}

entsprechenden Objekt zum Einbettungsfunktor von

(
0
↓

C

)

{\displaystyle (0\downarrow {\mathcal {C}})}

in

(

C

↓

C

)

{\displaystyle ({\mathcal {C}}\downarrow {\mathcal {C}})}

.

Diese Eigenschaft ist auch die Definition für den Kokern in beliebigen Kategorien mit Nullobjekten. In abelschen Kategorien stimmt der Kokern mit dem Quotienten nach dem Bild überein.

Literatur

• Tilo Arens, Rolf Busam, Frank Hettlich, Christian Karpfinger, Hellmuth Stachel: Grundwissen Mathematikstudium – Analysis und Lineare Algebra mit Querverbindungen: Analysis und Lineare Algebra mit Querverbindungen. Springer Spektrum, Berlin, Heidelberg 2013, S. 74f, S. 425f, doi:10.1007/978-3-8274-2309-2. 
• Kenneth Kuttler: A First Course in Linear Algebra. libretexts.org, 5.7 (englisch, The Kernel and Image of A Linear Map). 
• Serlo: Mathe für Nicht-Freaks: Lineare Algebra 1. WikiBooks (Kern einer linearen Abbildung). 

Einzelnachweise

Lernzettel Bild und Kern einer Matrix Begriffe und Definitionen

Matrix Orthogonal Und Symmetrisch at Benjamin Marcial blog

Zusammenfassung Kern, Basis, Dimension & Rang einer Matrix (Mathematik

Nachtrag zu Blatt 12, Basis von Kern und Bild, Matrix einer linearen

Basis von Bild und Basis von Kern angeben? (Vektoren, lineare Algebra

Matrix Einfach Erklärt Matrizenrechnung Übersicht, Formeln

Kern einer Matrix Berechnung, Bedeutung StudySmarter

Die Determinante berechnen Mathe einfach erklärt

Basis von Bild und Basis von Kern angeben? (Vektoren, lineare Algebra

SOLVEDWir betrachten die lineare Abbildung φ ℝ^4 →ℝ^4, v ↦A v mit der

Bild, Kern und Fixpunktmenge einer Matrix YouTube

Basis vom Kern und Basis vom Bild einer 3×4 Matrix Mathelounge

www.mathefragen.de Kern einer Matrix bestimmen

Dimension und Basis von Bild und Kern einer Matrix bestimmen YouTube

Kern Einer Linearen Abbildung

Was ist eine Matrix? • Einfach erklärt · [mit Video]

Kern einer Matrix • einfach erklärt + Beispiele · [mit Video]

Kern der Matrix bestimmen Probleme? (Gleichungen, Mathematiker, Vektoren)

Spaltenraum und Kern einer Matrix

Abbildung 4 Stark vereinfachte eigene Darstellung

Kern einer Matrix berechnen Bei quadratischen Matrizen lässt sich mithilfe der Determinante leicht herausfinden, ob ein Kern überhaupt existiert: Eine quadratische Matrix besitzt einen Kern, wenn ihre Determinante gleich Null ist. Wäre die Determinante der quadratischen Matrix ungleich Null, so enthielte der Kern der Matrix nur den Nullvektor.. Hier berechnen wir Kern und Bild einer Matrix. Dimension und Basis von Bild und Kern einer Matrix bestimmen Wir berechnen die Dimensionen von den Unterräumen Kern und Bild und zeigen wie man beide Unterräume darstellen kann.