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: = {(1, ), (123, ), (2, 1)}. , 2 est relacionado

De la coleccin anterior se puede decir que 1 est relacionado con 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. En la literatura, los autores usan diferente nomenclatura y simbologa para denotar una relacin entre dos objetos, por ejemplo, (1, ) pertenece a la relacin . Sin embargo, esta forma de enunciarlo an sigue siendo larga, pero puede hacerse ms compacta utilizando el smbolo que se entiende como pertenece a, as (1, )

Otra forma comn y ms compacta de escribir esto corresponde a 1 .

Dependiendo de la relacin que se establezca entre dos objetos se puede representar de manera ms compacta definiendo un smbolo en particular para esa relacin, de esta manera se puede decir 1~ , que significara 1 est relacionado con a travs de la relacin . En muchos casos, ya existe un smbolo predeterminado para un tipo particular de relacin como se abordar ms adelante.