PSYKENS TOPOLOGI - Niels Engelsted

Diskret rum: Et topologisk rum, hvor alle delmængder er åbne og afsluttede.
(SB7)
Distributiv lov: I mængdealgebraen den lov, der kan udtrykkes ved følgende to
ligheder:
A∩(B∪C)=(A∩B)∪(A∩C) og
A∪(B∩C)=(A∪B)∩(A∪C)
Her siges operationen ∩ at være distributiv med hensyn til operationen ∪ og
vice versa. (SB3)
DMS: Forkortelse for J. Mammen: Den menneskelige sans, Se litteraturlisten.
(SB1)
Dualitetsregler: I mængdealgebraen regler, også kaldet "de Morgans love", der
siger, at operationerne dannelse af fællesmængde og dannelse af foreningsmængde
er "operationelle komplementer", dvs. hinandens "spejlbilleder" ved
operationen dannelse af komplement. I universalmængden M kan reglerne
udtrykkes således: (SB3; SB7)
M\(A∩B) = (M\A) ∪ (M\B)
M\(A∪B) = (M\A) ∩ (M\B)
Én-Éntydig (eng. one-to-one): (SB9)
Éntydig: (SB9)
Effektiv afgørbarhed: En påstand er effektivt afgørbar, hvis det ved en gennemførlig
og på forhånd fastlagt procedure (en algoritme) kan afgøres, om den er
sand, eller om den er falsk, hvad enten den faktisk er sand eller falsk. En
delmængde er effektivt afgørbar inden for en anden mængde, hvis såvel den
selv som dens komplement er afgørbar inden for mængden. (SB5; SB10)
Eksistens, matematisk: I konstruktivistisk matematik eksisterer et matematisk
objekt kun, når det kan konstrueres ved en eksplicit fremgangsmåde. Det er
ikke tilstrækkeligt, at det fører til en kontradiktion at benægte dets eksistens.
Den moderne matematiks, herunder den realistiske matematiks, eksistensbegreb
er langt mindre restriktivt.(SB6, afsnit 17-24; 19.12.94)
Ekstension eller extension: En mængdes omfang, dvs. samlingen af alle dens
elementer, uanset deres indbyrdes orden eller organisering, og uanset hvorledes
de er udvalgt (deres intension). (16.12.94)
Ekstensionalisme: Her brugt om det udelukkende at definere en relation ved sin
ekstension, dvs. alene ved de par, som står i den pågældende relation til hinanden.
(11.01.95; SB9)
Element: Der henvises til den indledende diskussion af begrebet i SB2. Se også
punkt.
342