Funzione (matematica)

Funcao venn.png In matematica, una funzione è una relazione tra due insiemi A e B, che ad ogni elemento di A fa corrispondere uno e un solo elemento di B. Il primo insieme della relazione è detto dominio, il secondo codominio.

Se una funzione pone un elemento "x" del dominio in corrispondenza con un elemento "y" del codominio, si dice che x è l'argomento della funzione, oppure la variabile indipendente, mentre e "y" il valore della funzione, oppure la variabile dipendente. Nel linguaggio informatico "x" è l' input della funzione e "y" è il corrispondente output.

Sinonimi di "funzione" sono: "applicazione", "operatore", "mappa", "relazione binaria univoca", "trasformazione".

Questo concetto è fondamentale in tutti i rami della matematica.

Esempi

I più semplici esempi di funzione sono quelli per cui sia il dominio che il codominio sono numeri. Per esempio, se a ogni numero associo il doppio di tale numero, ho una funzione.

Tuttavia, si parla di funzione anche quando il dominio o il codominio o entrambi non sono insiemi di numeri. Per esempio, se a ogni triangolo del piano associo il cerchio inscritto in tale triangolo, ho pure una funzione, in quanto per ogni triangolo esiste uno e un solo cerchio inscritto.

Inoltre spesso si parla di funzioni con più argomenti, o con più valori, per esempio la funzione che alle coordinate x, y, z di un punto nello spazio fa corrispondere temperatura T e pressione P dell'aria. In tal caso, la funzione ha in realtà sempre un solo argomento, che è la terna (x, y, z), e ha sempre un solo valore, che è la coppia (T, P).

Definizione

Dati gli insiemi

X

Y

, si chiama funzione da

X

Y

un sottoinsieme

f

del prodotto cartesiano

X \times Y

tale che per ogni

x \in X\;

, esiste uno ed un solo elemento

y \in Y\;

tale che

(x, y) \in f

. Tale elemento tradizionalmente si denota con

f(x)

: in altre parole, invece di scrivere

(x, y) \in f

possiamo usare la scrittura tradizionale

\,y=f(x)\;

Il fatto che $f$ è una funzione da $X$ in $Y$ che associa a $x$ l'elemento $f(x)$ si può esprimere con la scrittura:

\begin{matrix} f: & X & \rightarrow & Y \\ & x & \mapsto & f(x) \end{matrix}

L'insieme $X$ (da cui la funzione $f$ "prende" i valori) è il dominio della funzione $f$ , mentre l'insieme $Y$ (in cui si trovano i valori "restituiti" dalla funzione $f$ ) è il codominio della funzione $f$ .

Osserviamo che i termini metaforici "prendere un valore" e "restituire un valore" fanno riferimento ad un modello meccanico delle funzioni, rappresentate come meccanismi che, fornito loro un elemento del dominio, lo trasformano nel corrispondente elemento del codominio. Dalla precedente ulteriore metafora del trasformare materialmente, segue il sinonimo trasformazione.

L'insieme $\{y \in Y : \exists x \in X : f(x)=y\}$ , cioè gli elementi del codominio per i quali esiste un x nel dominio che ha y come trasformata si chiama immagine di $\,f\,$ e si denota anche con $\,Im(f)\,$ o, a rigore impropriamente, $\,f(X)\,$ .

Anche questo termine proviene da un modello, quello che considera una funzione come un sistema ottico (ad esempio una lente); per tale modello agli elementi del dominio corrispondono possibili sorgenti luminose e agli elementi del codominio immagini di tali sorgenti.

Operazioni sulle funzioni

Date due funzioni f: X → Y e g: Y → Z si può definire la loro composizione: questa è definita applicando prima f ad x e quindi applicando g al risultato f(x).

Questa nuova funzione viene denotata con $g\circ f$ . Riconducendoci alla notazione tradizionale con le due notazioni il risultato della precedente composizione applicato all'elemento x del dominio si può scrivere

\,(g\circ f)(x) = g

^*\,

Altre notazioni per le funzioni

Per il valore di una funzione F corrispondente ad un elemento x, denotabile con la notazione tradizionale F(x), vengono anche usate anche due altre scritture.

Per quella che chiamiamo notazione a funzione prefissa si pone

\, Fx := F(x)\,

Per quella che chiamiamo notazione a funzione suffissa si pone

\, xF := F(x)\,

Con queste notazioni per le composizioni di due funzioni F e G sono possibili ben 4 tipi i scritture:

\, (F\circ G)x = G(Fx) \,

\, (F\circ G)x = F(Gx) \,

\, x(F\circ G) = (xF)G \,

\, x(F\circ G) = (xG)F \,

A volte al posto delle parentesi tonde si usano parentesi quadrate:

\, F

^*=F(x)\, .

In questo modo si evitano confusioni con le parentesi che indicano l'ordine delle operazioni. Tra l'altro questa notazione è usata da alcuni programmi di calcolo simbolico.

Tipologia

Nella matematica e sostanzialmente in tutte le sue applicazioni si incontrano numerosi tipi di funzioni, che si presentano anche con caratteristiche molto diverse. La affollata e articolata popolazione delle funzioni viene quindi classificata seguendo diversi criteri.

Classificazione puramente insiemistica

Classificazione in base al genere di dominio e codominio

Classificazione delle funzioni nell'ambito della calcolabilità

funzione ricorsiva primitiva
funzione calcolabile
funzione ricorsiva (secondo la Tesi di Church-Turing, funzioni ricorsive e funzioni calcolabili sono la stessa cosa )
funzione ricorsiva totale
funzione enumerativa

Classificazione delle funzioni dell'analisi infinitesimale

Alcune funzioni notevoli

Funzioni di interesse probabilistico e statistico

Voci correlate

Matematica di base | Teoria degli insiemi | Analisi matematica

Gourt Home::Gourt :: Funzione (matematica)