Tema I

Esta denicin se extiende para n conjuntos (y en general para una familia arbio traria de conjuntos): A1 A2 . . . An = {x| x A1 o x A2 o . . . o x An }. Denicin 1.3 Dados dos conjuntos A y B se llama la interseccin de dos cono o juntos A y B al conjunto A B formado por los elementos que pertenecen a los dos conjuntos: A B = {x| x A , x B}. De nuevo, esta denicin se extiende para n conjuntos (y en general para una o familia arbitraria de conjuntos): A1 A2 . . . An = {x| x A1 , x A2 , . . . , x An }. Denicin 1.4 Dados dos conjuntos A y X que cumplen que A X, se llama o conjunto complementario de A dentro de X al conjunto de elementos de X que no estn en A: a X \ A = {x X| x A}.

Elementos Bsicos de Clculo a a

1. Correspondencias y aplicaciones.
1
1.1

Conjuntos.
Denicin y notacin. o o

Denicin 1.1 Un conjunto es una coleccin de objetos llamados elementos. o o Utilizaremos la siguiente notacin: o

at
a). a).

4. Denotaremos los conjuntos con letras maysculas A, B, C, . . .. u 5. Denotaremos los elementos con letras minsculas a, b, c, . . .. u 6. Si a es un elemento de un conjunto A escribiremos a A ( A o 7. Si a NO es un elemento de un conjunto A escribiremos a A ( A o

ic em at
Algunas propiedades de estas operaciones son: 1. (A B) C = (A C) (B C). Prueba: x (A B) C xAB xAoxB y y xC xC xAyxC o x (A C) (B C). xB yxC

3. := signicar igual por denicin. a o

A = B A B y B A.

Como consecuencia de esto un mtodo muy habitual para comprobar que e dos conjuntos A y B coincidien ser vericar primero que A B y a luego que B A. 9. Denotaremos por al conjunto vac es decir, el que no tiene ningn elemento. o, u 10. Dado un conjunto A denotaremos por P(A) al conjunto formado por todos los subconjuntos de A (se llama partes de A). 11. El nmero de elementos de un conjunto nito A se llama cardinal del conu junto y se denota por #A.

ww w.

8. Si todos los elementos de un conjunto A estn en B, escribiremos A B ( a o B A) y diremos que A es un subconjunto de B. Es claro por tanto que:

a1

2. signicar existe un unico. a

.c

om

1. signicar existe. a

2. (A B) C = (A C) (B C). 3. X \ (X \ A) = A. 4. A B X \ B X \ A.

1.2

Operaciones entre conjuntos.

5. Leyes de De Morgan. Si A, B dos conjuntos contenidos en otro conjunto X. Se verica: X \ (A B) = (X \ A) (X \ B). El complementario de la unin es la o interseccin de los complementarios. o El complementario de la interseccin o es la unin de los complementarios. o

Denicin 1.2 Dados dos conjuntos A y B se llama la unin de A y B al conjunto o o A B formado por todos los elementos de A y B: A B = {x| x A o x B}.

X \ (A B) = (X \ A) (X \ B).

Prueba: Probemos que X \ (A B) = (X \ A) (X \ B). Para cualquier elemento x X se tiene: x X \ (A B) x A B x A y x B x (X \ A) y x (X \ A) (X \ B) x (X \ B)

Se verica que: - Conjunto inicial de F =Conjunto nal de F 1 . - Conjunto nal de F =Conjunto inicial de F 1 . - Conjunto origen de F =Conjunto imagen de F 1 . - Conjunto imagen de F =Conjunto origen de F 1 . Denicin 2.3 Dados tres conjuntos A, B, C y dos correspondencias, F de A en B o y G de B en C, se llama correspondencia H = G F a una correspondencia entre A y C denida como: H = {(a, c) A C| b B con (a, b) F y (b, c) G}.

Denicin 1.5 Dados dos conjuntos A y B se llama producto cartesiano A B o al conjunto A B formado por todos los pares ordenados (a, b) tales que a A y b B: A B = {(a, b)| a A , b B}. Esta denicin generaliza para n conjuntos: o A1 A2 . . . An = {(a1 , a2 , . . . , an )| a1 A1 , a2 A2 , . . . , an An }. Cuando todos los conjuntos son iguales su producto cartesiano se denota: An = A A . . . A .
n

2.2

Aplicaciones
Denicin. o

veces

em at

at

2
2.1

Correspondencias.
Deniciones bsicas. a

ic

a1

Denicin 2.4 Una aplicacin entre dos conjuntos A y B es una correspondencia o o vericando las siguientes condiciones: 1. El conjunto inicial coincide con el conjunto origen. a A, b B| (a, b) F.

ww w.

Denicin 2.1 Dados dos conjuntos A y B, una correspondencia entre A y B o es un subconjunto F del producto cartesiano A B. Adems: a 1. A se llama el conjunto inicial de la correspondencia. 2. B se llama conjunto nal de la correspondencia. 3. Si (a, b) F decimos que b es una imagen de a y que a es un origen de b. 4. El conjunto origen o dominio de F es el conjunto formado por todos los or genes de los elementos de B: Conjunto origen de F = {a A| y B con (a, y) F }. 5. El conjunto imagen o recorrido de F es el conjunto formado por todas las imgenes de los elementos de A: a Conjunto imagen de F = {b B| x A con (x, b) F }. Denicin 2.2 Dados dos conjuntos A y B y una correspondencia F entre A y B, o la correspondencia inversa F 1 entre B y A se dene como: F 1 = {(b, a) B A| (a, b) F }.

.c

2.2.1

2. Cada elemento del conjunto origen tiene una unica imagen. a C.Origen, b B| (a, b) F.

Ambas condiciones equivalen a que todo elemento del conjunto inicial tiene una unica imagen. a A, b B| (a, b) F. Denotaremos una aplicacin F de A en B por f : A B y cuando (a, b) F o escribiremos f (a) = b. Si A es un subconjunto de A, denotaremos por f (A ) al conjunto de todas las imgenes de los elementos de A : a f (A ) = {f (a)| a A }.

2.2.2

om

Clasicacin de aplicaciones. o

Dados dos conjuntos A y B, distinguieremos varios tipos de aplicaciones de A en B:

1. Una aplicacin inyectiva es aquella en la que cada elemento de la imagen o tiene un unico origen. Para vericar la inyectividad de una aplicacin suelen o utilizarse cualquiera de las dos condiciones siguientes equivalentes: f inyectiva f (x) = f (y) x = y x = y f (x) = f (y)

La equivalencia entre ambas deniciones es inmendiata sin ms que tener en cuenta a que: (a, b) f y (b, c) g b = f (a) y c = g(b) c = g(f (a)) Adems en la segunda denicin queda claro que, por ser f y g aplicaciones, g f a o es efectivamente una aplicacin ya que cada elemento de A tiene una unica imagen o denida en C. Veamos algunas propiedades de la composicin de aplicaciones. Supondremos que o tenemos aplicaciones cualesquiera f, g, h, f : A B, g : B C y h : C D. 1. La aplicacin identidad en un conjunto cualquiera A, idA : A A, que o lleva cada elemento en si mismo, acta como elementro neutro, es decir: u idB f = f ; f idA = f.

2. Una aplicacin sobreyectiva es aquella en la que el conjunto imagen coincide o con el nal: f sobreyectiva f (A) = B b B, a A| f (a) = b

3. Una aplicacin biyectiva es un aplicacin que es inyectiva y sobreyectiva al o o mismo tiempo, es decir, aquella en que todo elemento del conjunto nal tienen un unico origen: f biyectiva f inyectiva f sobreyectiva b B, a A| f (a) = b

2. Se cumple la propiedad asociativa, es decir:

om

2.2.3

Inversa de una aplicacin. o

ic

Dada una aplicacin f de A en B, siempre existe la correspondencia inversa f 1 o pero no siempre esta inversa es una aplicacin. Tenemos en cuenta que: o f 1 aplicacin o b B, a A| (b, a) F 1 b B, a A| (a, b) F b B, a A| f (a) = b f inyectiva f sobreyectiva

em

at

a1

.c

h (g f ) = (h g) f.

3. La composicin NO es conmutativa. o 4. Si f : A B es biyectiva f f 1 = idB y f 1 f = idA .

5. f y g inyectivas Prueba:

g f es inyectiva.

at

(g f )(x) = (g f )(y) 6. f y g sobreyectivas

1

g(f (x)) = g(f (y))

g inyct.

f (x) = f (y)

f inyct.

x = y.

Es decir:

ww w.

g f es sobreyectiva.
f sobreyectiva

Proposicin 2.5 Dada una aplicacin f de A en B, la correspondencia inversa f o o es una aplicacin si y slo si f es biyectiva. o o

Prueba: (g f )(A) = g(f (A)) 7. f y g biyectivas 8. g f inyectiva Prueba: f (x) = f (y) 9. g f sobreyectiva Prueba: f (A) B 10. g f biyectiva g(f (A)) g(B)
g f sobre.

g(B)

g sobreyectiva

C.

Como consecuencia de esto slo podremos calcular la aplicacin inversa de una o o aplicacin biyectiva. Adems esta aplicacin inversa ser tambin una aplicacin o a o a e o biyectiva.

g f biyectiva. f inyectiva.

2.2.4

Composicin de aplicaciones. o

g(f (x)) = g(f (y))

(g f ) inyct.

x = y.

Denicin 2.6 Dados tres conjuntos A, B, C, y dos aplicaciones f : A B y o g : B C denimos la aplicacin f compuesta con g como: o (a, c) g f b B| (a, b) f y (b, c) g, o equivalentemente, (g f ) : A C (g f )(a) = g(f (a)).

g sobreyectiva.

C g(B)

g(B)C

g(B) = C.

f inyectiva y g sobreyectiva.

2.3
2.3.1

Relaciones.
Denicin. o

Al conjunto de clases de equivalencia se le llama conjunto cociente y se representa por A/R. Para describir un conjunto cociente suele darse un elemento de cada una de las clases de equivalencia. A dicho elemento se le llama representante de su clase.

Denicin 2.7 Una relacin es una correspondencia de un conjunto A en si o o mismo, es decir, un subconjunto del producto cartesiano A A. Habitualmente se denota por R y suele escribirse: (a, b) R aRb.

2.3.3

Relacin de orden. o

Denicin 2.9 Una relacin R en un conjunto A se dice de orden si cumple las o o siguientes propiedades: 1. Reexiva. a A, aRa. 2. Antisimtrica. a, b A, aRb y bRa e a = b. aRc. 3. Transitiva. a, b, c A, aRb y bRc

2.3.2

Relacin de equivalencia. o

Denicin 2.8 Una relacin R en un conjunto A se dice de equivalencia si cumple o o las siguientes propiedades: 1. Reexiva. a A, aRa. 2. Simtrica. a, b A, aRb e bRa. aRc. 3. Transitiva. a, b, c A, aRb y bRc

C(x) = {a A| aRx}. Algunas propiedades de las clases de equivalencia son:

1. C(x) = . Prueba: Por la propiedad reexiva todo elemento est relacionado al menos a consigo mismo. 2. y C(x) x C(y). Prueba: Si y C(x), entonces yRx; por la propiedad simtrica xRy; por tanto e x C(y). 3. y C(x) C(y) C(x) Prueba: Si y C(x), entonces yRx. Adems si b C(y) entonces bRy. Por a la propiedad transitiva deducimos que bRx y b C(x). 4. y C(x) C(x) = C(y). Prueba: Es consecuencia directa de las dos propiedades anteriores. Deducimos de estas propiedades que dos clases de equivalencia o coinciden o son disjuntas. Adems todo elemento del conjunto pertenece a una clase de equivalencia, a luego estas forman una particin de A. o

ww w.

at

em

Si R es una relacin de equivalencia, los elementos relacionados con un elemento o x se dicen equivalentes a x. Al conjunto de elementos equivalentes a x se le llama clase de equivalencia de x, y se denota por C(x):

at

ic

a1

En otro caso la relacin se dice de orden parcial. o

.c

om

Adems la relacin se dice de orden total si cualquier par de elementos es coma o parable, es decir, a, b A, o aRb o bRa.