Über transfinite Zahlen

DOCUMENTOS CIENTÍFICOS

Über transfinite Zahlen

Henri Poincaré (1854-1912)

Meine Herren! Ich will heute über den Begriff der transfiniten Kardinalzahl vor Ihnen sprechen; und zwar will ich zunächst von einem scheinbaren Widerspruch reden, den dieser Begriff enthält. Dazu schicke ich folgendes voraus: meiner Ansicht nach ist ein Gegenstand nur dann denkbar, wenn er sich mit einer endlichen Anzahl von Worten definieren läßt. Einen Gegenstand, der in diesem Sinne endlich definierbar ist, will ich zur Abkürzung einfach „definierbar" nennen. Demnach ist also ein nicht definierbarer Gegenstand auch undenkbar. Desgleichen will ich ein Gesetz „aussagbar" nennen, wenn es in einer endlichen Anzahl von Worten ausgesagt werden kann.

Herr Richard hat nun bewiesen, daß die Gesamtheit der definierbaren Gegenstände abzählbar ist, d. h. daß die Kardinalzahl dieser Gesamtheit ℵ₀ ist. Der Beweis ist ganz einfach: sei α die Anzahl der Wörter des Wörterbuches, dann kann man mit n Wörtern höchstens αⁿ Gegenstände definieren. Läßt man nun n über alle Grenzen wachsen, so sieht man, daß man nie über eine abzählbare Gesamtheit hinauskommt. Die Mächtigkeit der Menge der denkbaren Gegenstände wäre also ℵ_0. Herr Schoenflies hat gegen diesen Beweis eingewandt, daß man mit einer einzigen Definition mehrere, ja sogar unendlich viele Gegenstände definieren könne. Als Beispiel führt er die Definition der konstanten Funktionen an, deren es offenbar unendlich viele gibt. Dieser Einwand ist deshalb unzulässig, weil durch solche Definitionen gar nicht die einzelnen Gegenstände, sondern ihre Gesamtheit, in unserem Beispiel also die Menge der konstanten Funktionen definiert wird, und diese ist ein einziger Gegenstand. Der Einwand von Herrn Schoenflies ist also nicht stichhaltig.

Nun hat bekanntlich Cantor bewiesen, daß das Kontinuum nicht abzählbar ist; dies widerspricht dem Beweise von Richard. Es fragt sich also, welcher von beiden Beweisen richtig ist. Ich behaupte, sie sind beide richtig, und der Widerspruch ist nur ein scheinbarer. Zur Begründung dieser Behauptung will ich einen neuen Beweis für den Cantorschen Satz geben: Wir nehmen also an, es sei eine Strecke AB gegeben und ein Gesetz, durch welches jedem Punkte der Strecke eine ganze Zahl zugeordnet wird. Wir wollen der Einfachheit halber die Punkte durch die ihnen zugeordneten Zahlen bezeichnen. Wir teilen nun unsere Strecke durch zwei beliebige Punkte A₁ und A₂, in drei Teile, die wir als Unterstrecken 1. Stufe bezeichnen; diese teilen wir wieder in je drei Teile und erhalten Unterstrecken 2. Stufe; dieses Verfahren denken wir uns ins Unendliche fortgesetzt, wobei die Länge der Unterstrecken unter jede Grenze sinken soll. Der Punkt 1 gehört nun einer oder höchstens, wenn er mit A₁ oder A₂ zusammenfällt, zweien der Unterstrecken erster Stufe an, es gibt also sicher eine, der er nicht angehört. Auf dieser suchen wir den Punkt mit der niedrigsten Nummer, die nun mindestens 2 sein muß, auf. Unter den 3 Unterstrecken 2. Stufe, die zu derjenigen Strecke 1. Stufe gehören, auf der wir uns befinden, ist nun wieder mindestens eine, der der zuletzt betrachtete Punkt nicht angehört. Auf dieser setzen wir das Verfahren fort und erhalten so eine Folge von Strecken, die folgende Eigenschaften hat: jede von ihnen ist in allen vorhergehenden enthalten, und eine Strecke n^ter Stufe enthält keinen der Punkte 1 bis n - 1. Aus der ersten Eigenschaft folgt, daß es mindestens einen Punkt geben muß, der ihnen allen gemeinsam ist; aus der zweiten Eigenschaft folgt aber, daß die Nummer dieses Punktes größer sein muß als jede endliche Zahl, d. h. es kann ihm keine Zahl zugeordnet werden.

Was haben wir nun zu diesem Beweise vorausgesetzt? Wir haben ein Gesetz vorausgesetzt, das jedem Punkte der Strecke eine ganze Zahl zuordnet. Dann konnten wir einen Punkt definieren, dem keine ganze Zahl zugeordnet ist. In dieser Hinsicht unterscheiden sich die verschiedenen Beweise dieses Satzes nicht. Dazu mußte aber das Gesetz zuerst feststehen. Nach Richard müßte anscheinend ein solches Gesetz existieren, aber Cantor hat das Gegenteil bewiesen. Wie kommen wir aus diesem Dilemma heraus? Fragen wir einmal nach der Bedeutung des Wortes „definierbar". Wir nehmen die Tafel aller endlichen Sätze und streichen daraus alle diejenigen, die keinen Punkt definieren. Die Übrigbleibenden ordnen wir den ganzen Zahlen zu. Wenn wir jetzt die Durchmusterung der Tafel von neuem vornehmen, so wird es sich im allgemeinen zeigen, daß wir jetzt einige Sätze stehen lassen müssen, die wir vorher gestrichen haben. Denn die Sätze, in welchen man von dem Zuordnungsgesetz selbst sprach, hatten früher keine Bedeutung, da die Punkte den ganzen Zahlen noch nicht zugeordnet waren. Diese Sätze haben jetzt eine Bedeutung, und müssen in unserer Tafel bleiben. Würden wir jetzt ein neues Zuordnungsgesetz aufstellen, so würde sich dieselbe Schwierigkeit wiederholen und so ad infinitum. Hierin liegt aber die Lösung des scheinbaren Widerspruchs zwischen Cantor und Richard. Sei M₀ die Menge der ganzen Zahlen, M₁ die Menge der nach der ersten Durchmusterung der Tafel aller endlichen Sätze definierbaren Punkte unserer Strecke, G₁ das Gesetz der Zuordnung zwischen beiden Mengen. Durch dieses Gesetz kommt eine neue Menge M2, von Punkten als definierbar hinzu. Zu M₁ + M₂ gehört aber ein neues Gesetz G₂, dadurch entsteht eine neue Menge M₃ usw. Richards Beweis lehrt nun, daß, wo ich auch das Verfahren abbreche, immer ein Gesetz existiert, während Cantor beweist, daß das Verfahren beliebig weit fortgesetzt werden kann. Es besteht also kein Widerspruch zwisehen beiden.

Der Schein eines solchen rührt daher, daß dem Zuordnungsgesetz von Richard eine Eigenschaft fehlt, die ich mit einem von den englischen Philosophen entlehnten Ausdruck als „prädikativ" bezeichne. (Bei Russell, dem ich das Wort entlehne, ist eine Definiition zweier Begriffe A und A' nicht prädikativ, wenn A in der Definition von A' und umgekehrt vorkommt). Ich verstehe darunter folgendes: Jedes Zuordnungsgesetz setzt eine bestimmte Klassifikation voraus. Ich nenne nun eine Zuordnung prädikativ, wenn die zugehörige Klassifikation prädikativ ist. Eine K1assifikation aber nenne ich prädikativ, wenn sie durch Einführung neuer Elemente nicht verändert wird. Dies ist aber bei der Richardschen nicht der Fall, vielmehr ändert die Einführung des Zuordnungsgesetzes die Einteilung der Sätze in solche, die eine Bedeutung haben, und solche, die keine haben. Was hier mit dem Wort „prädikativ" gemeint ist, läßt sich am besten an einem Beispiel illustrieren: wenn ich eine Menge von Gegenständen in eine Anzahl von Schachteln einordnen soll, so kann zweierlei eintreten: entweder sind die bereits eingeordneten Gegenstände endgültig an ihrem Platze, oder ich muß jedesmal, wenn ich einen neuen Gegenstand einordne, die anderen oder wenigstens einen Teil von ihnen wieder herausnehmen. Im ersten Falle nenne ich die Klassifikation prädikativ, im zweiten nicht. Ein gutes Beispiel für eine nicht prädikative Definition hat Russell gegeben: A sei die kleinste ganze Zahl, deren Definition mehr als hundert deutsche Worte erfordert. A muß existieren, da man mit hundert Worten jedenfalls nur eine endliche Anzahl von Zahlen definieren kann. Die Definition, die wir eben von dieser Zahl gegeben haben, enthält aber weniger als hundert Worte. Und die Zahl A ist also definiert als undefinierbar.

Zermelo hat nun gegen die Verwerfung der nicht prädikativen Definitionen den Einwand erhoben, daß damit auch ein großer Teil der Mathematik hinfällig würde, z. B. der Beweis für die Existenz einer Wurzel einer algebraischen Gleichung.

Dieser Beweis lautet bekanntlich folgendermaßen:

Gegeben ist eine Gleichung F(x) = 0. Man beweist nun, daß |F(x)| ein Minimum haben muß; sei x0 einer der Argumentwerte, für den das Minimum eintritt, also

|F(x)| ≥ |F(x₀)|.

Daraus folgt dann weiter, daß F(x₀) = 0 ist. Hier ist nun die Definition von F(x₀) nicht prädikativ, denn dieser Wert hängt ab von der Gesamtheit der Werte von F(x), zu denen er selbst gehört.

Die Berechtigung dieses Einwandes kann ich nicht zugeben. Man kann den Beweis so umformen, daß die nicht prädikative Definition daraus verschwindet. Ich betrachte zu diesem Zwecke die Gesamtheit der Argumente von der Form , wo m, n, p ganze Zahlen, sind. Dann kann ich dieselben Schlüsse wie vorher ziehen, aber der Argumentwert, für den das Minimum von |F(x)| eintritt, gehört im allgemeinen nicht zu den betrachteten. Dadurch ist der Zirkel im Beweise vermieden. Man kann von jedem mathematischen Beweise verlangen, daß die darin vorkommenden Definitionen usw. prädikativ sind, sonst wäre der Beweis nicht streng.

Wie steht es nun mit dem klassischen Beweise des Bernsteinschen Theorems? Ist er einwandfrei? Das Theorem sagt bekanntlich aus, daß, wenn drei Mengen A, B, C gegeben sind, wo A in B und B in C enthalten ist, und wenn A äquivalent C ist, auch A äquivalent B sein muß. Es handelt sich also auch hier um ein Zuordnungsgesetz. Wenn das erste Zuordnungsgesetz (zwischen A und C) prädikativ ist, so zeigt der Beweis, daß es auch ein prädikatives Zuordnungsgesetz zwischen A und B geben muß.

Was nun die zweite transfinite Kardinalzahl Ð ₁ betrifft, so bin ich nicht ganz überzeugt, daß sie existiert. Man gelangt zu ihr durch Betrachtung der Gesamtheit der Ordnungszahlen von der Mächtigkeit ℵ₀; es ist klar, daß diese Gesamtheit von höherer Mächtigkeit sein muß. Es fragt sich aber, ob sie abgeschlossen ist, ob wir also von ihrer Mächtigkeit ohne Widerspruch sprechen dürfen. Ein aktual Unendliches gibt es jedenfalls nicht.

Was haben wir von dem berühmten Kontinuumproblem zu halten? Kann man die Punkte des Raumes wohlordnen? Was meinen wir damit? Es sind hier zwei Fälle möglich: entweder behauptet man, daß das Gesetz der Wohlordnung endlich aussagbar ist, dann ist diese Behauptung nicht bewiesen; auch Herr Zermelo erhebt wohl nicht den Anspruch, eine solche Behauptung bewiesen zu haben. Oder aber wir lassen auch die Möglichkeit zu, daß das Gesetz nicht endlich aussagbar ist. Dann kann ich mit dieser Aussage keinen Sinn mehr verbinden, das sind für mich nur leere Worte. Hier liegt die Schwierigkeit. Und das ist wohl auch die Ursache für den Streit über den fast genialen Satz Zermelos. Dieser Streit ist sehr merkwürdig: die einen verwerfen das Auswahlpostulat, halten aber den Beweis für richtig, die anderen nehmen das Auswahlpostulat an, erkennen aber den Beweis nicht an.

Doch ich könnte noch manche Stunde darüber sprechen, ohne die Frage zu lösen.

1

Comunicação proferida em alemão por Henri Poincaré em 27 de abril de 1909, na Universidade de Göttingen, publicada posteriormente com outros cinco artigos sob o título

Sechs Vorträge über ausgewälte Gegenstände aus der reinen Mathematik und matematischen Physik (Leipzig: Teubner, 1910).

2

Jules Richard, matemático francês (1862-1956). A prova a que Poincaré se refere de modo sintético foi apresentada por Richard em seu artigo intitulado "

Les principes des mathématiques et le problème des ensembles", publicado em 1905 na

Revue Générale des Sciences Pures et Appliquées, e consiste em um dos argumentos do bem conhecido paradoxo de Richard.

3

A argumentação de Schoenflies encontra-se em um texto de 1909, denominado "Über eine vermeintliche Antinomie der Mengenlehre" e publicado no número 32 do periódico

Acta Mathematica, em fevereiro de 1909. Essa mesma publicação traz um artigo de Poincaré que contesta seu posicionamento, praticamente nos mesmos termos que o verificado no segundo parágrafo de "Über transfinite Zahlen".

4

Georg Cantor (1845-1918) foi um matemático russo-alemão que teve atuação destacada no desenvolvimento da teoria dos conjuntos; dentre suas contribuições, o conceito de números transfinitos (e, portanto, a criação de uma "matemática do transfinito") guarda uma relação direta com as dificuldades tratadas no presente artigo. No artigo, Poincaré cita Cantor por sua prova de que o contínuo não é contável. Na realidade, Cantor apresentou essa prova em duas ocasiões: a primeira, em 1873 (publicada em 1874); a segunda, em 1891, momento em que apresenta o famoso método diagonal de Cantor, que acabou por se tornar uma técnica recorrente de prova em matemática.

5

No original, "

Zuordnungesetz". Optou-se pela tradução supra ("lei de formação de relações") em vista do que o autor pretende evidenciar: uma regra que estabelece uma relação entre os pontos e os enunciados que os definem. Trata-se, portanto, de um sentido muito mais plausível que o de regra de atribuição ou de ordenação, que também seriam traduções possíveis.

6

Russell apresenta os termos "predicativo" e "não predicativo" de modo preciso em seu artigo intitulado "On some difficulties in the theory of transfinite numbers and order types", submetido à publicação em 1905 e publicado em 1906. A referência a Russell é sugestiva, pois o lógico inglês é o principal interlocutor de Poincaré no que concerne aos problemas relativos à solução dos paradoxos da teoria dos conjuntos.

7

Poincaré refere-se, como deixará claro logo em seguida, ao problema que envolve o axioma da escolha. Nos termos de Russell, o axioma da escolha pode ser assim postulado: "dado um conjunto

w, existe uma função

f'u tal que, se

u é um conjunto não vazio contido em

w, então

f'u é membro de

u" (Russell, 1906, p. 47). A simplicidade do axioma da escolha não corresponde ao seu caráter problemático: apesar de necessário para a ordenação de séries, o axioma é evidente para conjuntos finitos, mas indemonstrável no caso de conjuntos transfinitos, o que é particularmente incômodo para os autores de orientação logicista.

Publication Dates

• Publication in this collection
  20 Aug 2013
• Date of issue
  June 2013