Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.

Bild:
<< vorherige Seite
nächste Seite >>
Zur Gruppentheorie des identischen Kalkuls.

Die komplementären Typen könnten auch einander "dual entspre-
chende" genannt werden. Zu einem Ausdruck als Repräsentanten eines
Typus erhält man nämlich den dual entsprechenden, wenn man --
während die in ihn eingehenden einfachen Symbole (seien sie positive
oder negative) ungeändert gelassen werden -- "plus" mit "mal" in
ihm vertauscht. Die Negation erhält man -- nach den Theoremen 36)
-- ebenso, indem man nur obendrein noch jene einfachen Symbole in
ihre Negationen verwandelt. Die Negation des Ausdrucks geht also
aus dem dualen Gegenstück desselben hervor, indem man die Buch-
staben des letzteren mit ihren Negationen vertauscht -- sowie um-
gekehrt, d. h. Negation und duales Gegenstück des Ausdrucks gehören
zum selben Typus, den wir den komplementären von demjenigen des
Ausdrucks nannten.

Wie zahlreiche Beispiele darthun, kann aber ein Ausdruck auch
sich selbst, oder wenigstens einem solchen vom nämlichen Typus dual
entsprechen, sodass es auch Typen gibt, die zu sich selber dual und
komplementär sind.

Ein sich selber komplementärer Typus ist zugleich ein Haupt-
typus, konstituirt für sich einen solchen. Ein solcher kann nach dem
Vorstehenden aber nur vorkommen innerhalb derjenigen Abteilung,
welche die Mitte innehält in der Reihe der Typen, somit je gerade
die Hälfte aller Konstituenten zu einem Elemente zusammenfasst.

Dies alles exemplifizirt sich bereits bei der Gruppe G (a), wo die
Verhältnisse freilich höchst einfach liegen:

Der mittlere (zweite) Typus, repräsentirt durch a, a1, ist zu sich
selbst komplementär, und zugleich der zweite Haupttypus. Der dritte
Typus, repräsentirt durch 1, ist komplementär zum ersten, durch 0
repräsentirten, und macht mit ihm den ersten Haupttypus aus. Wir
haben also bei G (a) drei Typen und zwei Haupttypen.

Der Analogie mit dem Folgenden wegen heben wir noch hervor,
dass sich die Frage nach der Anzahl der Typen in der Gruppe G (a)
geometrisch deckt mit der Frage nach der Anzahl der Arten, auf
welche sich an der zweipunktig begrenzten Strecke, dem (geradlinigen)
"Zweieck" Ecken auswählen lassen.

Man kann entweder keine Ecke, oder irgend eine, oder alle zwei
Ecken auswählen.

Analog wird bei der Frage nach der Zahl
der Typen, in welche die Elemente der
Gruppe G (a, b) sich einordnen, es darauf
ankommen, zu ermitteln, auf wie viele Arten

[Abbildung]
[Abbildung] Fig. 35.

Zur Gruppentheorie des identischen Kalkuls.

Die komplementären Typen könnten auch einander „dual entspre-
chende“ genannt werden. Zu einem Ausdruck als Repräsentanten eines
Typus erhält man nämlich den dual entsprechenden, wenn man —
während die in ihn eingehenden einfachen Symbole (seien sie positive
oder negative) ungeändert gelassen werden — „plus“ mit „mal“ in
ihm vertauscht. Die Negation erhält man — nach den Theoremen 36)
— ebenso, indem man nur obendrein noch jene einfachen Symbole in
ihre Negationen verwandelt. Die Negation des Ausdrucks geht also
aus dem dualen Gegenstück desselben hervor, indem man die Buch-
staben des letzteren mit ihren Negationen vertauscht — sowie um-
gekehrt, d. h. Negation und duales Gegenstück des Ausdrucks gehören
zum selben Typus, den wir den komplementären von demjenigen des
Ausdrucks nannten.

Wie zahlreiche Beispiele darthun, kann aber ein Ausdruck auch
sich selbst, oder wenigstens einem solchen vom nämlichen Typus dual
entsprechen, sodass es auch Typen gibt, die zu sich selber dual und
komplementär sind.

Ein sich selber komplementärer Typus ist zugleich ein Haupt-
typus, konstituirt für sich einen solchen. Ein solcher kann nach dem
Vorstehenden aber nur vorkommen innerhalb derjenigen Abteilung,
welche die Mitte innehält in der Reihe der Typen, somit je gerade
die Hälfte aller Konstituenten zu einem Elemente zusammenfasst.

Dies alles exemplifizirt sich bereits bei der Gruppe G (a), wo die
Verhältnisse freilich höchst einfach liegen:

Der mittlere (zweite) Typus, repräsentirt durch a, a1, ist zu sich
selbst komplementär, und zugleich der zweite Haupttypus. Der dritte
Typus, repräsentirt durch 1, ist komplementär zum ersten, durch 0
repräsentirten, und macht mit ihm den ersten Haupttypus aus. Wir
haben also bei G (a) drei Typen und zwei Haupttypen.

Der Analogie mit dem Folgenden wegen heben wir noch hervor,
dass sich die Frage nach der Anzahl der Typen in der Gruppe G (a)
geometrisch deckt mit der Frage nach der Anzahl der Arten, auf
welche sich an der zweipunktig begrenzten Strecke, dem (geradlinigen)
„Zweieck“ Ecken auswählen lassen.

Man kann entweder keine Ecke, oder irgend eine, oder alle zwei
Ecken auswählen.

Analog wird bei der Frage nach der Zahl
der Typen, in welche die Elemente der
Gruppe G (a, b) sich einordnen, es darauf
ankommen, zu ermitteln, auf wie viele Arten

[Abbildung]
[Abbildung] Fig. 35.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0681" n="661"/>
          <fw place="top" type="header">Zur Gruppentheorie des identischen Kalkuls.</fw><lb/>
          <p>Die komplementären Typen könnten auch einander &#x201E;<hi rendition="#i">dual entspre-<lb/>
chende</hi>&#x201C; genannt werden. Zu einem Ausdruck als Repräsentanten eines<lb/>
Typus erhält man nämlich den dual entsprechenden, wenn man &#x2014;<lb/>
während die in ihn eingehenden einfachen Symbole (seien sie positive<lb/>
oder negative) ungeändert gelassen werden &#x2014; &#x201E;plus&#x201C; mit &#x201E;mal&#x201C; in<lb/>
ihm vertauscht. Die Negation erhält man &#x2014; nach den Theoremen 36)<lb/>
&#x2014; <hi rendition="#i">ebenso</hi>, indem man nur obendrein noch jene einfachen Symbole in<lb/>
ihre Negationen verwandelt. Die Negation des Ausdrucks geht also<lb/>
aus dem dualen Gegenstück desselben hervor, indem man die Buch-<lb/>
staben des letzteren mit ihren Negationen vertauscht &#x2014; sowie um-<lb/>
gekehrt, d. h. Negation und duales Gegenstück des Ausdrucks gehören<lb/>
zum selben Typus, den wir den komplementären von demjenigen des<lb/>
Ausdrucks nannten.</p><lb/>
          <p>Wie zahlreiche Beispiele darthun, kann aber ein Ausdruck auch<lb/>
sich selbst, oder wenigstens einem solchen vom nämlichen Typus dual<lb/>
entsprechen, sodass es auch Typen gibt, die zu sich selber dual und<lb/>
komplementär sind.</p><lb/>
          <p>Ein sich selber komplementärer Typus ist zugleich ein Haupt-<lb/>
typus, konstituirt für sich einen solchen. Ein solcher kann nach dem<lb/>
Vorstehenden aber nur vorkommen innerhalb derjenigen Abteilung,<lb/>
welche die Mitte innehält in der Reihe der Typen, somit je gerade<lb/>
die Hälfte aller Konstituenten zu einem Elemente zusammenfasst.</p><lb/>
          <p>Dies alles exemplifizirt sich bereits bei der Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>), wo die<lb/>
Verhältnisse freilich höchst einfach liegen:</p><lb/>
          <p>Der mittlere (zweite) Typus, repräsentirt durch <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, ist zu sich<lb/>
selbst komplementär, und zugleich der zweite Haupttypus. Der dritte<lb/>
Typus, repräsentirt durch 1, ist komplementär zum ersten, durch 0<lb/>
repräsentirten, und macht mit ihm den ersten Haupttypus aus. Wir<lb/>
haben also bei <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>) <hi rendition="#i">drei Typen</hi> und <hi rendition="#i">zwei Haupttypen</hi>.</p><lb/>
          <p>Der Analogie mit dem Folgenden wegen heben wir noch hervor,<lb/>
dass sich die Frage nach der Anzahl der Typen in der Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>)<lb/>
geometrisch deckt mit der Frage nach der Anzahl der Arten, auf<lb/>
welche sich an der zweipunktig begrenzten Strecke, dem (geradlinigen)<lb/>
&#x201E;Zweieck&#x201C; Ecken auswählen lassen.</p><lb/>
          <p>Man kann entweder <hi rendition="#i">keine</hi> Ecke, oder <hi rendition="#i">irgend eine</hi>, oder alle zwei<lb/>
Ecken auswählen.</p><lb/>
          <p>Analog wird bei der Frage nach der Zahl<lb/>
der Typen, in welche die Elemente der<lb/>
Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>) sich einordnen, es darauf<lb/>
ankommen, zu ermitteln, auf wie viele Arten<lb/><figure/> <figure><head>Fig. 35.</head></figure><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[661/0681] Zur Gruppentheorie des identischen Kalkuls. Die komplementären Typen könnten auch einander „dual entspre- chende“ genannt werden. Zu einem Ausdruck als Repräsentanten eines Typus erhält man nämlich den dual entsprechenden, wenn man — während die in ihn eingehenden einfachen Symbole (seien sie positive oder negative) ungeändert gelassen werden — „plus“ mit „mal“ in ihm vertauscht. Die Negation erhält man — nach den Theoremen 36) — ebenso, indem man nur obendrein noch jene einfachen Symbole in ihre Negationen verwandelt. Die Negation des Ausdrucks geht also aus dem dualen Gegenstück desselben hervor, indem man die Buch- staben des letzteren mit ihren Negationen vertauscht — sowie um- gekehrt, d. h. Negation und duales Gegenstück des Ausdrucks gehören zum selben Typus, den wir den komplementären von demjenigen des Ausdrucks nannten. Wie zahlreiche Beispiele darthun, kann aber ein Ausdruck auch sich selbst, oder wenigstens einem solchen vom nämlichen Typus dual entsprechen, sodass es auch Typen gibt, die zu sich selber dual und komplementär sind. Ein sich selber komplementärer Typus ist zugleich ein Haupt- typus, konstituirt für sich einen solchen. Ein solcher kann nach dem Vorstehenden aber nur vorkommen innerhalb derjenigen Abteilung, welche die Mitte innehält in der Reihe der Typen, somit je gerade die Hälfte aller Konstituenten zu einem Elemente zusammenfasst. Dies alles exemplifizirt sich bereits bei der Gruppe G (a), wo die Verhältnisse freilich höchst einfach liegen: Der mittlere (zweite) Typus, repräsentirt durch a, a1, ist zu sich selbst komplementär, und zugleich der zweite Haupttypus. Der dritte Typus, repräsentirt durch 1, ist komplementär zum ersten, durch 0 repräsentirten, und macht mit ihm den ersten Haupttypus aus. Wir haben also bei G (a) drei Typen und zwei Haupttypen. Der Analogie mit dem Folgenden wegen heben wir noch hervor, dass sich die Frage nach der Anzahl der Typen in der Gruppe G (a) geometrisch deckt mit der Frage nach der Anzahl der Arten, auf welche sich an der zweipunktig begrenzten Strecke, dem (geradlinigen) „Zweieck“ Ecken auswählen lassen. Man kann entweder keine Ecke, oder irgend eine, oder alle zwei Ecken auswählen. Analog wird bei der Frage nach der Zahl der Typen, in welche die Elemente der Gruppe G (a, b) sich einordnen, es darauf ankommen, zu ermitteln, auf wie viele Arten [Abbildung] [Abbildung Fig. 35.]

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/681
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 661. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/681>, abgerufen am 22.05.2024.