Documentos de Académico
Documentos de Profesional
Documentos de Cultura
INTRODUCCIÓN
Los conceptos que se estudiaran en el presente módulo están muy relacionados con
los vistos en el módulo 2. Por lo tanto, el estudioso del programa de Ingeniería de
Software de la Universidad Manuela Beltrán podrá encontrar relaciones y similitudes
entre estas las temáticas. El estudioso tendrá bases firmes para poder realizar
operaciones entre conjuntos y determinar relaciones entre ellos para aplicarlas en su
trabajo como ingeniero de software.
Con este módulo culmina una etapa más del aprendizaje y formación del estudioso del
programa de Ingeniería de Software de la Universidad Manuela Beltrán, pero como
todo profesional, el estudioso no puede dar por terminado su proceso de aprendizaje
en matemáticas. Debe seguir estudiando y preparándose para los nuevos retos
tecnológicos que vienen.
1
Matemáticas Discretas
COMPETENCIAS DE LA ASIGNATURA
ESTRUCTURA TEMÁTICA
1. CONJUNTOS ................................................................................................................................. 5
CONJUNTO: .......................................................................................................................... 5
1.2 SUBCONJUNTOS. ............................................................................................................... 7
1.3 CONJUNTO UNIVERSAL Y CONJUNTO VACIO. ......................................................... 9
1.4 CONJUNTOS DISYUNTOS. ............................................................................................. 10
1.5 DIAGRAMAS DE VENN .................................................................................................... 10
1.6 OPERACIONES CON CONJUNTOS. ............................................................................. 16
1.6.1 UNION ENTRE CONJUNTOS. ....................................................................................... 16
1.6.2 INTERSECCIÓN ENTRE CONJUNTOS. ...................................................................... 20
1.6.3 DIFERENCIA ENTRE CONJUNTOS............................................................................. 24
1.6.4 DIFERENCIA SIMÉTRICA ENTRE CONJUNTOS...................................................... 29
1.6.5 COMPLEMENTO DE UN CONJUNTO. ........................................................................ 33
1.7 ALGEBRA DE CONJUNTOS ........................................................................................... 35
1.8 RELACIONES ENTRE CONJUNTOS. ............................................................................ 41
1.8.1 PRODUCTO ENTRE CONJUNTOS. ............................................................................. 41
1.8.2 PROPIEDAD REFLEXIVA. ............................................................................................. 43
2
Matemáticas Discretas
1.8.3 PROPIEDAD SIMÉTRICA. .............................................................................................. 43
1.8.4 PROPIEDAD TRANSITIVA. ............................................................................................ 44
1.8.5 PROPIEDAD ANTISIMÉTRICA. ..................................................................................... 44
1.8.6 RELACIÓN DE EQUIVALENCIA. .................................................................................. 45
1.8.6 RELACIÓN DE ORDEN. .................................................................................................. 48
1.9 GRÁFOS Y ÁRBOLES ...................................................................................................... 54
1.9.1 GRAFOS............................................................................................................................. 54
1.9.2 MULTIGRAFOS. ............................................................................................................... 55
1.9.4 CAMINOS Y CONECTIVIDAD. ....................................................................................... 56
1.9.5 GRAFOS ETIQUETADOS. .............................................................................................. 57
1.9.6 ÁRBOLES. ......................................................................................................................... 58
BIBLIOGRAFÍA ................................................................................................................................... 65
3
Matemáticas Discretas
IDEOGRAMA
4
Matemáticas Discretas
1. CONJUNTOS
Antes que nada vamos a definir lo que es un conjunto, de que se compone y las
diferentes clases de conjuntos.
CONJUNTO:
Un conjunto es una agrupación o colección de objetos que comparten
características comunes y se representa con las letras mayúsculas
𝑨, 𝑩, 𝑪, 𝑫, 𝒆𝒕𝒄. Los objetos que conforman un conjunto se llaman elementos y se
representan con letras minúsculas 𝒂, 𝒃, 𝒄, 𝒅, 𝒆, 𝒇, 𝒆𝒕𝒄. (de la Fuente Lopez, 2011)
𝟓∈𝑨
De la misma manera, decimos que 12 no pertenece al conjunto A, ya que no es un
número que esta entre 1 y 10, y lo escribimos así:
5
Matemáticas Discretas
𝟏𝟐 ∉ 𝑨
Para especificar los conjuntos se pueden utilizar cualquiera de las siguientes
notaciones.
𝑀 = {1, 2, 3, 6, 9, 18}
6
Matemáticas Discretas
Con la característica que x es un número natural mencionamos que todo número
natural pertenece al conjunto N y no hay necesidad de escribir los números (que por
cierto nunca terminaríamos de escribirlos).
𝑃 = {𝑥 |𝑥 𝑒𝑠 𝑝𝑎𝑟}
Con esta característica queda entendido que todos los números pares pertenecen al
conjunto P.
1.2 SUBCONJUNTOS.
Si tenemos por ejemplo dos conjuntos A y B con la característica de que todos los
elementos que pertenecen al conjunto A también pertenecen al conjunto B, entonces
decimos que el conjunto A es un subconjunto del conjunto B, es decir:
𝑨⊆𝑩
7
Matemáticas Discretas
𝑨⊆𝑩
De la misma manera podemos utilizar la definición de subconjunto para determinar
cuándo dos conjuntos son iguales, así:
𝑨 =𝑩 ↔ 𝑨⊆ 𝑩⋀𝑩 ⊆𝑨
Es decir que dos conjuntos son iguales siempre y cuando ambos estén contenidos
entre sí. Miremos el siguiente ejemplo para comprenderlo mejor.
𝐴 = {𝑥 |𝑥2 + 5 = 6}
𝐵 = {−1, 1}
Podemos observar que los elementos del conjunto A pertenecen al conjunto B y del
mismo modo los elementos del conjunto B pertenecen al conjunto A (el estudioso
puede comprobar que la ecuación 𝒙𝟐 + 𝟓 = 𝟔 tiene por soluciones a -1 y 1). Por lo
tanto se cumple lo siguiente:
𝑨⊆𝑩⋀𝑩⊆𝑨→𝑨=𝑩
Para denotar que un conjunto no es un subconjunto de otro se utiliza el símbolo " ⊈ "
lo que quiere decir que por lo menos un elemento de A no pertenece al conjunto B.
𝐴 = {𝑥 |𝑥2 − 8 = 8 }
𝐵 = {−4, 4, 5, 8}
Podemos observar que A es un subconjunto de B ya que las soluciones de la ecuación
𝒙𝟐 − 𝟖 = 𝟖 están en el conjunto B (el estudioso puede comprobar que la ecuación
8
Matemáticas Discretas
𝟐
𝒙 − 𝟖 = 𝟖 tiene por soluciones a -4 y 4). Pero B no es un subconjunto de A porque B
tiene dos elementos que no pertenecen al conjunto A (5 y 8). Por lo tanto tenemos que:
𝑨⊆𝑩⋀𝑩⊈𝑨→𝑨≠𝑩
En teoría de conjuntos existen dos tipos de conjuntos muy importantes que siempre
están presentes en cualquier conjunto: el conjunto universal y el conjunto vacío.
5 ∉ 𝒁− −2 ∈ 𝒁− −9 ∈ 𝒁− 4 ∉ 𝒁−
Este conjunto se representa como dos llaves que no contienen nada entre ellas, así
∅={}
9
Matemáticas Discretas
Es de aclarar que en teoría de conjuntos sólo existe un conjunto vacío, es decir si L y
M son conjuntos vacíos, se cumple obligatoriamente que L y M son iguales, ya que
tienen los mismo elementos (ninguno).
De manera resumida podemos establecer la siguiente relación del conjunto vacío con
un conjunto cualquiera C y el conjunto universal U (Lipschutz & Lipson, 2009, pág. 3):
∅⊆𝐶⊆𝑈
Otro tipo especial de conjuntos son aquellos que no tienen ninguna relación entre sí,
es decir, no comparten elementos. Estos tipos de conjuntos se denominan conjuntos
disyuntos o ajenos (Lipschutz & Lipson, 2009).
10
Matemáticas Discretas
Bernhard Bolzano (1781 – 1848) y Ernst Zermelo (1871 – 1953) los utilizaron y
perfeccionaron para representar las operaciones entre los conjuntos. Por su gran
similitud con los diagramas de Euler se pueden encontrar libros o material matemático
donde los llaman diagramas de Venn – Euler.
Los
1Estas diagramas
relaciones de Venn
las estudiaremos en el son gráficos
siguiente que se utilizan para representar las
apartado.
relaciones entre conjuntos. Cada conjunto es representado por un círculo y
los elementos de cada conjunto están dentro de dicho círculo. Además el o
los círculos a su vez están encerrados por un rectángulo que equivale al
conjunto universal de la situación (Briand, 2011).
Ejemplo 11: Los siguientes son los diagramas de Venn de dos conjuntos A y B
cualesquiera. El rectángulo que los contiene representa el conjunto universal
Al momento de construir los diagramas de Venn hay que tener en cuenta tres aspectos
los cuales se abordarán a continuación. Si P y Q son dos conjuntos cualesquiera se
pueden presentar cualquiera de los siguientes casos
1. Que alguno de los conjuntos sea subconjunto del otro: En este caso el
diagrama de Venn del conjunto que es subconjunto del otro se dibuja dentro del
diagrama del otro conjunto, así:
11
Matemáticas Discretas
2. Los conjuntos sean disyuntos: Si los dos conjuntos son disyuntos, es decir que
no tienen elementos comunes, el diagrama de Venn serán los dos círculos
correspondientes a los conjuntos dibujados de manera separada dentro del
conjunto universal, así:
3. Los conjuntos comparten algunos elementos entre sí: Si los dos conjuntos
comparten algunos elementos entre sí, el diagrama de Venn serán los dos círculos
que se cortan en dos puntos, así:
12
Matemáticas Discretas
Este es el caso que más se presenta en la práctica. Este tipo de situación presenta
varios casos: elementos que están en P pero no están en Q (parte sombreada de
amarillo); elementos que están en Q pero no están en P (parte sombreada en verde);
elementos que son comunes en ambos conjuntos (parte sombreada de gris);
elementos que hacen no hacen parte de P ni de Q (parte sin sombrear) como lo
muestra el siguiente diagrama:
13
Matemáticas Discretas
𝑀 = {2, 4, 6, 8, 10}
𝑁 = {1, 2, 3, 4, 5}
𝑈 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
En el diagrama podemos ver que los elementos que son comunes en ambos conjuntos
se colocan en la parte donde se cortan los dos círculos y en el resto de cada círculo
se colocan los elementos que no son comunes y por fuera de los círculos se colocan
los elementos que le hacen falta a estos dos conjuntos para ser igual al conjunto
universal.
14
Matemáticas Discretas
𝑋 = {1, 2, 3, 5, 7, 9}
𝑌 = {2, 4, 6, 8, 9}
𝑍 = {1, 4, 5, 7, 9, 11}
15
Matemáticas Discretas
Teniendo en cuenta el anterior diagrama de Venn, se puede realizar el siguiente
análisis:
El 9 es el elemento en común de los tres conjuntos y se escribe en la región donde
se cortan los tres conjuntos.
En la parte donde se cruzan el círculo rojo y verde se escriben los elementos que
son comunes sólo en el conjunto X y Z que son 1, 5, y 7.
En la parte donde se cruzan el círculo rojo y azul se escriben los elementos que
son comunes sólo en el conjunto X y “Y” que es el 2.
En la parte donde se cruzan el círculo azul y verde se escriben los elementos que
son comunes sólo en el conjunto “Y” y Z que es el cuatro.
En el resto de cada uno de los círculos se escriben los elementos que no son
comunes con ningún conjunto.
En la parte exterior a los círculos se escriben los elementos que les hace faltan a
los conjuntos para ser igual al conjunto universal.
Al igual que las preposiciones que estudiamos en el anterior módulo, con los conjuntos
se pueden realizar una serie de operaciones, las cuales se pueden representar por
medio de los diagramas de Venn. Vamos a estudiarlas.
Cuando se realiza esta operación se tienen en cuenta todos los elementos que están
en A o están en B incluyendo aquellos elementos que se repiten o no. Especificado
por comprensión la unión se representa así
𝐴 ∪ 𝐵 = {𝑥|𝑥 ∈ 𝐴 𝒐 𝑥 ∈ 𝐵 }
16
Matemáticas Discretas
Representada por medio del diagrama de Venn la unión es la parte sombreada de
color violeta de los círculos de cada conjunto, así:
17
Matemáticas Discretas
𝐸 = {5, 10, 15, 20}
𝐸∪
𝐹=
18
Matemáticas Discretas
𝑍 = {𝑥|𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 8}
El conjunto unión de estos conjuntos y su diagrama de Venn respectivo son:
19
Matemáticas Discretas
Vemos que los conjuntos no tienen elementos comunes, es decir son disyuntos, por lo
que en la parte en que se cortan no se colocan elementos.
𝐴 = {1, 2, 3, 4, 5}
𝐵 = {6, 7, 8, 9}
Un posible pseudocódigo que realice la unión entre estos dos conjuntos seria
(utilizando el programa PSeInt que se utilizó en el módulo uno).
Cuando se realiza esta operación se tienen en cuenta sólo los elementos que están
en A y en B excluyendo aquellos elementos que se no se repiten. Especificado por
comprensión la intersección se representa así:
20
Matemáticas Discretas
𝐴 ∩ 𝐵 = {𝑥 |𝑥 ∈ 𝐴 𝒚 𝑥 ∈ 𝐵}
En la definición de intersección hay un aspecto muy importante que hay que tener
presente y es la palabra “y”. Si realizamos una comparación con el diagrama de la
operación lógica "⋀" podemos observar que sus diagramas son exactamente iguales
ya que esta operación lógica significa, en el lenguaje normal “y”.
21
Matemáticas Discretas
.
NOTA ACLARATORIA: Los elementos de la intersección
solamente se escriben, en el diagrama de Venn, en la zona donde
los círculos se cortan, de lo contrario queda mal representado.
𝐶 = {𝑥 |𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 10}
𝐷 = {1, 2, 3, 5, 7}
Entonces la intersección entre conjuntos, que también es un conjunto, se conforma de
todos los elementos que están en C y que están en D. Escrito por extensión la
intersección sería:
𝐶 ∩ 𝐷 = {1, 2, 5}
Representado en diagrama de Venn seria:
22
Matemáticas Discretas
𝑆 ∩ 𝑇 = {20}
23
Matemáticas Discretas
Ejemplo 19: Sean M y O los siguientes conjuntos
Cuando se realiza esta operación se tienen en cuenta sólo los elementos que están
en A excluyendo aquellos elementos que se repiten y están en B. Especificado por
comprensión la diferencia se representa así:
𝐴 − 𝐵 = {𝑥 |𝑥 ∈ 𝐴 𝑦 𝑥 ∉ 𝐵 }
24
Matemáticas Discretas
Representada por medio del diagrama de Venn, la diferencia es la parte sombreada
de color azul del círculo del conjunto A, así:
25
Matemáticas Discretas
𝐴−𝐵 ≠𝐵−𝐴
Ejemplo 20: Sean H e I los siguientes conjuntos
𝐻 − 𝐼 = {−5, −7}
Representado en diagrama de Venn seria:
26
Matemáticas Discretas
Por otro lado, si queremos hallar 𝐼 − 𝐻 tenemos que tener en cuenta los elementos
que están en el conjunto I y no están en el conjunto H. Por lo tanto la diferencia por
comprensión es:
27
Matemáticas Discretas
28
Matemáticas Discretas
Cuando se realiza esta operación se tienen en cuenta los elementos que están en A y
los que están en B menos los elementos que están en su intersección. Especificado
por comprensión la diferencia simétrica se representa así:
𝐴 △ 𝐵 = (𝐴 − 𝐵)⋃(𝐵 − 𝐴)
Representada por medio del diagrama de Venn, la diferencia simétrica es la parte
sombreada de color naranja del círculo de los conjuntos, así
29
Matemáticas Discretas
30
Matemáticas Discretas
31
Matemáticas Discretas
32
Matemáticas Discretas
𝐴𝐶 = {𝑥|𝑥 ∈ 𝑈 𝑦 𝑥 ∉ 𝐴}
Representado por medio del diagrama de Venn, el complemento de un conjunto es la
parte sombreada de color amarillo que esta por fuera del círculo del conjunto A, así:
𝑈 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
33
Matemáticas Discretas
Entonces el complemento de N, ( 𝑵𝑪 ), se conforma de todos los elementos que le
hacen falta al conjunto N para ser igual al conjunto universal U.
𝑁 𝐶 = {1, 3, 5, 7, 9, 10}
Representado en diagrama de Venn seria:
𝑈 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
𝑇 𝐶 = {2, 4, 6, 8, 10}
Representado en diagrama de Venn seria
34
Matemáticas Discretas
Ejemplo 27: Vamos a construir un posible pseudocódigo para el conjunto del ejemplo
26 que realice el complemento de un conjunto seria (utilizando el programa PSeInt que
se utilizó en el módulo uno).
Al igual que en el módulo dos estudiamos unas leyes que cumplen las proposiciones
(algebra de proposiciones), los conjuntos cumplen una serie de leyes y/o propiedades,
las cuales se presentan a continuación2.
2
Imagen tomada de Lipschutz & Lipson (2009, pág. 7)
35
Matemáticas Discretas
Estas leyes o propiedades son similares a las leyes del algebra de proposiciones
estudiadas en el módulo dos. Las equivalencias son las siguientes: la equivalente a la
negación en lógica es el complementos en conjunto; el equivalente al operador lógico
"⋁" es la unión de conjuntos " ∪ "y el equivalente al operador lógico "⋀" es la
intersección de conjuntos " ∩ ".
Ejemplo 28: Vamos a aplicar las leyes de los ítems de la primera columna (indicados
con la letra a) a los siguientes conjuntos (los de la segunda columna quedan como
ejercicios para el estudioso).
𝐴 = {1, 2, 3, 4, 5}
𝐵 = {6, 7, 8, 9, 10}
𝐶 = {11, 12, 13}
𝑈 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
Ley idempotente: 𝐴 ∪𝐴 =𝐴
36
Matemáticas Discretas
𝐴 ∪ 𝐴 = {1, 2, 3, 4, 5}
Ley asociativa: (𝐴 ∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶)
𝐴 ∪ 𝐵 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Ley conmutativa: 𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴
Ley distributiva: 𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)
𝐵 ∩ 𝐶 = {∅}
𝐴 ∪ (𝐵 ∩ 𝐶) = {1, 2, 3, 4, 5}
𝐴 ∪ 𝐵 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
SON
IGUALES
𝐴 ∪ 𝐶 = {1, 2, 3, 4, 5, 11, 12, 13}
(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) = {1, 2, 3, 4, 5}
𝐴 ∪ ∅ = {1, 2, 3, 4, 5}
𝐴∪𝑼=𝑼
37
Matemáticas Discretas
Ley de involución: (𝐴𝐶 )𝐶 = 𝐴
𝐴𝐶 = {6, 7, 8, 9, 10, 11, 12, 13}
(𝐴𝐶 )𝐶 = {1, 2, 3, 4, 5}
Leyes de complemento: 𝐴 ∪ 𝐴𝐶 = 𝑼
𝑼𝑪 = ∅
𝐴 ∪ 𝐵 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Si se quiere demostrar estas leyes por medio de diagramas de Venn, se realizan dos
diagramas de Venn donde cada uno representa un lado de la igualdad de cada ley y
luego se observa su equivalencia. Así por ejemplo para demostrar la ley de De Morgan
por medio de diagrama de Venn se procede así:
38
Matemáticas Discretas
39
Matemáticas Discretas
Al realizar la comparación entre los dos diagramas, se puede observar que ambos
diagramas son iguales, por lo que se permite concluir que se cumple una de las leyes
de De Morgan.
40
Matemáticas Discretas
𝐴 × 𝐵 = {(𝑎, 𝑏)|𝑎 ∈ 𝐴 𝑦 𝑏 ∈ 𝐵}
Con la definición de producto cartesiano se puede observar que no cumple con la
propiedad conmutativa. En general podemos escribir que:
41
Matemáticas Discretas
𝐴×𝐵 ≠𝐵×𝐴
Ejemplo 29: Sean los conjuntos A y B los siguientes:
𝐴 = { 2, 4, 6}
𝐵 = { 𝑚, 𝑛, 𝑜}
𝐴 × 𝐵 = {(2, 𝑚), (2, 𝑛), (2, 𝑜), (4, 𝑚), (4, 𝑛), (4, 𝑜), (6, 𝑚), (6, 𝑛), (6, 𝑜)}
𝐵 × 𝐴 = {(𝑚, 2), (𝑚, 4), (𝑚, 6), (𝑛, 2), (𝑛, 4), (𝑛, 6), (𝑜, 2), (𝑜, 4), (𝑜, 6)}
𝑂 = { 2}
𝑃 = { 3, 6, 9, 12, 15}
𝐴 = {6, 9, 12}
42
Matemáticas Discretas
𝐴 × 𝐴 = {(6,6), (6,9), (6,12), (9,6), (9,9), (9,12), (12,6), (12,9), (12,12)}
Luego de definir el producto entre conjuntos, vamos a definir algunas propiedades que
nos servirán para comprender la relación de equivalencia y de orden. Sean a, b, c, d
elementos que pertenecen a un conjunto A cualquiera y R una relación definida en A.
entonces se cumplen las siguientes propiedades.
Esta propiedad nos indica que si existe una pareja conformada por los elementos
(𝒂, 𝒃) debe existir la pareja (𝒃, 𝒂) para que la relación sea simétrica. Un ejemplo de
ello podemos verlo en el ejemplo 31 donde estaban las parejas
43
Matemáticas Discretas
Esta propiedad nos indica que para que una relación sea transitiva se debe cumplir
que el segundo elemento de una pareja ordenada debe coincidir con el primero de otra
y si se cumple esto el primer elemento de la primera pareja y el segundo elemento de
la segunda pareja deben coincidir respectivamente con el primero y segundo elemento
de una tercera pareja. Un ejemplo de ello es el conjunto del ejemplo 31 ya que:
44
Matemáticas Discretas
Esta propiedad nos hace referencia a que si existe la pareja (𝒂, 𝒃) y existe la pareja
(𝒃, 𝒂) sólo puede ser porque 𝒂 = 𝒃, pero si a es distinto de b entonces sólo existirá
una de las parejas. No se puede considerar esta propiedad como la opuesta a la
simetría.
𝑀 = {(1,2), (1,3), (1,4), (2,3), (2,4), (3,4), (1,1), (2,2), (3,3) (4,4)}
En esta relación se puede apreciar que existe la pareja
(1,2), (1,3), (1,4), (2,3), (2,4), (3,4) pero no están las parejas
(2,1), (3,1), (4,1), (3,2), (4,2), (4,3) y existen las parejas (1,1), (2,2), (3,3) (4,4)
donde se cumple que 𝒂 = 𝒃.
𝑃 = {4, 8,12 }
Entonces el conjunto obtenido al aplicar esta relación sobre el conjunto “P” es
45
Matemáticas Discretas
𝑃 + 𝑃 = {(4 + 4), (4 + 8), (4 + 12), (8 + 4), (8 + 8), (8 + 12), (12
+ 4), (12 + 8), (12 + 12)}
Vamos a comprobar si la relación suma es una relación de equivalencia para el
conjunto “P”, para ello debe cumplir las propiedades:
Propiedad reflexiva: para que se cumpla esta propiedad cada elemento del
conjunto debe estar relacionado consigo mismo. Podemos observar que esta
propiedad se cumple porque
(4 + 4) (8 + 8) (12 + 12)
Propiedad simétrica: Para que se cumpla esta propiedad, si existe la pareja (a, b)
entonces debe existir la pareja (b, a). Podemos ver que esta propiedad se cumple
porque
Propiedad transitiva: Para que se cumpla esta propiedad, si existe la pareja (a,
b) y la pareja (b, c) debe existir la pareja (a, c). Podemos ver que esta propiedad
se cumple porque
Como se pudo demostrar que la relación suma cumple con las propiedades reflexiva,
simétrica y transitiva, podemos establecer que esta relación, en el conjunto “P”, es de
equivalencia.
𝑇 = {(1,3), (3,1), (4,3), (1,4), (4,1), (3,4), (1,1), (2,2), (3,3) (4,4)}
Propiedad reflexiva:
46
Matemáticas Discretas
(1,1), (2,2), (3,3) (4,4)
Propiedad simétrica
(1,3) 𝑦 (3,1) (4,3) 𝑦 (3,4) (1,4) 𝑦 (4,1)
Propiedad transitiva:
(1,3) 𝑦 (3,1) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (1,1)
(4,3) 𝑦 (3,1) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (4,1)
(1,4) 𝑦 (4,1) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (1,1)
(3,4) 𝑦 (4,3) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (3,3)
Propiedad reflexiva:
(1,1), (2,2), (3,3) (4,4)
Propiedad simétrica
(1,2) 𝑦 (2,1) (3,4) 𝑦 (4,3)
Propiedad transitiva:
𝐷 = {1, 2, 3, 4 }
Entonces el conjunto obtenido al aplicar esta relación sobre el conjunto A es
Propiedad reflexiva: para que se cumpla esta propiedad cada elemento del
conjunto debe estar relacionado consigo mismo. Podemos observar que esta
propiedad se cumple porque
(1 ≤ 1) (2 ≤ 2) (3 ≤ 3) (4 ≤ 4)
48
Matemáticas Discretas
Propiedad antisimétrica: Para que se cumpla esta propiedad, si existe la pareja
(a, b) entonces no debe existir la pareja (b, a). Podemos ver que esta propiedad se
cumple porque ninguna pareja tiene su inverso.
Propiedad transitiva: Para que se cumpla esta propiedad, si existe la pareja (a,
b) y la pareja (b, c) debe existir la pareja (a, c). Podemos ver que esta propiedad
se cumple porque
(1 ≤ 2) y (2 ≤ 3) entonces (1 ≤ 3)
(1 ≤ 1) 𝑦 (1 ≤ 3) entonces (1 ≤ 3)
(1 ≤ 2) y (2 ≤ 2) entonces (1 ≤ 2)
(2 ≤ 3) y (3 ≤ 3) entonces (2 ≤ 3)
(1 ≤ 2) y (2 ≤ 3) entonces (1 ≤ 3)
(1 ≤ 3) y (3 ≤ 3) entonces (1 ≤ 3)
Como se pudo demostrar que la relación “menor o igual que” cumple con las
propiedades reflexiva, antisimétrica y transitiva, podemos establecer que esta relación,
en el conjunto “D”, es de orden parcial.
𝑅 = {(𝑎, 𝑎), (𝑎, 𝑏), (𝑎, 𝑐), (𝑎, 𝑑), (𝑏, 𝑏), (𝑏, 𝑐), (𝑏, 𝑑), (𝑐, 𝑐), (𝑐, 𝑑), (𝑑, 𝑑)}
Propiedad reflexiva:
(𝑎, 𝑎) (𝑏, 𝑏) (𝑐, 𝑐) (𝑑, 𝑑)
Propiedad antisimétrica: Podemos ver que esta propiedad se cumple porque
ninguna pareja tiene su inverso.
Propiedad transitiva:
49
Matemáticas Discretas
(𝑎, 𝑐) 𝑦 (𝑐, 𝑑) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (𝑎, 𝑑)
(𝑏, 𝑐) 𝑦 (𝑐, 𝑑) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (𝑏, 𝑑)
(𝑎, 𝑎) 𝑦 (𝑎, 𝑑) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (𝑎, 𝑑)
(𝑏, 𝑏) 𝑦 (𝑏, 𝑑) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (𝑏, 𝑑)
(𝑐, 𝑐) 𝑦 (𝑐, 𝑑) 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (𝑐, 𝑑)
En esta definición la palabra completa hace referencia a que si existe el par (a, b)
puede existir (no necesariamente) el par (b, a) o pueden existir ambos. Esto se cumple
para cada elemento del conjunto (de la Fuente Lopez, 2011)
NOCÍON DE FUNCIÓN.
50
Matemáticas Discretas
Con la temática de relación entre conjuntos, nos aproximamos a la idea de función.
1.8.96.2 FUNCIÓN.
Una función se puede definir como una relación entre dos conjuntos, en la que
se cumple que los elementos del conjunto de salida, llamado dominio, está
relacionado con uno y solo un elemento del conjunto de llegada, llamado rango.
(Contreras & Del Pino, 2011)
Hay tres maneras de conocer el comportamiento de una función: por medio de las
funciones inyectivas, sobreyectivas y biyectivas.
51
Matemáticas Discretas
Esta función se puede representar por medio de diagrama de Venn así:
52
Matemáticas Discretas
Esta función se puede representar por medio de diagrama de Venn así:
53
Matemáticas Discretas
1.9 GRÁFOS Y ÁRBOLES
Después de estudiado las operaciones y algunas relaciones que se trabajan con los
conjuntos, vamos a estudiar una aplicación importante de estos en programación y en
otras áreas afines: los grafos. En este apartado estudiaremos lo que son los grafos,
multígrafos, los caminos y conectividad de los grafos, los grafos etiquetados y
completos y los árboles, tanto en expansión como en expansión mínima. Si el
estudioso quiere profundizar en este tema le recomendamos que descargue el material
de apoyo y el citado en la bibliografía.
1.9.1 GRAFOS.
Un grafo G es un par (𝑉, 𝐸) donde 𝑉 = 𝑉(𝐺) es un conjunto cuyos elementos
se denominan vértices, puntos o nodos de 𝐺, y 𝐸 = 𝐸(𝐺) es un conjunto de
pares no ordenados de vértices distintos denominados aristas de 𝐺. Cuando se
desea recalcar las dos partes de un grafo 𝐺., grafo se denota 𝐺(𝑉, 𝐸) (Lipschutz
& Lipson, 2009)
𝑉 = {𝐴, 𝐵, 𝐶, 𝐷 }
𝐸 = {𝑒1 , 𝑒2 , 𝑒3 , 𝑒4 }
Los grafos pueden ser dirigidos o no dirigidos. Gráficamente un grafo dirigido tiene en
sus aristas flechas que indican de donde salen y a donde llegan. Gráficamente un grafo
54
Matemáticas Discretas
no dirigido es la figura anterior, donde sus aristas no tienen flechas. En un grafo dirigido
importa el orden donde se tome, es decir, no es lo mismo que la arista salga del nodo
A y llegue al B que salga de B y llegue al A. En cambio en los grafos no dirigidos no
importa el orden.
1.9.2 MULTIGRAFOS.
Un multígrafo es un grafo donde se presenta lo siguiente: dos vértices pueden
tener más de una arista, a esto se le denomina aristas múltiples y de un vértice
puede salir una arista que llegue al mismo vértice. Esta arista se llama lazo.
(Lipschutz & Lipson, 2009)
55
Matemáticas Discretas
Donde cada arista 𝑒𝑖 contiene a los vértices 𝑣𝑖−1 y 𝑣𝑖 (que aparecen a los
lados de 𝑒𝑖 en la secuencia) (Lipschutz & Lipson, 2009).
Un camino simple es un camino en el que todos los vértices son distintos. Un camino
en que todas las aristas son diferentes se denomina recorrido. Un ciclo es un camino
cerrado de longitud 3 o más donde todos los vértices son distintos excepto 𝑣0 = 𝑣𝑛 .
Un ciclo de longitud k se denomina k-ciclo (de la Fuente Lopez, 2011).
56
Matemáticas Discretas
𝛼 = {𝐹, 𝐴, 𝐵, 𝐸, 𝐴, 𝐵, 𝐶, 𝐷 }
𝛽 = {𝐹, 𝐴, 𝐸, 𝐵, 𝐷 }
𝛾 = {𝐹, 𝐴, 𝐸, 𝐵, 𝐶, 𝐸, 𝐹 }
3
Ejemplo tomado y adaptado de Lipschutz & Lipson (2009, pág. 159)
57
Matemáticas Discretas
En un grafo etiquetado se le asignan valores a los vértices y/o a las aristas para
conocer el “peso” del grafo y así conocer la ruta más corta y viable posible en un grafo
por medio de la suma del peso de cada arista.
Si queremos encontrar el camino más corto de A hasta E seria (𝑨, 𝑩, 𝑬) ya que tiene
un peso de 5, en cambio el camino (𝑨, 𝑭, 𝑬) tiene un peso de 9 por lo tanto es más
largo en recorrer.
1.9.6 ÁRBOLES.
Un árbol A es un grafo que cumple con dos condiciones: es conexo, es decir
todos sus vértices están conectados, y no tiene ciclos, es decir no están unidos
tres o más vértices (Lipschutz & Lipson, 2009).
Ejemplo 40: Un ejemplo de árbol son los siguientes grafos, en los que se puede
observar que todos sus vértices están conectados y que no están conectados más de
dos vértices.
58
Matemáticas Discretas
Los árboles en expansión se construyen a partir de grafos que cumplan con las dos
condiciones mencionadas en la definición de árbol.
59
Matemáticas Discretas
Los árboles en expansión que se pueden construir a partir de este grafo son
60
Matemáticas Discretas
En los siguientes grafos, el (1) y el (2) son eulerianos, pero el (3) no ya que tiene un
vértice aislado.
61
Matemáticas Discretas
Para que un grafo sea euleriano debe cumplir con dos condiciones:
Sus vértices deben tener grado par, es decir el número de aristas incidentes en él
debe ser un número par.
El grafo debe ser convexo, es decir, todos los vértices tienen un camino para llegar.
Por ejemplo, el grafo (1) es euleriano porque todos sus vértices tienen grado par y
además todos están comunicados entre sí. Lo mismo sucede con en grafo (2). Pero
con el grafo (3) el vértice A solo tiene un grado y además está aislado, por lo que no
es un grafo euleriano.
62
Matemáticas Discretas
Para poder determinar si un grafo es hamiltoniano, se utiliza la siguiente ecuación que
relaciona los vértices con los caminos o aristas del grafo (Guerrero Jezzini, 2008, pág.
6):
𝟏
𝒎 ≥ 𝟐 (𝒏𝟐 − 𝟑𝒏 + 𝟔)
Donde m = número de aristas y n = número de vértices
Ejemplo 42: Vamos determinar si los siguientes grafos son hamiltonianos aplicando
la anterior ecuación.
𝟏
𝟔≥ ((𝟒)𝟐 − 𝟑. (𝟒) + 𝟔)
𝟐
𝟏
𝟔 ≥ (𝟏𝟔 − 𝟏𝟐 + 𝟔)
𝟐
𝟏
𝟔 ≥ (𝟏𝟐)
𝟐
63
Matemáticas Discretas
𝟔 ≥ 𝟔 Si cumple
Como si se cumple la desigualdad, se determina que el grafo (5) SI es hamiltoniano
GLOSARIO
BUCLE:
Arista que conecta al mismo vértice consigo mismo.
CAMINO:
64
Matemáticas Discretas
Conjunto de nodos que hay que recorrer para llegar desde un nodo origen hasta un
nodo destino.
CAMINO EULERIANO:
Camino que usa cada arista una y sólo una vez.
CAMINO HAMILTONIANO:
Camino que "visita" cada vértice una y sólo una vez.
CICLO:
Camino que empieza y acaba en el mismo vértice.
GRADO:
Número de aristas incidentes en un vértice.
PARADOJA:
Idea extraña opuesta a lo que se considera verdadero a la opinión general.
VÉRTICE:
Nodos de un grafo.
BIBLIOGRAFÍA
65
Matemáticas Discretas
Briand, E. (Diciembre de 2011). Emmanuel Briand - Page professionnelle. Obtenido de
http://emmanuel.jean.briand.free.fr/docencia/IMD/IMD2011/Material_IMD/Apun
tesIMD_EB/notasIMD.pdf
Contreras, J., & Del Pino, C. (2011). Facultad de Ciencias Químicas e Ingeniería,
Campus Tijuana, Universidad Autónoma de Baja California. Obtenido de
http://fcqi.tij.uabc.mx/usuarios/giovana/2_1_Funciones-es.pdf
Lipschutz, S., & Lipson, M. (2009). Matemáticas discretas (Tercera ed.). (H. Villagómez
Velázquez, Trad.) México D.F.: McGRAW-HILL/INTERAMERICANA
EDITORES, S.A. de C.V.
MATERIAL DE APOYO
66
Matemáticas Discretas
Lógica y teoría de conjuntos, Carlos Ivorra Castillo, 2007, disponible en
https://www.google.com.co/url?sa=t&rct=j&q=&esrc=s&source=web&cd=3&cad=rj
a&uact=8&ved=0CCsQFjAC&url=http%3A%2F%2Fwww.uv.es%2F~ivorra%2FLib
ros%2FLogica.pdf&ei=McpSVauAIYOogwSRyoGIAw&usg=AFQjCNHRPAI5Nwz7
-
DNAhiPbDR2wusMW8w&sig2=dFVrER9NpeJ3ul8MknXdhw&bvm=bv.93112503,
d.eXY
67