TEMA II TEORA INTUITIVA DE CONJUNTOS

Policarpo Abascal Fuentes

TEMA II Teor a intuitiva de conjuntos p. 1/4

TEMA II
2. TEORA INTUITIVA DE CONJUNTOS 2.1 CONJUNTOS 2.1.1 Operaciones con conjuntos 2.2 RELACIONES ENTRE CONJUNTOS 2.2.1 Representacin de relaciones 2.2.2 Relaciones de equivalencia 2.2.2 Relaciones de orden 2.3 APLICACIONES ENTRE CONJUNTOS 2.4 EL CONJUNTO DE LOS NMEROS NATURALES 2.5 CARDINALIDAD FINITA 2.6 CARDINALIDAD INFINITA

TEMA II Teor a intuitiva de conjuntos p. 2/4

2. TEORA INTUITIVA DE CONJUNTOS

Bibliograf a
Rojo, A.D., lgebra I, Editorial Ateneo Queysanne, M., lgebra Bsica, Vicens Vives Burgos, J. de, lgebra lineal, Mc-Graw Hill

TEMA II Teor a intuitiva de conjuntos p. 3/4

2.1 CONJUNTOS
DEFINICIN 1 Conjunto es una coleccin de elementos vericando las siguientes reglas:
est bien denido, es decir, posee un criterio que permite armar

Un mismo objeto matemtico no puede ser a la vez un conjunto y

si un elemento a est o no en el conjunto. Cuando un elemento est en el conjunto lo representaremos por a A y diremos que a pertenece a A.

La coleccin de todos los conjuntos no es un conjunto. Si

un elemento de si mismo; o sea, no se puede decir que a a ni A A.

quisiramos alguna vez referirnos a dicho coleccin, diremos "la clase de todos los conjuntos".

TEMA II Teor a intuitiva de conjuntos p. 4/4

2.1 CONJUNTOS
Los conjuntos se pueden determinar utilizando dos mtodos:
Enumeracin o extensin. Consiste en denir los conjuntos

escribiendo todos sus elementos. Como ejemplos tenemos: A = {1, 3, 33, 107} B = {a, b, c}
Comprensin. Consiste en denir el conjunto a partir de

propiedades que verican los elementos; por ejemplo: A = {x Z Z/x = 2 p con p Z Z} B = {x I R/x 0} Un conjunto notable es el conjunto vaco, que denotaremos por y es el conjunto que no posee ningn elemento; o sea = {}

TEMA II Teor a intuitiva de conjuntos p. 5/4

2.1 CONJUNTOS
DEFINICIN 2 Sean A y B dos conjuntos, diremos que A est contenido en B y lo denotaremos por A B , si se verica que todo elemento de A es a su vez elemento de B ; o sea, a A, a B DEFINICIN 3 Sean A y B dos conjuntos, diremos que A es un subconjunto de B , si se verica que A B . As mismo se llaman subconjuntos propios de A a los subconjuntos distintos del y de A. NOTA 1 Se deducen de las deniciones tres hechos importantes:
A para todo conjunto A.

A A para todo conjunto A.

Dos conjunto A y B son iguales, si y solamente si, A B y

B A.

TEMA II Teor a intuitiva de conjuntos p. 6/4

2.1 CONJUNTOS
DEFINICIN 4 Dado un conjunto A, se llama partes de A y lo denotaremos por P (A) al conjunto cuyos elementos son los subconjuntos de A; o sea, P (A) = {X/X A} EJEMPLO 1 Sea A = {a, b, c}, se tiene que

P (A) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}

TEMA II Teor a intuitiva de conjuntos p. 7/4

2.1.1 Operaciones con conjuntos

DEFINICIN 5 Dados A y B dos conjuntos, se llama producto cartesiano de A por B , y se denota por A B , al conjunto formado por parejas de un elemento de A y uno de B . Dichas parejas las denotaremos por (a, b). A B = {(a, b) con a A y b B } DEFINICIN 6 Sean A y B dos conjuntos, se llama conjunto unin de A y de B , y se denota por A B , al conjunto A B = {c/c A c B } DEFINICIN 7 Sean A y B dos conjuntos, se llama conjunto interseccin de A y de B , y se denota por A B , al conjunto A B = {c/c A y c B }

TEMA II Teor a intuitiva de conjuntos p. 8/4

2.1.1 Operaciones con conjuntos

DEFINICIN 8 Sean A y B dos conjuntos, se llama conjunto diferencia de A con B , y se denota por A B , al conjunto A B = {a/a A y a B } DEFINICIN 9 Sean A y B dos conjuntos, se llama conjunto diferencia simtrica de A y de B , y se denota por A B , al conjunto A B = (A B ) (A B ) DEFINICIN 10 Dados dos conjuntos A U , se llama complementario de A respecto de U , y se denota por Ac , al conjunto Ac = {c U/c A}

TEMA II Teor a intuitiva de conjuntos p. 9/4

2.1.1 Operaciones con conjuntos

TEOREMA 1 Sean A, B, C tres subconjuntos de un conjunto universal U , se verican las siguientes propiedades: Idempotencia A A = A y A A = A. Asociativas A (B C ) = (A B ) C y A (B C ) = (A B ) C . Conmutativas A B = B A y A B = B A. De identidad A = A, A U = U, A = y A U = A. De complementario A Ac = U y A Ac = . Involutiva (Ac )c = A, c = U y U c = . Leyes de De Morgan (A B )c = Ac B c y (A B )c = Ac B c . Distributivas (A B ) C = (A C ) (B C ) y (A B ) C = (A C ) (B C )

TEMA II Teor a intuitiva de conjuntos p. 10/4

2.2 RELACIONES CONJUNTOS

ENTRE

Una relacin R A B , pero si (a, b) R lo denotaremos por aRb. DEFINICIN 12 Una relacin binaria R : A A, se dice:
I) II ) III ) IV ) V)

DEFINICIN 11 Se llama relacin entre los conjuntos A y B a un subconjunto R del producto cartesiano A B .

Reexiva.- Para todo a A, se tiene que aRa. Simtrica.- Si a1 Ra2 , entonces a2 Ra1 . Antisimtrica.- Si a1 Ra2 y a2 Ra1 , entonces se tiene que a1 = a2 . Transitiva.- Si a1 Ra2 y a2 Ra3 entonces se tiene que a1 Ra3 .

Total.- Para toda pareja de elementos a1 y a2 se tiene que, o bien a1 Ra2 , o bien a2 Ra1 . Se dice que R es de equivalencia si es reexiva, simtrica y transitiva. Se dice que R es de orden si es reexiva, antisimtrica y transitiva. Si adems es total se dice que es de orden total.

TEMA II Teor a intuitiva de conjuntos p. 11/4

2.2.1 Representacin de relaciones

IV Grafo. Supongamos que sobre A = {1, 2, 3, 4} se dene la relacin aRb si y slo si a es divisor de b, es decir, R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}

TEMA II Teor a intuitiva de conjuntos p. 12/4

2.2.2 Relaciones de equivalencia

DEFINICIN 13 Sea R una relacin de equivalencia sobre un conjunto A y sea a A, se llama clase de equivalencia de a al conjunto [a] = {a1 A/aRa1 } TEOREMA 2 Las clases de equivalencia de una relacin de equivalencia R sobre A, denen una particin del conjunto A, o sea,
I) II )

[a] = A.
a A

Si [a1 ] = [a2 ], entonces [a1 ] [a2 ] = .

DEFINICIN 14 Dada una relacin de equivalencia R denida sobre A, se llama conjunto cociente de A por R al conjunto cuyos elementos son las clases de equivalencia de los elementos de A, o sea, A/R = {[a] con a A}

TEMA II Teor a intuitiva de conjuntos p. 13/4

2.2.3 Relaciones de orden

DEFINICIN 15 Al par (L, R) lo denominaremos conjunto parcialmente ordenado, y si R es de orden total, lo llamaremos conjunto totalmente ordenado. R se suele representar como .

DEFINICIN 16 Sea (L, ) un conjunto parcialmente ordenado, diremos que un elemento a L es un minimal (maximal) si verica que No existe c L distinto de a tal que c a (a c)

TEOREMA 3 Si (L, ) es un conjunto parcialmente ordenado, no vaco y nito, entonces tiene al menos un elemento maximal y un elemento minimal. DEFINICIN 17 Sea (L, ) un conjunto parcialmente ordenado, diremos que a L es el mnimo (mximo) si verica que para todo c L entonces a c (c a) TEOREMA 4 Un conjunto parcialmente ordenado tiene a lo sumo un mximo y un mnimo.

TEMA II Teor a intuitiva de conjuntos p. 14/4

2.2.3 Relaciones de orden

Diagrama de Hasse
I) II )

Se sitan en la parte inferior del dibujo los elementos minimales.

A continuacin se sitan en el siguiente nivel los elementos que verican: I. Alguno del nivel anterior est relacionado con ellos. II. No hay ningn elemento intermedio entre ambos. A continuacin se dibujan lneas entre los elementos del nivel anterior y los de este nivel que estn relacionados. Nota. Se dibujarn lneas entre niveles no consecutivos, nicamente si ellos estn relacionados, y no hay ningn elemento intermedio. Si no hemos colocado todos los elementos de L, entonces volvemos al apartado II).
IV ) III )

TEMA II Teor a intuitiva de conjuntos p. 15/4

2.2.3 Relaciones de orden

Ejemplo de construcci on de diagrama de Hasse Sea A = {a, b, c} y en P (A) se toma CRD C D

TEMA II Teor a intuitiva de conjuntos p. 16/4

2.2.3 Relaciones de orden

Ejemplos

Conjunto parcialmente ordenado sin mximo ni Figura 3: Elementos caracmnimo. tersticos de B1 = {a, b} y B2 = {c, d, e}. TEMA II Teor a intuitiva de conjuntos p. 17/4

Figura 2:

2.2.3 Relaciones de orden

DEFINICIN 18 Sea (L, ) un conjunto parcialmente ordenado, y sea B un subconjunto de l, se dice que un elemento a de L es una cota inferior (superior) de B , si verica: Para todo c B se tiene que a c (c a).

DEFINICIN 19 Sea (L, ) un conjunto parcialmente ordenado, y sea B un subconjunto de l, se dice que un elemento a de L es el nmo (supremo) de B , nf(B ) (sup(B )), si es la mayor (menor) de las cotas inferiores (superiores); o sea, I. Es una cota inferior (superior): a b para todo b B . II. Es la mayor (menor) de las cotas inferiores (superiores): Si c L es una cota inferior (superior), entonces, c a (a c).

TEMA II Teor a intuitiva de conjuntos p. 18/4

2.3 APLICACIONES ENTRE CONJUNTOS

DEFINICIN 20 Sean A y B dos conjuntos, se llama aplicacin (o funcin) de A en B , y lo denotaremos por f : A B a una regla que a cada elemento de A le asigna un elemento de B . Denotaremos por f (a) al elemento de B que se le asigna a a y lo llamaremos imagen de a. Al conjunto A se le denomina dominio (o conjunto de partida) de f . Al conjunto B se le denomina codominio (o conjunto de llegada) de f . Como ejemplos de aplicaciones tenemos:

1 2 3 4 5

a b c d e

g:I R I R

x x2

TEMA II Teor a intuitiva de conjuntos p. 19/4

2.3 APLICACIONES ENTRE CONJUNTOS

DEFINICIN 22 Se llama imagen de A1 al conjunto formado por aquellos elementos de B , que son asignados a algn elemento de A1 ; o sea, f (A1 ) = {b B/a A1 con b = f (a)} DEFINICIN 23 Sea B1 B se llama imagen inversa (o antiimagen) de B1 al conjunto formado por aquellos elementos de A que se les asigna un elemento de B1 ; o sea, f 1 (B1 ) = {a A/f (a) B1 } Usando los ejemplos se obtiene f 1 ({a, b, e}) = {1, 2, 3, 5} DEFINICIN 21 Sea f : A B una aplicacin, se llama imagen de f al conjunto Im(f ) = f (A) = {b B/a A con b = f (a)}

g 1 ( {y I R/y 4}) = {x I R/x 2} {x I R/x 2}

TEMA II Teor a intuitiva de conjuntos p. 20/4

2.3 APLICACIONES ENTRE CONJUNTOS

DEFINICIN 24 Sea f : A B una aplicacin del conjunto A en el conjunto B : Se dice que f es inyectiva si verica: Si f (a1 ) = f (a2 ) = a1 = a2 o tambin esta propiedad se puede poner como Si a1 = a2 = f (a1 ) = f (a2 )
Se dice que f es suprayectiva (sobreyectiva o epiyectiva), si

verica:

b B existe a A tal que b = f (a) o lo que es lo mismo, Im(f ) = B . Se dice que f es biyectiva si verica que es inyectiva y suprayectiva. f (x) = 2x + 3

TEMA II Teor a intuitiva de conjuntos p. 21/4

2.3 APLICACIONES ENTRE CONJUNTOS

DEFINICIN 25 Sean f : A B y g : C D dos aplicaciones tales que Im(f ) C , se llama composicin de f con g , y se denota por g f , a la aplicacin g f : A C denida por (g f )(a) = g (f (a)) DEFINICIN 26 Se llama aplicacin identidad del conjunto A a la aplicacin de A en A tal que IdA (a) = a para todo a A DEFINICIN 27 Dada una aplicacin f : A B , diremos que es un isomorsmo de conjuntos si existe otra aplicacin g : B A tal que g f = IdA y f g = IdB

TEOREMA 5 Una aplicacin f : A B es un isomorsmo si y solamente si es una biyeccin.

TEMA II Teor a intuitiva de conjuntos p. 22/4

2.4 EL CONJUNTO DE LOS NMEROS NATURALES

DEFINICIN 28 Dado un conjunto diremos que es el conjunto de los nmeros naturales (que denotaremos por I N ) si verica que existe un elemento 0 y una aplicacin : I N I N tal que: No existe ningn n I N tal que (n) = 0. La aplicacin es inyectiva. Si S es un subconjunto de I N tal que 0 S y para todo n S se tiene que (n) S , entonces S=I N. NOTA: Hay muchos conjuntos que verican estas propiedades: son diferentes representaciones de I N

TEMA II Teor a intuitiva de conjuntos p. 23/4

2.4 EL CONJUNTO DE LOS NMEROS NATURALES

Principio de inducci on
Sea una propiedad P A = {P (n) con n I N} y S = {P (n) son ciertas } A

Paso Inductivo Suponiendo que P (n) S (Hip otesis de inducci on) se comprueba que P ( (n)) S Y por la tercera propiedad de los nmeros naturales se tiene que S = A y, por lo tanto, todas las proposiciones son ciertas.

Paso B asico P (0) S

TEMA II Teor a intuitiva de conjuntos p. 24/4

2.4 EL CONJUNTO DE LOS NMEROS NATURALES

Ejemplos de deniciones recurrentes
1) Se dene la funcin factorial a partir de las siguientes reglas recurrentes:
I) II )

0! = 1 ( (n))! = (n) (n!)

2) Se dene la sucesin de nmeros naturales {an }nI N a partir de las siguiente reglas recurrentes:
I) II )

a0 = 1 y a1 = 1. an+1 = an + an1 para todo n 1. 1 5 1+ 5 2

n+1

Sin recurrencia 1 5 1 5 2
n+1

TEMA II Teor a intuitiva de conjuntos p. 25/4

2.5 CARDINALIDAD FINITA

DEFINICIN 29 Dado un conjunto nito A, se llama cardinal de A, y lo denotaremos por |A| ( o Card(A)), al nmero de elementos que posee TEOREMA 6 Si A es un conjunto nito, |A| = n, entonces tiene 2n subconjuntos. TEOREMA 7 Sean A y B dos conjuntos nitos, se tienen las siguientes relaciones:
I) II ) III ) IV ) V)

|A B | = |A| |B |. |A B | = |A| + |B | |A B |. |A B | m n{|A|, |B |}. |A B | |A|. |AB | = |A| + |B | 2|A B |.

TEMA II Teor a intuitiva de conjuntos p. 26/4

2.5 CARDINALIDAD FINITA

COROLARIO 1 Sean A1 , A2 , . . ., An una familia de n conjuntos nitos, entonces se verica:
n

|A1 A2 An | =

k=1

(1)k1

1i1 <<ik n

|Ai1 Ai2 Aik |

TEOREMA 8 Sean A y B dos conjuntos nitos, se verica: |A| = |B | si y solamente si existe una biyeccin de A a B .

COROLARIO 2 Si S es un conjunto nito, entonces |P (S )| = 2|S | .

TEOREMA 9 Sean A y B dos conjuntos nitos, si denotamos por Apl(A, B ) al conjunto formado por todas las aplicaciones de A en B , se tiene que |Apl(A, B )| = |B ||A| .

TEMA II Teor a intuitiva de conjuntos p. 27/4

2.6 CARDINALIDAD INFINITA

DEFINICIN 30 Sean A y B dos conjuntos, denimos la relacin de la siguiente manera: A B , si, y solamente si, existe una aplicacin biyectiva entre ambos. [A] = |A| nmeros cardinales. DEFINICIN 31 Un conjunto A se dice que es numerable si su cardinal coincide con el de los nmeros naturales, o sea, |A| = |I N |. Ejemplos.I)

{Nmeros primos} N f1 : I {Nmeros primos} n pn

donde pn es el primo n-simo.

TEMA II Teor a intuitiva de conjuntos p. 28/4

2.6 CARDINALIDAD INFINITA

Ejemplos.Z Z |Z Z| = 2|I N| 1 f2 : I N Z Z p g2 : Z Z I N n n si p = 2n n si p = 2n 1

Se verica que f2 g2 =Id

2n si n 0 (2n + 1) si n < 0

y g2 f2 =IdI . N Z Z

TEMA II Teor a intuitiva de conjuntos p. 29/4

2.6 CARDINALIDAD INFINITA

Ejemplos.I N I N f3 : I N I N I N (i+j )(i+j +1) +i (i, j ) 2 N I N I N g3 : I mn (mn +1) n (n , mn (n 2
mn (mn +1) )) 2

donde mn es el mayor nmero natural tal que mn (mn +1) n. 2 Se verica que f3 g3 =IdI N I N. N y g3 f3 =IdI

TEMA II Teor a intuitiva de conjuntos p. 30/4

2.6 CARDINALIDAD INFINITA

TEOREMA 10 La unin nita o numerable de conjuntos numerables es numerable. TEOREMA 11 El conjunto I R de los nmeros reales no es numerable

Ejemplos de cardinales
|I N | = |I R| = P (I R) = . . . = P (P (. . . P (I R) . . .)) = ...

TEMA II Teor a intuitiva de conjuntos p. 31/4