teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] uno stimolo essenziale alla crescita dell’analisi funzionale. Il risultato di principale importanza è in questo ambito il teorema di Hille-Yosida, che caratterizza completamente i semigruppi (regolari) a un parametro su spazi di Banach (ma anche ...
Leggi Tutto
C*-algebre
Luca Tomassini
Un’algebra normata (o algebra di Banach A) è un’algebra sul corpo dei numeri complessi ℂ dotata di una norma ∣∣∙∣∣ che soddisfa la relazione ∣∣ab∣∣≤∣∣a∣∣∙∣∣b∣∣, dove a e b [...] senso, le algebre presentate in (a) e (b) esauriscono la classe delle C*-algebre. Per quanto riguarda (a), il famoso teorema di Gelfand stabilisce infatti che ogni C*-algebra commutativa con unità è naturalmente isomorfa a uno spazio C0(X). Infine, è ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ...
Leggi Tutto
Lie Marius Sophus
Lie 〈lìi〉 Marius Sophus [STF] (Nordfijordeid 1842 - Christiania 1899) Prof. di matematica nell'univ. di Christiania, ora Oslo (1872), di Lipsia (1886) e ancora di Christiania (1898); [...] classici, teoria dei: III 113 c. ◆ [ALG] Rappresentazione delle algebre di L.: v. gruppi di Lie: III 116 e. ◆ [ALG] Struttura di L.: l'insieme delle costanti di struttura di L. (v. sopra). ◆ [ALG] Teorema di L.: v. moto, costanti del: IV 123 e. ...
Leggi Tutto
flusso
flusso [Lo stesso etimo di flussione] [MCF] (a) Scorrimento di un fluido, cioè sinon. di corrente (fluida, di cariche elettriche, ecc.), o di energia elettromagnetica (in partic. luminosa, radio, [...] per un campo vettoriale, lo stesso che linea del campo: v. campi, teoria classica dei: I 472 f. ◆ [ALG] Teorema del f. di Gauss: lo stesso che teorema di Gauss della divergenza: v. campi, teoria classica dei: I 470 f. ◆ [ALG] Tubo di f.: in un campo ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante ...
Leggi Tutto
modulo
mòdulo [Der. del lat. modulus, dim. di modus "misura"] [LSF] Termine, accompagnato da opportune qualificazioni, per indicare grandezze caratteristiche di certi fenomeni o di certi congegni: m. [...] di essa su A può essere estesa a un omomorfismo di F su A. ◆ [ALG] Principio del m. massimo: detto anche teorema di Cauchy-Liouville, afferma che se una funzione f(z) analitica per ogni z è limitata, allora è necessariamente costante: v. funzioni ...
Leggi Tutto
risolubilità per radicali
Umberto Bottazzini
Procedimento che permette di determinare le radici dell’equazione algebrica a0xn+a1xn−1+...+an=0 (a0≠0), a coefficienti reali o complessi, mediante un numero [...] sono allora date dalle soluzioni delle due equazioni di secondo grado
dove t0 è una radice della risolvente. Infine, il teorema di Ruffini-Abel stabilisce che le equazioni algebriche di grado superiore al quarto non sono in generale risolubili per ...
Leggi Tutto
somma
sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] che integrale sui cammini. ◆ [MCQ] Regola di s. per la compressibilità, per le f e del terzo momento: v. liquido quantistico di particelle cariche: III 435 b, f. ◆ [PRB] Teorema della s. delle variabili normali: v. dati, statistica dei: II 89 b. ...
Leggi Tutto
intersezione
intersezióne [Der. del lat. intersectio -onis, da intersecare, comp. di inter- e secare, e quindi "tagliare nel mezzo"] [ALG] L'incontrarsi di enti geometrici (due rette, una retta e un [...] P; si calcolano, a partire dalle coordinate di P₁ e P₂, il lato P₁P₂ e l'angolo di direzione α₁ del lato stesso; applicando il teorema dei seni si calcolano poi i lati P₁P e P₂P; per calcolare le coordinate x e y di P si hanno le relazioni: x=x₁+P₁P ...
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...