Introducci

on al Algebra superior
Unidad 1. Conjuntos, relaciones y funciones
Actividad 1. Operaciones de conjuntos

Emmanuel Torres Marn

UNIVERSIDAD ABIERTA Y A DISTANCIA DE MEXICO

LICENCIATURA EN MATEMATICAS

MEXICO
D.F.
Abril 2015

1.
1.1.

Actividad 1

Instrucciones

Los siguientes problemas se refieren al primer ejercicio del foro correspondiente a la actividad 1, que hablaba de los pases de America y diversas clasificaciones con ellos.
1. Construye dos ejemplos donde describas a todos los pases que se encuentren en dos
categoras y uno donde ilustres a todos los pases que entran en tres categoras. Que
operaci
on de conjuntos representa a tus ejemplos?
2. Construye un ejemplo donde contemples dos categoras de pases. Describe cu
ales
pases entran en una o en dos de las categoras. Posteriormente, lista los pases
de America que no est
an en ese primer resultado. Que operacion de conjuntos
representa a tu ejemplo? Con que otra operacion puedes llegar al mismo resultado?
3. Que quedara de Sudamerica si eliminasemos los pases cuyo nombre empieza con
la letra B? Y si despues eliminaramos a los que pertenecen a la OCDE? Cu
ales
son las operaciones de conjuntos que representan a este problema?

1.2.

Desarrollo

1.2.1.

Ejercicio 1

Recordando la Actividad 1 el Universo U como los pases de America,

las categoras creadas
fueron:
Pases miembros de la OCDE
Pases que hablan ingles
Pases que hablan espa
nol
Pases que hablan frances
Para este primer ejercicio, se ha seleccionado como primer ejemplo, el de los pases que
hablan ingles y frances, de acuerdo con[1][2], si se denota este conjunto por A, entonces:

A = {Canada}
1

En este caso el conjunto est

a compuesto exclusivamente por Canada
Para el segundo ejemplo se han seleccionado pases de Sudamerica que hablan espa
nol y
estan en la OCDE, el conjunto resultante se denomina B y queda compuesto por:

B = {Chile, Mexico}
Ilustrando los pases que existen en tres categoras, seleccionamos aquellos que hablan
frances e ingles y que adem
as forman parte de la OCDE, se denomina a este conjunto
como C, el cual esta definido por:

C = {Canada}
La operaci
on de conjuntos que representan mis ejemplos es la Intersecci
on de conjuntos
ya que para figurar en los conjuntos de ejemplo, los elementos deben pertenecer a todas
las categoras.

1.2.2.

Ejercicio 2

Para este ejercicio se eligieron las categorias de pases que hablan ingles y la categora de
pases que hablan espa
nol. Los pases que entran en una o en ambas se denominan por el
conjunto D como:
D={ Argentina, Bolivia, Chile, Colombia, Costa Rica, Cuba ,Ecuador,

El Salvador, Guatemala, Honduras, Mexico, Nicaragua, Panama, Paraguay,

Per
u,Rep
ublica Dominicana, Uruguay, Venezuela, Antigua y Barbuda,

Bahamas,Barbados, Belice, Canada, Dominica, Estados Unidos, Granada,

Guyana, Jamaica, San Cristobal y Nieves, San Vicente y las Granadinas,

Santa Luca, Trinidad y Tobago}

2

Los pases de america que no estan en este resultado los denotaremos por Dc y este conjunto
esta formado por

Dc = {Hait}
La operaci
on de conjuntos que representa mi ejemplo es la Uni
on de conjuntos, ya que
basta con que alg
un pas hable uno u otro idioma.
Para llegar a este mismo resultado se puede usar las Leyes de De Morgan, tomando como
I = {pases que hablan ingles} y E = {pases que hablan espa
nol}, nuestra operacion
original
D = I E = ((I E)c )c
Quedara como
D = (I c E c )c
Es decir, el complemento de los pases que no hablan espa
nol y no hablan ingles.

1.2.3.

Ejercicio 3

Para este ejercicio definiremos los pases de Sudamerica como el conjunto S, definido por:
S={ Argentina, Bolivia, Brasil, Chile, Colombia, Ecuador
Guyana, Paraguay, Per
u, Surinam, Uruguay, Venezuela.}
Se define adem
as el conjunto de pases de sudamerica cuyo nombre empieza con B como:

B 0 = { Bolivia, Brasi}
Al quitar los pases de B 0 de S tenemos:

S B 0 = {Argentina, Chile, Colombia, Ecuador, Guyana,

Paraguay, Per
u, Surinam, Uruguay, Venezuela}
Ahora bien, considerando los pases de America que pertencen a la OCDE como el conjunto
O = {Canada, Chile, Mexico, Estados Unidos}, si a S B 0 se quitan estos pases tenemos
3

(S B 0 ) O = {Argentina, Colombia, Ecuador, Guyana

Paraguay, Per
u, Surinam, Uruguay, Venezuela.}
Las operaciones que representan este problema son
S-B: Los pases de Sudamerica que no empiezan con B
(S-B)-O: Los pases de Sudamerica que no empiezan con B sin los pases que no
pertenecen a la OCDE
Estas operaciones pueden expresarse como S B = S B c y como (S B) O =
(S B c ) Oc

2.
2.1.

Actividad 2

Instrucciones

Demuestra formalmente las siguientes propiedades de conjuntos. En este caso, la demostracion no debe realizarse ilustrando ejemplos de conjuntos que cumplan la condicion, sino que
la proposici
on debe probarse para cualesquiera conjuntos. Ademas del material de apoyo
correspondiente a la unidad, puedes consultar el video https://www.youtube.com/watch?v=YDXjTmsDhc.
1. (A B)c = Ac B c
2. A (B C) = (A B) (A C)
3. Demuestre que el conjunto N A es infinito, con N representando a los n
umeros
naturales y A = {a, b}.

2.1.1.

Ejercicio 1

Para demostrar (A B)c = Ac B c procedemos a demostrar que (A B)c Ac B c y

que a su vez Ac B c (A B)c .
Sea x (A B)c , entonces quiere decir que x no es un elemento de (A B) y por lo tanto
x
/ (A B) .

Si x
/ (A B) entonces quiere decir que x no esta en A ni en B ya que si lo estuviera
entonces x (A B). Luego entonces x
/Ayx
/ B.
Si x no est
a en A entonces debe estar en su complemento, es decir x Ac y de la misma
forma x B c . Lo anterior quiere decir que x esta en Ac y en B c , o sea, x Ac B c .
Lo que implica que si x (A B)c entonces
(A B)c Ac B c
.
Ahora bien, supongamos un elemento x Ac B c
Esto quiere decir que x Ac y x B c , lo que puede interpretarse como que x no est
a ni
en A ni en B , es decir que x
/ Ayx
/ B.
De lo anterior, si x no est
a en A, ni en B entonces tampoco puede estar en su union, por lo
que se deriva que x
/ (A B). Luego entonces si x no esta en (A B) por fuerza debe estar
en su complemento, es decir que x (A B)c . De donde se desprende que si x Ac B c
entonces
Ac B c (A B)c
.
As pues, si (A B)c Ac B c . y Ac B c (A B)c . se tiene que
Ac B c = (A B)c
.
Esta identidad es parte de las llamadas Leyes de De Morgan[3] para conjuntos.

2.1.2.

Ejercicio 2

En este caso procedemos a demostrar que A (B C) (A B) (A C) y (A B)

(A C) A (B C)
Sea x A(BC), entonces x A y x
/ (BC), es decir que A(BC) = A(BC)c [3].
Dado lo anterior podemos decir que x A, pero que ademas x (B C)c . Luego entonces
x puede estar enel complemento de B o en el complemento de C, pero no en ambas, y en
consecuencia x est
a en B c o en C c ( Esta es la segunda parte de las Leyes de De Morgan[3]).
5

As pues tenemos que x A y que ademas x B c C c . Se puede observar que lo anterior

implica que x siempre pertenece a A pero puede pertenecer a B c o C c , lo que implica dos
alternativas x A, x
/ B o x A, x
/ C, incluso cumpliendo con ambas a la vez.
Esta u
ltima afirmaci
on conlleva a que x (A B) o x (A C), es decir que x
(A B) (A C), por lo que si x A (B C) entonces
A (B C) (A B) (A C))

Por otro lado si x (A B) (A C) entonces x (A B) o x (A C), es decir que

x (A B c ) o x (A C c ).
A partir de esta u
ltima afirmacion se implica que x A y x
/ B, o que x A y
x
/ C. Como puede observarse x siempre esta en A, mientras que puede o no estar en los
complementos de B o C, as pues se tiene que x A y x (B c C c ).
Esta u
ltima expresi
on puede reducirse si consideramos las Leyes de De Morgan[3] a, x A
y x (B C)c , es decir que x A y x
/ (B C), lo que por supuesto quiere decir que
x A (B C)
Luego entonces si x (A B) (A C) entonces x A (B C), lo que nos peremite
concluir que
(A B) (A C) A (B C)
Y por lo tanto
A (B C) = (A B) (A C))

2.1.3.

Ejercicio 3

Para hacer esta demostraci

on es menester recordar que el conjunto de los n
umeros naturales
es infinito, esto es: | N |= . Esta demostracion se puede hacer retomando los Axiomas
de Peano, seg
un los cuales Todo n
umero natural tiene un sucesor[4].
Ahora, suponigamos que N no es infinito, entonces | N |= n | n N. si lo anterior es cierto
m | m N y m no tiene sucesor, pero esto contradice los Axiomas de Peano, seg
un los
cuales todo n
umero natural tiene un sucesor. Luego entonces no es cierto que N sea finito.
Ahora bien, queremos demostrar que el conjunto definido por N A es infinito. Si este
conjunto es infinito quiere decir que su cardinalidad es la misma que la de los n
umeros
naturales, es decir | N A |=| N |. Cuando dos conjuntos tienen la misma cardinalidad se
6

dice que son equipotentes, lo que implica que existe una funcion biyectiva f : N A N
entre ambos [5].
De tal manera que si enlistamos los n
umeros naturales tenemos que:

N = 0, 1, 2, 3, 4, . . .
De la misma forma es posible enlistar los elementos de N A como:

N A = (1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b), . . .
Es evidente que podemos establecer una relacion uno a uno entre ambas secuencias, lo que
supone una funci
on biyectiva entre ambos conjuntos[6] y en consecuencia

| N A |=| N |
Lo que nos permite concluir que N A es infinito.

3.
3.1.

Actividad 3

Instrucciones

Los siguientes ejercicios implican que consultes algunas fuentes para realizarlos. Recuerda
que debes citar dichas fuentes de conformidad con las reglas APA y que hay algunos sitios
que no son v
alidos para nivel universitario.

1. El cuadro C-Q-A es una estupenda estrategia de aprendizaje para muchos estudiantes. Averigua si lo es para ti construyendo uno adecuado a la tematica de la Unidad
1 de nuestro curso.
2. La computaci
on es un hija de diversas disciplinas, entre ellas, por supuesto, las
matem
aticas. Indaga una aplicacion de la teora de conjuntos en el ambito computacional.

3.1.1.

Ejercicio 1

Un cuadro CQA (o Tabla KWL por sus siglas en ingles) es una herramienta didactica
desarrollada por Ogle en 1986, las siglas CQA hacen referencia a lo que el estudiante
Conoce, Quiere conocer y al final Aprendio [7]. De tal manera que en la primera columna
se enlista todo lo que el estudiante conoce, en la segunda columna se enlista los topicos
que el estudiante desea aprender y por u
ltimo lo que aprendio.
A continuaci
on se presenta una tabla CQA con el contenido de la Unidad 1.
C

A
A lo largo de la Unidad 1

De la materia Introduc-

he aprendido lo siguiente

ci
on al pensamiento matem
atico obtuve el cono-

Para esta unidad me gus-

Reafirmacion de los

cimiento de los siguientes

taria aprender acerca de

conceptos de teora

temas

Relaciones

sus

de conjuntos

Teora de Conjuntos

propiedades

Reafirmacion

Propiedades de los

Funciones y sus pro-

Demostraciones

conjuntos

piedades

usando

Operaciones de con-

Demsotraciones

juntos

usando funciones

Propiedades de las

Relacion de las fun-

tivas, inyectivas y

operaciones de con-

ciones con otras ra-

suprayectivas.

juntos

mas como la compu-

piedades

Demostraciones con
conjuntos

las
de

de
prolos

conjuntos
Funciones

tacion

3.1.2.

biyec-

Demostracioens de
infinitud
Axiomas de Peano

Ejercicio 2

Tal vez la aplicaci

on m
as importante de nuestros tiempos a la teora de conjuntos, al
menos desde el punto de vista empresarial, es el desarrollo de sistemas Gestores de Bases
de Datos (DBMS por sus siglas en ingles) basados en SQL (Structured Query Language).
Hoy en da es impensable que grandes corporaciones privadas o p
ublcas mantengan su
operaci
on sin hacer uso de las bases de datos, por lo que la importancia tanto de los
8

DBMS y por extensi

on de SQL es evidente. Pero Que es SQL?
SQL es un lenguaje decalrativo que se utiliza principalmente en el desarrollo y manipulacion de las bases de datos, las siglas representan el nombre Structured Query Language
y fue desarrollado por IBM en 1974 [8]. Originalmente desarrollado para su propio DBMS,
es ahora un est
andar a nivel internacional.
Como tal SQL posee instrucciones que permiten manipular y explotar la informaci
on de
las bases de datos, as como su estructura[8] y aunque en un principio no lo parezca, tiene
un fuerte componente matem
atico subyacente.
El primer componente se encuentra en las relaciones que permite establecer entre la informaci
on contenida en la base, relaciones que generalmente se conocen como tablas. Estas
relaciones tienen su origen en el concepto matematico de relaciones, de ah que a este tipo
de bases se les conozca como relacionales[9].
Finalmente otro de los principios en que se basa SQL es la teora de conjuntos. en este
sentido, SQL permite establecer los encabezados de sus relaciones como un conjunto de
atributos y de igual forma define conjuntos de valores para esos atributos como tuplas,
mismas que a su vez forman un conjunto.[9], permitiendo operaciones que derivan de las
operaciones cl
asicas sobre conjuntos y que asumen que la informacion no esta ordenada a
priori.

Referencias
[1] Direcci
on General de Materiales y Metodos Educativos, S.E.P., (2011). Atlas de Geografa Universal. 8va ed. Mexico: Secretara de Educacion P
ublica.
[2] Americas. Encyclopedia Britannica, 15th ed. 1986. Chicago: Encyclopdia Britannica,
Inc
[3] Gossett, E. Discrete Mathematics with Proof. John Wiley and Sons, 2009.
[4] Hazewinkel, M. (2001), Peano axioms, Encyclopedia of Mathematics, Springer,
[5] Restrepo, G. (2003). Fundamentos de las matematicas. Universidad del Valle, Programa Editorial. Colombia
[6] Bartle, R. G., Sherbert, D. R. (2000). Introduction to real analysis. New York: Wiley.
[7] Ogle, D.M. (1986). K-W-L: A teaching model that develops active reading of expository text. Reading Teacher.

[8] Ramez A. Elmasri , Shankrant B. Navathe , Carter Shanklin, Fundamentals of Database Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
[9] Ben-Gan, I.; Sarka D. ; Tamlage, R. (2012). Querying Microsoft SQL Server 2012.
OReilly Media Inc.

10