Dominio e codominio: differenze tra le versioni
Riga 29: | Riga 29: | ||
Da un punto di vista puramente computazionale, ovvero se ci si interessa alle sole immagini <math>f(x)</math> dei singoli elementi del dominio, si considera il solo insieme delle immagini, o [[immagine (matematica)|immagine]] |
Da un punto di vista puramente computazionale, ovvero se ci si interessa alle sole immagini <math>f(x)</math> dei singoli elementi del dominio, si considera il solo insieme delle immagini, o [[immagine (matematica)|immagine]] |
||
<math>f(X)=\{f(x)\mid x\in X\}</math> |
<math>f(X)=\{f(x)\mid x\in X\}</math>, |
||
che è un sottoinsieme del codominio. |
che è un sottoinsieme del codominio. |
||
Versione delle 18:08, 1 mar 2015
In matematica il dominio e il codominio di una funzione sono gli insiemi su cui è definita la funzione, che manda ogni elemento del dominio in un elemento del codominio.
Definizione di funzione
In matematica una funzione è il dato di tre oggetti: un dominio , un codominio e una legge che associa ad ogni elemento di uno e un solo elemento di che viene indicato . Una funzione viene definita indicando tutti e tre questi oggetti, che vengono raccolti nella notazione
o nella notazione equivalente
È importante notare che il dominio e il codominio devono essere definiti prima della legge di applicazione, e che tutti assieme questi oggetti definiscono una funzione. In particolare, senza indicare il dominio e il codominio non può essere definita alcuna funzione.
Ad esempio, per ogni insieme è ben definita una funzione identità su , con dominio , codominio e legge di applicazione :
Omettendo dominio e codominio, la sola legge di applicazione non è ben definita e non definisce alcuna funzione.
Insieme di definizione
In alcuni ambienti si usa sottintendere il dominio e il codominio di una funzione reale di variabile reale (cioè con dominio e codominio contenuti nell'insieme dei numeri reali) quando il dominio è pari all'insieme di definizione della funzione e il codominio è l'intero insieme dei numeri reali.
Ad esempio,
- nell'ambito delle funzioni reali di variabile reale, potrebbe sottointendere un dominio e un codominio ;
- ha certamente dominio e codominio ;
- ha certamente dominio e codominio .
Dunque nel sottintendere dominio e codominio, ci si limita a sottoinsiemi dei numeri reali e si rinuncia a studiare le proprietà di una funzione (come iniettività, suriettività, morfismo).
Insieme delle immagini
Come il dominio, anche il codominio è parte integrante della definizione di funzione, e senza di esso non è possibile definire una legge di applicazione.
Da un punto di vista puramente computazionale, ovvero se ci si interessa alle sole immagini dei singoli elementi del dominio, si considera il solo insieme delle immagini, o immagine , che è un sottoinsieme del codominio.
È sempre possibile definire una nuova funzione
che è talvolta identificata con la funzione stessa, pur avendo diverse proprietà (come suriettività o morfismo).
Ad esempio, nel calcolo di vengono identificate le due funzioni
anche se solo la seconda è un isomorfismo tra il gruppo e il gruppo .
Voci correlate
Bibliografia
- G. Zwirner, L. Scaglianti, Itinerari di matematica vol 2, Padova, CEDAM, 1990, ISBN 88-13-16854-3