Bei der Annahme b = 1 verbleiben, als nur mehr relativ inbezug auf das System a, die beiden Forderungen: 54) A2, = (y ; y 1') nebst ay ; 1, welch erstre y als eine nie mehrdeutige Abbildung charakterisirt, während letztre -- als mit Ph{(ha) Sk(ky ; h)}, = 1 ; y j an = an j y ; 1 äqui- valent -- garantirt: dass die Elemente von a wenigstens Bilder haben oder wirklich abgebildet werden, es nämlich zu jedem ha ein k gibt so, dass hy ; k, ky ; h ist. -- Da y = x(1' j xn) die allgemeine Wurzel von A2 ist, so kann natürlich, wie auch aus 52) für b = 1 ersichtlich, 54) auch vertreten werden durch: 54a) a (xn j 1')x ; 1 was in (a 1 ; x){a 1 ; (1' j xn)} nach 29) S. 215 zerfällbar -- welcher Satz nur ein Sonderfall des unten gegebnen 60) ist. --
Nennen wir aby = z, wo dann sein wird: zab, z ; an = 0, z ; bn = 0, so wird ähnlich wie früher (vergl. S. 605): (ay ; b) = (aa · y ; b) = (aaby ; b) = (az ; b), (y ; ab) (b · y ; ab) = (bya ; ab) = (z ; ab), {(b + b) · y ; y 1'} (bb · y ; y 1') = (by ; by 1') (aby ; aby 1') = (z ; z 1') und folgt: 55) (z ; z 1')(az ; b)(z ; ab)(zab) (z ; an = 0)(z ; bn = 0) und dieses z, für y gesetzt, genügt a fortiori auch den vorigen Forde- rungen 53, 54).
Dass die zweite Subsumtion in 55) auch als Gleichung gilt folgt daraus, dass mit za auch z ; ba ; b = a · 1 ; b, mithin z ; ba gelten muss.
Wir wollen vorstehende 55) die "Normalbedingung für die ein- deutige Abbildung mittelst z des Systems a in das b hinein" nennen.
Zu ihr kann man auch noch auf folgenden wesentlich andern Wegen und mit zum Teil neuen Ausdrucksformen gelangen.
Einmal, indem man von vornherein die zwei von den vier S. 617 formulirten Forderungen g kombinirt: 56) g1g2 = {(x ; 0'b j 0)a = 0}(ax ; b).
Auch dieser Ansatz ist ein Ausdruck dafür, dass mittelst x das System a in b hinein eindeutig abgebildet werde. Doch ist das externe Verhalten des gegenwärtigen x inbezug auf a und b von dem der früheren x, y, z in 51) bis 55) eventuell verschieden.
Zwölfte Vorlesung.
Bei der Annahme b = 1 verbleiben, als nur mehr relativ inbezug auf das System a, die beiden Forderungen: 54) A2, = (y ; y̆ ⋹ 1') nebst a ⋹ y̆ ; 1, welch erstre y als eine nie mehrdeutige Abbildung charakterisirt, während letztre — als mit Πh{(h ⋹ a) ⋹ Σk(k ⋹ y ; h)}, = 1 ; y ɟ ā = ā̆ ɟ y̆ ; 1 äqui- valent — garantirt: dass die Elemente von a wenigstens Bilder haben oder wirklich abgebildet werden, es nämlich zu jedem h ⋹ a ein k gibt so, dass h ⋹ y̆ ; k, k ⋹ y ; h ist. — Da y = x(1' ɟ x̄) die allgemeine Wurzel von A2 ist, so kann natürlich, wie auch aus 52) für b = 1 ersichtlich, 54) auch vertreten werden durch: 54α) a⋹ (x̄̆ ɟ 1')x̆ ; 1 was in (ă ⋹ 1 ; x){ă ⋹ 1 ; (1' ɟ x̄)} nach 29) S. 215 zerfällbar — welcher Satz nur ein Sonderfall des unten gegebnen 60) ist. —
Nennen wir ăby = z, wo dann sein wird: z⋹ăb, z ; ā = 0, z̆ ; b̄ = 0, so wird ähnlich wie früher (vergl. S. 605): (a ⋹ y̆ ; b) = (a ⋹ a · y̆ ; b) = (a ⋹ ab̆y̆ ; b) = (a ⋹ z̆ ; b), (y ; a ⋹ b) ⋹ (b · y ; a ⋹ b) = (byă ; a ⋹ b) = (z ; a ⋹ b), {(b + b̆) · y ; y̆ ⋹ 1'} ⋹ (bb̆ · y ; y̆ ⋹ 1') = (by ; b̆y̆ ⋹ 1') ⋹ (ăby ; ab̆y̆ ⋹ 1') = (z ; z̆ ⋹ 1') und folgt: 55) (z ; z̆ ⋹ 1')(a ⋹͇ z̆ ; b)(z ; a ⋹ b)(z ⋹ ăb) (z ; ā = 0)(z̆ ; b̄ = 0) und dieses z, für y gesetzt, genügt a fortiori auch den vorigen Forde- rungen 53, 54).
Dass die zweite Subsumtion in 55) auch als Gleichung gilt folgt daraus, dass mit z̆ ⋹ a auch z̆ ; b ⋹ a ; b = a · 1 ; b, mithin z̆ ; b ⋹ a gelten muss.
Wir wollen vorstehende 55) die „Normalbedingung für die ein- deutige Abbildung mittelst z des Systems a in das b hinein“ nennen.
Zu ihr kann man auch noch auf folgenden wesentlich andern Wegen und mit zum Teil neuen Ausdrucksformen gelangen.
Einmal, indem man von vornherein die zwei von den vier S. 617 formulirten Forderungen γ kombinirt: 56) γ1γ2 = {(x̆ ; 0'b ɟ 0)a = 0}(a ⋹ x̆ ; b).
Auch dieser Ansatz ist ein Ausdruck dafür, dass mittelst x das System a in b hinein eindeutig abgebildet werde. Doch ist das externe Verhalten des gegenwärtigen x inbezug auf a und b von dem der früheren x, y, z in 51) bis 55) eventuell verschieden.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0648"n="634"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/><p>Bei der Annahme <hirendition="#i">b</hi> = 1 verbleiben, als nur mehr relativ inbezug auf<lb/>
das System <hirendition="#i">a</hi>, die beiden Forderungen:<lb/>
54) <hirendition="#et"><hirendition="#i">A</hi><hirendition="#sub">2</hi>, = (<hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi>⋹ 1') nebst <hirendition="#i">a</hi>⋹<hirendition="#i">y̆</hi> ; 1,</hi><lb/>
welch erstre <hirendition="#i">y</hi> als eine <hirendition="#i">nie mehrdeutige</hi> Abbildung charakterisirt, während<lb/>
letztre — als mit <hirendition="#i">Π<hirendition="#sub">h</hi></hi>{(<hirendition="#i">h</hi>⋹<hirendition="#i">a</hi>) ⋹<hirendition="#i">Σ<hirendition="#sub">k</hi></hi>(<hirendition="#i">k</hi>⋹<hirendition="#i">y</hi> ; <hirendition="#i">h</hi>)}, = 1 ; <hirendition="#i">y</hi>ɟ<hirendition="#i">ā</hi> = <hirendition="#i">ā̆</hi>ɟ<hirendition="#i">y̆</hi> ; 1 äqui-<lb/>
valent — garantirt: dass die Elemente von <hirendition="#i">a</hi> wenigstens Bilder haben<lb/>
oder wirklich abgebildet werden, es nämlich zu jedem <hirendition="#i">h</hi>⋹<hirendition="#i">a</hi> ein <hirendition="#i">k</hi> gibt so,<lb/>
dass <hirendition="#i">h</hi>⋹<hirendition="#i">y̆</hi> ; <hirendition="#i">k</hi>, <hirendition="#i">k</hi>⋹<hirendition="#i">y</hi> ; <hirendition="#i">h</hi> ist. — Da <hirendition="#i">y</hi> = <hirendition="#i">x</hi>(1' ɟ<hirendition="#i">x̄</hi>) die allgemeine Wurzel<lb/>
von <hirendition="#i">A</hi><hirendition="#sub">2</hi> ist, so kann natürlich, wie auch aus 52) für <hirendition="#i">b</hi> = 1 ersichtlich,<lb/>
54) auch vertreten werden durch:<lb/>
54<hirendition="#i"><hirendition="#sub">α</hi></hi>) <hirendition="#et"><hirendition="#i">a</hi>⋹ (<hirendition="#i">x̄̆</hi>ɟ 1')<hirendition="#i">x̆</hi> ; 1 was in (<hirendition="#i">ă</hi>⋹ 1 ; <hirendition="#i">x</hi>){<hirendition="#i">ă</hi>⋹ 1 ; (1' ɟ<hirendition="#i">x̄</hi>)}</hi><lb/>
nach 29) S. 215 zerfällbar — welcher Satz nur ein Sonderfall des unten<lb/>
gegebnen 60) ist. —</p><lb/><p>Nennen wir <hirendition="#i">ăby</hi> = <hirendition="#i">z</hi>, wo dann sein wird:<lb/><hirendition="#c"><hirendition="#i">z</hi>⋹<hirendition="#i">ăb</hi>, <hirendition="#i">z</hi> ; <hirendition="#i">ā</hi> = 0, <hirendition="#i">z̆</hi> ; <hirendition="#i">b̄</hi> = 0,</hi><lb/>
so wird ähnlich wie früher (vergl. S. 605):<lb/><hirendition="#c">(<hirendition="#i">a</hi>⋹<hirendition="#i">y̆</hi> ; <hirendition="#i">b</hi>) = (<hirendition="#i">a</hi>⋹<hirendition="#i">a</hi> · <hirendition="#i">y̆</hi> ; <hirendition="#i">b</hi>) = (<hirendition="#i">a</hi>⋹<hirendition="#i">ab̆y̆</hi> ; <hirendition="#i">b</hi>) = (<hirendition="#i">a</hi>⋹<hirendition="#i">z̆</hi> ; <hirendition="#i">b</hi>),<lb/>
(<hirendition="#i">y</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>) ⋹ (<hirendition="#i">b</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>) = (<hirendition="#i">byă</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>) = (<hirendition="#i">z</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>),<lb/>
{(<hirendition="#i">b</hi> + <hirendition="#i">b̆</hi>) · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi>⋹ 1'} ⋹ (<hirendition="#i">bb̆</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi>⋹ 1') = (<hirendition="#i">by</hi> ; <hirendition="#i">b̆y̆</hi>⋹ 1') ⋹ (<hirendition="#i">ăby</hi> ; <hirendition="#i">ab̆y̆</hi>⋹ 1') = (<hirendition="#i">z</hi> ; <hirendition="#i">z̆</hi>⋹ 1')</hi><lb/>
und folgt:<lb/>
55) <hirendition="#et">(<hirendition="#i">z</hi> ; <hirendition="#i">z̆</hi>⋹ 1')(<hirendition="#i">a</hi>⋹͇<hirendition="#i">z̆</hi> ; <hirendition="#i">b</hi>)(<hirendition="#i">z</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>)(<hirendition="#i">z</hi>⋹<hirendition="#i">ăb</hi>)<lb/>
(<hirendition="#i">z</hi> ; <hirendition="#i">ā</hi> = 0)(<hirendition="#i">z̆</hi> ; <hirendition="#i">b̄</hi> = 0)</hi><lb/>
und dieses <hirendition="#i">z</hi>, für <hirendition="#i">y</hi> gesetzt, genügt a fortiori auch den vorigen Forde-<lb/>
rungen 53, 54).</p><lb/><p>Dass die zweite Subsumtion in 55) auch als Gleichung gilt folgt<lb/>
daraus, dass mit <hirendition="#i">z̆</hi>⋹<hirendition="#i">a</hi> auch <hirendition="#i">z̆</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">b</hi> = <hirendition="#i">a</hi> · 1 ; <hirendition="#i">b</hi>, mithin <hirendition="#i">z̆</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><lb/>
gelten muss.</p><lb/><p>Wir wollen vorstehende 55) die „<hirendition="#i">Normal</hi>bedingung für die <hirendition="#i">ein-<lb/>
deutige Abbildung</hi> mittelst <hirendition="#i">z</hi> des Systems <hirendition="#i">a in</hi> das <hirendition="#i">b hinein</hi>“ nennen.</p><lb/><p>Zu ihr kann man auch noch auf folgenden wesentlich andern<lb/>
Wegen und mit zum Teil neuen Ausdrucksformen gelangen.</p><lb/><p>Einmal, indem man von vornherein die zwei von den vier S. 617<lb/>
formulirten Forderungen <hirendition="#i">γ</hi> kombinirt:<lb/>
56) <hirendition="#et"><hirendition="#i">γ</hi><hirendition="#sub">1</hi><hirendition="#i">γ</hi><hirendition="#sub">2</hi> = {(<hirendition="#i">x̆</hi> ; 0'<hirendition="#i">b</hi>ɟ 0)<hirendition="#i">a</hi> = 0}(<hirendition="#i">a</hi>⋹<hirendition="#i">x̆</hi> ; <hirendition="#i">b</hi>).</hi></p><lb/><p>Auch dieser Ansatz ist ein Ausdruck dafür, dass mittelst <hirendition="#i">x</hi> das<lb/>
System <hirendition="#i">a</hi> in <hirendition="#i">b</hi> hinein eindeutig abgebildet werde. Doch ist das externe<lb/>
Verhalten des gegenwärtigen <hirendition="#i">x</hi> inbezug auf <hirendition="#i">a</hi> und <hirendition="#i">b</hi> von dem der<lb/>
früheren <hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi> in 51) bis 55) eventuell verschieden.</p><lb/></div></div></body></text></TEI>
[634/0648]
Zwölfte Vorlesung.
Bei der Annahme b = 1 verbleiben, als nur mehr relativ inbezug auf
das System a, die beiden Forderungen:
54) A2, = (y ; y̆ ⋹ 1') nebst a ⋹ y̆ ; 1,
welch erstre y als eine nie mehrdeutige Abbildung charakterisirt, während
letztre — als mit Πh{(h ⋹ a) ⋹ Σk(k ⋹ y ; h)}, = 1 ; y ɟ ā = ā̆ ɟ y̆ ; 1 äqui-
valent — garantirt: dass die Elemente von a wenigstens Bilder haben
oder wirklich abgebildet werden, es nämlich zu jedem h ⋹ a ein k gibt so,
dass h ⋹ y̆ ; k, k ⋹ y ; h ist. — Da y = x(1' ɟ x̄) die allgemeine Wurzel
von A2 ist, so kann natürlich, wie auch aus 52) für b = 1 ersichtlich,
54) auch vertreten werden durch:
54α) a⋹ (x̄̆ ɟ 1')x̆ ; 1 was in (ă ⋹ 1 ; x){ă ⋹ 1 ; (1' ɟ x̄)}
nach 29) S. 215 zerfällbar — welcher Satz nur ein Sonderfall des unten
gegebnen 60) ist. —
Nennen wir ăby = z, wo dann sein wird:
z⋹ăb, z ; ā = 0, z̆ ; b̄ = 0,
so wird ähnlich wie früher (vergl. S. 605):
(a ⋹ y̆ ; b) = (a ⋹ a · y̆ ; b) = (a ⋹ ab̆y̆ ; b) = (a ⋹ z̆ ; b),
(y ; a ⋹ b) ⋹ (b · y ; a ⋹ b) = (byă ; a ⋹ b) = (z ; a ⋹ b),
{(b + b̆) · y ; y̆ ⋹ 1'} ⋹ (bb̆ · y ; y̆ ⋹ 1') = (by ; b̆y̆ ⋹ 1') ⋹ (ăby ; ab̆y̆ ⋹ 1') = (z ; z̆ ⋹ 1')
und folgt:
55) (z ; z̆ ⋹ 1')(a ⋹͇ z̆ ; b)(z ; a ⋹ b)(z ⋹ ăb)
(z ; ā = 0)(z̆ ; b̄ = 0)
und dieses z, für y gesetzt, genügt a fortiori auch den vorigen Forde-
rungen 53, 54).
Dass die zweite Subsumtion in 55) auch als Gleichung gilt folgt
daraus, dass mit z̆ ⋹ a auch z̆ ; b ⋹ a ; b = a · 1 ; b, mithin z̆ ; b ⋹ a
gelten muss.
Wir wollen vorstehende 55) die „Normalbedingung für die ein-
deutige Abbildung mittelst z des Systems a in das b hinein“ nennen.
Zu ihr kann man auch noch auf folgenden wesentlich andern
Wegen und mit zum Teil neuen Ausdrucksformen gelangen.
Einmal, indem man von vornherein die zwei von den vier S. 617
formulirten Forderungen γ kombinirt:
56) γ1γ2 = {(x̆ ; 0'b ɟ 0)a = 0}(a ⋹ x̆ ; b).
Auch dieser Ansatz ist ein Ausdruck dafür, dass mittelst x das
System a in b hinein eindeutig abgebildet werde. Doch ist das externe
Verhalten des gegenwärtigen x inbezug auf a und b von dem der
früheren x, y, z in 51) bis 55) eventuell verschieden.
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. 634. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/648>, abgerufen am 23.11.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/.
