Particolare tipo di numeri che rappresentano una generalizzazione dei numeri complessi.
I q. costituiscono un corpo non commutativo e un’algebra non commutativa sul campo dei numeri reali. Introdotti da [...] il q. q̄/N(q), che si chiama inverso di q. e si indica con q–1 perché qq–1=q–1q=1. Un celebre teorema di G.F. Frobenius (1878) stabilisce anzi che l’algebra H è la sola algebra con divisione non commutativa sul campo reale R.
È stato osservato ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] si dovrà, tra l’altro, esigere che la teoria formalizzata sia semanticamente completa, cioè che ogni teorema dimostrabile nella teoria matematica originaria trovi il corrispettivo in una proposizione deducibile nella teoria formale. Nella scelta ...
Leggi Tutto
In geometria, superficie costituita da una semplice infinità di rette, dette generatrici; ogni linea tracciata sopra la r. e che intersechi la generatrice generica in un sol punto si dice direttrice della [...] , e se tutte le generatrici hanno tale carattere la r. si dice sviluppabile. Per le r. sghembe vale il teorema di Chasles, secondo il quale il fascio dei piani passanti per una generatrice è proiettivo alla punteggiata (la generatrice stessa ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] di Fermat': provare cioè che l'equazione xn+yn=zn non ha soluzioni intere positive se n>2. Dal teorema di Faltings segue che, per ogni n>2, il numero delle soluzioni primitive è comunque finito. Tuttavia la natura non effettiva dei suoi metodi ...
Leggi Tutto
Levy Paul Pierre
Lévy 〈levì〉 Paul Pierre [STF] (Parigi 1886 - Parigi 1971) Prof. di analisi nell'École Supérieure des Mines di Saint-Étienne (1910), poi di meccanica nell'École Nationale Supérieure des [...] [PRB] Misura di L.: è la misura che compare nella formula di L.-Kinchine. ◆ [PRB] Rappresentazione di L.-Kinchine: v. probabilità classica: IV 593 f. ◆ [PRB] Teorema di L.-Cramer: riguarda la somma di variabili casuali normali: → Cramer, Carl Harald. ...
Leggi Tutto
Concetto fondamentale nell’analisi matematica e nelle sue applicazioni che esprime, date due grandezze l’una funzione dell’altra (per es., in fisica, lo spazio percorso e il tempo impiegato a percorrerlo, [...] x) due funzioni continue in un intervallo chiuso [a,b] e derivabili nell’intervallo aperto (a,b), allora si applicano i teoremi seguenti.
Teorema di Rolle: se f(x) assume valori uguali in a e b, esiste almeno un punto interno all’intervallo in cui si ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] Crank-Nicolson (CN), uj+1−uj=(h/2)[f (xj,uj)f (xj+1,uj+1)]. Per l'analisi dell'errore di discretizzazione locale τj (h) si ricorre al teorema di Taylor: poiché f(xj,yj)=y′ (xj), si ottiene che τ(h)=O(h) per EA, mentre τ(h)=O(h2) per CN. Diremo che il ...
Leggi Tutto
Scienza indiana: periodo vedico. La matematica e l'astronomia nei testi vedici
Takao Hayashi
David Pingree
La matematica e l'astronomia nei testi vedici
Espressioni numeriche nei testi vedici
di Takao [...] di sette puruṣa quadrati e mezzo, l'altro di un puruṣa quadrato (prendendo m=1), poi li somma mediante il teorema di Pitagora ottenendo un quadrato che divide in 15 parti uguali (molto probabilmente di forma rettangolare) e trasforma infine due di ...
Leggi Tutto
conservazione
conservazióne [Der. del lat. conservatio -onis, "atto ed effetto del conservare", dal part. pass. conservatus di conservare (→ conservativo)] [FSN] C. della corrente vettoriale: v. interazioni [...] , di c.: l'equazione fra le grandezze interessate a una legge di conservazione. ◆ [LSF] Legge, o principio (talora anche teorema), di c.: generic., esprime il fatto che una data proprietà o grandezza si mantiene invariata nel corso di determinate ...
Leggi Tutto
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] relativi; si tratta quindi di un concetto semantico, a differenza del concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della teoria. ◆ [ASF] Di misura astrometrica ...
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...