Vol.

XIX, 1968 95

Differenzierbare Strukturen auf Mannigfahigkeiten

ohne abz~ihlbare Basis

Von
WINFRIED Koc~t und DIETER PUPrE

d Als (topologische) Mannigfaltigkeit bezeichnen wir einen topologischen R a u m , in

era jeder P u n k t eine U m g e b u n g hat, die mit einem euklidischen R a u m R n homSo-
~aorph ist. Es handelt sich also u m Mannigfaltigkeiten ohne R a n d ; sie brauchen aber
Weder Hausdorffsch zu sein noch eine abz/s Basis zu haben. Unser Ziel ist der
Beweis folgender S/itze :

Satz I. Sei 1 <_ r <_ oo. Jede Cr-Struktur 1) au/ einer M a n n i g / a l t i g k e i t enthiilt eine
reell-analytische S t r u k t u r ( u n d daher eine CP-Struktur [iir ]edes p > r ).

8atz 2. Z u ]edem r m i t 0 <_ r < oo gibt es a u / einer bestimmten Hausdor]/schen zu-

~aramenhiin
7.. g en den e~nd~mens~onalen
" " -- M a n m q.[ a l h.q k e ~.t ohne
. . . . Bas~s
abzahlbare . -- nam-
~ctt der Alexandro//schen Halbgeraden L - - zwei r~eell-analytische S t r u k t u r e n 9~ u n d ![~,
8o daft 9i und ~ dieselbe Cr-Struktur lie/ern, aber ( L , 9~) u n d ( L , f~) nicht Cr+l-di//eo -
~norph 8ind.

l~iir eine n-dimensionale Hausdorffsche Cr-Mannigfaltigkeit M mit abz~hlbarer

~asis Wurde Satz 1 y o n W~IITN~Y [10] dadurch bewiesen, dal3 er sogar eine reell-
.a~alytische Untermannig]altigkeit y o n R 2n+1 konstruierte, die zu M Cr-diffeomorph
mr. Ftir uns ist dieser Weg natiirlich nicht gangbar, d~ jeder Teilraum yon R m Haus-
dorffsch ist und eine abzs Basis hat.
Wahrend Satz 1 den WHITNEYschen Existenzsatz verallgemeinert, zeigt Satz 2,
da~ der folgende bekannte Emdeutl~kmtssatz""
"~ " nicht entsprechend verallgemeinert
Werden kann :

~atz 8 (WI-IIT~EY-GRAUERT). Sei 1 ~_ r < p ~ ~o 2). S i n d zwei Hausdor/]sche CP.

Manni- 9 -
v~Orph.ylattigkeiten m i t abziihlbarer B a s-- --
i s Cr-di//eomorph, so sind sie auch CP-di//eo-

., Dieser S~atz wurde ebenfalls von WItITNEY in [10] bewiesen -- im Fall p = o~ aller-
~ ags nut ftir Cm.Untermannigfaltigkeiten eines euklidischcn l:r E r s t GRAUERT
L .I Zeigte, dab das keine echte Einschr/~nkung ist.

9 1) Wie iiblich, kfirzen wir ,,r-mal stetig differenzierbar" durch C r ab. CObcdeutet ,,stetig", und
elsez~C~
~ ist nichts anderes als die Top olog ie einer Mannigfaltigkeit.
~ ~ reell-analytisch, und wir vereinbaren ~ < co.
96 W. Kocit und D. PUPPE ARCH.MATtf"

Satz 2 besagt insbesondere, dab die Voraussetzung der abz~ihlbaren :Basis in Sat,z 3
flit jedes P a a r (r, p) mit r < c~ wesentlich ist3). Das Entsprechende fiir beliebigeS
r <= oo und p ~ o9 geht schon aus [41]hervor, wo (mehr als abzKhlbar viele) C~-Struk"
turen auf L konstruiert werden, die paarweise nicht C~-diffeomorph, aber -- wie man
leieht nachweist -- a|le untereinander C~-diffeomorph sind. I m ganzen ,'ind also alle
Paarc r < p erfaf~t.
Der Vo|lst'~ndigkcit halber sei daran erinnerf,, dab sowohl Sabz 1 als aueh Satz 3
fiir r = 0 falsch werden. MILNOR [5] h a t gezeigt, dab es auf der 7-Sph/~re zwei CP-
Strukturen (p _~ 1) gibt, die nieht CP-diffeoinorph sind, und K~,RVAntE [2] h a t eine
10-dimensionale k o m p a k t e Mannigfaltigkeit angegeben, a u f der iiberhaupt keille
CP-Struktur existiert.
Beweis von..Satz 1. Sei 9~ eine Cr-Struktur auf der Mannigfaltigkeit M , also ein
maximaler Cr-Atlas, bestehend aus K a r t e n
Mv U:~ VfcR n
(Uf, Vf often in M bzw. R n, / topologiseh). W i t betraehten Teilmengen ~ yon 9~, in
denen je zwei Elemente [, g C~-verbunde n sind, d. h.
g/-~: / ( U i n U g ) ~ g ( U f n Ug)
ist reell-analytisch. Solche Mengen existieren, z. B. ~ -- {/} fiir jedes ] r ~l. Nach dem
Satz yon Zorn gibt es unter ihnen eine maximale, etwa ~. Sei U* die Vereinigullg
aller l]i ftir / ~ 93. 93 ist eine C~ auf U*, und der Satz ist bewiesen, sobald
wir U* = M gezeigt haben.
Nehmen wit also U* ~: M an. D a n n gibt es ein g e 0/, so dab U a nieht ganz in U*
liegt.
Hiffssatz I. Sei U eine C~~ keit, V o//en in It n, h: U -+ V ein Cr-Di]/eo"
morphismus (1 ~ r ~ r ) und c~eine stetige positive reelle Funktion au/ V. D a n n gibt es
eine C~ J~: U --> It n, so daft ]olgendes gilt:
I m Fall r < c~: Fi~r jede partielle Ableitung Dq der Ordnung q mit 0 ~ q ~ r i s t
(1) [Dq[(~--h)h-1]l ~6.

I m Fall r = oo: Zu jedem q ~ 0 gibt es eine kompakte Menge Ka c V, so daft die

Ungleichung (1) in V -- Kq gilt. Fi~r endlich viele q ]cann Kq = 0 gewiihlt werden.
Wir beweisen diesen Hilfssatz weiter unten. Hier wenden wir ihn an a u f
U= U'hUg mitderC~ ~]U,
V = g(U),
h---g[U: U ~ V .
Wit w/~hlen eine stetige F u n k t i o n 5" : Vg --~ R, die in V p o s i t i v i s t und in Vg ~ If

3) Das gilt iibrigens auch fiir die Voraussetzung ,,Hausdorffsch", vgl. die Bemerkung 3 a ~
SchluB der Arbeit.
u XIX, 1 9 6 8 Differenzierbare Strukturen 97

versehwindet, und setzen 3 = 3* I V. Gem~B dem Hilfssatz bestimmerL wit' ein 1~ und
defi~ierea ~: U~ -). Rn durch
9 (,v) = { ~ (x), x e U,
g ( x ) , x e U~ - U.
])ann ist ~eine Cr.Abbildung a n d ffir 0 < q ~ r gilt a)

=- V~ -- A'q, r == c o .

g: U,--~ Rn ist eine differenzierbare Einbettung. Aus der Ungleiehung {2) f(ir
g ~ 0 and q =~ 1 fl)lgt dana, dai] auch ~ eine differenzierbare FAnbet,tung ist,, voraus-
gesetzt, daf~ m a n 6* him'cichend klein und -- falls r ~- r -- KD = K1 = 0 w/s
Diese Tatsaehe geht ouch ~uf WnI~l~Y [10] zuriick. Ein ausffibrlieher Beweis finder
sieh. bei Mum{nns [7] '3.l(.)
Das so gefundene 5 ist ein Cr-Diffeomorphismus yon U~ auf eine offene Teilmenge
on I~n; also ist ~ c-91. if{ U ~ h ist reell-analytiseh beziiglich ~'~, a n d ~ q~ ~ (da
q: Us}. 1)as widersprieht der MaximMits y o n ~ . Also ist U* ~ M. und Satz 1 ist,
eWiesen

BeW(,,is yon Hilfssatz I. U a n d V sind zwei Cr-diffeomorphe C~-Mannigfaltigkeiten

(Hallsdocffsch und mit abz~hlbarer Basis). N a c h S~tz ,3 gibt e,~ einen Cc"-Diffeo-
nlQrphismus k: U - § V. Wir setzen ~ = ttk-t. D a n n ist ,y ein Cr-Diffeamorphismus
Yon [, in s%t). Sei Vo, V~, V2 . . . . eine FoJge yon offenen Mengen, so dab 17~b IQ~ ~,
.~f kompakt mxd V die Vereinigung aller V~ ist. Es gibt eine Zahl v.~ > 0, so 4a6 ffir
lefle C~" A
~ "b ildung / : V -~ R n gilt :
(a) Aus fDq[I ~ z~in ~+1 -- V~ ffirMleq ~ Min(], r)
folgt 113(~(fr in q~(l?~+l--V~) ffiralle q ~ M i n ( j , r ) .
/)as er ib
9 ' g ~ sich elementar aus der Tatsaehe, d a b 9~- ~ eine Cr.Funktion und fr+~ ~ V~
k~176 i~t.
Naeh ~Vl~lT~y [9] Lemraa 6 existiert, eine C~o-Abbiidung ~" V ~ R n, so dab
IDq{~--r l~ ~J in V - - Vj ffiralle q~Min{j,r).
Setze~ Wir h ~ ~ k : U -+ R u, so ist (~ -- ~)9) -~ ~ (~ -- h)h-L also folgt arllS (3)

a) I~q[(~ -/~)~-~11 ~ ~
i~ q~(p~§ ~ V)) fiir alle q ~ Min(j, r). Anders gesagt : Die Ungleielmng (4) gilt in

fi~r alie q < r. ~q

b Darnit ist Hilfssatz I im Fall v = oo bewiesen, wenn m a n Kq ~ q)(Pq) set zt. Often-
ar k6nnen endlieh viele go leer gewahlt werden. Der 1:?all r < oo wird erledigt, indem
~nan Fq ~ 0 ffir q ~ r wghlt.

., ! lnduktion fiber q und elcmentare Differenti~ireehmmg zeigen dab lAq[~--g)g-~] exist.iert.

~et~g ist uad (2) erffillt
, (v g.I [q]
. I emma
. 1. [10]. Lemma 10'1. Bet. ,'qchlu6
. ~vird heaonders einfi~eh.
n nan ~* so wiihlt, dM~ d(x) hei Anniiherung yon x ~n den R,~ud yon V stKrker gegen 0 geht als
~'-~oS~and zum Rand (vg. ,1 unten den Beweis der Beh~uptun,g (B) im Bt~\u ~'o~ Hilfssa,tz 2) 9
Atdllv der Mathcraatik XtX
98 W. Koch und D. PuI,,~ aRCH. MATI['

Beweis yon Satz 2. Sei ~ die Menge aller abz'~hlbaren Ordnungszahlen und
L = ~Qx [0, 1 [-- {(0, 0)}.

L wird lexikographisch geordnet. Versehen mit der Ordnungstopologie, ist L die

Alexandroffsche Halbgerade. L i s t eine Hausdorffsche z u s a m m e n h g n g e n d e eindi"
mensionale Mannigfaltigkeit, u n d nach It. KNESE~ [3] gibt es auf L eine C~-Struktur 9
S e i / : M -~ N eine Cr-Abbildung zwischen eindimensionalen Cv-Mannigfaltigkeite~
mit p > r. Wir sagen ,,die (r + 1)-te Ableitung von [ in x hut den Betrag unendhch
und schreiben
I1(~+~ (x) l = oo,

wenn fiir zwei Cr+LKarten g auf M und h auf N, die in U m g e b u n g e n von x E M bzW.
/ (x) c N definiert sind, gilt,
lim (hlg-1)(r~(Y)--(hlg-])(rl(gx)
y~g(z) y -- g(x) - 1 ~- co.

Elementare Differentialrechnung zeigt, dub diese Aussage nicht v o n d e r Wahl von g

und h abhgngt.

Itilfssatz 2. Sei 92 eine Cm-Struktur au/ L und 0 < r < c~. Dann gibt es eine C ~"
Struktur 93 au[ L, so daft die Idenlitdit von L, au/ge/a[3t als Abbildung id : (L, ~) --> (L, ~),
/olgende Eigenseha/ten hat."
a) Sie ist ein Cr-Di//eomorphismus.
b) Ihre Einsehriinkung au/ L -- ( ~ x O) ist ein C~-Di//eomorphismus.
e) I n allen Punk.ten der Form (~., 0), a e -(2 -- 0, hal die (r q- 1)-re Ableitung den
Betrag oo.
Daraus ergibt sich Satz 2, indem wit zeigen: (L, 92) und (L, 93) sind nieht C r+L
diffeomorph.
A n g e n o m m e n / : (L, 92) -~ (L, 93) ist ein Cr+l-Diffeomorphismus. Sei Fq die Menge
aller x ~ L, in denen / s a m t allen Ableitungen bis zur q-ten Ordnung m i t i d : (L, 92) -~
--> {L, 93) 5bereinstimmt (q ~ r). D u r c h I n d u k t i o n zeigen wit, dab Fq in L nicht be-
sehr&nkt ist: F0 ist die Menge der F i x p u n k t e v o n / . Nach [4] Satz 4 wird eine stetige
Selbstabbildung von L entweder schlieftlieh k o n s t a n t oder ihre F i x p u n k t m e n g e is~
unbesehr/inkt. Der erste Fall k a n n bei dem H o m 6 o m o r p h i s m u s / nieht eintreten, also
ist F0 unbeschr/inkt. Ist Fq-] unbesehr/~nkt, so k6nnen wir fiir jedes y ~ L eine Folge
Xl ~ x2 < ... mit xn e Fr 1 und y < x~ w~thlen. Jede m o n o t o n waehsende Folge i n / )
konvergiert (vgl. [4]). Sei x = lira xn. Aus Stetigkeitsgrfinden folgt x e Fq-1. Es is~
aber auch x c Fa, denn die q-re Ableitung in x (in Bezug a u f irgendwelche K a r t e n in 0J
bzw. 93) ist Limes einer Folge yon Differenzenquotienten, die aus den (q -- 1)-tc~
Ableitungen in x und Xn gebildet werden.
Sei zl < z2 -~ . . . . . so gew/thlt, daft Z2m_1 E F r und Z2m 6 ~ X 0 fiir alle m. D a n n is~
einerseits z = lira zn ~ lira z2m e .(2 x 0. Andererseits gilt z = lira Z2m_1 ~ Fr, und
bctraehtet man die Folge der Differenzenquotienten, gebildet aus den r-ten Ableitunge~
in den P u n k t e n z und z2m-1, so ergibt sich ein Widerspruch zwischen / e C r+l und
l id(rq b(z) l = oo.
 Vol. XIX, 1968 Differenzierbare Strukturen 99

Bemerkung 1. Wir haben tatsgchlich bewiesen: dede Cr+l-Abbildung /: (L, 90--->

(L, ~) wird sehlieglich konstunt, d. h. es gibt ein y ~ L, so d a b / ( x ) --- ](7t) ffir alle
X>y.

Beweis Yon Hilfssatz 2. Wir sehreiben abkfirzend 0~fiir (~, 0), ~ ~ -(2, u n d definieren
]O' Z[ de{nX~ 9e L , ."
x < z} fiir z E L. Wir betruchten Abbildungen [ : ]0, my[ --> R mit
folgel igensehaften, wobei ay 6 ~2 ist und ]0, my[ die dutch ~d induziertc C co-
Struktur trggt.
a) / ist ein Cr-Di/]eomorphismus.
b) In ?edem Pwnkt yon ]0, r -- Q ist ] ein lokaler C~o-Di//eomorphismus.
c) t/(r+l)(~)] = oo/fir alle ~ 6 ]0, ~f[ n ~ .
Sei ~, eine maximMe Mange yon solchen Abbildungen, so dug je zwei yon ihnen C ~-
Verbunden sind. Wir werden zeigen, daf5 die 7y mit / e ~ ' in ~ nicht beschrgnkt sind.
I)ann ist ~ ' ein C~-Atlas uuf L u n d liefert eine C~-Struktur ~ init den gewiinsellten
Eigenschaften.
Angenommen { a l l / e ~'} ist besehrgnkt. D a n n hat diese Mange in ~Q eine obere
90feaze fl, und ~ ' definiert eine Cco-Struktur ~ nuf ]0, fl[. ]0,/~ + 1 [ ist zu R ordnungs-
~soraorph ([3] FuI~note 1), also uuch hom6omorph. Je zwei C~-Strukturen uuf R sind
C~'diffeoroorph5). Daher gibt es einen C~,-Diffeomorphismus g : (]0, fl + l [, 90 --> It,
Wobei R die gew6hnliehe C~-Struktur trggt. Man kann annehmen, dal~ g monoton
wiichst und g(fl) _~ 0 ist. Sei 5 eine stetige positive reelle Funktion auf ]--oo, 0[ c It,
so d~g

lira 8 ( x ) = 0 .

Schlieglich setzen wit h = gJ ]0, fl[: ]0, fl[ --> ]--oo, 0[. h ist ein C~-Diffeomorphismus
bezfiglieh der Struktur ~ auf ]0, fl[ und ein Cr-Diffeomorphismus beziiglich 93.
]3e h a u p t u n g ( A ) : Es gibt einen C+-Di//eomorphismus
h: (]0, ~[, ~3) - + ] - ~ , 0[ c ] t ,
8o d~/~
(5) ][(h--h)h-!](q)l < ~ /iir O~q~r.
~tir r ~ 0 ist dus ein Spczialfall vort Hilfssatz I. Iiilfssatz 1 besagt zun/ichst, dab es
eine Co).Abbildung g gibt, die die Ungleiehungen (5) er['iillt. ]gin solches ~ ist abet
~utomatisch ein Di/[eomorphismu~% wenn man ~ geniigend klein wfihlt (vgl. [7] 3.10;
naan hat es aber hier mit dem element~ren eindimensionalen Fail zu tun). Den Beweis
vo]x (A) ira Fall r = 0 bringen wir welter unten.
Nach Wahl eines h gemgf~ (A) wird ~: ]0, fl + 1[ -~ R dureh

~(x) = L~(x), .~ >_ ~,

defi~iert. Es ist klar, dag ~ eine Cr-Abbfldung ist aul]er vielleicht im P u n k t ft.
) ])as l[tl~t sict~ mit den Methoden yon [3] direkt beweisen. Andcrerseits folgt es nfi~tels S~tz 3
aos der entsprechendcn Aussage ffir C1-Strukturen. Deren Nachweis ist elementar; man kaun
Sieh aher auch a uf die allgemeineren Ergebnisse yon [6] w und [8] 1.18 herufcn.
7*
100 W. Kocii und D. PuPp~ a~c[~, ma'r~.

Behauptung ( B ) : ~ ist in fl (r + 1).real di//erenzierbar (bezi~glich der C~-Struk -

tur ~[).
B e w e i s . Sei ~(x) = ~g-1 (x) -- x, x ~ R. D a n n ist (p eine Cr-Abbildung auBer viei-
leieht in 0, und fiir alle x ~ 0 gilt q)(x) = 0. Nehmen wir induktiv @o(0) = 0 al~
(q ~ r), so folgt fiir x < 0
l~dqJ (x) - ~Jq)(0) I[---x~(q)(x)
I[ ~ II [(~- h)h--1](q}
(X)x <~

< -+ 0 beim Grenzubergang x-~0.

Also ist qj(q+-l)(0) -- 0. Insbesondere ist q) in 0 und d a m i t ~ in ~ (r t l)-mal differen-

zierbar.
Aus (A), (B) und der Definition y o n f] folgt n u n / e i c h t : if: (]0, fl + 1[, ?l) --~ R ist
ein Cr-DiffeomorpMsmus. AuBer in den P u n k t e n yon ~ ist ~ ein lokaler C~-Diffeo -
morphismus. ~ ist mit allen Elementen yon 93' C~-verbunden.
Wit wghlen einen Cr-Diffcomorphismus ~p: R ~ R mit ~0(0)= 0, der auBerhalb
yon 0 sogar ein Co-Diffeomorphismus ist u n d fiir den [ ~(r+l) (0) I = ~ gilt, z. B.
+

D a n n gelten fiir ~0~]: ]0, fl + l [ -~ R die drei Aussagen a) -- e), die oben bei der Ein-
f/ihrung von 93' formuliert wurden. Ferner ist ~/)~7mit allen Elementen yon Co)-ver-
bunden, liegt aber selbst nieht in ~u Das ist ein Widerspruch zur Maximalit&t y o n ~3',
und der HilNsatz 2 ist bewiesen.
Beweis der Behauptung A i m F a l l r ---~0. Sol k: (]0,/3[, ~) --~ ]--oo, 0[ c It
ein m o n o t o n waehsender C~ D a n n ist q~---~hk-1 ein m o n o t o n
waehsender H o m S o m o r p h i s m u s yon ]--oo, 0[ auf sieh. Wir konstruieren zungehst
einen stiickweise a/linen H o m S o m o r p h i s m u s ~01 yon ]--0% 0[ auf sieh, so dab
(6) I =<laor
Genauer : Sei Xn e ]-- oo, 0[, wobei n Mle ganzen Zahlen durehlguft, Xn < Xn+l ffir alle
n und
lim xn ~ - - c o , lim xn 0.

Definiert man r ] - oo, 0[ ~ ]-- 0% 0[ dureh dig Forderung, dab far allen ~ol l[xn, Xn+~]
affin und 9vj (Xn) -~ ~V(Xn) ist, so ist ~1 ein HomSomorphismus. Bei geeigneter Wahl
yon (xn) gilt die Ungleiehung (6).
Dureh elementares ,,Abrunden der E e k e n " in den P u n k t e n x~+ erhglt m a n aus fJ
einen Ci-DiffeomorpMsmus 9~e yon ]--c~, 0[ in sieh, so daB
(7) I q ~ 2 - cf~ I < +~~,o q~.
Nach I~THITNEY [9 I L e m m a 6 (das oben bereits beim Beweis yon Ifilfssatz 1 benutzt
wurde) gibt es eine C~-Funktion Va: ]--c~, 0[ -~ R mit
Yol. XIX, 1968 Differenzierbare Strukturen 101

~ei hinreichend kleinem 6 ist dann ~v3 a u t o m a t i s c h ein C~-Diffeomorphismus von

l--co, 0[ auf sieh. Aus (6)--(8) folgt

l~iir ~ _~ ~8 k gilt dann die B e h a u p t u n g (A).

Bemerkung 2. E r s e t z t m a n in den S~tzen 1 und 2 ,,reell-analytisch" durch C ~176so

Vereinfaehen sich die Beweise insofern, als m a n den tiefliegenden E i n b e t t u n g s s a t z
yon G a A ~ ~1], der den Fall p = ~o in Satz 3 liefert, nicht braueht. A u f e r d e m k a n n
man an Stelle yon [9] L e m m a 6 den einfacheren Satz fiber A p p r o x i m i e r b a r k e i t durch
C~-~'unktionen verwenden (s. z. B. [7] 4.2; zwar erstreckt sich dort die A p p r o x i m a -
tion nut auf die ersten Ableitungen, aber das/~ndert die Beweise nieht wesentlieh).

Bemerkung 3. Aueh die Voraussetzung ,,Hausdorffseh" k a n n in Satz 3 ffir kein

l~aar r < p weggelassen werden: Sei n/imlich N die Mannigfaltigkeit, die aus It • {0, 1 }
entsteht, wenn m a n (x, 0) ffir alle x * 0 m i t (x, 1) identifiziert. N h a t eine abziihlbare
~asis, ist aber nieht Hausdorffsch. D u r c h / i (x, i) = x, i = 0, 1, werden zwei K a r t e n
]0,/1 auf N definiert, die eine C ~ - S t r u k t u r 91 bestimmen, Sei ~0 ein Cr-Diffeomorphis -
~lus yon R in sich, so dab ~(0) = 0, ~v auBerhalb yon 0 sogar ein C~-Difteomorphis -
raus, abet in 0 keine Cv-Abbildung ist. D a n n bestimlnen die K a r t e n ]0 und ~v/1 eine
Cz'Struktur ![~ auf N, die dieselbe Cr-Struktur wie 91 liefert. Aber (N, 91) und (N, ~ )
sind nieht Cv-diffeomorph. Beweis: Sei g: (N, 91) --~ (N, ~ ) ein CmDiffeomorphismus.
n]uf~ die beiden P u n k t e (0, 0) u n d (0, 1) yon N entweder festlassen oder vertau-
Schen, Man k a n n das erste annehmen. D a n n miissen/og/o 1 und ~/lg/-t I Cp-Funktio-
aen sein. Andererseits ist ]og]o 1 =/lg/-11. Das steht im Widerspruch zur Wahl von yJ.

l~ernerknng 4. Es ist nicht sehwer, Hi]fss~tz 2 u n d Satz 2 von L a u f die Alexandroff-

Sehe Vollgerade A zu iibertragen. (Man ,,spiegelt" die S t r u k t u r e n 91 und ~ yon Hilfs-
Satz 2 a m ,,Nullpunkt" yon A.) Jede Hausdorffsehe z u s a m m e n h ~ n g e n d e eindimen-
siOnale Mannigfaltigkeit ist aber zu S 1, It, L oder A h o m 6 o m o r p h [11], u n d e s folgt:
~fir I"ede Hausdorffsche eindimensionale Mannigfaltigkeit, bei der mindestens eine
(nnponente keine abz/s Basis hat, gilt Satz 2 entspreehend.

llernerkung 5. Sei M eine (n -- 1)-dimensionale Mannigfaltigkeit mit abzahlbarer

]~asis, die eine differenzierbare S t r u k t u r besitzt. Dann ist L X M ein Beispiel einer
n.'diraensionalen Mannigfaltigkeit, ffir die Satz 2 entspreehend gilt. Weitere Beispiele
S~nd P r o d u k t e m i t mehreren F a k t o r e n L oder A. Often bleibt allerdings, ob die Aus-
Sage Yon Satz 2 f6r ]ede Hausdorffsehe zusammenh/~ngende n-dimensionale Mannig-
faltigkeit ohne abz/~hlbare Basis riehtig ist.

Literaturverzeichnis
[1] H. GI~AUE~T,On Levi's problem and the imbedding of real-analytic manifolds. Ann. of Math.,
I]. Set. 68, 460--472 (1958).
[2] M. A. KERVAIRE,A manifold which does not admit any differentiab]e structure. Comment.
Math. Helvet. 84. 257--270 (1960).
[3] H. KNESEn, Analytische Struktur und Abz~thIbarkeit. Ann. Aead. Sci. Fennic,~e A/I. 251/5
(1958).
102 W. Kocrt und D. PuPel~ ARCH.MATH*

[4] H. KNESER und M. KNESER, t~eell-analytische Strukturen der Alexandroff-Halbgeraden und

der Alexandroff-Geraden. Arch. Math. l l , 104--106 (1960).
[5] J. MILNOR, On manifolds homeomorphic to the 7-sphere. Ann. of Math., II. Scr. 64, 399 - 4 0 5
0956).
[6] J. 1-r MUNKmCS, Obstructions to the smoothing of piecewise-differentiable homeomorphisms.
Ann. of Math., lI. Ser. 72, 521--554 (1960).
[7] J. Ir MtT~'KRES, Elementary differential topology. Ann. Math. Stud. Nr. 54 (1963).
[8] J. H. C. WHITe;HEAD, Manifolds with transverse fields in euclidean space. Ann. of Math.,
]]. Ser. 7~|, 154--212 (1961).
[9] H. WII]TNEY,Analytic extensions of differentiable functions defined in closed sets. Trans.
Ammer. Math. Soc. 86, 63--89 (1934).
[ 10] H. W]HTN EY, Difl'crentiable manifolds. Ann. of Math., ]I. Ser. 37, 645--680 (1936).
[11] H. K.~ESEI~, Sur les vari~t6s connexes de dimension 1. Bull, Soc. Math. Belg. 10, 19--25
(19,~8).
Eingegangcn am25. 1. 1967 ;
Anschriften der Autoren:
Winfried Koch
Dieter Puppe
Matlmmatisches ] nstitut
UniversitKt des Saarlandes
66 Saarbrfieken 15