Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 21. Solvirender Faktor.

Der Versuch, der Resultante 39) durch symmetrische Bestimmung
der vier Koeffizienten a, b, c, d in ebensovielen unbestimmten Para-
metern allgemein Genüge zu leisten, führt zu einem eleganten Theo-
reme, welches wir vorweg statuiren wollen:

Die Gleichung 33)
axx + bxxn + cxnx + dxnxn = 0
ist im Allgemeinen absurd, kann keine Wurzel x haben, sie wird erst
durch Multiplikation mit
51) M = anan + 0'(bncn + bncn) + dndn
zu einer nach x lösbaren, deren Bestehen möglich ist; und sie war es
von vornherein stets dann und nur dann, wenn
52) a + b + c + d M
ist, d. h. wenn Multiplikation mit M die sämtlichen Koeffizienten der
Gleichung ungeändert lässt.

Dieses M könnte füglich -- in Analogie zum "integrirenden Faktor"
bei Differentialgleichungen -- als ein "solvirender (oder resolvirender)
Faktor" der Gleichung bezeichnet werden.

Um zunächst den letzten Teil der Behauptung unsres Theorems (vom
; ab) zu beweisen, braucht man sich blos zu überzeugen, dass obige Sub-
sumtion vom Prädikate M mit unsrer Resultante 39) äquivalent ist. Zu
dem Ende wird man die Subsumtion rechts auf 0 bringen. Man erhält:
53) (a + b + c + d)(a + a){1' + (b + c)(b + c)}(d + d) = 0,
eine Gleichung, welche einerseits offenbar von der Resultante bedingt wird,
wie sie andrerseits auch diese nach sich zieht.

Denn da (a + b + c + d)a = a ist, hat sie jedenfalls beim Ausmulti-
pliziren linkerhand den Teil der Resultante:
a{1' + (b + c)(b + c)}(d + d) = 0
zur Folge, woraus der noch ausstehende Teil dieser: a mal idem = 0 durch
Konvertiren hervorgeht, also damit zugleich gewährleistet erscheint.

Um den ersten Teil unsres Theorems zu beweisen, wollen wir
demselben eine etwas andre Fassung geben, in welcher er unmittelbar
die symmetrisch allgemeine Lösung (nach den Unbekannten a, b, c, d)
der Resultante angibt.

Zu dem Ende empfiehlt es sich, einen kleinen Bezeichnungswechsel
vorzunehmen, nämlich die bisherigen Koeffizientenausdrücke a, b, d
sich ad hoc durch irgend welche andre Namen, wie etwa A, B, D,
ersetzt zu denken: um so die Buchstaben a, b, g, d frei zu bekommen
zur Bezeichnung der willkürlichen Parameter, welche unsern Un-
bekannten a, b, c, d zu entsprechen haben.


§ 21. Solvirender Faktor.

Der Versuch, der Resultante 39) durch symmetrische Bestimmung
der vier Koeffizienten a, b, c, d in ebensovielen unbestimmten Para-
metern allgemein Genüge zu leisten, führt zu einem eleganten Theo-
reme, welches wir vorweg statuiren wollen:

Die Gleichung 33)
axx̆ + bxx̄̆ + cx̄x̆ + dx̄x̄̆ = 0
ist im Allgemeinen absurd, kann keine Wurzel x haben, sie wird erst
durch Multiplikation mit
51) M = āā̆ + 0'(b̄c̄̆ + b̄̆c̄) + d̄d̄̆
zu einer nach x lösbaren, deren Bestehen möglich ist; und sie war es
von vornherein stets dann und nur dann, wenn
52) a + b + c + d ⋹ M
ist, d. h. wenn Multiplikation mit M die sämtlichen Koeffizienten der
Gleichung ungeändert lässt.

Dieses M könnte füglich — in Analogie zum „integrirenden Faktor“
bei Differentialgleichungen — als ein „solvirender (oder resolvirender)
Faktor“ der Gleichung bezeichnet werden.

Um zunächst den letzten Teil der Behauptung unsres Theorems (vom
; ab) zu beweisen, braucht man sich blos zu überzeugen, dass obige Sub-
sumtion vom Prädikate M mit unsrer Resultante 39) äquivalent ist. Zu
dem Ende wird man die Subsumtion rechts auf 0 bringen. Man erhält:
53) (a + b + c + d)(a + ă){1' + (b + c̆)(b̆ + c)}(d + d̆) = 0,
eine Gleichung, welche einerseits offenbar von der Resultante bedingt wird,
wie sie andrerseits auch diese nach sich zieht.

Denn da (a + b + c + d)a = a ist, hat sie jedenfalls beim Ausmulti-
pliziren linkerhand den Teil der Resultante:
a{1' + (b + c̆)(b̆ + c)}(d + d̆) = 0
zur Folge, woraus der noch ausstehende Teil dieser: ă mal idem = 0 durch
Konvertiren hervorgeht, also damit zugleich gewährleistet erscheint.

Um den ersten Teil unsres Theorems zu beweisen, wollen wir
demselben eine etwas andre Fassung geben, in welcher er unmittelbar
die symmetrisch allgemeine Lösung (nach den Unbekannten a, b, c, d)
der Resultante angibt.

Zu dem Ende empfiehlt es sich, einen kleinen Bezeichnungswechsel
vorzunehmen, nämlich die bisherigen Koeffizientenausdrücke α, β, δ
sich ad hoc durch irgend welche andre Namen, wie etwa A, B, D,
ersetzt zu denken: um so die Buchstaben α, β, γ, δ frei zu bekommen
zur Bezeichnung der willkürlichen Parameter, welche unsern Un-
bekannten a, b, c, d zu entsprechen haben.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0333" n="319"/>
          <fw place="top" type="header">§ 21. Solvirender Faktor.</fw><lb/>
          <p>Der Versuch, der Resultante 39) durch symmetrische Bestimmung<lb/>
der vier Koeffizienten <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi> in ebensovielen unbestimmten Para-<lb/>
metern allgemein Genüge zu leisten, führt zu einem eleganten <hi rendition="#g">Theo-<lb/>
reme</hi>, welches wir vorweg statuiren wollen:</p><lb/>
          <p><hi rendition="#i">Die Gleichung</hi> 33)<lb/><hi rendition="#c"><hi rendition="#i">axx&#x0306;</hi> + <hi rendition="#i">bxx&#x0304;&#x0306;</hi> + <hi rendition="#i">cx&#x0304;x&#x0306;</hi> + <hi rendition="#i">dx&#x0304;x&#x0304;&#x0306;</hi> = 0</hi><lb/>
ist im Allgemeinen absurd, kann keine Wurzel <hi rendition="#i">x</hi> haben, sie <hi rendition="#i">wird erst<lb/>
durch Multiplikation mit</hi><lb/>
51) <hi rendition="#et"><hi rendition="#i">M</hi> = <hi rendition="#i">a&#x0304;a&#x0304;&#x0306;</hi> + 0'(<hi rendition="#i">b&#x0304;c&#x0304;&#x0306;</hi> + <hi rendition="#i">b&#x0304;&#x0306;c&#x0304;</hi>) + <hi rendition="#i">d&#x0304;d&#x0304;&#x0306;</hi></hi><lb/><hi rendition="#i">zu einer nach x lösbaren</hi>, <hi rendition="#i">deren Bestehen möglich ist; und sie war es<lb/>
von vornherein stets dann und nur dann</hi>, <hi rendition="#i">wenn</hi><lb/>
52) <hi rendition="#et"><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> &#x22F9; <hi rendition="#i">M</hi></hi><lb/><hi rendition="#i">ist</hi>, <hi rendition="#i">d. h. wenn Multiplikation mit M die sämtlichen Koeffizienten der<lb/>
Gleichung ungeändert lässt.</hi></p><lb/>
          <p>Dieses <hi rendition="#i">M</hi> könnte füglich &#x2014; in Analogie zum &#x201E;integrirenden Faktor&#x201C;<lb/>
bei Differentialgleichungen &#x2014; als ein &#x201E;<hi rendition="#i">solvirender</hi> (oder resolvirender)<lb/><hi rendition="#i">Faktor</hi>&#x201C; der Gleichung bezeichnet werden.</p><lb/>
          <p>Um zunächst den letzten Teil der Behauptung unsres Theorems (vom<lb/>
; ab) zu <hi rendition="#g">beweisen</hi>, braucht man sich blos zu überzeugen, dass obige Sub-<lb/>
sumtion vom Prädikate <hi rendition="#i">M</hi> mit unsrer Resultante 39) <hi rendition="#i">äquivalent</hi> ist. Zu<lb/>
dem Ende wird man die Subsumtion rechts auf 0 bringen. Man erhält:<lb/>
53) <hi rendition="#et">(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>)(<hi rendition="#i">a</hi> + <hi rendition="#i">a&#x0306;</hi>){1' + (<hi rendition="#i">b</hi> + <hi rendition="#i">c&#x0306;</hi>)(<hi rendition="#i">b&#x0306;</hi> + <hi rendition="#i">c</hi>)}(<hi rendition="#i">d</hi> + <hi rendition="#i">d&#x0306;</hi>) = 0,</hi><lb/>
eine Gleichung, welche einerseits offenbar von der Resultante bedingt wird,<lb/>
wie sie andrerseits auch diese nach sich zieht.</p><lb/>
          <p>Denn da (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>)<hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ist, hat sie jedenfalls beim Ausmulti-<lb/>
pliziren linkerhand den Teil der Resultante:<lb/><hi rendition="#c"><hi rendition="#i">a</hi>{1' + (<hi rendition="#i">b</hi> + <hi rendition="#i">c&#x0306;</hi>)(<hi rendition="#i">b&#x0306;</hi> + <hi rendition="#i">c</hi>)}(<hi rendition="#i">d</hi> + <hi rendition="#i">d&#x0306;</hi>) = 0</hi><lb/>
zur Folge, woraus der noch ausstehende Teil dieser: <hi rendition="#i">a&#x0306;</hi> mal idem = 0 durch<lb/>
Konvertiren hervorgeht, also damit zugleich gewährleistet erscheint.</p><lb/>
          <p>Um den ersten Teil unsres Theorems zu beweisen, wollen wir<lb/>
demselben eine etwas andre Fassung geben, in welcher er unmittelbar<lb/>
die symmetrisch allgemeine Lösung (nach den Unbekannten <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>)<lb/>
der Resultante angibt.</p><lb/>
          <p>Zu dem Ende empfiehlt es sich, einen kleinen Bezeichnungswechsel<lb/>
vorzunehmen, nämlich die bisherigen Koeffizientenausdrücke <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B4;</hi><lb/>
sich ad hoc durch irgend welche andre Namen, wie etwa <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">D</hi>,<lb/>
ersetzt zu denken: um so die Buchstaben <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, <hi rendition="#i">&#x03B4;</hi> frei zu bekommen<lb/>
zur Bezeichnung der <hi rendition="#i">willkürlichen</hi> Parameter, welche unsern Un-<lb/>
bekannten <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi> zu entsprechen haben.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[319/0333] § 21. Solvirender Faktor. Der Versuch, der Resultante 39) durch symmetrische Bestimmung der vier Koeffizienten a, b, c, d in ebensovielen unbestimmten Para- metern allgemein Genüge zu leisten, führt zu einem eleganten Theo- reme, welches wir vorweg statuiren wollen: Die Gleichung 33) axx̆ + bxx̄̆ + cx̄x̆ + dx̄x̄̆ = 0 ist im Allgemeinen absurd, kann keine Wurzel x haben, sie wird erst durch Multiplikation mit 51) M = āā̆ + 0'(b̄c̄̆ + b̄̆c̄) + d̄d̄̆ zu einer nach x lösbaren, deren Bestehen möglich ist; und sie war es von vornherein stets dann und nur dann, wenn 52) a + b + c + d ⋹ M ist, d. h. wenn Multiplikation mit M die sämtlichen Koeffizienten der Gleichung ungeändert lässt. Dieses M könnte füglich — in Analogie zum „integrirenden Faktor“ bei Differentialgleichungen — als ein „solvirender (oder resolvirender) Faktor“ der Gleichung bezeichnet werden. Um zunächst den letzten Teil der Behauptung unsres Theorems (vom ; ab) zu beweisen, braucht man sich blos zu überzeugen, dass obige Sub- sumtion vom Prädikate M mit unsrer Resultante 39) äquivalent ist. Zu dem Ende wird man die Subsumtion rechts auf 0 bringen. Man erhält: 53) (a + b + c + d)(a + ă){1' + (b + c̆)(b̆ + c)}(d + d̆) = 0, eine Gleichung, welche einerseits offenbar von der Resultante bedingt wird, wie sie andrerseits auch diese nach sich zieht. Denn da (a + b + c + d)a = a ist, hat sie jedenfalls beim Ausmulti- pliziren linkerhand den Teil der Resultante: a{1' + (b + c̆)(b̆ + c)}(d + d̆) = 0 zur Folge, woraus der noch ausstehende Teil dieser: ă mal idem = 0 durch Konvertiren hervorgeht, also damit zugleich gewährleistet erscheint. Um den ersten Teil unsres Theorems zu beweisen, wollen wir demselben eine etwas andre Fassung geben, in welcher er unmittelbar die symmetrisch allgemeine Lösung (nach den Unbekannten a, b, c, d) der Resultante angibt. Zu dem Ende empfiehlt es sich, einen kleinen Bezeichnungswechsel vorzunehmen, nämlich die bisherigen Koeffizientenausdrücke α, β, δ sich ad hoc durch irgend welche andre Namen, wie etwa A, B, D, ersetzt zu denken: um so die Buchstaben α, β, γ, δ frei zu bekommen zur Bezeichnung der willkürlichen Parameter, welche unsern Un- bekannten a, b, c, d zu entsprechen haben.

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