Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria Intuitiva de Conjuntos PDF
Teoria Intuitiva de Conjuntos PDF
Wikibooks.org
4 de noviembre de 2011
ndice general
0.1 T EORA INTUITIVA DE CONJUNTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
0.2 GNU F REE D OCUMENTATION L ICENSE . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1 AUTORES 29
NDICE DE FIGURAS 31
0.1.1. Conjuntos
Lo principal para nuestro desarrollo de la teora (intuitiva) de conjuntos es aceptar que es posible
comprimir o substancializar una coleccin o conjunto (que para este caso son lo mismo) de
cualesquiera objetos y, as, poder considerarla como un todo o, mejor dicho, como una nica
cosa que tratar. Los objetos de un conjunto se llaman elementos de dicho conjunto.
1.1.1. Desde luego, la relacin ms bsica de la teora de conjuntos es la que existe entre los
elementos y su conjunto: la relacin de pertenencia. Como es la regla hoy en da, escribiremos
ax
1
ndice general
para indicar que el objeto a es uno de los elementos del conjunto x. Es decir, el smbolo "", una
versin de la letra griega (psilon), lo usaremos para representar la relacin de pertenencia[1].
Los argumentos de una relacin son los objetos que acompaan a esa relacin. En el ejemp-
lo a x, los argumentos de la relacin son a (primer argumento) y x (segundo argumento).
As, puede decirse que los primeros argumentos de la relacin pertenecen al universo de los
elementos, mientras que los segundos argumentos de esta misma relacin pertenecen al uni-
verso de los conjuntos. Si aceptamos que todo es un conjunto (algo que, por ciertas razones que
se vern en su momento, haremos cuando se desarrolle la teora axiomtica de conjuntos), en-
tonces los primeros y segundos argumentos de pertenecen al mismo universo.
La negacin de a x la escribiremos
ax
Ejemplo: Consideremos el conjunto x = {1, 2, 3, 4, 5}. Con esto lo que estamos haciendo es de-
nominar por x al conjunto {1, 2, 3, 4, 5}. Pues bien, podemos decir entonces que 1 x y que 7 x.
1.1.2. Diremos que dos conjuntos x e y son iguales, lo que se representa por x = y, si y solo si
x e y consisten de los mismos elementos. As pues, x = y siempre que
ax
si y solo si
ay
Ejemplo: Siguiendo con nuestro ejemplo, segn nuestro criterio vemos que {1, 2, 3, 4, 5, } =
{1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 4, 5, 5, 5, 1}. En efecto, cada uno de los elementos del conjunto de la
izquierda es un elemento del conjunto de la derecha, y viceversa. Podemos pues considerar que
ambos conjuntos son iguales, y, como hicimos antes, podemos identificar entonces como x a
cualquiera de ambos.
1.1.3. Por otra parte, como un hecho ms general que la igualdad, un conjunto x es subconjunto
de otro y, lo que se representa por
xy
siempre que
2
Teora intuitiva de conjuntos
ax
implica
ay
para cualquiera que sea el elemento a (i.e., si todo elemento de x es elemento de y). Claramente
xx
para todo conjunto x, por lo que se dice que la relacin es reflexiva. Tambin tenemos que
xy
y x
si y solo si
x=y
y que
xy
y z
implica
xz
3
ndice general
xy
Peano fue el primero en representar la relacin de pertenencia por la letra en sus Arithmetices
Principia (1889), por ser la primera letra de la palabra griega `, que significa "est".
{a 1 , a 2 , . . . , a n }
ax
es equivalente a
{a} x
1.2.3. Existe otra forma comn de representar conjuntos. Si x es el conjunto de todos aquellos
elementos a que verifican una propiedad , entonces x se representa tambin por
{a | (a)}
4
Teora intuitiva de conjuntos
{a | a = a}
{a | a 6= a}
no contiene nada. Este conjunto sin elementos lo llamaremos conjunto vaco, y lo representare-
mos por . Tenemos que x para cualquiera que sea el conjunto x (pues esto sera falso slo
si existiera algn elemento en que no estuviera en el conjunto x, lo cual es absurdo pues no
contiene nada).
implica
x =
1.3.1. Las operaciones entre conjuntos consisten en tomar ciertos elementos de uno y ciertos
de otro para formar con ellos nuevos conjuntos. As, por ejemplo, si x e y son dos conjuntos, la
unin de x e y es el conjunto
x y = {a | a x
a y}
5
ndice general
Esto es, x y consiste de todos los elementos que estn ya sea en x, ya sea en y, ya sea en ambos
x e y. La unin se representa por el rea sombreada en el diagrama siguiente:
xy
( U-2 ) Hay que demostrar que todo elemento de x es elemento de x (demostrar que x x)
y que, recprocamente, todo elemento de x es elemento de x (demostrar que x x ). Si
a x , entonces a x o a , de lo que solo puede ser a x. Recprocamente, si a x,
entonces a x . Por tanto x = x.
( U-6 ) Supngase que x y pero que x y 6= y. Entonces, en particular, existe a y tal que
a x y, pero si esto es cierto, a x, lo que contradice el hecho de que x y. Recprocamente,
si x y = y, entonces de ( U-5 ) se sigue el resultado deseado.
x y = {a | a x y a y}
Es decir, x y es el conjunto formado por todos los elementos que estn tanto en x como en y.
La interseccin se representa por el rea sombreada en el diagrama siguiente :
xy
( UI-1 ) x (y z) = (x y) (x z) ( UI-2 ) x (y z) = (x y) (x z)
7 H T T P :// E S . W I K I B O O K S . O R G / W I K I /I M A G E N %3AS E T S U N I O N . P N G
8 H T T P :// E S . W I K I B O O K S . O R G / W I K I /I M A G E N %3AS E T S I N T E R S E C T I O N . P N G
6
Teora intuitiva de conjuntos
1.3.3. Si x e y son dos conjuntos tales que x y = (i.e. si x e y no tienen elementos en comn)
se dice que x e y son conjuntos disjuntos.
1.3.4. Las operaciones de unin e interseccin pueden generalizarse. Si C es una coleccin (con-
junto) de conjuntos, la unin de los conjuntos de C puede definirse como el conjunto
[
x = {a | existe x C tal que a x}
xC
.
S
As, a xC x si y solo si existe por lo menos un conjunto x en C que contenga al elemento a.
Como caso particular, tenemos
[
{x, y} = x y
1.3.5. De manera similar, la interseccin de los conjuntos de una coleccin C se define por
\
x = {a | para todo x C , a x}
xC
.
T T
Por tanto, a xC x si a x para todo conjunto x de C (i.e. xC x consiste de los elementos
que estn en todo conjunto de C ). Como caso particular, tenemos
\
{x, y} = x y
1.3.6. Ntese que, de acuerdo a la definicin anterior, si C = , entonces, puesto que en ese
T
caso x implica a x para cualquiera que sea el conjunto x y el elemento a, el conjunto C
lo contiene todo.
7
ndice general
x y = {a | a x
a y}
Es decir, x y consiste de todos los elementos que estn en x pero no en y. Este conjunto se
representa por el rea sombreada en el siguiente diagrama:
D IFERENCIA DE
11
C x x1 = x x1
C OMPLEMENTO DE
x1
EN
11 H T T P :// E S . W I K I B O O K S . O R G / W I K I /I M A G E N %3AS E T S D I F F E R E N C E . P N G
12 H T T P :// C O M M O N S . W I K I M E D I A . O R G / W I K I /F I L E :I N T E R S E C C I O N R E S T A S . P N G
8
Teora intuitiva de conjuntos
13
1.5.1. Un conjunto muy importante en la teora de conjuntos es aquel que, dado un conjunto x
cualquiera, contiene todos los subconjuntos de este conjunto x. Un conjunto as se llama con-
junto potencia. Ms exactamente, si x es un conjunto, entonces el conjunto potencia de x es el
conjunto P (x) dado por
P (x) = {y | y x}
1.5.2. Puesto que , P () = {}, y por tanto P () contiene un solo elemento, y por ello
P () 6= . Sea x un conjunto con n elementos. Entonces, existen n subconjuntos de x con un
solo elemento, n2 subconjuntos de x con dos elementos, n3 subconjuntos de x con 3 elementos,
n
y as sucesivamente hasta llegar a los n subconjuntos de x con n elementos. De este modo, P (x)
tiene
!
n n
= (1 + 1)n = 2n
X
i =0 i
elementos, siendo esta ltima ecuacin un caso particular del binomio de Newton. Como puede
verse, el conjunto potencia P (x) de un conjunto x contiene en general muchos ms elementos
que el conjunto x, razn por la cual es difcil dar ejemplos de conjuntos potencia.
13 H T T P :// E S . W I K I B O O K S . O R G / W I K I /I M A G E N %3AS E S T S C O M P L E M E N T . P N G
14 Captulo 0.1.3 pgina 5
15 Captulo 0.1.5 pgina 9
9
ndice general
[
x=X
xP (X )
1.5.6. Ahora vamos a generalizar algunas leyes a cerca de la unin e interseccin de conjuntos.
Primero, considrese un conjunto dado u, y luego considrese una coleccin C de subconjuntos
de u. Frmese la unin
[
x
xC
,
un subconjunto de u. El complemento
C
[
x
xC
,
conjunto anterior es en efecto una interseccin de los conjuntos de una coleccin, a saber
C 0 = {y | y v
C y C}
C ( xC x) = xC C x
S T
C ( xC x) = xC C x
T S
10
Teora intuitiva de conjuntos
1.6.1. En matemticas, un par ordenado es un par (a, b) de objetos a y b tal que si (c, d ) es otro
par ordenado, (a, b) y (c, d ) sern iguales si y solo si a = c y b = d . La idea de esta descripcin
es garantizar que el orden de los componentes de un par ordenado importe. Sin embargo, no es
sino en la teora de conjuntos donde el concepto de par ordenado encuentra una definicin al
ser considerado como un tipo especial de conjunto que cumple lo que se acaba de describir del
mismo. En realidad existen varias definiciones de par ordenado dentro de la teora de conjuntos,
aunque la ms comn, y la que usaremos aqu, es aquella donde el par ordenado (a, b) se define
por
para todo x e y Para ver que esta definicin de par ordenado es adecuada, hemos de mostrar que
(a, b) = (c, d )
si y solo si
a =c
b=d
{a} = {c}
{a, b} = {c, d }
{a} = {c, d }
{a, b} = {c}
11
ndice general
(a, b) = (c, d )
si y solo si
a =c
b=d
(a 1 , a 2 , . . . , a n ) = ((a 1 , a 2 , . . . , a n1 ), a n )
x y = {(a, b) | a x
b y}
12
Teora intuitiva de conjuntos
Es decir, x y es el conjunto de todos los pares ordenados cuyo primer componente es un ele-
mento de x y segundo componente un elemento de y.
0.1.7. Funciones
1.7.1. Sean x e y dos conjuntos cualesquiera. Cualquier subconjunto f del producto cartesiano
x y que cumpla
( F-1 ) para todo a x existe b y tal que (a, b) f y ( F-2 ) (a, b) f y (a, c) f implica b = c,</p>
</blockquote>
1.7.2. Sean dos conjuntos x e y, y sea f : x y una funcin de x en y. Si (a, b) f se dice que a
es antecedente de b por medio de f , y que b es imagen de a por medio de f . Por definicin, un
elemento a x no puede tener ni ms ni menos que una sola imagen b y, que representaremos
por f (a) (de modo que b = f (a) si y solo si (a, b) f ). El conjunto x se dice dominio de la funcin
f , y se representa comnmente por dom( f ), mientras que el subconjunto y 0 y tal que para
todo b y 0 existe a x tal que b = f (a) (i.e. el subconjunto de y que contiene solo las imgenes
de los elementos de x por medio de f ) se dice rango de la funcin f , y se representa por ran( f ).
f (a) = g (a)
para todo a x.
{x}i I : I P (x)
13
ndice general
x = {a, b, c, d }
{x}i I : I P (x)
dada por
Si
es decir, si ran( f ) = y (i.e. si todo b y es imagen), se dice que f es una funcin sobreyectiva (o
suprayectiva), que es una funcin de x sobre y, o que es una sobreyeccin.
(F-5) Una funcin que es a la vez inyectiva y sobreyectiva se dice funcin biyectiva o biyec-
cin.
14
Teora intuitiva de conjuntos
f [x 1 ] = {b y |
existe
a x1
tal que
b = f (a)}
se dice imagen del subconjunto x 1 por f . Es decir, f [x 1 ] es el conjunto de todos los b y que
son imagen de algn elemento de x 1 . As pues,
f [x 1 ] ran( f )
y, en particular,
f [x] = ran( f )
f [{a}] = { f (a)}
f 1 y 1 = {a x | f (a) y 1 }
f 1 y 1 x
Puesto que todo elemento de x tiene una imagen en y, tenemos que, como caso particular,
15
ndice general
f 1 y = x
Sin embargo, debemos tener presente que, si bien f [{a}], donde a x, siempre es un conjunto
con un solo elemento, el conjunto f 1 [{b}] con b y puede ser vaco, ya que la definicin de
funcin no garantiza que todo elemento de y tenga un antecedente en x. Sin embargo esto si
esta garantizado cuando f es sobreyectiva, de modo que, en ese caso, el conjunto
f 1 [{b}]
1.7.10. Veamos ahora algunas propiedades generales de las funciones. Para esto definimos una
funcin f : x y y dos familias {x}i I e {y} j J de subconjuntos de x e y respectivamente. Con-
venimos tambin en que x 1 , x 2 e y 1 , y 2 representan, respectivamente, subconjuntos de x y sub-
conjuntos de y.
Tenemos que
(a) x 1 x 2 implica f [x 1 ] f [x 2 ].
(b) y 1 y 2 implica f 1 y 1 f 1 y 2 .
a f 1 y 2 , y as f 1 y 1 f 1 y 2 . QED
(c) x 1 f 1 f [x 1 ] .
(d) x 1 = f 1 f [x 1 ] .
(e) f f 1 y 1 y 1 .
QED
(f) f f 1 y 1 = y 1 .
(g) y 1 f [x 1 ] implica f f 1 y 1 = y 1 .
16
Teora intuitiva de conjuntos
y por tanto esto tambin es cierto para y 1 , de modo que si f (a) y 1 , a f 1 y 1 , luego
1
f (a) f f y 1 , con lo que la prueba termina. QED
(h)] f 1 C y y 1 = C x f 1 y 1 .
Demostracin: Sea a f 1 C y y 1 . As, existe b C y y 1 tal que b = f (a), pero en ese caso b y 1 ,
(i) f [C x x 1 ] C y f [x 1 ].
Debemos hacer nfasis en que el resultado anterior no se cumple para cualquier funcin f a
menos que esta sea inyectiva. Por ejemplo, si f no es inyectiva, puede ser a x 1 , pero esto no es
suficiente para garantizar que f (a) f [x 1 ], por que al no ser f inyectiva, podra existir un c x 1
tal que f (a) = f (c), caso en el cual la imagen de a est en f [x 1 ] por que es la misma imagen de
un elemento que si esta en x 1 .
(j) C y f [x 1 ] f [C x x 1 ].
Si la funcin f es biyectiva (es decir, si es tanto inyectiva como sobreyectiva), se cumple, en vista
de (h) e (i), lo siguiente
(k) f [C x x 1 ] = C y f [x 1 ].
1.7.11. Sea {x}i I una familia de subconjuntos de un conjunto x. Es comn llamar simplemente
S
unin de {x}i I a la unin de los conjuntos del rango de {x}i I , que se representa por i I x i y
que se define (vase 1.3.4) naturalmente por
[
x i = {a | existe i I tal que a x i }
i I
.
17
ndice general
(b) f 1 y i = i I f 1 [y i ].
S S
i I
1.7.13. Por otra parte, la interseccin de los conjuntos del rango de la familia {x}i I , que se rep-
T
resenta por i I x i , se dice simplemente interseccin de {x}i I . As pues (vase 1.3.5),
\
x i = {a | para todo i I , a xi }
i I
.
(b) f 1 i I y i = i I f 1 y i .
T T
Demostracin: En vista de (a), solo queda demostrar que, en caso de que f sea inyectiva,
T T T
i I f [x i ] f [ i I x i ]. Para esto, sea b i I f [x i ], de manera que b f [x i ] para todo ndice
i I . Puesto que f es inyectiva, b no es imagen ms que de un nico elemento a, y que, al ser
T
b f [x i ] para todo ndice i I , cumple con a x i para todo i I , con lo que a i I x i . As
T
b f [ i I x i ], lo que demuestra lo que se quera. QED
Resaltamos que el enunciado (c) se cumple solo en caso de que la funcin f sea inyectiva. La
razn es que un elemento a puede no estar en x i para todo i I , y sin embargo, puede que
su imagen b = f (a) si est en todos los conjuntos f [x i ] debido a que es la imagen de algn
otro elemento contenido en los conjuntos x i que no tienen a a. Por ejemplo, supngase a, cuya
imagen es b, no est en x i para algn i I , pero que este conjunto x i contiene otro elemento c
cuya imagen es tambin b, de tal manera que b f [x i ] para cualquiera que sea el ndice i I sin
necesidad de que a x i para todo i I . En ese caso (cuando f es no inyectiva) tenemos
" #
\ \
f xi f [x i ]
i I i I
.
idx (a) = a
18
Teora intuitiva de conjuntos
para todo a x, y que por tanto enva cada elemento de x consigo mismo, se llama funcin
identidad.
idx f = f
f id y = f
Si f : x x, esto se reduce a
f idx = idx f = f
f |x 0 (a) = f (a)
f |x 0 = f (x 0 y)
i : x 1 x
dada por
i (a) = a
19
ndice general
f g : x z
dada por
( f g )(x) = g ( f (x))
se dice composicin de f y g . Esto es, f g resulta de aplicar f seguida de g , por lo que si f enva
un elemento a x con un elemento b y y g enva a b y con un elemento c z, entonces f g
enva directamente el elemento a x con el elemento c z (Refirase a la figura de abajo).
f g
20
y que
(b, a) f 1
si y solo si
(a, b) f
20 H T T P :// E S . W I K I B O O K S . O R G / W I K I /I M A G E N %3AC O M P O S I T I O N O F F U N C T I O N S . P N G
20
Teora intuitiva de conjuntos
Es decir,
f 1 (b) = a
si y solo si
f (a) = b
( f 1 )1 = f
( f f 1 )(a) = f 1 ( f (a)) = a
( f 1 f )(b) = f ( f 1 (b)) = b
por lo que
f f 1 = idx
f 1 f = id y
Si f : x x, esto se simplifica a
f f 1 = f 1 f = idx
21
ndice general
f 1 idx = f 1 y id y f 1
1.7.24. Es claro que f 1 existe cuando f es biyectiva. Adems la funcin inversa de una funcin
es nica. Para probar esto, supngase que f 11 y f 21 son dos funciones inversas de una funcin
f : x y. Entonces
f 11 ( f f 21 ) = f 11 idx = f 11
( f 11 f ) f 21 = id y f 21 = f 21
y por tanto f 11 = f 21 .
( f g )1 = g 1 f 1
g 1 f 1 ( f g ) = g 1 ( f 1 f ) g
= g 1 id y g = (g 1 id y ) g = g 1 g = id y ,
22
Teora intuitiva de conjuntos
0.1.8. Relaciones
y a 6 Rb cuando (a, b) R. Para el caso particular en que f es una relacin que es a su vez es
funcin, tenemos
Sin embargo, emplearemos la notacin f (a) = b para representar (a, b) f cuando sepamos que
f es una funcin.
1.8.2. Las relaciones pueden definirse entre ms de dos conjuntos. As, una relacin entre los
conjuntos x, y y z, puede ser cualquier subconjunto del producto cartesiano x y z, y consi-
stira por tanto de ternas ordenadas. Una relacin R as se dice relacin ternaria, para distin-
guirse de las relaciones que se aplican solo entre dos conjuntos (que naturalmente se llaman
relaciones binarias). En trminos ms generales, una funcin n- aria entre cuales quiera n con-
juntos x 1 , . . . , x n , es un conjunto cualquiera R x 1 x n .
1.8.3. En este libro solo trataremos las relaciones binarias, por lo que cuando se hable de relacin
se entender que se trata de una de stas.
La relacin R es reflexiva siempre que ( R-1 ) aRa para toda a x. La relacin R es irreflexiva
si ( R-2 ) aRa para ningn a x. La relacin R es simtrica siempre que (R-3) aRb y bR a para
cualesquiera a, b x. La relacin R es antisimtrica siempre que (R-4) aRb y bRa implica a = b
para cualesquiera a, b x. La relacin R es asimtrica siempre que (R-5) aRb implica que bR
a es falso para cualesquiera a, b x. La relacin R es transitiva siempre que (R-6) aRb y bRc
implica aRc para cualesquiera a, b, c x. La relacin R es conexa siempre que (R-7) aRb o bRa
para cualesquiera a, b x. </blockquote>
1.8.5. Una relacin R que es reflexiva, simtrica y transitiva se dice relacin de equivalencia. Si
R es una relacin de equivalencia sobre un conjunto x y si a x, entonces el conjunto [a]R dado
por
23
ndice general
[a]R = {b | b x y bRa}
idx = {(a, a) | a x}
es claramente una relacin de equivalencia sobre x, y dentro del contexto de la teora de rela-
ciones suele hacerse referencia a ella mediante el trmino relacin trivial.
1.8.8. Puesto que una relacin de equivalencia R sobre un conjunto x es reflexiva, tenemos
a [a]R
Efectivamente, pues si b, c [a]R , entonces aRb y cRa, y por simetra, aRc, luego por transitivi-
dad bRc. Otra cosa ms es que
24
Teora intuitiva de conjuntos
La razn es que si [a]R [b]R 6= , entonces existe un c x tal que c [a]R y c [b]R , o sea que
cRa y cRb, y con esto aRb, que como ya vimos significa que [a]R = [b]R .
1.8.10. Sea R una relacin de equivalencia sobre un conjunto x. El conjunto cociente de x por la
relacin R, que se representa por x/R, se define por
x/R = {[a]R | a x}
1.8.11. Puesto que cada uno de los elementos de x est en alguna clase de equivalencia (pues
por ejemplo si a x se tiene a [a]R ), resulta que
[
[a]R = x
[a]Rel x/R
[
[a]R = x
ax
y como cualesquiera dos clases de equivalencia distintas de x/R son disjuntas (vase 1.8.9), x/R
es una particin de x (vase 1.5.6).
[
x=X
xC
,
25
ndice general
cada uno de los elementos de X est contenido en algn conjunto x de C , por lo que aRa para
todo a X , y as R es reflexiva. Claramente aRb implica bRa para todo a, b X , por lo que R
es simtrica. Adems, si aRb y bRc, existen x 1 , x 2 C tales que a, b x 1 y b, c x 2 , y estos han
de cumplir x 1 = x 2 (pues si x 1 6= x 2 , ha de ser x 1 x 2 = , lo que es contradictorio en vista de
que b x 1 y b x 2 ), y entonces concluimos que aRc. Esto hace que R sea tambin transitiva, y
entonces termina siendo esta una relacin de equivalencia sobre X inducida por la particin C .
Si R es una relacin de equivalencia sobre un conjunto x, entonces el conjunto cociente x/R es una
particin de x y, recprocamente, si P es una particin del conjunto x, entonces existe una relacin
R tal que x/R = P .
1.8.14. Una relacin R sobre un conjunto x reflexiva, antisimtrica y transitiva se dice relacin
de orden parcial (o simplemente un orden) sobre el conjunto x, y el par (x, R) se dice entonces
un conjunto parcialmente ordenado, o simplemente que es un conjunto ordenado.
para representar un orden parcial cualquiera (diferente segn el contexto) y no solo para el fa-
miliar orden sobre el conjunto de nmeros reales.
1.8.16. Se dice que R es una relacin de orden (parcial) estricto, o simplemente que es un or-
den estricto, sobre un conjunto x, si R es irreflexiva, antisimtrica y transitiva. Para representar
ordenes estrictos, cualesquiera que sean estos, usaremos el smbolo
<
es claramente un orden estricto sobre x. Por otro lado, si < es una relacin de orden estricto
sobre x, entonces
=< {(a, a) | a x}
26
Teora intuitiva de conjuntos
1.8.18. Sea (x, ) un conjunto ordenado. Un elemento a x tal que a b para todo b x se dice
elemento mnimo (o primer elemento) de x. El elemento mnimo de un conjunto, si existe, es
nico. En efecto, pues si a y a 0 fueran dos elementos mnimos de x, por definicin
a a0 y a0 a
y por antisimetra, a = a 0 .
1.8.19. Sea (x, ) un conjunto ordenado. Un elemento a x tal que b a para todo b x se dice
elemento mximo (o ltimo elemento) de x. Tambin el elemento mximo de un conjunto, si
existe, es nico.
1.8.20. En un conjunto ordenado (x, ) es posible que existan elementos que, pudiendo no ser
un mximo o un mnimo de x, tienen cierta distincin sobre otros elementos de x por medio de
el orden . Nos referimos a los minimales y los maximales. Un elemento a x es un minimal
en x si no existe ningn elemento en x estrictamente menor que a. (por medio del orden estricto
< dado por a < b si y solo si a b y a 6= b, por supuesto) ; un elemento a x se dice mximal de
x si no existe ningn elemento en x estrictamente mayor que a. Es posible que los minimales de
un conjunto, si existen, sean ms de uno. Lo mismo aplica para los maximales de un conjunto.
Notemos pues que un conjunto puede no contener ni mnimos (mximos) ni minimales (max-
imales), o bien, contener uno o ms minimales (maximales) y ningn mnimo (mximo). Si un
conjunto tiene mnimo (mximo), ste es a su vez el nico minimal (maximal) del conjunto.
1.8.21. Sea (x, ) un conjunto ordenado, y sea x 1 x. Un elemento a x tal que a b para
todo b x 1 se dice cota inferior (o minorante) de x 1 . Por otro lado, un elemento a x tal que
b a para todo b x 1 se dice cota superior (o mayorante) de x 1 . Una cota inferior o superior
de x 1 puede o no estar en x 1 . Adems, si C i es el conjunto de cotas inferiores de x 1 , entonces
C i x 1 solo puede ser vaco o ser un conjunto con un solo elemento. Si C i x 1 6= , entonces el
nico elemento de C i x 1 es claramente un mnimo de x 1 . Si C i contiene un elemento mximo,
entonces este se dice nfimo de x 1 , y lo representaremos por inf(x 1 ). Anlogamente, si C s es el
conjunto de todas las cotas superiores de x 1 , C s x 1 = o C s x 1 contiene a lo ms un elemento,
el cual sera entonces un mximo de x 1 . Si C s tiene un mnimo, entonces este se dice supremo
de x 1 , y lo representaremos por sup(x 1 ).
1.8.22. Un conjunto que tiene cotas inferiores se dice inferiormente acotado, mientras que un
conjunto que tiene cotas superiores se dice superiormente acotado. Si un conjunto esta acotado
inferior y superiormente, se dice simplemente que es acotado.
1.8.23. Sea (x, ) un conjunto parcialmente ordenado. Si todo subconjunto de x admite un min-
imal respecto de , se dice que es una relacin de orden bien fundada sobre x, o que es un
orden bien fundado sobre x. Dado ese caso, se dice que el par (x, ) es bien fundado.
27
ndice general
1.8.25. Una relacin de orden que es conexa en x, se dice relacin de orden total, u orden
total, sobre x, y se dice que el par (x, ) es un conjunto totalmente ordenado.
1.8.25. Un conjunto totalmente ordenado y bien fundado se dice conjunto bien ordenado, y su
relacin de orden se dice por tanto un buen orden. Supngase que (x, ) es un conjunto bien
ordenado. Entonces (x, ) es, en particular, bien fundado, por lo que todo subconjunto x 1 x
tiene por lo menos un minimal. Supngase que a y a 0 son dos minimales de x 1 . Puesto que (x, )
es totalmente ordenado,
a a0 o a0 a
Cualquiera que sea el caso, debe de ser a = a 0 , pues si no, a < a 0 o a 0 < a, lo que no puede ser por
que un minimal no tiene un elemento estrictamente menor que l (ni siquiera siendo este otro
minimal). Vemos entonces que el elemento minimal a es un mnimo de x 1 . Por conclusin, un
conjunto ordenado (x, ) es bien ordenado si todo subconjunto x 1 de x tiene mnimo.
0.1.9. Ejercicios
1. Supngase dado el conjunto de los nmeros naturales, que representaremos por N. Escribir
el conjunto {0, 1, 2, 3, 4, 5} en notacin de la forma {a | (a)}.
28
1 Autores
Edits User
11 A KHRAM1
82 A LEPHCERO2
4 A NTONIO LOPEZ C3
1 C HLEWBOT4
8 G IMLINU5
1 J ARISLEIF6
1 M ANUEL GR7
1 M ORZA8
3 R AMONRT9
13 W EWE10
1 W ILFREDOR11
1 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :A K H R A M
2 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :A L E P H C E R O
3 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :A N T O N I O _ L O P E Z _ C
4 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :C H L E W B O T
5 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :G I M L I N U
6 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :J A R I S L E I F
7 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :M A N U E L GR
8 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :M O R Z A
9 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :R A M O N R T
10 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :W E W E
11 H T T P :// E S . W I K I B O O K S . O R G / W / I N D E X . P H P ? T I T L E =U S U A R I O :W I L F R E D O R
29
Autores
30
ndice de figuras
ATTR: The copyright holder of this file allows anyone to use it for any purpose, provided
that the copyright holder is properly attributed. Redistribution, derivative work, commer-
cial use, and all other use is permitted.
EURO: This is the common (reverse) face of a euro coin. The copyright on the design of
the common face of the euro coins belongs to the European Commission. Authorised is
reproduction in a format without relief (drawings, paintings, films) provided they are not
detrimental to the image of the euro.
31
ndice de figuras
32