Es ist mit dem Vorstehenden erwiesen, dass 21)
[Formel 1]
.
Darnach muss also sein:
[Formel 2]
, sintemal zu den Relativen, welche die Erstreckungsbedingung von v er- füllen, augenscheinlich auch der Wert 0 gehört, wonach also das Pv = 0 sein muss, q. e. d. --
Inzwischen sind wir aber mit unsrer zweiten Lösungsart der Auf- gabe 3 noch nicht zu Ende gekommen. Dieselbe ist vielmehr erst blos zurückgeführt auf die Auflösung einer Hülfsaufgabe, nämlich der nach der Unbekannten v der Subsumtion 21b). Statt dieser nehmen wir lieber so- gleich vor die allgemeinere
Aufgabe 4. Nach x die Subsumtion aufzulösen: 22) a ; xb + x.
Da x = 0 der Forderung genügt, so haben wir keine Resultante.
Weil sich in äquivalenter Transformation von 22) sowol als Prädikat wie als Subjekt x isoliren lässt zu: 23a) bn · a ; xx, xan j (b + x), so verfügen wir nach meinem Theorem 1) des § 13 sofort über die zwei Lösungsformen: 23)
[Formel 3]
, mithin für ph(u) = bn · a ; u, ps(u) = an j (b + u) auch x = finfinity(u) = u + ph(u) + ph2(u) + ... resp. ups(u)ps2(u) ... sein wird.
Das Bildungsgesetz der iterirten Funktionen ph und ps ist dabei ein leidlich durchsichtiges; auch zeigt man leicht, dass phr inbezug auf Summen, psr inbezug auf Produkte distributiv ist, nämlich: phr(u + v) = phr(u) + phr(v), psr(uv) = psr(u)psr(v) allgemein sein muss. Darnach wird dann z. B.: ph(x) = ph{u + ph(u) + ph2(u) + ...} = ph(u) + ph2(u) + ph3(u) + ... u + ph(u) + ph2(u) + ph3(u) + ... = x und stimmt die Probe 1 sofort. Etc.
Invariant sind die beiden Funktionen f im allgemeinen nicht, indem weder a ; u + a ; bn(a ; u) b + u + bn · a ; u noch a ; u{an j (b + u)} b + u{an j (b + u)}, 24) d. h. a ; bn(a ; u) b + u + a ; u resp. " " " b + an j (b + u)
§ 24. Nebenstudien zur Kettentheorie.
Es ist mit dem Vorstehenden erwiesen, dass 21)
[Formel 1]
.
Darnach muss also sein:
[Formel 2]
, sintemal zu den Relativen, welche die Erstreckungsbedingung von v er- füllen, augenscheinlich auch der Wert 0 gehört, wonach also das Πv = 0 sein muss, q. e. d. —
Inzwischen sind wir aber mit unsrer zweiten Lösungsart der Auf- gabe 3 noch nicht zu Ende gekommen. Dieselbe ist vielmehr erst blos zurückgeführt auf die Auflösung einer Hülfsaufgabe, nämlich der nach der Unbekannten v der Subsumtion 21b). Statt dieser nehmen wir lieber so- gleich vor die allgemeinere
Aufgabe 4. Nach x die Subsumtion aufzulösen: 22) a ; x ⋹ b + x.
Da x = 0 der Forderung genügt, so haben wir keine Resultante.
Weil sich in äquivalenter Transformation von 22) sowol als Prädikat wie als Subjekt x isoliren lässt zu: 23a) b̄ · a ; x ⋹ x, x ⋹ ā̆ ɟ (b + x), so verfügen wir nach meinem Theorem 1) des § 13 sofort über die zwei Lösungsformen: 23)
[Formel 3]
, mithin für φ(u) = b̄ · a ; u, ψ(u) = ā̆ ɟ (b + u) auch x = f∞(u) = u + φ(u) + φ2(u) + … resp. uψ(u)ψ2(u) … sein wird.
Das Bildungsgesetz der iterirten Funktionen φ und ψ ist dabei ein leidlich durchsichtiges; auch zeigt man leicht, dass φr inbezug auf Summen, ψr inbezug auf Produkte distributiv ist, nämlich: φr(u + v) = φr(u) + φr(v), ψr(uv) = ψr(u)ψr(v) allgemein sein muss. Darnach wird dann z. B.: φ(x) = φ{u + φ(u) + φ2(u) + …} = φ(u) + φ2(u) + φ3(u) + … ⋹ u + φ(u) + φ2(u) + φ3(u) + … = x und stimmt die Probe 1 sofort. Etc.
Invariant sind die beiden Funktionen f im allgemeinen nicht, indem weder a ; u + a ; b̄(a ; u) ⋹ b + u + b̄ · a ; u noch a ; u{ā̆ ɟ (b + u)} ⋹ b + u{ā̆ ɟ (b + u)}, 24) d. h. a ; b̄(a ; u) ⋹ b + u + a ; u resp. „ „ „ ⋹ b + ā̆ ɟ (b + u)
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0411"n="397"/><fwplace="top"type="header">§ 24. Nebenstudien zur Kettentheorie.</fw><lb/><p>Es ist mit dem Vorstehenden erwiesen, dass<lb/>
21) <hirendition="#et"><formula/>.</hi></p><lb/><p>Darnach muss also sein:<lb/><hirendition="#c"><formula/>,</hi><lb/>
sintemal zu den Relativen, welche die Erstreckungsbedingung von <hirendition="#i">v</hi> er-<lb/>
füllen, augenscheinlich auch der Wert 0 gehört, wonach also das <hirendition="#i">Π<hirendition="#sub">v</hi></hi> = 0<lb/>
sein muss, q. e. d. —</p><lb/><p>Inzwischen sind wir aber mit unsrer zweiten Lösungsart der Auf-<lb/>
gabe 3 noch nicht zu Ende gekommen. Dieselbe ist vielmehr erst blos<lb/>
zurückgeführt auf die Auflösung einer Hülfsaufgabe, nämlich der nach der<lb/>
Unbekannten <hirendition="#i">v</hi> der Subsumtion 21<hirendition="#sub">b</hi>). Statt dieser nehmen wir lieber so-<lb/>
gleich vor die allgemeinere</p><lb/><p><hirendition="#g">Aufgabe</hi> 4. Nach <hirendition="#i">x</hi> die Subsumtion aufzulösen:<lb/>
22) <hirendition="#et"><hirendition="#i">a</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">x</hi>.</hi></p><lb/><p>Da <hirendition="#i">x</hi> = 0 der Forderung genügt, so haben wir keine Resultante.</p><lb/><p>Weil sich in äquivalenter Transformation von 22) sowol als Prädikat<lb/>
wie als Subjekt <hirendition="#i">x</hi> isoliren lässt zu:<lb/>
23<hirendition="#sub">a</hi>) <hirendition="#et"><hirendition="#i">b̄</hi> · <hirendition="#i">a</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">x</hi>, <hirendition="#i">x</hi>⋹<hirendition="#i">ā̆</hi>ɟ (<hirendition="#i">b</hi> + <hirendition="#i">x</hi>),</hi><lb/>
so verfügen wir nach meinem Theorem 1) des § 13 sofort über die zwei<lb/>
Lösungsformen:<lb/>
23) <hirendition="#et"><formula/>,</hi><lb/>
mithin für <hirendition="#i">φ</hi>(<hirendition="#i">u</hi>) = <hirendition="#i">b̄</hi> · <hirendition="#i">a</hi> ; <hirendition="#i">u</hi>, <hirendition="#i">ψ</hi>(<hirendition="#i">u</hi>) = <hirendition="#i">ā̆</hi>ɟ (<hirendition="#i">b</hi> + <hirendition="#i">u</hi>) auch<lb/><hirendition="#c"><hirendition="#i">x</hi> = <hirendition="#i">f</hi><hirendition="#sup">∞</hi>(<hirendition="#i">u</hi>) = <hirendition="#i">u</hi> + <hirendition="#i">φ</hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ</hi><hirendition="#sup">2</hi>(<hirendition="#i">u</hi>) + … resp. <hirendition="#i">uψ</hi>(<hirendition="#i">u</hi>)<hirendition="#i">ψ</hi><hirendition="#sup">2</hi>(<hirendition="#i">u</hi>) …</hi><lb/>
sein wird.</p><lb/><p>Das Bildungsgesetz der iterirten Funktionen <hirendition="#i">φ</hi> und <hirendition="#i">ψ</hi> ist dabei ein<lb/>
leidlich durchsichtiges; auch zeigt man leicht, dass <hirendition="#i">φ<hirendition="#sup">r</hi></hi> inbezug auf Summen,<lb/><hirendition="#i">ψ<hirendition="#sup">r</hi></hi> inbezug auf Produkte <hirendition="#i">distributiv</hi> ist, nämlich:<lb/><hirendition="#c"><hirendition="#i">φ<hirendition="#sup">r</hi></hi>(<hirendition="#i">u</hi> + <hirendition="#i">v</hi>) = <hirendition="#i">φ<hirendition="#sup">r</hi></hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ<hirendition="#sup">r</hi></hi>(<hirendition="#i">v</hi>), <hirendition="#i">ψ<hirendition="#sup">r</hi></hi>(<hirendition="#i">uv</hi>) = <hirendition="#i">ψ<hirendition="#sup">r</hi></hi>(<hirendition="#i">u</hi>)<hirendition="#i">ψ<hirendition="#sup">r</hi></hi>(<hirendition="#i">v</hi>)</hi><lb/>
allgemein sein muss. Darnach wird dann z. B.:<lb/><hirendition="#et"><hirendition="#i">φ</hi>(<hirendition="#i">x</hi>) = <hirendition="#i">φ</hi>{<hirendition="#i">u</hi> + <hirendition="#i">φ</hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ</hi><hirendition="#sup">2</hi>(<hirendition="#i">u</hi>) + …} = <hirendition="#i">φ</hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ</hi><hirendition="#sup">2</hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ</hi><hirendition="#sup">3</hi>(<hirendition="#i">u</hi>) + …<lb/>⋹<hirendition="#i">u</hi> + <hirendition="#i">φ</hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ</hi><hirendition="#sup">2</hi>(<hirendition="#i">u</hi>) + <hirendition="#i">φ</hi><hirendition="#sup">3</hi>(<hirendition="#i">u</hi>) + … = <hirendition="#i">x</hi></hi><lb/>
und stimmt die Probe 1 sofort. Etc.</p><lb/><p>Invariant sind die beiden Funktionen <hirendition="#i">f</hi> im allgemeinen nicht, indem<lb/>
weder<lb/><hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">b̄</hi>(<hirendition="#i">a</hi> ; <hirendition="#i">u</hi>) ⋹<hirendition="#i">b</hi> + <hirendition="#i">u</hi> + <hirendition="#i">b̄</hi> · <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> noch <hirendition="#i">a</hi> ; <hirendition="#i">u</hi>{<hirendition="#i">ā̆</hi>ɟ (<hirendition="#i">b</hi> + <hirendition="#i">u</hi>)} ⋹<hirendition="#i">b</hi> + <hirendition="#i">u</hi>{<hirendition="#i">ā̆</hi>ɟ (<hirendition="#i">b</hi> + <hirendition="#i">u</hi>)},<lb/>
24) d. h. <hirendition="#i">a</hi> ; <hirendition="#i">b̄</hi>(<hirendition="#i">a</hi> ; <hirendition="#i">u</hi>) ⋹<hirendition="#i">b</hi> + <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> resp. „„„⋹<hirendition="#i">b</hi> + <hirendition="#i">ā̆</hi>ɟ (<hirendition="#i">b</hi> + <hirendition="#i">u</hi>)<lb/></p></div></div></body></text></TEI>
[397/0411]
§ 24. Nebenstudien zur Kettentheorie.
Es ist mit dem Vorstehenden erwiesen, dass
21) [FORMEL].
Darnach muss also sein:
[FORMEL],
sintemal zu den Relativen, welche die Erstreckungsbedingung von v er-
füllen, augenscheinlich auch der Wert 0 gehört, wonach also das Πv = 0
sein muss, q. e. d. —
Inzwischen sind wir aber mit unsrer zweiten Lösungsart der Auf-
gabe 3 noch nicht zu Ende gekommen. Dieselbe ist vielmehr erst blos
zurückgeführt auf die Auflösung einer Hülfsaufgabe, nämlich der nach der
Unbekannten v der Subsumtion 21b). Statt dieser nehmen wir lieber so-
gleich vor die allgemeinere
Aufgabe 4. Nach x die Subsumtion aufzulösen:
22) a ; x ⋹ b + x.
Da x = 0 der Forderung genügt, so haben wir keine Resultante.
Weil sich in äquivalenter Transformation von 22) sowol als Prädikat
wie als Subjekt x isoliren lässt zu:
23a) b̄ · a ; x ⋹ x, x ⋹ ā̆ ɟ (b + x),
so verfügen wir nach meinem Theorem 1) des § 13 sofort über die zwei
Lösungsformen:
23) [FORMEL],
mithin für φ(u) = b̄ · a ; u, ψ(u) = ā̆ ɟ (b + u) auch
x = f∞(u) = u + φ(u) + φ2(u) + … resp. uψ(u)ψ2(u) …
sein wird.
Das Bildungsgesetz der iterirten Funktionen φ und ψ ist dabei ein
leidlich durchsichtiges; auch zeigt man leicht, dass φr inbezug auf Summen,
ψr inbezug auf Produkte distributiv ist, nämlich:
φr(u + v) = φr(u) + φr(v), ψr(uv) = ψr(u)ψr(v)
allgemein sein muss. Darnach wird dann z. B.:
φ(x) = φ{u + φ(u) + φ2(u) + …} = φ(u) + φ2(u) + φ3(u) + …
⋹ u + φ(u) + φ2(u) + φ3(u) + … = x
und stimmt die Probe 1 sofort. Etc.
Invariant sind die beiden Funktionen f im allgemeinen nicht, indem
weder
a ; u + a ; b̄(a ; u) ⋹ b + u + b̄ · a ; u noch a ; u{ā̆ ɟ (b + u)} ⋹ b + u{ā̆ ɟ (b + u)},
24) d. h. a ; b̄(a ; u) ⋹ b + u + a ; u resp. „ „ „ ⋹ b + ā̆ ɟ (b + u)
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 397. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/411>, abgerufen am 01.09.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.