DEFINICIÓN DERELACIÓN MATEMÁTICA

Una relación es un vínculo o una correspondencia. En el caso de la relación

matemática, se trata de la correspondencia que existe entre dos conjuntos: a

cada elemento del primer conjunto le corresponde al menos un elemento del segundo

conjunto.

Cuando a cada elemento de un conjunto le corresponde solo

uno del otro, se habla de función. Esto quiere decir que las

funciones matemáticas siempre son, a su vez, relaciones matemáticas, pero que las

relaciones no siempre son funciones.

En una relación matemática, al primer conjunto se lo conoce como dominio, mientras

que el segundo conjunto recibe el nombre de rango o recorrido. Las relaciones

matemáticas existentes entre ellos se pueden graficar en el esquema llamado plano

cartesiano.

Supongamos que el dominio se llama M y el rango, N. Una relación matemática

de M en N será un subconjunto del producto cartesiano M x N. Las relaciones, en otras

palabras, serán pares ordenados que vinculen elementos de Mcon elementos de N.

Si M = {5, 7} y N = {3, 6, 8}, el producto cartesiano de M x N serán los siguientes

pares ordenados:
M x N = {(5, 3), (5, 6), (5, 8), (7, 3), (7, 6), (7, 8)}

equivalencia

 Permite establecer una relación entre los elementos del conjunto que comparten
cierta característica o propiedad.

 La importancia de estas relaciones consiste en que dividen a los elementos del

conjunto en diferentes clases, llamadas clases de equivalencia, de tal suerte que cada
elemento pertenece a una y sólo una clase.

 Tomemos un conjunto cualquiera X y sean a y b dos elementos en X  (lo cual

denotamos por a,b E X). Si  está relacionado con b escribiremos a-b. Una relación de
equivalencia en X es una relación que satisface las siguientes propiedades: 

Reflexividad: a-a para toda a en X . 

Simetría: si a-a , entonces b-a .

Transitividad: si  a-b y b-c, entonces a-c.

Relación de orden

 Decimos que una relación binaria es de orden cuando cumple las propiedades
reflexiva, anti simétrica y transitiva.

 Por medio de una relación de orden podemos establecer una ordenación de un

conjunto a partir de un criterio

  Si R es una relación y ó diremos que x , y son comparables bajo la relación R . En caso

contrario diremos que x , y son incomparables.

Funciones

 Es la correspondencia o relación f de los elementos de un conjunto A con los

elementos de un conjunto B. 

Una función cumple con la condición de existencia (todos los elementos de A están
relacionados con los elementos de B) y con la condición de unicidad (cada elemento de A está
relacionado con un único elemento de B).
Función inyectiva

 La función es inyectiva si cada elemento del conjunto final Y tiene como máximo un

elemento del conjunto inicial X al que le corresponde. Es decir, no pueden haber más
de un valor de X que tenga la misma imagen y.

Función sobreyectiva

 Una función es sobreyectiva (o suprayectiva) si todo elemento del conjunto final Y

tiene al menos un elemento del conjunto inicial X al que le corresponde.

Función biyectiva

 Una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. Es decir, si

todo elemento del conjunto final Y tiene un único elemento del conjunto inicial X al
que le corresponde (condición de función sobreyectiva) y todos los elementos del
 conjunto inicial X tiene una única imagen en el conjunto final Y (condición de función
inyectiva).

Función inversa

Se llama función inversa o recíproca de una función f a una nueva función cuyo dominio es la

imagen de la función inicial, y su imagen es el dominio de la función inicial.

Números enteros

 Los números enteros son un conjunto numérico que contiene los números naturales,
sus inversos aditivos y el cero.

 Vamos a tener entonces:

Números naturales Ν: 1, 2, 3...

Inversos aditivos de los números naturales: -1, -2, -3...

El cero: 0
  Esta representado con la letra Z

 En la recta numérica encontramos los números negativos a la izquierda del cero y a su

derecha los positivos

Divisores

 Un número b es un divisor de otro a cuando lo divide exactamente.

 A los divisores también se les llama factores.

 Un numero es divisible entre 2 si acaba en cifra par

 Un numero es divisible entre 3 si la suma de sus cifras es multiplo de 3

 Un numero es divisible entre 5si acaba en 0 o 5

Propiedades de los divisores de un número

 Todo número "a", distinto de 0, es divisor de sí mismo.

 El 1 es divisor de todos los números.

 Todo divisor de un número distinto de cero es menor o igual a él, por tanto, el número
de divisores es finito.

 Si un número es divisor de otros dos, también lo es de su suma y de su diferencia.

 Si un número es divisor de otro, también lo es de cualquier múltiplo de éste.

 Si un número es divisor de otro, y éste lo es de un tercero, el primero lo es del tercero.

 Algoritmo euclidiano

sirve para obtener el máximo común divisor (abreviado normalmente como M.C.D.) de dos
números enteros positivos.

El mínimo común múltiplo (M.C.M.), puede obtenerse también con éste algoritmo, haciendo
una sencilla operación con el M.C.D. obtenido.

El máximo común divisor de dos números enteros positivos a y b, con a > b > 0, coincide con el
máximo común divisor de b y r, siendo r el resto que se obtiene al dividir a entre b.