proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato ...
Leggi Tutto
Capelli Alfredo
Capélli Alfredo [STF] (Milano 1855 - Napoli 1910) Prof. di algebra nell'univ. di Palermo (1881) e poi (1884) di Napoli. ◆ [ALG] Matrice di C.: v. oltre: Teorema di Rouché-Capelli. ◆ [ALG] [...] Teorema di C.: teorema che caratterizza i generatori del centro dell'algebra inviluppante: v. invarianti, teoria degli: III 286 f. ◆ [ALG] Teorema di Rouché-C.: un sistema di m equazioni lineari in n incognite è compatibile se, e soltanto se, il ...
Leggi Tutto
Banach Stefan
Banach 〈bànak〉 Stefan [STF] (Cracovia 1892 - Leopoli 1945) Prof. (1924) nell'univ. di Leopoli. ◆ [ALG] Algebra di B. (propr., algebra commutativa di B.): è un'algebra nella quale si sia [...] di Cauchy converge a un elemento dello spazio; per es., uno spazio di Hilbert: v. funzionale, analisi: II 771 a. ◆ [ALG] Teorema di B.-Alaoglu: v. algebre di operatori: I 98 a. ◆ [ALG] Teorema di B.-Steinhaus: v. funzionale, analisi: II 770 f. ...
Leggi Tutto
categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta [...] appunto la struttura chiamata categoria. La teoria delle c. è importante nei problemi di classificazione di teorie algebriche o analitiche; per es., v. algebre di operatori: I 95 a. ◆ [FAF] Ciascuno dei concetti generali ai quali si può fare ricorso ...
Leggi Tutto
topologia
topologìa [Comp. di topo- e -logia] [LSF] Per estensione del signif. nell'algebra (v. oltre), il termine indica anche la forma intrinseca di una struttura, cioè la forma che attiene alle proprietà [...] , analisi: II 770 a. ◆ [ALG] T. differenziale: lo studio delle proprietà topologiche delle varietà e delle applicazioni differenziabili. ◆ [ALG] T. di un'algebra di von Neumann (t. debole, σ-debole, della norma, forte, *forte, σ-forte, σ-*forte): v ...
Leggi Tutto
Ascoli Guido
Àscoli Guido [STF] (Trieste 1843 - Milano 1896) Prof. (dal 1872) di algebra e calcolo al politecnico di Milano. ◆ [ANM] Teorema di A.-Arzelà: v. funzionale, analisi: II 770 b. ...
Leggi Tutto
Cayley Arthur
Cayley 〈kèili〉 Arthur [STF] (Richmond, Surrey, 1821 - Cambridge 1895) Prof. di algebra nell'univ. di Cambridge (1881); socio straniero dei Lincei (1875). ◆ [ALG] Rigata di C.: caso limite [...] della rigata cubica generale, che si ha quando le due direttrici sono rette parallele. ◆ [ALG] Teorema di C.: ogni gruppo di ordine n è isomorfo a un sottogruppo del gruppo simmetrico Sn. ◆ [ALG] Teorema ...
Leggi Tutto
Arzela Cesare
Arzelà Cesare [STF] (Santo Stefano di Magra 1847 - ivi 1912) Prof. di algebra nell'univ. di Palermo (1878) e poi di calcolo infinitesimale in quella di Bologna (1880). ◆ [ANM] Teorema di [...] Ascoli-A.: v. funzionale, analisi: II 770 b ...
Leggi Tutto
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
algebraico
algebràico agg. [der. di algebra] (pl. m. -ci), ant. – Algebrico: più quantità complesse a. ammettono un comune divisore (Beccaria); gli uomini del dì d’oggi vogliono dappertutto analisi, dimostrazioni e ciffre a. (A. Verri).