Você está na página 1de 30

1.

Teora de Conjuntos
1.1. CONJUNTOS Considere las siguientes expresiones: 1. Los estudiantes de la Facultad de Matemtica y Computacin de la Universidad de La Habana del curso 2001-2002. 2. Los tomos de la ltima edicin de las obras completas de Jos Mart. 3. Los nmeros naturales. 4. Los nmeros reales entre 0 y 1. 5. Los nmeros perfectos mayores que 25 6. Las direcciones electrnicas 7. Los grupos de clases prcticas de lgica. Tales expresiones denotan colecciones o conjuntos de entidades de diversa naturaleza (individuos: estudiantes; objetos concretos: tomos; objetos abstractos: nmeros; incluso colecciones de objetos: grupos de clase prctica). En una nueva lectura se prefijar "el conjunto de" a cada una de las expresiones anteriores. De esta manera se ha ejemplificado el concepto de conjunto. No ser difcil para el lector aadir ms ejemplos a partir de su nocin intuitiva de este concepto. Ntese que en el lenguaje natural existen muchos sinnimos de conjunto tales como grupo, colectivo, rebao, manada, colonia, enjambre, etc. que se aplican segn las entidades y el contexto en cuestin. La palabra conjunto, que tambin en el lenguaje ordinario suele tener usos especficos, por ejemplo, conjunto musical, es la que comnmente se utiliza en el quehacer matemtico y computacional en lengua espaola y ser la adoptada en este libro. Otros sinnimos de conjunto, que aparecen en la actividad cientfica, son clase, familia, los cuales sern introducidos en algn momento de nuestra exposicin para referirnos tambin a conjuntos. Ntese que se ha ejemplificado pero no definido que es un conjunto, el concepto de conjunto ser tomado en los desarrollos que siguen como un concepto primitivo, es decir, no definido. Vamos a desarrollar una teora elemental sobre los conjuntos basada en este concepto primitivo.

Notacin para conjuntos

Para desarrollar la teora de conjuntos se introducir paulatinamente una notacin que permitir construir las expresiones de dicha teora. En primer lugar, para denotar conjuntos cualesquiera se utilizarn letras maysculas del alfabeto latino: A, B, C, ...

Tambin se utilizarn algunos smbolos de uso constante en la prctica matemtica para denotar a determinados conjuntos numricos: : conjunto de los nmeros naturales. : conjunto de los nmeros reales.

Elementos

Se denomina elemento (miembro) de un conjunto a cada una de las entidades que el mismo contiene. Los elementos de un conjunto se representan mediante alguna notacin particular que se introduzca para nombrarlos. Por ejemplo, los smbolos que representan los nmeros en el sistema decimal: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, nombres de personas: Maria, Pedro, etctera.

Relacin de pertenencia

Existe una relacin fundamental entre un conjunto y cualquiera de sus elementos la cual se denomina relacin de pertenencia. Esta relacin es precisamente la que afirma que una entidad es un elemento de un conjunto. El enunciado "x pertenece a A" (expresin sinnima: "x es elemento de A") ser representado por xA donde x es cualquier entidad y el smbolo denota la relacin de pertenencia. Note que no se ha definido sino slo mostrado a la intuicin lo que es la relacin de pertenencia. Al igual que la nocin de conjunto se acepta aqui como un concepto primitivo. La negacin de dicho enunciado "x no pertenece a A" se representa por xA (expresin sinnima: "x no es elemento de A").

Representacin de Conjuntos La notacin introducida para conjuntos es una notacin compacta y servir con esta caracterstica para muchos de los desarrollos que siguen. Sin embargo, en la prctica resulta conveniente una representacin de conjunto que nos permita saber cules son precisamente los elementos que lo constituyen. Esta representacin puede hacerse de dos formas no excluyentes:

a) Relacionando todos sus elementos (representacin extensional) b) dando una propiedad que debe ser satisfecha por todos sus elementos (representacin intensional)
Representacin extensional

Se representar un conjunto en forma extensional escribiendo, encerrados entre llaves y separados por comas, los nombres de sus elementos. Ejemplos: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} B = {Andrs, Mara, Juan} La anterior representacin no implica ningn orden entre los elementos de un conjunto y en caso de que sus elementos se repitiesen se cuentan como uno. Slo con el objeto de facilitar la exposicin que sigue utilizaremos una representacin grfica para conjuntos dados extensionalmente, consistente en un crculo en cuyo interior aparecen los nombres de sus elementos. Ejemplo: Para A = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }, su representacin grfica es la siguiente

Representacin intensional

Se representar un conjunto en forma intensional mediante una propiedad que debe cumplir cualquier entidad para ser elemento del conjunto de la siguiente forma: { x | P(x)} y se lee "el conjunto de las x tales que x cumple la propiedad P". Ejemplos: a) A = {x | x es estudiante universitario y x tiene menos de 19 aos de edad} b) B = {x | x y x < 11} Note que B es una representacin intensional del conjunto representado extensionalmente por {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Volviendo a la nocin de conjuntos, dado que la representacin intencional introducida nos permite realmente definir en la prctica conjuntos mediante propiedades no se podra acaso considerar propiedad como sinnimo de conjunto? De hecho como se ver ms adelante la lgica permite disear lenguajes bien rigurosos, formales, para definir propiedades. Resulta que esta identificacin entre conjunto y propiedad est implcita en la definicin de conjuntos dada por el fundador de la teora de conjuntos, el matemtico alemn Georg Cantor (1845-1918) al considerar que un conjunto es una coleccin en un todo de entidades determinadas, distintas, de nuestra intuicin o de nuestro pensamiento (Principio de abstraccin de Cantor ). Uno de los fundadores de la lgica moderna, el lgico ingls Betrand Russell (1872-1970) descubri a principios de siglo que tal identificacin conduce a una contradiccin: Considere la siguiente propiedad: x es conjunto y x x y sea A = { x / x es conjunto y x x }. Dado que A es un conjunto, entonces si consideramos que A A, entonces A A y si consideramos que A A, entonces A A, es decir, A A si y slo si A A. esta contradiccin fue descubierta por Russell en los momentos que otro lgico alemn Gotllob Frege (1848-1925) intentaba fundamentar la aritmtica sobre la nocin de conjuntos. No se ha renunciado por ello a definir conjuntos mediante propiedades, pero si a impedir de alguna forma la posibilidad de definir conjuntos con propiedades tan totalizantes como la anterior. Las propuestas pertenecen al rea de la teora axiomtica de conjuntos y el lector interesado puede consultar Mendelson [1964]. Un conjunto es finito si tiene un nmero n de elementos, siendo n . Un conjunto es infinito si no es finito. Todos los conjuntos dados hasta aqu como ejemplos, excepto el conjunto de los nmeros naturales son conjuntos finitos. Una representacin extensional usual de como conjunto infinito es la siguiente:

= {1, 2, 3,..., n,...} Un conjunto unitario es un conjunto que posee un nico elemento. Ejemplos: a) {2} b) {x | x es par y x es primo} Observe que a) es una representacin extensional de b), y viceversa que b) es una representacin intensional de a).

Relacin de inclusin Al comenzar este tpico se debe llamar la atencin sobre lo siguiente: se han introducido como primitivas o sin definiciones las nociones de conjunto y relacin de pertenencia. A continuacin, se observara un primer ejemplo tpico de definicin en lgica: a partir de las nociones primitivas anteriores se define una relacin importante entre conjuntos, la relacin de inclusin. Definicin: Si A y B son conjuntos, entonces A est incluido en B, (A es subconjunto de B) lo cual representaremos por AB si y slo si para toda x, si x A, entonces x B. Tambin se dice en este caso que A es subconjunto de B. Ejemplo: Sea A = {a, c, d, f } y sea B = {a, b, c, d, e, f, g}, entonces se verifica que A B.

La negacin de A f B se escribe A B y se lee "A no esta incluido en B" ("A no es subconjunto de B"). Ejemplo: Sean los conjuntos A = {4, 5, 6, 7, 8, 9}, B = {10, 11, 12 } y C = {1, 2, 3, 4, 5, 6 } entonces se verifica que A B y que A C.

Igualdad de conjuntos A partir de la relacin de inclusin se obtiene la siguiente Definicin: Si A y B son conjuntos, entonces A es igual a B, lo cual denotaremos por A=B si y slo si A f B y B f A. Esta definicin equivale a la siguiente: dos conjuntos son iguales si y slo si tienen exactamente los mismos elementos. La negacin de A = B se denota por AB y se lee A es desigual de B ( A es distinto de B. Ejemplo a) Dado que 2 el el nico nmero que es primo y par a la vez se tiene que {2} = {x | x es primo y x es par} b) Dado que si un nmero es divisible por 2, es mltiplo de 2, se tiene que {x | x y x es divisible por 2 } = { x | x y x es mltiplo de 2 } El ejemplo b) revela lo siguiente: un mismo conjunto puede ser definido por propiedades diferentes, siendo por lo tanto ambas propiedades extensionalmente equivalentes.

Los siguientes enunciados establecen propiedades de la relacin de inclusin. La validez de estos enunciados se desprende de la propia definicin de la relacin de inclusin. Las propiedades mencionadas sern objeto de estudio cuando se trate el concepto de relacin.

a) A A (la relacin f es reflexiva). b) si A B y B A, entonces A = B (la relacin es antisimtrica). c) Si A B y B C, entonces A C (la relacin es transitiva). Se dice que A es un subconjunto propio de B, lo cual se denota por A d B, si A es subconjunto B y desigual de B, es decir, Definicin: A d B si y slo si A B y A ? B

Conjuntos distinguidos
Conjunto universo o dominio

En la prctica resulta conveniente fijar un conjunto que incluya todas las entidades que ocupan nuestra atencin en un momento dado. Vamos a llamar conjunto universo o dominio a este conjunto. Por ejemplo, la teora de nmeros investiga las propiedades de los nmeros naturales, entonces su dominio es precisamente el conjunto de los nmeros naturales. En Anlisis, el dominio puede ser el conjunto de los nmeros reales (Anlisis Real) o el conjunto de los nmeros complejos (Anlisis Complejo). En el desarrollo de la teora de conjuntos se utilizar el smbolo U para denotar un dominio. Ntese que una vez fijado un dominio, todos los conjuntos que se consideran se definen con respecto a dicho dominio y son por lo tanto subconjuntos del mismo. Por lo tanto, dado U, para cualquiera que sea el conjunto A, A U.

10

Conjunto vaco

Es posible definir propiedades las cuales no son cumplimentadas por ninguna entidad. Por ejemplo "x es nmero natural y x es par e impar". Propiedades como la dada definen un conjunto, que no tiene elementos al cual denominaremos conjunto vaco y denotaremos con el smbolo . La relacin entre y el resto de los conjuntos es la siguiente: A Analice por qu el enunciado anterior satisface la definicin de la relacin de inclusin. Se volver sobre el mismo ms adelante.
Conjunto potencia

En ocasiones resulta conveniente hablar de los subconjuntos que puedan estar incluidos en un conjunto dado. Entonces, dado el conjunto A, se define un nuevo conjunto que denominaremos conjunto potencia de A, este se denota por 2A y tiene como elementos todos los subconjuntos de A, es decir: Definicin: 2A = {B | B A} Observe que 2A es un conjunto cuyos elementos son conjuntos. Si el conjunto A tiene un nmero finito n de elementos, el nmero de elementos de 2A es igual a 2 n. Ejemplo: Sea A = {Pedro, Luisa, Ana}, entonces 2A = {{Pedro}, {Luisa}, {Ana}, {Pedro, Luisa}, {Pedro, Ana}, {Luisa, Ana}, A, }

11

Operaciones entre conjuntos A partir de conjuntos dados es posible, mediante ciertas operaciones que se definen a continuacin, construir nuevos conjuntos.
Unin de Conjuntos

Definicin: Dados los conjuntos A y B se obtiene, mediante la operacin unin, denotada por el smbolo , un nuevo conjunto que se denota por AB (se lee: "A unin B") cuyos elementos son aquellos que pertenecen a A, o a B, o a ambos conjuntos, es decir A B = {x | x A x B o x pertenece a ambos conjuntos} Ejemplos: a) Sea A = {1, 2, 4, 6} y B = {7, 8, 9}, entonces A B = {1, 2, 4, 6, 7, 8, 9}

b) =
Interseccin de conjuntos

Definicin: Dados los conjuntos A y B se obtiene, mediante la operacin interseccin, denotada mediante el smbolo , un nuevo conjunto que se denota por AB

12

(se lee: "A interseccin B") cuyos elementos son aquellos que pertenecen tanto a A como a B a la vez, es decir, A B = { x | x A y x B} . Ejemplo s: a) Sea A = { 1, 2, 3} y B = { 2, 3, 4, 5} , entonces A B = {2,3}

b) = Si A y B no tienen ningn elemento en comn entonces A B = y se dice que A y B son disjuntos. Ejemplo: Sea A = { 1, 2, 3, 4, 5} y B = { 6, 7, 8, 9, 10} , entonces A B =

13

Complemento de un conjunto

: Dados los conjuntos A y B se obtiene, mediante la operacin complemento relativo, denotada por el smbolo , un nuevo conjunto que se denota mediante AB (se lee: "complemento de B con respecto a A"), cuyos elementos son los elementos que pertenecen a A, pero no a B, es decir, A B = { x | x A y x B} Ejemplo: Sea A = {4, 5, 6, 7, 8, 9, 10}, B = {1, 2, 3, 4, 5, 6}, entonces B - A = {4, 5, 6}

Entre los complementos relativos de un conjunto es muy importante el complemento relativo de un conjunto A con respecto a su dominio U. Este complemento se denomina complemento absoluto y se denota por Ac , es decir, Ac = U A Note que Ac contiene todos los elementos del dominio que no estn en A. Cuando hablemos simplemente del complemento de un conjunto A nos estaremos refiriendo a su complemento absoluto. Ejemplo: U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 24}, A = {4, 5, 10, 12, 13, 16}, entonces Ac = {1, 2, 3, 6, 7, 8, 9, 11, 15, 18, 19, 20, 21, 24}

14

Algebra de conjuntos Las propiedades de las operaciones conjuntuales sern objeto de estudio a continuacin. Siempre que se tiene una cierta clase de objetos abstractos (en nuestro caso los conjuntos) y se introducen determinadas operaciones entre los mismos (en nuestro caso la unin, la interseccin y el complemento), se dice que la clase de objetos junto con las operaciones introducidas entre estos objetos constituye una estructura algebraica. El lgebra es la parte de la matemtica encargada de estudiar las estructuras algebraicas. Son objeto especial de estudio por el lgebra las propiedades que caracterizan a las operaciones en las estructuras algebraicas. Estas propiedades se establecen mediante identidades y reciben comnmente el nombre de leyes. A continuacin, las leyes fundamentales de las operaciones conjuntuales.
1. Leyes de idempotencia

(1a) A A = A (1b) A A = A
2. Leyes asociativas

(2a) (A B) C = A (B C) = A B C (2b) (A B) C = A (B C) = A B C
3. Leyes conmutativas

(3a) A B = B A (3b) A B = B A

15

4. Leyes distributivas

(4a) A (B C) = (A B) (A C) (4b) A (B C) = (A B) (A C)
5. Leyes de identidad

(5a) A = A (5b) A U = A (5c) A U = U (5d) A =


6. Leyes de complemento

(6a) A AC = U (6b) A AC = (7c) (AC) C = A (8d) UC = (9e) C = U


7. Leyes de De Morgan

(7a) (A B) C = AC BC (7b) (A B) C = AC BC

8. Leyes de Absorcin (8a) A (A B) = A (8b) A (A B) = A

Como se observa, muchas de las propiedades que expresan estas leyes resultan ser muy evidentes, como en el caso de la idempotencia, la asociatividad y la conmutatividad. No obstante, teniendo en cuenta las definiciones de las operaciones conjuntuales puede procederse lgicamente a su demostracin de manera informal. Ejemplo: A continuacin se realizar una demostracin lgica de una de estas leyes. El objetivo es la familiarizacin ya con los mtodos de demostracin lgica cuyo estudio se abordar posteriormente. Se demostrar, a manera de ejemplo la ley distibutiva (4b). A (B C) = (A B) (A C) De acuerdo con la definicin de igualdad de conjuntos bastar demostrar que

16

A (B C) (A B) (A C) y que (A B) (A C) A (B C)

(I)

(II)

Para demostrar (I), de acuerdo con la definicin de la relacin de inclusin, basta demostrar que si x A (B C) entonces x (A B) (A C). Supngase que x A (B C), entonces por definicin de interseccin, xA y xBC, y dado que x B C, entonces por definicin de unin xB xC Luego la demostracin tiene que continuar considerando los dos casos posibles: Suponga que x B, entonces dado que x A, se tiene que x (A B), Suponga que x C, entonces por el mismo razonamiento anterior x (A C), luego en cualquier caso, por la definicin de unin, x (A B) (A C). Se deja al lector la demostracin de (II).

Definicin: Se denomina particin del conjunto A, a una clase B de subconjuntos de A que satisface las siguientes condiciones: i) B ii) Dados dos conjuntos Ai y Aj , i j, de B se tiene que Ai Aj = . iii) La unin de todos los conjuntos de B es igual a A, es decir, si A1, A2, ..., An son los subconjuntos de B entonces A= A1 A2 ... An Ejemplo: Sea A = {1, 2, 3, 4, 5} y B = {{1}, {2, 3}, {4, 5}}, entonces B es una particin de A.

17

Ejercicios 1. Represente extensionalmente tres conjuntos de objetos que se hallen a su alrededor. Proponga una propiedad para definir cada conjunto. Trate de definir los mismos conjuntos por propiedades distintas a las previamente dadas. 2. Diga sin son verdaderos o falsos las siguientes proposiciones. Justifique sus respuestas. a) b) c) d) {} {}

3. Sea el dominio U = {1, 2, 3, 4} y sean A = {1, 2, 3} y B = {1, 2}. Diga si son verdaderos o falsos los siguientes enunciados. Justifique sus respuestas. a) b) c) d) e) B A. 2 B A B {A} A B (B A)C A B

4. Sean A y B subconjuntos del dominio U. Demuestre que para cada uno de los grupos enunciados, si es verdadero al menos uno de los enunciados en un grupo tambin son verdaderos las restantes. a) A B, BC AC, A B = B, A B = A b) A B = U, AC B, BC A. c) A B = , A BC, B AC. 5. Establezca si son verdaderos o falsos los enunciados a continuacin. Justifique sus respuestas. a) b) c) d) e)
{}= {} {}= {,{}}- {{}} = {} - = {,{}}- {} = {{ }}

6. Demuestre mediante las leyes del lgebra de conjuntos los siguientes enunciados: a) b) c) d) (A BC)C = AC B ((A B)C C)C = (A B) C ((A B)C A)C = B AC ((A B) (AC BC)= U

18

1.2. RELACIONES Considere los siguientes enunciados: a) La tierra gira alrededor de el sol. b) Andrs es tan inteligente como Juan. c) 2 3 d) 5 e) Luis est entre Mara y Alberto En cada uno de los enunciados anteriores se afirma que una cierta relacin se mantiene entre dos o ms entidades. Como puede apreciarse en los ejemplos, las relaciones expresan interaccin, comparacin, orden, pertenencia, situacin, etc., entre entidades. Observe que todos los hechos, principios y regularidades que se enuncian, en general todo el conocimiento, se refiere a relaciones que afirmamos se mantienen entre diversas entidades. El concepto de relacin es, por lo tanto, una estructura esencial de nuestro razonamiento y su estudio, como se podr apreciar, ocupa un lugar destacado en la lgica. Como ya ha comenzado a hacerse evidente a travs de los desarrollos anteriores, el establecimiento de enlaces definicionales entre conceptos es aspecto esencial y objeto de estudio de la lgica. Analicemos ahora cmo puede lograrse una definicin del concepto de relacin dentro de la teora de conjuntos.

Pares ordenados Dada una relacin, los objetos que la mantienen entre s pertenecen a un dominio dado. Luego es evidente que una relacin podra representarse relacionando todos los pares de elementos de un dominio que mantienen la relacin entre s. Considere el enunciado a) que consta de la relacin binaria (relacin entre dos entidades) girar alrededor de . El enunciado afirma que dicha relacin se mantiene entre los objetos tierra y sol. Luego podemos afirmar que el par de objetos tierra, sol, es elemento de la relacin girar alrededor de que puede representarse extensionalmnete como un conjunto de pares de objetos en que el uno de los objetos gira alrededor del otro. Observe adems que los pares de objetos que constituiran esta relacin, por ejemplo, el par tierra, sol, no pueden ser dados en cualquier orden, ya que siguiendo con nuestro ejemplo, el par sol, tierra extrado del enunciado falso (y que por mucho tiempo se tomo como verdadero) "el sol gira alrededor de la tierra" no pertenece a la relacin en cuestin. De aqu que se expresa un orden y por ello se denomina par ordenado a todo elemento de una relacin. En resumen, el par ordenado, constituido por objetos a y b cualesquiera, se denotar de la manera siguiente:

19

<a, b> y se lee "el par ordenado a, b". Se dice del objeto a que es el primer elemento y del objeto b que es el segundo elemento del par ordenado <a, b>. El concepto de par ordenado ha sido informalmente caracterizado como un concepto primitivo. Si se quiere una definicin formal se puede adoptar la siguiente definicin de Banach-Kuratowski: <x, y> = {{x}, {x, y}} dada en trminos exclusivamente de la nocin de conjunto. Se deja al lector el anlisis de esta definicin, as como su utilizacin para demostrar la igualdad entre pares ordenados: <x, y> = < x, y> Note que a partir de la definicin de par ordenado es posible obtener la siguiente definicin de triplo ordenado Definicin: <x, y, z> = <x <y, z>>.

Es decir, un triplo ordenado es un par ordenado cuyo segundo elemento es un par ordenado. En general, se puede definir un n-uplo ordenado de la manera siguiente: Definicin: <x1, x2, ..., xn > = < x1 , <x2 , ..., xn > >

Es decir, un n-uplo ordenado es un par ordenado cuyo segundo elemento es un (n-1)uplo ordenado. Dadas estas definiciones, obtenidas todas a partir de la definicin de par ordenado, est justificado que en lo adelante hablemos de pares ordenados o simplemente de tuplos.

Conjuntos productos

Continuando con el objetivo de lograr una definicin conjuntual de las relaciones se definirn conjuntos cuyos elementos son n-uplos ordenados y a los cuales denominaremos conjuntos productos. Definicin: Sean A y B conjuntos no necesariamente distintos, entonces denomina conjunto producto o producto cartesiano de A por B y se denota mediante A H B al conjunto que tiene como elementos los pares ordenados de la forma <x, y> tales que x A y y B , es decir: A H B = { <x, y > | x A y y B } .

20

Ejemplos: a) Sea A = {1, 2, 3} y B = {a, b}, entonces A H B = {<1, a>, <1, b>, <2, a>, <2, b>, <3, a>, <3, b>}. b) Sea A = {1, 2, 3} y B = {a, b} , entonces A H B H A = {<1, a, 1>, <1, a, 2>, <1, a, 3>, <1, b, 1>, <1, b, 2>, <1, b, 3>, <2, a, 1>, <2, a, 2>, <2, a, 3>, <2, b, 1>, <2, b, 2>, <2, b, 3>, <3, a, 1>, <3, a, 2>, <3, a, 3>, <3, b, 1>, <3, b, 2>, <3, b, 3> } . Observe que un conjunto producto contiene por definicin todos los pares ordenados posibles. Generalizando Definicin: Sean A1, A2, , An conjuntos no-vacos no necesariamente distintos, entonces A1 H A2 H H An = { <x1, x2,, xn> / x1 A1, x2 A2 H H xn An } El lector verificar que la operacin producto entre conjuntos no es en general conmutativa. Qu se puede decir en cuanto a la asociatividad?. Las siguientes son algunas equivalencias distributivas de la operacin producto con respecto a las operaciones conjuntuales: a) (A B) H C = (A H C) (B H C) b) (A B) H C = (A H C) (B H C) c) (A - B) H C = (A H C) - (B H C) Se dejan las demostraciones al lector. Relaciones binarias A partir de la definicin de conjunto producto se procede finalmente a definir el concepto de relacin. Dado que las relaciones sern representadas extensionalmente como conjutos de tuplos y dado que la nocin de par ordenado es la base para la definicin de tuplos, no se pierde en generalidad si basamos nuestra exposicin en las relaciones binarias. Definicin: Sean los conjuntos A y B no necesariamente distintos, se dice que R es una relacin binaria de A en B si R es un subconjunto de pares ordenados de A H B, es decir, si R A H B. Si A = B, entonces se dice simplemente que R es una relacin binaria en A. Observe que una relacin binaria R en un conjunto A slo contiene los pares ordenados de A H A que mantienen la relacin entre s.

21

En la prctica lgica existen dos notaciones fundamentales para establecer que una relacin se mantiene entre dos o ms elementos. Si R es una relacin binaria y <a, b> R, entonces R(a, b) (notacin prefija) y aRb (notacin infija) son formas alternas de afirmar que a mantiene la relacin R con b. Definicin: Si R es una relacin binaria se denota por dom(R) y se denomina dominio de R al conjunto: dom(R) = {x / existe y tal que <x, y> R} Definicin: Si R es una relacin binaria se denota por codom(R) y se denomina codominio de R al conjunto: codom(R) = {y / existe x tal que <x,y> R} Ejemplos: La relacin < (menor que) en es una relacion binaria con dom() = y codom() = - {0}. La relacin < (menor que) en es una relacion binaria con dom() = codom() = .

Operaciones entre relaciones Dado que las relaciones son conjuntos todas las operaciones conjuntuales definidas entre conjuntos se pueden aplicar tambin entre relaciones. Sin embargo, lo importante es que con el nuevo tipo de conjuntos que son las relaciones, es decir, conjuntos de tuplos ordenados, tiene sentido definir para las relaciones otras operaciones conjuntuales. As se tiene: Definicin: Sea R una relacin, entonces se define a partir de R una nueva relacin denominada inversa de R y denotada por R-1 de la manera siguiente: R-1= {<x, y> | <y, x> R } Ejemplos: a) Sea R = { <1, 1>, <1,2>, <1, 3>, <1, 4> }, entonces R-1 = { <1, 1>, <2, 1>, <3, 1>, <4, 1> } . b) La inversa de la relacin > en es la relacin <. c) padre denota en espaol una relacin binaria en el conjunto de los seres humanos.La inversa de padre es la relacin hijo. Definicin: Si R y S son relaciones, entonces se define a partir de R y S una nueva relacin denominada la compuesta de R con S, denotada por S B R, de la manera siguiente: S B R = { <x, y> | Existe z tal que <x, z> R y <z, y> S }

22

Ejemplo: a) Sea R = { <1, 2>, <2, 3>, <3, 4> } y S = { <2, 3>, <3, 4>, <4, 1> } , entonces S B R = { <1, 3>, <2, 4>, <3, 1> } . b) Considere las relaciones binarias entre los seres humanos hermana y padre, entonces verifique mediante ejemplos que la compuesta hermana B padre define la relacin binaria ta.

Propiedades de las relaciones Nuestro anlisis de las relaciones ser completado ahora con el estudio de algunas de sus propiedades fundamentales y la definicin de algunos tipos de relaciones de gran importancia. En las definiciones que siguen supondremos que las relaciones son binarias y que estn definidas sobre los elementos de un determinado conjunto A, es decir, las relaciones son subconjuntos de A H A . Algunas afirmaciones de las propiedades en los ejemplos se darn sin justificacin apelando a los conocimientos del lector.
Reflexividad

Primero, analicemos como puede ser el comportamiento de una relacin con respecto a cualquier elemento del conjunto donde est definida. La propiedad que define este comportamiento se denomina reflexividad y puede ser de dos formas fundamentales: Definicin: Una relacin R en A es reflexiva si y slo si para toda x A se tiene que <x, x> R. Ejemplos: a) Sea A = { 1, 2, 3 }, entonces la relacin R = {<1, 1>, <1, 2>, <2, 2>, <2, 1>, <3, 2>, <2, 3>, <3, 3> } es reflexiva en A. b) La relacin en es reflexiva. c) La relacin ser tan alto como es reflexiva en cualquier conjunto de seres humanos Definicin: Una relacin R en A es irreflexiva si y slo si para toda x A se tiene que <x, x> R . Ejemplos: a) La relacin < (ser menor que) es irreflexiva en . b) La relacin d es irreflexiva entre conjuntos b) la relacion ser padre de es irreflexiva en el conjunto de los seres humanos.

23

Simetra

Veamos ahora cual es el comportamiento de la relacin con respecto a dos elementos no necesariamente distintos del conjunto donde est definida. La propiedad que define este comportamiento se denomina simetra y puede adoptar tres formas fundamentales: Definicin: Una relacin R en A es simtrica si y slo si para toda x A, y A se tiene que si <x, y> R , entonces <y, x> R . Ejemplos: a) Sea A= {1, 2, 3}, entonces la relacin R = {<1, 1>, <1, 2>, <2, 2>, <2, 1>, <3, 2>, <2, 3>, <3, 3> } es simtrica en A. b) la relacin = (de igualdad) es simtrica en c) La relacin ser tan alto como es simtrica en cualquier conjunto de seres humanos Definicin: Una relacin R en A es asimtrica sis para toda x A, y A se tiene que si <x, y> R , entonces <y, x> R . Ejemplos: a) La relacin ser sucesor inmediato de es asimtrica en . b) La relacin < es asimtrica en . c) La relacin d es asimtrica entre conjuntos. Definicin: Una relacin R en A es antisimtrica sis para toda x A, y A se tiene que si <x, y> R y <y, x> R , entonces x = y. Ejemplos: a) La relacin = (mayor o igual que) es antisimtrica en . b) Verifique que la relacin f es antisimtrica en el conjunto potencia 2A de cualquier conjunto A.
Transitividad

A continuacin veamos cual es el comportamiento de una relacin con respecto a tres elementos no necesariamente distintos del conjunto donde est definida. La propiedad que define este comportamiento se denomina transitividad y puede adoptar dos formas fundamentales: Definicin: Una relacin R en A es transitiva si y slo si para toda x A, y A, z A se tiene que si <x, y> R y <y, z> R, entonces <x, z> R. Ejemplos: a) La relacin = (mayor o igual que) es transitiva en .

24

b) La relacin d es transitiva entre conjuntos. c) La relacin ser tan alto como es transitiva en cualquier conjunto de seres humanos. Definicin: Una relacin R en A es intransitiva si y slo si para toda x A, y A, z A se tiene que si <x, y> R y <y, z> R , entonces <x, z> R . Ejemplos: a) La relacin ser padre de es intransitiva en el conjunto de los seres humanos. b) La relacin ser sucesor inmediato es intransitiva en .

Relaciones de equivalencia Teniendo en cuenta las propiedades anteriores se define a continuacin un tipo de relacin muy importante. Definicin: Una relacin binaria R en un conjunto A es una relacin de equivalencia si y slo si R es reflexiva, simtrica y transitiva en A . Ejemplos: a) La relacin ser tan alto como es una relacin de equivalencia en cualquier conjunto de seres humanos. b) La relacin de igualdad es una relacin de equivalencia en cualquier conjunto. Las relaciones de equivalencia constituyen un poderoso instrumento de definicin de entidades abstractas. Sea R una relacin de equivalencia entre los elementos de un conjunto A y sea a A, entonces se denomina clase de equivalencia por R de a y se denota mediante [a] al conjunto de las x, x A, que mantienen con a la relacin R, es decir, [a] = { x | <a, x > R } . La familia de las clases de equivalencia por R de A se denomina el cociente de A por R y se denota por A/R, es decir, A / R = { [a] | a A } As pues a partir del conjunto A hemos definido otro conjunto A / R mediante una relacin de equivalencia que contiene como elementos clases abstracta de entidades. Este proceso definitorio que se acaba de exponer es de gran importancia en la ciencia en general pues fundamenta todos los procesos de clasificatorios. Ejemplo: Sea Z = {, -n, , -2, -1, 0, 1, 2, , n, } (conjunto de los nmeros enteros) y sea R una relacin tal que R = { <x, y> | x - y es divisible por n y n }.

25

Se puede verificar que R es una relacin de equivalencia ya que x - x es divisible por n (reflexiva), si x- y es divisible por n, entonces y - x es divisible por n y, por ultimo, si x - y es divisible por n y y - z es divisible por n, entonces x - z es divisible por n dado que x - z = (x - y) + (y - z) . Para n = 5, se tiene que Z/R tiene como elementos los siguientes 5 conjuntos: {..., -10, -5, 0, 5, 10, ...} {..., - 9, - 4, 1, 6, 11, ...} {..., - 8, - 3, 2, 7, 12, ...} {..., - 7, - 2, 3, 8, 13, ...} {..., - 6, - 1, 4, 9, 14, ...} Si se observan las clases definidas por R en Z, se verifica que constituyen una particin de Z. De manera general se tiene la siguiente proposicin que se enuncia sin demostracin: Si R es una relacin de equivalencia en un conjunto A, entonces a partir de R puede definirse una particin de A, precisamente A/R, y viceversa, si se tiene una particin B de A entonces puede definirse una relacin de equivalencia R en A tal que B= A/R.

Relaciones de Orden Definicin: Una relacin R en un conjunto A, se denomina un orden parcial de A si y slo si R es reflexiva, antisimtrica y transitiva en A. Ejemplo: a) La relacin f es un orden parcial en cualquier clase de conjuntos. b) La relacin es un orden parcial en . Definicin: Una relacin R en un conjunto A se denomina un orden total (lineal) si y slo si R es un orden parcial y adems para toda x A y y A, se tiene que x R y y R x. Ejemplo: a) La relacin en es un orden total, es decir, para cualquier par de nmeros reales x, y, se cumple que x y o y x. Verifique sin embargo que la relacin de orden parcial f en 2A para cualquier conjunto A es un orden parcial que no es total. La relacin < en puede definirse a partir de la relacin en de la siguiente manera: x < y si y slo si x y y x y .

26

Se deja al lector la demostracin a partir de la definicin dada de que esta relacin es irreflexiva, asimtrica y transitiva en . Si una relacin R en un conjunto A es un orden, entonces su relacin inversa R-1 es tambin un orden que tiene las mismas propiedades que R : la inversa de la relacin < en es la relacin > y es tambin un orden con las mismas propiedades que <.

Ejercicios 1. Sea A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, R = {<x, y> / x, y A, x < y}. Represente en forma extensional: R, R-1, R R-1, R R-1, R B R-1, R-1 B R. 2. Demuestre las equivalencias distributivas de la operacin producto dadas en el texto. 3. Sean R y S relaciones no-vacas en un conjunto A. Diga si son verdaderos o falsos los siguientes enunciados. Justifique sus respuestas. a) Si R es simtrica, entonces R-1 es simtrica. b) Si R es asimtrica, entonces R R-1 . c) Si R es asimtrica y transitiva, entonces R es irreflexiva. d) Si R es transitiva e irreflexiva, entonces R es asimtrica. 4. Sea el conjunto A = {1, 2, 3}. a) Halle todas las particiones de A. b) Defina extensionalmente una relacin de equivalencia para cada una de las particiones de A. 5. Sean R y S relaciones de equivalencia sobre un conjunto A, y sean n y m el numero de clases de equivalencia en A/R y A/S respectivamente. A partir de R y S se define la relacin P de la manera siguiente: x P y ssi (x R y) y (x S y) . Se verifica que P es una relacin de equivalencia en A. a) Cul es el menor nmero de clases de equivalencia de P? Cul el mayor? b) Se define una relacin de equivalencia Q como sigue: x Q y ssi (x R y) o (x S y) . Cual es el menor nmero de clases de equivalencia de Q?

27

Cul el mayor? 5. Considere la siguiente relacin R definida en el conjunto de los enteros Z de la manera siguiente: para toda x, y Z, x R y sis existe z Z tal que x = y + z. Determine el tipo de R de acuerdo con las propiedades que cumple segn la definicin dada. Analice el caso para z Z {0}. 6. Sea la relacin denotada por < definida en de la manera siguiente: x < y si y slo si x y y x y . Demuestre que < es irreflexiva, asimtrica y transitiva en . 7. Analice la definicin formal de par ordenado y utilcela para demostrar la igualdad entre pares ordenados.

28

1.3. FUNCIONES Las relaciones permiten dar una definicin abstracta del concepto de funcin usual en matemtica y computacin. Este concepto se define de manera intuitiva diciendo que f es una funcin definida en un conjunto A y con valores en un conjunto B, lo cual se denota por f:AB si f asocia (hace corresponder ) a cada elemento de A uno y slo un elemento de B. Los desarrollos hasta aqu permiten definir el concepto de funcin de manera formal como un tipo particular de relaciones que se denominan relaciones funcionales: Definicin: Sea la relacin f f A B, entonces se dice que f es una relacin funcional o funcin parcial de A en B si y slo si para toda x A, si <x, y> f y <x, z> f , entonces y = z. Se tiene que dom(f ) f A, por lo que dom(f ) contiene los elementos de A para el cual se considera definida la funcin. Si dom(f ) = A, entonces decimos que f es una funcin total de A en B . Observe que codom(f ) = f [dom(f )] = {y | <x, y> f } f B. Denominaremos a f [dom(f )] la imagen de f determinada en B por su dominio dom(f ). En lo que sigue slo se consideran funciones totales a las que se denominar simplemente funciones. Si f es una funcin y si <x, y> f , entonces la determinacin nica de y por x a partir de f se denota por f(x) que se lee indistintamente: "f de x", f en x, "la imagen de x por f", "el valor de x por f". De manera que f (x) es una nueva notacin para y, es decir, f (x) = y y entonces el par <x, y> puede escribirse tambin de la forma <x, f(x)>. Ejemplos: a) La relacin {<0,1>, <1, 2>, <2, 3>, ..., <n, n + 1>, ... } f es una funcin, ya que cada elemento n de mantiene la relacin exclusivamente con el elemento n + 1 de . Esta funcin se denomina funcin sucesor . b) La relacin { <0, 0>, <1, 1>, <2, 2>, ..., <n, n>, ... } f es, como puede verificarse, una funcin, denominada la funcin identidad en . c) La relacin { <0, n>, <1, n>, <2, n>, ..., <n, n>, ... } f es, como puede verificarse, una funcin, denominada una funcin constante en . d) La relacin { <x, x2 > | x } es la funcin cuadrado en . e) Sea f = { <x, sen x> | x } , entonces dom(f ) = y f [] = { y | y y -1 y + 1 }. f) Sea f = { <x, 7x + 2> | x } , entonces verifique que dom(f ) = f [dom(f )]. A continuacin se define la igualdad de funciones como un caso particular de la igualdad de conjuntos.

29

Definicin: Sean las funciones f: A B y g: A B , se tiene que f = g si y slo si para toda x A, f(x) = g(x) .

Tipos de funciones El concepto de funcin que acabamos de definir es el ms general, sin embargo, en la prctica conviene tener en cuenta algunas especificaciones que dan lugar a diferentes tipos de funciones. Definicin: Una funcin f: A B se denomina inyectiva si y slo si para toda x A, y A, si f(x) = f(y) , entonces x = y . Es decir, una funcin es inyectiva si a elementos distintos de su dominio le corresponden imagenes distintas. Ejemplos: El lector verificar que a) f = { < x, ax > | x } (funcin exponencial), b) f = { < x, x3 + 2> | x } (funcin cubo) son funciones inyectivas, mientras que c) f = { <x, x2> | x } (funcin cuadrado) d) f = { < x, |x|> | x } (funcin valor absoluto) no son funciones inyectivas. Definicin: Una funcin f: A B se denomina sobreyectiva si y slo si se cumple que para toda y, y B, se tiene que existe x , x A , tal que y = f (x). Es decir, si f[A] = B. Ejemplos: a) f = { <x,x> | x }, la funcin identidad en es sobreyectiva. b) Sea f = { <x, x /|x|> | x - {0}} , la funcin es sobreyectiva si se toma B = {-1, 1} . Existen funciones que no cumplimentan ninguna de las dos definiciones anteriores, el lector hallar ejemplos. Definicin: Una funcin f : A B se denomina biyectiva si y slo si f es inyectiva y sobreyectiva a la vez. Ejemplos: a) La funcin identidad definida en cualquier conjunto A es biyectiva. b) La funcin f = { << x, y>, <y, x>> | <x, y> } es biyectiva.

30

Operaciones con funciones Considrense ahora las operaciones definidas entre relaciones para el caso particular de las relaciones funcionales. No siempre una operacin entre relaciones funcionales da como resultado una relacin funcional: la unin de funciones no es en general una funcin y la interseccin de funciones o es vaca o es una funcin. Los casos de operaciones ms interesantes son los de funcin inversa y composicin de funciones. Sea la funcin f: A B, su inversa f --1 no es necesariamente una funcin. Sin embargo, si f es biyectiva entonces se puede verificar que f --1 es una funcin tambin biyectiva. Ejemplos: a) La inversa f --1 de la funcin identidad f de cualquier conjunto A es biyectiva y es igual a f . b) Sea f = { <x, 1/2x> | x }, entonces dom(f ) = { x | x y -1 < x 2 } y f [dom(f )] = { y | y y -1/2 y +1 }. Se tiene que f es una funcion biyectiva lo cual se verificar como ejercicio. Sea f: A B y A f A, entonces la restriccin de f a A denotada por f|A es una funcin de A en B definida por f|A(x) = f(x) para toda x A. En ocasiones resulta til definir la restriccin de una funcin y a partir de esta restriccin se puede entonces definir una funcin inversa. Ejemplo: Sea f = { < x, x 2 > | x } y sea + = { x | x y 0 < x < % } , entonces f|+ = { < x, x 2 > | x } . Mientras que f no es inyectiva, f|+ lo es, siendo su inversa (f|+)-1 = { < x, x > | x }. Sean las funciones f: A B y g: B C, entonces g o f es una funcin con dominio en A e imagen en C, es decir, g o f : A C . En notacin de conjuntos ya se vi que g B f = { <x, y> | Existe z tal que <x, z> f y <z, y> g }. Ejemplos: a) Sea A = { 1, 2, 3 } , B = { 3, 4, 5 } y C = { 2, 4, 6 }. Sean f : A B y g : B C , definidas de la siguiente manera: f = { <1, 3>, <2, 4>, <3, 5> } , g = { <3, 2>, <4, 6>, <5, 6> } .

31

La funcin g B f : A C se determina de la manera siguiente: g B f (1) = g(f(1)) = g(3) = 2 g B f (2) = g(f(2)) = g(4) = 6 g B f (3) = g(f(3)) = g(5) = 6 luego g B f = { <1, 2>, <2, 6> <3, 6> }. b) Sea f = { < x, x2 > | x } y g = { < x, 1/x> | x }, entonces g B f = { < x, 1/x2 > | x } y f o g = { < x, (1/x)2 > | x } . De los ejemplos a) y b) se desprende que, en general, g B f f B g, es decir, la composicin de funciones no es una operacin conmutativa. Sin embargo, la composicin de funciones es asociativa, es decir, g B (f B h) = (g B f) B h = g B f B h. lo cual es fcil de demostrar y se deja como ejercicio. Si f y g son funciones inyectivas (sobreyectivas, biyectivas, respectivamente), entonces f B g es tambien inyectiva, sobreyectiva, biyectiva, respectivamente. Demostrarlo como ejercicio.

Funciones de n variables Hasta ahora hemos definido las relaciones funcionales como un caso especial de relaciones binarias. Las funciones as definidas se denominan funciones de una variable. Sin embargo, muchas relaciones n-arias, n > 2, que la investigacin cientfica ha logrado descubrir en la realidad son tambin relaciones funcionales. As, por ejemplo, la relacin entre la fuerza F, la masa m y la aceleracin a de una partcula material, es establecida por la segunda ley de la mecnica newtoniana mediante la ecuacin F=m.a Esta ecuacin define una funcin de la forma z = f(x, y) es decir, una funcin de dos variables.

32

Note que una relacin funcional binaria define una funcin de una variable, una relacin funcional ternaria define una funcin de 2 variables y que, en general, una relacin funcional n+1-aria define una funcin de n variables. Todos los desarrollos realizados son generalizables a funciones de n variables.

Ejercicios 1. Cuales de las siguientes relaciones R son funciones? a) R = { <x, x + x> | x } b) R = { < x, x> | x } c) R = { <x, x > | x } d) R = { < log x, x > | x } e) R = { <x, log x> | x } 2. Sea A = { 0, 1, 2, 3, 4 } . Para cada una de las relaciones R que se dan a continuacin, determine si R es una funcin parcial, una funcin total, una funcin inyectiva o una funcin sobreyectiva. a) R = { <0, 4>, <3, 2>, <1, 3>, <2, 3>, <4, 1> } b) R = { <3, 1>, <2, 0>, <1, 4>, <4, 3>, <0, 2> } c) R = { <0, 3>, <1, 4>, <3, 2>, <2, 0>, <1, 4> } d) R = { <1, 3>, <3, 2>, <4, 3>, <0, 0>, <3, 2> } 3. Sean f : B C y g : A B funciones. Demuestre que: a) Si f es sobreyectiva y g es sobreyectiva, entonces f B g es sobreyectiva. b) Si f es inyectiva y g es inyectiva, entonces f B g es inyectiva. c) Si f B g es sobreyectiva, g no es necesariamente sobreyectiva. d) Si f B g es sobreyectiva, entonces f es sobreyectiva. e) Si f B g es inyectiva, f no es necesariamente inyectiva. f) Si f B g es inyectiva, entonces g es inyectiva.

33