MennicJcen und Sagraloff, Untersuchungen über Semi-Fredholmpaare. I 19

Nullraum von P für jedes p ^ Г' ^-abgeschlossen. Daher gilt

womit (4. 8) bewiesen ist.

An (4. 8) knüpft der Beweis der folgenden Aussage an. (4. 9) Satz. Es sei Г ein Basissystem auf E. Für M ^УХ{Е) gilt

codim M = sup codim M .

Beweis , Ist die Kodimension von M endlich, so gibt es aufgrund des vorangehenden Satzes (4. 8) ein konfinales Teilsystem Г' <: Г mit M = M^ îiïr p (: Г\ Ist nun q ein beliebiges Element aus jT, so existiert hierzu ein /> Г" mit p '^ q, Dsl p ^ q die Beziehung M <- M ^ also auch codim M ^ codim M impliziert, gilt folglich im hier betrachteten Fall die Behauptung.

Weiter werden wir zeigen, daß man von

—p (4. 10) sup codim M < oo

Р£Г

her auf endliche Kodimension von M schließen kann, womit dann (4. 9) vollständig bewiesen ist.

Zunächst folgern wir aus (4. 10), daß es ein p* Ç. Г gibt, so daß für jedes J? ^ -Г, ^ j?* (4. 11) codim M = codim M

—q —p

gilt . Andernfalls gäbe es nämlich zu jedem g jT ein jo jT, ^ g mit codim M Ф codim M ,

—P —Q —Q —P

also wegen M <. M mit codim M < codim M und infolgedessen eine Folge {pJo"

in Г mit codim Ж " < codim M '^^^ was jedoch (4. 10) widerspräche.

—p —p* Ist nun p^r, ^ p*, so liefert (4. 11) in Verbindung mit M <^ M die Gleichheit

( 4 . 12) M" = m""*.

Daher gilt mit Г' = {p ^ Г: p ^ ;?*}

( 4 . 13 ) M = n m"" = Ш"*,

per

d . h. M hat, wie wir zeigen wollten, endliche Kodimension.

Eine ähnliche Aussage wie der vorangehende Satz (4. 9) beinhaltet der

( 4 . 14) Satz. Es sei Г ein Basissystem auf E. Für MèU(E) gilt

dim M = sup dim кр(М), per

worin kp wieder den kanonischen Homomorphismus von E auf EjN^ bezeichnet.

Beweis , Wegen dim kj,{M) ^ dim M genügt es, die behauptete Gleichung unter der

zusätzlichen Voraussetzung

( 4 . 15) sup dim /Ср(М) = m < oo

per zu beweisen.

Zu jedem р^Г gibt es in E einen Unterraum K^^\ der M r^N^ algebraisch-direkt zu M ergänzt und die Dimension von kp(M) hat. Demgemäß hat man

( 4 . 16) codim^^ M rsNp = dim к^,(М) (р^Г),

d . h. die Kodimension von M r^N^ in M ist gleich der Dimension von к^{М),