Von Neumann Johann Ludwig
Von Neumann (o von Neumann) 〈fòn nòüman〉 Johann Ludwig [STF] (Budapest 1903, nat. SUA - Washington 1957) Prof. di matematica nell'univ. di Princeton (1930), poi membro dell'Institute [...] misura secondo V.: v. misura in meccanica quantistica, teoria della: IV 8 e. ◆ [ALG] Teorema di densità di V.: v. algebre di operatori: I 98 c. ◆ [ALG] Teorema di unicità di V.: v. rappresentazioni delle relazioni di commutazione canoniche: IV 750 c ...
Leggi Tutto
Waring Edward
Waring 〈uèërin〉 Edward [STF] (Shrewsbury 1734 - ivi 1798) Prof. nell'univ. di Cambridge (1770). ◆ [ALG] Formule di W.: formule che permettono di esprimere xn+yn secondo le quantità x+y [...] y); x4+y4=(x+ y)4-4xy(x+y)2+2(xy)2. ◆ [ALG] Problema di W.: consiste nel trovare la dimostrazione del seguente teorema, che W. enunciò, senza dimostrarlo, nel 1770: "Per ogni numero intero n≥2 esiste un numero intero r, dipendente solo da n, tale che ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] ) richiede l'esame di informazioni a priori, che sono modificate dai dati in questione attraverso un'applicazione ripetuta del teorema di Bayes, portando infine a una nuova rappresentazione della realtà: v. statistica: V 589 b e, per es., biometria ...
Leggi Tutto
Clebsch Rudolf Friedrich Adolf
Clebsch 〈klèpc〉 Rudolf Friedrich Adolf [STF] (Königsberg 1833 - Gottinga 1872) Prof. di analisi matematica nel politecnico di Karlsruhe (1858) e poi nelle univ. di Giessen [...] che permette di decomporre una rappresentazione riducibile di un gruppo di Lie nella somma diretta di rappresentazioni irriducibili: v. gruppi di Lie: III 116 f. ◆ [ANM] Teorema di C.-Stokes, o di Helmholtz: v. campi, teoria classica dei: I 472 e. ...
Leggi Tutto
Chimica
Per la dinamica in chimica ➔ dinamica molecolare.
Economia
Per la dinamica in economia ➔ dinamica economica.
Fisica
Parte della meccanica che studia i movimenti dei corpi in relazione alle cause [...] di queste ultime si annulla (e per ciò basta, ma non occorre, che i vincoli siano privi di attrito e indipendenti dal tempo) il teorema delle forze vive si semplifica, per un generico sistema, in
,
e per il punto e per i sistemi rigidi in dT=dL(e,a ...
Leggi Tutto
Arnold Vladimir Igorevich
Arnold 〈àrnolt〉 Vladimir Igorevich [STF] (n. Odessa 1937) Prof. di matematica nell'univ. di Mosca (1963), poi (1986) nell'Istituto Steklov di Mosca; socio straniero dei Lincei [...] di A.-Eulero: v. moto, costanti del: IV 121 e. ◆ [MCS] Gatto di A.: denomin. scherzosa di un notevole modello di sistema dinamico: v. caos: sviluppi recenti: VI 619 c. ◆ [MCC] Teorema di A. e di A.-Liouville: v. moto, costanti del: IV 127 e. ◆ [MCC ...
Leggi Tutto
Radon Johann
Radon 〈ràadon〉 Johann [STF] (Dečin, Boemia 1887 - Vienna 1956) Prof. di matematica nell'univ. di Greifswald (1922), poi di Erlangen (1925) e infine di Breslavia (1928). ◆ [ANM] Decomposizione [...] R.: una delle possibili generalizzazioni della misura di Lebesgue: v. cammini aleatori: I 465 a e misura e integrazione: IV 6 e. ◆ [ANM] Teorema di R.-Nikodym: v. misura e integrazione: IV 4 f. ◆ [ANM] Trasformata di R.: v. analisi armonica: I 130 a. ...
Leggi Tutto
Parseval-Deschenes Marc-Antoine
Parseval-Deschênes 〈parsvàl-dëšènë〉 Marc-Antoine [STF] (Matematico a Parigi, ivi m. 1836) ◆ [ANM] Disuguaglianza di P.: v. oltre: Identità di Parseval. ◆ [ANM] Identità [...] ||v||2=Σnn==∞₁ |an|2||en||2, dove an=(v,en)/(en,en) e la norma è quella indotta dal prodotto scalare. Questa identi-tà, detta anche uguaglianza di P. o teorema di P., ha l'ovvio corollario (disuguaglianza di P.) ||v||2≥ Σnn==N₁ |an|2||en||2, con N ...
Leggi Tutto
Gram Jorgen Pedersen
Gram 〈gram〉 Jørgen Pedersen [STF] (Hadersleben 1850 - Copenaghen 1916) Cultore di matematiche. ◆ [ALG] Determinante di G.: per uno spazio vettoriale a n dimensioni in cui è definito [...] hermitiano; l'annullarsi di tale determinante è condizione necessaria e sufficiente perché i vettori siano linearmente dipendenti (teorema di Gram). ◆ [ALG] Metodo di ortonormalizzazione di G.-Schmidt: partendo da un insieme di vettori linearmente ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...