FUNCIONES

La definicin general de funcin hace referencia a la dependencia entre los elementos de

dos conjuntos dados.
Dados dos conjuntos A y B, una funcin (tambin aplicacin o mapeo) entre ellos es una
asociacin
6
f que a cada elemento de A le asigna un nico elemento de B.
Se dice entonces que A es el dominio (tambin conjunto de partida o conjunto inicial)
de f y que B es su condominio (tambin conjunto de llegada o conjunto final).
EJEMPLOS
Todos los nmeros reales tienen un cubo, por lo que existe la funcin cubo que a cada
nmero en el dominio R le asigna su cubo en el codominio R.
Exceptuando al 0, todos los nmeros reales tienen un nico inverso. Existe entonces la
funcin inverso cuyo dominio son los nmeros reales no nulos R \ {0}, y con condominio
R.
FUNCIONES CON MLTIPLES VARIABLES
Existen muchos ejemplos de funciones que necesitan dos valores para ser calculadas,
como la funcin tiempo de viaje T, que viene dada por el cociente entre la distancia d y
la velocidad media v: cada pareja de nmeros reales positivos (una distancia y una
velocidad) tiene asociada un nmero real positivo (el tiempo de viaje). Por tanto, una
funcin puede tener dos (o ms) variables independientes.
NOTACIN. NOMENCLATURA
La notacin habitual para presentar una funcin f con dominio A y codominio B es:

Tambin se dice que f es una funcin de A a B o entre A y B. El dominio de una
funcin f se denota tambin por dom (f), D (f), Df, etc. Por f(a) se resume la operacin o
regla que permite obtener el elemento de B asociado a un cierto a A, denominado
la imagen de a.
IGUALDAD DE FUNCIONES
Dadas dos funciones, para que sean idnticas han de tener el mismo dominio y
codominio, y asignar la misma imagen a cada elemento del dominio:
Dadas dos funciones f: A B y g: C D, son iguales o idnticas si se cumple:
Tienen el mismo dominio: A = C
Tienen el mismo codominio: B = D
Asignan las mismas imgenes: para cada x A = B, se tiene que f(x) = g(x)
TIPOS DE FUNCIONES.
FUNCIN INYECTIVA
Una funcin es inyectiva si a elementos distintos del conjunto (dominio)
les corresponden elementos distintos en el conjunto (imagen) de . Es decir, cada
elemento del conjunto Y tiene a lo sumo una anti imagen 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 BIYECTIVA
una funcin es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos
los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada,
y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de
salida.
Formalmente, dada una funcin :

La funcin es biyectiva si se cumple la siguiente condicin:

Es decir, si para todo de se cumple que existe un nico de , tal que la funcin
evaluada en es igual a .
Dados dos conjuntos e finitos, entonces existir una biyeccin entre ambos si y slo
si e tienen el mismo nmero de elementos.



FUNCIN SOBREYECTIVA
Una funcin es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiv
a o subyectiva), si est aplicada sobre todo el codominio, es decir, cuando cada elemento
de "Y" es la imagen de como mnimo un elemento de "X".
Formalmente,



FUNCIN INVERSA
Una funcin puede tener inversa, es decir, otra funcin que al componerla con ella resulte
en la identidad, del mismo modo que un nmero multiplicado por su inverso da 1.
Dada una funcin f : A B, se dice que g : B A es la inversa o recproca de f si se
cumple:

La inversa se denota por g = f
1
, y tanto f como f
1
se dicen invertibles.
FUNCIN IDENTIDAD
Una funcin identidad es una funcin matemtica, de un conjunto M a s mismo, que
devuelve su propio argumento
La funcin identidad puede describirse de la forma siguiente:

O tambin:


La funcin identidad es trivialmente idempotente, es decir:

FUNCIN COMPUESTA
Una funcin compuesta es una funcin formada por la composicin o aplicacin sucesiva
de otras dos funciones. Para ello, se aplica sobre el argumento la funcin ms prxima al
mismo, y al resultado del clculo anterior se le aplica finalmente la funcin restante.
Usando la notacin matemtica, la funcin compuesta g f: X Z expresa que (g f) (x)
= g (f(x)) para todo x perteneciente X.


COMPOSICIN DE FUNCIONES
Dadas dos funciones, bajo ciertas condiciones podemos usar los valores de salida de una
de ellas como valores de entrada para la otra., creando una nueva funcin.
Sean dos funciones f: A B y g: C D, tales que el recorrido de la primera est
contenido en el dominio de la segunda, Im (f) C. Entonces puede formarse
la composicin de g con f, la funcin g f: A D que a cada a en el dominio A le asocia
el elemento (g f) (a) = g (f(a)).
Es decir, la composicin g f hace actuar primero la funcin f sobre un elemento de A, y
luego g sobre la imagen que se obtenga:



















EJEMPLOS
La imagen de la funcin inverso g es R \ {0} puesto que todo nmero real no
nulo es el inverso de otro, y por tanto est contenido en el dominio de la funcin cubo f,
que es R. La composicin f g: R \ {0} R acta entonces como f (g(x)) = f (1/x) =
(1/x)
3
= 1/x
3
.
FUNCIN PISO (o suelo), que a cada nmero real asigna el nmero entero ms prximo
por defecto, es decir, el mayor nmero entero igual o menor que ese nmero real. (Por
ejemplo, si tenemos el caso [-2.4], este se acercara al valor -3; o aplicndolo a un caso
positivo sera [1.5], este se acercara al valor 1). Algunos lenguajes de programacin
tienen una implementacin nativa llamada generalmente loor o Floor (suelo en ingls).
La funcin piso se aplica a un nmero real x y devuelve el mximo nmero entero k no
superior a x:

Que se puede expresar:


FUNCIN TECHO, que a cada nmero real asigna el nmero entero ms prximo por
exceso, es decir, el menor nmero entero igual o mayor que ese nmero real. Algunos
lenguajes de programacin tienen una implementacin nativa llamada
generalmente ceil o Ceil (por ceiling, techo en ingls).

LA FUNCIN TECHO se aplica a un nmero real x y devuelve el mnimo nmero
entero k no inferior a x:

O de otra forma:





SUMA DE FUNCIONES CON UN VALOR REAL
Sea un conjunto cualquiera no vaco y sea el conjunto formado por todas
las funciones de en . Muchas de las operaciones y propiedades algebraicas de
los nmeros reales se pueden extender a , como veremos a continuacin.
Sean elementos de . Definimos operaciones entre esas
funciones, punto a punto por
Suma de Funciones.
Ejemplo 1 Si f (x) = 2x + 1

y h (x) = |x| entonces:

(h + f)(x) = h (x) + f (x) = |x| + 2x + 1

(h + f)(2) = h (2) + f (2) = |2| + 2 (2) + 1= 7

IMAGEN DE UNA FUNCIN
Dada la funcin f(x)=x3 considerando la solucin positiva de la raz, nicamente
tiene imgenes positivas o iguales a cero.
Por tanto solo son imagen por f los nmeros reales y que sean mayores a iguales que
cero.
Se llama imagen de una funcin f al conjunto de nmeros reales que son imagen por f de
los elementos de su dominio. Se denota por Im (f).
El recorrido de la funcin f(x)=x3 es Im (f)= [0,+)
FUNCIONES VARIABLES DE VARIABLE REAL
1. FUNCIN REAL DE VARIABLE REAL
"Una funcin real de variable real es una aplicacin f de un subconjunto no vaco D de R
en R es decir
F: D c R-----R
x-----f(x)=y"
Nota: Para tener una funcin hay que tener dominio recorrido y ley
Nota: Se llaman funciones reales porque su recorrido es R y de variable real porque el
dominio pertenece a R
Nota: x es la antiimagen de y por f; x es la invariable
Y es la imagen de x por f; y es la variable
Nota: f(x)=y es la ley de la funcin dada a travs de una frmula matemtica y como viene
despejada la variable se dice que est escrita de forma explcita y que esta expresin
depende de x ya que los valores de y se obtienen dando valores a x
RELACIN
Una relacin , de los conjuntos es un subconjunto del producto
cartesiano

El concepto de relacin implica la idea de enumeracin, de algunos de los elementos, de
los conjuntos que forman tuplas.

Un caso particular es cuando todos los conjuntos de la relacin son
iguales: en este caso se
representa como , pudindose decir que la relacin pertenece
a A a la n.

TIPOS DE RELACIONES
RELACIN UNARIA
En matemticas, una relacin unaria R, en un conjunto A, es el subconjunto de los
elementos x de A que cumplen una determinada condicin que define R:

Ejemplo:
Dado el conjunto N de los nmeros naturales, definimos la relacin unaria P de los
nmeros pares, esto es un nmero natural x pertenece a P si x es par, que se expresara:

O lo que es lo mismo:

Partiendo de los alumnos de un centro escolar A, podemos definir la relacin
unaria alumnos de tercero T, formada por los alumnos del centro que estudian
tercer curso:



RELACIN BINARIA
En matemticas, una relacin binaria es una relacin matemtica R entre
los elementos de dos conjuntos A y B. Una relacin de este tipo se puede representar
mediante pares ordenados, :
1


Las proposiciones siguientes son correctas para representar una relacin binaria :

Tambin puede expresarse:

Ejemplo:
Dado el conjunto de los nmeros reales, definimos la relacin binaria P (x,y) de
los puntos del plano, segn la funcin cuadrtica :

Partiendo del conjunto A de los automviles de una localidad y P de las personas,
podemos definir la relacin binaria C Conduce, formada por cada automvil a, y
quien lo conduce p:

RELACIN TERNARIA
En matemticas, una relacin ternaria R es el conjunto de
ternas, que cumplen una determinada condicin que define R

Ejemplo:
Dado el conjunto N de los nmeros naturales, definimos la relacin ternaria S
(a,b,c) tal que a + b = c:

Que resultara el conjunto de ternas:

Puede verse que se cumple que:

Partiendo del conjunto P de todas las personas, podemos definir la relacin
ternaria A ascendientes, formada por cada individuo i, su padre p y su madre m:

RELACIN CUATERNARIA
En matemticas, una relacin cuaternaria R es el conjunto de
cuaternas, que cumplen una determinada condicin
que define R

Las dos proposiciones siguientes son correctas para representar una relacin cuaternaria
:


Ejemplo
Tomando el conjunto R de los nmeros reales, definimos la relacin cuaternaria
E(x, y, z, t) donde x, y, z son las coordenadas espaciales y t es el tiempo tal que:

Donde E es el conjunto de puntos que describe una espiral cnica segn el eje z, a lo
largo del tiempo t.
Tomando los datos de los nacimientos de una determinada localidad, se puede
establecer la relacin cuaternaria N(n, d, t, p) de los nacidos en esa localidad
donde: n es el nombre, d es el da de nacimiento, t es la talla en cm, y p es el
peso en kg.

La relacin N est formada por tuplas, del producto de los conjuntos: Nombre, Das,
Tallas y Pesos: