PSYKENS TOPOLOGI - Niels Engelsted

Prædikatskalkule: (SB5)
Punkt: (SB7)
Rand (eng. boundary): (SB8)
Randpunkt (eng. boundary point): (SB8)
p
Rationelle tal: Alle brøker , hvor p er et helt tal (positivt, nul eller negativt)
q
og q er et helt positivt tal. Skrevet som decimalbrøk er rationelle tal periodiske,
dvs. at de ender med en cifferrække (specielt ét ciffer), som bliver ved at
gentage sig, f.eks. cifret 0. Mængden af rationelle tal har samme kardinalitet
som mængden af naturlige tal, nemlig ℵ0. Se også aleph (SB4)
Realisme: (SB6)
Reelle tal: Alle uendelige decimalbrøker. Omfatter de rationelle tal og de irrationelle
tal. Kan parres med punkterne på en ret linie. Kaldes også den reelle
talakse eller kontinuet. Har større kardinalitet end de naturlige tal. Se kontinuumshypotesen.
(SB4)
Rekursiv mængde: En delmængde af en numerabel mængde, hvor både mængden
selv og dens komplement er rekursivt numerable. (S10)
Rekursivt numerabel mængde: En delmængde af en numerabel mængde, for
hvilken det gælder, at der findes en effektiv procedure til afgørelse af positivt
medlemskab, dvs. en procedure eller algoritme, som på et eller andet tidspunkt
vil stoppe, hvis et givet element er med i den rekursivt numerable
mængde. En procedure, som ét efter ét genererer ethvert af en delmængdes
elementer, definerer dermed delmængden som rekursivt numerabel. Der findes
rekursivt numerable mængder, som ikke er rekursive. (S10)
Relation: (SB9)
Relativ topologi: Se induceret topologi.
Sammenhæng (eng. connectedness): (SB7; SB9). Se også lokal sammenhæng.
Sansekategorier: (SB12; SB19)
Semantik: (SB5)
Standardtopologien på mængden af reelle tal R: (SB7)
Standardtopologien på mængden af reelle tal R 2 : (SB8)
Standardtopologien på mængden af rationelle tal Q: (SB8)
Styrke af axiom: (SB6)
SU-rum: (SB16, afsnit 2)
Subbasis eller subbase: (SB15, afsnit 3)
347
.