MATEMÁTICA DISCRETA

Capítulo 01
Lenguaje matemático

Apuntes
1. VARIABLES
Una variable es una forma no ambigua de referir a un objeto matemático sin especificar su valor. Son
útiles cuando no se conoce dicho valor o cuando se busca generalizar una idea.

1.1. Enunciados típicos en matemáticas

▪ Un enunciado universal indica que cierta propiedad es verdadera para cada elemento de un
conjunto.
▪ Un enunciado existencial indica que cierta propiedad es verdadera para al menos un elemento de
un conjunto.
▪ Un enunciado condicional indica que si cierta propiedad es verdadera, entonces alguna otra
también lo es.

1.2. Enunciado universal condicional

Un enunciado universal condicional indica que cierta sentencia condicional es verdadera para cada
elemento de un conjunto.

1.3. Enunciado universal existencial

Un enunciado universal existencial indica que para cada elemento de un conjunto, existe otro elemento
con cierta propiedad.

1.4. Enunciado existencial universal

Un enunciado existencial universal indica que existe un elemento con la característica que todos los
elementos de algún otro conjunto cumplen cierta propiedad que los relaciona a ambos.

2. LENGUAJE DE CONJUNTOS
De forma intuitiva, un conjunto puede entenderse como una colección de objetos, en la que es
irrelevante tanto el orden en el cual se almacenan los elementos, como la cantidad de veces que estos
puedan aparecer.

2.1. Relación de pertenencia

Es una relación que se establece de un elemento hacia un conjunto.

▪ La notación 𝑥 ∈ 𝑆 indica que 𝑥 es un elemento del conjunto 𝑆.

▪ La notación 𝑥 ∉ 𝑆 indica que 𝑥 no es un elemento del conjunto 𝑆.

2.2. Representación de conjuntos

▪ Un conjunto denotado por extensión muestra todos sus elementos entre llaves y separados por
comas.
▪ Un conjunto denotado por comprensión tiene la estructura {𝑥 ∈ 𝑆 | 𝑃(𝑥)} y se lee “conjunto
formado por aquellos elementos 𝑥 de 𝑆 que cumplen la propiedad 𝑃(𝑥)”.

2.3. Conjuntos numéricos principales

▪ El símbolo ℝ indica el conjunto de los números reales.
▪ El símbolo ℚ indica el conjunto de los números racionales.
▪ El símbolo ℤ indica el conjunto de los números enteros.

Se puede añadir + o − como superíndice para indicar solo positivos o negativos.

2.4. Relación de subconjunto
Definición : Subconjunto
Sean los conjuntos 𝐴 y 𝐵. Se dice que 𝑨 es un subconjunto de 𝑩, denotado
𝐴 ⊆ 𝐵,
si y solo si, para cada elemento 𝑥 se cumple que
𝑥∈𝐴⟹𝑥∈𝐵

Definición : Subconjunto propio

Sean los conjuntos 𝐴 y 𝐵. Se dice que 𝑨 es un subconjunto propio de 𝑩, denotado
𝐴⊊𝐵
si y solo si, 𝐴 ⊆ 𝐵 y existe al menos un elemento 𝑥 tal que
𝑥∈𝐵y𝑥∉𝐴

2.5. Producto cartesiano

Definición : Par ordenado
Sean 𝑥, 𝑦 elementos. Se define el par ordenado
(𝑥, 𝑦)
como la estructura en la que se cumple
(𝑎, 𝑏) = (𝑐, 𝑑) ⟺ 𝑎 = 𝑐 y 𝑏 = 𝑑

Definición : Tupla ordenada

Sean 𝑥1 , 𝑥2 , … , 𝑥𝑛 elementos. Se define la n-tupla ordenada
(𝑥1 , 𝑥2 , … , 𝑥𝑛 )
como la estructura en la que se cumple
(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) = (𝑦1 , 𝑦2 , … , 𝑦𝑛 ) ⟺ 𝑥𝑘 = 𝑦𝑘 para 𝑘 ∈ {1, 2, … , 𝑛}

Definición : Producto cartesiano

Sean los conjuntos 𝐴1, 𝐴2, …, 𝐴𝑛 . Se define el producto cartesiano
𝐴1 × 𝐴2 × … × 𝐴𝑛
como el conjunto de n-tuplas
{(𝑎1, 𝑎2 , … , 𝑎𝑛 ) | 𝑎𝑘 ∈ 𝐴𝑘 para 𝑘 ∈ {1, 2, … , 𝑛}}

Definición : Cadenas
Sea 𝑛 un entero positivo, 𝐴 un conjunto finito. Se define la cadena de tamaño 𝒏 sobre 𝑨 como
una n-tupla formada con los elementos de 𝐴 escritos sin paréntesis ni comas.

3. LENGUAJE DE RELACIONES Y FUNCIONES

3.1. Relaciones entre conjuntos
Definición : Relación
Sean los conjuntos 𝐴 y 𝐵, y el par (𝑥, 𝑦) ∈ 𝐴 × 𝐵.

Una relación 𝑹 de 𝑨 en 𝑩 se define como

𝑅 ⊆𝐴×𝐵
Se dice que 𝒙 se relaciona con 𝒚,
𝑥 𝑅 𝑦 ⟺ (𝑥, 𝑦) ∈ 𝑅
Se dice que 𝒙 no se relaciona con 𝒚,
𝑥 𝑅 𝑦 ⟺ (𝑥, 𝑦) ∉ 𝑅
Se nombra dominio al conjunto 𝐴 y codominio al conjunto 𝐵.
Una relación 𝑅 de 𝐴 en 𝐵 se puede representar gráficamente con un diagrama sagital.

1) Representar los conjuntos 𝐴 y 𝐵 como dos regiones cerradas en el plano.

2) Representar sus elementos como puntos en el interior de dichas regiones.
3) Por cada (𝑥, 𝑦) ∈ 𝐴 × 𝐵, trazar una flecha de 𝑥 a 𝑦, si y solo si, (𝑥, 𝑦) ∈ 𝑅.

3.2. Funciones
Definición : Función
Dados los conjuntos 𝐴 y 𝐵, sea 𝐹 una relación de 𝐴 en 𝐵.
Se dice que 𝑭 es una función de 𝑨 en 𝑩, si y solo si, se cumple que
1) Para cada 𝑥 ∈ 𝐴, existe un 𝑦 ∈ 𝐵, tal que (𝑥, 𝑦) ∈ 𝐹.
2) Para cada 𝑥 ∈ 𝐴, {𝑦, 𝑧} ⊆ 𝐵, si {(𝑥, 𝑦), (𝑥, 𝑧)} ⊆ 𝐹, entonces 𝑦 = 𝑧.

Sea un 𝑥 ∈ 𝐴, la imagen de 𝒙 es el único elemento 𝐹(𝑥) ∈ 𝐵, tal que (𝑥, 𝐹(𝑥)) ∈ 𝐹.

Definición : Igualdad de funciones
Dados los conjuntos 𝐴 y 𝐵, sean 𝑓 y 𝑔 funciones de 𝐴 en 𝐵.
Se dice que 𝒇 es igual a 𝒈 y se escribe
𝑓=𝑔
si y solo si, para todo 𝑥 ∈ 𝐴, se cumple que
𝑓(𝑥) = 𝑔(𝑥)

4. Lenguaje de los grafos

Definición : Grafo y términos asociados
Un grafo 𝑮 se define a partir del par ordenado (𝑉, 𝐸)
𝑉 se denomina conjunto finito de vértices
𝐸 se denomina conjunto finito de aristas
y de una función arista – extremos que asigna a cada arista 𝑒 un conjunto de uno o dos vértices de
{𝑣1 , 𝑣2 } llamados extremos.

Una arista cuyos extremos son iguales se llama bucle; y dos aristas distintas asociadas con el mismo
conjunto de vértices se denominan aristas paralelas.

Se dice que una arista conecta a sus extremos. Dos vértices son adyacentes, si y solo si, están
conectados por una arista; un vértice conectado por un bucle es adyacente a sí mismo.

Se dice que una arista incide en cada uno de sus extremos. Dos aristas distintas son adyacentes,
si y solo si, inciden en un mismo vértice.

Un vértice está aislado, si y solo si, ninguna arista incide sobre este.

Un grafo se puede representar gráficamente empleando puntos para los vértices y segmentos rectos o
curvos para las aristas. Un grafo tiene infinitas representaciones, pero cada representación define un
solo grafo.

Definición : Grafo dirigido

Un grafo dirigido 𝑮 se define a partir del par ordenado (𝑉, 𝐸)
𝑉 se denomina conjunto finito de vértices
𝐸 se denomina conjunto finito de aristas
y de una función arista – extremos que asigna a cada arista 𝑒 un par de vértices (𝑣1 , 𝑣2 ) llamados
extremos. Se dice que la arista 𝑒 se dirige desde 𝑣1 hasta 𝑣2 .

Un grafo dirigido se puede representar gráficamente de forma análoga a un grafo no dirigido,

empleando segmentos dirigidos para las aristas.
Definición : Grado de un vértice
Dado un grafo 𝐺, sea 𝑣 uno de sus vértices. El grado de 𝒗, con la notación
deg(𝑣),
se define como la cantidad de aristas que inciden en 𝑣. Se debe tener en cuenta que los bucles
cuentan como si fueran dos aristas.