Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Fünfte Vorlesung.
-- und wenn man will noch obendrein:
5) (fm)n(u) = fm x n(u) = (fn)m(u)
-- wie sie in der That Demjenigen, der den Zahlbegriff schon hat, auch
unmittelbar einleuchten werden, indem z. B. bei 4) die drei als gleich
hingestellten Ausdrücke übereinstimmend weiter nichts bedeuten, als die
von u m + n mal hintereinander genommene Funktion f -- u. s. w.

Dies vorausgesetzt ist ferner "die unbegrenzte Iteration" finfinity(u) zu
definiren, sofern der Name fähig ist einer Erklärung, die auf den Be-
griff von fl(u) sich gründet und aus dem Verhalten dieses Relativs
für alle und namentlich für unbegrenzt wachsende Iterationsexponenten l
motivirbar ist. Die Bedingung für letzteres wird die Konvergenz-
bedingung für fl(u), scilicet bei unbegrenzt wachsendem l, zu nennen sein.

Ist überhaupt für die unbegrenzte Reihe von natürlichen Zahlen
l = 0, 1, 2, 3, ... der Wert eines Relativs ul bestimmt, z. B. für be-
liebig viele Relative der "Reihe"
u0, u1, u2, u3, ...
aktuell gegeben, für den Rest durch ein Gesetz oder Prinzip begrifflich
festgesetzt
, so werden wir bei (als natürliche Zahl) unbegrenzt wach-
sendem Zeiger l zwar im Allgemeinen zu sagen haben, ul "divergire"
und das Symbol uinfinity habe keinen Sinn, doch wird es auch eine Klasse
von Fällen geben, wo man sagen kann, das allgemeine Glied ul unsrer
Reihe "konvergire", indem es einem bestimmten, festen, alsdann mit uinfinity
zu bezeichnenden Relativ als "Grenze" "zustrebt".

Letzteres ist der Fall, dann und nur dann, wenn für jede durch
ein Suffix ij markirte Stelle der Tafel 12 -- oder m. a. W. der Matrix
von ul -- ein Zahlwert n angebbar ist oder existirt derart, dass in ul
die Stelle entweder für jedes l
> n ein Auge trägt, besetzt ist, oder aber
für jedes l > n leer, unbesetzt bleibt.

Eine Stelle ij der Matrix des mit l veränderlichen Relativs ul
soll eine endgültig, "definitiv" besetzte Stelle dieses variabeln Relativs
heissen, wenn es solchen Wert n von l gibt, dass für alle l welche
> n sind die Stelle in ul sich als besetzt erweist; sie soll eine end-
gültig unbesetzte
oder definitive Leerstelle heissen, falls es eine solche
Zahl n gibt, dass für alle l > n die Stelle in ul unbesetzt bleibt.

Unter Benutzung dieser Ausdrucksweisen können wir kürzer sagen:

ul soll bei wachsendem l konvergent genannt werden, wenn für
jede Stelle seiner Matrix entschieden oder entscheidbar ist, ob sie de-
finitiv zur besetzten oder definitiv zur Leer-Stelle werde.

Unter dem Grenzwert (limes) von ul (für lim. l = infinity) verstehen

Fünfte Vorlesung.
— und wenn man will noch obendrein:
5) (fm)n(u) = fm × n(u) = (fn)m(u)
— wie sie in der That Demjenigen, der den Zahlbegriff schon hat, auch
unmittelbar einleuchten werden, indem z. B. bei 4) die drei als gleich
hingestellten Ausdrücke übereinstimmend weiter nichts bedeuten, als die
von u m + n mal hintereinander genommene Funktion f — u. s. w.

Dies vorausgesetzt ist ferner „die unbegrenzte Iterationf(u) zu
definiren, sofern der Name fähig ist einer Erklärung, die auf den Be-
griff von fλ(u) sich gründet und aus dem Verhalten dieses Relativs
für alle und namentlich für unbegrenzt wachsende Iterationsexponenten λ
motivirbar ist. Die Bedingung für letzteres wird die Konvergenz-
bedingung für fλ(u), scilicet bei unbegrenzt wachsendem λ, zu nennen sein.

Ist überhaupt für die unbegrenzte Reihe von natürlichen Zahlen
λ = 0, 1, 2, 3, … der Wert eines Relativs uλ bestimmt, z. B. für be-
liebig viele Relative der „Reihe“
u0, u1, u2, u3, …
aktuell gegeben, für den Rest durch ein Gesetz oder Prinzip begrifflich
festgesetzt
, so werden wir bei (als natürliche Zahl) unbegrenzt wach-
sendem Zeiger λ zwar im Allgemeinen zu sagen haben, uλdivergire
und das Symbol u habe keinen Sinn, doch wird es auch eine Klasse
von Fällen geben, wo man sagen kann, das allgemeine Glied uλ unsrer
Reihe „konvergire“, indem es einem bestimmten, festen, alsdann mit u
zu bezeichnenden Relativ als „Grenze“ „zustrebt“.

Letzteres ist der Fall, dann und nur dann, wenn für jede durch
ein Suffix ij markirte Stelle der Tafel 12 — oder m. a. W. der Matrix
von uλein Zahlwert n angebbar ist oder existirt derart, dass in uλ
die Stelle entweder für jedes λ
> n ein Auge trägt, besetzt ist, oder aber
für jedes λ > n leer, unbesetzt bleibt.

Eine Stelle ij der Matrix des mit λ veränderlichen Relativs uλ
soll eine endgültig, „definitivbesetzte Stelle dieses variabeln Relativs
heissen, wenn es solchen Wert n von λ gibt, dass für alle λ welche
> n sind die Stelle in uλ sich als besetzt erweist; sie soll eine end-
gültig unbesetzte
oder definitive Leerstelle heissen, falls es eine solche
Zahl n gibt, dass für alle λ > n die Stelle in uλ unbesetzt bleibt.

Unter Benutzung dieser Ausdrucksweisen können wir kürzer sagen:

uλ soll bei wachsendem λ konvergent genannt werden, wenn für
jede Stelle seiner Matrix entschieden oder entscheidbar ist, ob sie de-
finitiv zur besetzten oder definitiv zur Leer-Stelle werde.

Unter dem Grenzwert (limes) von uλ (für lim. λ = ∞) verstehen

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0194" n="180"/><fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
&#x2014; und wenn man will noch obendrein:<lb/>
5) <hi rendition="#et">(<hi rendition="#i">f<hi rendition="#sup">m</hi></hi>)<hi rendition="#i"><hi rendition="#sup">n</hi></hi>(<hi rendition="#i">u</hi>) = <hi rendition="#i">f</hi><hi rendition="#sup"><hi rendition="#i">m</hi> × <hi rendition="#i">n</hi></hi>(<hi rendition="#i">u</hi>) = (<hi rendition="#i">f<hi rendition="#sup">n</hi></hi>)<hi rendition="#i"><hi rendition="#sup">m</hi></hi>(<hi rendition="#i">u</hi>)</hi><lb/>
&#x2014; wie sie in der That Demjenigen, der den Zahlbegriff <hi rendition="#i">schon hat</hi>, auch<lb/>
unmittelbar einleuchten werden, indem z. B. bei 4) die drei als gleich<lb/>
hingestellten Ausdrücke übereinstimmend weiter nichts bedeuten, als die<lb/>
von <hi rendition="#i">u m</hi> + <hi rendition="#i">n</hi> mal hintereinander genommene Funktion <hi rendition="#i">f</hi> &#x2014; u. s. w.</p><lb/>
          <p>Dies vorausgesetzt ist ferner &#x201E;<hi rendition="#i">die unbegrenzte Iteration</hi>&#x201C; <hi rendition="#i">f</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">u</hi>) zu<lb/><hi rendition="#i">definiren</hi>, <hi rendition="#i">sofern</hi> der Name fähig ist einer Erklärung, die auf den Be-<lb/>
griff von <hi rendition="#i">f<hi rendition="#sup">&#x03BB;</hi></hi>(<hi rendition="#i">u</hi>) sich gründet und aus dem Verhalten dieses Relativs<lb/>
für alle und namentlich für unbegrenzt wachsende Iterationsexponenten <hi rendition="#i">&#x03BB;</hi><lb/>
motivirbar ist. Die Bedingung für letzteres wird die <hi rendition="#i">Konvergenz</hi>-<lb/>
bedingung für <hi rendition="#i">f<hi rendition="#sup">&#x03BB;</hi></hi>(<hi rendition="#i">u</hi>), scilicet bei unbegrenzt wachsendem <hi rendition="#i">&#x03BB;</hi>, zu nennen sein.</p><lb/>
          <p>Ist überhaupt für die unbegrenzte Reihe von natürlichen Zahlen<lb/><hi rendition="#i">&#x03BB;</hi> = 0, 1, 2, 3, &#x2026; der Wert eines Relativs <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi> bestimmt</hi>, z. B. für be-<lb/>
liebig viele Relative der &#x201E;Reihe&#x201C;<lb/><hi rendition="#c"><hi rendition="#i">u</hi><hi rendition="#sub">0</hi>, <hi rendition="#i">u</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">u</hi><hi rendition="#sub">2</hi>, <hi rendition="#i">u</hi><hi rendition="#sub">3</hi>, &#x2026;</hi><lb/><hi rendition="#i">aktuell gegeben</hi>, für den Rest durch ein Gesetz oder Prinzip <hi rendition="#i">begrifflich<lb/>
festgesetzt</hi>, so werden wir bei (als natürliche Zahl) unbegrenzt wach-<lb/>
sendem Zeiger <hi rendition="#i">&#x03BB;</hi> zwar im Allgemeinen zu sagen haben, <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> &#x201E;<hi rendition="#i">divergire</hi>&#x201C;<lb/>
und das Symbol <hi rendition="#i">u</hi><hi rendition="#sub">&#x221E;</hi> habe keinen Sinn, doch wird es auch eine Klasse<lb/>
von Fällen geben, wo man sagen kann, das allgemeine Glied <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> unsrer<lb/>
Reihe &#x201E;<hi rendition="#i">konvergire</hi>&#x201C;, indem es einem bestimmten, festen, alsdann mit <hi rendition="#i">u</hi><hi rendition="#sub">&#x221E;</hi><lb/>
zu bezeichnenden Relativ als &#x201E;Grenze&#x201C; &#x201E;zustrebt&#x201C;.</p><lb/>
          <p>Letzteres ist der Fall, dann und nur dann, wenn <hi rendition="#i">für jede</hi> durch<lb/>
ein Suffix <hi rendition="#i">ij</hi> markirte <hi rendition="#i">Stelle</hi> der Tafel 1<hi rendition="#sup">2</hi> &#x2014; oder m. a. W. der Matrix<lb/>
von <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> &#x2014; <hi rendition="#i">ein Zahlwert n angebbar ist</hi> oder <hi rendition="#i">existirt derart</hi>, <hi rendition="#i">dass in u<hi rendition="#sub">&#x03BB;</hi><lb/>
die Stelle entweder für jedes &#x03BB;</hi> &gt; <hi rendition="#i">n</hi> ein Auge trägt, <hi rendition="#i">besetzt ist</hi>, <hi rendition="#i">oder</hi> aber<lb/><hi rendition="#i">für jedes &#x03BB;</hi> &gt; <hi rendition="#i">n</hi> leer, <hi rendition="#i">unbesetzt bleibt</hi>.</p><lb/>
          <p>Eine Stelle <hi rendition="#i">ij</hi> der Matrix des mit <hi rendition="#i">&#x03BB;</hi> veränderlichen Relativs <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi><lb/>
soll eine <hi rendition="#i">endgültig</hi>, &#x201E;<hi rendition="#i">definitiv</hi>&#x201C; <hi rendition="#i">besetzte</hi> Stelle dieses variabeln Relativs<lb/>
heissen, wenn es solchen Wert <hi rendition="#i">n</hi> von <hi rendition="#i">&#x03BB;</hi> gibt, dass für alle <hi rendition="#i">&#x03BB;</hi> welche<lb/>
&gt; <hi rendition="#i">n</hi> sind die Stelle in <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> sich als besetzt erweist; sie soll eine <hi rendition="#i">end-<lb/>
gültig unbesetzte</hi> oder <hi rendition="#i">definitive Leerstelle</hi> heissen, falls es eine solche<lb/>
Zahl <hi rendition="#i">n</hi> gibt, dass für alle <hi rendition="#i">&#x03BB;</hi> &gt; <hi rendition="#i">n</hi> die Stelle in <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> unbesetzt bleibt.</p><lb/>
          <p>Unter Benutzung dieser Ausdrucksweisen können wir kürzer sagen:</p><lb/>
          <p><hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> soll bei wachsendem <hi rendition="#i">&#x03BB; konvergent</hi> genannt werden, wenn für<lb/>
jede Stelle seiner Matrix entschieden oder entscheidbar ist, ob sie de-<lb/>
finitiv zur besetzten oder definitiv zur Leer-Stelle werde.</p><lb/>
          <p>Unter dem <hi rendition="#i">Grenzwert</hi> (limes) von <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> (für lim. <hi rendition="#i">&#x03BB;</hi> = &#x221E;) verstehen<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[180/0194] Fünfte Vorlesung. — und wenn man will noch obendrein: 5) (fm)n(u) = fm × n(u) = (fn)m(u) — wie sie in der That Demjenigen, der den Zahlbegriff schon hat, auch unmittelbar einleuchten werden, indem z. B. bei 4) die drei als gleich hingestellten Ausdrücke übereinstimmend weiter nichts bedeuten, als die von u m + n mal hintereinander genommene Funktion f — u. s. w. Dies vorausgesetzt ist ferner „die unbegrenzte Iteration“ f∞(u) zu definiren, sofern der Name fähig ist einer Erklärung, die auf den Be- griff von fλ(u) sich gründet und aus dem Verhalten dieses Relativs für alle und namentlich für unbegrenzt wachsende Iterationsexponenten λ motivirbar ist. Die Bedingung für letzteres wird die Konvergenz- bedingung für fλ(u), scilicet bei unbegrenzt wachsendem λ, zu nennen sein. Ist überhaupt für die unbegrenzte Reihe von natürlichen Zahlen λ = 0, 1, 2, 3, … der Wert eines Relativs uλ bestimmt, z. B. für be- liebig viele Relative der „Reihe“ u0, u1, u2, u3, … aktuell gegeben, für den Rest durch ein Gesetz oder Prinzip begrifflich festgesetzt, so werden wir bei (als natürliche Zahl) unbegrenzt wach- sendem Zeiger λ zwar im Allgemeinen zu sagen haben, uλ „divergire“ und das Symbol u∞ habe keinen Sinn, doch wird es auch eine Klasse von Fällen geben, wo man sagen kann, das allgemeine Glied uλ unsrer Reihe „konvergire“, indem es einem bestimmten, festen, alsdann mit u∞ zu bezeichnenden Relativ als „Grenze“ „zustrebt“. Letzteres ist der Fall, dann und nur dann, wenn für jede durch ein Suffix ij markirte Stelle der Tafel 12 — oder m. a. W. der Matrix von uλ — ein Zahlwert n angebbar ist oder existirt derart, dass in uλ die Stelle entweder für jedes λ > n ein Auge trägt, besetzt ist, oder aber für jedes λ > n leer, unbesetzt bleibt. Eine Stelle ij der Matrix des mit λ veränderlichen Relativs uλ soll eine endgültig, „definitiv“ besetzte Stelle dieses variabeln Relativs heissen, wenn es solchen Wert n von λ gibt, dass für alle λ welche > n sind die Stelle in uλ sich als besetzt erweist; sie soll eine end- gültig unbesetzte oder definitive Leerstelle heissen, falls es eine solche Zahl n gibt, dass für alle λ > n die Stelle in uλ unbesetzt bleibt. Unter Benutzung dieser Ausdrucksweisen können wir kürzer sagen: uλ soll bei wachsendem λ konvergent genannt werden, wenn für jede Stelle seiner Matrix entschieden oder entscheidbar ist, ob sie de- finitiv zur besetzten oder definitiv zur Leer-Stelle werde. Unter dem Grenzwert (limes) von uλ (für lim. λ = ∞) verstehen

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