Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 19. Vexatorischer Charakter des dritten Inversionsproblems.

Soll dies auch der ersten Forderung genügen, so muss sein
[Formel 1]

Letztre Forderung erfüllt: u = v + (c ; b · cn ; b)(vn j bn) ; b.

Soll dies aber dem Rückstand aus der ersten Forderung genügen,
so muss
[Formel 2]
sein. Letztres thut wieder: v = w + (c ; b · cn ; b)(wn j bn) ; b.

Soll dies aber auch dem Reste (v c) aus der ersten Forderung ge-
nügen, so muss
[Formel 3]
sein und so fort in infinitum. Nennt man
31) (c ; b · cn ; b)(yn j bn) ; b = f(y) und y + f(y) = F(y),
so hatten wir gefunden: u = F(v), v = F(w), ... in inf., und wenn wir
rückwärts einsetzend das letzte**) unbestimmte Relativ o nennen, so ist ge-
funden, dass jedenfalls
u = Finfinity(o)
sein muss, woferne die successiven Residuen der ersten Forderung erfüllt
sein sollen. Die so erfüllten erschöpfen aber die erste Forderung noch
nicht und bleibt davon immer noch diese o c rückständig, welcher "end-
lich" durch den Ansatz o = uc zu genügen ist -- für ein neues u.

Hiernach schiene denn
32) x = Finfinity(uc) + (c ; b){Finfinity(uc) j bn} ; b
die gesuchte Lösung zu sein.

Die unbegrenzten Iterationen der Funktion F, welche in diesem Aus-
druck vorkommen, sind im Hinblick auf die Form 31) (zweite Gleichung)
dieser Funktion nach den Ergebnissen des § 13, S. 182 sicher konvergent.

Der Ausdruck 32) muss auch alle überhaupt möglichen Lösungen
unsres Problems 30) umfassen, und in der That stimmt mit ihm die
Probe 2.


**) Genauer: das verbleibende; im strengen Sinne ein "letztes" gibt es nicht.
18*
§ 19. Vexatorischer Charakter des dritten Inversionsproblems.

Soll dies auch der ersten Forderung genügen, so muss sein
[Formel 1]

Letztre Forderung erfüllt: u = v + (c ; b · ; b)( ɟ ) ; .

Soll dies aber dem Rückstand aus der ersten Forderung genügen,
so muss
[Formel 2]
sein. Letztres thut wieder: v = w + (c ; b · ; b)( ɟ ) ; .

Soll dies aber auch dem Reste (vc) aus der ersten Forderung ge-
nügen, so muss
[Formel 3]
sein und so fort in infinitum. Nennt man
31) (c ; b · ; b)( ɟ ) ; = f(y) und y + f(y) = F(y),
so hatten wir gefunden: u = F(v), v = F(w), … in inf., und wenn wir
rückwärts einsetzend das letzte**) unbestimmte Relativ ω nennen, so ist ge-
funden, dass jedenfalls
u = F(ω)
sein muss, woferne die successiven Residuen der ersten Forderung erfüllt
sein sollen. Die so erfüllten erschöpfen aber die erste Forderung noch
nicht und bleibt davon immer noch diese ωc rückständig, welcher „end-
lich“ durch den Ansatz ω = uc zu genügen ist — für ein neues u.

Hiernach schiene denn
32) x = F(uc) + (c ; b){F(uc)͞ ɟ } ;
die gesuchte Lösung zu sein.

Die unbegrenzten Iterationen der Funktion F, welche in diesem Aus-
druck vorkommen, sind im Hinblick auf die Form 31) (zweite Gleichung)
dieser Funktion nach den Ergebnissen des § 13, S. 182 sicher konvergent.

Der Ausdruck 32) muss auch alle überhaupt möglichen Lösungen
unsres Problems 30) umfassen, und in der That stimmt mit ihm die
Probe 2.


**) Genauer: das verbleibende; im strengen Sinne ein „letztes“ gibt es nicht.
18*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0289" n="275"/>
          <fw place="top" type="header">§ 19. Vexatorischer Charakter des dritten Inversionsproblems.</fw><lb/>
          <p>Soll dies auch der ersten Forderung genügen, so muss sein<lb/><formula/><lb/></p>
          <p>Letztre Forderung erfüllt: <hi rendition="#i">u</hi> = <hi rendition="#i">v</hi> + (<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">c&#x0304;</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">v&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi>.</p><lb/>
          <p>Soll dies aber dem Rückstand aus der ersten Forderung genügen,<lb/>
so muss<lb/><formula/><lb/>
sein. Letztres thut wieder: <hi rendition="#i">v</hi> = <hi rendition="#i">w</hi> + (<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">c&#x0304;</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">w&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi>.</p><lb/>
          <p>Soll dies aber auch dem Reste (<hi rendition="#i">v</hi> &#x22F9; <hi rendition="#i">c</hi>) aus der ersten Forderung ge-<lb/>
nügen, so muss<lb/><formula/><lb/>
sein und so fort in infinitum. Nennt man<lb/>
31) <hi rendition="#et">(<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">c&#x0304;</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">y&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> = <hi rendition="#i">f</hi>(<hi rendition="#i">y</hi>) und <hi rendition="#i">y</hi> + <hi rendition="#i">f</hi>(<hi rendition="#i">y</hi>) = <hi rendition="#fr">F</hi>(<hi rendition="#i">y</hi>),</hi><lb/>
so hatten wir gefunden: <hi rendition="#i">u</hi> = <hi rendition="#fr">F</hi>(<hi rendition="#i">v</hi>), <hi rendition="#i">v</hi> = <hi rendition="#fr">F</hi>(<hi rendition="#i">w</hi>), &#x2026; in inf., und wenn wir<lb/>
rückwärts einsetzend das letzte<note place="foot" n="**)">Genauer: das <hi rendition="#i">verbleibende</hi>; im strengen Sinne ein &#x201E;letztes&#x201C; gibt es nicht.</note> unbestimmte Relativ <hi rendition="#i">&#x03C9;</hi> nennen, so ist ge-<lb/>
funden, dass jedenfalls<lb/><hi rendition="#c"><hi rendition="#i">u</hi> = <hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">&#x03C9;</hi>)</hi><lb/>
sein muss, woferne die successiven Residuen der ersten Forderung erfüllt<lb/>
sein sollen. Die so erfüllten erschöpfen aber die erste Forderung noch<lb/>
nicht und bleibt davon immer noch diese <hi rendition="#i">&#x03C9;</hi> &#x22F9; <hi rendition="#i">c</hi> rückständig, welcher &#x201E;end-<lb/>
lich&#x201C; durch den Ansatz <hi rendition="#i">&#x03C9;</hi> = <hi rendition="#i">uc</hi> zu genügen ist &#x2014; für ein <hi rendition="#i">neues u</hi>.</p><lb/>
          <p>Hiernach schiene denn<lb/>
32) <hi rendition="#et"><hi rendition="#i">x</hi> = <hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">uc</hi>) + (<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>){<hi rendition="#fr">F</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">uc</hi>)&#x035E; &#x025F; <hi rendition="#i">b&#x0304;</hi>} ; <hi rendition="#i">b&#x0306;</hi></hi><lb/>
die gesuchte Lösung zu sein.</p><lb/>
          <p>Die unbegrenzten Iterationen der Funktion <hi rendition="#fr">F</hi>, welche in diesem Aus-<lb/>
druck vorkommen, sind im Hinblick auf die Form 31) (zweite Gleichung)<lb/>
dieser Funktion nach den Ergebnissen des § 13, S. 182 sicher konvergent.</p><lb/>
          <p>Der Ausdruck 32) muss auch alle überhaupt möglichen Lösungen<lb/>
unsres Problems 30) umfassen, und in der That stimmt mit ihm die<lb/>
Probe 2.</p><lb/>
          <fw place="bottom" type="sig">18*</fw><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[275/0289] § 19. Vexatorischer Charakter des dritten Inversionsproblems. Soll dies auch der ersten Forderung genügen, so muss sein [FORMEL] Letztre Forderung erfüllt: u = v + (c ; b · c̄ ; b)(v̄ ɟ b̄) ; b̆. Soll dies aber dem Rückstand aus der ersten Forderung genügen, so muss [FORMEL] sein. Letztres thut wieder: v = w + (c ; b · c̄ ; b)(w̄ ɟ b̄) ; b̆. Soll dies aber auch dem Reste (v ⋹ c) aus der ersten Forderung ge- nügen, so muss [FORMEL] sein und so fort in infinitum. Nennt man 31) (c ; b · c̄ ; b)(ȳ ɟ b̄) ; b̆ = f(y) und y + f(y) = F(y), so hatten wir gefunden: u = F(v), v = F(w), … in inf., und wenn wir rückwärts einsetzend das letzte **) unbestimmte Relativ ω nennen, so ist ge- funden, dass jedenfalls u = F∞(ω) sein muss, woferne die successiven Residuen der ersten Forderung erfüllt sein sollen. Die so erfüllten erschöpfen aber die erste Forderung noch nicht und bleibt davon immer noch diese ω ⋹ c rückständig, welcher „end- lich“ durch den Ansatz ω = uc zu genügen ist — für ein neues u. Hiernach schiene denn 32) x = F∞(uc) + (c ; b){F∞(uc)͞ ɟ b̄} ; b̆ die gesuchte Lösung zu sein. Die unbegrenzten Iterationen der Funktion F, welche in diesem Aus- druck vorkommen, sind im Hinblick auf die Form 31) (zweite Gleichung) dieser Funktion nach den Ergebnissen des § 13, S. 182 sicher konvergent. Der Ausdruck 32) muss auch alle überhaupt möglichen Lösungen unsres Problems 30) umfassen, und in der That stimmt mit ihm die Probe 2. **) Genauer: das verbleibende; im strengen Sinne ein „letztes“ gibt es nicht. 18*

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/289
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 275. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/289>, abgerufen am 10.05.2024.