Matemáticas discretas

Unidad 2. Teoría de gráficas y Relaciones

Matemáticas discretas
2° Semestre

Actividad 1: Conceptos Fundamentales: las Relaciones y

Las Graficas

Alumna: Roberta Karina Palacios Castillo

Matrícula: ES1511103478

Grupo: (DS-DMDI-1901-B2-003)

Docente: JOSE FRANCISCO RICO GALLEGOS

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

La teoría de los grafos son una pareja de conjuntos (V, E) donde V es distinto de vacío y
E es un conjunto de pares de elementos de V.

Existen dos conjuntos de grafos:

 Dirigidos: los elementos de V son llamados vértices o nodos y sus pares E son
ordenados y llamados arcos, se representan con puntos y flechas.

 No dirigidos: en estos los elementos de V son llamados vértices o nodos, mientras

que los pares de E son no ordenados y son llamados aristas, las cuales son
representadas por puntos y líneas.

Elementos que los componen.

Estructura  Aristas: líneas que unen los vértices de un grafo

 Aristas adyacentes: 2 líneas que coinciden con el mismo vértice
 Aristas paralelas: 2 líneas conjuntas desde el vértice inicial al
final.
 Aristas cíclicas: línea que parte de un vértice para entrar en sí
misma.
 Cruce: dos líneas que cruzan el mismo punto
 Vértices: elementos que conforman un grafo, es decir las líneas
que conforman una figura y las cuales tienen un determino
objetivo.
 Camino: Se denomina camino de un grafo a un conjunto de
vértices interconectados por aristas.
Tipo Grafo simple: línea que une dos vértices en específico.

Multigrafo o pseudografo: el que acepta más de dos aristas en

un vértice.

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Grafo orientado, grafo dirigido o dígrafo: son a las que se les ha

agregado una orientación, es decir una flecha.

Grafo etiquetado: son aristas o vértices a las que se les ha

agregado un peso o etiquetado.

Grafo aleatorio: aristas que están relacionadas a otros vértices.

Hipergrafo
: aristas que pueden relacionarse con cualquier cantidad de
vértice

Grafo infinito: conjunto de vértices y aristas de cardinal infinito

Grafo plano: son los que ninguna arista se cruza

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Grafo regular: cada vértice tienen el mismo lado

Representación Estructura de listas

 Listas de incidencias: Las aristas son representadas con un
vector de pares, donde cada par representa una de las aristas

 Lista de adyacencia: es una representación de todas las aristas

o arcos de un grafo mediante una lista.

 Lista de grados: grafo no-dirigido es una secuencia de números,

que corresponde a los grados de los vértices del grafo.

Estructura matriciales
 Matriz de adyacencia: El grafo está representado por una matriz
cuadrada M de tamaño, donde es el número de vértices. Si hay
una arista entre un vértice x y un vértice y, entonces el elemento
es 1, de lo contrario, es 0.

 Matriz de incidencia: El grafo está representado por una matriz

de A (aristas) por V (vértices), donde [vértice, arista] contiene la
información de la arista (1 - conectado, 0 - no conectado)

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Características Los grafos están comprendidos por diversos estilos; grafos simple,
grados conexos, grafos completos, grafos bipartitos, homeomorfismo
de grafos, arboles, grafos ponderados o etiquetados, diámetro, es decir
que son las formas en que el grafo puede tener.

Áreas de  Ciencias sociales

aplicación.  Ciencias físicas
 Ingeniería de comunicación
 Ciencias de la computación

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Relaciones
Origen

Los seres humanos desde sus inicios han tenido la necesidad de ordenar y clasificar
objetos, así como de relacionarlos, ya sea por ser similares o buscando la forma de
adaptarlos para alcanzar un objetivo. Es en entonces de ahí cuando surge el concepto de
relaciones en el área de las matemáticas.

Un gran autor lo fue Rene Descartes (1596-1650), matemático y filósofo francés,

calificado como el padre de la filosofía moderna, generador de múltiples estudios para su
época y los cuales hoy en día han tenido una gran evolución para las diversas ramas.

Concepto de Relaciones:

Sean A y B conjuntos finitos. Si R es un subconjunto del producto cartesiano AxB tal que
los elementos x de A cumplen la propiedad con respecto a los elementos y de B, se dice
que R es una relación definida de A en B y se denota R:A→B al que xRy o (x,y)E R.

Por lo tanto, se dice x de A está relacionado con y de B. Al conjunto A se llama “conjunto

de partida” y a B “conjunto de llegada”.

Concepto de relaciones binarias:

Dado cualquier par de elementos de un conjunto que cumplen o no una propiedad

determinada se dice que establecen una relación binaria.

Cuando 𝐴=𝐵, es decir, cuando 𝑅⊆𝐴×𝐴, se dice que 𝑅 es una relación binaria sobre 𝐴.

Propiedades de las relaciones.

Concepto Descripción Imagen

Reflexiva Una relación binaria R sobre un conjunto A
se dice que es reflexiva, cuando cada
elemento de A esta relacionado consigo
mismo.

Simétrica Una relación binaria R sobre un conjunto A es

simétrica si cada vez que a esta relacionado
con b se sigue que b está relacionado con a.

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Transitiva Se dice que una relación R definida en un

conjunto A es transitiva si cuando (a, b) 2 R y
(b, c) 2 R,
entonces (a, c) 2 R.

Asimétrica Una relación binaria R definida en un

conjunto A se dice que es asimétrica si
cada vez que aRb se sigue que bRa.

Antisimetrica Una relación binaria R sobre un conjunto A se

dice antisimetrica si cuando (a, b) 2 R y (b, a) 2
R, entonces a = b.

Ejemplo:

Sea A = {1, 2, 3, 4}. Determine las propiedades de la siguiente relación:

R = {(1, 3), (1, 1), (3, 1), (1, 2), (3, 3), (4, 4)}

Procedimiento: Escribamos la matriz de la relación:

1110
0000
[ ]
1010
0001

Análisis

Reflexiva: ∆= {(1, 1), (2, 2), (3, 3), (4, 4)} ¢ R, pues (2, 2) Ɇ R observe esto en la
Diagonal de la matriz.

Simétrica: No tenemos una matriz simétrica, note que hay un 1 en (1, 2) y no lo

hay en (2, 1).

Asimétrica: No es asimétrica al contener elementos de ∆.

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Antisimétrica: No se cumple por los pares ordenados (1, 3) y (3, 1) € R.

Transitiva: Calculemos 𝑀𝑅2 .

1110
0000
𝑀𝑅2 [ ]
1010
0001

Note que el 1 en la posición (3, 2) de 𝑀𝑅2 no está en 𝑀𝑅 . Este 1 se da pues (3, 1)

y (1, 2) € R, por transitividad se debería cumplir que (3, 2) € R y esto no se da.

TIPOS DE RELACIONES

Relación de equivalencia Una relación R definida en un conjunto A es de equivalencia

Relación de orden estricto
Relación de orden parcial
Relación de orden total
Relación inversa
Relación biunívoca
si, y sólo si es reflexiva, simétrica y transitiva.
Una relación R definida en un conjunto A es de orden estricto
si R antisimétrica y transitiva.
Una relación R definida en un conjunto A es de orden parcial
si R es reflexiva, antisimétrica y transitiva, pero no hay
relación entre algunos elementos de A.
Una relación R definida en un conjunto A es de orden total si
R es reflexiva, antisimétrica y transitiva.
Sea A un conjunto cualquiera y R una relación definida en A
por {(x, y)AxA/xRy}; entonces, la relación inversa denotada
por R-1 se define como el conjunto {(x, y)AxA/yRx}.
Se dice que una relación R: A→B es biunívoca o que guarda
una correspondencia biunívoca si la relación es univoca y su
inversa también lo es.

De tal manera podemos ver los conceptos más sobresalientes que tiene las relaciones y
de igual modo la forma en que se asocian con las gráficas.

Es decir los grafos son una representación gráfica de objetos y relaciones binarias entre
éstos.

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software

Matemáticas discretas
Unidad 2. Teoría de gráficas y Relaciones

Bibliografía
Johnsonbaugh, R. (2005). Matematicas discretas (sexta edicion ed.). PEARSON
EDUCACIÓN.

Soto, A. A. (2007). Matematicas discretas. Obtenido de

http://repositorio.uned.ac.cr/reuned/bitstream/120809/401/1/GE0841%20Matem%
C3%A1ticas%20Discretas%20-%202007%20-%20Matem%C3%A1ticas.pdf.

Johnsonbaugh, R. (2005). Matematicas discretas (sexta edicion ed.). PEARSON

EDUCACIÓN.

Soto, A. A. (2007). Matematicas discretas. Obtenido de

http://repositorio.uned.ac.cr/reuned/bitstream/120809/401/1/GE0841%20Matem%
C3%A1ticas%20Discretas%20-%202007%20-%20Matem%C3%A1ticas.pdf.

Tomado del sitio web:

Teoría de los grafos: https://es.wikipedia.org/wiki/Teor%C3%ADa_de_grafos

Capítulo 8: Relaciones
https://medium.com/@matematicasdiscretaslibro/cap%C3%ADtulo-8-relaciones-
19a0432cf7e1

Apuntes de matemáticas discretas,

Relaciones:http://libroweb.alfaomega.com.mx/book/681/free/ovas_statics/cap6/apuntes%2
0de%20matematicas%20discretas_6%20relaciones%20.pdf

Capitulo11, Teoría de los grafos:

https://medium.com/@matematicasdiscretaslibro/cap%C3%ADtulo-11-teoria-de-grafos-
3b00228dd81c

Ciencias Exactas, Ingeniería y Tecnología | Desarrollo de software