E

S P O L F C N M

F U N C I O N E S

Definicin.
Elementos que conforman una funcin.
Condiciones para ser funcin.
Preguntas frecuentes.
Formas de expresin de una funcin.

Definicin

La funcin es un objeto abstracto (antes relacin con ciertas propiedades), que cumple con
dos condiciones (proposiciones) y est conformada por elementos plenamente definidos a
continuacin detallados:

()
1 f : A ! B
()
x ! y = f x

Elementos que conforman una funcin

f : Es el nombre asignado a la funcin.
A : Es el conjunto de partida.
B : Es el conjunto de llegada.
x : Es el argumento de la funcin, denominada variable independiente o
simplemente preimagen (En la definicin de relacin, x no es necesariamente
una preimagen).
y : Es el nombre que se le asigna a la imagen de x , se la suele llamar variable
dependiente.
()
f x : Es la regla de correspondencia que indica cmo se realiza la asignacin de un
x con un y .

Condiciones para ser funcin

()
Las condiciones que debe satisfacer 1 para ser funcin son:

Primera condicin

El dominio de la funcin es igual al conjunto de partida. Esto es:
dom f = A

Donde dom f es el conjunto de todas las preimgenes, por tanto, la primera condicin
exige que todos los elementos del conjunto de partida tengan una imagen.

Segunda condicin

x1, x2 dom f , si f ( x1 ) f ( x2 ) , entonces x1 x2 .

Elaborado por @jobustam y @gbaqueri Pgina 1 de 4

 E S P O L F C N M

Esto significa que una preimagen debe tener una sola imagen.

Preguntas frecuentes

La segunda condicin no es la que comnmente est en los libros?

En efecto, en los textos comnmente se encuentra la segunda condicin en su forma
equivalente, la contrarrecproca, esto es:

x1, x2 dom f , si x1 = x2 , entonces f ( x1 ) = f ( x2 )

Siempre cre que la funcin era la regla de correspondencia.

Se acostumbra a llamar a la regla de correspondencia como la funcin, simplemente
porque es la parte ms importante de toda la estructura llamada funcin, y adems es la
forma ms bsica de expresar una funcin llamada forma explcita.

Ejemplo 1

f ( x) = x 1

Con esta regla de correspondencia tenemos prcticamente toda la informacin de la
funcin esto es:

f : 1,+ ) ! "

x ! y = x 1

Ejemplo 2

x2 + y2 = 1

Aqu tenemos la regla de correspondencia de la funcin pero no la funcin, para que la
funcin est plenamente definida se necesitan ms datos, esto es:

f1 : 1,1 ! "+ , tal que x2 + y2 = 1
()
x ! y = f1 x

Se puede verificar que f1 es una funcin, pero no est dada en forma explcita, est dada
en forma implcita.

En este ejemplo se puede pasar de forma implcita a la forma explcita, algebraicamente se
conoce a este proceso como despejar la variable dependiente y , pero este proceso no
es siempre posible.

Elaborado por @jobustam y @gbaqueri Pgina 2 de 4

 E S P O L F C N M

Ejemplo 3

1
y1 =
1 x

y2 = xk
k =0

Observamos que estas dos funciones no son iguales, en efecto, estn dadas las reglas de
correspondencia y sus respectivas funciones son:

f1 : ! 1 " ! {}
1
x ! y1 =
1 x

(
f2 : 1,1 ! " )

x ! y2 = x k
k =0

Pero podemos restringir su dominio a la primera funcin entonces tendremos funciones
iguales, esto es:

(
f1 : 1,1 ! " )
1
x ! y1 =
1 x


(
f2 : 1,1 ! " )

x ! y2 = x k
k =0

Entonces podemos concluir en este ejemplo que las funciones f1 y f2 son iguales.

Formas de expresin de una funcin

Con la aclaracin anterior podemos entonces decir que una funcin se puede clasificar por la
forma de expresar su respectiva regla de correspondencia, entre estas formas tenemos:

Forma explcita
Forma implcita
Forma polar
Forma paramtrica
Otras ms ingeniosas

Elaborado por @jobustam y @gbaqueri Pgina 3 de 4

 E S P O L F C N M

Las funciones cuyas reglas de correspondencia est dada en forma explcita (con operaciones
algebraicas) las llamamos funciones elementales.

Existen otras funciones tales como las que tienen varias reglas de correspondencia, y a estas
las llamamos especiales entre ellas tenemos por ejemplo:

f ( x ) = x Funcin valor absoluto
f ( x ) = sgn ( x ) Funcin signo
f ( x) = ( x) Funcin escaln
f ( x ) = !"# x $%& Funcin entero mayor

Ejemplo de una forma implcita

f : 1,+ ) ! "+ , tal que: x e y y = 0

()
x! y= f x

La funcin dada est en forma implcita, tratar de determinarla en forma explcita es
imposible, pero ntese que la funcin inversa existe y su expresin es explcita, esto
es:

f : !+ ! 1, )
x
x ! y = e + x

Elaborado por @jobustam y @gbaqueri Pgina 4 de 4