PSYKENS TOPOLOGI - Niels Engelsted

Mængde (eng. set): Der henvises til den indledende diskussionen af begrebet i
SB2. Hvis en mængde angives ved opregning af elementerne, skrives de i
krøllet parentes, f.eks. {a,b}. (SB3).
Mængdealgebra: Anvendelsen af operationerne dannelse af fællesmængde,
dannelse af foreningsmængde og dannelse af differensmængde (specielt komplement)
inden for en potensmængde. Se også algebra. (SB3)
Naturlige tal: De hele positive tal og nul. Altså 0, 1, 2, .... Se også numerabel,
tællelig og aleph. (SB2; SB4)
Numerabel (eng.: denumerable eller enumerable): En mængde er numerabel,
hvis den har samme kardinalitet som mængden af naturlige tal, altså ℵ0. Se
også aleph (SB4)
Omegn (am. eng.: neighborhood): (SB8)
Omfang: Se ekstension
Omvendt afbildning/funktion: Se invers afbildning/funktion
Operation, mængdealgebraisk: Fællesbetegnelse for dannelse af fællesmængde,
foreningsmængde, differensmængde og komplement i en potensmængde.
(SB3)
Operationel symmetri/asymmetri: (SB7)
Opløselig (eng. resolvable): (SB16, afsnit 9)
Ordnet par: En "mængde" med to elementer, hvor der skelnes mellem elementernes
rækkefølge. Angives med runde parenteser, f.eks. (x,y). (SB2)
Originalmængde (eng. inverse image): (SB9)
Overdækning (eng. covering): En mængde af delmængder af en mængde udgør
en overdækning, hvis deres foreningsmængde er lig med mængden. (SB3)
Parallelaxiomet: (SB5)
Parring: Elementerne i to mængder A og B kan parres, hvis der eksisterer en énéntydig
funktion fra A på B. (SB4)
Perfekt topologisk rum: (SB11, afsnit 9-14)
Platonisme: (SB6)
Potensmængde (eng. power set): For en given mængde er dens potensmængde
den mængde, hvis elementer er alle den første mængdes delmængder. (SB3;
SB4)
Power set axiom, the: Axiomet hævder, at en mængdes potensmængde (power
set) selv er en mængde. (19.12.94; SB9)
Produktmængde (eng. product, Cartesian product): (SB9)
346