Fundamentos de la Matemática - MATD133

Pizarra de la clase No. 08

Dictada por Juan Carlos Trujillo

Jueves, 03 de diciembre de 2021

1 Temas de la clase
1.1. Familias indizadas

2 Familias indizadas
2.1. Definición de una familia indizada.

Dada una clase I, una familia indizada de clases, donde I es la clase de índices,
es un grafo cuyo dominio es I. Los elementos de I se denominan índices.

Si G es una familia indizada de clases donde I es la clase de índices, por el axioma de

construcción de clases, se define para cada i ∈ I, la clase

Ai = { x : (i, x ) ∈ G },

denominada clase de la familia de índice i. Se utiliza la notación

{ Ai }i ∈ I

para representar el grafo G (la familia indizada).

2.2. Unión de una familia indizada.

Dada la familia indizada { Ai }i∈ I , por el axioma de construcción de clases, existe

la clase denominada unión de la familia indizada
[ 
Ai = x : (∃ j)( j ∈ I ∧ x ∈ A j ) .
i∈ I

Por tanto,
[
u∈ Ai si y solo si existe k ∈ I tal que u ∈ Ak .
i∈ I

2.3. Intersección de una familia indizada.

Dada la familia indizada { Ai }i∈ I , por el axioma de construcción de clases, existe

la clase denominada intersección de la familia indizada
\ 
Ai = x : (∀ j)( j ∈ I ⇒ x ∈ A j ) .
i∈ I

Por tanto,

1
 \
u∈ Ai si y solo si para todo k ∈ I, se tiene que u ∈ Ak .
i∈ I

2.4. El alcance de las variables. En las proposiciones

(∀ x )A ( x ) y (∃ x )A ( x ),

el alcance de la variable x es A ( x ). Si y es otra variable que no aparece en A ( x ) (o en el

contexto en el que estén estas proposiciones), tenemos que

(∀y)A (y) ≡ (∀ x )A ( x ) y (∃y)A (y) ≡ (∃ x )A ( x ).

Por ello, tenemos que las siguientes proposiciones son verdaderas:

[ [  
Ai = Aj, x : (∀ j)( j ∈ I ⇒ x ∈ A j ) = y : (∀ j)( j ∈ I ⇒ y ∈ A j ) ,
i∈ I j∈ I

entre otras posibilidades (siempre que las variables i, j, k no aparezcan en los alcances de
las otras variables o en el contexto en el que están estas proposiciones).

2.5. Teorema 1.40 (i).

Dada la familia { Ai }i∈ I , si para todo i ∈ I, se tiene que Ai ⊆ B, entonces

[
Ai ⊆ B.
i∈ I

Demostración. Supongamos que para todo i ∈ I, la proposición

Ai ⊆ B (1)

es verdadera. Vamos a demostrar que [

Ai ⊆ B.
i∈ I

Para ello, supongamos que [

u∈ Ai (2)
i∈ I

y probemos que u ∈ B.
De la proposición (2) y la definición de la unión de una familia indizada, existe k ∈ I tal que

u ∈ Ak . (3)

Ahora bien, como k ∈ I, la proposición (1) es verdadera para k:

Ak ⊆ B,

de donde, junto con (3) y la definición de subclase, concluimos que

u ∈ B,

como se quería.

2.6. Ejercicio 1.5-9-c.

dom G − dom H ⊆ dom( G − H ).

2
 Demostración. Supongamos que
z ∈ dom G − dom H (4)
y demostremos que z ∈ dom( G − H ); es decir, por la definición de dominio de un grafo, probemos
que existe x tal que
(z, x ) ∈ G − H;
o, lo que es lo mismo, que (z, x ) ∈ G y (z, x ) 6∈ H.
De (4) y la definición de diferencia de clases, tenemos que

z ∈ dom G y z 6∈ dom H. (5)

De la primera de estas proposiciones, por la definición de dominio de un grafo, tenemos que existe
u tal que
(z, u) ∈ G. (6)

Por otra parte, de la segunda proposición de (5), tenemos que para todo v, se tiene que

(z, v) 6∈ H, (7)

porque la siguiente equivalencia es válida: ¬(∃v)(z, v) ∈ H ≡ (∀v)(z, v) 6∈ H. Por tanto, la

proposición (7) es verdadera, en particular, para u:

(z, u) 6∈ H. (8)

En conclusión, de (6) y (8), podemos tomar u como el z buscado.

2.7. Ejercicio 1.5-6-a: la relación subclase es invariante bajo la composición de grafos.

Si G, H, J y K son grafos tales que G ⊆ H y J ⊆ K, entonces

G ◦ J ⊆ H ◦ K.

Demostración. Supongamos que las siguientes proposiciones son verdaderas:

I. G ⊆ H,
II. J ⊆ K

y probemos que también lo es la proposición

G ◦ J ⊆ H ◦ K.

Para ello, supongamos que

(u, v) ∈ G ◦ J (9)
y demostremos que (u, v) ∈ H ◦ K; es decir, por la definición de composición de grafos, mostremos
que existe w tal que
(u, w) ∈ K y (w, v) ∈ H.

De (9) y la definición de composición de grafos, existe w tal que

(u, w) ∈ J y (w, v) ∈ G.

Luego, de esta primera proposición y la hipótesis II, se tiene que (u, w) ∈ H; y de la segunda
proposición y la hipótesis I, tenemos que (w, v) ∈ H, como se propo.