Beweis. Dass -- im Hinblick auf (17):
[Formel 1]
sein müsse, folgt durch die Wahrnehmung, dass unter den linkseitigen Voraussetzungen gewiss z = y ; x, z = x ; y den Forderungen rechterhand genügt, und zwar der ersten, wie implicite schon im § 30 gezeigt ist, hier aber mit: y ; x ; x ; y + x ; y ; y ; xy ; 1' ; y + x ; 1' ; x = y ; y + x ; x 1' nochmals gezeigt werden mag; den beiden folgenden mit c = y ; x ; a und a = x ; y ; c, wie durch Einsetzung, Elimination von b aus den Prämissen- gleichungen ersichtlich; endlich der letzten, adventiven, mit y ; xac, weil aus yc, xa folgt: y ; xc ; a = ca, q. e. d.
Diese letzte Betrachtung, gleichwie die Mitanführung der drei adven- tiven Forderungen, konnte bei Berufung auf (10) statt (17) auch (wenn man will) gespart werden. --
Versucht man jedoch, den Transitivitätsbeweis auf eine der übrigen Fassungen der Ähnlichkeitsdefinition zu gründen -- einschliesslich einer weiter unten gegebnen (39) -- so stösst man auf grosse Schwierigkeiten.
Leicht zwar sind für das Abbildungsprinzip z, das als y ; x aus den beiden in unsern Prämissen vorausgesetzten Abbildungsprinzipien sich zu- sammensetzt, wiederum die beiden Forderungen als erfüllt nachzuweisen, welche in solchem Falle die obigen Gleichungen oder Subsumtionen cz ; a und az ; c vertreten. Dagegen gelingt solches zumeist nicht für den- jenigen Teil der resultirenden Ähnlichkeitsbedingung, welcher als die Charakteristik dieses zusammengesetzten Abbildungsprinzips erwartet werden sollte und dann die Stelle "der Forderung A2A4 mitnebst der Adventiv- forderung in unsrer Normalform der Ähnlichkeitsbedingung" vertreten wird.
Dies kann nur daran liegen, dass das "externe Verhalten" des z = y ; x inbezug auf a und c nicht von derselben Art ist, wie das für x inbezug auf a und b sowie das für y inbezug auf b und c vorausgesetzte -- ein Umstand, der wol verdiente in ferneren Forschungen noch eingehender verfolgt und völlig aufgehellt zu werden. --
Der hier von uns zu 20) gegebne Beweis unterscheidet sich nicht un- wesentlich von Dedekind's Gedankengang bei seinem Beweise zu D 33 aufgrund des die Zusammensetzung zweier ähnlichen Abbildungen zu einer dritten statuirenden Satzes D 31 -- wo er auf die Elemente argumentirend vorgeht. Auf diesen kommen wir, nachdem wir etwas weiter ausgeholt haben werden, weiter unten S. 621 zurück.
Wir dürfen nun im Fall des Erfülltseins der Prämissen von 20) auch die drei Systeme a, b, c einander ähnlich nennen. Und durch eine Wiederholung der Schlüsse, wie sie inbezug auf Gleichungen ge- läufig sind, für unsre Ähnlichsprechungen oder Ähnlichkeitsbehaup-
Schröder, Algebra der Relative. 39
§ 31. Sätze über ähnliche Systeme.
Beweis. Dass — im Hinblick auf (17):
[Formel 1]
sein müsse, folgt durch die Wahrnehmung, dass unter den linkseitigen Voraussetzungen gewiss z = y ; x, z̆ = x̆ ; y̆ den Forderungen rechterhand genügt, und zwar der ersten, wie implicite schon im § 30 gezeigt ist, hier aber mit: y ; x ; x̆ ; y̆ + x̆ ; y̆ ; y ; x ⋹ y ; 1' ; y̆ + x̆ ; 1' ; x = y ; y̆ + x̆ ; x ⋹ 1' nochmals gezeigt werden mag; den beiden folgenden mit c = y ; x ; a und a = x̆ ; y̆ ; c, wie durch Einsetzung, Elimination von b aus den Prämissen- gleichungen ersichtlich; endlich der letzten, adventiven, mit y ; x ⋹ ăc, weil aus y ⋹ c, x ⋹ ă folgt: y ; x ⋹ c ; ă = că, q. e. d.
Diese letzte Betrachtung, gleichwie die Mitanführung der drei adven- tiven Forderungen, konnte bei Berufung auf (10) statt (17) auch (wenn man will) gespart werden. —
Versucht man jedoch, den Transitivitätsbeweis auf eine der übrigen Fassungen der Ähnlichkeitsdefinition zu gründen — einschliesslich einer weiter unten gegebnen (39) — so stösst man auf grosse Schwierigkeiten.
Leicht zwar sind für das Abbildungsprinzip z, das als y ; x aus den beiden in unsern Prämissen vorausgesetzten Abbildungsprinzipien sich zu- sammensetzt, wiederum die beiden Forderungen als erfüllt nachzuweisen, welche in solchem Falle die obigen Gleichungen oder Subsumtionen c ⋹ z ; a und a ⋹ z̆ ; c vertreten. Dagegen gelingt solches zumeist nicht für den- jenigen Teil der resultirenden Ähnlichkeitsbedingung, welcher als die Charakteristik dieses zusammengesetzten Abbildungsprinzips erwartet werden sollte und dann die Stelle „der Forderung A2A4 mitnebst der Adventiv- forderung in unsrer Normalform der Ähnlichkeitsbedingung“ vertreten wird.
Dies kann nur daran liegen, dass das „externe Verhalten“ des z = y ; x inbezug auf a und c nicht von derselben Art ist, wie das für x inbezug auf a und b sowie das für y inbezug auf b und c vorausgesetzte — ein Umstand, der wol verdiente in ferneren Forschungen noch eingehender verfolgt und völlig aufgehellt zu werden. —
Der hier von uns zu 20) gegebne Beweis unterscheidet sich nicht un- wesentlich von Dedekind’s Gedankengang bei seinem Beweise zu D 33 aufgrund des die Zusammensetzung zweier ähnlichen Abbildungen zu einer dritten statuirenden Satzes D 31 — wo er auf die Elemente argumentirend vorgeht. Auf diesen kommen wir, nachdem wir etwas weiter ausgeholt haben werden, weiter unten S. 621 zurück.
Wir dürfen nun im Fall des Erfülltseins der Prämissen von 20) auch die drei Systeme a, b, c einander ähnlich nennen. Und durch eine Wiederholung der Schlüsse, wie sie inbezug auf Gleichungen ge- läufig sind, für unsre Ähnlichsprechungen oder Ähnlichkeitsbehaup-
Schröder, Algebra der Relative. 39
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0623"n="609"/><fwplace="top"type="header">§ 31. Sätze über ähnliche Systeme.</fw><lb/><p><hirendition="#g">Beweis</hi>. Dass — im Hinblick auf (17):<lb/><hirendition="#c"><formula/></hi> sein müsse, folgt durch die Wahrnehmung, dass unter den linkseitigen<lb/>
Voraussetzungen gewiss<lb/><hirendition="#c"><hirendition="#i">z</hi> = <hirendition="#i">y</hi> ; <hirendition="#i">x</hi>, <hirendition="#i">z̆</hi> = <hirendition="#i">x̆</hi> ; <hirendition="#i">y̆</hi></hi><lb/>
den Forderungen rechterhand genügt, und zwar der ersten, wie implicite<lb/>
schon im § 30 gezeigt ist, hier aber mit:<lb/><hirendition="#c"><hirendition="#i">y</hi> ; <hirendition="#i">x</hi> ; <hirendition="#i">x̆</hi> ; <hirendition="#i">y̆</hi> + <hirendition="#i">x̆</hi> ; <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">y</hi> ; 1' ; <hirendition="#i">y̆</hi> + <hirendition="#i">x̆</hi> ; 1' ; <hirendition="#i">x</hi> = <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> + <hirendition="#i">x̆</hi> ; <hirendition="#i">x</hi>⋹ 1'</hi><lb/>
nochmals gezeigt werden mag; den beiden folgenden mit <hirendition="#i">c</hi> = <hirendition="#i">y</hi> ; <hirendition="#i">x</hi> ; <hirendition="#i">a</hi> und<lb/><hirendition="#i">a</hi> = <hirendition="#i">x̆</hi> ; <hirendition="#i">y̆</hi> ; <hirendition="#i">c</hi>, wie durch Einsetzung, Elimination von <hirendition="#i">b</hi> aus den Prämissen-<lb/>
gleichungen ersichtlich; endlich der letzten, adventiven, mit <hirendition="#i">y</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">ăc</hi>, weil<lb/>
aus <hirendition="#i">y</hi>⋹<hirendition="#i">c</hi>, <hirendition="#i">x</hi>⋹<hirendition="#i">ă</hi> folgt: <hirendition="#i">y</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">c</hi> ; <hirendition="#i">ă</hi> = <hirendition="#i">că</hi>, q. e. d.</p><lb/><p>Diese letzte Betrachtung, gleichwie die Mitanführung der drei adven-<lb/>
tiven Forderungen, konnte bei Berufung auf (10) statt (17) auch (wenn<lb/>
man will) gespart werden. —</p><lb/><p>Versucht man jedoch, den Transitivitätsbeweis auf eine der übrigen<lb/>
Fassungen der Ähnlichkeitsdefinition zu gründen — einschliesslich einer<lb/>
weiter unten gegebnen (39) — so stösst man auf grosse Schwierigkeiten.</p><lb/><p>Leicht zwar sind für das Abbildungsprinzip <hirendition="#i">z</hi>, das als <hirendition="#i">y</hi> ; <hirendition="#i">x</hi> aus den<lb/>
beiden in unsern Prämissen vorausgesetzten Abbildungsprinzipien sich zu-<lb/>
sammensetzt, wiederum die beiden Forderungen als erfüllt nachzuweisen,<lb/>
welche in solchem Falle die obigen Gleichungen oder Subsumtionen <hirendition="#i">c</hi>⋹<hirendition="#i">z</hi> ; <hirendition="#i">a</hi><lb/>
und <hirendition="#i">a</hi>⋹<hirendition="#i">z̆</hi> ; <hirendition="#i">c</hi> vertreten. Dagegen gelingt solches zumeist <hirendition="#i">nicht</hi> für den-<lb/>
jenigen Teil der resultirenden Ähnlichkeitsbedingung, welcher als die<lb/>
Charakteristik dieses zusammengesetzten Abbildungsprinzips erwartet werden<lb/>
sollte und dann die Stelle „der Forderung <hirendition="#i">A</hi><hirendition="#sub">2</hi><hirendition="#i">A</hi><hirendition="#sub">4</hi> mitnebst der Adventiv-<lb/>
forderung in unsrer Normalform der Ähnlichkeitsbedingung“ vertreten wird.</p><lb/><p>Dies kann nur daran liegen, dass das „<hirendition="#i">externe</hi> Verhalten“ des <hirendition="#i">z</hi> = <hirendition="#i">y</hi> ; <hirendition="#i">x</hi><lb/>
inbezug auf <hirendition="#i">a</hi> und <hirendition="#i">c</hi> nicht von derselben Art ist, wie das für <hirendition="#i">x</hi> inbezug<lb/>
auf <hirendition="#i">a</hi> und <hirendition="#i">b</hi> sowie das für <hirendition="#i">y</hi> inbezug auf <hirendition="#i">b</hi> und <hirendition="#i">c</hi> vorausgesetzte — ein<lb/>
Umstand, der wol verdiente in ferneren Forschungen noch eingehender<lb/>
verfolgt und völlig aufgehellt zu werden. —</p><lb/><p>Der hier von uns zu 20) gegebne Beweis unterscheidet sich nicht un-<lb/>
wesentlich von <hirendition="#g">Dedekind’</hi>s Gedankengang bei seinem Beweise zu <hirendition="#fr">D</hi> 33<lb/>
aufgrund des die Zusammensetzung zweier ähnlichen Abbildungen zu einer<lb/>
dritten statuirenden Satzes <hirendition="#fr">D</hi> 31 — wo er auf die Elemente argumentirend<lb/>
vorgeht. Auf diesen kommen wir, nachdem wir etwas weiter ausgeholt<lb/>
haben werden, weiter unten S. 621 zurück.</p><lb/><p>Wir dürfen nun im Fall des Erfülltseins der Prämissen von 20)<lb/>
auch die drei Systeme <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c einander ähnlich</hi> nennen. Und durch<lb/>
eine Wiederholung der Schlüsse, wie sie inbezug auf Gleichungen ge-<lb/>
läufig sind, für unsre Ähnlichsprechungen oder Ähnlichkeitsbehaup-<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 39</fw><lb/></p></div></div></body></text></TEI>
[609/0623]
§ 31. Sätze über ähnliche Systeme.
Beweis. Dass — im Hinblick auf (17):
[FORMEL] sein müsse, folgt durch die Wahrnehmung, dass unter den linkseitigen
Voraussetzungen gewiss
z = y ; x, z̆ = x̆ ; y̆
den Forderungen rechterhand genügt, und zwar der ersten, wie implicite
schon im § 30 gezeigt ist, hier aber mit:
y ; x ; x̆ ; y̆ + x̆ ; y̆ ; y ; x ⋹ y ; 1' ; y̆ + x̆ ; 1' ; x = y ; y̆ + x̆ ; x ⋹ 1'
nochmals gezeigt werden mag; den beiden folgenden mit c = y ; x ; a und
a = x̆ ; y̆ ; c, wie durch Einsetzung, Elimination von b aus den Prämissen-
gleichungen ersichtlich; endlich der letzten, adventiven, mit y ; x ⋹ ăc, weil
aus y ⋹ c, x ⋹ ă folgt: y ; x ⋹ c ; ă = că, q. e. d.
Diese letzte Betrachtung, gleichwie die Mitanführung der drei adven-
tiven Forderungen, konnte bei Berufung auf (10) statt (17) auch (wenn
man will) gespart werden. —
Versucht man jedoch, den Transitivitätsbeweis auf eine der übrigen
Fassungen der Ähnlichkeitsdefinition zu gründen — einschliesslich einer
weiter unten gegebnen (39) — so stösst man auf grosse Schwierigkeiten.
Leicht zwar sind für das Abbildungsprinzip z, das als y ; x aus den
beiden in unsern Prämissen vorausgesetzten Abbildungsprinzipien sich zu-
sammensetzt, wiederum die beiden Forderungen als erfüllt nachzuweisen,
welche in solchem Falle die obigen Gleichungen oder Subsumtionen c ⋹ z ; a
und a ⋹ z̆ ; c vertreten. Dagegen gelingt solches zumeist nicht für den-
jenigen Teil der resultirenden Ähnlichkeitsbedingung, welcher als die
Charakteristik dieses zusammengesetzten Abbildungsprinzips erwartet werden
sollte und dann die Stelle „der Forderung A2A4 mitnebst der Adventiv-
forderung in unsrer Normalform der Ähnlichkeitsbedingung“ vertreten wird.
Dies kann nur daran liegen, dass das „externe Verhalten“ des z = y ; x
inbezug auf a und c nicht von derselben Art ist, wie das für x inbezug
auf a und b sowie das für y inbezug auf b und c vorausgesetzte — ein
Umstand, der wol verdiente in ferneren Forschungen noch eingehender
verfolgt und völlig aufgehellt zu werden. —
Der hier von uns zu 20) gegebne Beweis unterscheidet sich nicht un-
wesentlich von Dedekind’s Gedankengang bei seinem Beweise zu D 33
aufgrund des die Zusammensetzung zweier ähnlichen Abbildungen zu einer
dritten statuirenden Satzes D 31 — wo er auf die Elemente argumentirend
vorgeht. Auf diesen kommen wir, nachdem wir etwas weiter ausgeholt
haben werden, weiter unten S. 621 zurück.
Wir dürfen nun im Fall des Erfülltseins der Prämissen von 20)
auch die drei Systeme a, b, c einander ähnlich nennen. Und durch
eine Wiederholung der Schlüsse, wie sie inbezug auf Gleichungen ge-
läufig sind, für unsre Ähnlichsprechungen oder Ähnlichkeitsbehaup-
Schröder, Algebra der Relative. 39
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 609. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/623>, abgerufen am 23.11.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
