definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] e il vettore di posizione di ognuna delle cariche che generano il campo medesimo). ◆ [ANM] [FAF] Principio di d. interna: v. analisinonstandard: I 147 e. ◆ [FAF] Relazione di d.: a seconda dei casi, lo stesso che d. formale (v. sopra) oppure d ...
Leggi Tutto
infinitesimo
infinitèsimo [agg. e s.m. Der. di infinito con il suff. -esimo dei numeri ordinali] [LSF] Oltre che nel signif. matematico, il termine è assai usato nella fisica per indicare una grandezza [...] cioè come una quantità che tende ad annullarsi; in tempi recenti, una teoria degli i. è stata sviluppata nell'ambito dell'analisinonstandard. ◆ [ANM] Ordine di i.: se u e v sono due i. simultanei, per es. due funzioni della variabile x che tendono ...
Leggi Tutto
Matematico statunitense (Decatur, Georgia, 1932 - Princeton, New Jersey, 2014), prof. di matematica all'Università di Princeton (dal 1964). Membro della National academy of sciences (dal 1997) e dell'American [...] N., per es., la definizione utilizzata attualmente di differenziale stocastico. È stato anche tra i primi a utilizzare l'analisinonstandard introducendo la teoria degli insiemi interni, che è uno dei modi possibili di ampliare l'insieme dei numeri ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] Da allora, soprattutto dopo i contributi di studiosi come Peter A. Loeb, H. Jerome Keisler, Edward Nelson, l'analisinonstandard è divenuta una disciplina matematica autonoma, ma è nella teoria dei modelli che trova la sua giustificazione e origine ...
Leggi Tutto
sigma
sigma [Lat. sigma, gr. sígma] [LSF] La 18a lettera dell'alfabeto gr., corrispondente alla s lat.; la forma min. è σ, quella maiusc. Σ. ◆ [ALG] Σ è il simb. di una sommatoria o di una serie. ◆ [FSN] [...] ◆ [PRB] S.-algebra (σ-algebra) predicibile: v. processi di punto: IV 601 a. ◆ [ANM] S.-saturazione (σ-saturazione): v. analisinonstandard: I 145 e. ◆ [ANM] Funzione s. (σ) di Weierstrass: funzione analitica σ(u) di una variabile complessa u che si ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] spazio su cui l'operatore H è definito. ◆ [ANM] Principio della c.: è il principio fondamentale su cui si basa l'analisinonstandard: v. analisinonstandard: I 145 e. ◆ [FAF] Teorema di c. e di c. forte: v. logica: III 485 c, d. ◆ [FAF] Teorema di ...
Leggi Tutto
ultrafiltro
ultrafiltro [Comp. di ultra- e filtro] [CHF] Membrana filtrante con cui si opera l'ultrafiltrazione di sostanze colloidali, costituita assai spesso da una pellicola di collodio o di altro [...] sia massimale rispetto alla relazione di inclusione, cioè tale che non esista un nuovo filtro F' contenente F, come si contenenti I'. ◆ [ALG] Teorema dell'u.: in un'algebra di Boole ogni filtro è contenuto in un u.: v. analisinonstandard: I 145 a. ...
Leggi Tutto
ultraprodotto
ultraprodótto [Comp. di ultra e prodotto] [ALG] Operazione tra opportuni sottoinsiemi di particolari tipi di insiemi; precis., sia dato un insieme I e per ogni i∈I siano Ai un'interpretazione [...] su I, è possibile definire una speciale relazione di equivalenza su A e, in conseguenza, un u. Ui come opportuno insieme quoziente; se, in partic., tutti gli u. Ui sono uguali tra loro, si parla di ultrapotenza: v. analisinonstandard: I 145 b. ...
Leggi Tutto
monade
mònade [Der. del lat. monas -adis "unità", dal gr. monás -ádos da mónos "uno solo"] [FAF] Seguendo la definizione di G.W. Leibniz (1696), adattata al successivo sviluppo che il concetto ha avuto [...] in gran numero, costituiscono i particolari sistemi fisici che sono oggetto di studio della meccanica statistica, qual è, come tipico esempio, un gas. ◆ [FAF] [ANM] Con signif. particolare nella logica matematica: v. analisinonstandard: I 145 d. ...
Leggi Tutto
Nelson Joseph Edward
Nelson 〈nèlsn〉 Joseph Edward [STF] (n. Decatur, Georgia, 1932) Prof. di matematica nell'univ. di Princeton (1970). ◆ [PRB] Formule di N.: v. equazioni differenziali stocastiche: [...] II 468 c. ◆ [PRB] Stima di N.: v. processi di punto: IV 603 f. ◆ [PRB] Teoria di N.: lo stesso che teoria degli insiemi interni (IST): v. analisinonstandard: I 148 a. ...
Leggi Tutto
standard aperto
loc. s.le m. Standard fornito di documentazione pubblica e che può essere utilizzato liberamente; con particolare riferimento ai sistemi aperti dell’informatica. ◆ Succedono dunque delle cose apparentemente paradossali: che...
trama
s. f. [lat. trama (nel sign. 1 a), voce d’incerta origine]. – 1. a. Nell’industria tessile, il filo (filo di trama) che costituisce la parte trasversale del tessuto: avvolto sulle spole, che sono montate al telaio, viene introdotto per...