spaziospàzio [Der. del lat. spatium, probab. da patere "essere aperto"] [FAF] Con signif. intuitivo astratto e assoluto, il luogo illimitato in cui tutti gli oggetti materiali appaiono collocati, di [...] cui per ogni punto è definita una nozione di intorno, che permette di introdurre il concetto di continuità delle funzioni: v. spaziotopologico. ◆ [ALG] S. vettoriale: con rifer. a un campo K (reale, complesso o anche più generale), un insieme V di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] con Tullio Franzoni dal titolo Su un tipo di convergenza variazionale. Una successione di funzioni {fk(x)} definite su uno spaziotopologico X a valori reali (o reali estesi) γ-converge a f se per ogni punto x0∈X si verificano queste due ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] il prototipo di campo archimedeo totalmente ordinato; considerando poi come aperti gli intervalli aperti, R ha una struttura di spaziotopologico. ◆ [ALG] N. relativo: n. reale dotato di segno, positivo con il segno più e negativo con il segno meno ...
Leggi Tutto
topologiatopologìa [Comp. di topo- e -logia] [LSF] Per estensione del signif. nell'algebra (v. oltre), il termine indica anche la forma intrinseca di una struttura, cioè la forma che attiene alle proprietà [...] forte, *forte, σ-forte, σ-*forte): v. algebre di operatori: I 97 c e Tab. 4.1. ◆ [ALG] T. euclidea: v. spaziotopologico: V 468 a. ◆ [ALG] T. indotta e t. prodotto: v. spaziotopologico: V 468 e, 470 a. ◆ [ALG] T. relativa: lo stesso che t. indotta. ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] particolarizzando (ossia quantificando esistenzialmente) ogni sua variabile libera. ◆ [ALG] Assiomi di c.: le proprietà del-l'operazione di c. di uno spaziotopologico; dato un insieme A e denotata con [A] la sua c. si ha che: (a) A⊂[A] e A=[A] se ...
Leggi Tutto
Cantor Georg
Cantor 〈kantor〉 Georg [STF] (Pietroburgo 1845 - Halle 1918) Prof. di matematica nell'univ. di Halle (1872). ◆ [ANM] Funzione di C.: funzione f a valori reali definita nell'intervallo [0,1] [...] costante a tratti su un insieme di misura 1 e tale che f(0)=0, f(1)=1. ◆ [ALG] Insieme di C.: v. spaziotopologico: V 468 f. ◆ [ALG] Postulato di C.: due classi contigue di punti di una retta ammettono un elemento di separazione, ove per classi ...
Leggi Tutto
Borel Felix-Edouard-Emile
Borel ⟨borèl⟩ Félix-Edouard-Émile [STF] (Saint-Affrique, Aveyron, 1871 - Parigi 1956) Prof. di matematica nell'univ. di Parigi (1909); socio straniero dei Lincei (1918). ◆ [ANM] [...] Campo di B.: dato uno spaziotopologico e una famiglia M di insiemi in questo spazio, il più piccolo insieme di insiemi contenente M e chiuso rispetto alle operazioni di unione numerabile e di complemento. ◆ [ANM] Funzione e somma di B.: v. funzioni ...
Leggi Tutto
Baire Rene-Louis
Baire ⟨bèr⟩ René-Louis [STF] (Parigi 1874 - Chambéry 1932) Prof. nell'univ. di Montpellier (1902) e poi (1905) di Digione. ◆ [ANM] Classi di B.: appartengono alla classe 0 di B. le funzioni [...] somme di funzioni di B. appartenenti a classi <n. ◆ [ALG] Condizione di B. e misura di B.: un sottoinsieme A di uno spaziotopologico soddisfa la condizione di B. se esiste un insieme aperto O e due insiemi di prima categoria P1 e P2 tali che A=(O ...
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
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
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...