chiuso
chiuso [agg. Der. del part. pass. clausus "non aperto, dotato di un confine" del lat. claudere "chiudere"] [ALG] Campo algebricamente c.: → campo. ◆ [ALG] Curva c.: curva priva di estremi, cioè [...] è nullo: v. forme differenziali: II 686 d. ◆ [ALG] Insieme c.: ogni insieme del piano, dello spazio o, più in generale, di uno spaziotopologico che sia il complementare di un insieme aperto. ◆ [TRM] Sistema c.: sistema che può scambiare energia, ma ...
Leggi Tutto
simpliciale
simpliciale [agg. Der. dell'ingl. simplicial, da simplex (→ simplesso)] [ALG] (a) Relativo a un simplesso. (b) Composto di simplessi. ◆ [ALG] Approssimazione s.: di una varietà, quella ottenuta [...] costituita da triangoli con lati in comune, ecc. ◆ [ALG] Decomposizione, o reticolazione, s.: scomposizione di una varietà o di uno spaziotopologico in simplessi topologici; per es., una superficie sferica può essere suddivisa in triangoli sferici. ...
Leggi Tutto
separabile
separàbile [agg. Der. del lat. separabilis, da separare, comp. di se- "a parte" e parare "approntare"] [CHF] Di sostanza che possa essere separata, mediante metodi chimici o fisici (→ separatore), [...] essere integrati separatamente. ◆ [ANM] Polinomio s.: un polinomio p(x) di grado n in un campo C con radici distinte in C o anche in un altro campo compreso in C. ◆ [ALG] Spaziotopologico s.: lo stesso che spazio di Haus-dorff: → Hausdorff, Felix. ...
Leggi Tutto
Uryson Pavel Samuilovic
Uryson (o Urysohn) 〈urïsòn〉 Pavel Samuilovič [STF] (Odessa 1898 - Batz, Loira, 1924) Libero docente di matematica nell'univ. di Mosca (1921). ◆ [ALG] Lemma di U.: afferma che [...] disgiunti A e B, si può sempre trovare una funzione f tale che f(x)=0 se x∈A, f(x)=1 se x∈B, 0≤f(x)≤1 se x∉A⋃B. ◆ [ANM] Teorema di U.: ogni spaziotopologico normale, provvisto di una base numerabile di aperti, è omeomorfo a un sottospazio di uno ...
Leggi Tutto
accumulazione
accumulazióne [Der. del lat. accumulatio -onis "atto ed effetto dell'accumulare", dal part. pass. accumulatus di accumulare (→ accumulatore)] [FSN] Operazione per cui le particelle di [...] e di collisione. ◆ [ALG] [ANM] Punto di a.: (a) il limite di una sottosuccessione convergente di una successione; (b) un punto di uno spaziotopologico appartenente a un insieme A tale che in ogni suo intorno cadono infiniti elementi di A. ...
Leggi Tutto
Konigsberg
Königsberg 〈köʹönigsbër〉 [STF] Nome portato fino al 1946 dalla città capoluogo della Prussia Orientale, poi annessa all'URSS e chiamata Kalininingrad. ◆ [STF] [ALG] Problema dei sette ponti [...] uno dei primi problemi di topologia (L. Euler, 1736): determinare un cammino che li attraversi tutti una volta sola; fu poi dimostrato, con i metodi della moderna teoria dei grafi, che il problema non ha soluzione: v. spaziotopologico: V 466 Fig. 1 ...
Leggi Tutto
vicinanza
vicinanza [Der. di vicino "l'essere vicini"] [ALG] Funzione di v.: per un insieme P, è la funzione binomia V tale che: (a) AVB equivale a BVA per ogni A, B⊂P; (b) AV(B⋃C) è equivalente a AVB [...] oppure AVC per ogni A, B, C⊂P; (c) AVA equivale a A≠∅. Una tale funzione può generare una struttura di spaziotopologico su P. ◆ [ALG] Postulati della v.: sono i postulati cui deve soddisfare la funzione di v. (v. sopra) in un insieme P. ...
Leggi Tutto
retrazione
retrazióne [Der. del lat. retractio- onis, dal part. pass. retractus di retrahere "ritrarre", comp. di re- "indietro" e trahere "tirare"] [ALG] R. di uno spaziotopologico: per uno spazio [...] X su un suo sottospazio Y, la costruzione di un'applicazione continua f di X in Y per la quale tutti i punti di Y siano uniti; lo spaziotopologico Y si dice retratto di uno spazio X che lo contenga, se esiste una r. di X in Y. ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spaziotopologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
metricizzabile
metricizzàbile [Der. di metricizzare "dotare uno spazio di una metrica", da metrica] [ALG] Spazio m.: spaziotopologico tale che per esso si possa definire una metrica in modo che la topologia [...] indotta da tale metrica sia quella preesistente nello spazio. Lo studio delle condizioni necessarie e sufficienti perché uno spazio sia m. fu avviato nel 1924 ed è stato completamente risolto soltanto nel 1950. ...
Leggi Tutto
topologico
topològico agg. [der. di topologia] (pl. m. -ci). – Relativo alla topologia, nei suoi varî sign. In partic.: 1. In geografia, codice t., l’insieme dei segni di cui si serve la topologia per rappresentare i varî tipi di forme del...
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...