liche" Systeme und über "ähnliche" oder gegenseitig eindeutige Abbil- dung gesagt ist, so wollen wir nun auch den Sätzen dieser Schrift uns zuwenden, welche auf die eventuell nur einseitig eindeutige Ab- bildung Bezug haben.
Diese gehen jenen in ihr voran, und sofern diese blos als Propädeutik für jene (jene als der Endzweck von diesen) angesehen werden dürfen, er- scheinen sie bei unsrer Anordnung als eigentlich entbehrlich gemacht.
D 21 gibt die "Erklärung" der "Abbildung" -- oder, wie wir voll- ständiger hier sagen müssen: der "eindeutigen Abbildung" eines Systems a = a ; 1 von Elementen h durch ein Relativ x.
Mutatis mutandis sei zuvörderst citirt:
Unter einer eindeutigen Abbildung x eines Systems a = a ; 1 wird ein "Gesetz" (binäres Relativ) verstanden, nach welchem zu jedem bestimmten Element h von a ein bestimmtes "Ding" (für uns wiederum "Element" k des Denkbereiches 1) gehört, welches das x-Bild von h heisst und mit x ; h bezeichnet wird; wir sagen auch, dass (k =)x ; h dem Element h ent- spricht, dass x ; h durch die Abbildung x aus h entsteht oder erzeugt wird, dass h durch die Abbildung x in x ; h übergeht. Ist nun c(= c ; 1 a) irgend ein Teilsystem von a, so ist in der Abbildung x ; a wegen x ; cx ; a zugleich eine bestimmte "Abbildung" von c "enthalten", welche "der Ein- fachheit wegen" wol mit demselben Zeichen x bezeichnet werden darf, und darin besteht, dass jedem Element i des Systems c dasselbe Bild x ; i ent- spricht, welches i als Element von a besitzt; zugleich soll das System, welches aus allen Bildern x ; i besteht, das x-Bild von c heissen und mit x ; c bezeichnet werden, wodurch auch die Bedeutung von x ; a erklärt ist.
"Als ein Beispiel einer Abbildung eines Systems ist schon die Be- legung seiner Elemente mit bestimmten Namen oder Zeichen anzusehen. Die einfachste Abbildung eines Systems ist diejenige, durch welche jedes seiner Elemente in sich selbst übergeht; sie soll die identische Abbildung heissen."
Wir wollen nun dasjenige, was vorstehend von der eindeutigen Abbildung eines Systems a gefordert ist, in Formeln bringen, und zwar, parallel dem über die ähnliche Abbildung Vorangegangnen, auf mehrere Arten und wiederum relativ inbezug auf ein bestimmtes zweites System b als den Rezipienten, Empfänger der x-Bilder von a.
Hierbei wird eine (eindeutige) Abbildung mittelst x "von a auf b" nicht zu verwechseln sein mit einer solchen "von a in b hinein". Bei jener würde (auch umgekehrt) jedes Element von b ein x-Bild zu Ele- menten von a sein müssen. Bei dieser braucht blos jedes Element von a ein x-Bild innerhalb b zu haben, und ist es zunächst diese letztre als die minder enge Forderung, die für uns von Interesse.
Als die minimale oder am weitesten gefasste Bedingung dafür, dass x das System a in das System b hinein eindeutig abbilde, erscheint diese:
Zwölfte Vorlesung.
liche“ Systeme und über „ähnliche“ oder gegenseitig eindeutige Abbil- dung gesagt ist, so wollen wir nun auch den Sätzen dieser Schrift uns zuwenden, welche auf die eventuell nur einseitig eindeutige Ab- bildung Bezug haben.
Diese gehen jenen in ihr voran, und sofern diese blos als Propädeutik für jene (jene als der Endzweck von diesen) angesehen werden dürfen, er- scheinen sie bei unsrer Anordnung als eigentlich entbehrlich gemacht.
D 21 gibt die »Erklärung« der »Abbildung« — oder, wie wir voll- ständiger hier sagen müssen: der „eindeutigen Abbildung“ eines Systems a = a ; 1 von Elementen h durch ein Relativ x.
Mutatis mutandis sei zuvörderst citirt:
Unter einer eindeutigen Abbildung x eines Systems a = a ; 1 wird ein »Gesetz« (binäres Relativ) verstanden, nach welchem zu jedem bestimmten Element h von a ein bestimmtes »Ding« (für uns wiederum „Element“ k des Denkbereiches 1) gehört, welches das x-Bild von h heisst und mit x ; h bezeichnet wird; wir sagen auch, dass (k =)x ; h dem Element h ent- spricht, dass x ; h durch die Abbildung x aus h entsteht oder erzeugt wird, dass h durch die Abbildung x in x ; h übergeht. Ist nun c(= c ; 1 ⋹ a) irgend ein Teilsystem von a, so ist in der Abbildung x ; a wegen x ; c ⋹ x ; a zugleich eine bestimmte »Abbildung« von c »enthalten«, welche »der Ein- fachheit wegen« wol mit demselben Zeichen x bezeichnet werden darf, und darin besteht, dass jedem Element i des Systems c dasselbe Bild x ; i ent- spricht, welches i als Element von a besitzt; zugleich soll das System, welches aus allen Bildern x ; i besteht, das x-Bild von c heissen und mit x ; c bezeichnet werden, wodurch auch die Bedeutung von x ; a erklärt ist.
»Als ein Beispiel einer Abbildung eines Systems ist schon die Be- legung seiner Elemente mit bestimmten Namen oder Zeichen anzusehen. Die einfachste Abbildung eines Systems ist diejenige, durch welche jedes seiner Elemente in sich selbst übergeht; sie soll die identische Abbildung heissen.«
Wir wollen nun dasjenige, was vorstehend von der eindeutigen Abbildung eines Systems a gefordert ist, in Formeln bringen, und zwar, parallel dem über die ähnliche Abbildung Vorangegangnen, auf mehrere Arten und wiederum relativ inbezug auf ein bestimmtes zweites System b als den Rezipienten, Empfänger der x-Bilder von a.
Hierbei wird eine (eindeutige) Abbildung mittelst x „von a auf b“ nicht zu verwechseln sein mit einer solchen „von a in b hinein“. Bei jener würde (auch umgekehrt) jedes Element von b ein x-Bild zu Ele- menten von a sein müssen. Bei dieser braucht blos jedes Element von a ein x-Bild innerhalb b zu haben, und ist es zunächst diese letztre als die minder enge Forderung, die für uns von Interesse.
Als die minimale oder am weitesten gefasste Bedingung dafür, dass x das System a in das System b hinein eindeutig abbilde, erscheint diese:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0646"n="632"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/>
liche“ Systeme und über „ähnliche“ oder <hirendition="#i">gegenseitig</hi> eindeutige Abbil-<lb/>
dung gesagt ist, so wollen wir nun auch den Sätzen dieser Schrift<lb/>
uns zuwenden, welche auf die <hirendition="#i">eventuell nur einseitig</hi> eindeutige Ab-<lb/>
bildung Bezug haben.</p><lb/><p>Diese gehen jenen in ihr voran, und sofern diese blos als Propädeutik<lb/>
für jene (jene als der Endzweck von diesen) angesehen werden dürfen, er-<lb/>
scheinen sie bei unsrer Anordnung als eigentlich entbehrlich gemacht.</p><lb/><p><hirendition="#fr">D</hi> 21 gibt die »Erklärung« der »Abbildung« — oder, wie wir voll-<lb/>
ständiger hier sagen müssen: der „<hirendition="#i">eindeutigen</hi> Abbildung“ eines Systems<lb/><hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; 1 von Elementen <hirendition="#i">h</hi> durch ein Relativ <hirendition="#i">x</hi>.</p><lb/><p>Mutatis mutandis sei zuvörderst citirt:</p><lb/><p>Unter einer eindeutigen Abbildung <hirendition="#i">x</hi> eines Systems <hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; 1 wird ein<lb/>
»Gesetz« (binäres Relativ) verstanden, nach welchem zu jedem bestimmten<lb/>
Element <hirendition="#i">h</hi> von <hirendition="#i">a</hi> ein bestimmtes »Ding« (für uns wiederum „Element“<hirendition="#i">k</hi><lb/>
des Denkbereiches 1) <hirendition="#i">gehört</hi>, welches das <hirendition="#i">x</hi>-Bild von <hirendition="#i">h</hi> heisst und mit<lb/><hirendition="#i">x</hi> ; <hirendition="#i">h</hi> bezeichnet wird; wir sagen auch, dass (<hirendition="#i">k</hi> =)<hirendition="#i">x</hi> ; <hirendition="#i">h</hi> dem Element <hirendition="#i">h ent-<lb/>
spricht</hi>, dass <hirendition="#i">x</hi> ; <hirendition="#i">h</hi> durch die Abbildung <hirendition="#i">x</hi> aus <hirendition="#i">h entsteht</hi> oder <hirendition="#i">erzeugt</hi> wird,<lb/>
dass <hirendition="#i">h</hi> durch die Abbildung <hirendition="#i">x</hi> in <hirendition="#i">x</hi> ; <hirendition="#i">h übergeht</hi>. Ist nun <hirendition="#i">c</hi>(= <hirendition="#i">c</hi> ; 1 ⋹<hirendition="#i">a</hi>)<lb/>
irgend ein Teilsystem von <hirendition="#i">a</hi>, so ist in der Abbildung <hirendition="#i">x</hi> ; <hirendition="#i">a</hi> wegen <hirendition="#i">x</hi> ; <hirendition="#i">c</hi>⋹<hirendition="#i">x</hi> ; <hirendition="#i">a</hi><lb/>
zugleich eine bestimmte »Abbildung« von <hirendition="#i">c</hi> »enthalten«, welche »der Ein-<lb/>
fachheit wegen« wol mit demselben Zeichen <hirendition="#i">x</hi> bezeichnet werden darf, und<lb/>
darin besteht, dass jedem Element <hirendition="#i">i</hi> des Systems <hirendition="#i">c</hi> dasselbe Bild <hirendition="#i">x</hi> ; <hirendition="#i">i</hi> ent-<lb/>
spricht, welches <hirendition="#i">i</hi> als Element von <hirendition="#i">a</hi> besitzt; zugleich soll das System,<lb/>
welches aus allen Bildern <hirendition="#i">x</hi> ; <hirendition="#i">i</hi> besteht, das <hirendition="#i">x</hi>-Bild von <hirendition="#i">c</hi> heissen und mit<lb/><hirendition="#i">x</hi> ; <hirendition="#i">c</hi> bezeichnet werden, wodurch auch die Bedeutung von <hirendition="#i">x</hi> ; <hirendition="#i">a</hi> erklärt ist.</p><lb/><p>»Als ein Beispiel einer Abbildung eines Systems ist schon die Be-<lb/>
legung seiner Elemente mit bestimmten Namen oder Zeichen anzusehen.<lb/>
Die einfachste Abbildung eines Systems ist diejenige, durch welche jedes<lb/>
seiner Elemente in sich selbst übergeht; sie soll die <hirendition="#i">identische</hi> Abbildung<lb/>
heissen.«</p><lb/><p>Wir wollen nun dasjenige, was vorstehend von der eindeutigen<lb/>
Abbildung eines Systems <hirendition="#i">a</hi> gefordert ist, in Formeln bringen, und<lb/>
zwar, parallel dem über die ähnliche Abbildung Vorangegangnen, auf<lb/>
mehrere Arten und wiederum <hirendition="#i">relativ</hi> inbezug auf ein bestimmtes zweites<lb/>
System <hirendition="#i">b</hi> als den Rezipienten, Empfänger der <hirendition="#i">x</hi>-Bilder von <hirendition="#i">a</hi>.</p><lb/><p>Hierbei wird eine (eindeutige) Abbildung mittelst <hirendition="#i">x</hi>„von <hirendition="#i">a auf b</hi>“<lb/>
nicht zu verwechseln sein mit einer solchen „von <hirendition="#i">a in b hinein</hi>“. Bei<lb/>
jener würde (auch umgekehrt) <hirendition="#i">jedes</hi> Element von <hirendition="#i">b</hi> ein <hirendition="#i">x</hi>-Bild zu Ele-<lb/>
menten von <hirendition="#i">a</hi> sein müssen. Bei dieser braucht blos jedes Element<lb/>
von <hirendition="#i">a</hi> ein <hirendition="#i">x</hi>-Bild <hirendition="#i">innerhalb b</hi> zu haben, und ist es zunächst diese<lb/>
letztre als die minder enge Forderung, die für uns von Interesse.</p><lb/><p>Als die <hirendition="#i">minimale</hi> oder am weitesten gefasste Bedingung dafür,<lb/><hirendition="#i">dass x das System a in das System b hinein eindeutig abbilde</hi>, erscheint<lb/>
diese:</p><lb/></div></div></body></text></TEI>
[632/0646]
Zwölfte Vorlesung.
liche“ Systeme und über „ähnliche“ oder gegenseitig eindeutige Abbil-
dung gesagt ist, so wollen wir nun auch den Sätzen dieser Schrift
uns zuwenden, welche auf die eventuell nur einseitig eindeutige Ab-
bildung Bezug haben.
Diese gehen jenen in ihr voran, und sofern diese blos als Propädeutik
für jene (jene als der Endzweck von diesen) angesehen werden dürfen, er-
scheinen sie bei unsrer Anordnung als eigentlich entbehrlich gemacht.
D 21 gibt die »Erklärung« der »Abbildung« — oder, wie wir voll-
ständiger hier sagen müssen: der „eindeutigen Abbildung“ eines Systems
a = a ; 1 von Elementen h durch ein Relativ x.
Mutatis mutandis sei zuvörderst citirt:
Unter einer eindeutigen Abbildung x eines Systems a = a ; 1 wird ein
»Gesetz« (binäres Relativ) verstanden, nach welchem zu jedem bestimmten
Element h von a ein bestimmtes »Ding« (für uns wiederum „Element“ k
des Denkbereiches 1) gehört, welches das x-Bild von h heisst und mit
x ; h bezeichnet wird; wir sagen auch, dass (k =)x ; h dem Element h ent-
spricht, dass x ; h durch die Abbildung x aus h entsteht oder erzeugt wird,
dass h durch die Abbildung x in x ; h übergeht. Ist nun c(= c ; 1 ⋹ a)
irgend ein Teilsystem von a, so ist in der Abbildung x ; a wegen x ; c ⋹ x ; a
zugleich eine bestimmte »Abbildung« von c »enthalten«, welche »der Ein-
fachheit wegen« wol mit demselben Zeichen x bezeichnet werden darf, und
darin besteht, dass jedem Element i des Systems c dasselbe Bild x ; i ent-
spricht, welches i als Element von a besitzt; zugleich soll das System,
welches aus allen Bildern x ; i besteht, das x-Bild von c heissen und mit
x ; c bezeichnet werden, wodurch auch die Bedeutung von x ; a erklärt ist.
»Als ein Beispiel einer Abbildung eines Systems ist schon die Be-
legung seiner Elemente mit bestimmten Namen oder Zeichen anzusehen.
Die einfachste Abbildung eines Systems ist diejenige, durch welche jedes
seiner Elemente in sich selbst übergeht; sie soll die identische Abbildung
heissen.«
Wir wollen nun dasjenige, was vorstehend von der eindeutigen
Abbildung eines Systems a gefordert ist, in Formeln bringen, und
zwar, parallel dem über die ähnliche Abbildung Vorangegangnen, auf
mehrere Arten und wiederum relativ inbezug auf ein bestimmtes zweites
System b als den Rezipienten, Empfänger der x-Bilder von a.
Hierbei wird eine (eindeutige) Abbildung mittelst x „von a auf b“
nicht zu verwechseln sein mit einer solchen „von a in b hinein“. Bei
jener würde (auch umgekehrt) jedes Element von b ein x-Bild zu Ele-
menten von a sein müssen. Bei dieser braucht blos jedes Element
von a ein x-Bild innerhalb b zu haben, und ist es zunächst diese
letztre als die minder enge Forderung, die für uns von Interesse.
Als die minimale oder am weitesten gefasste Bedingung dafür,
dass x das System a in das System b hinein eindeutig abbilde, erscheint
diese:
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. 632. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/646>, 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/.