PSYKENS TOPOLOGI - Niels Engelsted

Indre (eng. interior): (SB8)
Indre punkt: (SB8)
Induceret topologi: (SB8)
Inkonsistens: Et sæt påstande er inkonsistent, hvis der fra det kan deduceres en
kontradiktion (syntaktisk inkonsistens), eller hvis der ikke eksisterer et objekt
(en interpretation eller en model), som tilfredsstiller sættet (semantisk inkonsistens).
(16.12.94; SB5)
Intension: Den måde, hvorpå elementerne i en mængde er udvalgt, f.eks. ved
opregning, ved angivelse af et eksplicit kriterium for medlemskab, ved en regel
for konstruktion eller ved henvisning til udvalgsaxiomet. (16.12.94)
Interpretation: En mængde matematiske objekter er en interpretation af et sæt
axiomer, hvis de variable termer i axiomerne kan tolkes som beskrivelse af
objekterne. (SB5)
Intuitionisme: En radikal udgave af konstruktivismen, som hævder, at et matematisk
objekt først eksisterer, når det er konstrueret af en person under anvendelse
af en eksplicit regel. (19.12.94)
Invers afbildning/funktion: (SB9)
Irrationelle tal: Reelle tal, som ikke er rationelle tal. F.eks. π og 2 . (SB4;
SB8)
Isoleret punkt: (SB15, afsnit 5 og 10)
Karakteristisk funktion: En delmængde A i en mængde B har en karakteristisk
funktion i forhold til B, dvs. en funktion fra B ind i mængden {0,1}, som tilskriver
et element i B værdien 1, hvis det er element i A, og værdien 0, hvis
det ikke er element i A. (SB4)
Kardinalitet: To uendelige mængder har samme kardinalitet, hvis deres elementer
kan parres med en én-éntydig funktion. En mængde har større kardinalitet
end en anden mængde, hvis der ved enhver mulig parring mellem
delmængder i den ene og den anden, altid bliver uparrede elementer tilbage i
den første. Se også aleph. (SB4; SB6)
Kommutativ lov: I mængdealgebraen den regel, der siger, at ved dannelse af
fællesmængde og foreningsmængde er rækkefølgen af mængderne ligegyldig
(SB3). Altså
A∩B=B∩A og A∪B=B∪A
Kompakthed: (SB9)
Kompakt-åben topologi for kontinuerte funktionsrum: (SB21, afsnit 33 og 67)
344