rotore
rotóre [Der. di rotazione] [ALG] [ANM] (a) R. di un campo tensoriale: v. tensore: VI 129 d. (b) R. di un vettore: operatore differenziale su un campo vettoriale, detto anche rotazione e rotazionale, [...] il r. è diverso da zero, intorno ai quali s'avvolgono linee del campo) e il cui flusso è collegato dal teorema di Stokes della circuitazione all'operatore integrale circuitazione (v. campi, teoria classica dei: I 470 f). La sua denomin. deriva dal ...
Leggi Tutto
Poncelet Jean-Victor
Poncelet 〈ponslé〉 Jean-Victor [STF] (Metz 1788 - Parigi 1867) Dapprima nel genio militare, poi prof. di meccanica applicata a Metz (1825) e poi a Parigi (1838). ◆ [ALG] Formula di [...] P.: serve per il calcolo di un integrale definito, deducendolo dall'area di una figura trapezoidale opportunamente costruita. ◆ [ALG] Teorema di P.: date due coniche in un piano, se esiste un poligono di n lati inscritto nella prima conica e ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] triangolare e di due volte l’(n–1)-esimo n. triangolare; se ne deduce che l’n-esimo n. pentagonale è n(3n–1)/2. Il teorema dei n. pentagonali, dovuto a Eulero esprime la funzione
Φ(x) = (1−x) (1−x2) (1−x3) … (1−xn) …
(introdotta anch’essa da Eulero e ...
Leggi Tutto
De Rham Georges
De Rham 〈dë ram〉 Georges [STF] (n. Roche 1903) Prof. di matematica nell'univ. di Ginevra (1936) e poi di Losanna (1943). ◆ [ALG] Complesso di D.: v. operatori, indici di: IV 300 e. ◆ [...] di coomologia di D.: una delle costruzioni fondamentali della topologia algebrica: v. forme differenziali: II 686 e. ◆ [ALG] Teorema di D.: teorema di topologia algebrica per le forme differenziali in una varietà: v. forme differenziali: II 688 b. ...
Leggi Tutto
In matematica una distribuzione p-dimensionale ϑ su una varietà differenziale si dice distribuzione involutiva se, considerati due qualsiasi campi di vettori X, Y appartenenti a ϑ (ossia appartenenti agli [...] spazi che costituiscono ϑ), anche il loro commutatore [X,Y] appartiene alla distribuzione. L’importanza delle distribuzioni i. sta nel fatto che, a norma del teorema di Frobenius, una tale distribuzione è sempre integrabile. ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] parole e segni, costituito secondo certe regole sintattiche, con il quale si esprime una proposizione; in partic., e. di un teorema è l'insieme delle frasi coordinate con cui si dichiara che cosa s'intende dimostrare (tesi) e sotto quali condizioni ...
Leggi Tutto
corrispondente
corrispondènte [agg. Der. del part. pres. correspondens -entis del lat. mediev. correspondere "essere conforme", comp. di cum "con" e respondere] [LSF] Di ente che è in corrispondenza [...] denomin. di certe coppie di angoli formate da una retta che taglia rette parallele: → angolo: A. piano. ◆ [FML] Legge, o principio, o teorema, degli stati c.: afferma che i gas con gli stessi valori dei parametri ridotti pR (pari a p/pc, dove p è la ...
Leggi Tutto
Lagrange Giuseppe Luigi
Lagrange 〈lagràngë〉 (it. Lagràngia) Giuseppe Luigi (in fr. Joseph-Louis) [STF] (Torino 1736 - Parigi 1813) Prof. di matematica nella Scuola di artiglieria a Torino (1755), poi, [...] è nyα=n'y'α' (v. fig.). ◆ [OTT] Invariante integrale di L.: v. ottica geometrica: IV 384 f. ◆ [MCC] Inversione del teorema di L.-Dirichlet: v. stabilità del moto: V 579 d. ◆ [ANM] Metodo di L.: v. equazioni differenziali ordinarie nel campo reale: II ...
Leggi Tutto
Gel'fand Izrail' Moiseevich
Gel'fand (anche Gelfand) 〈gÝèlfant〉 Izrail' Moiseevich [STF] (n. Krasnye Okny, Odessa, 1913) Prof. nell'univ. di Mosca (1931); socio straniero dei Lincei (1989). ◆ [ALG] Algebra [...] di G. o di G.-Dikii: v. hamiltoniani, sistemi infinito-dimensionali: III 145 e. ◆ [ANM] Teorema di G.-Naimark: v. algebre di operatori: I 95 a. ◆ [ANM] Teorema di ricostruzione di G.-Neumark-Segal: v. rappresentazioni delle relazioni di commutazione ...
Leggi Tutto
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c). ...
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...