Man sieht leicht, dass dieses Zahlengebiet der einfachsten "Gruppe", die es gibt, von nicht durchweg vertauschbaren "Substitutionen" entspricht, indem man das Element 1 mit der "identischen Substitution", die Ele- mente 2, 3, 4 mit den "Transpositionen" (a b), (a g) und (b g) identifiziren kann, wo dann die Elemente 5 und 6 den "cyklischen" Substitutionen (a b g) und (a g b) entsprechen werden, und unsre symbolische Multiplikation zusammenfällt mit der eigentlichen Multiplikation der Substitutionen.
Wie die Multiplikation der Substitutionen überhaupt, so ist also auch die vorliegende jedenfalls assoziativ. Und auch der Nachweis, dass keine andern von den 990 Gleichungen U als die sub A1 angeführten 16 von der durch die Tafel definirten Funktion durchaus erfüllt werden, unter- liegt theoretisch nicht der geringsten Schwierigkeit. Dagegen würde, den- selben ohne weitere Vorbereitung direkt zu liefern, allerdings einen Auf- wand an Mühe erheischen, welcher der Kenntnissnahme der gesamten das Gebiet U erledigenden Theorie der Verknüpfung, nachdem dieselbe im Zu- sammenhange von mir dargelegt worden wäre, schon allein fast gleich- kommen dürfte.
Nebenbei sei noch bemerkt: Lässt man die vertikalen Seiten der beiden Dreiecke, sowie die Diagonalen des Quadrats in A1 fort, so bleiben diejenigen 12 von den 16 Gleichungen A1, deren jede für sich als eine "ausreichende Prämisse" von A1 zu bezeichnen ist und also innerhalb U die Tragweite 16 hat. Dagegen bilden die fortgelassenen 4 Gleichungen einen dem A1 untergeordneten Algorithmus K1, dessen Prämissen eben jene beiden Vertikalseiten (mit der Tragweite 4) sind. Von den Diagonalgleichungen des Quadrats bildet jede für sich einen eigenen Algorithmus: J2 resp. J3, indem sie keine weiteren Konse- quenzen innerhalb U nach sich zieht.
Diese Eigenschaft, innerhalb U die Tragweite 1 zu haben, kommt unter allen 990 Gleichungen U ausser den beiden genannten nur noch der Gleichung zu:
[Formel 1]
, die somit ebenfalls einen eigenen Algorithmus: J1 vorstellt. (Vergl. unten "Beleg 1".)
30) Der Algorithmus C1. Eine Prämisse desselben kann zunächst angegeben werden in Gestalt einer jeden von den beiden Gleichungen:
[Formel 2]
.
Diese gehören zwar dem Gebiete U nicht an; auf letzterem aber ziehen sie folgende 30 Gleichungen als Konsequenzen nach sich, die wir den Algorithmus C1 (der kommutativen Operationen) innerhalb U nennen.
Anhang 5.
Man sieht leicht, dass dieses Zahlengebiet der einfachsten „Gruppe“, die es gibt, von nicht durchweg vertauschbaren „Substitutionen“ entspricht, indem man das Element 1 mit der „identischen Substitution“, die Ele- mente 2, 3, 4 mit den „Transpositionen“ (α β), (α γ) und (β γ) identifiziren kann, wo dann die Elemente 5 und 6 den „cyklischen“ Substitutionen (α β γ) und (α γ β) entsprechen werden, und unsre symbolische Multiplikation zusammenfällt mit der eigentlichen Multiplikation der Substitutionen.
Wie die Multiplikation der Substitutionen überhaupt, so ist also auch die vorliegende jedenfalls assoziativ. Und auch der Nachweis, dass keine andern von den 990 Gleichungen U als die sub A1 angeführten 16 von der durch die Tafel definirten Funktion durchaus erfüllt werden, unter- liegt theoretisch nicht der geringsten Schwierigkeit. Dagegen würde, den- selben ohne weitere Vorbereitung direkt zu liefern, allerdings einen Auf- wand an Mühe erheischen, welcher der Kenntnissnahme der gesamten das Gebiet U erledigenden Theorie der Verknüpfung, nachdem dieselbe im Zu- sammenhange von mir dargelegt worden wäre, schon allein fast gleich- kommen dürfte.
Nebenbei sei noch bemerkt: Lässt man die vertikalen Seiten der beiden Dreiecke, sowie die Diagonalen des Quadrats in A1 fort, so bleiben diejenigen 12 von den 16 Gleichungen A1, deren jede für sich als eine „ausreichende Prämisse“ von A1 zu bezeichnen ist und also innerhalb U die Tragweite 16 hat. Dagegen bilden die fortgelassenen 4 Gleichungen einen dem A1 untergeordneten Algorithmus K1, dessen Prämissen eben jene beiden Vertikalseiten (mit der Tragweite 4) sind. Von den Diagonalgleichungen des Quadrats bildet jede für sich einen eigenen Algorithmus: J2 resp. J3, indem sie keine weiteren Konse- quenzen innerhalb U nach sich zieht.
Diese Eigenschaft, innerhalb U die Tragweite 1 zu haben, kommt unter allen 990 Gleichungen U ausser den beiden genannten nur noch der Gleichung zu:
[Formel 1]
, die somit ebenfalls einen eigenen Algorithmus: J1 vorstellt. (Vergl. unten „Beleg 1“.)
30) Der Algorithmus C1. Eine Prämisse desselben kann zunächst angegeben werden in Gestalt einer jeden von den beiden Gleichungen:
[Formel 2]
.
Diese gehören zwar dem Gebiete U nicht an; auf letzterem aber ziehen sie folgende 30 Gleichungen als Konsequenzen nach sich, die wir den Algorithmus C1 (der kommutativen Operationen) innerhalb U nennen.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0656"n="636"/><fwplace="top"type="header">Anhang 5.</fw><lb/><p>Man sieht leicht, dass dieses Zahlengebiet der einfachsten „Gruppe“,<lb/>
die es gibt, von nicht durchweg vertauschbaren „Substitutionen“ entspricht,<lb/>
indem man das Element 1 mit der „identischen Substitution“, die Ele-<lb/>
mente 2, 3, 4 mit den „Transpositionen“ (<hirendition="#i">αβ</hi>), (<hirendition="#i">αγ</hi>) und (<hirendition="#i">βγ</hi>) identifiziren<lb/>
kann, wo dann die Elemente 5 und 6 den „cyklischen“ Substitutionen<lb/>
(<hirendition="#i">αβγ</hi>) und (<hirendition="#i">αγβ</hi>) entsprechen werden, und unsre symbolische Multiplikation<lb/>
zusammenfällt mit der eigentlichen Multiplikation der Substitutionen.</p><lb/><p>Wie die Multiplikation der Substitutionen überhaupt, so ist also auch<lb/>
die vorliegende jedenfalls assoziativ. Und auch der Nachweis, dass keine<lb/>
andern von den 990 Gleichungen <hirendition="#i">U</hi> als die sub <hirendition="#i">A</hi><hirendition="#sub">1</hi> angeführten 16 von<lb/>
der durch die Tafel definirten Funktion durchaus erfüllt werden, unter-<lb/>
liegt theoretisch nicht der geringsten Schwierigkeit. Dagegen würde, den-<lb/>
selben ohne weitere Vorbereitung direkt zu liefern, allerdings einen Auf-<lb/>
wand an Mühe erheischen, welcher der Kenntnissnahme der gesamten das<lb/>
Gebiet <hirendition="#i">U</hi> erledigenden Theorie der Verknüpfung, nachdem dieselbe <hirendition="#i">im Zu-<lb/>
sammenhange</hi> von mir dargelegt worden wäre, schon allein fast gleich-<lb/>
kommen dürfte.</p><lb/><p><hirendition="#i">Nebenbei</hi> sei noch bemerkt: Lässt man die vertikalen Seiten der<lb/>
beiden Dreiecke, sowie die Diagonalen des Quadrats in <hirendition="#i">A</hi><hirendition="#sub">1</hi> fort, so<lb/>
bleiben diejenigen 12 von den 16 Gleichungen <hirendition="#i">A</hi><hirendition="#sub">1</hi>, deren jede für sich<lb/>
als eine „ausreichende Prämisse“ von <hirendition="#i">A</hi><hirendition="#sub">1</hi> zu bezeichnen ist und also<lb/>
innerhalb <hirendition="#i">U</hi> die Tragweite 16 hat. Dagegen bilden die fortgelassenen<lb/>
4 Gleichungen einen dem <hirendition="#i">A</hi><hirendition="#sub">1</hi> untergeordneten Algorithmus <hirendition="#i">K</hi><hirendition="#sub">1</hi>, dessen<lb/>
Prämissen eben jene beiden Vertikalseiten (mit der Tragweite 4) sind.<lb/>
Von den Diagonalgleichungen des Quadrats bildet jede für sich einen<lb/>
eigenen Algorithmus: <hirendition="#i">J</hi><hirendition="#sub">2</hi> resp. <hirendition="#i">J</hi><hirendition="#sub">3</hi>, indem sie keine weiteren Konse-<lb/>
quenzen innerhalb <hirendition="#i">U</hi> nach sich zieht.</p><lb/><p>Diese Eigenschaft, innerhalb <hirendition="#i">U</hi> die Tragweite 1 zu haben, kommt<lb/>
unter allen 990 Gleichungen <hirendition="#i">U</hi> ausser den beiden genannten nur noch<lb/>
der Gleichung zu:<lb/><hirendition="#c"><formula/>,</hi><lb/>
die somit ebenfalls einen eigenen Algorithmus: <hirendition="#i">J</hi><hirendition="#sub">1</hi> vorstellt. (Vergl.<lb/>
unten „Beleg 1“.)</p><lb/><p>3<hirendition="#sup">0</hi>) <hirendition="#i">Der Algorithmus C</hi><hirendition="#sub">1</hi>. Eine Prämisse desselben kann zunächst<lb/>
angegeben werden in Gestalt einer jeden von den beiden Gleichungen:<lb/><hirendition="#c"><formula/>.</hi></p><lb/><p>Diese gehören zwar dem Gebiete <hirendition="#i">U</hi> nicht an; auf letzterem aber<lb/>
ziehen sie folgende 30 Gleichungen als Konsequenzen nach sich, die<lb/>
wir den Algorithmus <hirendition="#i">C</hi><hirendition="#sub">1</hi> (der <hirendition="#i">kommutativen</hi> Operationen) innerhalb <hirendition="#i">U</hi><lb/>
nennen.</p><lb/></div></div></body></text></TEI>
[636/0656]
Anhang 5.
Man sieht leicht, dass dieses Zahlengebiet der einfachsten „Gruppe“,
die es gibt, von nicht durchweg vertauschbaren „Substitutionen“ entspricht,
indem man das Element 1 mit der „identischen Substitution“, die Ele-
mente 2, 3, 4 mit den „Transpositionen“ (α β), (α γ) und (β γ) identifiziren
kann, wo dann die Elemente 5 und 6 den „cyklischen“ Substitutionen
(α β γ) und (α γ β) entsprechen werden, und unsre symbolische Multiplikation
zusammenfällt mit der eigentlichen Multiplikation der Substitutionen.
Wie die Multiplikation der Substitutionen überhaupt, so ist also auch
die vorliegende jedenfalls assoziativ. Und auch der Nachweis, dass keine
andern von den 990 Gleichungen U als die sub A1 angeführten 16 von
der durch die Tafel definirten Funktion durchaus erfüllt werden, unter-
liegt theoretisch nicht der geringsten Schwierigkeit. Dagegen würde, den-
selben ohne weitere Vorbereitung direkt zu liefern, allerdings einen Auf-
wand an Mühe erheischen, welcher der Kenntnissnahme der gesamten das
Gebiet U erledigenden Theorie der Verknüpfung, nachdem dieselbe im Zu-
sammenhange von mir dargelegt worden wäre, schon allein fast gleich-
kommen dürfte.
Nebenbei sei noch bemerkt: Lässt man die vertikalen Seiten der
beiden Dreiecke, sowie die Diagonalen des Quadrats in A1 fort, so
bleiben diejenigen 12 von den 16 Gleichungen A1, deren jede für sich
als eine „ausreichende Prämisse“ von A1 zu bezeichnen ist und also
innerhalb U die Tragweite 16 hat. Dagegen bilden die fortgelassenen
4 Gleichungen einen dem A1 untergeordneten Algorithmus K1, dessen
Prämissen eben jene beiden Vertikalseiten (mit der Tragweite 4) sind.
Von den Diagonalgleichungen des Quadrats bildet jede für sich einen
eigenen Algorithmus: J2 resp. J3, indem sie keine weiteren Konse-
quenzen innerhalb U nach sich zieht.
Diese Eigenschaft, innerhalb U die Tragweite 1 zu haben, kommt
unter allen 990 Gleichungen U ausser den beiden genannten nur noch
der Gleichung zu:
[FORMEL],
die somit ebenfalls einen eigenen Algorithmus: J1 vorstellt. (Vergl.
unten „Beleg 1“.)
30) Der Algorithmus C1. Eine Prämisse desselben kann zunächst
angegeben werden in Gestalt einer jeden von den beiden Gleichungen:
[FORMEL].
Diese gehören zwar dem Gebiete U nicht an; auf letzterem aber
ziehen sie folgende 30 Gleichungen als Konsequenzen nach sich, die
wir den Algorithmus C1 (der kommutativen Operationen) innerhalb U
nennen.
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. 1. Leipzig, 1890, S. 636. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/656>, abgerufen am 15.05.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/.
