Il continuo rettlineo e l'assioma V d'Archimede. (Q1533389): Difference between revisions

Ueber diese Abhandlung werden wir uns ganz kurz fassen und jeder Kritik ``enthalten, da sie mit einem so eben (Ende 1892) erschienenen Werke des Verfassers eng zusammenhängt und folglich nur als eine vorläufige, unvollständige Mitteilung angesehen werden darf. Herr Veronese definirt das ``absolute Continuum'' als ein Grössensystem \(\varSigma\), welches den folgenden fünf Principien gehorcht: Pr. I. Sind \(A\), \(B\) irgend zwei Grössen von \(\varSigma\), so gilt eine und nur eine der folgenden Relationen: \[ A = B, \quad A>B, \quad A<B. \] Ferner ist für \(A=B\) und \(B=C\) auch \(A=C\); für \(A=B\) und \(B>C\) ist \(A>C\). Pr. II. Sind \(A\), \(B\) irgend zwei Grössen von \(\varSigma\), so bezeichnet \(A+B\) eine und nur eine Grösse desselben Systems, und es ist: \[ A+(B+C) = (A+B)+C = A+B+C, \quad A+B>A, \quad A+B>B. \] Ist \(A<B\), so existiren in \(\varSigma\) solche (nicht notwendig gleiche) Grössen \(X\), \(X'\), dass \[ A+X = B, \quad X'+A = B. \] Ist \(A=A'\), \(B=B'\), so ist \(A+B = A'+B = A+B' = A' + B'.\) Pr. III. Sind die Grössen von \(\varSigma\) ihrer Grösse nach geordnet, so giebt es kein kleinstes Intervall. Pr. IV. Nimmt ein Intervall \((XX')\) von \(\varSigma\), dessen Grenzen in entgegengesetztem Sinne variiren, unbeschränkt ab, so enthält es immer ein Element \(Y\), welches von \(X\) und \(X'\) verschieden ist. Pr. V. Sind \(\alpha\), \(\beta\) irgend zwei Intervalle von \(\varSigma\), so existirt immer ein solches Multiplicitätssymbol \(\eta\), dass \(\alpha \eta > \beta\). Ist \(\eta\) eine gewöhnliche ganze Zahl, so reducirt sich das Pr. V auf das sogenannte Archimedische Axiom, und \(\varSigma\) heisst ein ``gewöhnliches Continuum'' (``continuo ordinario''). Ein Intervall von \(\varSigma\) heisst ein ``Segment'', wenn man auf seine Lage in \(\varSigma\) Rücksicht nimmt; die Gleichheit von Segmenten wird durch \(\equiv\) bezeichnet. Die Summe zweier Segmente (\(AB\)), (\(B'C'\)) wird durch \((AB) + (B'C') \equiv (AC)\) definirt, wenn \((B'C') = (BC)\); diese Gleichung besteht selbst dann, wenn \((AB)\) und \((BC)\) entgegengesetzten Sinn haben. Sind im Systeme \(\varSigma\) zwei gleiche und entgegengesetzte Segmente vorhanden (Pr. VI), so heisst \(\varSigma\) ein ``stetiges, eindimensionales, in seinen Teilen gleichgelagertes System'' (``sistema continuo ad una dimensione identico nella posizione delle sue parti'').