Sur les ensembles connexes irréductibles entre \(n\) points (Q567100)

Es sei \(R\) ein topologischer Raum; \[ a_1, a_2, \dots, a_n \quad (n\geq 2) \tag{1} \] seien voneinander verschiedene Punkte von \(R\). Ist \(R\) zusammenhängend und enthält kein zusammenhängender, echter Teil von \(R\) alle Punkte (1), so heiße \(R\) irreduzibel zusammenhängend zwischen \(a_1,a_2,\dots,a_n\); Zeichen: \(R=I(a_1,\dots,a_n)\). Die (für \(n=2\) bekannte) Struktur von solchen Räumen wird durch folgenden Satz beschrieben: Dann und nur dann ist \(R=I(a_1,\dots,a_n)\), wenn \(R\) ein ``allgemeiner Baum'' ist und wenn in (1) alle ``singulären Punkte'' von \(R\) vorkommen. Dabei heißt \(R\) ein allgemeiner Baum, wenn folgendes gilt: Es ist \(R=\sum _{\nu =1}^k(v_\nu )+\sum _{\nu =1}^lS_\nu \), wo die \(v_\nu \) Punkte, die \(S_\nu \) offene Mengen sind \((k\geq 2, l\geq 1)\); die \(k+1\) Summanden sind disjunkt. Für \(1\leq \lambda \leq l\) ist \[ \overline S_\lambda =S_\lambda +\sum _{p=1}^r(a_p)+\sum _{q=1}^s(b_q), \tag{2} \] wobei jedes \(a_p\) und jedes \(b_q\) einem \(v_\nu \) gleich ist (\(r\), \(s\), \(a_p\), \(b_q\) dürfen von \(\lambda \) abhängen); umgekehrt gehört jedes \(v_\nu \) mindestens einem \(\overline S_\lambda \) an. Für jedes \(\lambda \), \(p\), \(q\) ist \(S_\lambda =I(a_p,b_q)\). Zu jedem Paar \(S_\lambda, S_\mu (\lambda \neq \mu )\) gibt es eine Folge \(\nu _0, \nu _1,\dots,\nu _t\) mit \(v_0=\lambda \), \(v_t=\mu \), \(\overline S_{\nu _i}\cdot \overline S_{\nu _{i+1}}\neq 0\). Endlich: wird \(\lambda, a_p, b_q\) gewählt (vgl. (2)), so gibt es keine Folge \(\nu _0,\dots,\nu _t\) mit \(\nu _i\neq \lambda \), \(a_p\in \overline S_{\nu _0}\), \(b_q\in \overline S_{\nu _t}\), \(\overline S_{\nu _i}\cdot \overline S_{\nu _{i+1}}\neq 0\). - Ein Punkt \(v\) von \(R\) heiße singulär, wenn \(R-(v)\) zusammenhängend ist.