Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 8. Die reduziblen primären Modulknüpfungen.
1 den Modul der identischen Multi-
plikation
0 den Modul der identischen Ad-
dition
1' den Modul der relativen Multi-
plikation
0' den Modul der relativen Ad-
dition
insofern in jedem Falle die angeführte Operation mit dem zugehörigen
Modul nichts ändert. Dies ist gewiss leicht zu merken und man muss
es sich fest einprägen.

Wenn man sich jetzt noch hinzu merkt, dass auch ein relatives
Produkt verschwindet
, sobald ein Faktor desselben 0 ist, und auch eine
relative Summe gleich
1 wird, sobald ein Term diesen Wert annimmt, so
wird man -- was unerlässlich -- die vorstehenden Sätze bald fest
inne haben.

Der Zusammenziehung zuliebe haben wir in 8) bis 11) die konjugirten
Gleichungen neben statt untereinander geschrieben.

An Beweisen ist zu liefern zu 10):
(0 ; a)i j = Sh0i hah j = Sh0 ah j = Sh0 = 0 = 0i j.
Zu 11):
(a ; 1')i j = Shai h1'h j = ah j, (a j 0')i j = Ph(ai h + 0'h j) = ai j,
(1' ; a)i j = Sh1'i hah j = ai j, (0' j a)i j = Ph(0'i h + ah j) = ai j.

Der letzte Beweis legt uns eine sehr wichtige allgemeine Bemer-
kung nahe.

Man merke, dass eine Summe
12x) Sh1'h kf(h) = f(k) = Shf(h)1'k h
in deren allgemeinem Gliede ein Koeffizient des Moduls 1' als (veränder-
licher
) Faktor auftritt, sich immer nach dem vorstehenden Schema
reduzirt zu einem einzigen ihrer Glieder nämlich demjenigen, welches
man erhält, indem man im allgemeinen Gliede die Summationsvariable
ersetzt durch den Ko-Index, andern Zeiger, welcher mit ihr zusammen
das Suffix von 1' ausmacht.

Dualentsprechend reduzirt sich auch ein Produkt, in dessen allgemeinem
Faktor ein Koeffizient von
0' als variabler Summand enthalten ist, nach
dem Schema:
12+) Ph{0'h k + f(h)} = f(k) = Ph{f(h) + 0'k h}
zu einem einzigen und zwar demjenigen seiner Faktoren, in welchem die
Produktationsvariable ihren Mitzeiger im Suffix von 0' zum Werte hat.

Der Beweis dieser Bemerkungen liegt darin, dass nach (7):
[Formel 1]

§ 8. Die reduziblen primären Modulknüpfungen.
1 den Modul der identischen Multi-
plikation
0 den Modul der identischen Ad-
dition
1' den Modul der relativen Multi-
plikation
0' den Modul der relativen Ad-
dition
insofern in jedem Falle die angeführte Operation mit dem zugehörigen
Modul nichts ändert. Dies ist gewiss leicht zu merken und man muss
es sich fest einprägen.

Wenn man sich jetzt noch hinzu merkt, dass auch ein relatives
Produkt verschwindet
, sobald ein Faktor desselben 0 ist, und auch eine
relative Summe gleich
1 wird, sobald ein Term diesen Wert annimmt, so
wird man — was unerlässlich — die vorstehenden Sätze bald fest
inne haben.

Der Zusammenziehung zuliebe haben wir in 8) bis 11) die konjugirten
Gleichungen neben statt untereinander geschrieben.

An Beweisen ist zu liefern zu 10):
(0 ; a)i j = Σh0i hah j = Σh0 ah j = Σh0 = 0 = 0i j.
Zu 11):
(a ; 1')i j = Σhai h1'h j = ah j, (a ɟ 0')i j = Πh(ai h + 0'h j) = ai j,
(1' ; a)i j = Σh1'i hah j = ai j, (0' ɟ a)i j = Πh(0'i h + ah j) = ai j.

Der letzte Beweis legt uns eine sehr wichtige allgemeine Bemer-
kung nahe.

Man merke, dass eine Summe
12×) Σh1'h kf(h) = f(k) = Σhf(h)1'k h
in deren allgemeinem Gliede ein Koeffizient des Moduls 1' als (veränder-
licher
) Faktor auftritt, sich immer nach dem vorstehenden Schema
reduzirt zu einem einzigen ihrer Glieder nämlich demjenigen, welches
man erhält, indem man im allgemeinen Gliede die Summationsvariable
ersetzt durch den Ko-Index, andern Zeiger, welcher mit ihr zusammen
das Suffix von 1' ausmacht.

Dualentsprechend reduzirt sich auch ein Produkt, in dessen allgemeinem
Faktor ein Koeffizient von
0' als variabler Summand enthalten ist, nach
dem Schema:
12+) Πh{0'h k + f(h)} = f(k) = Πh{f(h) + 0'k h}
zu einem einzigen und zwar demjenigen seiner Faktoren, in welchem die
Produktationsvariable ihren Mitzeiger im Suffix von 0' zum Werte hat.

Der Beweis dieser Bemerkungen liegt darin, dass nach (7):
[Formel 1]

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0135" n="121"/><fw place="top" type="header">§ 8. Die reduziblen primären Modulknüpfungen.</fw><lb/><table><row><cell>1 den <hi rendition="#i">Modul der identischen Multi-<lb/>
plikation</hi></cell><cell>0 den <hi rendition="#i">Modul der identischen Ad-<lb/>
dition</hi></cell></row><lb/></table><table><row><cell>1' den <hi rendition="#i">Modul der relativen Multi-<lb/>
plikation</hi></cell><cell>0' den <hi rendition="#i">Modul der relativen Ad-<lb/>
dition</hi></cell></row><lb/></table> insofern in jedem Falle die angeführte Operation mit dem zugehörigen<lb/>
Modul <hi rendition="#i">nichts ändert</hi>. Dies ist gewiss leicht zu merken und man muss<lb/>
es sich fest einprägen.</p><lb/>
          <p>Wenn man sich jetzt noch hinzu merkt, dass <hi rendition="#i">auch ein relatives<lb/>
Produkt verschwindet</hi>, <hi rendition="#i">sobald ein Faktor</hi> desselben 0 <hi rendition="#i">ist</hi>, und <hi rendition="#i">auch eine<lb/>
relative Summe gleich</hi> 1 <hi rendition="#i">wird</hi>, <hi rendition="#i">sobald ein Term diesen Wert annimmt</hi>, so<lb/>
wird man &#x2014; was unerlässlich &#x2014; die vorstehenden Sätze bald fest<lb/>
inne haben.</p><lb/>
          <p>Der Zusammenziehung zuliebe haben wir in 8) bis 11) die konjugirten<lb/>
Gleichungen neben statt untereinander geschrieben.</p><lb/>
          <p>An <hi rendition="#g">Beweisen</hi> ist zu liefern zu 10):<lb/><hi rendition="#c">(0 ; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>0<hi rendition="#i"><hi rendition="#sub">i h</hi>a<hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>0 <hi rendition="#i">a<hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>0 = 0 = 0<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>.</hi><lb/>
Zu 11):<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> ; 1')<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi>1'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">h j</hi></hi>, (<hi rendition="#i">a</hi> &#x025F; 0')<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + 0'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi>) = <hi rendition="#i">a<hi rendition="#sub">i j</hi></hi>,<lb/>
(1' ; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>1'<hi rendition="#i"><hi rendition="#sub">i h</hi>a<hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">i j</hi></hi>, (0' &#x025F; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(0'<hi rendition="#i"><hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">a<hi rendition="#sub">h j</hi></hi>) = <hi rendition="#i">a<hi rendition="#sub">i j</hi></hi>.</hi></p><lb/>
          <p>Der letzte Beweis legt uns eine sehr wichtige allgemeine Bemer-<lb/>
kung nahe.</p><lb/>
          <p>Man merke, dass <hi rendition="#i">eine Summe</hi><lb/>
12<hi rendition="#sub">×</hi>) <hi rendition="#et"><hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>1'<hi rendition="#i"><hi rendition="#sub">h k</hi>f</hi>(<hi rendition="#i">h</hi>) = <hi rendition="#i">f</hi>(<hi rendition="#i">k</hi>) = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>f</hi>(<hi rendition="#i">h</hi>)1'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi></hi><lb/><hi rendition="#i">in deren allgemeinem Gliede ein Koeffizient des Moduls</hi> 1' <hi rendition="#i">als</hi> (<hi rendition="#i">veränder-<lb/>
licher</hi>) <hi rendition="#i">Faktor auftritt</hi>, <hi rendition="#i">sich</hi> immer nach dem vorstehenden Schema<lb/><hi rendition="#i">reduzirt zu einem einzigen ihrer Glieder</hi> nämlich demjenigen, welches<lb/>
man erhält, indem man im allgemeinen Gliede die Summationsvariable<lb/>
ersetzt durch den Ko-Index, andern Zeiger, welcher mit ihr zusammen<lb/>
das Suffix von 1' ausmacht.</p><lb/>
          <p>Dualentsprechend <hi rendition="#i">reduzirt sich</hi> auch <hi rendition="#i">ein Produkt</hi>, <hi rendition="#i">in dessen allgemeinem<lb/>
Faktor ein Koeffizient von</hi> 0' <hi rendition="#i">als variabler Summand enthalten ist</hi>, nach<lb/>
dem Schema:<lb/>
12<hi rendition="#sub">+</hi>) <hi rendition="#et"><hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>{0'<hi rendition="#i"><hi rendition="#sub">h k</hi></hi> + <hi rendition="#i">f</hi>(<hi rendition="#i">h</hi>)} = <hi rendition="#i">f</hi>(<hi rendition="#i">k</hi>) = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>{<hi rendition="#i">f</hi>(<hi rendition="#i">h</hi>) + 0'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi>}</hi><lb/><hi rendition="#i">zu einem einzigen</hi> und zwar demjenigen <hi rendition="#i">seiner Faktoren</hi>, in welchem die<lb/>
Produktationsvariable ihren Mitzeiger im Suffix von 0' zum Werte hat.</p><lb/>
          <p>Der Beweis dieser Bemerkungen liegt darin, dass nach (7):<lb/><formula/><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[121/0135] § 8. Die reduziblen primären Modulknüpfungen. 1 den Modul der identischen Multi- plikation 0 den Modul der identischen Ad- dition 1' den Modul der relativen Multi- plikation 0' den Modul der relativen Ad- dition insofern in jedem Falle die angeführte Operation mit dem zugehörigen Modul nichts ändert. Dies ist gewiss leicht zu merken und man muss es sich fest einprägen. Wenn man sich jetzt noch hinzu merkt, dass auch ein relatives Produkt verschwindet, sobald ein Faktor desselben 0 ist, und auch eine relative Summe gleich 1 wird, sobald ein Term diesen Wert annimmt, so wird man — was unerlässlich — die vorstehenden Sätze bald fest inne haben. Der Zusammenziehung zuliebe haben wir in 8) bis 11) die konjugirten Gleichungen neben statt untereinander geschrieben. An Beweisen ist zu liefern zu 10): (0 ; a)i j = Σh0i hah j = Σh0 ah j = Σh0 = 0 = 0i j. Zu 11): (a ; 1')i j = Σhai h1'h j = ah j, (a ɟ 0')i j = Πh(ai h + 0'h j) = ai j, (1' ; a)i j = Σh1'i hah j = ai j, (0' ɟ a)i j = Πh(0'i h + ah j) = ai j. Der letzte Beweis legt uns eine sehr wichtige allgemeine Bemer- kung nahe. Man merke, dass eine Summe 12×) Σh1'h kf(h) = f(k) = Σhf(h)1'k h in deren allgemeinem Gliede ein Koeffizient des Moduls 1' als (veränder- licher) Faktor auftritt, sich immer nach dem vorstehenden Schema reduzirt zu einem einzigen ihrer Glieder nämlich demjenigen, welches man erhält, indem man im allgemeinen Gliede die Summationsvariable ersetzt durch den Ko-Index, andern Zeiger, welcher mit ihr zusammen das Suffix von 1' ausmacht. Dualentsprechend reduzirt sich auch ein Produkt, in dessen allgemeinem Faktor ein Koeffizient von 0' als variabler Summand enthalten ist, nach dem Schema: 12+) Πh{0'h k + f(h)} = f(k) = Πh{f(h) + 0'k h} zu einem einzigen und zwar demjenigen seiner Faktoren, in welchem die Produktationsvariable ihren Mitzeiger im Suffix von 0' zum Werte hat. Der Beweis dieser Bemerkungen liegt darin, dass nach (7): [FORMEL]

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/135
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 121. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/135>, abgerufen am 25.11.2024.