transfinito
agg. [comp. di trans- e finito]. – In matematica, che va al di là del finito: numeri t., numeri, ideati dal matematico G. Cantor, che estendono al caso di insiemi con infiniti elementi i [...] un particolare tipo di ordinamento (detto buon ordine) e permette di estendere al caso infinito il procedimento del «contare»; mentre due insiemi ordinati finiti con lo stesso numero cardinale di elementi hanno lo stesso numero ordinale, nel caso di ...
Leggi Tutto
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro [...] e alle sue implicazioni logico-matematiche (per es., il p. di Russell, che può essere così enunciato: «l’insieme di tutti gli insiemi che non comprendono sé stessi come elemento comprende o no sé stesso come elemento?»; si verifica che, se tale ...
Leggi Tutto
insiemeinsième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: [...] da con o da a, forma una prep. composta; rimasi mezz’ora i. con lui; era i. a un amico. Talora si pospone: in su una sua nave con lui insieme n’andò in Cipri (Boccaccio). Con la prep. a o con taciuta (uso ant. e raro): si rauna A cantar le sue laude ...
Leggi Tutto
prodotto2
prodótto2 s. m. [part. pass. sostantivato di produrre]. – 1. Genericam., tutto ciò che la terra produce o che costituisce il risultato di una qualsiasi attività umana: p. agricoli, vegetali; [...] matrici, p. di un vettore per un numero reale, ecc., per i quali v. alle singole specificazioni. P. cartesiano di due insiemi A e B, l’insieme che ha per elementi tutte e sole le coppie ordinate in cui il primo elemento appartiene ad A e il secondo a ...
Leggi Tutto
tipo
s. m. [dal lat. typus, gr. τύπος «impronta; carattere, figura, modello», dal tema di τύπτω «battere»]. – 1. Con il sign. originario di impronta, fatta battendo o premendo, si conserva in due accezioni [...] oggetti, elementi, individui conformi a un determinato schema o modello, aventi caratteri simili che li accomunano tra loro e insieme li distinguono da altri. Nel linguaggio corrente, riferito soprattutto a oggetti o beni d’uso e prodotti commerciali ...
Leggi Tutto
corrispondenza
corrispondènza s. f. [der. di corrispondere]. – 1. a. Il corrispondere, il corrispondersi, come rapporto reciproco fra elementi diversi; quindi convenienza, proporzione, simmetria, o conformità: [...] . In partic.: c. univoca, quando a un elemento di A corrisponde un solo elemento di B (per es., per i due insiemi dei proprietarî di automobili e delle targhe di queste, a una data epoca a ciascuna targa corrisponde un solo proprietario), in contrapp ...
Leggi Tutto
meriedrico
merïèdrico agg. [comp. del gr. μερίς «parte» e ἕδρα «sede»] (pl. m. -ci). – In algebra astratta, isomorfismo m., oggi più comunem. detto omomorfismo o, più semplicem., morfismo, corrispondenza [...] tra due insiemi, dotati di certe strutture, che muta l’una nell’altra le due strutture rispettando le operazioni definite nei due insiemi. ◆ Avv. meriedricaménte, secondo un rapporto di isomorfismo meriedrico: insiemi meriedricamente isomorfi. ...
Leggi Tutto
inclusione
incluṡióne s. f. [dal lat. inclusio -onis]. – 1. a. L’atto, il fatto di includere, cioè di inserire, di comprendere in una serie, in un tutto (spesso contrapp. a esclusione): i. di un nome [...] della retorica latina, sinon. di anadiplosi. d. Nella teoria degli insiemi e in logica matematica, relazione d’i. tra due insiemi, relazione in base alla quale uno dei due insiemi contiene l’altro come proprio sottoinsieme. 2. Con senso concr., l ...
Leggi Tutto
unione
unióne s. f. [dal lat. tardo unio -onis, der. di unus «uno»]. – 1. L’azione e l’operazione di unire, il fatto di unirsi o di essere uniti con uno o più altri individui, enti, oggetti, parti o [...] dati (cioè al primo, o al secondo, o ad entrambi), e l’operazione stessa che ha come risultato tale insieme. 5. In grammatica, complemento di unione, complemento affine a quello di compagnia, ma costituito dal nome di un oggetto anziché da un nome ...
Leggi Tutto
intersezione
intersezióne s. f. [dal lat. intersectio -onis, der. di intersecare: v. intersecare]. – L’intersecarsi di due linee, di due piani, di una linea con un piano, ecc.; anche, in senso più concreto, [...] all’i. delle due strade. Con sign. specifico, nella teoria degli insiemi, il termine indica l’operazione (detta anche prodotto logico) che associa a due insiemi dati un nuovo insieme (detto anch’esso intersezione) formato dai punti comuni a quei due ...
Leggi Tutto