PSYKENS TOPOLOGI - Niels Engelsted

Symmetri: (SB7)
Syntaks: (SB5)
Theorem: (SB5)
Tom mængde, Ø (eng. the empty set): En mængde uden elementer, dvs. med nul
elementer. Hvis to mængder er adskilte, dvs. ingen fælles elementer har, er
deres fællesmængde tom. (SB3)
Topologi: (SB7; SB9)
Topologisk afbildning: Se homeomorfi.
Topologisk invariant: (SB9)
Topologisk rum: (SB7)
Topologisk ækvivalens: Se homeomorfi.
Trivielt rum: (SB7)
Turing: (S10)
Tynd: Det samme som co-tæt (SB15, afsnit 5)
Tællelig (eng. countable): En mængde er tællelig, hvis den er endelig eller numerabel.
(SB4)
Tæt eller over-alt-tæt (eng. dense): (SB15, afsnit 5)
Tæt-i-sig-selv eller i-sig-selv-tæt (eng. dense in itself): (SB15, afsnit 5)
Uafhængighed: (SB5)
Udvalgsaxiomet (eng. Axiom of Choice, tysk das Auswahlaxiom): Hævder
groft sagt, at der eksisterer mængder, som ikke er defineret ved nogen eksplicit
regel for deres konstruktion, såkaldte ikke-konstruktive mængder. Se den
opsummerende diskussion i afsnittet "Modelteori" i SB6. Se også udvalgsfunktion.
(SB2; 16.12.94; 19.12.94; 06.01.95; SB6)
Udvalgsfunktion (eng. choice function): For en given mængde M er en udvalgsfunktion
en funktion, som til enhver ikke-tom delmængde af M udvælger et
element i delmængden. Udvalgsaxiomet hævder, at en sådan udvalgsfunktion
altid eksisterer, selv om den ikke kan formuleres som en forskrift, dvs. som
en eksplicit regel, eller konstruktivt. (06.01.95; SB6)
Udvalgskategorier: (SB13)
Uendelig (eng. infinite): En mængde er uendelig, hvis den kan parres med en
ægte delmængde af sig selv. Se også aleph, Dedekind-endelig og kardinalitet.
(SB4)
Ufuldstændigheds-sætninger: (SB6)
348