Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Zur Gruppentheorie des identischen Kalkuls.
von a b (oder a1 + b1)" die "Gruppe von a + b", resp. a b1, .. resp.
f (a, b, c ...) bezeichnen dürfen.

Bei Angabe oder Aufzählung der Elemente einer Gruppe sollen natür-
lich tautologische Wiederholungen möglichst unterbleiben. Solange nur die
einfachen Gebietsymbole oder Buchstaben, welche allenfalls in den Aus-
drücken für die Elemente vorkommen, als von einander unabhängig be-
liebige Gebiete angesehen, gedeutet werden, müssen hienach auch sämtliche
Elemente
einer Gruppe im Allgemeinen unter sich verschieden sein, m. a. W.
die Gleichsetzung irgend zweier Ausdrücke der Gruppe muss allemal eine
synthetische Gleichung, eine "Relation" liefern, nicht aber darf dadurch
eine "Formel" entstehen.

Diese Forderung ist stricte aufrecht zu erhalten, sobald etwa die
"Anzahl" der Elemente in Betracht gezogen werden, wenn von dem "Um-
fang" der Gruppe gesprochen werden soll -- andernfalles würde ja der
Gruppe ein bestimmter Umfang gar nicht zukommen. Ist sie erfüllt, so
mögen wir sagen, die Gruppe sei in ihrer "reduzirten" Form dargestellt,
reduzirt gegeben, ausgerechnet, ermittelt.

Im übrigen wird es aber bei den in's Auge zu fassenden Erzeugungs-
weisen der Gruppen sich empfehlen, dass man im Geiste des Tautologie-
gesetzes Wiederholung von Elementen nicht verbiete, sondern nur für belang-
los erkläre
. Wo keine Veranlassung dazu vorliegt, wird man alsdann doch
sie ohnehin unterlassen -- so z. B. bei allen Endergebnissen, bei denen ja
auf grösstmögliche Einfachheit derselben für künftigen Gebrauch zu sehen ist.

Auf der andern Seite gewinnt man so die Freiheit, eine Gruppe z. B.
auch aus einer Übergruppe entstehen zu lassen dadurch, dass man zwischen
den Elementen von dieser Relationen einführt, z. B. einzelne Elemente, die
ursprünglich verschieden gedacht wurden, einander gleich werden lässt.
Nur aber indem man zulässt, dass verschiedene Buchstaben auch gleich-
wertig werden dürfen, nur dadurch wird man in der That imstande sein,
sich die volle Allgemeinheit der Betrachtungen mitsamt deren Vorteilen
zu sichern.

Ein solches System von Elementen der Gruppe aus welchem alle
übrigen Elemente derselben durch unsre Operationen (der drei Spezies)
schon vollständig ableitbar sind, nannten wir ein "(ausreichendes)
System von Bestimmungselementen" der Gruppe.

Wir bezeichnen die Gruppe kurz, indem wir hinter den Buch-
staben G ein System von Bestimmungselementen derselben -- diese
durch Kommata getrennt -- in eine Klammer schreiben.

Auch die Gruppe selbst kann als ein ausreichendes System von
Bestimmungselementen ihrerselbst hingestellt werden, insofern hier
"übrige" Elemente, die erst noch aus den angegebenen abzuleiten
wären, gar nicht vorhanden sind. In solchem Falle mögen wir das
Symbol G auch weglassen
.

Sonach werden wir nun haben:

Zur Gruppentheorie des identischen Kalkuls.
von a b (oder a1 + b1)“ die „Gruppe von a + b“, resp. a b1, ‥ resp.
f (a, b, c …) bezeichnen dürfen.

Bei Angabe oder Aufzählung der Elemente einer Gruppe sollen natür-
lich tautologische Wiederholungen möglichst unterbleiben. Solange nur die
einfachen Gebietsymbole oder Buchstaben, welche allenfalls in den Aus-
drücken für die Elemente vorkommen, als von einander unabhängig be-
liebige Gebiete angesehen, gedeutet werden, müssen hienach auch sämtliche
Elemente
einer Gruppe im Allgemeinen unter sich verschieden sein, m. a. W.
die Gleichsetzung irgend zweier Ausdrücke der Gruppe muss allemal eine
synthetische Gleichung, eine „Relation“ liefern, nicht aber darf dadurch
eine „Formel“ entstehen.

Diese Forderung ist stricte aufrecht zu erhalten, sobald etwa die
Anzahl“ der Elemente in Betracht gezogen werden, wenn von dem „Um-
fang“ der Gruppe gesprochen werden soll — andernfalles würde ja der
Gruppe ein bestimmter Umfang gar nicht zukommen. Ist sie erfüllt, so
mögen wir sagen, die Gruppe sei in ihrer „reduzirten“ Form dargestellt,
reduzirt gegeben, ausgerechnet, ermittelt.

Im übrigen wird es aber bei den in's Auge zu fassenden Erzeugungs-
weisen der Gruppen sich empfehlen, dass man im Geiste des Tautologie-
gesetzes Wiederholung von Elementen nicht verbiete, sondern nur für belang-
los erkläre
. Wo keine Veranlassung dazu vorliegt, wird man alsdann doch
sie ohnehin unterlassen — so z. B. bei allen Endergebnissen, bei denen ja
auf grösstmögliche Einfachheit derselben für künftigen Gebrauch zu sehen ist.

Auf der andern Seite gewinnt man so die Freiheit, eine Gruppe z. B.
auch aus einer Übergruppe entstehen zu lassen dadurch, dass man zwischen
den Elementen von dieser Relationen einführt, z. B. einzelne Elemente, die
ursprünglich verschieden gedacht wurden, einander gleich werden lässt.
Nur aber indem man zulässt, dass verschiedene Buchstaben auch gleich-
wertig werden dürfen, nur dadurch wird man in der That imstande sein,
sich die volle Allgemeinheit der Betrachtungen mitsamt deren Vorteilen
zu sichern.

Ein solches System von Elementen der Gruppe aus welchem alle
übrigen Elemente derselben durch unsre Operationen (der drei Spezies)
schon vollständig ableitbar sind, nannten wir ein „(ausreichendes)
System von Bestimmungselementen“ der Gruppe.

Wir bezeichnen die Gruppe kurz, indem wir hinter den Buch-
staben G ein System von Bestimmungselementen derselben — diese
durch Kommata getrennt — in eine Klammer schreiben.

Auch die Gruppe selbst kann als ein ausreichendes System von
Bestimmungselementen ihrerselbst hingestellt werden, insofern hier
„übrige“ Elemente, die erst noch aus den angegebenen abzuleiten
wären, gar nicht vorhanden sind. In solchem Falle mögen wir das
Symbol G auch weglassen
.

Sonach werden wir nun haben:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0669" n="649"/><fw place="top" type="header">Zur Gruppentheorie des identischen Kalkuls.</fw><lb/>
von <hi rendition="#i">a b</hi> (oder <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>)&#x201C; die &#x201E;Gruppe von <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>&#x201C;, resp. <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi>, &#x2025; resp.<lb/><hi rendition="#i">f</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> &#x2026;) bezeichnen dürfen.</p><lb/>
          <p>Bei Angabe oder Aufzählung der Elemente einer Gruppe sollen natür-<lb/>
lich tautologische Wiederholungen möglichst unterbleiben. Solange nur die<lb/>
einfachen Gebietsymbole oder Buchstaben, welche allenfalls in den Aus-<lb/>
drücken für die Elemente vorkommen, als von einander unabhängig be-<lb/>
liebige Gebiete angesehen, gedeutet werden, müssen hienach auch <hi rendition="#i">sämtliche<lb/>
Elemente</hi> einer Gruppe im Allgemeinen unter sich <hi rendition="#i">verschieden</hi> sein, m. a. W.<lb/>
die Gleichsetzung irgend zweier Ausdrücke der Gruppe muss allemal eine<lb/>
synthetische Gleichung, eine &#x201E;Relation&#x201C; liefern, nicht aber darf dadurch<lb/>
eine &#x201E;Formel&#x201C; entstehen.</p><lb/>
          <p>Diese Forderung ist stricte aufrecht zu erhalten, sobald etwa die<lb/>
&#x201E;<hi rendition="#i">Anzahl</hi>&#x201C; der Elemente in Betracht gezogen werden, wenn von dem &#x201E;Um-<lb/>
fang&#x201C; der Gruppe gesprochen werden soll &#x2014; andernfalles würde ja der<lb/>
Gruppe ein bestimmter Umfang gar nicht zukommen. Ist sie erfüllt, so<lb/>
mögen wir sagen, die Gruppe sei in ihrer &#x201E;reduzirten&#x201C; Form dargestellt,<lb/><hi rendition="#i">reduzirt</hi> gegeben, ausgerechnet, ermittelt.</p><lb/>
          <p>Im übrigen wird es aber bei den in's Auge zu fassenden Erzeugungs-<lb/>
weisen der Gruppen sich empfehlen, dass man im Geiste des Tautologie-<lb/>
gesetzes <hi rendition="#i">Wiederholung</hi> von Elementen <hi rendition="#i">nicht verbiete,</hi> sondern nur <hi rendition="#i">für belang-<lb/>
los erkläre</hi>. Wo keine Veranlassung dazu vorliegt, wird man alsdann doch<lb/>
sie ohnehin unterlassen &#x2014; so z. B. bei allen Endergebnissen, bei denen ja<lb/>
auf grösstmögliche Einfachheit derselben für künftigen Gebrauch zu sehen ist.</p><lb/>
          <p>Auf der andern Seite gewinnt man so die Freiheit, eine Gruppe z. B.<lb/>
auch aus einer Übergruppe entstehen zu lassen dadurch, dass man zwischen<lb/>
den Elementen von dieser Relationen einführt, z. B. einzelne Elemente, die<lb/>
ursprünglich verschieden gedacht wurden, einander gleich werden lässt.<lb/>
Nur aber indem man zulässt, dass verschiedene Buchstaben auch gleich-<lb/>
wertig werden dürfen, nur dadurch wird man in der That imstande sein,<lb/>
sich die volle Allgemeinheit der Betrachtungen mitsamt deren Vorteilen<lb/>
zu sichern.</p><lb/>
          <p>Ein solches System von Elementen der Gruppe aus welchem alle<lb/>
übrigen Elemente derselben durch unsre Operationen (der drei Spezies)<lb/>
schon vollständig ableitbar sind, nannten wir ein &#x201E;(ausreichendes)<lb/>
System von <hi rendition="#i">Bestimmungselementen</hi>&#x201C; der Gruppe.</p><lb/>
          <p>Wir <hi rendition="#i">bezeichnen</hi> die Gruppe kurz, indem wir hinter den Buch-<lb/>
staben <hi rendition="#i">G</hi> ein System von Bestimmungselementen derselben &#x2014; diese<lb/>
durch Kommata getrennt &#x2014; in eine Klammer schreiben.</p><lb/>
          <p>Auch die Gruppe selbst kann als ein ausreichendes System von<lb/>
Bestimmungselementen ihrerselbst hingestellt werden, insofern hier<lb/>
&#x201E;übrige&#x201C; Elemente, die erst noch aus den angegebenen abzuleiten<lb/>
wären, gar nicht vorhanden sind. <hi rendition="#i">In solchem Falle mögen wir das<lb/>
Symbol G auch weglassen</hi>.</p><lb/>
          <p>Sonach werden wir nun haben:<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[649/0669] Zur Gruppentheorie des identischen Kalkuls. von a b (oder a1 + b1)“ die „Gruppe von a + b“, resp. a b1, ‥ resp. f (a, b, c …) bezeichnen dürfen. Bei Angabe oder Aufzählung der Elemente einer Gruppe sollen natür- lich tautologische Wiederholungen möglichst unterbleiben. Solange nur die einfachen Gebietsymbole oder Buchstaben, welche allenfalls in den Aus- drücken für die Elemente vorkommen, als von einander unabhängig be- liebige Gebiete angesehen, gedeutet werden, müssen hienach auch sämtliche Elemente einer Gruppe im Allgemeinen unter sich verschieden sein, m. a. W. die Gleichsetzung irgend zweier Ausdrücke der Gruppe muss allemal eine synthetische Gleichung, eine „Relation“ liefern, nicht aber darf dadurch eine „Formel“ entstehen. Diese Forderung ist stricte aufrecht zu erhalten, sobald etwa die „Anzahl“ der Elemente in Betracht gezogen werden, wenn von dem „Um- fang“ der Gruppe gesprochen werden soll — andernfalles würde ja der Gruppe ein bestimmter Umfang gar nicht zukommen. Ist sie erfüllt, so mögen wir sagen, die Gruppe sei in ihrer „reduzirten“ Form dargestellt, reduzirt gegeben, ausgerechnet, ermittelt. Im übrigen wird es aber bei den in's Auge zu fassenden Erzeugungs- weisen der Gruppen sich empfehlen, dass man im Geiste des Tautologie- gesetzes Wiederholung von Elementen nicht verbiete, sondern nur für belang- los erkläre. Wo keine Veranlassung dazu vorliegt, wird man alsdann doch sie ohnehin unterlassen — so z. B. bei allen Endergebnissen, bei denen ja auf grösstmögliche Einfachheit derselben für künftigen Gebrauch zu sehen ist. Auf der andern Seite gewinnt man so die Freiheit, eine Gruppe z. B. auch aus einer Übergruppe entstehen zu lassen dadurch, dass man zwischen den Elementen von dieser Relationen einführt, z. B. einzelne Elemente, die ursprünglich verschieden gedacht wurden, einander gleich werden lässt. Nur aber indem man zulässt, dass verschiedene Buchstaben auch gleich- wertig werden dürfen, nur dadurch wird man in der That imstande sein, sich die volle Allgemeinheit der Betrachtungen mitsamt deren Vorteilen zu sichern. Ein solches System von Elementen der Gruppe aus welchem alle übrigen Elemente derselben durch unsre Operationen (der drei Spezies) schon vollständig ableitbar sind, nannten wir ein „(ausreichendes) System von Bestimmungselementen“ der Gruppe. Wir bezeichnen die Gruppe kurz, indem wir hinter den Buch- staben G ein System von Bestimmungselementen derselben — diese durch Kommata getrennt — in eine Klammer schreiben. Auch die Gruppe selbst kann als ein ausreichendes System von Bestimmungselementen ihrerselbst hingestellt werden, insofern hier „übrige“ Elemente, die erst noch aus den angegebenen abzuleiten wären, gar nicht vorhanden sind. In solchem Falle mögen wir das Symbol G auch weglassen. Sonach werden wir nun haben:

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
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/669
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 649. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/669>, abgerufen am 23.11.2024.