Sulle funzioni totalmente derivabili in un'algebra reale o complessa dotata di modulo. I, II. (Q2614320)

In seinen Untersuchungen über Funktionen \(y = f(x) = \sum y_i(x_1,\ldots, x_n)u_i\) einer Variablen \(x = \sum x_ku_k\) in einer komplexen Algebra \(A\) mit \(n\) Basiselementen \(u_1 = 1, u_2,\ldots, u_n\) (vgl. vorstehendes Referat) bezeichnet Verf. als rechte (bzw. linke) \textit{charakteristische} Ableitung \(f_\gamma'(x_0)\) von \(f(x)\) im Punkt \(x_0\) des reellen Darstellungsraumes \(R_{2n}\) von \(A\) den auf einer nullteilerfremden Ebene \(\gamma\) durch \(x_0\) gebildeten Grenzwert des rechten Differenzenquotienten \([f(x_k) - f(x_0)](x_k-x_0)^{-1})\), falls dieser Grenzwert für jede Punktfolge \(\mathfrak F\) auf \(\gamma\) mit \(\lim x_k = x_0\) existiert und von \(\mathfrak F\) unabhängig ist. Hier wird eine Funktion \(\gamma\) in einer reellen oder komplexen Algebra \(A\) an der Stelle \(x_0\) vollständig rechts (bzw. links) \textit{ableitbar} genannt, wenn das Differential \(dy = \sum\limits_{i,k} \dfrac{\partial y_i}{\partial x_k}\,dx_ku_i\) in \(x_0\) existiert und mit \(dx = \sum dx_k u_k\) durch eine Funktion \(z(x)\) in \(A\) in der Form \(dy = z(x)\,dx\) bzw, \(dy = dxz(x)\) verbunden ist. Durch Koeffizientenvergleich ergibt sich aus dieser Beziehung, daß die Transponierte der \textit{Jacobi}schen Funktionalmatrix \(\left\|\dfrac{\partial y_i}{\partial x_k}\right\|\) an der Stelle \(x_0\) mit der \(z(x_0)\) in der ersten bzw. zweiten regulären Darstellung von \(A\) entsprechenden Matrix übereinstimmen muß. Hieraus lassen sich die zur vollständigen Ableitbarkeit von \(y\) notwendigen und hinreichenden Bedingungen als Differential gleichungen für die Komponenten \(y_i\) ablesen. Für die (reelle) Algebra der komplexen Zahlen erhält man die \textit{Cauchy-Riemann}schen Gleichungen, während für die beiden (kommutativen) komplexen Algebren vom Rang 2 die bereits von \textit{Scorza-Dragoni} (Mem. Accad. Ital. Cl. Sc. fis. mat. nat. 5 (1934), 597-665; JFM 60.0279.*) bzw. \textit{Agostinelli} (Atti Ist. Veneto 94 (1935), 131-141; JFM 61.0675.*) aufgestellten Regularitätsbedingungen gewonnen werden. Die Gesamtheit der vollständig ableitbaren Funktionen wird in diesen beiden Fällen bestimmt und erweist sich als identisch mit der Menge der Funktionen mit eindeutig bestimmter (d. h. von der Ebene \(\gamma\) unabhängiger) charakteristischer Ableitung.