RELACIONES

Entre las cosas que se pueden estudiar de un conjunto esta la clasificación de sus
elementos, su ordenación, o intentar establecer algunas conexiones entre ellos.

Formalmente, una relación R de un conjunto A en un conjunto B, es un

subconjunto de AxB, esto es un elemento de conjunto de partes ℘(AxB); le
colección de todas las relaciones de A en B es precisamente ℘(AxB).

CONSTRUCCIÓN DE RELACIONES

Una manera de construir relaciones de un conjunto A en un conjunto B es

simplemente formar el producto cartesiano AxB y tomar de ahí caprichosamente
algunas parejas, este sin embargo es un método algo primitivo y casi nunca da
buenos resultados, es mejor establecer un criterio de selección que permita ver
algunas propiedades en la relación.

Si tenemos una relación R en un conjunto A (de A en A), ella define una relación
en todo subconjunto B de A considerando solamente las parejas formadas con
elementos de B (naturalmente puede ser vacía) así por ejemplo en el conjunto de
los números naturales

N =  0 , 1 , 2 , ...................... 

Decimos que le numero natural n es mayor que m si existe otro número natural p
que cumpla :
m+p =n
Esto es una relación N que notamos n > m.

Esta relación en N induce por restricción una relación en todo subconjunto de él,
como los números pares impares, primos o el conjunto finito :

A =  3 , 5 , 6 , 7 , 8, 234 

Esta relación es la que nos permite saber que en A también se tiene que 8 > 7.
Esto bien pudiera no ser así, por ejemplo si le cambiamos el significado al símbolo
>.

Enfaticemos que el significado de los símbolos lo asignamos nosotros; hay

algunos muy usuales que por convenio tienen sentido universal como +, %, > pero
si queremos los podemos cambiar, claro que surgirían dificultades en la
comunicación y cada vez que quisiéramos charlar sobre el tema, tendríamos que
empezar definiendo cada símbolo, esto es lo que hacen los que se dedican a
escribir en calve para seleccionar el interlocutor, como los canales de televisión
por satélite que están codificados para que solo los “ entiendan “ aparatos
adecuados como decodificadores.

Observe que en la relación dada para N siempre se cumple que si

n > m y m > s entonces n > s

Esta propiedad se conoce como propiedad transitiva.

Una relación que solo sea transitiva se conoce en matemáticas como preorden.

Las propiedades o cualidades de una relación son las que determinan su utilidad e
interés, todos podemos inventarnos relaciones pero en general no todas resultan
ricas en propiedades que permitan ir mas allá y den lugar a otras construcciones.

RELACIONES DE ORDEN

Si construimos una relación ≥ en las que establecemos que dos elementos están
en ella si uno es mayor que otro o si es igual, esta nueva relación tiene mas
propiedades que el solo preorden.

Naturalmente se tiene todo numero natural n es igual a si mismo. Es decir la

pareja (n , n) está en la relación para todo n. Esta propiedad se conoce como
propiedad reflexiva de la relación.

Además se tiene que si n ≥ m y a su vez también se cumple que m ≥ n entonces

m = n. Esta es la propiedad antisimetrica para la relación.

FUNCIONES

Supongamos por ejemplo que X es el conjunto de alumnos de un salón de clases

y Y es el conjunto de números naturales N.

Una manera de relacionar el conjunto X con el conjunto Y es asignar a cada

estudiante del salón de clase su edad en años cumplidos. El conjunto formado por
todas las parejas cuyas primera y segunda componentes son el alumno y su edad
respectivamente, es un subconjunto del producto cartesiano XxY. Tenemos
entonces que es una relación del conjunto X en el conjunto Y.

Analicemos las características de esta relación. Cada estudiante aparece como

primera componente de una pareja por lo menos una vez; en la pareja cuya
primera componente es él y cuya segunda componente es su edad. Además esta
es la única pareja en la cual el estudiante aparece como primera componente,
cada estudiante tiene únicamente una edad.

Así cada elemento de X esta relacionado con uno y solamente un elemento de Y.

Una relación de un conjunto X en un conjunto Y que satisfaga esta condición se
llama Función.

Entonces una función ƒ de un conjunto X en un conjunto Y es una relación de X

en Y tal que cada elemento de X esta relacionado con uno y solamente uno de Y.

Si x es un elemento de X, notamos por ƒ(x) al elemento de Y con el cual x está

relacionado y llamamos ƒ(x)la imagen de x por la función ƒ.

Llamaremos al conjunto X el dominio de la función ƒ y al conjunto Y el

codominio de ƒ.

Observe que el codominio de una función ƒ puede resultar ser un conjunto muy
grande: algunos de sus elementos no resultan útiles. Los elementos mas
interesantes del codominio son aquellos que son imagen de por lo menos un
elemento del dominio, lo llamamos el rango o recorrido de ƒ.

No siempre resulta sencillo hacer la lista de todas las parejas ordenadas en una
función ; si por ejemplo el dominio es infinito esta tarea es imposible.

Una notación adecuada nos facilita el trabajo y una formula que nos permita
calcular la imagen de un elemento dado del dominio es de una gran utilidad.

Para simbolizar que ƒ es una función del conjunto X en el conjunto Y que envía
al elemento x de X en ƒ(x) escribimos:

ƒ : X → Y
x ↦ ƒ(x)
Diremos que dos funciones ƒ y g son iguales, si tienen el mismo dominio, el
mismo codominio y ƒ(x) = g(x) para todo x en el dominio de las funciones.

Veamos algunos ejemplos:

1. Si X es un conjunto no vació, la aplicación que a cada elemento x de X le asigna

el mismo x:
1 : X → X
x ↦x
Es una función que se llama la función idéntica en X.
2. Si X y Y son conjuntos no vacíos y z es un elemento fijo de Y, la función que a
cada elemento x de X le asigna el elemento z de Y se llama función constante
de valor z.

3. La función determinante con dominio en las matrices cuadradas 2x2 y

codominio

a b
en los números reales ℜ, que a cada matriz 2x2 con entradas reales
c d
le asigna el numero ad – bc, en símbolos:

det: M2x2 → ℜ
a b
↦ ad – bc
c d
4. la aplicación h : ℜ → c, con dominio en los números reales y codominio en los
complejos, que a cada x de ℜ le asigna x+ 2i.

5. La relación:

ƒ : N → N
n ↦ n²

es también una función.

Observemos la función de este ultimo ejemplo. No todos los números naturales

son el cuadrado de algún numero natural; esto es, el rango de la función no es
todo el codominio, sin embargo cada numero natural que es un cuadrado, si lo es,
es imagen de un solo elemento del dominio, en otras palabras si ƒ(x)=
ƒ(y)entonces x = y para todo par de elementos x,y en el dominio.

Una función con esta propiedad se llama inyectiva o uno a uno. O sea que una
función es inyectiva, si cada elemento del codominio es imagen de a lo más un del
dominio.
Pensemos ahora en la función del ejemplo 3, a diferencia del anterior, cada
número real es el determinante de alguna matriz 2x2. En efecto si x es un numero
real, la matriz:

x 0

0 1
Tiene determinante x.

Una función ƒ : X → Y cuyo rango sea todo el codominio se llama sobreyectiva

o simplemente sobre. Esto es lo mismo que decir que cada elemento del
codominio es imagen de por lo menos un elemento del dominio o que para todo y
en Y, existe x en X tal que y = ƒ(x).

Una función que sea uno a uno y sobre se llama biyectiva.

Si entre dos conjuntos finitos X, Y está definida una función inyectiva, el número
de elementos del dominio debe ser menor o igual que el número de elementos del
codominio, y si la función es sobre, el número de elementos del codominio debe
ser menor o igual que el de dominio, por lo tanto si entre dos conjuntos está
definida una función biyectiva, los dos deben tener el mismo número de
elementos.

Esta idea es totalmente natural en conjuntos finitos, pero en conjuntos infinitos las
cosas son distintas, por ejemplo podemos establecer una función biyectiva entre
los números naturales y una parte de ellos; los números pares, asignando a cada
natural el resultado de multiplicarlo por 2. A pesar que para cada número par hay
un número natural y viceversa; hay naturales que no son pares.

Esta conducta un poco exótica ( que un conjunto infinito pueda ponerse en

correspondencia biyectiva con una parte propia del mismo ), se utiliza para hacer
una definición formal de los conjuntos infinitos.
RELACIONES Y FUNCIONES

MATERIA
CALCULO

PRESENTADO POR
JOHWSUAL VASQUEZ

CURSO
116 NOCHE

IFEI
2001