Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 19. Funktionen und deren Entwickelung.
von einem "Mittelwerte" nur gesprochen werden kann bei solchen zwei
Gebieten, zwischen welchen die Beziehung der Einordnung, Subsumtion
besteht, von denen das eine im andern enthalten ist. Dies ist stets
vorauszusetzen -- oder es wird mit behauptet -- sobald wir die
Redensart gebrauchen.

Sobald a b ist gibt es immer Mittelwerte (mindestens einen
solchen) zwischen a und b; nach Prinzip I und der Voraussetzung ist
nämlich x = a sowol als x = b alsdann ein solcher. Es kann dar-
nach irgend ein Gebiet a als ein Mittelwert zwischen ihm und sich
selber hingestellt werden -- wie bei der durch die Voraussetzung
a b mit zugelassenen Annahme b = a zu sehen ist.

Wir gehen nun darauf aus, die allgemeine Form der zwischen a
und b liegenden Gebiete, falls es solche gibt, zu finden.

Hier haben wir zunächst das kleine

Hülfstheorem zu Th. 47+). Wenn x zwischen a und b liegt, so
ist stets:
a x1 + b x = x,
und umgekehrt.

Beweis. Ist x zwischen a und b gelegen, so gilt nach der ge-
gebenen Definition und Th. 38x):
a x1 = 0 und b1 x = 0.

Ersetzen wir darnach in dem Ausdrucke a x1 + b x das a x1 durch 0
und dieses durch b1 x, so wird derselbe:
a x1 + b x = b1 x + b x = (b1 + b) x = 1 · x = x
wie einerseits zu zeigen gewesen.

Ist andrerseits a x1 + b x = x, so können wir diese Gleichung mit
x1 beiderseits multipliziren ("durchmultipliziren") und erhalten: a x1 = 0
oder a x -- cf. Th. 38x). Darnach vereinfacht sich aber die Glei-
chung zu: b x = x, was nach Th. 20x) äquivalent ist: x b. Damit
ist also gezeigt dass a x und x b, somit auch a b sein muss,
d. h. dass in der That x zwischen a und b liegt.

Man könnte dem Satze auch die einfachere Form geben: Liegt x
zwischen a und b, so ist
a + b x = x,
in Anbetracht, dass wegen a b nach Th. 20+) b = a + b sein muss.
Setzt man in der That diesen Wert für b in den früheren Ausdruck ein, so
wird derselbe: a x1 + b x = a x1 + (a + b) x = a (x1 + x) + b x = a + b x.

In dieser vereinfachten Gestalt ist aber der Satz nicht rein umkehrbar,
wie in der früheren, vielmehr kann sehr wohl a + b x = x sein, ohne dass
doch a x b, ohne dass überhaupt a b ist. Bei beliebigem a und b

§ 19. Funktionen und deren Entwickelung.
von einem „Mittelwerte“ nur gesprochen werden kann bei solchen zwei
Gebieten, zwischen welchen die Beziehung der Einordnung, Subsumtion
besteht, von denen das eine im andern enthalten ist. Dies ist stets
vorauszusetzen — oder es wird mit behauptet — sobald wir die
Redensart gebrauchen.

Sobald a ⋹ b ist gibt es immer Mittelwerte (mindestens einen
solchen) zwischen a und b; nach Prinzip I und der Voraussetzung ist
nämlich x = a sowol als x = b alsdann ein solcher. Es kann dar-
nach irgend ein Gebiet a als ein Mittelwert zwischen ihm und sich
selber hingestellt werden — wie bei der durch die Voraussetzung
a ⋹ b mit zugelassenen Annahme b = a zu sehen ist.

Wir gehen nun darauf aus, die allgemeine Form der zwischen a
und b liegenden Gebiete, falls es solche gibt, zu finden.

Hier haben wir zunächst das kleine

Hülfstheorem zu Th. 47+). Wenn x zwischen a und b liegt, so
ist stets:
a x1 + b x = x,
und umgekehrt.

Beweis. Ist x zwischen a und b gelegen, so gilt nach der ge-
gebenen Definition und Th. 38×):
a x1 = 0 und b1 x = 0.

Ersetzen wir darnach in dem Ausdrucke a x1 + b x das a x1 durch 0
und dieses durch b1 x, so wird derselbe:
a x1 + b x = b1 x + b x = (b1 + b) x = 1 · x = x
wie einerseits zu zeigen gewesen.

Ist andrerseits a x1 + b x = x, so können wir diese Gleichung mit
x1 beiderseits multipliziren („durchmultipliziren“) und erhalten: a x1 = 0
oder a ⋹ x — cf. Th. 38×). Darnach vereinfacht sich aber die Glei-
chung zu: b x = x, was nach Th. 20×) äquivalent ist: x ⋹ b. Damit
ist also gezeigt dass a ⋹ x und x ⋹ b, somit auch a ⋹ b sein muss,
d. h. dass in der That x zwischen a und b liegt.

Man könnte dem Satze auch die einfachere Form geben: Liegt x
zwischen a und b, so ist
a + b x = x,
in Anbetracht, dass wegen a ⋹ b nach Th. 20+) b = a + b sein muss.
Setzt man in der That diesen Wert für b in den früheren Ausdruck ein, so
wird derselbe: a x1 + b x = a x1 + (a + b) x = a (x1 + x) + b x = a + b x.

In dieser vereinfachten Gestalt ist aber der Satz nicht rein umkehrbar,
wie in der früheren, vielmehr kann sehr wohl a + b x = x sein, ohne dass
doch a ⋹ x ⋹ b, ohne dass überhaupt a ⋹ b ist. Bei beliebigem a und b

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0445" n="425"/><fw place="top" type="header">§ 19. Funktionen und deren Entwickelung.</fw><lb/>
von einem &#x201E;<hi rendition="#i">Mittelwerte</hi>&#x201C; nur gesprochen werden kann bei solchen zwei<lb/>
Gebieten, zwischen welchen die Beziehung der Einordnung, Subsumtion<lb/>
besteht, von denen das eine im andern enthalten ist. Dies ist stets<lb/>
vorauszusetzen &#x2014; oder es wird mit behauptet &#x2014; sobald wir die<lb/>
Redensart gebrauchen.</p><lb/>
          <p>Sobald <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> ist gibt es immer Mittelwerte (mindestens <hi rendition="#i">einen</hi><lb/>
solchen) zwischen <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi>; nach Prinzip I und der Voraussetzung ist<lb/>
nämlich <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> sowol als <hi rendition="#i">x</hi> = <hi rendition="#i">b</hi> alsdann ein solcher. Es kann dar-<lb/>
nach irgend ein Gebiet <hi rendition="#i">a</hi> als ein Mittelwert zwischen ihm und sich<lb/>
selber hingestellt werden &#x2014; wie bei der durch die Voraussetzung<lb/><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> mit zugelassenen Annahme <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> zu sehen ist.</p><lb/>
          <p>Wir gehen nun darauf aus, die allgemeine Form der zwischen <hi rendition="#i">a</hi><lb/>
und <hi rendition="#i">b</hi> liegenden Gebiete, falls es solche gibt, zu finden.</p><lb/>
          <p>Hier haben wir zunächst das kleine</p><lb/>
          <p><hi rendition="#g">Hülfstheorem</hi> zu Th. 47<hi rendition="#sub">+</hi>). <hi rendition="#i">Wenn x zwischen a und b liegt, so<lb/>
ist stets:</hi><lb/><hi rendition="#c"><hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b x</hi> = <hi rendition="#i">x</hi>,</hi><lb/><hi rendition="#i">und umgekehrt.</hi></p><lb/>
          <p><hi rendition="#g">Beweis</hi>. Ist <hi rendition="#i">x</hi> zwischen <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> gelegen, so gilt nach der ge-<lb/>
gebenen Definition und Th. 38<hi rendition="#sub">×</hi>):<lb/><hi rendition="#c"><hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> = 0 und <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> = 0.</hi></p><lb/>
          <p>Ersetzen wir darnach in dem Ausdrucke <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b x</hi> das <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> durch 0<lb/>
und dieses durch <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi>, so wird derselbe:<lb/><hi rendition="#c"><hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b x</hi> = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> + <hi rendition="#i">b x</hi> = (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">x</hi> = 1 · <hi rendition="#i">x</hi> = <hi rendition="#i">x</hi></hi><lb/>
wie einerseits zu zeigen gewesen.</p><lb/>
          <p>Ist andrerseits <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b x</hi> = <hi rendition="#i">x</hi>, so können wir diese Gleichung mit<lb/><hi rendition="#i">x</hi><hi rendition="#sub">1</hi> beiderseits multipliziren (&#x201E;durchmultipliziren&#x201C;) und erhalten: <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> = 0<lb/>
oder <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi> &#x2014; cf. Th. 38<hi rendition="#sub">×</hi>). Darnach vereinfacht sich aber die Glei-<lb/>
chung zu: <hi rendition="#i">b x</hi> = <hi rendition="#i">x</hi>, was nach Th. 20<hi rendition="#sub">×</hi>) äquivalent ist: <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">b</hi>. Damit<lb/>
ist also gezeigt dass <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi> und <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">b</hi>, somit auch <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> sein muss,<lb/>
d. h. dass in der That <hi rendition="#i">x</hi> zwischen <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> liegt.</p><lb/>
          <p>Man könnte dem Satze auch die einfachere Form geben: <hi rendition="#i">Liegt x<lb/>
zwischen a und b, so ist</hi><lb/><hi rendition="#c"><hi rendition="#i">a</hi> + <hi rendition="#i">b x</hi> = <hi rendition="#i">x</hi>,</hi><lb/>
in Anbetracht, dass wegen <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> nach Th. 20<hi rendition="#sub">+</hi>) <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> sein muss.<lb/>
Setzt man in der That diesen Wert für <hi rendition="#i">b</hi> in den früheren Ausdruck ein, so<lb/>
wird derselbe: <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b x</hi> = <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi>) + <hi rendition="#i">b x</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b x</hi>.</p><lb/>
          <p>In dieser vereinfachten Gestalt ist aber der Satz nicht rein umkehrbar,<lb/>
wie in der früheren, vielmehr kann sehr wohl <hi rendition="#i">a</hi> + <hi rendition="#i">b x</hi> = <hi rendition="#i">x</hi> sein, ohne dass<lb/>
doch <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">b</hi>, ohne dass überhaupt <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> ist. Bei beliebigem <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[425/0445] § 19. Funktionen und deren Entwickelung. von einem „Mittelwerte“ nur gesprochen werden kann bei solchen zwei Gebieten, zwischen welchen die Beziehung der Einordnung, Subsumtion besteht, von denen das eine im andern enthalten ist. Dies ist stets vorauszusetzen — oder es wird mit behauptet — sobald wir die Redensart gebrauchen. Sobald a ⋹ b ist gibt es immer Mittelwerte (mindestens einen solchen) zwischen a und b; nach Prinzip I und der Voraussetzung ist nämlich x = a sowol als x = b alsdann ein solcher. Es kann dar- nach irgend ein Gebiet a als ein Mittelwert zwischen ihm und sich selber hingestellt werden — wie bei der durch die Voraussetzung a ⋹ b mit zugelassenen Annahme b = a zu sehen ist. Wir gehen nun darauf aus, die allgemeine Form der zwischen a und b liegenden Gebiete, falls es solche gibt, zu finden. Hier haben wir zunächst das kleine Hülfstheorem zu Th. 47+). Wenn x zwischen a und b liegt, so ist stets: a x1 + b x = x, und umgekehrt. Beweis. Ist x zwischen a und b gelegen, so gilt nach der ge- gebenen Definition und Th. 38×): a x1 = 0 und b1 x = 0. Ersetzen wir darnach in dem Ausdrucke a x1 + b x das a x1 durch 0 und dieses durch b1 x, so wird derselbe: a x1 + b x = b1 x + b x = (b1 + b) x = 1 · x = x wie einerseits zu zeigen gewesen. Ist andrerseits a x1 + b x = x, so können wir diese Gleichung mit x1 beiderseits multipliziren („durchmultipliziren“) und erhalten: a x1 = 0 oder a ⋹ x — cf. Th. 38×). Darnach vereinfacht sich aber die Glei- chung zu: b x = x, was nach Th. 20×) äquivalent ist: x ⋹ b. Damit ist also gezeigt dass a ⋹ x und x ⋹ b, somit auch a ⋹ b sein muss, d. h. dass in der That x zwischen a und b liegt. Man könnte dem Satze auch die einfachere Form geben: Liegt x zwischen a und b, so ist a + b x = x, in Anbetracht, dass wegen a ⋹ b nach Th. 20+) b = a + b sein muss. Setzt man in der That diesen Wert für b in den früheren Ausdruck ein, so wird derselbe: a x1 + b x = a x1 + (a + b) x = a (x1 + x) + b x = a + b x. In dieser vereinfachten Gestalt ist aber der Satz nicht rein umkehrbar, wie in der früheren, vielmehr kann sehr wohl a + b x = x sein, ohne dass doch a ⋹ x ⋹ b, ohne dass überhaupt a ⋹ b ist. Bei beliebigem a und b

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/445
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 425. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/445>, abgerufen am 25.11.2024.