Unidad N II: Conjuntos, Relaciones y Funciones

CONJUNTOS
Podramos definir conjunto como cualquier coleccin de objetos, pero, eso s, tendra que estar bien definido
ya que debe saberse exactamente si un objeto no parte de esa coleccin. Cada uno de esos objetos recibe el nombre
de elemento del conjunto.
Por lo general, se utilizan letras maysculas para representar los conjuntos y letras minsculas para
representar los elementos de los conjuntos.
Para expresar que un determinado elemento a es de un cierto conjunto A, decimos que el elemento a

pertenece al conjunto A, y escribimos a A . Si por el contrario a no es de A, decimos que a no pertenece al

conjunto A, y escribimos a A .

Un conjunto puede determinarse de dos maneras distintas: por extensin o por comprensin.
Diremos que un conjunto viene determinado por extensin cuando se enumeran todos y cada uno de los
elementos que contiene. Ahora bien, podemos expresar todos esos elementos entre llaves o recurrir a los diagramas
de Venn, que consiste en representar los elementos a partir de puntos que quedan dentro de una curva plana
cerrada que representa el conjunto.

Ejemplo: A 1, 2, 3
es un conjunto dado por extensin, que se representa
grficamente por el diagrama de Venn de la figura 1

Diremos que un conjunto viene determinado por comprensin cuando se expresan

una o ms propiedades que verifican sus elementos y slo ellos.

Figura 1

Ejemplo: El mismo conjunto A del ejemplo anterior podra determinarse por

comprensin de las siguientes maneras: A x N / 0 x 4, o bien A x N / 0 x 3 , o bien

A x N / 1 x 3

CARDINAL DE UN CONJUNTO: Es la cantidad de elementos que posee el conjunto. Lo simbolizamos con #

Por ejemplo el conjunto de la figura 1 posee tres elementos, es decir, #A = 3
TIPOS DE CONJUNTOS
Conjunto Universal: Llamamos conjunto Universal, al conjunto formado por todos los elementos de todos los
conjuntos, con el que en ese momento se est trabajando. Lo simbolizamos con U
Conjunto Vacio: Llamamos conjunto Vacio al conjunto que no posee elementos. Lo simbolizamos
Conjunto Unitario: Llamamos conjunto Unitario aquel conjunto formado por
un solo elemento.
Complemento: Siendo U el conjunto Universal y A uno de sus subconjuntos.
Definimos el conjunto complemento de A, con respecto a U, como aquel formado
por todos los elementos que pertenecen a U pero no a A, y lo representamos:

A x U / x A

Propiedades
1) U
2)

A A

3) # A #U # A
4)

A A U

A A

5) Leyes de De Morgan: A B A B

A B A B

SUBCONJUNTOS
Decimos que un conjunto A es un subconjunto de un conjunto B cuando todo elemento de A tambin
pertenece a B, y se escribe A B . Por el contrario, si A no es una parte de B, escribiremos A B , que vendr a
decirnos que por lo menos uno de los elementos de A no pertenece a B.
En smbolos: A B x A x B

IGUALDAD DE CONJUNTOS
Decimos que dos conjuntos A y B son iguales cuando contienen exactamente los mismos elementos, es decir,
si todo elemento de A es tambin de B y todo elemento de B tambin lo es de A. En caso contrario A B
En smbolos: A B A B B A

OPERACIONES CON CONJUNTOS

Unin: Se llama unin de dos conjuntos A y B al conjunto formado por
todos los elementos que pertenecen a A o a B o ambos conjuntos.

A B x / x A x B x A B

A B

Propiedades
Sean A y B dos conjuntos no vacios
1) Idempotencia: A A A
2) Conmutativa: A B B A
3) Asociativa: A B C A B C
4)

A A B

Prof. Ferreyra, Noelia Belen

B A B

Pgina 2

Interseccin: Se llama interseccin de dos conjuntos A y B al conjunto formado por todos los elementos que
pertenecen a ambos conjuntos.

A B x / x A x B
Propiedades
Sean A y B dos conjuntos no vacios
1) Idempotencia: A A A

A B

2) Conmutativa: A B B A
3) Asociativa: A B C A B C
4)

A B A

5)

A B A B

A B B

6) Distributiva de la unin respecto de la interseccin: A B C A B A C

7) Distributiva de la interseccin respecto de la unin: A B C A B A C
8)

# A B # A # B# A B

Diferencia: Se llama diferencia entre un conjunto A y otro conjunto B al conjunto formado por todos los
elementos que pertenecen a A y no pertenecen a B.

A B x / x A x B

B A x / x B x A

A B

BA

Diferencia Simtrica: Se llama diferencia simtrica entre dos

conjuntos A y B al conjunto formado por todos los elementos que
pertenecen a A o a B pero no a ambos.

AB x / x A x B

pero

x A B

AB A B A B A B B A
AB

Prof. Ferreyra, Noelia Belen

Pgina 3

PAR ORDENADO
Sean A y B dos conjuntos no vacios (eventualmente iguales), llamaremos par ordenado de primera
componente a y segunda componente b al smbolo a, b .
Los pares ordenados a, b y a' , b' son iguales si y slo si tienen respectivamente las mismas componentes.

a, b a' , b' a a'b b'

Ejemplo: 2,3 2,3

2,3 3,2

TERNA ORDENADA
Sean A ,

B , C ; la terna a, b, c se llama terna ordenada, con a A , b B, c C

n UPLA ORDENADA
Dados n conjuntos A1 , A2 ,..., An ; se llama n-upla al ente a1 , a2 ,..., an / a1 A1 , a2 A2 ,..., an An

PRODUCTO CARTESIANO
Dados dos conjuntos no vacios se llama producto cartesiano de A y B al conjunto cuyos elementos son to dos
los pares ordenados cuya primera componente pertenece a A y la segunda a B.

A B a, b / a A b B

Ejemplo: A 1, 2

B 5 , 6, 7

A B 1,5; 1,6 ; 1,7 ; 2,5; 2,6 ; 2,7

B A 5,1; 6,1; 7,1; 5,2 ; 6,2 ; 7,2
A A A 2 1,1; 1,2 ; 2,1; 2,2

Es evidente que el producto

cartesiano no es conmutativo.
Se demuestra que si el cardinal
de A es m y el de B es n, entonces el
cardinal de A por B es igual a mxn.

RELACIONES BINARIAS
Frecuentemente se establece una relacin entre dos o ms objetos. Si se vinculan dos elementos tendremos
una relacin binaria.
Sean A y B conjuntos no vacios.

R es una relacin de A en B R A B
Sea A . Diremos que:

R es una relacin en A R es una relacin de A en A, o sea que: R A A

Prof. Ferreyra, Noelia Belen

R A2
Pgina 4

Sea R una relacin cualquiera, esto significa que sus elementos son pares ordenados si ocurre que:

x, y R escribiremos xRy , diremos que

x est relacionado con y
x es una pre-imagen de y por R
y es una imagen de x por R

DOMINIO E IMAGEN
A una relacin R de A en B se le asocian dos conjuntos:
i. Dominio
ii. Imagen
i. DR x / x A xRy para a lg n
y B; o sea que DR es el conjunto formado por todos los
elementos de A que son primeras componentes de los pares ordenados de R.
ii. I R y / y B xRy para a lg n
x A; o sea que I R es el conjunto formado por todos los
elementos de B que son segundas componentes de los pares ordenados de R.

INVERSA DE UNA RELACIN

A toda relacin R de A en B le hacemos corresponder la relacin R 1 de B en A definida de la siguiente manera.

R 1 y, x B A / x, y R ; R 1 se denomina inversa de la relacin R

Se verifica que D R 1 I R

I R 1 DR

FUNCIN
Dados dos conjuntos A y B, llamamos funcin a la correspondencia de A en B en la cual todos los elementos de A
tienen a lo sumo una imagen en B, es decir una imagen o ninguna.
Funcin real de variable real es toda correspondencia f que asocia a cada elemento de un determinado
subconjunto de nmeros reales, llamado dominio, otro nmero real.

f:D
x

f(x) = y

El subconjunto en el que se define la funcin se llama dominio o campo existencia de la funcin. Se designa
por D, o bien Dom.

Prof. Ferreyra, Noelia Belen

Pgina 5

El nmero x perteneciente al dominio de la funcin recibe el nombre de variable independiente.

Al nmero, y, asociado por f al valor x, se le llama variable dependiente. La imagen de x se designa por f(x).
Luego y= f(x)
Se denomina recorrido de una funcin al conjunto de los valores reales que toma la variable y o f(x).
Ejemplo:
El dominio es el conjunto de elementos que tienen imagen

D x R / f ( x)

El recorrido es el conjunto de elementos que son imgenes

r f ( x) / x D

COMPOSICIN DE FUNCIONES
Si tenemos dos funciones: f(x) y g(x), de modo que el dominio de la
2 est incluido en el recorrido de la 1, se puede definir una nueva
funcin que asocie a cada elemento del dominio de f(x) el valor de
g[f(x)].
Ejemplo:
Consideremos las siguientes funciones:

f ( x) (2,4)(1,2)(0,0)(1,2)(2,4) D 2,1,0,1,2

r 4,2,0,2,4

g ( x) (4,11)(2,5)(0,1)(2,7)(4,13) D 4,2,0,2,4

r 11,5,1,7,13

Como podemos observar r ( f ) D( g ) por lo tanto, podemos realizar la composicin

g f ( x) g f ( x) (2,11)(1,5)(0,1)(1,7)(2,13) . Es fcil darse cuenta que la composicin de

f g (x) no se puede realizar ya que r ( g ) D( f )
PROPIEDADES
1) Asociativa: f o (g o h) = (f o g) o h
2) No es conmutativa. f o g g o f
3) El elemento neutro es la funcin identidad, i(x) = x. f o i = i o f = f
Prof. Ferreyra, Noelia Belen

Pgina 6