Сборник с математически доказателства/Чернова1

Сборник с математически доказателства/Чернова<<
1 Klassen und Funktionen von Ordinalzahlen
Die Existenz von Klassen ist in der von Neumann-Bernays-Gödel-Mengenlehre axiomatisch gesichert, wobei die Mengen spezielle Klassen sind (nämlich solche Klassen, die nicht nur Klassen sondern auch Elemente von Klassen sind). Die ZFC besteht dagegen ausschließlich aus Behauptungen, die Aussagen über Mengen treffen. Dennoch wird in der Zermelo-Fraenkel-Mengenlehre über Klassen gesprochen, wobei man darunter Abkürzungen von mengentheoretishen Formeln versteht. Die Formel "<math>\xi</math><math>{\!}^{\in}</math><math>K</math>" zum Beispiel interpreitert man für eine Klasse <math>K=</math><math>\{x|</math><math>{\!}^{\exist}</math><math>y(y</math><math>{\!}^{\in}</math><math>x)\}</math> als "<math>\xi</math> enthält mindestens ein Element". Wenn <math>\phi</math> eine mengentheoretische Formel ist, dann wird der Ausdruck <math>\{x|\phi\}</math>''Klassenterm'' genannt. Mittels Regeln für das Verwenden von Klassentermen in mengentheoretischen Formeln kann sichergestellt werden, dass Formeln, die Klassenterme enthalten und nach diesen Regeln gebildet sind, in ZFC zulässig sind. Auch Funktionen deren Argumentenbereich Klassen sind, lassen sich in ZFC definieren. Diese werden oft ''Klassenfunktionen'' genannt (''s. Hauptartikel'': Klasse). Eine Klasse ist wohlgeordnet, wenn jede ihrer Teilklassen kleinstes Element hat. <math>(\textrm{On},</math><math>{\!}^{\in}</math><math>)</math> ist eine transitive stark wohlgeordnete Klasse. Stark wohlgeordnet sind auch alle Teilklassen von <math>\textrm{On}</math>. Jede wohlgeordnete echte Klasse ist ordnungsisomorph zu <math>\textrm{On}</math>. Da jede wohlgeordnete Menge ordnungsisomoprh zu genau einer Ordinalzahl ist, existiert für jede wohlgeordnete Klasse <math>K</math> eine eindeutig bestimmte ähnliche Funktion <math>F</math> dessen Wertebereich <math>W</math> entweder <math>\textrm{On}</math> oder eine Ordinalzahl ist. Dieser Wertebereich kann als Indexbereich verwendet werden: <math>K=\{\kappa_\beta:=F^{(-1)}(\beta)|\beta</math><math>{\!}^{\in}</math><math>W\}</math>. Es gilt: <math>\kappa_\beta=\textrm{min}\{x</math><math>{\!}^{\in}</math><math>K|</math><math>{\!}^{\forall}</math><math>\eta<\beta(\kappa_\eta<x)\}</math>. Der Wertebereich <math>W</math> wird ''Kollabierung'' von <math>K</math> genannt (''s. Hauptartikel'': Isomorphiesatz von Mostowski). Die inverse Abbildung <math>F^{(-1)}</math> heißt Wertverlaufsfunktion der Klasse <math>K</math> (engl. ''enumerating function''). Funktionen, deren Argumentenbereich ein Anfangstück <math>\{</math><math>\eta</math><math>\!^\in</math><math>\textrm{On}</math><math>|\eta<\xi\}</math> ist, heißen ''transfinite Funktionen'' (oder auch ''Folgen'') ''vom Typ''<math>\xi</math>. Wenn jeder Funktion vom beliebigen positiven Typ eindeutig eine Ordinalzahl zugeordnet wird, dann spricht man von einem ''Funktional''. Klassenfunktionen mit Argumentenbereich <math>\textrm{On}</math> lassen sich auch als Funktionale auffassen, deren Argumentenbreich auf Funktionen vom Typ <math>1</math> beschränkt ist. Von Interesse sind auch Folgen von Funktionen, die alle denselben Argumentenbereich haben. Jede solche Folge <math>(f_\xi(\eta))_{\xi<\Lambda}</math> lässt sich als eine Funktion von zwei Variablen (auch ''Doppelfolge'' genannt) darstellen: <math>f_\xi(\eta)=F(\xi,\eta)</math>.
1.1 Limes
''Limes'' ist ein Funktional. Für jede Folge von Ordinalzahlen <math>B=(b_\xi)_{\xi<\Lambda}</math> ist <math>\beta=\textrm{lim }_{\xi<\Lambda}b_\xi</math> Limes von <math>A</math> genau dann, wenn <math>\!^\forall</math><math>\delta<\beta</math><math>\!^\exist</math><math>\eta<\Lambda</math><math>(\eta<\xi<\Lambda</math><math>\Rightarrow</math><math>\delta<b_\xi</math><math>\!^\leq</math><math>\beta)</math>. Nicht jede Folge hat einen Limes. Hinreichend dafür ist, dass die Folge einen monotonen Rest hat. Ist dieser Rest echt wachsend, so gilt
<math>\textrm{lim }_{\xi<\Lambda}b_\xi=\textrm{min }_{\eta<\Lambda}(\textrm{sup}</math><sub><math>\eta</math> ≤ <math>\xi<\Lambda</math></sub><math>b_\xi)</math>. Wenn die ganze Folge wachsend ist, dann ist
<math>\textrm{lim }_{\xi<\Lambda}b_\xi=\textrm{sup}</math><sub><math>\eta</math> ≤ <math>\xi<\Lambda</math></sub><math>b_\xi</math>. Echt wachsende Folgen von Limeszahltyp heißen ''Fundementalfolgen''. Zwei Fundamentalfolgen haben gleichen Limes genau, dann wenn ihre Wertemengen zusammengehörig sind. Falls <math>\textrm{lim}_{\eta<\Lambda}f_\eta(\xi)</math> für jedes <math>\xi</math> des gemeinsamen Argumentenbereiches der Funktionen der Folge <math>A=(f_\eta)_{\eta<\Lambda}</math> existiert, dann nennt man <math>F(\xi)=\textrm{lim}_{\eta<\Lambda}f_\eta(\xi)</math> die ''Grenzfunktion'' von <math>A</math>. Eine Funktionenfolge <math>(f_\eta)_\eta</math> von Funktionen mit Argumentenbereich <math>A</math> heißt ''monoton'', wenn für jede beliebige Konstante <math>\xi</math><math>\!^\in</math><math>A</math> die Folge <math>(f_\eta(\xi))_\eta</math> monoton ist. Jede monotone Funktionenfolge hat eine Grenzfunktion. Hinreichendes Kriterium für
<math>\textrm{lim }_{\eta<\nu}\textrm{lim }_{\xi<\mu}F(\xi,\eta)=\textrm{lim }_{\xi<\mu}\textrm{lim }_{\eta<\nu}F(\xi,\eta)</math> ist, dass
<math>\nu</math><math>\!^\in</math><math>\textrm{Lim}</math> und <math>\mu</math><math>\!^\in</math><math>\textrm{Lim}</math>,
es eine <math>\lambda</math><math>\!^\in</math><math>\textrm{Lim}</math> gibt mit der <math>\nu</math> und <math>\mu</math> konfinal sind und
alle Funktionen <math>f_\eta(\xi)=F(\xi,\eta)</math> und <math>g_\xi(\eta)=F(\xi,\eta)</math> monoton sind.
1.2 Konfinalität (als Relation)
Eine Ordinalzahl <math>\xi</math> heißt mit der Ordinalzahl <math>\eta</math>''konfinal'' (oder ''kofinal'') - in Zeichen: <math>\xi</math><math>\textrm{cf}</math><math>\eta</math>, wenn es eine wachsende transfinite Folge <math>b=(b_\gamma)_{\gamma<\eta}</math> vom Typ <math>\eta</math> gibt, so dass <math>\xi=\textrm{min}\{\tau|</math><math>\neg</math><math>\!^{\exists}</math><math>\gamma<\eta</math><math>(\tau</math><math>\!^\leq</math><math>b_\gamma)\}</math>. Falls also <math>\eta=0</math> ist, dann ist auch <math>\xi=0</math>. Falls <math>\eta>0</math>, dann ist <math>\xi</math> die kleinste Ordinalzahl größer als alle Elemente einer wachsenden Folge vom Typ <math>\eta</math>. ''Konfinalität'' ist eine transitive, asymetrische und reflexive Relation. Folgende Zusammenhänge können bewiesen werden:*<math>\!^\forall</math><math>\xi</math><math>\!^\in</math><math>\textrm{On}</math><math>\!^\forall</math><math>\eta</math><math>\!^\in</math><math>\textrm{On}</math><math>(\xi</math><math>\textrm{cf}</math><math>\eta</math><math>\Rightarrow</math><math>\xi</math><math>\!^\geq</math><math>\eta)</math>*<math>\!^\forall</math><math>\xi>0</math><math>\!^\forall</math><math>\eta>0</math><math>(\xi</math><math>\textrm{cf}</math><math>\eta</math><math>\Rightarrow</math><math>(\xi</math><math>\!^\in</math><math>\textrm{Lim}</math><math>\Leftrightarrow</math><math>\eta</math><math>\!^\in</math><math>\textrm{Lim}))</math>*<math>\!^\forall</math><math>\xi</math><math>\!^\in</math><math>\textrm{On}</math><math>(1</math><math>\textrm{cf}</math><math>\xi</math><math>\Leftrightarrow</math><math>\xi=1)</math>*<math>\!^\forall</math><math>\xi</math><math>\!^\in</math><math>\textrm{On}</math><math>(\xi</math><math>\textrm{cf}</math><math>1</math><math>\Leftrightarrow</math><math>(\xi>0</math><math>\!^\land</math><math>\xi</math><math>\!^\notin</math><math>\textrm{Lim}))</math>*<math>\!^\forall</math><math>\xi</math><math>\!^\in</math><math>\textrm{On}</math><math>\!^\forall</math><math>\eta</math><math>\!^\in</math><math>\textrm{On}</math><math>((\xi>0</math><math>\!^\land</math><math>\xi</math><math>\!^\notin</math><math>\textrm{Lim})</math><math>\Rightarrow</math><math>(</math><math>\!^\forall</math><math>\eta(0<\eta<\xi</math><math>\!^\land</math><math>\eta</math><math>\!^\notin</math><math>\textrm{Lim}</math><math>\Rightarrow</math><math>\xi</math><math>\textrm{cf}</math><math>\eta))</math>*<math>\!^\forall</math><math>\xi</math><math>\!^\in</math><math>\textrm{On}</math><math>\eta>0</math><math>(\eta</math><math>\!^\notin</math><math>\textrm{Lim}</math><math>\Rightarrow</math><math>(\xi</math><math>\textrm{cf}</math><math>\eta</math><math>\Leftrightarrow</math><math>(\xi</math><math>\!^\geq</math><math>\eta</math><math>\!^\land</math><math>\xi</math><math>\!^\notin</math><math>\textrm{Lim}))</math>*<math>\!^\forall</math><math>\xi</math><math>\!^\in</math><math>\textrm{On}</math><math>\eta>0</math><math>(\xi</math><math>\!^\notin</math><math>\textrm{Lim}</math><math>\Rightarrow</math><math>(\xi</math><math>\textrm{cf}</math><math>\eta</math><math>\Leftrightarrow</math><math>(\xi</math><math>\!^\geq</math><math>\eta</math><math>\!^\land</math><math>\eta</math><math>\!^\notin</math><math>\textrm{Lim}))</math>
Hinreichendes und notwenidiges Kriterium für die Konfinalität der Ordinalzahl <math>\xi</math> mit der Ordinalzahl <math>\eta</math>, falls <math>\xi</math> und <math>\eta</math> nicht beide isoliert sind, ist, dass <math>\eta</math><math>\!^\in</math><math>\textrm{Lim}</math> und dass <math>\xi</math> Limes einer Fundamentalfolge vom Typ <math>\eta</math> ist.
1.3 Normale und halbnormale Funktionen
Der Limes <math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\lambda)=</math><math>\textrm{lim }_{\xi<\lambda}</math><math>f(\xi)</math>, falls er existiert, heißt für die Limeszahl <math>\lambda</math> und die transfinite Funktion <math>f</math> der ''Grenzwert'' von <math>f</math> an der Stelle <math>\lambda</math>.<math>f</math> heißt an der Stelle <math>\lambda</math>''stetig'', wenn <math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\lambda)=f(\lambda)</math>. Transfinite Funktionen, die an jeder Limeszahlstelle ihres Argumentenbereiches stetig sind, heißen ''stetige transfinte Funktionen''. Monotone stetige Funktionen heißen ''halbnormal'' und echt wachsende stetige Funktionen - ''normal''. Eine Funktion <math>f</math> heißt ''expansiv'', wenn <math>{\!}^{\forall}</math><math>\eta(\eta</math><math>{\!}^{\le}</math><math>f(\eta))</math>. Jede monoton wachsende Funktion ist expansiv. Die Funktionalgleichung <math>f(\eta+1)=g(f(\eta))</math> mit Anfangsbedingung <math>f(0)=\xi</math> hat genau eine halbnormale Lösung <math>f:\textrm{On}</math><math>\!^\to</math><math>\textrm{On}</math> für jede Ordinalzahl <math>\xi</math>, falls <math>g</math> eine expansive Funktion mit Argumentenbereich <math>\textrm{On}</math> ist. Für jede Ordinalzahl <math>\beta</math>, die ausserhalb des Wertebereiches der halbnormalen Funktion <math>h</math> liegt, aber keine obere oder untere Schranke dieses Bereiches ist, hat die Klasse <math>\{\xi|h(\xi)<\beta<h(\xi+1)\}</math> ein Maximum. Für jede monotone Funktion <math>f</math> existiert eine ''zu''<math>f</math>''gehörige halbnormale Funktion''<math>f</math><sup><math>\!^{\!^\to}</math></sup>, die man forlgendermaßen definiert:
*<math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\xi)=f(\xi)</math> für endliche <math>\xi</math>,
*<math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\lambda)=</math><math>\textrm{lim }_{\xi<\lambda}</math><math>f(\xi)</math> für Limeszahlen <math>\lambda</math>*<math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\xi+1)=f(\xi+1)</math> für transfinite <math>\xi</math>, falls <math>\textrm{max}\{\lambda|\xi</math><math>\!^\geq</math><math>\lambda</math><math>\!^\in</math><math>\textrm{Lim}\}</math> eine Stetigkeitstelle von <math>f</math> ist,
*<math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\xi+1)=f(\xi)</math> für transfinite <math>\xi</math>, falls <math>\textrm{max}\{\lambda|\xi</math><math>\!^\geq</math><math>\lambda</math><math>\!^\in</math><math>\textrm{Lim}\}</math> eine Unstetigkeitstelle von <math>f</math> ist.
Es gilt:
*<math>\!^\forall</math><math>\xi(f</math><sup><math>\!^{\!^\to}</math></sup><math>(\xi)</math><math>\!^\leq</math><math>f(\xi)</math><math>\!^\leq</math><math>f</math><sup><math>\!^{\!^\to}</math></sup><math>(\xi+1))</math>.
*Falls <math>f</math> echt wachsend ist, dann ist <math>f</math><sup><math>\!^{\!^\to}</math></sup> normal.
Eine Ordinalzahl <math>\beta</math> heißt ''Wachstumsstelle'' der monotonen Funktion <math>f</math>, wenn <math>\!^\neg</math><math>\!^\exist</math><math>\xi<\beta</math><math>(f(\xi)=f(\beta))</math>. Die geordnete Folge der Wachstumstellen einer halbnormalen Funkion ist normale Funktion, die Zahlen erster Art auf Zahlen erster Art abbildet. Jede Funktion vom Typ kleiner <math>\omega_1</math> ist Grenzfunktion einer Folge von stetigen Funktionen.<sup>,</sup> Monotone Folgen von halbnormalen Funktionen haben halbnormale Grenzfunktionen.
2 Spezielle Ordinalzahlen und Klassen von Ordinalzahlen
Eine Ordinalzahl <math>\beta</math><math>{\!}^\in</math><math>K</math> heißt ''Fixpunkt'' der Funktion <math>F:</math><math>K</math><math>\!^\rightarrow</math><math>\textrm{On}</math>, falls <math>F(\beta)=\beta</math>. Die Funktion <math>F</math> heißt ''expansiv'', wenn <math>{\!}^{\forall}</math><math>\eta<\xi(\eta</math><math>{\!}^{\le}</math><math>F(\eta))</math>. Jede monoton wachsende Funktion ist expansiv. <math>F</math> heißt ''stetig'', wenn <math>F(\lambda)=\textrm{lim}_{\eta<\lambda}F(\eta)</math> für jede Limeszahl <math>\lambda<\xi</math>. Expansive stetige Funktionen mit ausreichend großem Definitionsbereich besitzen beliebig große Fixpunkte. Sei <math>\tau</math> ein Element von <math>K</math>. Die Ordinalzahlfamilie <math>\{\beta_n\}_{n=0,1,...}</math><math>{\cup}</math><math>\{\beta_\omega=E(\tau)\}</math>, definiert durch:
*<math>\beta_0=\tau+1</math>*<math>\beta_{n+1}=F(\beta_n)</math> für jedes <math>n<\omega</math>*<math>E(\tau)=\textrm{sup}\{\beta_n|n<\omega\}</math>
sei Teilklasse von <math>K</math>. Dann ist <math>E(\tau)</math> ein Fixpunt von <math>F</math>. Sei <math>\textrm{Fix}_{[\tau]}(F(\tau))</math> Bezeichnung für die Klasse der Fixpunkte von <math>F</math>. Es läßt sich zeigen, dass:
*<math>\textrm{Fix}_{[\tau]}(\tau+\gamma)=\{0\}</math> für jede <math>\gamma>0</math>,
*<math>\textrm{Fix}_{[\tau]}(\gamma+\tau)=\{\gamma\omega+\rho|\rho</math><math>{\!}^{\in}</math><math>\textrm{On}\}</math>, *<math>\textrm{Fix}_{[\tau]}(\gamma\tau)=\{\gamma^{\omega+\delta}|\delta</math><math>{\!}^{\in}</math><math>\textrm{On}\}</math>.
Die Fixpunkte der Funktion <math>F(\beta)=\omega^\beta</math> heißen Epsilonzahlen. Da <math>F(\beta)=\omega^\beta</math> expansiv und stetig ist, existieren beliebig große Epsilonzahlen. Die kleinste davon ist <math>\epsilon_0</math>. Sie ist abzählbar und Supremum der Folge <math>(\gamma_n)_{n=0,1,...}</math> definiert durch <math>\gamma_0=\omega</math> und <math>\gamma_{n+1}=\omega</math><sup><math>\gamma_n</math></sup>. Für jede abzählbare Ordinalzahl <math>\xi</math> exisitieren abzählbare Epsilonzahlen, die größer als <math>\xi</math> sind. Die Epsilonzahlen sind genau die Zahlen deren größter Exponent <math>\lambda_n</math> in ihrer Cantorschen Normaldarstellung gleich die Zahl selbst ist. Sei <math>\epsilon_\eta</math> die eindeutig bestimmte Epsilonzahl, für die <math>\textrm{ord}(\{\beta|\beta<\epsilon_\eta; \omega^\beta=\beta\})=\xi</math>. Es gilt <math>\epsilon_{\eta+1}=E(\epsilon_\eta)</math> für jede Ordinalzahl <math>\eta</math> und <math>\epsilon_\lambda=\textrm{sup}\{\epsilon_\beta|\beta<\lambda\}</math> für jede Limeszahl <math>\lambda</math>. Man kann zeigen, dass <math>\{\epsilon_\beta|\beta</math><math>{\!}^{\in} </math><math>\textrm{On}\}</math><math>=\{\beta>\omega|2^\beta=\beta\}=\{\beta>\omega|</math><math>{\!}^{\forall}</math><math>\eta</math><math>{\!}^{\forall}</math><math>\xi</math><math>(\eta<\beta </math><math>{\!}^{\land}</math><math>\xi<\beta</math><math>{\!}^{\Rightarrow}</math><math>\eta^\xi<\beta)\}</math>.
3 PROBE
abcd abcdabcd abcdabcd abcdabcd abcd
abcd <math>{\xi}</math>·<math>{\xi}</math> abcde
acbd <math>{\xi}</math>·<math>{\xi}</math><sup> <math>{\xi}</math>·<math>{\xi}</math></sup> abcd
abcdabcd abcdabcd abcdabcd abcdabcd abcd
<math>\textrm{lim }_{\xi<\Lambda}\beta_\xi=\textrm{min }_{\eta<\Lambda}(\textrm{sup}</math><sub><math>\eta</math> ≤ <math>\xi<\Lambda</math></sub><math>\beta_\xi)</math><math>\kappa</math><sup><math>\Omega({\textrm{cf}(\xi)})</math></sup>
abcde <math>f</math><math>(x)</math>
abcde <math>f</math><sup><math>{\ }^{\!^\sim}</math></sup><math>(x)</math>
abcde <math>f*(x)</math><math>\!^{\tilde{f</math><math>(x)</math><math>f(x)</math>
abcd
<math>\omega^{\omega^{\omega^{\omega}\!{\color{White}_{_{_{_{_{_{_{_.</math>abcd
abcd <math>\aleph\!\!{\color{White}_{_.</math>abcd
abcd <math>\R\!{\color{White}_{_.</math> abcde
abcd
<math>\R^2\!\!{\color{White}_{_{_{_{_.}</math>abcd
abcdefg abcdefg abcdefg abcdefg abcdefg abcdefg
abcdefg abcdefg
4 AAA
Seien <math>X</math> und <math>Y</math> Mengen, sowie <math>f</math>: <math>X</math><math>\to</math><math>Y</math> eine Abbildung von <math>X</math> nach <math>Y</math>.
<math>X</math> ist der Defintionsbereich einer Funktion <math>F</math> und <math>Y</math> eine Obermenge (Oberklasse) des Wertebereiches von <math>F</math>. Formal: <math>F</math>: <math>X</math><math>\to</math><math>Y</math><math>\Leftrightarrow</math><math>\textrm{Fun}(F)</math><math>\land</math><math>\textrm{dom}(F)=X</math><math>\land</math><math>\textrm{ran}(F)</math><math>\!^\subseteq</math><math>Y</math>,
wobei
<math>\textrm{Fun}(F)</math><math>\Leftrightarrow</math><math>\textrm{Rel}(F)</math><math>\land</math><math>\!^\forall</math><math>x,y_1,y_2(xFy_1</math><math>\land</math><math>xFy_2)</math><math>\Rightarrow</math><math>y_1=y_2)</math>
und
<math>\textrm{Rel}(F)</math><math>\Leftrightarrow</math><math>F</math><math>\!^\subseteq</math><math>(X</math><math>\cup</math><math>Y)</math><math>\times</math><math>(X</math><math>\cup</math><math>Y)</math>
und
<math>\textrm{dom}(F)</math><math>:=</math><math>\{x|</math><math>\!^\exist</math><math>y(xFy)\}</math>
und
<math>\textrm{ran}(F)</math><math>:=</math><math>\{y|</math><math>\!^\exist</math><math>x(xFy)\}</math>
5 PROBE2
<math>\!^{\color{Red}0}\!^{\color{Blue}1}\!^{\color{Blue}2}\!\!\!\!\!^{\ldots}{\ }^{\curvearrowleft\atop\ }{\ }^{\color{Blue}\eta-1}{\curvearrowleft\atop\ }{\ }^\!\!\!\!\!\!\!\!\!\!\!\!\!^{\ldots}{\ }^{\curvearrowleft\atop\ }{\ }^{\color{Blue}((\xi-1)-1)-1}{\curvearrowleft\atop\ }{\ }^{\color{Blue}(\xi-1)-1}{\curvearrowleft\atop\ }{\ }^{\color{Blue}\xi-1}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!{\ }^\ \ \!^\ldots</math>
6 Quellen und Bemerkungen
Kategorie:Topologie