relativen Faktor liegt er vor, wenn dieser sowie das Subjekt ein Ele- mentkonvers ist.
Die Frage, inwiefern diese Wahrnehmung sich verallgemeinern lässt, ist eine wichtige und wird uns nochmals beschäftigen.
Bei der ofterwähnten Vielförmigkeit unsrer Disziplin erscheint es fast unthunlich, die Sätze jeweils in allen ihren gleichberechtigten, äquivalenten und gleich einfachen Formen aufzuführen. Und doch kann gelegentlich irgend eine dieser Formen belangreich werden!
So sind -- wenn wir es diesmal noch versuchen -- im Hinblick auf den mit unter 22) gegebenen Satz a ; i = a j in, den man (mit seinen Ver- wandten) eben auswendig behalten muss(!) -- auch folgendes noch die mit ihm gleichberechtigten Formen unsres Satzes 19): 20)
[Tabelle]
.
Zu 17) die verwandten Formen aufzustellen überlassen wir dem Leser. --
Um in unsrer Theorie keine Lücke zu lassen, müssen wir auch die den Sätzen 6) und 7) des § 2 zugrunde liegenden Behauptungen irgendwo beweisen. Dies ist an gegenwärtiger Stelle ein Leichtes.
Um jenen Satz 7) i : j 0 zu beweisen, hat man blos nachzusehn, dass 1 ; (i : j) ; 1 = 1 ; i ; j ; 1 = 1 ; 1 = 1 ist.
Und um -- was jenem Satze 6) zugrunde liegt -- die Verschieden- heit von i : j und j : i bei der Annahme ij darzuthun, braucht man blos zu zeigen, dass ij und ij in wenigstens einem Koeffizienten nicht überein- stimmen. Nun ist der allgemeine Koeffizient des einen (ij)h k = ih kjk h = 1'i h1'j k gleich 1 für h = i und k = j, gleich 0 aber in jedem andern Falle; der des andern ist (ij)h k = ik hjh k = 1'i k1'j h gleich 1 für h = j und k = i, andern- falles gleich 0. Also gibt es zwei Suffixe (ij und ji), wo die beiden Koeffizienten verschieden, der eine nämlich 1 und der andre 0 ist, q. e. d.
Die Formeln und Sätze über die relativen Knüpfungen zwischen einem Einzeiler i oder einem Einkolonner i oder deren Negaten und einem allgemeinen Relativ a brauchen nicht besonders aufgestellt und begründet zu werden, weil sie sich sogleich als spezielle Fälle ergeben aus den allgemeineren Formeln für die Knüpfung eines Systems über-
Schröder, Algebra der Relative. 27
§ 25. Sätze über Elemente.
relativen Faktor liegt er vor, wenn dieser sowie das Subjekt ein Ele- mentkonvers ist.
Die Frage, inwiefern diese Wahrnehmung sich verallgemeinern lässt, ist eine wichtige und wird uns nochmals beschäftigen.
Bei der ofterwähnten Vielförmigkeit unsrer Disziplin erscheint es fast unthunlich, die Sätze jeweils in allen ihren gleichberechtigten, äquivalenten und gleich einfachen Formen aufzuführen. Und doch kann gelegentlich irgend eine dieser Formen belangreich werden!
So sind — wenn wir es diesmal noch versuchen — im Hinblick auf den mit unter 22) gegebenen Satz a ; i = a ɟ ī, den man (mit seinen Ver- wandten) eben auswendig behalten muss(!) — auch folgendes noch die mit ihm gleichberechtigten Formen unsres Satzes 19): 20)
[Tabelle]
.
Zu 17) die verwandten Formen aufzustellen überlassen wir dem Leser. —
Um in unsrer Theorie keine Lücke zu lassen, müssen wir auch die den Sätzen 6) und 7) des § 2 zugrunde liegenden Behauptungen irgendwo beweisen. Dies ist an gegenwärtiger Stelle ein Leichtes.
Um jenen Satz 7) i : j ≠ 0 zu beweisen, hat man blos nachzusehn, dass 1 ; (i : j) ; 1 = 1 ; i ; j̆ ; 1 = 1 ; 1 = 1 ist.
Und um — was jenem Satze 6) zugrunde liegt — die Verschieden- heit von i : j und j : i bei der Annahme i ≠ j darzuthun, braucht man blos zu zeigen, dass ij̆ und ĭj in wenigstens einem Koeffizienten nicht überein- stimmen. Nun ist der allgemeine Koeffizient des einen (ij̆)h k = ih kjk h = 1'i h1'j k gleich 1 für h = i und k = j, gleich 0 aber in jedem andern Falle; der des andern ist (ĭj)h k = ik hjh k = 1'i k1'j h gleich 1 für h = j und k = i, andern- falles gleich 0. Also gibt es zwei Suffixe (ij und ji), wo die beiden Koeffizienten verschieden, der eine nämlich 1 und der andre 0 ist, q. e. d.
Die Formeln und Sätze über die relativen Knüpfungen zwischen einem Einzeiler i oder einem Einkolonner ĭ oder deren Negaten und einem allgemeinen Relativ a brauchen nicht besonders aufgestellt und begründet zu werden, weil sie sich sogleich als spezielle Fälle ergeben aus den allgemeineren Formeln für die Knüpfung eines Systems über-
Schröder, Algebra der Relative. 27
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0431"n="417"/><fwplace="top"type="header">§ 25. Sätze über Elemente.</fw><lb/>
relativen Faktor liegt er vor, wenn dieser sowie das Subjekt ein <hirendition="#i">Ele-<lb/>
mentkonvers</hi> ist.</p><lb/><p>Die Frage, inwiefern diese Wahrnehmung sich verallgemeinern lässt,<lb/>
ist eine wichtige und wird uns nochmals beschäftigen.</p><lb/><p>Bei der ofterwähnten Vielförmigkeit unsrer Disziplin erscheint es fast<lb/>
unthunlich, die Sätze jeweils in allen ihren gleichberechtigten, äquivalenten<lb/>
und gleich einfachen Formen aufzuführen. Und doch kann gelegentlich<lb/>
irgend eine dieser Formen belangreich werden!</p><lb/><p>So sind — wenn wir es diesmal noch versuchen — im Hinblick auf<lb/>
den mit unter 22) gegebenen Satz <hirendition="#i">a</hi> ; <hirendition="#i">i</hi> = <hirendition="#i">a</hi>ɟ<hirendition="#i">ī</hi>, den man (mit seinen Ver-<lb/>
wandten) eben auswendig behalten muss(!) — auch folgendes noch die<lb/>
mit ihm gleichberechtigten Formen unsres Satzes 19):<lb/>
20) <table><row><cell/></row></table>.</p><lb/><p>Zu 17) die verwandten Formen aufzustellen überlassen wir dem Leser. —</p><lb/><p>Um in unsrer Theorie keine Lücke zu lassen, müssen wir auch die<lb/>
den Sätzen 6) und 7) des § 2 zugrunde liegenden Behauptungen irgendwo<lb/>
beweisen. Dies ist an gegenwärtiger Stelle ein Leichtes.</p><lb/><p>Um jenen Satz 7) <hirendition="#i">i</hi> : <hirendition="#i">j</hi>≠ 0 zu beweisen, hat man blos nachzusehn,<lb/>
dass 1 ; (<hirendition="#i">i</hi> : <hirendition="#i">j</hi>) ; 1 = 1 ; <hirendition="#i">i</hi> ; <hirendition="#i">j̆</hi> ; 1 = 1 ; 1 = 1 ist.</p><lb/><p>Und um — was jenem Satze 6) zugrunde liegt — die Verschieden-<lb/>
heit von <hirendition="#i">i</hi> : <hirendition="#i">j</hi> und <hirendition="#i">j</hi> : <hirendition="#i">i</hi> bei der Annahme <hirendition="#i">i</hi>≠<hirendition="#i">j</hi> darzuthun, braucht man blos<lb/>
zu zeigen, dass <hirendition="#i">ij̆</hi> und <hirendition="#i">ĭj</hi> in wenigstens einem Koeffizienten nicht überein-<lb/>
stimmen. Nun ist der allgemeine Koeffizient des einen (<hirendition="#i">ij̆</hi>)<hirendition="#i"><hirendition="#sub">h k</hi></hi> = <hirendition="#i">i<hirendition="#sub">h k</hi>j<hirendition="#sub">k h</hi></hi> = 1'<hirendition="#i"><hirendition="#sub">i h</hi></hi>1'<hirendition="#i"><hirendition="#sub">j k</hi></hi><lb/>
gleich 1 für <hirendition="#i">h</hi> = <hirendition="#i">i</hi> und <hirendition="#i">k</hi> = <hirendition="#i">j</hi>, gleich 0 aber in jedem andern Falle; der<lb/>
des andern ist (<hirendition="#i">ĭj</hi>)<hirendition="#i"><hirendition="#sub">h k</hi></hi> = <hirendition="#i">i<hirendition="#sub">k h</hi>j<hirendition="#sub">h k</hi></hi> = 1'<hirendition="#i"><hirendition="#sub">i k</hi></hi>1'<hirendition="#i"><hirendition="#sub">j h</hi></hi> gleich 1 für <hirendition="#i">h</hi> = <hirendition="#i">j</hi> und <hirendition="#i">k</hi> = <hirendition="#i">i</hi>, andern-<lb/>
falles gleich 0. Also gibt es zwei Suffixe (<hirendition="#i">ij</hi> und <hirendition="#i">ji</hi>), wo die beiden<lb/>
Koeffizienten verschieden, der eine nämlich 1 und der andre 0 ist, q. e. d.</p><lb/><p>Die Formeln und Sätze über die <hirendition="#i">relativen Knüpfungen zwischen</hi><lb/>
einem <hirendition="#i">Einzeiler i</hi> oder einem <hirendition="#i">Einkolonner ĭ</hi> oder deren <hirendition="#i">Negaten</hi> und<lb/>
einem <hirendition="#i">allgemeinen Relativ a</hi> brauchen nicht besonders aufgestellt und<lb/>
begründet zu werden, weil sie sich sogleich als spezielle Fälle ergeben<lb/>
aus den allgemeineren Formeln für die Knüpfung eines <hirendition="#i">Systems</hi> über-<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 27</fw><lb/></p></div></div></body></text></TEI>
[417/0431]
§ 25. Sätze über Elemente.
relativen Faktor liegt er vor, wenn dieser sowie das Subjekt ein Ele-
mentkonvers ist.
Die Frage, inwiefern diese Wahrnehmung sich verallgemeinern lässt,
ist eine wichtige und wird uns nochmals beschäftigen.
Bei der ofterwähnten Vielförmigkeit unsrer Disziplin erscheint es fast
unthunlich, die Sätze jeweils in allen ihren gleichberechtigten, äquivalenten
und gleich einfachen Formen aufzuführen. Und doch kann gelegentlich
irgend eine dieser Formen belangreich werden!
So sind — wenn wir es diesmal noch versuchen — im Hinblick auf
den mit unter 22) gegebenen Satz a ; i = a ɟ ī, den man (mit seinen Ver-
wandten) eben auswendig behalten muss(!) — auch folgendes noch die
mit ihm gleichberechtigten Formen unsres Satzes 19):
20)
.
Zu 17) die verwandten Formen aufzustellen überlassen wir dem Leser. —
Um in unsrer Theorie keine Lücke zu lassen, müssen wir auch die
den Sätzen 6) und 7) des § 2 zugrunde liegenden Behauptungen irgendwo
beweisen. Dies ist an gegenwärtiger Stelle ein Leichtes.
Um jenen Satz 7) i : j ≠ 0 zu beweisen, hat man blos nachzusehn,
dass 1 ; (i : j) ; 1 = 1 ; i ; j̆ ; 1 = 1 ; 1 = 1 ist.
Und um — was jenem Satze 6) zugrunde liegt — die Verschieden-
heit von i : j und j : i bei der Annahme i ≠ j darzuthun, braucht man blos
zu zeigen, dass ij̆ und ĭj in wenigstens einem Koeffizienten nicht überein-
stimmen. Nun ist der allgemeine Koeffizient des einen (ij̆)h k = ih kjk h = 1'i h1'j k
gleich 1 für h = i und k = j, gleich 0 aber in jedem andern Falle; der
des andern ist (ĭj)h k = ik hjh k = 1'i k1'j h gleich 1 für h = j und k = i, andern-
falles gleich 0. Also gibt es zwei Suffixe (ij und ji), wo die beiden
Koeffizienten verschieden, der eine nämlich 1 und der andre 0 ist, q. e. d.
Die Formeln und Sätze über die relativen Knüpfungen zwischen
einem Einzeiler i oder einem Einkolonner ĭ oder deren Negaten und
einem allgemeinen Relativ a brauchen nicht besonders aufgestellt und
begründet zu werden, weil sie sich sogleich als spezielle Fälle ergeben
aus den allgemeineren Formeln für die Knüpfung eines Systems über-
Schröder, Algebra der Relative. 27
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. 417. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/431>, abgerufen am 25.08.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/.