Sopra un'estensione dello sviluppo per polari delle forme algebriche a più serie di variabili. (Q1531697): Difference between revisions

Der Verfasser hatte früher den der Reihenentwickelung der Formen zu Grunde liegenden Satz bewiesen (vgl. F. d. M. XXII. 1890. 137, JFM 22.0137.01): ``Eine Form \(F(x, y, \dots, v)\) der \(n\) Variabelnreihen \((x_1,x_2,\dots,x_n)\), \((y_1,y_2,\dots,y_n)\), \(\dots\), \((v_1,v_2,\dots,v_n)\) lässt sich stets und auf nur eine Weise in die Gestalt \[ F=H. \varDelta F+\varSigma_i \varDelta_i . \varDelta_i' F \] setzen, wo \(\varDelta,\varDelta_i,\varDelta_i'\) Polarenprocesse bedeuten, welche sich auf die \(x,y,\dots,v\) beziehen, \(H\) das mit der Determinante der Variabeln multiplicirte Cayley'sche Differentiationssymbol \[ \varSigma \pm \frac{\partial}{\partial x_1} \frac{\partial}{\partial y_2} \cdots \frac{\partial}{\partial v_n}, \] und wo die covarianten Formen \(\varDelta_i' F\) nur noch von \(n - 1\) der Variabelnreihen abhängen''. Der Satz wird hier dahin ausgedehnt, dass an die Stelle von \(H\) irgend eine andere Polaroperation \(K\) tritt, welche, abgesehen von gewissen arithmetischen Einschränkungen, nur der Forderung zu genügen hat, mit jeder anderen (auf die \(x,y,\dots,v\) bezüglichen) Polaroperation vertauschbar zu sein. Der Beweis, welcher übrigens den oben citirten Satz nicht voraussetzt, beruht auf gewissen Sätzen über die Zusammensetzbarkeit von Polaroperationen.