proprieta
proprietà (pop. propietà) s. f. [dal lat. propriĕtas -atis, der. di proprius «proprio»]. – 1. a. Qualità propria e particolare che un essere, un corpo, una sostanza (o anche una specie) ha [...] e sim. (p. associativa, commutativa, distributiva, ecc.), v. i singoli aggettivi. Per p. caratteristica in teoria degli insiemi, v. insieme, n. 2 b. P. invarianti, le proprietà (per es. di una figura geometrica) che rimangono inalterate qualora si ...
Leggi Tutto
proprio
pròprio (pop. pròpio) agg. e avv. [dal lat. proprius, prob. dalla locuz. pro privo «a titolo privato, personale»]. – 1. a. Che appartiene a una determinata persona, che è veramente suo e non [...] ) e che varia secondo il tempo liturgico e le festività; come s. m., con valore neutro, il p. di una messa, l’insieme degli elementi proprî; il p. dei santi, di una diocesi, di un ordine religioso, parti del messale e del breviario romano in cui ...
Leggi Tutto
categoria
categorìa s. f. [dal gr. κατηγορία «imputazione, predicato, attributo», der. di κατηγορέω «accusare, affermare, asserire»; lat. tardo categorĭa]. – 1. In generale, il predicato di una proposizione, [...] in comune: le c. meno abbienti; appartieni anche tu alla c. dei fortunati. Con accezioni più particolari: a. L’insieme di coloro (c. professionale o sindacale) che, nei settori produttivi, esercitano la medesima attività produttiva o come datori di ...
Leggi Tutto
trasformazione
trasformazióne s. f. [dal lat. transformatio -onis, der. di transformare «trasformare»]. – 1. L’atto, l’azione o l’operazione di trasformare, il fatto di trasformarsi o di venire trasformato, [...] , simmetrie assiali e centrali, ecc.), le omotetie, e più in generale le proiettività. Gruppi di trasformazioni, opportuni insiemi di trasformazioni che formano gruppo (nel sign. 2 f); rispetto a ciascuno di tali gruppi determinate proprietà delle ...
Leggi Tutto
sopralineatura
(o soprallineatura) s. f. [der. di sopral(l)ineare]. – Nella scrittura matematica e scientifica, particolare soprassegno costituito da una lineetta orizzontale posta immediatamente al [...] la lunghezza del segmento AB; in statistica, X− il valor medio della variabile casuale X; in teoria degli insiemi A− è il complementare dell’insieme A; in logica matematica p̄ è la negazione della proposizione p; in topologia S− è la chiusura dell ...
Leggi Tutto
appartenenza
appartenènza s. f. [der. di appartenere; nel sign. concr., dal lat. mediev. appertinentia]. – 1. a. L’appartenere, il fatto di appartenere: l’a. a un partito politico, a un gruppo, a una [...] », «passare per un punto, o per una retta», e che hanno pertanto carattere grafico. b. Nella teoria degli insiemi e in logica matematica si dice che un oggetto a appartiene all’insieme I se a è un elemento di I: in questo caso si dice che tra a e I ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso [...] Y (il cui sottoinsieme costituito dagli elementi che corrispondono a elementi di X è detto codominio o insieme di variabilità). d. Ai sign. prec. si ricollega la locuz. di uso com. in funzione di, in relazione con, in dipendenza da: il ritmo di ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, [...] intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo; e teorema (o principio) di r., che può essere così enunciato: se all’interno di una formula si rimpiazza una parte di essa con una formula ...
Leggi Tutto
polidromo
polìdromo agg. [comp. di poli- e -dromo]. – In matematica, di ogni funzione (in partic., di variabile complessa) che, per una scelta generica della o delle variabili indipendenti, assume più [...] usa l’agg. plurivoco. Il termine, contrapposto a monodromo, è attualmente poco frequente dal momento che, nella teoria degli insiemi, non si accettano, in genere, funzioni polidrome; è invece di uso frequente in fisica, per qualificare il potenziale ...
Leggi Tutto
sequente
sequènte s. m. [dall’ingl. sequent, nel sign. di «conseguente»]. – In logica matematica, coppia di insiemi di formule, dette rispettivam. premesse e conclusioni; il sequente è valido se dalla [...] congiunzione delle premesse si deduce la disgiunzione delle conclusioni ...
Leggi Tutto