LENGUAJES Y AUTOMATAS I

Conjuntos

CONJUNTOS
Def.- Es una coleccin de objetos. Es
determinado por sus elementos y no por el orden
en que son listados los mismos.
Ej.- A={1,2,3,4}
Son conjuntos diferentes al anterior?
Ej.- A={1,3,4,2}
Ej.- A={1,2,2,3,4}

DESCRIBIENDO CONJUNTOS
Si el conjunto es pequeo: enumerando sus
elementos.
Si el conjunto es infinito o muy grande, aunque
finito, enunciando una propiedad de los
elementos que los constituyen.
Ej.- B={x|x es positivo, entero par}

DEFINICIONES SOBRE
CONJUNTOS
Def.- Si X es un conjunto finito, se define el
grado del conjunto:
|X|=nmero de elementos en X.

Def.- Un elemento x incluido o no o que

pertenece o no a X se denota:
xX (x pertenece a X)
xX (x no pertenece a X)
Def.- El conjunto sin elementos es llamado el
conjunto vaco y se denota as:
={ }
4

DEFINICIONES SOBRE
CONJUNTOS
Def.- Dos conjuntos son iguales si tienen los
mismos elementos:
X=Y
xX xY xY xX
Ej.-A={x|x2+x-6=0}

B={2,-3}
A=B

Def.- Si cada elemento de X es un elemento de Y,

entonces X es un subconjunto de Y y se escribe:
XY
Ej.- C={1,3}

A={1,2,3,4} C A
5

DEFINICIONES SOBRE
CONJUNTOS
Cor.- Cualquier subconjunto X es un subconjunto de s mismo:X
X

Cor.- Si X Y y |X|<|Y| entonces X es un subconjunto propio de

Y. El conjunto es un subconjunto de cualquier conjunto.

Def.- El conjunto de todos los conjuntos (propios o no) de un

conjunto X, denotado X), es el conjunto potencia de X.
Ej.-A={a,b,c}

(A)={ ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}
|A|=3
|(A)|=23=8
6

OPERACIONES SOBRE
CONJUNTOS
Def.- La unin de dos conjuntos est dada por :
X U Y = {x|xX V xY}
Dado: A={a,b,1}, B={a,1,2}, y C={2,3,4}
Encuentre AUB, AUC Y BUC
A U B={a,b,1,2}
A U C={a,b,1,2,3,4}

{a,1,2,3,4}

B U C=

OPERACIONES SOBRE CONJUNTOS

Def.- La interseccin de dos conjuntos est dada
por :
X Y = {x|x X x Y}

Def.- Dos conjuntos son disjuntos si X Y =

Def.-Una coleccin de conjuntos se dice
disjunta por parejas, si para cualquier conjuntos
distintos X e Y, X e Y son disjuntos.

OPERACIONES SOBRE
CONJUNTOS
Def.-La diferencia de 2 conjuntos est dada de la
siguiente forma:
X-Y= {x|x X x Y}
Ej.- Si A={1,3,5}; B={4,5,6}
A B =
AB=

A B =
BA=

Ej.- Son disjuntos A = {1,4,5} y B={2,6}?

Porqu?
Ej.- Verifique si el siguiente conjunto es
disjunto por parejas: ={{1,4,5},{2,6},{3},
{7,8}}
9

OPERACIONES SOBRE
CONJUNTOS
Def.-El conjunto U universal, es el conjunto que contiene
todos los elementos de un discurso. Puede darse en forma
explcita o inferirse del contexto.
Def.- Dado un conjunto U Universal y un subconjunto X de
U, el conjunto U-X es el complemento de X: X. Es el
conjunto de todos los objetos que no pertenecen a X
A

Ej.- Si U = {1,2,3,4,5} y A={1,3,5}

A=
10

Ejercicios a resolver para entregar

en esta clase

Cuales de los siguientes conjuntos son iguales

A={1,2,3}

B={3,2,1,3}

A={1,4,{2,3}}

C={3,1,2,3}

D={1,2,2,3}

B={{1,4},2,3}

Sea A={1,1,2,2,2}, B={1,2,3} Y C={1,2,3,4}. Adems, E es el

conjunto universal. Ordene A,B,C, y E de forma que el conjunto
de la derecha sea un subconjunto del conjunto de la izquierda.

Hallar la cardinalidad de los conjuntos {a,b}, {999}, y {1,2,3}

Hallar la union, la interseccin y el conjunto diferencia de A y B,

donde A={1,2,3,4,5} y B={3,5,7,8}

Sacar el conjunto potencia de X. X) donde X={1,2,3}

Sacar el conjunto potencia de X. Y) donde Y={a,b,c,d}

11

Ejercicios TAREA

(CA) D
(B-C)d

Suponga que el universo de discurso consta de los dias de la

semana. A representa los das laborales, los cuales son de
lunes a viernes. Calcula el complemento de A.

Sea el conjunto universal todas las personas. Dentro de este

conjunto, A es el conjunto de los analistas de sistemas, B el
de los contables, C el de las mujeres y D el de las personas
mayores de 40.

Calcule lo siguiente (operaciones y diagrama):

1. El conjunto de todas las mujeres analistas de sistemas que
sean al mismo tiempo contables
2. El conjunto de todos los hombres contables mayores de 40
aos
12

OPERACIONES SOBRE
CONJUNTOS
Def.- Una particin de un conjunto X, divide a X
en subconjuntos no sobrepuestos. Ms
formalmente, una coleccin S de subconjuntos no
vacos de X se dice que es una particin del
conjunto X, si cada elemento en X pertenece
exactamente a un miembro de S. Note que si S es
una particin de X, S es disjunto por parejas
Ej.-Como cada elemento de
X={1,2,3,4,5,6,7,8} es exactamente un
miembro de S={{1,4,5},{2,6},{3},{7,8}}
entonces S es una particin de X.
13

OPERACIONES SOBRE
CONJUNTOS
Def.-Una pareja ordenada de elementos (a,b) se
considera distinta de la pareja ordenada (b,a), a
menos que a=b.
Def.-Si X e Y son conjuntos, XxY denota el
conjunto de todas las parejas ordenadas (x,y),
donde x X ey Y, llamado el producto
cartesiano de X e Y.
XxY= {(x,y)|(x X) y Y)}
14

OPERACIONES SOBRE CONJUNTOS

Ejem. Sea A={Mari, Rosa} y B={Jaime, Beni, Braulio}
Hallar el conjunto AxB
AxB={(Mari,Jaime),(Mari, Beni),(Mari,Braulio),
(Rosa,Jaime),(Rosa,Beni),(Rosa,Braulio)}

Tabla de representacin del producto cartesiano

Jaime

Beni

Braulio

Mari

(Mari,Jaime)

(Mari,Beni)

(Mari,Brauli
o)

Rosa

(Rosa,Jaime)

(Rosa,Beni)

(Rosa,Brauli
o)

15

OPERACIONES SOBRE
CONJUNTOS
Ej.-Si X={1,2,3}

Y={a,b}

XxY=
YxX=
XxX=
YxY=

En general XxY Y x X. Note que |XxY| = |X|x|Y|

3x2, 2x3, 3x3, 2x2

16

OPERACIONES SOBRE
CONJUNTOS
TAREA: Ej.- Johnsonbaugh 2.1:
1,4,7,13,16,17,19,21,25,27,38,61,62,68, 69
(b)

17

RELACIONES
Def.- Para los conjuntos A,B U, cualquier
subconjunto de AxB es llamado una relacin desde A
hasta B. Cualquier subconjunto de AxA es llamado una
relacin binaria sobre A. Tambin se escribe A2.
Def.- Si (x,y) R, se escribe xRy, y decimos x est
relacionado con y.
Cor.- Se define el conjunto dominio de una relacin R:
{x X|(x,y) R, para algn y Y}
Cor.- Se define el conjunto rango de una relacin R:
{y Y|(x,y) R, para algn x X}

18

RELACIONES
La relacin R, que va del conjunto {1,2,3,4} al
conjunto {a,b,c,d} y esta dada por
R={(2,c),(1,d),(3,d),(2,a)}
Calcular el dominio y el rango
dom R={1,2,3}
ran R={a,c,d}

19

RELACIONES
Ej.- Si X={Bill, Mary, Beth, Dave}
Y={CompSci,Math,Art,History}

Suponga R={(Bill,CompSci),(Mary,Math),(Bill,Art),
(Beth,History),(Beth,CompSci),(Dave,Math)}
Como (Beth,History) R se puede decir
tambin :
Beth R History
La relacin tambin puede representarse de forma
tabular.
20

RELACIONES
Supongamos que A es el conjunto de proveedores y B es el
conjunto de los productos. Especficamente, suponga que los
proveedores son S1, S2, y los productos P1, P2, y P3.
Entonces:
A={S1,S2}

B={P1, P2, P3}

Ahora se puede definir una relacin C como la lista de todos los

pares (x,y), donde x es un proveedor, y es un producto y x
tiene en existencia al producto y
Por ejemplo, si S1 Tiene P1 y P3, y S2 tiene P2 y P3, C es:
P1 P2 P3
C={(S1,P1)(S1,P3)(S2,P2)(S2,P3)} S1

S2

MC=

1 0 1
0 1 1
21

RELACIONES

S
1

P
1

S
2

P
2
P
3

22

RELACIONES
Otra forma de especificar una relacin es
mediante una regla:
Ej.-Si X={2,3,4} e Y={3,4,5,6,7}
Se define R de X a Y por :
(x,y) R si x divide a y (con residuo 0)
R={(2,4),(2,6),(3,3),(3,6),(4,4)}
DR={2,3,4} dominio
RR={3,4,6} rango

relacin

23

RELACIONES
Ej.-Sea R una relacin sobre X={1,2,3,4} definida por:
(x,y) R si x y
R={(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}
DR=RR
Ej.- Represente la relacin anterior como un digrafo:
1

4
3

24

Operaciones de Relaciones
Complemento: El complemento de una Relacin (R) consta
de todos los pares del producto cartesiano de Dos conjuntos
UXV Que no estn en la relacin (R)
Sea R: X<->Y y S: U<->V dos relaciones. Los espacios de
dominio son X={a,b,c} y U={a,b}, y los espacios de rango
son Y={A,B,C} y V={B,C}. Ademas, R={(a,A),(a,B),(b,C)} y
S={(a,B),(b,C)}.
Calcular ~S
UXV={(a,B),(a,C),(b,B),(b,C)}
~S={(a,C),(b,B)}

Para RUS, R S, y R-S se tiene

R U S ={(a,A),(a,B),(b,C)}
R S ={(a,B),(b,C)}
R - S ={(a,A)}
25

PROPIEDADES DE LAS
RELACIONES

Reflexiva
No reflexiva
Simtrica
Antisimtrica
Transitiva
Equivalencia

26

PROPIEDADES DE LAS RELACIONES

Def.- Una relacin R sobre un conjunto X es
llamada reflexiva si (x,x) R para toda xX.
Ej.-Si X={1,2,3,4} y R={(1,1),(1,2),(1,3),(1,4),(2,2),
(2,3),(2,4),(3,3),(3,4),(4,4)} entonces R es reflexiva.

Haga el digrafo de esta relacin. Qu

caracterstica distintiva posee?

27

PROPIEDADES DE LAS RELACIONES

Def.- Una relacin R sobre un conjunto X es
llamada No reflexiva si (x,x) R para toda xX.
Otras palabras, no existe xX, tal que , xRx
Ej.-Si X={1,2} y R={(1,2),(2,1),(1,1)}
entonces R ni es reflexiva ya que no contiene el
elemento (2,2)
Pero tampoco es no reflexiva puesto que contiene al
elemento (1,1)

R={(1,2),(2,1)} Es No Reflexiva
28

PROPIEDADES DE LAS RELACIONES

Def.- Una relacin R sobre un conjunto A es
llamada simtrica si para todo x,y A, si (x,y)
R, entonces (y,x) R.
Ej.- R={(a,a),(b,c),(c,b),(d,d)} es una relacin
simtrica.
Haga el digrafo de esta relacin. Qu
caracterstica distintiva posee?

29

RELACIONES
Def.- Una relacin R sobre un conjunto A es
llamada antisimtrica si para todo x,y A, si
(x,y) R, y xy, entonces (y,x) R.
Ej.- R={(a,a),(b,b), (c,c)} es una relacin
antisimtrica, simtrica y reflexiva.
Qu caracterstica distintiva poseera el digrafo
de una relacin antisimtrica?

30

RELACIONES
Def.- Una relacin R sobre un conjunto X es
llamada transitiva si para todo x,y,z X, si
(x,y) R, y (y,z)R, entonces (x,z) R.
Ej.- R={(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),
(4,4) es una relacin transitiva.
Qu caracterstica distintiva poseera el digrafo
de una relacin transitiva?
Contar el nmero de relaciones transitivas
sobre un conjunto A es una tarea muy difcil.
31

RELACIONES
Def.-Una relacin R es una relacin de
equivalencia si y solo si es reflexiva, simtrica y
transitiva
Ej.- R={(1,1),(2,2), (3,3),(1,2),(1,3),(2,3),(2,1),(3,1),(3,2)}
es una relacin reflexiva, simtrica y
transitiva.
Por lo tanto es una relacin de equivalencia
32

LA CONVERSA DE UNA
RELACIN
Def.- Si R es una relacin de X a Y, la conversa
de R, denotada R-1, es la relacin de Y a X
definida por:
R-1={(y,x)|(x,y) R}
Ej.- La conversa de R={(2,4),(2,6),(3,3),(3,6),
(4,4)} es
R-1={(4,2),(6,2),(3,3),(6,3),(4,4)}

33

COMPOSICIN DE RELACIONES
Def.- Sea R1 una relacin de X a Y y R2 una
relacin de Y a Z. La composicin de R1 y R2,
denotada por R2oR1, es la relacin de X a Z
definida por:
R2oR1={(x,z)|(x,y) R1 y (y,z) R2 para algn yY}

Ej.- Encuentre la composicin R2oR1 para las

relaciones:
R1={(1,2),(1,6),(2,4),(3,4),(3,6),(3,8)} R2={(2,u),
(4,s),(4,t),(6,t),(8,u)}
R2oR1=
34

LA POTENCIA DE UNA
RELACION
Def.- Dado un conjunto A y una relacin R sobre
A, definimos las potencias de R
recursivamente:
R1=R
Ej.- Si A={1,2,3,4} y R={(1,2),(1,3), (2,4), (3,2)},
entonces:
R1={(1,2),(1,3), (2,4), (3,2)}
R2= R1oR={(1,4), (1,2), (3,4)}, R3={(1,4)}, y para n 4, Rn=

35

FUNCIONES
Una funcin es un tipo especial de relacin.
Recordemos que una relacin R de X en Y es un
subconjunto del producto carteciano XxY.
Una funcin f de X en Y es una relacin de X en Y
con las siguientes propiedades:
El dominio de f es X
Si (x,y),(x,y) f, entonces y=y
A veces, una funcin de X en Y se denota como f: X>Y
36

FUNCIONES
Def.- Para conjuntos no vacos A,B, una funcin, mapeo o
transformacin f, desde A hasta B, denotado f:AB, es
una relacin desde A hasta B en la cual cada elemento de
A aparece exactamente una vez como el primer
componente de una pareja ordenada en la relacin.
Ej.- Para A={1,2,3} y B={w,x,y,z}
f={(1,w), (2,x), (3,x)} es una funcin, y consecuentemente
una relacin, desde A hasta B.
R1={(1,w), (2,x)} y R2={(1,w),(2,w),(2,x),(3,z)} son
relaciones ms no funciones, desde A hasta B. Porqu no?
37

FUNCIONES
Def.-Para la funcin f:AB,
A es llamado el dominio de f y
B el codominio de f.
El subconjunto de B que consiste de aquellos
componentes que aparecen como segundos
componentes en las parejas ordenadas de f es
llamado el rango de f y es denotado por f(A),
porque es el conjunto de imgenes de los
elementos de A bajo f.
38

FUNCIONES
Para A={1,2,3} y B={w,x,y,z}
f={(1,w), (2,x), (3,x)} es una funcin, y consecuentemente
una relacin, desde A hasta B.

Ej.- En el ejemplo anterior,

el dominio de f={1,2,3},
el codominio de f={w,x,y,z} y
el rango de f=f(A)={w,x}

39

FUNCIONES
Ej.- La relacin R={(1,a),(2,a),(3,b)}, de X={1,2,3,4} en
Y={a,b,c}
Es una funcin?
no es una funcin de X en Y. No se cumple la propiedad 1,
el dominio de R, {1,2,3}, no es igual a X
Ej.- La relacin R={(1,a),(2,b),(3,c),(1,b)}, de
X={1,2,3} en Y={a,b,c}
Es una funcin?
no es una funcin de X en Y. No se cumple la propiedad 2,
tenemos (1,a) y (1,b) estan en R pero a b
40

Ejercicios en clase
Cuales de las siguientes relaciones son funciones de
X={1,2,3} a Y={1,2,3}. En cada caso indicar el dominio y el
rango de la relacin

F1={(1,3),(2,3),(3,3)}
F2={(1,3),(1,4),(2,3),(2,4)}
F3={(1,1),(2,2),(3,3)}
F4={(1,2)}

Sean f={(1,c),(2,a),(3,b),(4,c)}, g={(a,2),(b,1),(c,4)} y

h={(1,A),(2,B),(3,D),(4,D)}
Encuentre:

gof
h o (g o f)
(h o g) o f
41

FUNCIONES
Teo.- Si A y B son conjuntos con |A|=m, |B|=n. El total de
funciones f:AB, sera: |B||A|=nm.
Verifique en Grimaldi la demostracin.
Def.- Una funcin f:AB es llamada uno-a-uno o
inyectiva, si cada elemento de B aparece o existe a lo
ms una vez como imagen de un elemento de A.
Una funcin f de X en Y es uno a uno o inyectiva si para
cada y Y existe a lo mas una x X tal que f(x)=y
Ej.- Sea A={1,2,3} y B={1,2,3,4,5}.
La funcin f={(1,1),(2,3),(3,4)} es una funcin uno-auno desde A hasta B;
g={(1,1),(2,3),(3,3)} es una funcin desde A hasta B,
pero no es uno-a-uno.

42

 f={(1,b),(3,a),(2,c)} de X={1,2,3} en
Y={a,b,c,d}
Es una funcin uno a uno?
Por que?

43

FUNCIONES
Def.- Una funcin f:AB es llamada suprayectiva, si f(A)=B
(esto es, para toda b B existe al menos una a A con
f(a)=b).
Si f es una funcin de X en Y y el rango de una f es Y, decimos
que la funcin f es suprayectiva.
Ej.- Si A={1,2,3,4} y B={x,y,z}, entonces
f1={(1,z),(2,y),(3,x), (4,y)} es suprayectivas.
Sin embargo g={(1,x),(2,x), (3,y), (4,y)} no es suprayectiva
ya que falta z. El rango de g={x,y} y debe de ser {x,y,z}
Def.- Una funcin uno-a-uno y suprayectiva, es llamada
biyeccin.
Def.- Suponga que f es uno-a-uno y suprayectiva de X a Y.
La relacin conversa: {(y,x)|(x,y) f} es una funcin de Y a 44
X, denotada f-1, llamada inversa.

Determinar cuales de las siguientes funciones son uno-a-uno,

cuales son suprayectiva

f:13 -> {a,b,c}

f:13 -> {a,b,c,d}
f:13 -> {1..2}

Uno a uno: cada elemento de B aparece o existe a lo ms una vez

como imagen de un elemento de A.
Suprayectiva: para toda b B existe al menos una a A. El rango de f
Debe de ser igual a B

F1 uno, suprayectiva y biyeccion

F2 uno
F3 supra

f={(1,a),(2,b),(3,c)}
f={(1,a),(2,b),(3,c)}
f={(1,2),(2,1),(3,2)}

45

Auto estudio y trabajo de

investigacin
Estudiar induccin matemtica entregar la
investigacin del tema
Libros:

Teora de autmatas y lenguajes formales

Matemticas discretas y lgica (winfried Karl Grassmann)
Matemticas discretas (Richard Johnsonbaugh) (Grimaldi)
O cualquier libro de matemticas discretas

46

Regresar a parte uno

47