Kapitel 3Aufbau27 Min.
Mehrere Erhaltungsgrößen
Gesamtsummen und signierte Bilanzen · Abschnitt 11 von 64
Beweis
Mehrere Erhaltungsgrößen
Mehrere Invarianten werden als Wertevektor betrachtet. Weicht auch nur eine Komponente ab, kann das Ziel nicht erreicht werden.
Checkliste
Kurzer Audit
Ist die Zustandsgröße eindeutig definiert?
Sind alle Zugtypen erfasst?
Ist jede Änderungsrechnung null?
Folgerst du aus gleichen Werten nicht vorschnell Erreichbarkeit?