Logica Superior Elementos de Teor de Conjuntos a

1 Conjuntos
1.1 Qu son? e
Los conjuntos son entidades colectivas, colecciones de objetos. Cuentan con dos propiedades esenciales: Principio All-in-one Un conjunto de objetos diere de cada uno de los objetos que le pertenecen. El conjunto es un objeto adicional con respecto a sus miembros y los rene a todos bajo s Un modo quizs demasiado informal de comprenderlo es u . a pensar en un conjunto como si fuera una bolsa. La bolsa es un objeto diferente de las cosas que contiene (por favor no use esta analog para comprender el principio a que sigue). Principio de extensionalidad Un conjunto est un a vocamente determinado por sus miembros. No existen dos conjuntos con los mismos miembros. Sea A un conjunto cualquiera. Escribimos a A para indicar que a es un miembro de o pertenece a A. Asimismo, escribimos a A para indicar que a no es un miembro / o no pertenece a A. Dado que un conjunto se dene exclusivamente por sus miembros, es preciso indicar cules son exactamente los elementos de un conjunto para saber de qu conjunto estamos a e hablando. Existen dos modos de hacerlo. Por extensin Listando sus elementos (ntese que este modo slo es viable cuando se o o o trata de un conjunto con una cantidad nita de elementos) Por comprensin Dando una propiedad compartida exclusivamente por aquellos obo jetos que pertenecen al conjunto que queremos denir. Supongamos que los unicos miembros de A son a, b, c y d. Para indicarlo formalmente por extensin, escribimos A = {a, b, c, d}. En cambio, para indicarlo formalmente o 1

por comprensin podemos escribir A = {x/x es una de las cuatro primeras letras del o abecedario}. Leemos x/x es... como cualesquiera objetos tales que tienen la propiedad de ser.... Si un objeto cualquiera cumple con la propiedad indicada es entonces un elemento del conjunto denido mediante ella. Si no lo hace no pertentece al conjunto en cuestin. o Dada esta nueva notacin podemos reformular formalmente el principio de exteno sionalidad. Sean A y B conjuntos cualesquiera: Principio de extensionalidad x(x A x B) A = B

1.2 Conjuntos destacados

Un conjunto que resular de especial importancia siempre que se trabaje con conjuntos a es el denominado conjunto vac o. Como su nombre indica, carece de elementos. Su existencia queda garantizada por el principio All-in-one, que establece que un conjunto es un objeto adicional a sus miembros y no se identica con ninguno de ellos. Volviendo a la analog con la bolsa, una bolsa vac sigue siendo una bolsa. a a Utilizaremos el s mbolo para notar al conjunto vac Luego, podemos denirlo o. formalmente por extensin del siguiente modo: = {}; o bien por comprensin de este o o otro modo: = {x/x = x}. Debido al principio All-in-one sabemos que = {}, puesto que los conjuntos son objetos y, por tanto, {} no es un conjunto vac sino que contiene un elemento, i.e. . o Asimismo, {{}} es tambin un conjunto con un unico elemento, i.e. , que a su vez e contiene un unico elemento: . Otro modo de comprender la diferencia entre y {} es mediante el principio de extensin. Si fueran el mismo conjunto, deber contar con los mismos elementos. Pero o an carece de elementos, mientras que {} posee como miembro a . El principio de extensin tambin nos indica que las deniciones que hemos dado de por extensin o e o y por comprensin denen el mismo conjunto: dado que ningn objeto es idntico a s o u e mismo, ambas deniciones nos indican que nada pertenece a . Otro modo de denir este conjunto es entonces mediate la propiedad ser un unicornio, por ejemplo. Otros conjuntos de los cuales hablaremos continuamente son: El conjunto de los nmeros naturales. Lo notamos N. Quisiramos denirlo por u e extensin: N = {0, 1, 2, 3, 4, ...}, pero sus miembros son innitos. Denirlo por o comprensin ser uno de los desaf del curso. Los conjuntos que se mencionan a o a os continuacin adolecen de los mismos problemas de denibilidad que N y frecuenteo mente pueden denirse en funcin de este conjunto. o El conjunto de los nmeros enteros. Lo notamos Z. Informalmente, Z = {..., 2, 1, 0, 1, 2, ...}; u formalmente Z = {x/nm(n N m N x = n m)}.

 El conjunto de los nmeros enteros positivos. Lo notamos P . Por supuesto, u P = {1, 2, 3, ...} = {x/x N x > 0}. El conjunto de los nmeros enteros u negativos lo notamos P . El conjunto de los nmeros racionales o fraccionarios. Lo notamos Q. Intuitiu vamente, Q contiene a todos los nmeros enteros ms las fracciones que pueden u a formarse a partir de ellos. Formalmente, Q = {x/nm(n Z m Z m = 0 x = n : m)}. El conjunto de los nmeros reales. Lo notamos R. Intuitivamente, R contiene u a todos los nmeros que pueden escribirse como un nmero entero seguido de u u una coma seguido de una secuencia innita de nmeros entre 0 y 9 inclusive. u Formalmente es ms complicado denirlo a partir de los conjuntos anteriores que a en los casos ya vistos.

1.3 Relaciones entre conjuntos

Inclusin Decimos que un conjunto A est incluido en otro B cuando todos los miemo a bros del primero son miembros del segundo. Lo notamos A B. Formalmente: A B def x(x A x B) Por ejemplo, decimos que {1, 2} {1, 2, 3}. Asimismo, N Z. Pruebe que las siguientes propiedades valen para cualesquiera conjuntos A y B: 1. A A 2. A 3. (A B B A) A = B Subconjunto Decimos que A es un subconjunto de B si y slo si A B. o Inclusin propia Decimos que un conjunto A est propiamente incluido en un conjunto o a B si y slo si todos los miembros de A son miembros de B pero no viceversa. Lo o notamos A B. Formalmente: A B def A B x(x B x A) /

1.4 Tuplas ordenadas

Pares ordenados Intuitivamente un par ordenado es un objeto colectivo que contiene slo dos elementos. Cumple con el principio All-in-one pero no con el principio de o extensionalidad, solo porque el orden en el cual posee esos objetos es relevante. Si a y b son miembros de un par ordenado en ese orden escribimos a, b . 3

Si bien los pares ordenados no son conjuntos, pueden denirse a partir de ellos del siguiente modo (y de otros modos tambin): e a, b =def {{a}, {a, b}} Pruebe que: a, b = c, d a = c b = d Si a = b, a, b = b, a . Luego, a, b = {a, b} pues {a, b} = {b, a} = {{a}, {a, b}}. n-tuplas ordenadas Tambin llamadas secuencias de longitud n. Intuitivamente, e una n-tupla ordenada es la generalizacin de un par ordenado a n elementos. Es o posible, aunque no se har aqu denirlas utilizando conjuntos, como se hizo con a , los pares. Podr usted hacerlo. En base a dicha denicin es tambin posible a o e probar semejantes condiciones de identidad: a1 , a2 , ..., an = b1 , b2 , ..., bn a1 = b1 a2 = b2 ... an = bn

1.5 Operaciones entre conjuntos

Unin Intuitivamente, la unin de dos conjuntos A y B consiste en un nuevo conjunto o o que contiene los elementos de A y los elementos de B. Lo notamos A B. Formalmente: A B =def {x/x A x B} Pruebe que para cualesquiera conjuntos A y B: 1. A B = B A 2. A B A B = B 3. A = A Interseccin Intuitivamente, la interesccin de dos conjuntos A y B consiste en un o o nuevo conjunto que contiene unicamente los elementos que A y B comparten. Lo notamos A B. Formalmente: A B =def {x/x A x B} Pruebe que para cualesquiera conjuntos A y B: 1. A B = B A 2. A B A B = A 3. A = Por ejemplo, si A = {1, 2, 3} y B = {3, 4, 5}, A B = {1, 2, 3, 4, 5} y A B = {3}. Del mismo modo, N P = Z, N P = y R Q = Q. 4

Producto cartesiano Intuitivamente, el producto cartesiano de dos conjuntos A y B es el conjunto de todos los pares ordenados que pueden formarse ubicando elementos de A en la primera componente y elementos de B en la segunda. Lo notamos A B. Formalmente: A B =def { x, y /x A y B} Pruebe que para cualesquiera conjuntos A y B: 1. A = A = 2. A B A B B B Si A = B, en lugar de A B, que es lo mismo que A A, solemos escribir A2 . Si A y B son conjuntos nitos con m y n elementos respectivamente, cuntos a elementos tiene A B? Exponenciacin Intuitivamente, llamamos exponenciacin a la n la operacin que aplio o o cada a un conjunto A da por resultado el conjunto de todas las n-tuplas que pueden formarse con elementos de A. Lo notamos An . El producto cartesiano de u conjunto consigo mismo es un caso especial. Formalmente: An =def { x1 , x2 , ..., xn /x1 A x2 A ... xn A} Si A es un conjunto nito con n elementos, cuntos elementos tiene Am ? a Por ejemplo, si A = {1, 2} y B = {3, 4, 5}, AB = { 1, 3 , 1, 4 , 1, 5 , 2, 3 , 2, 4 , 2, 5 }, A2 = { 1, 1 , 1, 2 , 2, 1 , 2, 2 } y A3 = { 1, 1, 1 , 1, 1, 2 , 1, 2, 1 , 2, 1, 1 , 1, 2, 2 , 2, 1, 2 , 2, 2, 1 , 2, 2, 2 }. Potencia Intuitivamente, la potencia de un conjunto A es el conjunto que tiene por miembros a todos los suconjuntos de A. Lo notamos P(A) y lo denominamos conjunto potencia o conjunto de partes de A. Formalmente: P(A) =def {x/x A} Pruebe que para cualesquiera conjuntos A y B: 1. A P(A) 2. P(A) 3. A B P(A) P(B) Si A es un conjunto nito con n elementos, cuntos elementos tiene P(A)? a Por ejemplo, si A = {1, 2}, P(A) = {, {1}, {2}, {1, 2}}. Y si A = , P(A) = {} y P(P(A)) = {, {}}. 5

2 Relaciones
Dados dos conjuntos A y B una relacin R de A en B es intuitivamente un conjunto o de pares ordenados tales que su primera componente es un elemento de A y su segunda componente un elemento de B. Formalmente, R AB. Si a, b R decimos que a se relaciona con b a travs de R y frecuentemente lo notamos aRb, R(a, b) o simplemente e Rab. Notemos que no es necesariamente lo mismo una relacin de A en B que una de B o en A. Si la relacin es de A en B llamamos conjunto de partida a A y conjunto de o llegada a B. Notemos que A B y son ambos relaciones de A en B. Por ejemplo, si A = {1, 2, 3} y B = {2, 4, 6}, R = { 1, 2 , 2, 4 , 3, 6 } es una relacin o de A en B. Podemos interpretar a R como la relacin que une a cada elemento en A o con su doble en B y denirla por comprensin del siguiente modo: R = { x, y /x o A y B 2x = y}. Sin embargo, dado que las relaciones son conjuntos y los conjuntos cumplen con el principio de extensionalidad, da lo mismo cmo denamos una relacin, o o si por extensin o por comprensin: una relacin no tiene porqu estar dada por una o o o e propiedad que relacione a los elementos del conjunto de partida con los del de llegada. Otro ejemplo est dado por la relacin R de N consigo mismo tal que m, n R si a o y slo si m < n. Luego, sabemos que R = { 0, 1 , 0, 2 , ..., 1, 2 , 1, 3 , ...}. o Dados dos conjuntos cualesquiera A y B con m y n elementos respectivamente, cuntas relaciones de A en B existen? a

3 Funciones
3.1 Qu son? e
Intuitivamente, una funcin f es un tipo especial de relacin en la cual cada elemento o o del conjunto de partida A se relaciona con un y slo un elemento del conjunto de llegada o B. Formalmente, f : A B y se cumplen las siguentes dos condiciones: Existencia x(x A y(y B f xy)) Unicidad xyz((x A y B z B f xy f xz) y = z) Si se cumplen las condiciones 1 y 2 para f , llamamos dominio al conjunto de partida A y codominio al conjunto de llegada B, y en lugar de escribir f ab escribimos f (a) = b, pues tenemos la certeza de que b es el unico elemento del codominio con el cual a se relaciona; y decimos que b es la imagen de a. Al conjunto dado por todos aquellos miembros del codominio para los cuales existe un elemento en el dominio del cual son imagenes a travs de la funcin f lo denominamos conjunto imagen o rango de f . e o 6

Por ejemplo, si f : N N tal que f = { x, y /y = x + 1}, f es la relacin o { 0, 1 , 1, 2 , 2, 3 , 3, 4 , ...}. Sabemos que f es una funcin, pues: o 1. x Ny N(f (x) = y), ya que x Ny N(y = x + 1), i.e. todos los nmeros u naturales tienen un siguiente; y 2. x Ny Nz N((f (x) = y f (x) = z) y = z), pues x Ny Nz N((y = x + 1 z = x + 1) y = z) Entonces decimos que N es a la vez dominio y codominio, pero la imagen de la funcin o es P , pues 0 no es imagen de ningn nmero a travs de f . u u e Frecuentemente trataremos con funciones denidas mediante una expresin como o y = f (x) = x + 1 y, por ende, en lugar de escribir f = { x, y /y = x + 1} escribiremos simplemente f (x) = x + 1. Asimismo, si f : N2 N/f (x, y) = x + y, sabemos que es funcin pues cualesquiera o dos nmeros naturales se pueden sumar y, adems, el resultado es unico. Aqu el dominio u a es N2 , y el codominio coincide con la imagen: N. Al contrario, la relacin f : N N denida como { x, y /x < y} no es una funcin o o pues si bien se cumple la condicin de existencia ya que para todo nmero natural existe o u otro mayor a l, no se cumple la condicin de unicidad, pues cada natural es menor que e o muchos otros naturales: 1 < 2 y 1 < 3, por ejemplo.

3.2 Funciones parciales

Las funciones parciales no son propiamente funciones sino slo parcialmente. Decimos o que f : A B es una funcin parcial si y slo si es una relacin de A en B que o o o cumple con el requisito de unicidad detallado en la subseccin anterior pero no con el o de existencia, i.e. existe al menos un miembro a de A tal que para todo miembro b de B f (a) = b. Tratndose de una funcin parcial f : A B, llamamos conjunto de partida a A y a o reservamos el trmino dominio para el conjunto de todos los miembros a de A para los e cuales existe un elemento b de B tal que f (a) = b. Por ejemplo, si f : P P es tal que f (x) = x, decimos que f es una funcin o parcial, pues para cada entero positivo n existe un unico entero positivo m tal que m2 = n, pero hay al menos un entero positivo n tal que para todo entero positivo m m2 = n: tomemos por ejemplo n = 8. Luego, si bien el conjunto de partida de f es P , decimos que su dominio es {x/x P y P (x = y 2 )}, el subconjunto de P para cuyos miembros la funcin est denida. o a

3.3 Propiedades
Inyectividad (1-1) Intuitivamente, decimos que una funcin o funcin parcial es ino o yectiva cuando a miembros diferentes del dominio les corresponden imgenes difera entes. Formalmente: f : A B es inyectiva si y slo si x Ay A(x = y f (x) = f (y)) o Sobreyectividad (onto) Intuitivamente, decimos que una funcin o funcin parcial es o o sobreyectiva siempre que todos los elementos del codominio sean imgenes de al a menos un elemento del dominio. Formalmente: f : A B es sobreyectiva si y slo si x By A(f (y) = x) o Biyectividad Finalmente, llamamos biyectivas a todas aquellas funciones (pero no funciones parciales) que son tanto inyectivas como sobreyectivas. Intuitivamente, una funcin es biyectiva si establece una correspondencia biun o voca entre el dominio y el codominio. Por ejemplo, f : N N tal que f (x) = x + 1 es inyectiva, pues: x Ny B(x = y x + 1 = y + 1) lo que implica que x Ny B(x = y f (x) = f (y)) En cambio, la funcin no es sobreyectiva, dado que o y N(y + 1 = 0) esto es, y N(f (y) = 0) lo que implica que x Ny N(f (y) = 0) Sin embargo, si consideramos una funcin idntica excepto en que su codominio es o e P en lugar de N, tendremos que esta nueva funcin no slo es inyectiva sino tambin o o e sobreyectiva y, por tanto, biyectiva. Como ejemplo de una funcin no inyectiva, consideremos f : Z N tal que f (x) = x2 o y notemos que f (1) = f (1) pues 12 = 1 = (1)2 . Luego, f no es biyectiva tampoco. Qu restricciones podr imponerse al dominio de f para dar con una funcin inyectiva? e an o 8

3.4 Composicin de funciones o

Cuando realizamos operaciones sencillas como 5 : (2+3) estamos componiendo funciones conocidas como la suma (f (x, y) = x + y) y la divisin en este caso (g(x, y) = x : y): las o aplicamos sucesivamente en ese orden. Si f y g son funciones cualesquiera, notamos el resultado de componerlas aplicando primero f y luego g g f y lo leemos g compuesta con f . La composicin de funciones no es siempre posible. Por ejemplo, si el resultado de o nuestra suma a la derecha fuera un nmero por el cual fuera imposible dividir, como el u 0, estar amos en problemas, pues no podr amos aplicar la funcin que sigue: la divisin. o o Luego, un requisito m mino para la composicin de funciones es que el resultado de la o funcin de ms adentro funcione como input de la funcin de ms afuera, esto es, o a o a que el conjunto imagen de la primera funcin est incluido en el dominio de la segunda. o e Formalmente, si f y g son funciones tales que f : A B y g : C D, g f : A D es una funcin tal que g f (x) = g(f (x)) si y slo si B C. o o Por ejemplo, si f : P P es tal que f (x) = x y g : Z Z es tal que g(x) = 2x, g f : P Z es funcin pues P Z y es tal que g f (x) = g(f (x)) = 2(x) = 2x. o Si, en cambio, admitimos funciones parciales, el requisito de que el conjunto imagen de la funcin que se aplica primero est incluido en el dominio de la segunda funcin o e o ya no es necesario. An ms, la composicin podr darse entre funciones parciales u a o a y no unicamente funciones propiamente dichas. Formalmente, si f y g son funciones (parciales) tales que f : A B y g : C D, g f : A D es una funcin (parcial) tal o que g f (x) = g(f (x)). Por ejemplo, si f : P P es tal que f (x) = 3x y g : P P es tal que g(x) = x : 2, esto es, es una funcin parcial, g f : P P tal que g f (x) = g(f (x)) = 3x : 2. Luego, o g f es una funcin parcial, pues para 1 P no existe ningn n P tal que 31 : 2 = n. o u

3.5 Funcin inversa o

Sea f : A B una funcin cualquiera. Intuitivamente, si f asigna b a a, su relacin o o inversa asignar a a b. Formalmente, la inversa de f es una relacin R denida de B en a o A tal que Ryx f (x) = y. Frecuentemente estaremos interesados en aquellas funciones cuya relacin inversa es o una funcin o funcin parcial. En esos casos notamos la inversa de f f 1 . Por ejemplo, o o si f : Z Z es tal que f (x) = x + 1, f 1 : Z Z es tal que f 1 (x) = x 1, pues as f 1 (x + 1) = (x + 1) 1 = x. En qu casos la relacin inversa de una funcin es una funcin parcial? En qu e o o o e casos es una funcin simpliciter ? Como veremos, en ambos casos es preciso imponer o ciertas restricciones a f . Rx2 x Sea f : Z Z tal que f (x) = x2 . Su inversa es una relacin R de Z en Z tal que o para cada x Z. Es claro que R no es una funcin siquiera parcial, ya que, por o 9

ejemplo, R(4, 2) y, al mismo tiempo, R(4, 2): no se cumple la condicin de unicidad. o Y ello se debe a que tanto 2 como 2 tienen por imagen a 4. En consecuencia, es preciso que una funcin sea inyectiva para que su relacin inversa sea una funcin o una funcin o o o o parcial. Sin embargo, que una funcin sea inyectiva no es garant suciente de que su inversa o a sea una funcin a secas. Si tomamos por ejemplo una f : N N tal que f (x) = x + 1, o su relacin inversa f 1 : N N es tal que f 1 (x) = x 1. Si bien es un funcin parcial, o o no es una funcin a secas pues falla la condicin de existencia para x = 0. Para que la o o condicin de existencia no falle es preciso que todos los elementos del conjunto de llegada o sean imgenes de algn elemento del dominio. Luego, es necesario que una funcin sea a u o sobreyectiva para que su inversa sea funcin. o Consecuentemente, si una funcin es inyectiva su relacin inversa ser o bien una o o a funcin o bien una funcin parcial. Y se adems es sobreyectiva, esto es, la funcin es o o a o biyectiva, su inversa es una funcin. Intente probar estas armaciones. o Pruebe que para cualquier funcin biyectiva f , f f 1 (x) = x. o

10