Relacin

Una relacin , de los conjuntos es un subconjunto del producto

cartesiano

Una relacin binaria es una relacin entre dos conjuntos.
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.

Elementos de una relacin
Son pares de elementos ordenados, el primero de los cuales pertenece al primer conjunto de
la relacin y el segundo de los cuales pertenece al segundo conjunto.
Funcin
En matemticas, se dice que una magnitud o cantidad es funcin de otra si el valor de la
primera depende exclusivamente del valor de la segunda. Por ejemplo el rea A de un
crculo es funcin de su radio r: el valor del rea es proporcional al cuadrado del radio,
A = r
2
. Del mismo modo, la duracin T de un viaje de tren entre dos ciudades
separadas por una distancia d de 150 km depende de la velocidad v a la que este se
desplace: la duracin es inversamente proporcional a la velocidad, d / v. A la primera
magnitud (el rea, la duracin) se la denomina variable dependiente, y la cantidad de la
que depende (el radio, la velocidad) es la variable independiente.
En anlisis matemtico, el concepto general de funcin, aplicacin o mapeo se refiere
en a una regla que asigna a cada elemento de un primer conjunto un nico elemento de
un segundo conjunto (correspondencia matemtica). Por ejemplo, cada nmero entero
posee un nico cuadrado, que resulta ser un nmero natural (incluyendo el cero):
... 2 +4, 1 +1, 0 0,
+1 +1, +2 +4, +3 +9, ...
Esta asignacin constituye una funcin entre el conjunto de los nmeros enteros Z y el
conjunto de los nmeros naturales N. Aunque las funciones que manipulan nmeros son
las ms conocidas, no son el nico ejemplo: puede imaginarse una funcin que a cada
palabra del espaol le asigne su letra inicial:
..., Estacin E, Museo M, Arroyo A, Rosa R, Avin A, ...
Esta es una funcin entre el conjunto de las palabras del espaol y el conjunto de las
letras del alfabeto espaol.
La manera habitual de denotar una funcin f es:
f: A B
a f(a),
donde A es el dominio de la funcin f, su primer conjunto o conjunto de partida; y B es
el codominio de f, su segundo conjunto o conjunto de llegada. Por f(a) se denota la
regla o algoritmo para obtener la imagen de un cierto objeto arbitrario a del dominio A,
es decir, el (nico) objeto de B que le corresponde. En ocasiones esta expresin es
suficiente para especificar la funcin por completo, infiriendo el dominio y codominio
por el contexto. En el ejemplo anterior, las funciones cuadrado e inicial, llmeseles
f y g, se denotaran entonces como:
f: Z N
k k
2
, o sencillamente f(k) = k
2
;
g: V A
p Inicial de p;
si se conviene V = {Palabras del espaol} y A = {Alfabeto espaol}.
Una funcin puede representarse de diversas formas: mediante el citado algoritmo o
ecuaciones para obtener la imagen de cada elemento, mediante una tabla de valores que
empareje cada valor de la variable independiente con su imagen como las mostradas
arriba, o como una grfica que d una imagen de la funcin.
Dominio y recorrido de una funcin
Dominio: Es el conjunto de valores que puedetomar la variable independiente (x).
Recorrido: Llamado tambin imagen, codominio o rango es el conjunto de valores
que toma la variable dependiente (y).
Cuando nos hemos referido al dominio hemos dicho: conjunto de valores que puede
tomar x por qu decimos puede?
Porque no todos los valores son vlidos, por ejemplo, si la funcin es: vemos
que si a x le das el valor cero, te queda:
El valor infinito no lo podemos representar si no es con un signo o una palabra.
El infinito no es un nmero, es un concepto, una idea, luego, no nos vale como valor
numrico de y.
Funciones par e impar
Una funcin par es cualquier funcin que satisface la relacin y si x
es del dominio de f entonces -x tambin.
Desde un punto de vista geomtrico, una funcin par es simtrica con respecto al eje y,
lo que quiere decir que su grfica no se altera luego de una reflexin sobre el eje y.
Ejemplos de funciones pares son el valor absoluto, x
2
, x
4
, cos(x), y cosh(x).
Una funcin impar es cualquier funcin que satisface la relacin:

para todo x en el dominio de f.
Desde un punto de vista geomtrico, una funcin impar posee una simetra rotacional
con respecto al origen de coordenadas, lo que quiere decir que su grfica no se altera
luego de una rotacin de 180 grados alrededor del origen.
Ejemplos de funciones impares son x, x
3
, seno(x), sinh(x), y la erf (x).
Funcin creciente y decreciente
Una funcin f es creciente es un intervalo si para cualquier par de nmeros x
1
,x
2
del
intervalo. .
Una fucin f es decreciente es un intervalo si para cualquier par de nmeros x
1
,x
2
del
intervalo, .
Sea f una funcin continua con ecuacin y = f(x), definida en un intervalo [a,b]. La
siguiente es la representacin grfica de f en el intervalo[a,b].

En la grfica anterior puede observarse que la funcin f es:
1.) Creciente en los intervalos (a,x3),(x5,x6)
2.) Decreciente en los intervalos(x3,x5),(x6,b)
Funcin peridica
En matemtica, una funcin es peridica si los valores de la funcin se repiten
conforme se aade a la variable independiente un determinado perodo, o sea:

donde P es el perodo.
De la misma manera, pero en un contexto fsico, las ondas peridicas son aquellas
ondas que muestran periodicidad respecto del tiempo,es decir, describen ciclos
repetitivos. En una onda peridica se cumple:

donde el periodo propio fundamental , es la frecuencia de la componente
fundamental de la onda peridica y un nmero entero.
Toda onda peridica es, por definicin, una onda determinista, por cuanto puede ser
descrita matemticamente (mediante un modelo matemtico).
Funcin biyectiva
En matemticas, 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.