continuo, ipotesi del
continuo, ipotesi del o congettura di Cantor, assioma della teoria degli insiemi (→ Zermelo-Fraenkel, assiomi di) che si formula come segue: non esistono insiemi di cardinalità [...] nota come forcing, è proprio quello cercato. Cohen dimostrò così l’indipendenza dell’ipotesi del continuo dagli altri assiomi della teoria degli insiemi e quindi la sua indecidibilità all’interno della teoria di Zermelo-Fraenkel, anche aggiungendovi ...
Leggi Tutto
spazio normale
spazio normale spazio topologico X che soddisfa il seguente assioma di → separazione: per ogni coppia di chiusi C1 e C2 disgiunti, esiste una coppia di aperti A1 e A2 disgiunti tali che [...] nell’intervallo unitario (teorema di Tietze). Uno spazio normale che è anche T1 (ossia in cui vale l’assioma di separazione T1 o assioma di Fréchet) è uno spazio T4 (spazio di Tietze). In un qualsiasi spazio normale, non necessariamente T4, vale ...
Leggi Tutto
ammissibilita
ammissibilità [Der. di ammissibile "la proprietà di essere ammissibile"] [MCF] Assioma, o principio, di a.: v. fluidi strutturati, dinamica dei: II 642 c. ...
Leggi Tutto
Tietze, spazio di
Tietze, spazio di spazio normale in cui vale l’assioma di separazione (T1) (detto anche assioma di Fréchet), che stabilisce che, presi comunque due punti distinti dello spazio, esistono [...] l’uno, ma non l’altro. Lo spazio di Tietze, che prende nome dal matematico austriaco H. Tietze, è anche indicato come spazio (T4). Per le relazioni tra i diversi assiomi di separazione e i relativi spazi topologici si veda il lemma → separazione. ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...