variable es una palabra que representa a aquello que vara o que est sujeto a algn tipo de

cambio. Se trata de algo que se caracteriza por ser inestable, inconstante y mudable. En
otras palabras, una variable es un smbolo que permite identificar a un elemento no
especificado dentro de un determinado grupo. Este conjunto suele ser definido como el
conjunto universal de la variable (universo de la variable, en otras ocasiones), y cada
pieza incluida en l constituye un valor de la variable.
Por ejemplo: x es una variable del universo {1, 3, 5, 7}.

una funcin matemtica es la correspondencia o relacin f de los elementos de un

conjunto A con los elementos de un conjunto B. Una funcin cumple con la condicin de
existencia (todos los elementos de A estn relacionados con los elementos de B) y con la
condicin de unicidad (cada elemento de A est relacionado con un nico elemento de B).

el dominio (conjunto de definicin o conjunto de partida) de una funcin

es el conjunto de existencia de ella misma, es decir, los valores para los cuales la funcin
est definida. Es el conjunto de todos los objetos que puede transformar, se denota

bien
. En
se denomina dominio a un conjunto conexo, abierto y cuyo interior no sea
vaco. El dominio de definicin de una funcin f:XY se define como el conjunto X de
todos los elementos x para los cuales la funcin f asocia algn y perteneciente al conjunto Y
de llegada, llamado codominio. Esto, escrito de manera formal:

el codominio o contradominio (tambin denominado conjunto final,

recorrido o conjunto de llegada) de una funcin
es el conjunto
que participa en esa funcin, y se denota

Ejemplo

Para una funcin

definida como una funcin cuadrtica:

, o el equivalente

el codominio de es

, pero

siempre toma un valor positivo. Por lo tanto, la imagen

de es el conjunto

; por ejemplo, el intervalo [0,).

una funcin
es inyectiva si a elementos distintos del conjunto
(dominio) les corresponden elementos distintos en el conjunto (codominio)
de . Es decir, cada elemento del conjunto Y tiene a lo sumo una antiimagen
en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o ms
elementos que tengan la misma imagen.

FUNCIN SUPRAYECTIVA
Una funcin f (de un conjunto A a otro B) es suprayectiva si para
cada y en B, existe por lo menos un x en Aque cumple f(x) = y, en
otras palabras f es suprayectiva si y slo si f(A) = B.
FUNCIN BIYECTIVA
Una funcin f (del conjunto A al B) es biyectiva si, para
cada y en B, hay exactamente un x en A que cumple que f(x) = y