Ebenso wie a selbst können auch die mit a verwandten Relative an, a, an nach den Schemata 2) mit den Moduln relativ verknüpft werden. Die Knüpfungsergebnisse sind im Allgemeinen sowol unter sich als von den bisherigen durchweg verschieden. Und es ist eine namentlich bei dem Negat an verlohnende Übung für den Anfänger, sich die Entstehungsweise von dessen irreduzibeln Modulknüpfungen aus a selber zum Bewusstsein zu bringen und mit Worten zu formuliren.
Dass übrigens die aus den Verwandtenknüpfungen hinzutretenden Relative nichts andres sein werden als Negate, Konverse und Strich- konverse von den bisher besprochenen Modulknüpfungen, geht aus der Anwendung der Sätze 9) bis 12) des § 6 auf die Fälle wo a oder aber b einen Modul vorstellt, in Verbindung mit 13) des Abacus in § 8 hervor -- wonach wir haben: 20)
[Formel 1]
21)
[Formel 2]
Hiermit ist nun auch Dasjenige erhärtet, was wir inbezug auf das Dualisiren und Konvertiren für den Fall des Auftretens von Moduln als Termen in § 6 vorgreifend angemerkt haben (S. 89 u. 92).
Von den zahlreichen Sätzen über unsre irreduzibeln Modul- knüpfungen seien hiernächst nur diese noch angeführt: 22)
[Formel 3]
wo die der zweiten Zeile durch Kontraposition aus denen der ersten folgen. Ersetzte man auf der einen Seite vom Mittelstrich das a durch an, so könnte auch der Mittelstrich in ein Gleichheitszeichen ver- wandelt werden.
Beweis. Ist jedes ai j = 0, so ist auch Shai h = 0 und jedes (a ; 1)i j = 0, also (a = 0) (a ; 1 = 0).
Ist umgekehrt jedes (a ; 1)i j = 0, so muss nach 5) des § 8 zugleich mit der Summe Shai h auch jeder Term ai h verschwinden, d. h. es muss auch jedes ai j gleich 0 sein, womit erkannt ist, dass auch (a ; 1 = 0) (a = 0), q. e. d.
Ebendies leuchtet aus der geometrischen Evidenz ohne weitres ein: soll ein Relativ a 0 sein, so wird seine Matrix mindestens ein Auge haben; dann hat aber a auch wenigstens eine besetzte Zeile sowol als Kolonne, und a ; 1 mindestens eine Vollzeile, 1 ; a eine Vollkolonne, etc.
Soll das aus den Vollzeilen von a gebildete Relativ a j 0 gleich 1
Schröder, Algebra der Relative. 10
§ 9. Irreduzible primäre Modulknüpfungen.
Ebenso wie a selbst können auch die mit a verwandten Relative ā, ă, ā̆ nach den Schemata 2) mit den Moduln relativ verknüpft werden. Die Knüpfungsergebnisse sind im Allgemeinen sowol unter sich als von den bisherigen durchweg verschieden. Und es ist eine namentlich bei dem Negat ā verlohnende Übung für den Anfänger, sich die Entstehungsweise von dessen irreduzibeln Modulknüpfungen aus a selber zum Bewusstsein zu bringen und mit Worten zu formuliren.
Dass übrigens die aus den Verwandtenknüpfungen hinzutretenden Relative nichts andres sein werden als Negate, Konverse und Strich- konverse von den bisher besprochenen Modulknüpfungen, geht aus der Anwendung der Sätze 9) bis 12) des § 6 auf die Fälle wo a oder aber b einen Modul vorstellt, in Verbindung mit 13) des Abacus in § 8 hervor — wonach wir haben: 20)
[Formel 1]
21)
[Formel 2]
Hiermit ist nun auch Dasjenige erhärtet, was wir inbezug auf das Dualisiren und Konvertiren für den Fall des Auftretens von Moduln als Termen in § 6 vorgreifend angemerkt haben (S. 89 u. 92).
Von den zahlreichen Sätzen über unsre irreduzibeln Modul- knüpfungen seien hiernächst nur diese noch angeführt: 22)
[Formel 3]
wo die der zweiten Zeile durch Kontraposition aus denen der ersten folgen. Ersetzte man auf der einen Seite vom Mittelstrich das a durch ā, so könnte auch der Mittelstrich in ein Gleichheitszeichen ver- wandelt werden.
Beweis. Ist jedes ai j = 0, so ist auch Σhai h = 0 und jedes (a ; 1)i j = 0, also (a = 0) ⋹ (a ; 1 = 0).
Ist umgekehrt jedes (a ; 1)i j = 0, so muss nach 5) des § 8 zugleich mit der Summe Σhai h auch jeder Term ai h verschwinden, d. h. es muss auch jedes ai j gleich 0 sein, womit erkannt ist, dass auch (a ; 1 = 0) ⋹ (a = 0), q. e. d.
Ebendies leuchtet aus der geometrischen Evidenz ohne weitres ein: soll ein Relativ a ≠ 0 sein, so wird seine Matrix mindestens ein Auge haben; dann hat aber a auch wenigstens eine besetzte Zeile sowol als Kolonne, und a ; 1 mindestens eine Vollzeile, 1 ; a eine Vollkolonne, etc.
Soll das aus den Vollzeilen von a gebildete Relativ a ɟ 0 gleich 1
Schröder, Algebra der Relative. 10
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0159"n="145"/><fwplace="top"type="header">§ 9. Irreduzible primäre Modulknüpfungen.</fw><lb/><p>Ebenso wie <hirendition="#i">a</hi> selbst können auch die mit <hirendition="#i">a</hi> verwandten Relative<lb/><hirendition="#i">ā</hi>, <hirendition="#i">ă</hi>, <hirendition="#i">ā̆</hi> nach den Schemata 2) mit den Moduln relativ verknüpft<lb/>
werden. Die Knüpfungsergebnisse sind im Allgemeinen sowol unter<lb/>
sich als von den bisherigen durchweg verschieden. Und es ist eine<lb/>
namentlich bei dem Negat <hirendition="#i">ā</hi> verlohnende Übung für den Anfänger,<lb/>
sich die Entstehungsweise von dessen irreduzibeln Modulknüpfungen<lb/><hirendition="#i">aus a selber</hi> zum Bewusstsein zu bringen und mit Worten zu formuliren.</p><lb/><p>Dass übrigens die aus den Verwandtenknüpfungen hinzutretenden<lb/>
Relative nichts andres sein werden als Negate, Konverse und Strich-<lb/>
konverse von den bisher besprochenen Modulknüpfungen, geht aus der<lb/>
Anwendung der Sätze 9) bis 12) des § 6 auf die Fälle wo <hirendition="#i">a</hi> oder<lb/>
aber <hirendition="#i">b</hi> einen Modul vorstellt, in Verbindung mit 13) des Abacus in<lb/>
§ 8 hervor — wonach wir haben:<lb/>
20) <formula/><lb/>
21) <formula/><lb/></p><p>Hiermit ist nun auch Dasjenige erhärtet, was wir inbezug auf das<lb/>
Dualisiren und Konvertiren für den Fall des Auftretens von Moduln als<lb/>
Termen in § 6 vorgreifend angemerkt haben (S. 89 u. 92).</p><lb/><p>Von den zahlreichen <hirendition="#g">Sätzen</hi> über unsre irreduzibeln Modul-<lb/>
knüpfungen seien hiernächst nur diese noch angeführt:<lb/>
22) <formula/><lb/>
wo die der zweiten Zeile durch Kontraposition aus denen der ersten<lb/>
folgen. Ersetzte man auf der einen Seite vom Mittelstrich das <hirendition="#i">a</hi><lb/>
durch <hirendition="#i">ā</hi>, so könnte auch der Mittelstrich in ein Gleichheitszeichen ver-<lb/>
wandelt werden.</p><lb/><p><hirendition="#g">Beweis</hi>. Ist jedes <hirendition="#i">a<hirendition="#sub">i j</hi></hi> = 0, so ist auch <hirendition="#i">Σ<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi></hi> = 0 und jedes (<hirendition="#i">a</hi> ; 1)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = 0,<lb/>
also (<hirendition="#i">a</hi> = 0) ⋹ (<hirendition="#i">a</hi> ; 1 = 0).</p><lb/><p>Ist umgekehrt jedes (<hirendition="#i">a</hi> ; 1)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = 0, so muss nach 5) des § 8 zugleich<lb/>
mit der Summe <hirendition="#i">Σ<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi></hi> auch jeder Term <hirendition="#i">a<hirendition="#sub">i h</hi></hi> verschwinden, d. h. es muss<lb/>
auch jedes <hirendition="#i">a<hirendition="#sub">i j</hi></hi> gleich 0 sein, womit erkannt ist, dass auch (<hirendition="#i">a</hi> ; 1 = 0) ⋹ (<hirendition="#i">a</hi> = 0),<lb/>
q. e. d.</p><lb/><p>Ebendies leuchtet aus der geometrischen Evidenz ohne weitres ein:<lb/>
soll ein Relativ <hirendition="#i">a</hi>≠ 0 sein, so wird seine Matrix mindestens <hirendition="#i">ein</hi> Auge<lb/>
haben; dann hat aber <hirendition="#i">a</hi> auch wenigstens eine <hirendition="#i">besetzte</hi> Zeile sowol als<lb/>
Kolonne, und <hirendition="#i">a</hi> ; 1 mindestens eine Vollzeile, 1 ; <hirendition="#i">a</hi> eine Vollkolonne, etc.</p><lb/><p>Soll das aus den Vollzeilen von <hirendition="#i">a</hi> gebildete Relativ <hirendition="#i">a</hi>ɟ 0 gleich 1<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 10</fw><lb/></p></div></div></body></text></TEI>
[145/0159]
§ 9. Irreduzible primäre Modulknüpfungen.
Ebenso wie a selbst können auch die mit a verwandten Relative
ā, ă, ā̆ nach den Schemata 2) mit den Moduln relativ verknüpft
werden. Die Knüpfungsergebnisse sind im Allgemeinen sowol unter
sich als von den bisherigen durchweg verschieden. Und es ist eine
namentlich bei dem Negat ā verlohnende Übung für den Anfänger,
sich die Entstehungsweise von dessen irreduzibeln Modulknüpfungen
aus a selber zum Bewusstsein zu bringen und mit Worten zu formuliren.
Dass übrigens die aus den Verwandtenknüpfungen hinzutretenden
Relative nichts andres sein werden als Negate, Konverse und Strich-
konverse von den bisher besprochenen Modulknüpfungen, geht aus der
Anwendung der Sätze 9) bis 12) des § 6 auf die Fälle wo a oder
aber b einen Modul vorstellt, in Verbindung mit 13) des Abacus in
§ 8 hervor — wonach wir haben:
20) [FORMEL]
21) [FORMEL]
Hiermit ist nun auch Dasjenige erhärtet, was wir inbezug auf das
Dualisiren und Konvertiren für den Fall des Auftretens von Moduln als
Termen in § 6 vorgreifend angemerkt haben (S. 89 u. 92).
Von den zahlreichen Sätzen über unsre irreduzibeln Modul-
knüpfungen seien hiernächst nur diese noch angeführt:
22) [FORMEL]
wo die der zweiten Zeile durch Kontraposition aus denen der ersten
folgen. Ersetzte man auf der einen Seite vom Mittelstrich das a
durch ā, so könnte auch der Mittelstrich in ein Gleichheitszeichen ver-
wandelt werden.
Beweis. Ist jedes ai j = 0, so ist auch Σhai h = 0 und jedes (a ; 1)i j = 0,
also (a = 0) ⋹ (a ; 1 = 0).
Ist umgekehrt jedes (a ; 1)i j = 0, so muss nach 5) des § 8 zugleich
mit der Summe Σhai h auch jeder Term ai h verschwinden, d. h. es muss
auch jedes ai j gleich 0 sein, womit erkannt ist, dass auch (a ; 1 = 0) ⋹ (a = 0),
q. e. d.
Ebendies leuchtet aus der geometrischen Evidenz ohne weitres ein:
soll ein Relativ a ≠ 0 sein, so wird seine Matrix mindestens ein Auge
haben; dann hat aber a auch wenigstens eine besetzte Zeile sowol als
Kolonne, und a ; 1 mindestens eine Vollzeile, 1 ; a eine Vollkolonne, etc.
Soll das aus den Vollzeilen von a gebildete Relativ a ɟ 0 gleich 1
Schröder, Algebra der Relative. 10
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. 145. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/159>, abgerufen am 01.09.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/.