Seminario: La teoría de conjuntos

Sesión No. 05
Dictada por Juan Carlos Trujillo

Jueves, 03 de febrero de 2022

1 Temas

1.1. Sobre el concepto de función

2 Funciones
2.1. Escarbando en el concepto de función. Para la definición de que la clase f es una función
de una clase A en una clase B, no hemos impuesto ninguna restricción a las clases A y B.
Una cuestión que surge de manera “natural” es si esta definición se aplica cuando f , A o
B son la clase vacía ∅.
A continuación vamos a formular y responder algunas preguntas derivadas de este
cuestionamiento “natural”.

I. ¿Bajo qué hipótesis la proposición

∅ : A −→ B

es verdadera? Quizás otra manera de preguntar sea:

¿Cuáles son las condiciones necesarias y suficientes para que esta proposición
sea verdadera?
Para responderla, supongamos que la proposición es verdadera. Supongamos
también que A es distinto de ∅. Por F1 , existe y ∈ B tal que ( x, y) ∈ ∅, lo que es
imposible. Por tanto, A = ∅.
Supongamos ahora que A = ∅. Probemos que ∅ es una función de ∅ en B (inde-
pendientemente de B).
La proposición F0 es verdadera porque la clase vacía es subclase de toda clase. La
proposición F1 también lo es porque la proposición

x ∈ ∅ ⇒ (∃y)(y ∈ B ∧ ( x, y) ∈ ∅)

es verdadera para todo conjunto x, ya que el antecedente de esta implicación es falso.

Finalmente, F2 también es verdadera porque la proposición

(( x, y) ∈ ∅ ∧ ( x, z) ∈ ∅) ⇒ y = z

es verdadera porque el antecedente lo es.

En resumen:

1
 Dadas las clases A y B, para que ∅ : A −→ B sea verdadera es necesario y
suficiente que A = ∅ sea verdadera.
De aquí se deduce que las siguientes proposiciones son verdaderas:

∅ : ∅ −→ ∅, ∅ : ∅ −→ B

para toda clase B 6= ∅.

II. Por otra parte:
¿Existe un grafo f 6= ∅ tal que f : ∅ −→ B?
Pues, no. Si así fuera, existiría ( x, y) tal que ( x, y) ∈ f ; luego, por F0 , x ∈ ∅, lo que
es imposible. Por tanto, si f : ∅ −→ B, necesariamente f = ∅.
En resumen:
Dadas las clases f y B, para que f : ∅ −→ B sea verdadera es necesario y
suficiente que f = ∅.
III. Finalmente:
¿Cuáles son las condiciones necesarias y suficientes para que f : A −→ ∅ sea
verdadera si A 6= ∅?
Para determinarlas, supongamos que f : A −→ ∅ y A 6= ∅. Es claro que f tiene
que ser la clase vacía, pues si ( x, y) ∈ f , necesariamente y ∈ ∅ por F0 , lo que es
imposible. Luego, A = ∅ por I.
En resumen:
Si A 6= ∅, f : A −→ ∅ es falsa.
Cambiemos el enfoque. Gracias al teorema de caracterización de una función, podemos re-
pensar la pregunta: ¿Cuáles son las condiciones necesarias y suficientes para que ∅ : A −→
B sea verdadera? Recordemos el teorema:
Dadas las clases A y B, f : A −→ B si y solo si f es un grafo tal que

i. dom f = A.
ii. rec f ⊆ B.
iii. F2 .
Con esto, tenemos que, para que ∅ : A −→ B sea verdadera, necesitamos inicialmente
que ∅ sea un grafo, que de hecho lo es pues

∅ ⊆ U ×U.

Al ser la clase vacía un grafo, podemos preguntarnos sobre su dominio y su recorrido. Es

fácil ver que
dom(∅) = ∅ y rec(∅) = ∅.
Por lo tanto, es necesario y suficiente que A = ∅ y que ∅ ⊆ B (en lo hecho anteriormente,
concluimos que F2 siempre es verdadera).
2.2. Sobre la unión de funciones. Dadas las funciones f : A −→ B y g : C −→ D, nos formula-
mos la siguiente pregunta:
¿Cuáles son todos los conjuntos M y N tales que la proposición
f ∪ g : M −→ N
es verdadera?

2
 (Responder primeramente con los casos “triviales” de la clase vacía).
Parece que el primer candidato para M sería A ∪ C, puesto que

dom( f ∪ g) = dom f ∪ dom g;

luego ningún conjunto M tal que A ∪ C ⊆ M y distinto de A ∪ C puede ser el dominio de

f ∪ g (por el teorema de caracterización del concepto de función).
En resumen, si f ∪ g : M −→ N, necesariamente A ∪ C = M.
Sin embargo, no es difícil “ver” que la condición anterior no es suficiente, pues si x ∈
A ∩ C, podrían existir dos conjuntos y y z tales que

y 6= z, ( x, y) ∈ f ∪ g y ( x, z) ∈ f ∪ g;

es decir, F2 sería una proposición falsa, por lo que f ∪ g no sería una función de A ∪ C en
N, para todo N (ver el caso vacío).
En efecto: basta tomar

f = {( x, y), (u, a)} y g = {( x, z)}.

En este caso, A = { x, u}, B = { x } y f ∪ g = {( x, y), (u, a), ( x, z)}.

Lo anterior nos dice que si no existiera elementos en “común” entre A y C, esta situa-
ción nunca ocurriría. En efecto, bajo la hipótesis A ∩ C = ∅, no es difícil deducir que la
proposición f ∪ g : A ∪ C −→ B ∪ D es verdadera.
Ahora bien, tampoco es difícil ver que, a pesar de que A ∩ C 6= ∅, la proposición f ∪
g : A ∪ C −→ B ∪ D podría ser verdadera. En efecto, bastaría con imponernos la condición
de que si x ∈ A ∩ C, entonces
f ( x ) 6 = g ( x ).

En resumen:
Si f : A −→ B y g : C −→ D, una condición suficiente para que f : A ∪ C −→ B ∪ D
sea verdadera es que para todo x ∈ A ∩ C, se tenga que f ( x ) 6= g( x ).
2.3. Sobre la composición de funciones. Dadas las funciones f : A −→ B1 y g : B2 −→ C, nos
formulamos la siguiente pregunta:
¿Cuáles son todos los conjuntos M y N tales que la proposición

g ◦ f : M −→ N

es verdadera?
Dado que g ◦ f es un grafo, para que se cumpla que g ◦ f : M −→ N, es necesario y
suficiente que
M = dom( g ◦ f ), rec( g ◦ f ) ⊆ N
y que se cumpla F2 . Dado que rec( g ◦ f ) ⊆ rec( g) ⊆ C, un candidato para N sería C.
Procedamos a demostrar que

g ◦ f : dom( g ◦ f ) −→ C.

Primero, si g ◦ f = ∅, podemos concluir que dom( g ◦ f ) = ∅, por lo tanto, se cumple que

g ◦ f : dom( g ◦ f ) −→ C.

3
 Ahora, si g ◦ f 6= ∅, demostremos que se cumple F2 . Sean ( x, y1 ) ∈ g ◦ f y ( x, y2 ) ∈ g ◦ f
tenemos que existen z1 , z2 tales que

( x, z1 ) ∈ f , (z1 , y1 ) ∈ g, ( x, z2 ) ∈ f y (z2 , y2 ) ∈ g.

Gracias a que f : A −→ B1 , podemos concluir que z1 = z2 , por lo tanto,

( z1 , y1 ) ∈ g y ( z1 , y2 ) ∈ g

y, dado que g : B2 −→ C, concluimos que y1 = y2 . En resumen:

Si f : A −→ B1 y g : B2 −→ C, se tiene que

f ◦ g : dom( g ◦ f ) −→ C.
Podemos plantear una nueva pregunta con base en la que acabamos de responder:
¿Cuáles son la condiciones para que la proposición

f ◦ g : A −→ B

sea verdadera?
La respuesta, en principio, puede verse simple, pues lo necesario es que

dom( g ◦ f ) = A,

pero, para ir más allá, busquemos las condiciones para que esta igualdad se cumpla. Deja-
mos al lector comprobar que se cumple lo siguiente:
Sean f : A −→ B1 y g : B2 −→ C, se tiene que:

rec( f ) ⊆ B2 si y solo si f ◦ g : A −→ C.