On linear equations with an infinite number of variables. (Q1480345)

Der Satz der \textit{Fredholm}sehen Theorie, daß die Gleichung \[ \varphi(s)+\int_a^bK(s,t)\varphi(t)\,dt=0 \] nur eine endliche Zahl linear unabhängiger Lösungen besitzt, wird von \textit{E. Schmidt} in seiner Diss. (Math. Ann. 63) mittelst des Orthogonalisierungsprozesses bewiesen. \textit{Bôcher} bemerkt, daß man dabei den Orthogonalisierungsprozeß durch die Verwendung \textit{Grams}cher Determinanten ersetzen kann, und gelangt durch eine Determinantenumformung zum Ziel. Systematisch benutzt er diesen Gedanken, gemeinsam mit \textit{L. Brand}, um der Arbeit von \textit{E. Schmidt} über lineare Gleichungssysteme (Pal. Kend. 25, 53-77; F. d. M. 39, 401 (JFM 39.0401.*) ff., 1908) eine neue Darstellung zu geben, die sehr übersichtlich angeordnet ist, und die dadurch, daß die Determinantentheorie benutzt wird, immerhin um einige Seiten kürzer ausfällt als das Original, während \textit{Schmidt}, der keinerlei Vorkenntnisse voraussetzt, mit dem Orthogonalisierungsprozeß allein auskommt und Determinanten immer nur nachträglich zur Aufstellung expliziter Lösungsformeln benutzt.