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 Unterordnung folgte hier auch schon aus dem Nichtvorliegen
der Gleichheit in Anbetracht, dass A B + A C als , das ist = oder ,
A (B + C) in Th. 25x) bewiesen ist.

Von der erworbenen Bekanntschaft mit den Typen der Gruppe
G (a, b, c) und von der gegebenen Zusammenstellung ihrer Elemente
wollen wir schliesslich eine Nutzanwendung machen, um die Theorie
der Eliminationsresultanten sowie diejenige der symmetrisch allgemeinen
Lösungen um einen Schritt zu fördern.

Denken wir uns x, y und z irgendwie durch "Parameter" a, b, c,
d, ... ausgedrückt, mithin sie als Funktionen des Gebietekalkuls von
eben diesen Symbolen -- und nur von diesen -- gegeben, so kann
man nach der Relation f (x, y, z) = 0 fragen, die als Resultante der
Elimination sämtlicher Parameter aus den vorliegenden Gleichungen:
x = ph (a, b, c, d, ..), y = ps (a, b, c, d, ..), z = kh (a, b, c, d, ..)
folgen muss. Das Polynom f (x, y, z) dieser Resultante kann nur eines
der 256 Elemente der Gruppe G (x, y, z) sein, da es andere Symbole
als x, y und z selbst laut Voraussetzung nicht in sich aufweist, mithin
bei seiner "Entwickelung" nach seinen drei Argumenten x, y, z als
Koeffizienten nur die Symbole 0 und 1 zur Verfügung stehen können.

Sehr häufig -- wie wir bereits erfahren -- tritt insbesondre der
Fall ein, dass unser Polynom das Element 0 der Gruppe G (x, y, z) ist.
Die Resultante stellt sich alsdann in der Gestalt 0 = 0 dar und ist
eine nichtssagende. Wir dürfen alsdann sagen, dass bei unbestimmt
gelassenen Werten der Parameter a, b, c, d, .. auch die Gebiete x, y, z
von einander unabhängig beliebige bleiben, oder dass keine Relation, Be-
ziehung zwischen denselben bestehn muss oder folgt (S. 454).

Falls f (x, y, z) sich als das Element 1 der Gruppe G (x, y, z)
herausstellen sollte, wäre die Resultante (als da ist: die Gleichung 1 = 0)
eine absurde (Behauptung).

Dieser Fall kann aber nicht vorkommen, -- und die Erfahrung
wird es bestätigen -- auch lässt es sich strenge, wie folgt, beweisen.
Eine Resultante 1 = 0 wäre als ein Ergebniss der Elimination nicht
nur von a, b, c, ... sondern auch von x, y, z anzuerkennen. Als letzteres
müsste es auch in der vollen Resultante für x, y, z enthalten sein.
Eliminirt man aber regelrecht aus der vereinigten Prämissengleichung
x1 ph + x ph1 + y1 ps + y ps1 + z1 kh + z kh1 = 0

Zur Gruppentheorie des identischen Kalkuls.

Die Unterordnung folgte hier auch schon aus dem Nichtvorliegen
der Gleichheit in Anbetracht, dass A B + A C als ⋹, das ist = oder ⊂,
A (B + C) in Th. 25×) bewiesen ist.

Von der erworbenen Bekanntschaft mit den Typen der Gruppe
G (a, b, c) und von der gegebenen Zusammenstellung ihrer Elemente
wollen wir schliesslich eine Nutzanwendung machen, um die Theorie
der Eliminationsresultanten sowie diejenige der symmetrisch allgemeinen
Lösungen um einen Schritt zu fördern.

Denken wir uns x, y und z irgendwie durch „Parameter“ a, b, c,
d, … ausgedrückt, mithin sie als Funktionen des Gebietekalkuls von
eben diesen Symbolen — und nur von diesen — gegeben, so kann
man nach der Relation f (x, y, z) = 0 fragen, die als Resultante der
Elimination sämtlicher Parameter aus den vorliegenden Gleichungen:
x = φ (a, b, c, d, ‥), y = ψ (a, b, c, d, ‥), z = χ (a, b, c, d, ‥)
folgen muss. Das Polynom f (x, y, z) dieser Resultante kann nur eines
der 256 Elemente der Gruppe G (x, y, z) sein, da es andere Symbole
als x, y und z selbst laut Voraussetzung nicht in sich aufweist, mithin
bei seiner „Entwickelung“ nach seinen drei Argumenten x, y, z als
Koeffizienten nur die Symbole 0 und 1 zur Verfügung stehen können.

Sehr häufig — wie wir bereits erfahren — tritt insbesondre der
Fall ein, dass unser Polynom das Element 0 der Gruppe G (x, y, z) ist.
Die Resultante stellt sich alsdann in der Gestalt 0 = 0 dar und ist
eine nichtssagende. Wir dürfen alsdann sagen, dass bei unbestimmt
gelassenen Werten der Parameter a, b, c, d, ‥ auch die Gebiete x, y, z
von einander unabhängig beliebige bleiben, oder dass keine Relation, Be-
ziehung zwischen denselben bestehn muss oder folgt (S. 454).

Falls f (x, y, z) sich als das Element 1 der Gruppe G (x, y, z)
herausstellen sollte, wäre die Resultante (als da ist: die Gleichung 1 = 0)
eine absurde (Behauptung).

Dieser Fall kann aber nicht vorkommen, — und die Erfahrung
wird es bestätigen — auch lässt es sich strenge, wie folgt, beweisen.
Eine Resultante 1 = 0 wäre als ein Ergebniss der Elimination nicht
nur von a, b, c, … sondern auch von x, y, z anzuerkennen. Als letzteres
müsste es auch in der vollen Resultante für x, y, z enthalten sein.
Eliminirt man aber regelrecht aus der vereinigten Prämissengleichung
x1 φ + x φ1 + y1 ψ + y ψ1 + z1 χ + z χ1 = 0

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0707" n="687"/>
          <fw place="top" type="header">Zur Gruppentheorie des identischen Kalkuls.</fw><lb/>
          <p>Die Unterordnung folgte hier auch schon aus dem Nichtvorliegen<lb/>
der Gleichheit in Anbetracht, dass <hi rendition="#i">A B</hi> + <hi rendition="#i">A C</hi> als &#x22F9;, das ist = oder &#x2282;,<lb/><hi rendition="#i">A</hi> (<hi rendition="#i">B</hi> + <hi rendition="#i">C</hi>) in Th. 25<hi rendition="#sub">×</hi>) bewiesen ist.</p><lb/>
          <milestone rendition="#hr" unit="section"/>
          <p>Von der erworbenen Bekanntschaft mit den Typen der Gruppe<lb/><hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>) und von der gegebenen Zusammenstellung ihrer Elemente<lb/>
wollen wir schliesslich eine Nutzanwendung machen, um die Theorie<lb/>
der Eliminationsresultanten sowie diejenige der symmetrisch allgemeinen<lb/>
Lösungen um einen Schritt zu fördern.</p><lb/>
          <p>Denken wir uns <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi> und <hi rendition="#i">z</hi> irgendwie durch &#x201E;Parameter&#x201C; <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>,<lb/><hi rendition="#i">d</hi>, &#x2026; ausgedrückt, mithin sie als Funktionen des Gebietekalkuls von<lb/>
eben diesen Symbolen &#x2014; und <hi rendition="#i">nur</hi> von diesen &#x2014; gegeben, so kann<lb/>
man nach der Relation <hi rendition="#i">f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>) = 0 fragen, die als Resultante der<lb/>
Elimination sämtlicher Parameter aus den vorliegenden Gleichungen:<lb/><hi rendition="#i">x</hi> = <hi rendition="#i">&#x03C6;</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, &#x2025;), <hi rendition="#i">y</hi> = <hi rendition="#i">&#x03C8;</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, &#x2025;), <hi rendition="#i">z</hi> = <hi rendition="#i">&#x03C7;</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, &#x2025;)<lb/>
folgen muss. Das Polynom <hi rendition="#i">f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>) dieser Resultante kann nur eines<lb/>
der 256 Elemente der Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>) sein, da es andere Symbole<lb/>
als <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi> und <hi rendition="#i">z</hi> selbst laut Voraussetzung nicht in sich aufweist, mithin<lb/>
bei seiner &#x201E;Entwickelung&#x201C; nach seinen drei Argumenten <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi> als<lb/>
Koeffizienten <hi rendition="#i">nur</hi> die Symbole 0 und 1 zur Verfügung stehen können.</p><lb/>
          <p>Sehr häufig &#x2014; wie wir bereits erfahren &#x2014; tritt insbesondre der<lb/>
Fall ein, dass unser Polynom das Element 0 der Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>) ist.<lb/>
Die Resultante stellt sich alsdann in der Gestalt 0 = 0 dar und ist<lb/>
eine nichtssagende. Wir dürfen alsdann sagen, dass bei unbestimmt<lb/>
gelassenen Werten der Parameter <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, &#x2025; auch die Gebiete <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z<lb/>
von einander unabhängig beliebige</hi> bleiben, oder dass <hi rendition="#i">keine</hi> Relation, Be-<lb/>
ziehung zwischen denselben bestehn <hi rendition="#i">muss</hi> oder folgt (S. 454).</p><lb/>
          <p>Falls <hi rendition="#i">f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>) sich als das Element 1 der Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>)<lb/>
herausstellen sollte, wäre die Resultante (als da ist: die Gleichung 1 = 0)<lb/>
eine <hi rendition="#i">absurde</hi> (Behauptung).</p><lb/>
          <p>Dieser Fall kann aber <hi rendition="#i">nicht vorkommen</hi>, &#x2014; und die Erfahrung<lb/>
wird es bestätigen &#x2014; auch lässt es sich strenge, wie folgt, beweisen.<lb/>
Eine Resultante 1 = 0 wäre als ein Ergebniss der Elimination nicht<lb/>
nur von <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, &#x2026; sondern auch von <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi> anzuerkennen. Als letzteres<lb/>
müsste es auch in der vollen Resultante für <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi> enthalten sein.<lb/>
Eliminirt man aber regelrecht aus der vereinigten Prämissengleichung<lb/><hi rendition="#c"><hi rendition="#i">x</hi><hi rendition="#sub">1</hi><hi rendition="#i">&#x03C6;</hi> + <hi rendition="#i">x &#x03C6;</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03C8;</hi> + <hi rendition="#i">y &#x03C8;</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03C7;</hi> + <hi rendition="#i">z &#x03C7;</hi><hi rendition="#sub">1</hi> = 0</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[687/0707] Zur Gruppentheorie des identischen Kalkuls. Die Unterordnung folgte hier auch schon aus dem Nichtvorliegen der Gleichheit in Anbetracht, dass A B + A C als ⋹, das ist = oder ⊂, A (B + C) in Th. 25×) bewiesen ist. Von der erworbenen Bekanntschaft mit den Typen der Gruppe G (a, b, c) und von der gegebenen Zusammenstellung ihrer Elemente wollen wir schliesslich eine Nutzanwendung machen, um die Theorie der Eliminationsresultanten sowie diejenige der symmetrisch allgemeinen Lösungen um einen Schritt zu fördern. Denken wir uns x, y und z irgendwie durch „Parameter“ a, b, c, d, … ausgedrückt, mithin sie als Funktionen des Gebietekalkuls von eben diesen Symbolen — und nur von diesen — gegeben, so kann man nach der Relation f (x, y, z) = 0 fragen, die als Resultante der Elimination sämtlicher Parameter aus den vorliegenden Gleichungen: x = φ (a, b, c, d, ‥), y = ψ (a, b, c, d, ‥), z = χ (a, b, c, d, ‥) folgen muss. Das Polynom f (x, y, z) dieser Resultante kann nur eines der 256 Elemente der Gruppe G (x, y, z) sein, da es andere Symbole als x, y und z selbst laut Voraussetzung nicht in sich aufweist, mithin bei seiner „Entwickelung“ nach seinen drei Argumenten x, y, z als Koeffizienten nur die Symbole 0 und 1 zur Verfügung stehen können. Sehr häufig — wie wir bereits erfahren — tritt insbesondre der Fall ein, dass unser Polynom das Element 0 der Gruppe G (x, y, z) ist. Die Resultante stellt sich alsdann in der Gestalt 0 = 0 dar und ist eine nichtssagende. Wir dürfen alsdann sagen, dass bei unbestimmt gelassenen Werten der Parameter a, b, c, d, ‥ auch die Gebiete x, y, z von einander unabhängig beliebige bleiben, oder dass keine Relation, Be- ziehung zwischen denselben bestehn muss oder folgt (S. 454). Falls f (x, y, z) sich als das Element 1 der Gruppe G (x, y, z) herausstellen sollte, wäre die Resultante (als da ist: die Gleichung 1 = 0) eine absurde (Behauptung). Dieser Fall kann aber nicht vorkommen, — und die Erfahrung wird es bestätigen — auch lässt es sich strenge, wie folgt, beweisen. Eine Resultante 1 = 0 wäre als ein Ergebniss der Elimination nicht nur von a, b, c, … sondern auch von x, y, z anzuerkennen. Als letzteres müsste es auch in der vollen Resultante für x, y, z enthalten sein. Eliminirt man aber regelrecht aus der vereinigten Prämissengleichung x1 φ + x φ1 + y1 ψ + y ψ1 + z1 χ + z χ1 = 0

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/707
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 687. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/707>, abgerufen am 01.05.2024.