Nell’algebra, numero reale minore di zero; il concetto si estende a insiemi più generali di quello dei numeri reali, per es., a un corpo ordinato; per elementi n. si intenderanno allora quegli elementi [...] elemento si possa considerare sotto 2 e 2 soli aspetti, uno di essi si dice talvolta convenzionalmente positivo e l’altro n.; per es se una grandezza può assumere valori maggiori o minori di un suo determinato valore (per es., le temperature ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] . ◆ [ALG] Particolare tipo di struttura algebrica che si realizza quando in un insieme s'introducono due opportune leggi di composizione binaria, che godono di proprietà simili a quelle delle ordinarie operazioni di unione e d'intersezione nella ...
Leggi Tutto
corpo
Luca Tomassini
Consideriamo in un anello con unità A l’equazione ax=b, dove a,b sono elementi fissati e x un elemento ‘incognito’ di A. Un primo semplice caso è quello in cui a=0; poiché 0x=0 [...] di moltiplicazione sia commutativa è detto campo. Gli insiemi ℚ, ℝ e ℂ dei numeri rispettivamente razionali, reali e complessi sono campi. L’insiemealgebra. Nel caso in cui un dominio di integrità sia finito (ovvero costituito da un numero finito di ...
Leggi Tutto
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 [...] algebrica degli automi (semigruppi di automi). Un fatto, questo, che appare naturale a causa dell’enorme varietà di esempi di semigruppi tra i quali ricordiamo: insiemidi numeri chiusi per addizione o moltiplicazione, semigruppi di matrici, di ...
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 [...] quello degli operandi, per es. il prodotto scalare tra vettori. ◆ [ALG] O. interna: o. algebrica il risultato della quale appartiene allo stesso insiemedi quello degli operandi, per es. le operazioni elementari. ◆ [INF] O. logiche elementari: le due ...
Leggi Tutto
mappa
mappa [Lat. mappa, di origine punica] [LSF] Ogni rappresentazione grafica piana di una porzione della superficie terrestre (lo stesso che carta geografica o topografica) e, estensiv., della superficie [...] corpo in genere. ◆ [ALG] (a) Generic., sinon. di applicazione nella teoria degli insiemi e di morfismo nell'algebra astratta. (b) Con signif. specifico, data un'applicazione biunivoca e bicontinua tra due spazi topologici S e S' che applichi l'aperto ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] che ha uguale modulo e uguale direzione rispetto a v, ma verso opposto; (e) nella teoria degli insiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logica matematica, indica la negazione; per es ...
Leggi Tutto
Bourbaki Nicolas
Bourbaki 〈burbakì〉 Nicolas [ALG] [ANM] Pseudonimo sotto il quale un gruppo di matematici francesi (tra cui H. Cartan, C. Chevalley, J. Dieudonné, A. Weil) a partire dal 1939 iniziò a [...] , cioè una sintesi dei suoi diversi rami analizzandone le strutture fondamentali profondamente connesse, partendo dalla teoria degli insiemi, dall'algebra astratta e dalla topologia generale; tale movimento di pensiero matematico è detto bourbakismo. ...
Leggi Tutto
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
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...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...