Relaciones Y Estructuras

REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN UNIVERSITARIA

UNIVERSIDAD NACIONAL EXPERIMENTAL “SIMÓN BOIVAR”

NÚCLEO MATURÍN

PROFESOR:

Cesar Osorio.

BACHILLER:

López De F; Agustín

C. I: 20630955

Sección “A”

OCTUBRE, 2012.

INTRODUCCIÓN

El siguiente trabajo abordará temas relacionados con las Relaciones y Estructuras sobre el producto cartesiano, sus relaciones y propiedades, las relaciones de equivalencia, conjunto cociente, la relación de orden, correspondencia y sus ejemplos así como también las clases de aplicaciones inyectivas, biyectivas y exhaustivas. Además indagaré sobre la operación interna y sus propiedades asociativa, conmutativa, distributiva y el elemento simétrico, las estructuras algebraicas, el grupo, anillo y cuerpo, la estructura de los conjuntos habituales de los números.

• PRODUCTO CARTESIANO.

El producto cartesiano de dos conjuntos y es el conjunto de todos los posibles pares ordenados que se forman eligiendo como primera componente a un elemento que pertenezca a , y como segunda componente a un elemento que pertenezca a .

El producto cartesiano se denota de la siguiente forma: x y se lee “ cruz ”.

La definición anterior expresa que el producto cartesiano de los conjuntos y , son la parejas ordenadas tal que pertenece al conjunto y pertenece al conjunto .

Ejemplo

Obtener el producto cartesiano x de los siguientes conjuntos:

Solución

El número de parejas ordenadas que resultan de un producto cartesiano se obtiene multiplicando sus cardinalidades. En el ejemplo anterior, , el número de parejas ordenadas es: . .

El producto cartesiano no es conmutativo. Esto significa que a menos que = .

• RELACIONES

Dados dos conjuntos no vacíos y una relación (binaria) entre elementos de y de (o simplemente una relación entre y ) es una terna en que es cualquier subconjunto de .

Si es una relación, usaremos la notación , que se lee `` está relacionado por con ", o simplemente `` está relacionado con ", para indicar el hecho de que . Si diremos que `` no está relacionado por con " y usaremos la notación . Además, el conjunto se dirá conjunto de partida, y conjunto de llegada (o recorrido) de .

Ejemplos:

1. ,donde

2. , donde

3. , donde .

Sea una relación. Definimos su dominio por , y su imagen por .

El conjunto suele llamarse gráfico de la relación y se anota . Es directo que , pero en general no es cierta la igualdad como conjuntos.

Toda función induce a una relación.

Si es una función, la relación asociada es , donde el conjunto de pares ordenados está dado por

Claramente se cumple que , e

Igualdad de relaciones: De la definición de relación como una terna, es directo que dos relaciones y son iguales sí . A su vez, es también claro que si , entonces De aquí que se cumple:

Dos relaciones son iguales si

1. y tienen el mismo conjunto de partida ,

2. y tienen el mismo conjunto de llegada , y

3. Los elementos se relacionan por y de la misma forma, es decir,

• PROPIEDADES

Sea A un conjunto no vacío. Llamaremos a una relación de A en sí mismo, una relación binaria en , o simplemente una relación en , y abreviaremos su notación como . En este caso aparecen 4 propiedades claves a ser estudiadas:

1. Reflexividad: Decimos que es refleja (o reflexiva) ssi .

2. Simetría: Decimos que es simétrica ssi .

3. Antisimétrica:

Decimos que es antisimétrica si .

4. Transitividad:

Decimos que es transitiva sí .

La simetría y la antisimetría no se dan usualmente juntas, sin embargo NO son una la negación de la otra. En efecto existen relaciones que satisfacen ambas propiedades, por ejemplo, la relación de igualdad en . Aquí , donde es la llamada ``diagonal" de .

Ejemplo importante:

Estudiemos las 4 propiedades anteriores para la relación en tal que

donde es un natural fijo. Esta relación se llama de congruencia módulo y si decimos que `` es congruente con módulo ", o que `` es igual a módulo ". Son usuales las notaciones (mod ) o .

• Simétrica: Sean tales que . Hay que probar que . Sabemos que . Sea tal que . Despejando se tiene que , Es decir hemos encontrado un entero tal que lo que prueba que .

• Refleja: Sea . Debemos probar que . Es decir hay que encontrar tal que . Basta tomar , con lo cual y se concluye que .

• Transitiva: Sean tales que . Hay que probar que . Se tiene para un cierto , y para un cierto . Luego, despejando, se obtiene . Hemos encontrado un entero tal que , luego .

• Antisimétrica: No lo es si pues, por ejemplo

...