morfismi
Luca Tomassini
Elementi appartenenti a un’arbitraria categoria che hanno il ruolo di mappe da un oggetto all’altro. Spesso, è utilizzata la definizione alternativa di freccia. Esempi di morfismi [...] frecce, α:A→B. I morfismi di una categoria qualunque C formano un sistema chiuso sotto un’operazione binaria, detta moltiplicazione . Un isomorfismo è sempre un bimorfismo ma il viceversa non è vero in generale.
→ Algebra; Automi e linguaggi formali ...
Leggi Tutto
sigma
sigma [Lat. sigma, gr. sígma] [LSF] La 18a lettera dell'alfabeto gr., corrispondente alla s lat.; la forma min. è σ, quella maiusc. Σ. ◆ [ALG] Σ è il simb. di una sommatoria o di una serie. ◆ [FSN] [...] ai Σ con il quark s sostituito dal quark c (v. charm: I 574 c); sono le uniche particelle di questa classe finora osservate sperimentalmente (1996). ◆ [ANM] S.-algebra (σ-algebra) di insiemi: un'algebra di sottoinsiemi di un dato insieme che è chiusa ...
Leggi Tutto
Borel Felix-Edouard-Emile
Borel ⟨borèl⟩ Félix-Edouard-Émile [STF] (Saint-Affrique, Aveyron, 1871 - Parigi 1956) Prof. di matematica nell'univ. di Parigi (1909); socio straniero dei Lincei (1918). ◆ [ANM] [...] serie: VI 65 b, 64 f. ◆ [ANM] Spazio di B. standard: v. funzionale, analisi: II 770 c. ◆ [ANM] Tribù di B.: lo stesso che σ-algebra di B. (v. sopra). ◆ [ANM] σ-algebra di B.: lo stesso che campo di B. (v. sopra). È una nozione importante nella teoria ...
Leggi Tutto
discreto
discréto [Der. del part. pass. discretus "distinto, separato, non continuo" del lat. discernere "vedere distintamente", comp. di dis- e cernere "vagliare, separare"] [ELT] Elettronica d.: in [...] parla di gruppo d., algebra d., ecc. È d., per es., l'insieme dei punti del piano che hanno coordinate intere. ◆ [ANM] Misura d.: v. misura e integrazione: IV 2 b. ◆ [MCC] Sistema dinamico a tempo d.: v. sistemi dinamici: V 287 c. ◆ [OTT] Sorgente d ...
Leggi Tutto
operazione
operazióne [Der. del lat. operatio -onis, da operari "operare, lavorare", a sua volta da opus -eris "lavoro"] [LSF] Procedimento che costruisce un ente matematico, logico o fisico, detto risultato [...] elementari. ◆ [INF] O. logiche elementari: le due operazioni di somma e di prodotto dell'algebra booleana: v. circuiti logici: I 618 c. ◆ [ALG] O. vettoriali elementari: sono la composizione, la decomposizione, il prodotto scalare (o interno ...
Leggi Tutto
abeliano
abeliano [agg. Der. del cognome di N.H. Abel] [ALG] Con il signif. di commutativo: algebra a., gruppo a. (v. gruppo: III 127 f). ◆ [ANM] Funzione a.: funzione che nasce dall'inversione di un [...] indipendenti (se p=1 si hanno le funzioni ellittiche). ◆ [ANM] Integrale a.: se f(x,y)=0 è l'equazione di una curva algebricaC, è, relativ. a C, ogni integrale del tipo ∫CR(x,y)dx, dove R(x,y) è una funzione razionale di x e y, e y si considera ...
Leggi Tutto
Von Neumann Johann Ludwig
Von Neumann (o von Neumann) 〈fòn nòüman〉 Johann Ludwig [STF] (Budapest 1903, nat. SUA - Washington 1957) Prof. di matematica nell'univ. di Princeton (1930), poi membro dell'Institute [...] stessa città (1933); socio straniero dei Licei (1956). ◆ [ALG] Algebre di V.: v. algebre di operatori: I 97 e. ◆ [ALG] Algebre di V. abeliane: v. algebre di operatori: I 98 c. ◆ [ALG] Algebre di V. approssimativamente di dimensione finita (AFD): v ...
Leggi Tutto
Cartan Elie
Cartan 〈kartàn〉 Elie [STF] (Dolomieu 1869 - Parigi 1951) Prof. di geometria superiore nell'univ. di Parigi (1909); socio straniero dei Lincei (1927). ◆ [ALG] Algebra di C.: data un'algebra [...] dei: III 113 b. ◆ [ALG] Classificazione di C.: classificazione delle algebre di Lie: v. gruppi di Lie: III 115 c. ◆ [ALG] Criterio di C.: dà una condizione necessaria e sufficiente perché un'algebra di Lie sia semisemplice: v. gruppi classici, teoria ...
Leggi Tutto
complemento
compleménto [Der. del lat. complementum, da complere "completare, portare a compimento"] [LSF] Ciò che completa una cosa. Il termine indica spesso un ente complementare: per es., c. di un [...] all'unità: per un dato numero n, è il numero che, sommato al dato, dà l'unità, cioè il numero 1-n. ◆ [ALG] C. di un'algebra booleana: per un sottoinsieme A di un insieme I, l'insieme degli elementi di I non appartenenti ad A; è detto anche negazione ...
Leggi Tutto
classificazione
classificazióne [Atto ed effetto del classificare "ordinare in classi"] [ALG] C. di fibrati: v. fibrato: II 571 c. ◆ [ALG] [ANM] [FAF] Problema della c.: consiste nella scelta di un criterio [...] curve, superfici, ecc. in geometria; anelli, gruppi, ecc. in algebra; e così via). Si tratta di un problema di grande importanza un certo gruppo di trasformazioni, mentre, in ambito algebrico, prevale il criterio dell'isomorfismo, le classi essendo ...
Leggi Tutto
ciclo1 s. m. [dal lat. tardo cyclus, gr. κύκλος «cerchio, giro»]. – 1. In matematica, generalizzazione del concetto di linea chiusa; in algebra, sottogruppo ciclico di un gruppo. 2. In botanica, il complesso dei fillomi (foglie, antofilli, brattee)...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...