Memoir on Kleinian groups. (Q1545424)

Die dritte Abhandlung zur Theorie der Functionen mit linearen Transformationen in sich (für die vorhergenden vgl. F. d. M. XIV. 1882. 338 ff.(JFM 14.0338.01) und XV. 1883. 342 (JFM 15.0342.01), ferner für die auf das gleiche Thema bezügliche Abhandlung von Klein ``Zur Riemann'schen Functiontheorie'' Klein Ann. XXI. und F. d. M. XV. 1883. 351 (JFM 15.0351.01)) behandelt die allgemeinsten discontinuirlichen Gruppen linearer Transformationen einer Veränderlichen und die zugehörigen Functionen. Der Verfasser bezeichnet die Gruppen linearer Transformationen mit beliebigen complexen Coefficienten als ``Klein'sche Gruppen'', im Gegensatze zu den in den vorausgehenden Abhandlungen betrachteten Gruppen mit reellen Coefficienten (oder den aus ihnen durch ``Transformation'' abgeleiteten ), welche als ``Fuchs'sche Gruppen'' bezeichnet sind. Zunächst werden folgende gruppentheoretische Sätze, welche das Gebiet der Betrachtungen fixiren, abgeleitet: 1) Jede lineare Substitution \(\zeta' =\frac{\alpha \zeta+\beta}{\gamma \zeta +\delta}\) kann, und zwar noch auf die mannigfachste Weise, aus einer paaren Anzahl von ``Inversionen'' (Transformationen durch reciproke Radien an verschiedenen Kreisen) abgeleitet werden. 2) Damit lässt sich jeder solchen Substitution, welche wir in der \(\zeta\)-Ebene (oder auch auf einer Kugel) deuten, eine bestimmte Transformation des Raumes an die Seite setzen, indem jene Inversionen nicht nur in der Ebene (bez. jener Kugel) ausgeführt werden, sondern im Raume und zwar mit Bezug auf eine Kugel, welche durch den Innversionskreis gehend, auf der \(\zeta\)-Ebene (bez. der dieselbe vertretenden Kugel) senkrecht steht. Vesteht man unter einer infinitesimalen Transformation eine solche, für welche die absoluten Beträge von \(\alpha-1,\beta,\gamma,\delta-1\) unendlich klein sind, so lassen sich die Gruppen linearer Transformationen in continuirliche und discontinuirliche teilen, je nachdem dieselben infinitesimale Transformationen enhalten oder nicht. Nun bezeichne man weiter eine Gruppe als uneigentlich discontinuirlich in der Nähe eines Punktes \(\zeta\), wenn es in einem beliebig klein gewählten, den Punkt einschliessenden Bereich unendlich viele Punkte giebt, welche aus dem anfäglichen durch Transformationen der Gruppe hervorgehen; ist dies nicht der Fall, so heisst sie eigentlich discontinuirlich. Mit Einführung dieser Terminologie hat man die folgenden beiden Sätze: 3a) Eine Gruppe reeller Transformationen kann uneigentlich discontinuirlich sein für die Punkte der reellen Axe in der \(\zeta\)-Ebene, ohne darum continuirlich zu sein; ist sie aber uneigentlich discontinuirlich auch für complexe Punkte \(\zeta\), so anhält sie infinitesimale Substitutionen, d. h. sie ist continuirlich. 3b) Eine Gruppe allgemeiner linearer Transformationen (mit complexen Coefficienten) kann uneigentlich discontinuirlich sein für alle Punkte der \(\zeta\)-Ebene, obne darum continuirlich zu sein; ist sie aber uneigentlich discontinuirlich auch für Punkte des Raumes (in welchem wir nach 2) die Substitutionen deuten können), so ist sie continuirlich. Nur die in der \(\zeta\)-Ebene eigentlich discontinuirlichen Gruppen können, wenn es sich um Functionen einer Veränderlichen \(\zeta\) handelt, in Betracht gezogen werden. Ihnen entprechen Gebietseinteilungen, stets aus Kreisbogenpolygonen zusammensetzbar, in der \(\zeta\)-Ebene und daraus abzuleitende Einteilungen, stets aus von Kugelschalen begrenzten Polyedern bestehend, im Raume. Das Verhalten der Gruppe ist nur für gewisse (discret verteilte) Linien und Punkte uneigentlich discontinuirlich. Für die letzteren Gruppen ergiebt sich eine Einteilung nach dem Geschlechte und nach Familien in Analogie mit der bei den Fuchs'schen Gruppen getroffenen Einteilung (siehe F. d. M. XIV. 1882. 342, JFM 14.0338.01). Weiter erscheint es wichtig, diejenigen Gruppen als eine erste Art besonders hervorzuheben, welche durch eine Variation der Constanten [bei welcher die Polygone der Gebietseinteilung in ihren Dimensionen, nicht aber in ihrer gegenseitigen Lage geändert werden] in Fuchs'sche Gruppen übergeführt werden können. Die allgemeinen Sätze werden an einer Reihe besonders charakteristischer Beispiele ausfürlicher erörtert. Die zum Schlusse gegebenen Sätze über die ``Klein'schen Functionen'' fixiren die Aufstellung der jene Gruppen zulassenden Functionen in Analogie mit den Fuchs'schen Functionen durch Quotientenbildung aus den auch dort angewandten \(\varTheta\)-Functionen \[ \varTheta(z)=\sum H\left(\frac{\alpha_i z +\beta_i}{\gamma_iz+\delta_i}\right)(\gamma_iz+\delta_i)^{-2m}, \] wobei die Convergenz dieser Reihe analog dem ersten (Acta I. 194-198 und 208) für die Fuchs'schen \(\varTheta\)-Functionen gegebenen Convergenzbeweis zu führen ist. Die Darstellung aller Functionen mit linearen Transformationen in sich aus zweien \(x,y\) (zwischen denen eine algebraische Relation besteht) und die Beziehungen zur Differentialgleichung \[ \frac{d^2 v}{dx^2}=\varphi(x,y).v, \] wo \(x,y\) solche Functionen bedeuten, werden (für einzelne, auch bei den Fuchs'schen Functionen besprochene) Beispiele kurz discutirt.