You are on page 1of 63
PORTUGALIAE MATHEMATICA VOLUME 7 7 \ 9 4 8 Publicaséo subsidiads por Publication subventionaée par Publication sponsored by JUNTA DE INVESTIGAGAO MATEMATICA @ SOCIEDADE PORTUGUESA DE MATEMATICA Edigdo de «GAZETA DE MATEMATICA, LDA.» PORTUGALIAE MATHEMATICA HERMANN & Cute, E Rua Serpa Pinto, 17, 4.°-£5q 6, Rue de la Sorbonne LISBOA (PORTUGAL) ' PARIS (Sim) eurs PORTUGALIAR MATHEMATICA Vol. 7 — Faso. 3-4 — 1948 DIE BOOLE'SCHE PARTIALORDNUNG UND DIE PAARUNG VON GEFUEGEN ! von J, Ricuarp Bicur (St. Gallen) EINLEITUNG Der Begriff des Teiles ist in der heutigen Mathematik eng an denje- nigen der Menge von Elementen gebunden. Jedes mathematische Ganze ist eine Menge, jeder Teil des Ganzen eine Teilmenge. Diese Beschriinkung des Teilbegriffes auf denjenigen der Teilmenge liegt nun aber gar nicht im Wesen der Sache. Es besteht daher das Bediirfnis nach einer mathematischen Theorie, die der Wechselbezichung zwischen dem Ganzen und seinen Teilen die volle Freiheit lisst. Versucht man eine solche mathematische Teillehre axiomatisch zu begriinden, so stellt man zuniichst fest, dass der Teilbegrift aufs Engste mit demjenigen der partiellen Ordnung verbunden ist. Ebenso elementar, und das wird leicht verkannt, ist aber der Begriff der Fremdheit von Teilen. Im 1. Teil der Arbeit wird nun eine Axiomatik gegeben, die die allge- meinste sinnvolle Koppelung von Inklusion und Fremdheitabeziehung gewihrleistet. Diese Axiomatik hat an und fiir sich als allgemeine Teillebre ihre Bedeutung. Dariiber hinaus wird die abstrakte Theorie des 1, Teiles zeigon, dass sie die Grundlage zur Behandlung der Boole’schen Algebren in hnlicher Weise ist, wie die Theorie der partiellen Ordnung diejenige der Verbandstheorie, 1 Von der Eidgenéssisch Technischen Hochschule in Ziirich genehmigte Promo- tionsarbeit. Hingereicht im Dezember 1948, 120 J. RICHARD BUCHT Dass schliesslich der Begriff der Boole’schen Partialordnung auch in anderen mathematischen Disziplinen fruchtbar ist, zeigt die in Teil I. 88 gegebene Anwendung auf die Theorie der topologischen Raume. Im 2. Teil soll das Problem der Abbildung von allgemeinen Teilen zur Diskussion stehen. Da ein Teil nicht aus Atomen zu bestehen braucht versagt der Klassische Abbildungsbegriff, der ja nur fir Mengen definiert ist und sich wesentlich auf die Elemente stiitzt. Im Begriff der Paarung von Teilen ist eine Verallgemeinerung der «Relation zwischen Elemen- ten» auf den Fall nicht atomarer Objekte gefunden. Mit Hilfe der Paarung wird dann ausser anderem die Definition der Abbildung atomfreier Objekte gelingen. So zeigt die Arbeit die Bedeutung des « Geftiges» und seiner «Paarun- gen» in verschiedenen mathematischen Disziplinen. Es scheint aber, dass den genannten Begriffen ein viel umfassenderes Anwendungsgebiet offen steht. Wegen genaueror Beschreibang der Resultate sei auf die Vorworte zu den einzelnen Teilen sowie auf das Schlusswort vorwiesen.