ich habe es so geschrieben aber bin mir nicht sicher ob das richtig ist,
Satz: für jede untere Dreieckmatrix m ist Mt eine obere .
Hilfsatz: ∀ i,j ∈ {1,..,n} (i<j => ∀ k ∈ {1,..,n} (Mij = 0 und Njk =0))
Behauptung: ∀ i,j ∈ {1,..,n} (i<j => Pij = \( \sum\limits_{k=1}^{n}0=0 \).
Wenn M eine untere Dreieckmatrix ist, dann gilt für i die Beziehung Mij=0 für alle j>i, also j = i+1,..,n.
Wenn N eine untere Dreieckmatrix ist, dann gilt für j die Beziehung Njk=0 für alle j<k, also j=1,..,k-1.