Woher kommt der Begriff "Set-Builder-Notation"?

Beim Austausch von Math-Stacks sehe ich oft Notationen wie { X Q : X 2 < 2 } werden als Instanzen der Set-Builder-Notation bezeichnet . Als ich zur Schule ging, haben wir (d. h. ich, meine Mitschüler, meine Lehrer und Autoren von Lehrbüchern wie P. Halmos, N. Bourbaki usw. ) ständig solche Notationen verwendet, aber nie mit dieser Beschreibung.

Meine Frage ist, wann wurde dieser Name eingeführt? Sind die im Wikipedia-Artikel angegebenen Referenzen die ursprünglichen Einführer oder nur moderne Benutzer eines neueren Begriffs für eine ältere Idee?

Hinzugefügt, nach Kommentaren und nachdem Conifolds hervorragende Antwort mich dazu gebracht hat, ein bisschen genauer hinzusehen:

Eine Veröffentlichung der University of Chicago Press aus dem Jahr 1948, Fundamental Mathematics Volume 1, vorbereitet für den allgemeinen Kurs 1 im College ("vom College-Mathematikpersonal" mit einer Liste von 13 Namen) verwendet den Begriff "SET-BUILDER" auf S. 25:

Wo W eine Eigenschaft ist, verwenden wir den Ausdruck " S X [ W ( X ) ] „steht für „die Menge aller Gegenstände“. X die das Eigentum haben W " oder "die Menge aller Objekte X wofür ' W ( X ) „ist wahr“ oder „die Menge von allem X so dass W ( X ) ". Das Schild S ist als SET-BUILDER bekannt.

Es ist von einem maschinengeschriebenen Original fotolithographiert. Als was ich rendere S X hat die X direkt unter der S .

Ein ähnliches Buch aus Chicago aus dem Jahr 1954, Concepts and structure of mathematik, von College-Mathematikmitarbeitern verwendet den Begriff "Set-Builder-Notation", aber Google Books gibt nicht genügend Kontext, um zu zeigen, dass es genau dasselbe ist wie im Jahr 2019 der Begriff.

Zur Geschichte des Symbols siehe hier . Für den modernen Begriff müssen wir nachforschen; Es ist ziemlich neu (wie Sie sagen): Früher hieß es Abstraktionsoperator oder Klassenoperator .
Der Ausdruck "Set Builder Notation" wurde definitiv in den 1960er Jahren in US-Schulmathematik verwendet (und er wurde in meinen eigenen Highschool-Mathematikklassen Anfang der 1970er Jahre verwendet), zumindest in den Klassen, in denen Bücher aus der neuen mathematischen Perspektive verwendet wurden. Es mag aus dieser Literatur stammen, vielleicht irgendwann in den 1950er Jahren, aber ich bin mir nicht sicher. Ich habe gerade meine Referenz [1] hier durchgesehen und konnte den verwendeten Begriff "Set Builder" nicht finden.
Übrigens diskutierten unsere Lehrbücher in meinem Schulmatheunterricht Anfang der 1970er Jahre (sowohl Mittelschul- als auch Oberschultexte, glaube ich) zwei Methoden zur Beschreibung von Mengen. Die eine war die Set-Builder-Notation und die andere die Dienstplan-Notation (Sie listen die Elemente explizit zwischen geschweiften Klammern und Kommas zwischen den Elementen auf).
Für die Entwicklung dieser Notation siehe Wer entdeckte zuerst das Konzept, das dem Symbol des Klassenverständnisses entspricht? Sie geht zurück auf Peano und Zermelo und in der modernen Form auf Lefschetz' Algebraische Topologie (1942). Der Name wurde von den US-amerikanischen Lehrbuchautoren anscheinend in den 1960er Jahren angebracht, frühere Namen waren Class Comprehension, Class Abstraction, Class Operator (Bernays, 1958).
Ich habe (mit Google Ngrams) eine Instanz von SBN in einer Mathematics in the Junior High School von 1957 gefunden , die möglicherweise eine Veröffentlichung des Mathematikprojekts der University of Maryland war. Ein paar Jahre später habe ich in der Schule einige "SMSG"-Lehrbücher für neue Mathematik genossen, bin aber bis jetzt nicht auf den Namen SBN gestoßen.
Pi Mu Epsilon Journal, S. 126, erwähnt den Namen in erschreckenden Anführungszeichen (was bedeutet, dass er nicht als etabliert angesehen wird) in der Rezension von Suppes' Axiomatic Set Theory (1960): „ Das technische Gerät, das in Professor Suppes Buch verwendet wird, ist ziemlich kompliziertes Definitionsschema für die "Set Builder"-Notation ". Suppes selbst nennt es „Definition durch Abstraktion“.
@Conifold Danke! Ich habe gerade diese Passage in Suppes gesehen, und auch in der fast gleichzeitigen Halmos Naive Set Theory , die es "Axiom of Specification" nennt, nee Aussenderungsaxiom

Antworten (1)

Der Spitzname scheint eine Schöpfung der New-Math-Bewegung zu sein und verbreitete sich aus der mathematischen Bildungsliteratur.

Die Notation selbst in ihrer modernen Form lässt sich auf Lefschetz' Algebraic Topology (1942) zurückführen, und Varianten tauchen bereits in Principia (1910) und von Neumanns Zur Einführung der transfiniten Zahlen (1923) auf . Siehe Wer hat zuerst das Konzept entdeckt, das dem Symbol des Klassenverständnisses entspricht? für viele weitere Details. Mathematiker verwendeten jedoch nicht den Namen "Mengenbauer". Bernays (1958) nennt es „Klassenoperator“ und Suppes (1960) „Definition durch Abstraktion“. Der Name erscheint nicht vor 1957, aber 1958 finden wir ihn in den lebhaften Diskussionen des High-School-Lehrplans in The Mathematics Teacher. Beispielsweise erklärt Rourke in Einige Implikationen der Mathematik des 20. Jahrhunderts für Gymnasien :

" Wir haben eine praktische Notation zum Denotieren von Lösungsmengen mit dem Set-Builder : { X   } . Die Hosenträger“ {   } " werden "gesetzt" gelesen; die Vertikale " | " wird "so gelesen, dass." Wir setzen die Variable auf die linke Seite des vertikalen Balkens und den Satz auf die rechte Seite. "

Und Durens Die Manöver im Set-Denken gehen tief in die Pädagogik ein:

Wir haben kein System individueller Namen für Mengen wie die Dezimaldarstellungen der reellen Zahlen. Daher haben wir keine Möglichkeit, den Namen einer bestimmten Menge zu geben, die die „Antwort“ auf ein Problem ist, außer durch solche indirekten Mittel wie die Set-Builder: { X e X | A & B & C } = "Die Menge aller Elemente in X mit den Eigenschaften A und B und C". "

Die Studentenzeitschrift Pi Mu Epsilon verwendet immer noch erschreckende Zitate rund um Bühnenbauer, wenn sie Suppes Lehrbuch im Jahr 1960 rezensiert.

Was 1957 geschah, war, dass die Sowjetunion einen Orbitalsatelliten startete, und eine Zeit existenzieller Angst in den westlichen Ländern, bekannt als die Sputnik-Krise . Eine der Antworten war, den Lehrplan der High School unter anderem mit symbolischer Logik, Matrizen und Sätzen zu füllen, um die sowjetischen Fortschritte "aufzuholen" (man muss fairerweise sagen, dass einige Reformen auf das Komitee für Schulmathematik der Universität von Illinois aus dem Jahr 1951 zurückgehen An). Ironischerweise war es nicht so, als die sowjetische Highschool-Mathematik in den 1930er Jahren reformiert wurde. Laut der russischen Wikipedia gibt es auch kein russisches Analogon des Spitznamens "Set-Builder" . Nach 1958 breiteten sich die Neue Mathematik und der „Set-Builder“ schnell in Lehrbüchern aus. Das früheste, was ich gefunden habe, ist die Lehrerausgabe vonMathematik für das Gymnasium, S.16 (1959) :

Die Hosenträger {   } verwendet, um die Elemente einer Menge einzuschließen, machen Sie darauf aufmerksam, dass wir uns die Sammlung als eine einzelne Einheit vorstellen müssen. Die Set-Builder-Notation { X :   X . . . . . } ist eine nützliche Methode, um eine Menge darzustellen, die durch eine Regel oder Eigenschaft gekennzeichnet ist, nicht mehr. In einigen Behandlungen des Themas wird ein vertikaler Strich anstelle des Doppelpunkts in der Set-Builder-Notation verwendet. Aus typografischen Gründen bevorzugen wir den Doppelpunkt. "

New Math war von Anfang an umstritten, und heftige Kritik verdrängte das meiste davon bis Ende der 1960er Jahre aus den High Schools. Aber der Spitzname blieb.

Nein . Set-Builder- Terminologie ( 1948) war keine Antwort auf Sputnik (1957).
@ConsigliereZARF werden Sie die Verwendung dieses Namens vor 1948 nachweisen ?
@Hobbs 1948. Nachweis bereits erbracht. Folgen Sie dem Link unter "Wer hat zuerst den Begriff entdeckt, der dem Symbol des Klassenverständnisses entspricht?" in der obigen "Erzählung". Oder lesen Sie das überarbeitete OP.