Anda di halaman 1dari 12

Este es un captulo de referencia, cuyo objetivo es uniformizar terminologa y notacin en todo el texto.

Una exposicin intuitiva y detallada sobre estos temas se puede leer en el libro de Halmos [Ha].
a1
w.
.c om

Podemos pensar en los conjuntos como colecciones de objetos totalmente determinadas por sus elementos. Generalmente denotaremos a los conjuntos con letras maysculas y a sus elementos con letras minsculas. La relacin bsica es la de pertenencia. Si x es un elemento de un conjunto S decimos que x pertenece a S y escribimos x G S. De no ser as, escribimos x S.
ww

at em

at ic

2.1 Definiciones bsicas

Dos conjuntos son iguales si y slo si tienen exactamente los mismos elementos. Hay dos formas de describir a los conjuntos: 1. Por extensin. Dando una lista de todos los elementos del conjunto. As, A {s\,..., sn} quiere decir que A es el conjunto cuyos elementos son s\,..., sn y slo ellos. 2. Por comprehensin. Dando una propiedad satisfecha por todos los elementos del conjunto y slo por ellos. Si P es una propiedad, A = {x : P(x)} quiere decir que A es el conjunto de todos aquellos objetos que tienen la propiedad P.

Ejemplos:
a. b. c. a e {a}

Notacin. Si A C B pero A no es igual a B entonces escribimos A C B, y decimos que A es un subconjunto propio de B. Proposicin 2.2. Sean A, B y C conjuntos arbitrarios. Entonces 1. 2. 3. 0 C A. AC. SiACByBCC entonces A C C.

ww

w.

Proposicin 2.1. Para cualesquiera dos conjuntos Ay B se tiene que A = B si y slo si AC. B y B C A.

at

em

Definicin. Sean Ay B dos conjuntos. Decimos que A est contenido en B o que A es un subconjunto de B si y slo si todo elemento de A es a su vez un elemento de B. Notacin: A C B.

at

ic a

Al conjunto que no tiene elementos se le conoce como conjunto vaco y se denota por 0 . Una manera de definirlo por comprehensin es 0 = {x : x ^ x}.

1.c

om

{*,y} = {y,x} = {x,x9y} {2,3,5} = {JC ixesprimoyl < x < 7} = {x : JC 3 -10JC 2 4-31JC-30 = 0}.

Ejercicios
1. 2. 3. Demuestre la proposicin 2.1. Demuestre la proposicin 2.2. Pruebe que el conjunto vaco es nico.

2.2

Operaciones con conjuntos


Definicin. Si A es un conjunto entonces el conjunto potencia de A es el conjunto &(A) = {X : X C A}. Es decir, que para toda X j G ^(A) si y slo si X C A. En particular 0 ^(A) y A Definicin. conjuntos: Sean A y B dos conjuntos arbitrarios. Se definen los siguientes

AAB := ( A U 5 ) \ ( A n ) (la diferencia simtrica)


En general, si ^ es una familia de conjuntos se definen |J & y P| & como:

Definicin.

Dos conjuntos Ay B son ajenos si y slo si A p| B = 0 .

Muchas veces es conveniente introducir un conjunto fijo ^ tal que todo conjunto considerado sea subconjunto de 9. A este conjunto se le llama el conjunto universal Entonces se puede hablar del complemento de un conjunto A, denotado por Ac o por A', que es el conjunto de todos los elementos (de <2) que no pertenecen a A. Esto es, A1 = <M\A.

ww

w.

[ J & := {x : x e B para algn B e &} := {JC : x e B para todo B e &}.

at

em

at

ic a

A U B := {JC : JC e A o JC e B} (la unfri de A y ) A n B := {* : JC Ayx 5 } (la interseccin de A y 5). A \ B := {JC : x G A y * 0 B} (la diferencia)

1.c

om

Teorema 2.3. Sean A y B dos conjuntos contenidos en algn conjunto ll. Entonces: A U ( U C) = (A U ) U C, A n (B n C) = (A n ) n C Al) B = B\JA, A)B = BHA A U (B D C) = (A U 5) n (A U C), A n (S U C) = (A n B) U (A n C) A\B = AHB'
A A ^ = Af

(Asociatividad) (Conmutatividad) ~ , ., ,. . , ,. (Distnbutividad)

(A1)' = A (A U B)' = A' n B' (A H B)' = A'UB' Demostracin. Ejercicio para el lector.

(Idempotencia) (De Morgan) (De Morgan)

El producto cartesiano de dos conjuntos A y B, denotado A x B, es el conjunto A x B := {(a, b) : a G A y b E # } . A x A tambin se denota por A2. Tambin por recursin se puede definir, para n G N, el conjunto {(au . . . , fl/|) : fllj . . . , fln G A}. An ._ An-\ xAz= Definicin. Sean A y B dos conjuntos. Una relacin de A en 5 es un subconjunto de A x B. Notacin: Si R es una relacin escribimos aRb en lugar de (a,fc) G # .

ww

Proposicin 2.4. (a\,..., se tiene que a = bi.

at

El par ordenado (a, b) se define como {{a}, {a, b}}. Para n G N, la n- ordenada (a\,..., <zrt_i, <zn) := ((ai,..., a_i), zn) (aqu, (a\) se define como a\). Esta definicin est dada por recursin, vase seccin 2.5. La definicin dada (usando el lenguaje de la teora de conjuntos) se debe a Kuratowski. Es posible dar otras definiciones, a condicin de que rescaten la idea de sucesin ordenada, expresada en la proposicin siguiente.

w.

an) = (b\,...,

em

at

ic a

bn) si y slo si para toda i, 1 < i < n,

1.c

2.3

Relaciones

om

Definicin. Si R es una relacin de A en B el dominio de R es el conjunto dom/? := {x A : 3y e B((x,y) G R)}, el rango de /? es el conjunto rangR := {y G B : 3x G A((x, y) G R)} y el campo de /?, cam /? := dom R U rang R. Una relacin n-aria en un conjunto A es un subconjunto de An.

Ejemplos:
1. 2. 3. 4. 0 es una relacin -aria en A para, todo A. La identidad en A, I A := {(JC, JC) : JC G A} es una relacin binaria en A. An es una relacin n-aria en A. Las relaciones uaras en A son los subconjuntos de A. Definiciones. a. b. c. d. e. f. Sea R una relacin binaria en A, decimos que R es:

Definicin. Sea A un conjunto. Un orden parcial en A es una relacin reflexiva, antisimtrica y transitiva en A. Un orden total en A es un orden parcial conexo. Notacin: < o simplemente <. Dado un orden parcial en A, <, podemos definir una relacin binaria < en A como a < b si y slo si a < b y a ^ b. < es un orden estricto. Los rdenes parciales pueden ser representados grficamente mediante rboles (Figura 2.1). El diagrama anterior representa un orden parcial en el conjunto A = {a, b, c, d, e) tal que a es el elemento mximo, d y c son incomparables, b es incomparable con d y c, pero es mayor que e y menor que a.

ww

w.

at

Reflexiva, si y slo si Va G A (a/ta) Antirreflexiva, si y slo si Va G A ((a, a) g R) Simtrica, si y slo si Va, e A (a/?& => bRa) Antisimtrica, si y slo si Va, G A (aRb y bRa => a = b) 7 Transitiva, si y slo si Va, &, c G A (a/? y &/?c => a Re) Conexa, si y slo si Va, G A (aRb o ?/?a o a = b).

em

at

ic a

1.c

om

Las ramas de un rbol representan rdenes totales, pues en una misma rama todos los elementos son comparables entre s. Un orden total se representa como un rbol con una sola rama.

Ejercicios
1. *2. Probar la proposicin 2.4, usando la definicin dada. Analice la definicin siguiente de n-ada ordenada:

4.

Definicin. Una relacin binaria en un conjunto A es una relacin de equivalencia (releq) si y slo si es una relacin reflexiva, simtrica y transitiva. Definicin. Si A es un conjunto y R es una relacin de equivalencia en A, para cada a G A definimos la clase de equivalencia de a bajo R ([a]/?) como el conjunto [a]# := {x G A : xRa). Si a, b G A entonces aRb si y slo si [a]* = [b]R.

ww

w.

at

3.

Definir un orden parcial pero no total en N, el conjunto de los nmeros naturales. Definir seis relaciones binarias en algn conjunto A de forma tal que cada relacin satisfaga nicamente una de las condiciones (a)-(f) de las definiciones de la pgina anterior.

em

at

( a i , . . . , an) := { { a i , . . . , a n }, { a i , . . . , a n _ i } , . . . ,

ic a

1.c

om

Las clases de equivalencia bajo R constituyen una particin de A, esto es: 1. 2. 3. Cada clase de equivalencia es no vaca. Dos clases de equivalencia distintas son ajenas. La unin de todas las clases de equivalencia es A.

Ejercido
Probar esta ltima afirmacin.

Ejemplos:
1. 2. 3. La identidad en A es una releq en A. Cada clase de equivalencia contiene un nico elemento. A x A es una releq en A, que tiene una sola clase de equivalencia, a saber, todo A. En N la relacin de congruencia mdulo n es una releq que tiene exactamente n clases de equivalencia.

S i / : A B y g: B C entonces se define la composicin de f y g, > g o / : A C por medio de la regla g o f() g(f(a)), para a A. Definicin. An en A. Definiciones. a. b. c. Una operacin n-aria sobre un conjunto A es una funcin de Sea f:A>B una funcin. Entonces decimos que:

/ es inyecti va o 1-1 si y slosiVai,02 A(f(a\) = / f e ) => ai = ai) / es suprayectiva o srre si y slo si\/b B3a e A(f(a) = &) / es biyectiva si y slo si / es inyectiva y sobre.

ww

w.

fia) = b.

Definiciones. Sean A y B dos conjuntos. Una funcin f de A en B es una relacin de A en B tal que dom / = A y para cada a A existe un nico b e B tal que (ay b) / . Notacin: / : A -> B. Si (a, b) / , escribimos

at

em

at

2.4

Funciones y cardinalidad

ic a

1.c

om

Si existe una funcin biyectiva entre Ay B entonces los elementos de A estn en correspondencia con los elementos de B de forma tal que a cada elemento de A le corresponde uno de B y viceversa y por tanto tienen el "mismo nmero de elementos". Definiciones. Se dice que dos conjuntos tienen la misma cardinalidad si y slo si existe una funcin biyectiva entre ellos. Un conjunto A es finito si y slo si es vaco o existe n N tal que { 1 , . . . , } tiene la misma cardinalidad que A. Un conjunto que no es finito es infinito. No todos los conjuntos infinitos tienen la misma cardinalidad. Un conjunto es numerable si y slo si es biyectable con N. Un conjunto es contable si y slo si es finito o numerable.

Ejemplos:
1. 2. 3. El conjunto de los enteros, Z, es numerable. Q, el conjunto de los nmeros racionales es numerable. R, el conjunto de los nmeros reales no es numerable.

Ejercidos
1. 2.

Probar que si A C B y A es infinito entonces B es infinito.

2.5

Induccin matemtica

A fines del siglo XIX, cuando se trataba de fundamentar la matemtica por medio de sistemas axiomticos, Giuseppe Peano (1858-1932) formul un sistema axiomtico para los nmeros naturales. Los conceptos primitivos (es decir, no definidos) de su teora eran los siguientes: "conjunto", "sucesor" y "pertenece a".

ww

Probar que la composicin de funciones inyectivas (resp. suprayectivas, biyectivas) es inyectiva (resp. suprayectiva, biyectiva).

w.

at

em

Proposicin 2.5. La unin de una familia numerable de conjuntos numerables es numerable. Cf. [Ha].

at

ic a

1.c

om

Los 5 axiomas de Peano son los siguientes: 1. 2. 3. 4. 5. 0 es un nmero natural.l 0 no es el sucesor de ningn nmero natural. Todo nmero natural tiene un sucesor. Dos nmeros naturales con el mismo sucesor son iguales. Si S es un conjunto de nmeros naturales tal que el 0 pertenece a S y cada vez que un nmero natural pertenece a S tambin su sucesor entonces S contiene a todos los nmeros naturales.

El quinto axioma de Peano se conoce como el Principio de Induccin Matemtica, y puede expresarse de la siguiente manera: Principio de induccin matemtica Sea N el conjunto de los nmeros naturales. Sea P una propiedad de nmeros arbitraria y sea S = {n e N : P(n)}. Supongamos que: (i) OeSy (ii) VnGN (n e S = n + 1 e S).

El principio de induccin matemtica proporciona un mtodo para demostrar que una propiedad P es satisfecha por todos los nmeros naturales. En efecto, si queremos probar que todos los naturales satisfacen una cierta propiedad P basta con probar: (i) Que 0 satisface P. (Base inductiva) (ii) Que cada vez que un nmero n satisface P tambin n + \ satisface P. (Paso inductivo) Si definimos a S := {n e N : P(n)}, por el principio de induccin matemtica tendremos que S = N, esto es, todo nmero natural satisface P. Cuando se est demostrando algo por induccin, para probar (ii) se supone que un nmero arbitrario n satisface P (sta es la hiptesis de induccin o H.I.) y a partir de esta suposicin se demuestra que n + 1 tambin satisface P. De manera indistinta se puede tomar 0 o 1 como primer elemento, nosotros, por convencin, elegiremos al 0.
1

ww

w.

at

em

at

Entonces S = N.

ic a

1.c

om

Ejemplo

Probar que para todo n G N, n3 + 2n es divisible entre 3.

Base inductiva. Tenemos que probar que la propiedad es satisfecha por 0, esto es, que O3 + 2(0) es divisible entre 3. Pero O3 + 2(0) = 0. Paso inductivo. Suponemos que la afirmacin es verdadera para algn nmero natural arbitrario ra, esto es: H.I. m3 -f 2/n es divisible entre 3. A partir de esta hiptesis tenemos que probar que (m + I) 3 4- 2(m + 1) es divisible entre 3.

(m + I)3 + 2(m + 1) = m3 + 3m2 + 3m + l+2m + 2 = m3 + 2m + 3m2 + 3m + 3


= (m3 + 2m) + 3(m2 + m + 1) Por H.I. el primer sumando es divisible entre 3 y por tanto la propiedad es verdadera para m + 1. Esto concluye la prueba. D En lgica se utiliza ms otra versin del mtodo de demostracin por induccin matemtica, que est basado en el siguiente teorema.

(ii) Para m G N arbitrario, si k S para toda k < m entonces m G S. Entonces S = N Demostracin. Supongamos que existe un conjunto S que satisface las hiptesis del teorema pero no la conclusin, es decir S C N. Entonces N \ S no es vaco. Sea m el menor elemento de N \ S. Por (i), m > 0 y adems, si n < m entonces n e S (por eleccin de m). La hiptesis (ii) implica que m G S. Esta contradiccin concluye la prueba.

ww

w.

(i)

Oes

Sea S C N tal que:

at

Teorema 2,6.

(Principio de Induccin Matemtica Fuerte).

em

at

ic a

1.c

om

Ntese que el paso crucial en la demostracin anterior fue el hecho de asegurar la existencia del menor elemento de N \ S a partir de que este ltimo conjunto es no vaco. Esto se debe a que los naturales estn bien ordenados. De hecho, se puede demostrar que el buen orden de N es equivalente al principio de induccin. Ver [Ha] para una demostracin de esto. Para probar que una propiedad es satisfecha por todos los nmeros naturales usando el principio de induccin matemtica fuerte se procede exactamente igual que para demostraciones por induccin normal, la nica diferencia es que la hiptesis de induccin en el paso inductivo es distinta: H.I. Supongamos que toda k < m satisface P A partir de H.I. se prueba que m satisface P. El principio de induccin matemtica tambin puede usarse para definir funciones con dominio N. Este tipo de definicin se llama por recursin. Proposicin 2.7. Si se quiere definir una funcin f con dominio N es suficiente con:

ic a

1. 2.

Dar una regla para calcular /(O) y Dar una regla para calcular f{n) en trminos de {/(m): m < n).

1.c

om

Ejercicios
1. 2. En el Teorema 2.6 la hiptesis (i) es innecesaria. Por qu? Qu est mal en la prueba siguiente? (i) 0 es un nmero interesante; (ii) Supongamos que n es un nmero interesante, entonces n + 1 tambin lo es; pues en caso contrario, ste sera el primer nmero que no es interesante, lo cual lo convertira en un nmero realmente interesante.

ww

w.

Nota: El principio de induccin enunciado en esta seccin puede ser modificado para demostrar que una propiedad P es satisfecha por todo nmero natural mayor o igual a un cierto n G N. Para hacer esto basta probar, como base de la induccin, quen satisface a P. A lo largo del texto se encontrarn muchos ejemplos de demostraciones por induccin y definiciones por recursin.

at

em

at

Por tanto, por el principio de induccin matemtica, "todos los nmeros naturales son interesantes". 3. Demuestre que cada ser humano es un descendiente de Adn y Eva. Para esto, use induccin matemtica fuerte y especifique qu se entiende por la relacin de "descendencia" sobre la raza humana. (Sugerencia: defina clusulas para descendencia, como "todos, excepto Adn y Eva, tienen padres", etc.; y asigne un rango a cada persona). Pruebe por induccin matemtica que para todo n N, n4 4n2 es divisible entre 3. Qu est mal en la prueba siguiente? Teorema. Para todo G N , a " = l.

4. 5.

K4_i

k 2

ww

w.

at

em

at

ic a
l x

x ak~

1.c
l

Prueba. Denotemos con h(k) a la expresin: "si n <k,an = 1." Base inductiva: para k = 0, a = 1. Paso inductivo: Supongamos que la afirmacin es vlida para un k G N. Entonces, 1

om