Funzione costante
# Funzione costante

In matematica una funzione costante (a volte anche chiamata collasso) è una funzione i cui valori non variano, e rimangono quindi costanti al variare della variabile indipendente nel suo dominio.

## Definizione

Una funzione $f\colon X\to Y$ tra due insiemi è costante se e solo se esiste un $y$ in $Y$ per cui $f(x)=y$ per ogni $x$ in $X$. La funzione $f$ assume cioè lo stesso valore $y$ su tutti gli $x$ in $X$.

Ad esempio, la funzione $f\colon \mathbb {R} \to \mathbb {R}$ definita sui numeri reali data da $f(x)=4$ (indipendentemente da $x$) è costante.

In termini più astratti, una funzione $f\colon X\to Y$ è costante se e solo se vale la seguente proprietà universale:

* per ogni coppia di funzioni $g,h\colon Z\to X$, vale $f\circ g=f\circ h$, (dove "$\circ$" denota la composizione di funzioni).

Questa proprietà dice che la funzione costante è un morfismo costante nella categoria delle funzioni.

## Proprietà

* La composizione di una qualsiasi funzione con una funzione costante è costante.
* Una funzione costante tra due insiemi, entrambi con almeno due punti, non è né iniettiva né suriettiva.
* Una funzione polinomiale da $\mathbb {R}$ in $\mathbb {R}$ è costante se e solo se il polinomio ha grado zero.
* Se $I$ è un intervallo e $f\colon I\to \mathbb {R}$ è derivabile, è costante se e solo se ha derivata ovunque nulla.
* Ogni funzione costante fra spazi topologici è continua.
