1

TEORA INGENUA DE CONJUNTOS

Presentacin
Porqu comenzar el curso de fundamentos por aqu? Antes de ensayar
alguna respuesta analicemos la definicin de lmite finito de una funcin. Una opcin puede
ser: lim f ( x) E, Ea*, D f / x Ea*, f ( x) E,
x a

No bien nos fijamos en ella con cierto detenimiento vemos que est
fuertemente contaminada de conceptos y notacin propia de la teora de conjuntos (los
entornos que son conjuntos de reales, la inclusin, la pertenencia)
Lo mismo nos ocurrir si analizamos casi cualquier proposicin matemtica
contenida en un libro o un curso posterior a 1950. Encontraremos que ellas se estructuran
alrededor de conceptos elementales de la teora de conjuntos y que adems utilizan la
notacin conjuntista para registrarlos.
La teora de conjuntos le ha brindado a la matemtica un lenguaje sencillo,
preciso y elegante con el cual expresar las ideas ms sofisticadas. Dicha teora tal como la
conocemos hoy, es relativamente reciente. Data del principio del siglo XX. Le sugerimos
busque informacin al respecto.
Aclaremos que presentaremos una aproximacin intuitiva a la teora de
conjuntos habitualmente denominada teora ingenua de conjuntos El desarrollo formal de
dicha teora en este momento, est fuera de alcance. La complejidad que tiene un
tratamiento estricto del tema excede largamente los requisitos y objetivos de este curso.
Introduccin
Ya que vamos a conversar sobre conjuntos parece pertinente preguntarnos
en primer lugar: Qu es un conjunto?
Podemos contestar Un grupo de elementos Frente a esta respuesta
tenemos derecho a preguntar Y un grupo? A lo cual puede aparecer Una coleccin Y
podemos preguntar: Y una coleccin? Contestando Una familia ..Seguramente en
algn momento diremos Un conjunto cerrando as el crculo vicioso.
Este hecho es inevitable si intentamos definir explcitamente todos los
conceptos con los cuales trabajaremos. Lo cual si se detiene a pensar, le debe haber
ocurrido al buscar palabras en un diccionario. Una palabra le conduce a otra, esa otra a una
tercera, Hasta que al final vuelve a la primera palabra que busc.
Para no caer en este crculo vicioso tomaremos algunos conceptos sin
definicin explcita (los cuales suelen llamarse conceptos primitivos) y s definiendo
explcitamente todos los otros conceptos de la teora (estos ltimos pueden denominarse
conceptos definibles).
1

Al tratar con conceptos primitivos, podemos preguntarnos Cmo trabajar con algo que no
aclaramos explcitamente que es? Permtaseme la siguiente imagen:
Referido al ajedrez, si nos preguntan: Qu es una torre? No vamos a contestar que forma
tiene, ni de que material est construida, sino como se mueve Es ms, si cambiamos la
ficha por una piedra y esta la movemos como una torre, es una torre. Con los conceptos
primitivos ocurre algo similar, quedarn caracterizados indirectamente por el resto de la
teora.
En el caso de la teora de conjuntos tomaremos como conceptos primitivos: conjunto,
elemento y pertenecer. El resto de los conceptos que aparezcan los definiremos
explcitamente.
Para empezar a conversar consideremos los siguientes conjuntos:
- A el conjunto formado por 6 y 8
- B el conjunto formado por a,b,c
- C el conjunto de los nmeros naturales pares.
- D el conjunto de los naturales pares mayores que 5 y menores que 9
En primer lugar observemos que utilizamos dos estrategias diferentes para determinar
cada uno de los conjuntos (entendiendo por determinar brindar un criterio que nos permita
sin ambigedad decidir si un elemento dado pertenece o no al conjunto). Para los dos
primeros nombramos todos y cada uno de sus elementos. Procedimiento que algunos
denominan determinacin por extensin. En cambio para determinar los dos ltimos
dimos una proposicin que caracteriza al conjunto; en el sentido de que todo elemento del
conjunto verifica la proposicin y recprocamente todo elemento que verifica la proposicin
pertenece al conjunto. En el caso del conjunto C, todo nmero natural par est en C y todo
elemento de C es un natural par. Este ltimo procedimiento suele denominarse
determinacin por comprensin.
El lector seguramente recuerda la notacin:

A 6,8
B a, b, c

C x / x 2

D x / x 2 5 x 9

PRIMEROS COMENTARIOS SOBRE LGICA

Recin mencionbamos el trmino
proposicin. Entendemos por tal a una oracin o sentencia que puede ser verdadera o falsa
pero no ambas a la vez. Si decimos El nmero 512 es par El 512 es mltiplo de 3
ambas son proposiciones, en este caso verdadera la primera y falsa la segunda. Si en
cambio decimos Qu hora es? Esta frase no es una proposicin pues no tiene sentido decir
que es verdadera o falsa.
A las proposiciones las anotaremos con letras minsculas (p,q,r etc.) y si son verdaderas
indicaremos (V) y en caso de ser falsas (F) Siendo V o F lo que llamamos valor de verdad.
Las proposiciones pueden clasificarse en simples o compuestas. Siendo estas ltimas
compuestas por las primeras. As por ejemplo la proposicin que determina el conjunto D

( x x 2 y 5 x 9 ) puede descomponerse en x x 2 5 x x 9

En este caso las cuatro proposiciones estn vinculadas por la operacin conjuncin
definida formalmente a partir de su tabla de valores, que nos permiten determinar el

valor de verdad de la proposicin compuesta a partir de los valores de verdad de las

proposiciones simples que la conforman.

p
V
F
V
F

pq
V
F
F
F

q
V
V
F
F

Observemos que p q es verdadera si y solo si tanto p como q son verdaderas. Lo

podemos leer coloquialmente como un y
Otra operacin que suele realizarse con proposiciones es la disyuncin definida por la
siguiente tabla

p
V
F
V
F

pq
V
V
V
F

q
V
V
F
F

En este caso observemos que alcanza para que p q sea verdadera que una de las dos
proposiciones (p o q) lo sean. Y nicamente es falso cuando ambas lo son. Podemos leerlo
informalmente como y/o.
Presentemos tambin el condicional o implicacin lgica definida por:

p
V
F
V
F

pq
V
V
F
V

q
V
V
F
F

Seguramente le llama la atencin que la nica forma de que p q sea falsa es que p sea
verdadera y q falsa.

Analicemos las siguientes proposiciones: 1) n , n 4 3n 6

2) n , n 4 3n 18
Complete la siguiente tabla:

n4

3n 6

3n 18

3
6
8
12

Justifique que 1) es verdadera y 2) falsa.

Al considerar p q la proposicin p recibe el nombre de antecedente o premisa y q el de
consecuente.
Por ltimo definimos la negacin de una proposicin p (que anotaremos p )

p
F
V

p
V
F

Igualdad de conjuntos
Volviendo a los ejemplos

A 6,8
B a, b, c

C x / x 2

D x / x 2 5 x 9

Otra observacin que podemos realizar es que los conjuntos A y D son iguales. Y esto lo
decimos pues tienen los mismos elementos. As que es razonable la siguiente
Definicin
Dos conjuntos son iguales si y solo si tienen los mismos elementos.
x, x A x B

En otras palabras: A B
x, x B x A

Nota Acabamos de utilizar el smbolo el cual solemos leer si y solo si. Seamos un
poco ms precisos: dos proposiciones p y q se dicen equivalentes cuando tienen los
mismos valores de verdad. Anotando: p q
En la definicin de igualdad de conjuntos establecemos que la proposicin A B
es equivalente a la proposicin compuesta x, x A x B x B x A
Nota
Tambin aparece el smbolo que leemos para todo y se denomina en lgica
cuantificador universal. Smbolo que corresponde a una A invertida y proviene del
alemn Algemanheit (todo)
Ejercicios Comprobar utilizando tablas de verdad que:
i) p q p q
ii) p q
iii) p p

p q

(Ley de De Morgan)

(Doble negacin)

De nuevo con los ejemplos, otra observacin que podemos realizar es que todos los
elementos del conjunto A tambin lo son de C. Esto suele expresarse diciendo que A est
incluido o es un subconjunto de C. Concretamente:
INCLUSIN, SUBCONJUNTOS
Definicin
Decimos que un conjunto A est incluido o es un subconjunto de un conjunto B
si y solo si todo elemento de A es tambin elemento de B. Anotamos A B
Sintticamente: A B x, x A x B
Tambin suele anotarse: A B

x A

x B

A B

Observemos A B
Recuadramos esta proposicin pues casi siempre que
B A

hay que probar que dos conjuntos son iguales se demuestra la doble inclusin.
Tambin podemos observar que todo conjunto es subconjunto de s mismo A A
Acabamos de definir lo que tambin podemos llamar inclusin amplia en donde un
conjunto est incluido en si mismo. Si queremos excluir la posibilidad de la igualdad,
podemos hablar de inclusin estricta. Concretamente:
Definicin
Decimos que el conjunto A est estrictamente incluido o es un subconjunto

propio del conjunto B Anotamos A B

A B

A B
A B

Algunas veces los elementos de un conjunto son a su vez conjuntos. En estos casos puede
generarse una confusin entre que un conjunto pertenezca o est incluido en otro. Para
ejemplificar encaremos los siguientes

Ejercicios
1) Consideramos:
I 7,8 , 2.3, 4 , 9,10 J 7,8, 2,3, 4,9,10 K 7 , 8 , 2 , 3 , 4, 9, 10
Analizar el valor de verdad de las siguientes proposiciones.
i) I J K
ii) 7,8 I
iii) 7,8 I
iv) 7,8 J
vi) 7,8 K vii) 7,8 K
xi) 7 J

xii) 7 K

viii) 7 I

ix) 7 I

v) 7,8 J
x) 7 J

xiii) 7 K

2) Sabiendo que A 1 y B 1 Analizar el valor de verdad de las siguientes

proposiciones.
i) 1 A ii) 1 B iii) 1 A iv) 1 B v) 1 B vi)

1 A

El conjunto vaco
Si se da una propiedad P de elementos de un conjunto X tal que por lo
menos un elemento x X tenga tal propiedad, queda determinado el subconjunto de X de
los elementos x que tengan la propiedad P. Pero si P es una propiedad que no es satisfecha
por ningn elemento de X se tiene el caso excepcional de una propiedad que no define a un
conjunto. Se conviene en evitar formalmente esta excepcin introduciendo el signo X
que se denomina conjunto vacio de X y que se supone indica intuitivamente el
subconjunto de X que no contiene ningn elemento Este signo X puede someterse a las
relaciones y operaciones usuales de la teora de conjuntos, combinndolos con conjuntos
propios (no vacos) y se demuestra en una teora axiomtica de conjuntos que estas
combinaciones y operaciones son lcitas, desde el punto de vista de la lgica matemtica.
Por ejemplo si X es el conjunto de los nmeros naturales no es extrao considerar el

subconjunto C x / x 2 Ahora la propiedad de ser menor que cero no es cumplida

por ningn nmero natural. Por lo dicho x / x 0 lo anotaremos
Definicin
Consideramos X un conjunto. Llamamos subconjunto vaco de X y se anota
X , al conjunto X x X / x x

Obs. Para definir el subconjunto vaco podramos haber utilizado cualquier otra propiedad
que no fuera cumplida por ningn elemento de X. Como lo hicimos en . Elegimos

x x ya que esta ltima tiene la ventaja de ser aplicable a cualquier conjunto.

Teorema

X Y siendo X e Y dos conjuntos cualquiera.

Dem
Queremos probar: X Y lo que es equivalente a demostrar:

1) x, x X x Y 2) x, x Y x X
En cuanto a la proposicin 1) esta es verdadera pues el antecedente x X es falso.
Por el mismo motivo la proposicin 2) tambin es verdadera. Y ya que 1) y 2) son
verdaderas, entonces 1) 2) lo es. Quedando probado que X Y
Segn lo demostrado, existe un nico conjunto vacio que por otra parte es subconjunto de
cualquier conjunto. Se lo designa simplemente con el smbolo , sin referirlo a ningn
conjunto en particular.
Ejercicios 1) Analizar el valor de verdad de las siguientes proposiciones: i)
ii)

iii)

iv)

v)

vi)

2) Demuestre que:

A B

B C
Nota

A C (Transitiva)

Volvamos a la definicin de subconjunto: A B x, x A x B

Intentemos escribir la negacin A
B
La proposicin que define la inclusin de A en B x A x B podemos
considerarla compuesta por las proposiciones x A (a la que denominaremos p) y
la proposicin x B (que llamaremos q)
Ahora:
pq
p
q
V
V
V
V
V
F
V
F
F
V
F
F
8

Entonces la proposicin p q es falsa (o sea A

B ) solamente en el caso p
verdadera x A y q falsa x B . Nos queda manejar el cuantificador
universal . Parece razonable plantear: A
B x A / x B
Entr en juego el smbolo (que leemos existe) denominado en lgica como
cuantificador existencial.
El cuantificador universal y el existencial se vinculan de la siguiente
manera: Sea P( x) una proposicin cuyo valor de verdad depende de x, la
proposicin x, P( x) es equivalente a la proposicin x, P( x)
Le sugerimos d algn otro ejemplo de esta equivalencia.

Conjunto de partes
Definicin
Dado un conjunto A, llamamos conjunto de partes de A (anotamos P(A) ) al
conjunto cuyos elementos son todos los subconjuntos de A.
Ejemplos: Si A a, b P(A) , a , b , a, b
Si A a, b, c P(A) , a , b , a, b , a, c , b, c , a, b, c
Nota - P(A) y A P(A) cualquiera sea el conjunto A.
- Demostraremos posteriormente que si A tiene n elementos, entonces P(A) tiene 2n
ALGO MAS SOBRE LGICA
Comencemos por algunas definiciones. Decimos que:
1) Una proposicin compuesta es una tautologa si y solo si es verdadera para todas las
asignaciones de valores de verdad de sus proposiciones componentes.
2) Una proposicin compuesta es una contradiccin si y solo si es falsa para todas las
asignaciones de valores de verdad de sus proposiciones componentes.
3) Una proposicin compuesta es una contingencia si y solo si no es una tautologa ni
una contradiccin.

10

Ejercicios 1) Analizar mediante tablas de verdad si las siguientes proposiciones son

tautologas, contradicciones o contingencias: i) p q r

p ( p)
iii) p q q p
ii)

2) Probar utilizando tablas de verdad que las siguientes proposiciones son

(Modus Ponens)
tautologas. i) p q p q
ii)

p q q p

iii) p p

(Modus Tollens)

(Identidad)

(Simplificacin)
p q p
(Adicin)
v) p p q
(Silogismo disyuntivo)
vi) p q p q
vii) p q q r p r (Silogismo hipottico)
iv)

A estas tautologas se denominan reglas lgicas. Concretamente, llamamos regla lgica a

toda implicacin que sea una tautologa. Si p q es una regla lgica escribiremos p q
Presentemos una operacin bsica ms. Consideramos p y q proposiciones, definimos
p q por la siguiente tabla
pq
p
q
V
V
V
F
V
F
V
F
F
V
F
F
A la proposicin p q la leemos p implica doblemente a q y se la denomina
bicondicional de las proposiciones p y q.
Si la proposicin p q es una tautologa la denominamos ley lgica y anotamos p q
Obsrvese que si p q , p y q tienen el mismo valor de verdad, o sea son equivalentes.
Por lo tanto es correcto utilizar la misma notacin.

10

11

Ejercicios Probar que las siguientes proposiciones son leyes lgicas.

v)

p p p
Idempotencia de la disyuncin
p p p
Idempotencia de la conjuncin
p q q p
Conmutativa de la disyuncin
p q q p
Conmutativa de la conjuncin
p q r p q r
Asociativa de la disyuncin

vi)

p q r p q r

vii)

p q r p r q r

viii)

p q r p r q r Distrib. de la disy. resp a la conj.

i)
ii)
iii)
iv)

ix)
x)
xi)
xii)
xiii)
xiv)
xv)
xvi)

Asociativa de la conjuncin
Distrib. de la conj. resp a la disy.

p ( p) t siendo t una tautologa

p ( p) c siendo c una contradiccin.
p t p siendo t una tautologa
p c p siendo c una contradiccin.
p c c siendo c una contradiccin.
p q p q
Ley de De Morgan
p q p q
Ley de De Morgan
p q p q q p

Nota
Segn lo probado en xix) tenemos que p q p q q p lo cual
justifica el nombre de bicondicional.
Seguramente alguna vez oy: recproco contrarrecproco condicin necesaria
condicin suficiente condicin necesaria y suficiente. Veamos de que se trata:
Como vimos la proposicin p q es equivalente a la conjuncin de las proposiciones
p q y q p . Si a la primera p q la denominamos directo, a la segunda q p

la llamaremos rciproco. Obsrvese que la segunda es recproca de la primera y la primera

recproco de la segunda. O sea son trminos relativos y no absolutos.
11

12

La proposicin p q se le denomina contrario y a la proposicin q p

contrarrecproco del directo

p q

Volvemos a insistir en el carcter relativo de estos

trminos.
Ejercicios
Comprobar mediante tablas de verdad:
1) El directo es equivalente al contrarrecproco.
2) El directo no es equivalente al contrario.
En caso de que p q decimos que p es condicin suficiente para q y q condicin
necesaria para p. Entonces cuando p q , podemos afirmar que p es condicin necesaria
y suficiente para q.
Por ejemplo: f continua en a es condicin necesaria pero no suficiente para f derivable
en a siendo f una funcin real de variable real y a . raz de P es condicin
necesaria y suficiente para que P divisible entre x siendo P un polinomio de
coeficientes reales y .
OPERACIONES CON CONJUNTOS
Unin e interseccin
Definicin Consideramos A y B subconjuntos de U. Denominamos:
1) A unin B (anotamos A B ) al conjunto formado
por los elementos que pertenecen a A y/o a B.

A B x U / x A x B
2) A interseccin B (anotamos A B ) al conjunto
formado por los elementos que pertenecen a A y a B

A B x U / x A x B
Ejemplos
1) Si A a, b, c y B b.c.d .e entonces: A B a, b, c, d .e y A B b, c
2) Si A es el conjunto de puntos del plano interiores a la primera curva y B el de
los puntos interiores a la segunda entonces el conjunto unin es el de los puntos
sombreados en la primera figura y la interseccin los sombreados en la
segunda.
A

12

13

Habitualmente se utilizan este tipo de diagramas para visualizar los resultados de

operaciones con conjuntos. Son conocidos bajo el nombre de diagramas de Venn.
Tengamos en cuenta que no son ms que casos particulares, estamos trabajando con
conjuntos de puntos en lugar de conjuntos de otros elementos. Este comentario est
motivado para no confundirnos y pensar que los diagramas de Venn permiten demostrar
propiedades de las operaciones con conjuntos. No es as. Solo nos permiten una cierta
visualizacin. Volvemos a insistir, son casos particulares y por lo tanto a partir de ellos no
podemos asegurar que tal o cual propiedad sea cierta para todos los conjuntos.
Ejercicios
1) En los siguientes diagramas de Venn sombrear la unin y la interseccin.
A

B
A

2) Probar: A A B y A B A siendo A, B conjuntos cualesquiera

3) Demostrar: P(A) P(B) P(A B ) y P(A) P(B) P(A B )
P(A) P(B) P(A B )?
Teorema
Siendo A,B y C conjuntos se cumple:
1) A B B A Conmutativa
2) A B B A

3) A B C A B C Asociativa
4)

A B C A B C

5) A B A B B
6) A B A B A
A manera de ejemplo demostremos 5)
T) A B B
H) A B
Queremos demostrar: A B B lo que es equivalente a probar:
1) x A B x B
2) x B x A B
13

14

Ahora demostremos efectivamente las proposiciones 1) y 2)

x A como A B x B

1) x A B
xB
x B

2) x B (*)

x A

x A B
x B

(*) Si llamamos p a la proposicin x A y q a la proposicin x B , tenemos que

si q es verdadera, necesariamente p q x A x B tambin es verdadera.

T) A B

H) A B B

En este caso debemos probar que A B o lo que es equivalente que

x A x B
Ahora: x A (**)

x A B y como A B B x B

(**) Tengamos presente que A A B

Ejercicios
1) Demostrar otras dos propiedades, una correspondiente a la unin y otra a la
interseccin.
2) Probar: i) A A A
ii) A A A
iii) A A iv) A
(Sugerencia: tenga en cuenta que A A y que A )
3) Siendo A,B y C tres conjuntos cualesquiera, demostrar que:
i) A B C A B A C (Distrib. de la " " respec. de la " ")
ii) A B C A B A C (Distrib. de la " " respec. de la " ")
Diferencia
Definicin
Dados los conjuntos A y B, llamamos diferencia A menos B al
conjunto formado por los elementos de A que no pertenecen a B.
Anotamos A B
Sintticamente: A B x A / x B
14

15

Ejemplos
1) Si A a, b, c, d y B c, d , e, f , g entonces A B a, b
2) Volviendo a los diagramas de Venn
A B corresponde a la zona sombreada.

A
B

Ejercicios
Siendo A,B y C tres conjuntos cualesquiera, demostrar:
1) A A
2) A A
3) A
4) A B B A A B
5) A B C A B C

A B C A B C ?

6) A B C A B A C
7) A B C A B C
8) A B C A B C A
9) A B C A B A C
Complemento
Definicin
Consideramos A y H dos conjuntos tales que A H .
Denominamos complemento de A con respecto a H, a la
diferencia H A Anotamos C A
(H )

C A H A x H / x A

(H )

Ejemplos

1) Si P x / x 2

e I x / x 2

Tenemos que C P I
()

Tambin C I P

()

2) Nuevamente con los diagramas de Venn

C A es la zona sombreada
(H )

15

16

Nota
Al C A tambin lo podemos anotar AHC y en el caso de que se desprenda del
(H )

contexto cual es el conjunto de referencia (nos referimos a H) se simplifica la notacin

escribiendo solamente AC A As volviendo al primer ejemplo P I e I P
Ejercicios
Consideramos A y B dos subconjuntos de H. Anotamos A C A etc.
(H )

Completar: 1) A A .......
2) A A ......
3)

A .......

4)

A B A.... B

5)

A B A.... B

Demostrarlas.
Nota Las ltimas dos proposiciones se conocen bajo el nombre de Leyes de De-Morgan.
PAR ORDENADO, PRODUCTO CARTESIANO
Si estamos trabajando en un en un plano con un sistema de coordenadas cartesiano y
mencionamos los puntos de coordenadas 2,5 y 5, 2 , nos estamos refiriendo a puntos
distintos. Asumimos que 2,5 5, 2 ; importando en consecuencia el orden en que
aparecen el par de elementos 2 y 5. Entr en juego lo que denominamos habitualmente par
ordenado 2,5 y que anotamos 2,5 .
Es inmediato que a, b b, a y por lo tanto a, b a, b . Sin ms prembulos
Definicin
Dados los elementos a y b denominamos par ordenado ab, al conjunto

a ,a, b Lo anotamos a, b . En resumen: a, b a ,a, b

Observacin

a, b a ,a, b, b, a b ,a, b
Si a b a b a , a, b b , a, b
16

a, b b, a

17

Con lo cual comenzamos a ver la utilidad de la definicin dada. La cual se completa con el
siguiente teorema.
Teorema

a, b a, b

Dem.

a a

b b

a, b a ,a, b y a, b a, a, b
Si a b

a, b a es un conjunto unitario que por hiptesis es igual al

conjunto a, b a , a, b y por lo tanto este ltimo tambin debe
serlo. De donde se desprende que a a, b a b
En este caso tenemos que a, b a , a, b a y como por
hiptesis ambos pares ordenados son iguales tenemos que:
a a a a a a
Como en este caso a b y ya vimos que a b , entonces b b

Si a b

a, b a ,a, b es un conjunto con dos elementos. Como por

hiptesis a, b a, b a , a, b este ltimo conjunto tambin
tiene dos elementos. As que a b
Ahora: Como a a, b pues a b

a a a a
Tambin a, b a , a, b teniendo en cuenta que a, b a ya
que en este caso a b , podemos afirmar que a, b a, b
b a, b Adems a b a a b a .
En consecuencia b b

A cargo del lector.

17

18

Definicin
Consideramos los conjuntos A y B. Llamamos producto cartesiano A por B al
conjunto formado por todos los pares ordenados de primera componente en A y
segunda en B. Lo anotamos A B .
As que A B x, y / x A y B
Ejemplos
1) Si A a, b, c y B d , e
Entonces A B a, d , a, e , b, d , b, e , c, d , c, e
2) 0 x,0 / x

1 1, y / y

3) Siendo a, b y c, d dos intervalos cerrados de reales

a, b c, d x, y / a x b

c y d

Representar grficamente los conjuntos de los ejemplos 2) y 3)

Ejercicios
1) Siendo A 1, 2,5,7 , B 1,3, 4 , C 2,3,9 y D 1,3,7 Hallar:
i) A B C D

ii)

A B C D

iii) B C D A D

2) Demostrar:
i) Si A , B A B A B B A
ii) A B A B

A B C A C B C
iv) A B C A C B C
v) A B C A C B C
iii)

Nota
Dados los conjuntos A,B y C llamamos producto cartesiano o simplemente producto
de A,B y C (anotando A B C ) al conjunto A B C . Cada uno de sus elementos
recibe el nombre de terna ordenada.
La notacin A B C para el producto de tres conjuntos podra hacernos pensar que

A B C A B C

Lo cual no es cierto pues los elementos del primer conjunto

18

19

x, y , z y los del segundo x, y, z .No obstante

no se hace distincin entre x, y , z y x, y, z Un desarrollo ms detallado nos
son pares ordenados de la forma

permitira ver que ambos pares ordenados a pesar de ser distintos se comportan como
si fueran iguales. Ms adelante intentaremos aclarar este hecho.
De manera similar pueden definirse productos cartesianos con ms de tres factores y
por lo tanto de enupla (tambin puede escribirse n-pla)
Ya que estamos con las notaciones, escribiremos An en lugar de
A
A
...
A
n factores

Bibliografa consultada para elaborar este material.

Introduccin a la teora de conjuntos de Lia Oubias por Editorial Eudeba
Conjuntos, relaciones, funciones y lgica de Franco, Olave, Ochoviet y Tosetti
Apuntes elaborados en el 2010 en el marco del departamento de matemtica del IPA

Responsable
Daniel Siberio Marzo de 2012

19