Relacin simtrica

Una relacin binaria R sobre un conjunto A, es simtrica cuando se da que si

un elemento est relacionado con otro mediante R, entonces ese otro tambin
est relacionado con el primero.

En tal caso, decimos que R cumple con la propiedad de simetra.

La aplicacin de cualquier relacin R sobre un conjunto A, se representa con el par
ordenado (A, R).

Cuando una relacin es lo opuesto a una simtrica, es decir, cuando se da que

si un elemento est relacionado con otro mediante R, entonces ese otro no
est relacionado con el primero, entonces decimos que es asimtrica, lo que
denotamos formalmente por:

En este caso, decimos que R cumple con la propiedad de asimetra.

Relacin Transitiva
Una relacin binaria
sobre un conjunto
es transitiva cuando se cumple:
siempre que un elemento se relaciona con otro y ste ltimo con un tercero,
entonces el primero se relaciona con el tercero.
Dado el conjunto A y una relacin R, esta relacin es transitiva si: a R b y b R
c se cumple a R c.
La propiedad anterior se conoce como transitividad.
La propiedad reflexiva o refleja indica que el objeto se relaciona consigo mismo, por
ejemplo:
a=a.
La propiedad simtrica indica que sin importar el orden de los objetos la relacin se cumple
a = b equivale a b = a.
en algunos casos no es posible cambiar el orden de los objetos, por ejemplo con la relacin
"mayor que" :
3 > 2 es verdadera, pero 2 > 3 es falsa
en este caso la relacin es antisimtrica.
La propiedad transitiva se observa en la igualdad y en el orden
Si a = b y b = c, entonces a = c.

Funcin Inyectiva
En matemticas, 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 preimagen en X, o, lo que es lo
mismo, en el conjunto X no puede haber dos o ms elementos que
tengan la misma imagen.
As, por ejemplo, la funcin de nmeros reales
, dada
por
como

no es inyectiva, puesto que el valor 4 puede obtenerse

y

. Pero si el dominio se restringe a los nmeros positivos,

obteniendo as una nueva funcin

funcin inyectiva.

entonces s se obtiene una

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
Funcin Subrayectiva
Una funcin
es sobreyectiva1 (epiyectiva, suprayectiva,1 suryectiva, ex
haustiva1 o subyectiva) si est aplicada sobre todo el codominio, es decir,
cuando cada elemento de es la imagen de como mnimo un elemento de .

Formalmente,

CLASIFICACIN SEGN LA VARIABLE X:

En primer lugar clasificaremos las funciones dependiendo del carcter de la
variable independiente x en dos tipos: algebraicas y trascendentes.
*Funciones algebraicas: Este tipo de funciones corresponden a ecuaciones polinmicas ,
donde se pueden efectuar operaciones en las que interviene la variable independiente, como
la suma, la resta, la multiplicacin, la divisin, la potencia y la raz.
Dentro de las funciones algebraicas nos encontramos:
Funciones constantes: donde la funcin viene definida por una constante y no interviene la
variable independiente: y=f(x)=k
-Funciones lineal: La representacin de este tipo de funciones es una recta que pasa por el
origen de coordenadas: y=mx+n.
-Funcin afn: Esta funcin se trata de un caso general de la anterior, ya que se trata de una
recta cualquiera del plano: y= mx
-Funcin cuadrtica: Viene expresada por una funcin polinmica de segundo grado, como
era de esperar, y su representacin es una parbola.
-Funciones racionales: Se expresan mediante el cociente de polinomios.
-Funciones radicales: Vienen dadas por la raz de una expresin polinmica.
-Funciones a trozos: Son funciones definidas por una funcin distinta en cada intervalo (o
trozo) que se considere.

*Funciones trascendentes: Cuando la variable independiente, x, forma parte del exponente

o da la base de un logaritmo; o simplemente se ve afectada por una funcin, como puede ser
en la trigonometra, entonces hablamos de funciones trascendentes.
Dentro de las funciones trascendentes estn:
-Funcin exponencial: Como su nombre indica es una funcin en la que la variable
independiente se encuentra en el exponente y cuya base es un nmero real. Por tanto, recibe
el nombre de funcin exponencial de base a y exponente x.
-Funcin logartmica: La inversa de la funcin exponencial recibe el nombre de funcin
logartmica, por tanto, devuelve el nmero al que tendramos que elevar la base a, para
obtener nuestra variable independiente. (En este caso la variable independiente nos da el
valor de la funcin exponencial)
-Funciones trigonomtricas:Las funciones trigonomtricas se obtienen cuando ampliamos el
concepto de razones trigonomtricas a los nmeros reales. Por lo que hay el mismo nmero
de funciones trigonomtricas que de razones trigonomtricas: y=senx, y=cosx, y=sec x, etc.
En la siguiente imagen, tenemos una clasificacin de lo que acabamos de estudiar.
CLASIFICACIN SEGN LA DEFINICIN
Segn nos venga dada la definicin de la funcin tambin podemos establecer una
clasificacin:
-Funcin explcita: Cuando podemos obtener los valores de y directamente dando valores a
nuestra variable independiente, es decir, cuando la variable y est despejada.
-Funcin implcita: Cuando, al contrario que en el caso anterior, tenemos que realizar
operaciones para halla el valor de la y una vez que le hemos dado un valor a la x: 3x+2y=1