Professional Documents
Culture Documents
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
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
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.
quisiramos alguna vez referirnos a dicho coleccin, diremos "la clase de todos los conjuntos".
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 = {}
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.
B A.
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}
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.
[a] = A.
a A
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}
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.
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 )
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:
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).
1 2 3 4 5
a b c d e
g:I R I R
x x2
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
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.
2) Se dene la sucesin de nmeros naturales {an }nI N a partir de las siguiente reglas recurrentes:
I) II )
Sin recurrencia 1 5 1 5 2
n+1
|A1 A2 An | =
k=1
(1)k1
1i1 <<ik n
TEOREMA 8 Sean A y B dos conjuntos nitos, se verica: |A| = |B | si y solamente si existe una biyeccin de A a B .
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| .
2n si n 0 (2n + 1) si n < 0
y g2 f2 =IdI . N Z Z
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
Ejemplos de cardinales
|I N | = |I R| = P (I R) = . . . = P (P (. . . P (I R) . . .)) = ...