Fixed points, combs and generalized power series (Q1313465)

Es sei \((\Gamma,\leq)\) eine (nicht notwendig total) geordnete Menge, und \(d: X\times X\to \Gamma\cup \{0\}\) sei eine Ultrametrik. Bewiesen wird: Ist \(X\) bezüglich \(d\) sphärisch vollständig (jede Kugel-Kette hat einen nicht-leeren Durchschnitt), so besitzt jede \(d\)-kontrahierende Abbildung \(\varphi: X\to X\) genau einen Fixpunkt. In geordneten Mengen \((S,\leq)\) wird der Begriff des unendlichen Kamms \(\{a_ n: n\geq 0\}\cup\{z_ n: n\geq 1\}\) durch \(a_ n< a_{n+1}\), \(a_ n< z_{n+1}\), \(a_{n+1}\) mit \(z_{n+1}\) und \(z_ n\) mit \(z_ m\) \((n\neq m)\) nicht vergleichbar, eingeführt. Es werden diejenigen geordneten Mengen charakterisiert, in denen keine unendlichen Kämme existieren, und es werden entsprechende Kennzeichnungen für Produktmengen hergeleitet. In total geordneten abelschen Gruppen wird eine neue ``perforierte'' Ordnung definiert und bezüglich unendlicher Kämme untersucht. Sind \((R,+)\) eine abelsche Gruppe \(\neq(0)\) und \((S,\leq)\) eine geordnete Menge, so wird die Menge \(A\) aller Abbildungen \(f: S\to R\), deren Träger keine unendlichen echt absteigenden Ketten und auch keine unendlichen Teilmengen unvergleichbarer Elemente enthält, als Gruppe (bezüglich punktweiser Addition) verallgemeinerter Potenzreihen bezeichnet. Es ist \(A\) genau dann sphärisch vollständig, wenn \((S,\leq)\) keinen unendlichen Kamm enthält. Ist \(R\) sogar ein kommutativer Ring, so kann auch \(A\) als Ring aufgefaßt werden. Mit Hilfe des Fixpunktsatzes werden die Einheiten von \(A\) gekennzeichnet. Weiter wird untersucht, wann \(A\) sogar ein Körper ist, und es wird gezeigt, daß \(A\) dann bezüglich einer geeigneten Bewertung henselsch ist.