Proof of a theorem in invariant theory. (Q1551181): Difference between revisions

Beweis des bekannten Satzes von Clebsch, dass jede simultane Invariante eines Systems von linearen Formen sich aus Determinanten zusammensetzen lässt. Der Beweis wird nur für ternäre Formen geführt, kann aber direct erweitert werden. Transformirt man die gegebenen Formen \(a_x\), \(b_x\), \(c_x \ldots\) mittels der Formeln \[ x_1 = \alpha_y, \;\; x_2 = \beta_y, \;\; x_3 = \gamma_y, \] so erhält man für eine Invariante \(\pi\) die Identität \[ \pi (a', b', c' \ldots) = (\alpha\beta\gamma)^n \pi (abc\ldots), \] woraus ersichtlich ist, dass jedes Glied von \(\pi\) \(3n\) Factoren enthält. Führt man beiderseits nach einander die folgenden Operationen aus \[ \alpha_1' \frac{\partial}{\partial\alpha_1} + \beta_1' \frac{\partial}{\partial\beta_1} + \gamma_1' \frac{\partial}{\partial\gamma_1}, \] \[ \alpha_2' \frac{\partial}{\partial\alpha_2} + \beta_2' \frac{\partial}{\partial\beta_2} + \gamma_2' \frac{\partial}{\partial\gamma_2}, \] \[ \alpha_3' \frac{\partial}{\partial\alpha_3} + \beta_3' \frac{\partial}{\partial\beta_3} + \gamma_3' \frac{\partial}{\partial\gamma_3}, \] so erhält man aus \(\pi' = r^n\pi\) eine neue Gleichung \(\pi^{\text{IV}} = r^{\text{IV}}.\pi\). Durch passende Vertauschung der Indices von \(\alpha'\), \(\beta'\), \(\gamma'\) und Addition der mit verschiedenen Vorzeichen versehenen Resultate erhält man hieraus die neue Identität \(\pi^{\text{V}} = r^{\text{V}}.\pi\). Hier zeigt es sich, dass erstens \[ r^{\text{V}} = n(n+1)(n+2)r^n, \] zweitens dass \(\pi^{\text{V}}\) sich in Glieder spaltet, von welchen jedes einen Factor von der Form \(r(abc)\) enthält, während der andere Factor eine Invariante von niedrigerer Ordnung ist, welche auf ähnliche Weise behandelt werden kann. Sodann nimmt \(\pi\) endlich die Form einer rationalen Function von Determinanten \((abc)\) an.