UNE FAC EPMIN DAMI

GRUPO DE ESTUDIOS:

INTRODUCCIÓN A LA TEORÍA AXIOMÁTICA DE

LOS CONJUNTOS
Profesor: Julio A Mendoza García
MÓDULO 7 DE TEXTO

CAPÍTULO V
OPERACIONES CON CONJUNTOS:
REUNIÓN E INTERSECCIÓN

5.2 REUNIÓN DE UNA FAMILIA DE CONJUNTOS

NOTA 1 (previa). - En estricto sentido, en forma más abstracta, el

Axioma para la Unión de Conjuntos, que nosotros habíamos
enunciado sólo para dos conjuntos, se enuncia para una familia.
Lo veremos a continuación.

AXIOMA (Existencia de un conjunto unión para A y B conjuntos). -

Para un referencial R implícito, se cumple:

ABU(x  R(x  A  x  B  x  U))

O sea, se estableció solo para la familia {A; B}

NOTA 2 (previa). - Llamaremos como, ya dijimos, familia de

conjuntos a todo conjunto cuyos elementos son conjuntos y,
generalmente, la denotaremos, a la familia, por letras mayúsculas
inglesas o del tipo A . “A  A ” se lee “A es miembro de A ”.

5.2.1 EXISTENCIA DE UN CONJUNTO UNIÓN PARA UNA FAMILIA DE

CONJUNTOS
 2

AXIOMA1 (existencia del conjunto unión para una familia).- Con un

referencial tácito se cumple:

A familiaU conjunto(x(A  A : x  A  x  U))

Recordar que para el caso de dos conjuntos A y B el axioma de la

existencia de la unión para esos dos conjuntos, se formulaba así:

ABU(x  R(x  A  x  B  x  U))

NOTA 1.- Podemos “traducir” la formulación simbólica del

Axioma de una unión para una Familia, en expresiones
coloquiales, como “Para toda familia de conjuntos, existe un
conjunto U que tiene, entre sus elementos, los elementos de R
que pertenecen a por lo menos uno de los miembros de la
familia”.

EJEMPLO 1.- Sean los conjuntos: A1 = {0; 1; 2}, A2 = {0; 2; 3},

A3 = {0; 3; 4} y A4 = {0; 3}.

Con referencial R = {0; 1; 2; 3; 4; 5; 6; 7; 8}.

Así tenemos la familia de conjuntos A = {A1; A2; A3; A4}

Propongamos ahora algunos conjuntos U (unión) que cumplan

las condiciones que el axioma establece para una unión U, dada
una familia de conjuntos. Veamos:

Proponemos U1 = {0; 1; 2; 3; 4; 5; 6}.

Comprobemos que U1 cumple las condiciones de conjunto unión

para A con referencial R.

En efecto:

Para x = 0  R:

A1  A (0  A1  0  U1). Se cumple.

1
Esta formulación del Axioma “Para la unión de una familia”, absorbe (porque la incluye) y reemplaza,
en nuestra teoría, al Axioma “Para la Unión de los conjuntos A y B” (5.1.1) pues es una extensión del
mismo. Algunos autores dicen que es una “generalización”. No es la expresión adecuada pues la
formulación que hicimos para dos conjuntos fue también en general. Tal vez el término más adecuado
sería “extensión”. La formulación la hacemos considerando implícitas la existencia y la tácita identidad
de un referencial.
 3

V V V

(Basta A1 para garantizar la existencia, aunque observamos que

también se cumple para A2, A3, y A4)

Para x = 1  R:

A1  A (1  A1  1  U1). Se cumple (la comprobación lógica

puede hacerla nuestro lector).

Para x = 2, x = 3 y x = 4; se cumple análogamente que para

x = 0. La formulación simbólica y la comprobación lógica de
estos casos las puede hacer nuestro lector.

Para x = 5:

A  A (5  A  5  U1). Se cumple.
F V V

Para x = 8:
A  A (8  A  8  U1). Se cumple.
F V F

HASTA AQUÍ LA CLASE DEL M 021122

5  R pero no existe A t. q. 5  A, sin embargo la implicación,

que es la condición, se hace verdadera puesto que el antecedente
es falso y, en consecuencia, la implicación es verdadera.

Para x = 6, x = 7 y x = 8 se cumple en forma análoga que para

x = 5. La formulación y el análisis de estos casos lo dejamos para
nuestro lector.

Conclusión: U1 cumple con el axioma 5.2.1 “De una unión para

una familia de conjuntos”; para la familia A = {A1, A2; A3; A4}
existe el conjunto unión U 1 = {0; 1; 2; 3; 4; 5; 6} (unión para A )
tal que para todo elemento x del referencial
R = {0; 1; 2; 3; 4; 5; 6; 7; 8}, existe algún A miembro de la familia
A , tal que x  A  x  U1.

Una representación gráfica de nuestro ejemplo, con U 1, se

observa en la figura 21.
 4

Fig. 21. U1 y U2 conjuntos unión para la familia A = {A1; A2; A3; A4}.

Ahora proponemos U2 = {0; 1; 2; 3; 4; 5; 6; 8}.

Con un análisis análogo al que usamos para U 1, se comprueba

que U2 cumple también con el axioma 5.2.1 “De una unión para
una familia de conjuntos”.

U3 = {0; 1; 2; 3; 4}, cumple también con el axioma 5.2.1.

NOTA 2.- U3 es el “mínimo” conjunto unión que cumple el

axioma 5.2.1 para el A de nuestro ejemplo 1. Ojo, R (el
referencial) también cumple el axioma 5.2.1, y sería el “máximo”
conjunto unión (en el referencial) para la familia
A = {A1; A2; A3; A4} de conjuntos.

NOTA 3.- De la formulación del axioma de la Existencia de un

conjunto unión para una familia de conjuntos, de la definición
de inclusión y de nuestro ejemplo 1 precedente, podemos decir
que se puede reconocer que un conjunto U es unión para una
familia A de conjuntos si y sólo si U es superconjunto para
todos los miembros de la familia A .

EJERCICIO 1.- Dada B la familia de los conjuntos B1 = a,

 5

B2 = a; b, B3 = a; b; c, B4 = a; b; c; d, B5 = a; b; c; d; e,

con referencial S = a; b; c; d; e; f; g para sus miembros.
Determine todos los posibles conjuntos unión para la familia B y
que sean solamente parte propia de S. ¿Cuántos son?

SOLUCIÓN:

1a) Determinamos la familia B :

B = {B1; B2; B3; B4; B5}

1b) U1 = B5 = a; b; c; d; e es conjunto unión para B, porque U1

= B5 es super conjunto de todos los miembros de B (criterio
operativo)

U2 = a; b; c; d; e; f es conjunto unión para B, porque U1 =

B5 es super conjunto de todos los miembros de B (criterio
operativo).

U2 es el máximo conjunto unión para la familia B. Porque si

agregamos un elemento más sería igual referencial y ya no
sería su parte propia.

Son solo dos conjuntos unión para B de acuerdo a las

instrucciones.

EJERCICIO 2 (EI). - Sea una familia D de cinco conjuntos D1, D2,

D3, D4 y D4 tales que ningún elemento del referencial R pertenece
a dos miembros o más de esa familia. Sea Ud un conjunto unión
para la familia D de conjuntos. Presente un diagrama de Venn
para esta situación.

NOTA 5.- ¿Se puede escoger U t. q. R  U? Veamos.

Para un x  U quedan dos posibilidades respecto a R:
x  R  x  R.

Si x  R:

Se contextualizan las condiciones del axioma 5.2.1 “De una

unión para una familia”.

En el caso x  R:
 6

La formulación del axioma tendría las características siguientes,

considerando un referencial R:

A familia con referencial R(U conjunto(x  R(A  A :

x  A  x  U)))
F V V
Justificado, en que para cualquier A  A , se cumple:
A  R  (x  R(x  A  x  R))  (x  R(x  R  x  A)).

Por tal razón la expresión x  A es falsa, considerando que, en

este caso, x  R y por lo tanto trivializa la implicación al hacerla
verdadera porque resulta falsa el antecedente en la proposición
x  A  x  U.

Conclusión: Sí, puede haber un U, t. q. R  U, que cumpla con

el axioma 5.2.1. Más aún, por el análisis que acabamos de hacer
en la presente nota, podemos afirmar que todo U superconjunto
de R cumple con el axioma “De una unión para una familia de
conjuntos”. No es usual trabajar con los conjuntos unión que
sean superconjuntos del referencial.

5.2.2 REUNIÓN DE UNA FAMILIA DE CONJUNTOS

TEOREMA 1 (Caracterización de la reunión de una familia de

conjuntos) [2].- Considerando un referencial tácito:

A familia!Ur conjuntox((A  A : x  A  x  Ur)

A familiaU conjunto(x(A  A : x  A  x  U))

(Hemos resaltado las diferencias en la formulación del teorema y
la del axioma. La del teorema es más fuerte)

DEMOSTRACIÓN:

i) A Ux(A  A (x(x  A  x  U)) Axioma de la

existencia de una unión
para una familia de conjuntos.

2
Esta es una extensión del Teorema de la Caracterización de la Reunión de hasta dos conjuntos; ahora, lo
presentamos para cualquier familia de conjuntos.
 7

ii) Asumiendo Domx = U establecemos la aplicación

proposicional:

F (x)(A  A : x  A) [Def. de aplicación proposicional]

iii) Para esta aplicación proposicional tenemos que:

!SolF (x) = {x  U/A  A : x  A} [Axioma de la

Especificación y Teorema de
la Unicidad del Conjunto Solución]

iv) Si denotamos Ur = SolF (x) (único), tendremos:

x(x  Ur  A  A : x  A [Axioma de la Extensión]

v)  A familia!Urx  R( (A  A : x  A  x  Ur))

L.Q.Q.D.

DEFINICIÓN (reunión de una familia de conjuntos). - Dada A , una

familia de conjuntos con referencial R, al único conjunto Ur del
teorema 5.2.2, lo llamamos reunión de la familia A y lo
denotamos:

Ur = = {x  R/A  A : x  A}(3)

HASTA AQUÍ LA SESIÓN DEL K 081122

Próxima sesión el J 101122 A las 20230

NOTA 1.- De acuerdo con la definición de la reunión de una

familia, precisamos que “Reunión de la familia A ” equivale a
decir “Reunión de todos los miembros de la familia A ”.

NOTA 2 (Caracterización lógica de la reunión de una familia de

conjuntos).- De la definición de la reunión de una familia de
conjuntos, establecemos que su caracterización lógica está dada
por la expresión:

3
Algunos autores se refieren a que esta sería la “generalización” de la operación de reunión de conjuntos.
Nosotros disentimos de ello, pues una definición para dos conjuntos sin particularizarlos es también una
definición en general. Consideramos que la expresión más adecuada es “extensión de la reunión a
familias de conjuntos” y así para otras operaciones con conjuntos que presentemos posterior-mente.
 8

x  A  A : x  A;

o, equivalentemente, por contrarrecíprocos:

Mutua condición original es: p  q

La contrarrecípraca de la
mutua condición original es: p   q
Y ambas son equivalentes.

x  A  A : x  A

NOTA 3 (La reunión de una familia es también unión para ella).-

Al observar la caracterización lógica (Nota 2) de la reunión de
una familia tenemos que se cumple al implicación:

A  A : x  A  x 

Implicación que caracteriza a como una UNIÓN PARA la

familia A de conjuntos. Pero, considerando que no es el único
“unión para esa familia” no es preciso llamarlo “unión de la
familia A ”. Lo preciso es REUNIÓN DE la familia A .

EJEMPLO 1.- Si escogemos A = {A1; A2; A3; A4}, la familia de los

conjuntos A1 = {0; 1}, A2 = {0; 2; 3}, A3 = {0; 3} y A4 = {0}, con el
referencial R = {0; 1; 2; 3; 4; 5}, tendríamos el conjunto reunión:

= [4]
= A1  A2  A3  A4 = {0; 1; 2; 3}

Note, nuestro lector, que esta reunión es el conjunto unión U1

del Ejemplo 1, de la sección 5.2.1.

“Otro sí digo”, es bueno señalar que 4 

4
Se lee “la reunión de los Ai desde i = 1 hasta 4”.
 9

porque Ai  A : x  Ai
o, equivalentemente: 4  A1  4  A2  4  A3  4  A4.

EJEMPLO 2.- Trabajaremos con los llamados segmentos

iniciales del conjunto de los números naturales N.

i) Definamos un segmento inicial:

Dado n  N, llamaremos segmento inicial, de extremo n, al

conjunto:
[0; n]  x  N/0  x  n  n  N

La caracterización lógica [0; n]:

x  [0; n]  0  x  n]

V.gr. [0; 3]  0; 1; 2; 3

V. gr. [0; 0]  0
V.gr. [0; 11]  0; 1; 2; 3; ...; 11

ii) Establecemos ahora la familia de todos los segmentos

iniciales. Es decir:
S  X  N/X  [0, n]  n  N

V.gr. [0; 3]  S.

0; 1; 2; 3; 4; 5  S.

0; 1; 2; 3; 5  S.

iii) Proposición.- Si n  N, entonces se cumple:

N

En efecto:

[Estrategia de demostración: Demostraremos la igualdad de

los conjuntos como muta inclusión, por partes]
 10

3a) N

Así es:

Sea x un número natural cualquiera:

x [Subconjunto de partida]

x  A  A : x  A

 k  N: x  [0, k] [Definición de reunión de una

familia]
 0xk [Definición de [0; n]]
 xN [Porque el referencial R es N]

 x  N(x   x  N) [Silogismo
hipotético]

E.d. N [Definición de inclusión]

3b) N 

Así es:

Sea x un número natural cualquiera:

xN [Subconjunto de partida]

 x  N: x  [0; x] [Definición de [0; n]]

x  [Definición de Reunión de una

]
familia de conjuntos

 x  N(x  N  x  ) [Silogismo hipotético]

 11

.N  [Definición de ]
E.d

3c) Conclusión. - De 3a y 3b, hemos demostrado que:

N

HASTA AQUÍ LA SESIÓN DEL J 101122

(2100)

EJEMPLO 3.- Sea la familia de conjuntos:

I = {Ir  R/Ir = 〈0; r〉  r  R+}

Dados los números reales a y b, tales que a  b, se define:

〈a; b〉 = {x  R/a  x  b}

V. gr. 〈 ; 〉

Observamos que 〈 ; 〉 tiene como cota inferior a , porque  x,

para todo x  〈 ; 〉, -1 es cota inferior de 〈 ; 〉 (infinitas cotas

inferiores). Luego 〈 ; 〉 es inferiormente acotado.

Observamos que 〈 ; 〉 tiene como cota superior a , porque x  ,

para todo x  〈 ; 〉, 3 es cota superior de 〈 ; 〉 (infinitas cotas

superiores). Luego 〈 ; 〉 es superiormente acotado.

En consecuencia, decimos que 〈 ; 〉 acotado (a secas) porque es a la

vez acotado inferiormente y superiormente.
 12

AXIOMA DEL SUPREMO (de la completitud, del continuo). – Dado una

parte A de R; si A es superiormente acotado, entonces tiene supremo (la
menor cota superior).

En nuestra V. gr. 〈 ; 〉 es superiormente acotado, entonces tiene

supremo y .

Es decir, el conjunto de todos los intervalos abiertos acotados,

de extremo inferior 0 y extremo superior un número real positivo
cualquiera. Tendremos así, por ver algunos casos, que:

I3 = 〈0; 3〉  I3  I

= 〈0; 〉  I

Entonces tendremos que la reunión de la familia I es el

conjunto:

= {x  R/Ir  I  x  Ir} = R+

En efecto:

[Estrategia de demostración: Garantizaremos la mutua

inclusión, por partes,  R+ y recíprocamente]

Primera parte  R+:

Así es:

Sea x un número real cualquiera:

x
 Ir  I  x  Ir
0<x<r
 13

 x  R+

 x  R(x   x  R+)
E. d,

 R+

Segunda parte R+  :
Así es:

Sea x un número real cualquiera:

x  R+
 (x +1 R+: 0 < x < x + 1)
 Ix+1  I  x  Ix+1

x


 x  R(x  R+  x  )

E. d, R+ 

Conclusión: De las demostraciones de las partes primera y

segunda, concluimos que = R+.

EJERCICIO 1.- Sea el referencial R = 0; 1; 2; 3; 4; 5; 6; 7,

determine, por extensión:

i) P1 y P2, partes de R tales que tengan, cada uno, dos

elementos y únicamente un elemento común.

SOLUCIÓN:
 14

P1 = {0; 1}
P2 = {1; 2}

ii) P3, P4 y P5 partes de R, tales que tengan números distintos de

elementos, pero cualquiera de ellos menor de 5 elementos.

SOLUCIÓN:

P3 = {0; 1; 2; 3}
P4 = {1; 3}
P5 = {2; 3; 4}

iii) P6 y P7 partes de R tales que tengan, respectivamente, como

elementos, los múltiplos de 3 el primero y, los primos el
segundo.

SOLUCIÓN:

P6 = {0; 3; 6}
P7 = {2; 3; 5; 7}

iv) La familia P , de partes de R, formada por los Pi indicados en

i) a iii).

SOLUCIÓN:

P = { P1; P2; P3; P4; P5; P6; P7}

v)

SOLUCIÓN:

= P1  P2  P3  P4  P5  P6  P7
= 0; 1; 2; 3; 4; 5; 6; 7
=R

EJERCICIO 2 (EI).- Tomando R como referencial;

 15

i) Establezca la nomenclatura pertinente para la familia de

conjuntos t.q. cada miembro suyo es un intervalo abierto

cuyo extremo inferior es y su extremo superior es , con

n  N . Determine la familia por comprensión.
*

ii) Proponga una conjetura sobre la reunión de la familia

presentada en i).
iii) Presente una argumentación matemática que demuestre o
refute vuestra conjetura de la parte ii.
iv) Proponga dos conjuntos unión para la familia presentada en
la parte i), ninguno de ellos debe ser la reunión de dicha
familia.

NOTA 3 (Sobre A ). - Cuando no haya lugar a confusión se

puede usar la denotación simplificada A = , para

identificar a la reunión de los miembros de A .

EJEMPLO 3.- Si tenemos la familia A = a; b; a; c; d; d;

e; determinaremos que A = a; b; c; d; e.

EJEMPLO 4.- Si A = a; a; b; c; b; c; d}; {b; c
tendremos que A = a; a; b; c; b; c; d; b; c y aún
tendremos que A = a; b; c; d.

EJERCICIO 3.- Si

I = X /(X = X  R/X = [x; x + 1]  x = 2n  n  Z 

X = X  R/X = [x; x + 1]  x = 2n + 1  n  Z 

V. gr.

Si son miembros x de la primera forma (par): si n = -2, entonces

X = [x; x + 1] = [-4; -3]

Si son miembros x de la segunda forma (impar): si n = -2,

entonces
X = [x; x + 1] = [-3; -2]

HASTA AQUÍ LA SESIÓN DEL K 151122

 16

Determine:

i) I
ii)  I

TEOREMA 2 (Reunión de familia e inclusión).- Sea A una

familia indizada de conjuntos y B un conjunto cualquiera, enton-
ces:

i)   : A 

ii)   : B  A  B 

DEMOSTRACIÓN

i)   : A 

En efecto:

Sean x cualquier elemento y  cualquier subíndice de :

x  A
   : x  A

 x x

 x(  : x  A  x  )

E.d.   : A  x

ii)   : B  A  B 

Así es:

B  A [Hipótesis particular]

 A  [Parte i) de este teorema]

 17

 B x

EJERCICIO 4.- Analice el siguiente “teorema” y explique la falla

de su “demostración”. Puede ayudarse con el gráfico N° 5 que
presentamos después de la “demostración”.

“TEOREMA”. - Sea A una familia indizada de conjuntos y B

un conjunto cualquiera:

“B     : B  A”

“Demostración”:

[“Estrategia de demostración”: Trabajaremos en la “tesis”

particular y usaremos la “hipótesis” particular como dato válido
en el momento más conveniente]

Sea x un elemento cualquiera:

xB

x
   : x  A

 x(x  B    : x  A)
E.d.   : B  A

EJEMPLO 5.- A continuación, en la figura 11 presentamos,

mediante un diagrama de Venn, una situación en la que la
implicación:

B    : B  A

No se cumple.

Para la familia x x y B un conjunto cualquiera se tiene, en

el diagrama de la figura 22, que:
 18

B x pero   : B  A

Fig. 22. B     : B  A.

EJERCICIO 5.- Sean las familias de conjuntos indizados A

y B. Si : A  B, demuestre que:

EJERCICIO 6.- Sea la familia de conjuntos indizados A. Si

  , demuestre que:

EJERCICIO 7.- Sea la familia de conjuntos indizados A.

Demuestre que:

xP ( )

Hasta la página 93 del libro original