Unidad 3.

Relaciones

Presentacin de la unidad
En Fsica y Matemticas (en particular en Ciencias Computacionales) siempre se est comparando cosas o escribiendo relaciones entre diferentes cantidades. Usualmente, al compararlas se utilizan smbolos para denotar que son iguales, mayores o menores unas con respecto a otras. Pero la idea de relacin puede ir ms all e implicar diferentes asociaciones. En esta unidad se estudiarn las diferentes asociaciones que dan origen a relaciones particulares, cmo se definen formalmente stas de manera matemtica y sus propiedades. Primero se explicar de una manera que podr parecer un poco descuidada y poco formal, pero que redundar en beneficio tuyo, sobre todo si sta es la primera vez que tienes contacto con esta materia; posteriormente se introducir la definicin rigurosa en el lenguaje de las matemticas abstractas para que puedas profundizar en el tema.

Propsito de la unidad
El propsito de esta unidad es analizar el concepto de relacin y establecer distintos tipos de relaciones a conjuntos; as como representar mediante grafos o matrices para dichas relaciones, con la finalidad de establecer las caractersticas especficas de los elementos.

Competencia especfica
Analizar estructuras bsicas para identificar las clases y los tipos de relaciones, resolviendo operaciones entre conjuntos e interpretando sus propiedades.

3.1. Introduccin a la relacin

El concepto de relacin implica un nivel de abstraccin elevado, sin embargo es esencial en una gran variedad de temas. Coloquialmente, la palabra relacin tiene muchos significados y diferentes interpretaciones dependiendo del contexto en el que se le utilice. Por ejemplo, antiguamente se aplicaba al relato de un viaje o una crnica. En el contexto de las matemticas, una relacin se entiende ms como la existencia de una conexin entre dos entidades matemticas, ya sean nmeros o smbolos. Muchas veces se emplea el concepto de relacin sin siquiera tenerlo en cuenta de manera explcita o definirlo. Esto sucede en los pares ordenados, que describen las coordenadas cartesianas en un plano. De la misma manera, una funcin establece una relacin entre dos o ms cantidades. Como se ver a lo largo de esta unidad, existen diferentes tipos de relaciones y stas a su vez pueden ser de extensin finita o infinita dependiendo del nmero de elementos entre los cuales se establezca la relacin que se quiera definir. Al respecto se estudiarn las caractersticas de las relaciones aplicadas a colecciones o conjuntos finitos; de hecho, en la unidad anterior se utilizaron las relaciones a la hora de definir los grafos, o bien, dicho de otra forma, los grafos pueden ser dibujados a partir de relaciones como se ver a lo largo de esta unidad. Las relaciones son definidas sobre colecciones (o conjuntos) de objetos. Los objetos son usualmente nmeros, pero en general puede ser cualquier cosa. Por ejemplo, se considera un conjunto de elementos a:

La anterior es una coleccin finita, con un nmero determinado de elementos, en particular contiene slo seis elementos. A pesar de que el smbolo _ est formado por tres caracteres sigue siendo un nico elemento de la coleccin, de la misma forma que el nmero 123 se considera un solo elemento, pero se requieren tres caracteres para representarlo. Por relacin se entiende, una coleccin de pares ordenados de los objetos que se encuentran en la coleccin:

De la coleccin anterior se puede decir que 1 est relacionado con , 2 est relacionado con 1, pero no est relacionado con _. Sin embargo, usar esta nomenclatura para establecer o mencionar la existencia de una relacin entre dos objetos es poco elegante y tedioso.

3.1.1. Definicin de relacin

Seguramente ya te encuentras familiarizado con el producto convencional entre dos nmeros normales (escalares), probablemente tambin sea de tu conocimiento el producto punto o escalar entre dos vectores y el producto vectorial o producto cruz. De la misma manera, puede ser posible que ya hayas comenzado el estudio del producto de matrices. ste no es ms que una generalizacin del producto escalar, tambin conocido como producto interno. Existen otros tipos de productos y el producto cartesiano es uno de ellos. La operacin llamada producto cartesiano recibe su nombre del matemtico francs Ren Descartes quin desarroll la formulacin de la Geometra Analtica, introduciendo de esta manera el concepto de par ordenado en las coordenadas cartesianas.

El producto directo de dos conjuntos es lo que se conoce como producto cartesiano en la teora de conjuntos. Si se tienen dos colecciones o conjuntos, el producto directo de estos generar un nuevo conjunto formado por los pares ordenados de cada elemento del primer conjunto y un elemento del segundo conjunto. De esta manera si se tienen dos conjuntos con n y m elementos su producto directos generar nm elementos (n, m). Donde se ha escogido el smbolo X para denotar el producto directo.

Ejemplo de producto cartesiano

Se tienen dos colecciones: F = (manzana, durazno) y C = (verde, amarillo, rojo). Encuentra su producto cartesiano Solucin. Calcula este producto. R = F C = {(manzana, verde), (manzana, amarillo), (manzana, rojo), (durazno, verde), (durazno, amarillo), (durazno, rojo)}. El producto cartesiano en general no es conmutativo. A continuacin se define formalmente el producto:

Para el ejemplo que se ha dado, con slo dos elementos se tiene que:

A partir de estos conceptos ser posible, dar una definicin formal de relacin. En el caso del producto cartesiano primero se define una relacin entre cualquier nmero de conjuntos y posteriormente se trata el caso particular de slo dos conjuntos, como se ejemplific de manera informal al inicio de la unidad.

Si R= 0, se llama a esta relacin, una relacin vaca. Si , ser una relacin universal, mientras que en el caso particular en que slo se tengan tres conjuntos ser una relacin ternaria y para dos conjuntos una relacin binaria.

El resto de esta unidad estar dedicado a relaciones binarias, a sus propiedades y a las operaciones que es posible llevar a cabo con ellas.