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 [...] ha un modello numerabile, cioè ha un modello il cui universo ha un'infinità numerabile di elementi. Si tratta di un teorema esistenziale non costruttivo, nel senso che non fornisce un procedimento per costruire il modello di cui afferma l'esistenza. ...
Leggi Tutto
Sturm Jacques-Charles-Francois
Sturm 〈sturm〉 Jacques-Charles-François [STF] (Ginevra 1803 - Parigi 1855) Prof. di matematica nell'École Polytechnique e nella Sorbona di Parigi. ◆ [OTT] Focali di S.: [...] di confronto di S.: v. equazioni differenziali ordinarie nel campo reale: II 462 c. ◆ [ANM] Teorema di S.: permette la determinazione del numero delle radici reali di un'equazione algebrica comprese in un dato intervallo: v. manipolazione algebrica ...
Leggi Tutto
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
In matematica, operazione eseguita su una funzione di variabile reale o complessa per determinare l’area delimitata dalla funzione stessa e dall’intervallo su cui è definita. Il termine s’incontra per [...] sulla f(x) segue che esiste almeno un valore c dell’intervallo per il quale μ=f(c). La formula precedente diviene allora (teorema della media o del valor medio):
e la retta y=μ prende il nome di retta di compenso del rettangoloide. Se le variabili ...
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
incremento
increménto [Der. del lat. incrementum, da increscere "aumentare"] [ALG] [ANM] Differenza tra due valori di una variabile (indipendente o dipendente), sinon. perciò di variazione (positiva [...] "); accanto a i. finiti si considerano anche i. infinitesimi. ◆ [PRB] Processo a i. indipendenti: v. processi stocastici: IV 608 c. ◆ [ANM] Teorema degli i. finiti: se f(x) e g(x) sono due funzioni continue in un certo intervallo I, esiste un punto ...
Leggi Tutto
unicita
unicità [Der. di unico] [LSF] L'essere unico, proprietà di quello che è unico; termine usato soprattutto nella matematica con rifer. a un certo ente che sia individuato univocamente da un altro [...] enti, come capita, per es., parlando della soluzione di equazioni. ◆ [ANM] Pricipio di u.: v. analisi armonica: I 125 c. ◆ [ANM] Teorema di u. per le equazioni differenziali ordinarie: v. equazioni differenziali ordinarie nel campo reale: II 449 b. ...
Leggi Tutto
Bochner Salomon
Bochner 〈bóknër〉 Salomon [STF] (Podgorze 1899 - Princeton, New Jersey, 1982) Prof. di matematica nell'univ. di Monaco di Baviera, poi nel-l'univ. di Princeton (1933). ◆ [ANM] Formula [...] di B.-Martinelli: v. trasformazione integrale: VI 300 c. ◆ [PRB] Funzione positiva definita nel senso di B.: v. distribuzioni di probabilità infinitamente divisibili: II 223 c. ◆ [ANM] Teorema di B.: v. funzioni di più` variabili complesse: II 774 f. ...
Leggi Tutto
inverso
invèrso [agg. e s.m. Dal lat. inversus, part. pass. di invertere "invertire"] [LSF] Di ente o fenomeno che è, completamente oppure per qualche verso, il contrario, il reciproco, l'opposto di [...] ab=c con b€0, allora c:b=a). ◆ [ALG] [ANM] Teorema i.: quello che s'ottiene scambiando tra loro l'ipotesi e la tesi di un teorema dato (che è il teorema diretto); non è detto che un teorema e il suo i. siano contemporaneamente veri oppure falsi, nel ...
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...