Está en la página 1de 114

ESTRUCTURAS

DISCRETAS
Manuel Luque Gallego
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
Agradecimientos
Introduccin
1 Sistema Siette
2 Teora de Conjuntos
Resumen
2.1 Conjuntos y operaciones
2.1.1 Conceptos bsicos de conjuntos
2.1.2 Operaciones sobre conjuntos
2.1.3 Particin de un conjunto
2.2 Representacin grfica de conjuntos
2.3 Propiedades bsicas y precedencia entre operadores
2.3.1 Propiedades bsicas
2.3.2 Precedencia entre operadores: Eliminacin de parntesis
2.4 Tuplas y conjunto potencia
2.4.1 Tuplas y producto cartesiano
2.4.2 Conjunto potencia
2.4.3 Tipos y signatura
2.5 Conjuntos notables
3 Relaciones
Resumen
3.1 Relaciones y operaciones
3.1.1 Conceptos bsicos de relaciones
3.1.2 Operaciones sobre relaciones
3.2 Relaciones binarias
3.2.1 Dominio y rango
3.2.2 Operaciones especiales
3.3 Representacin de relaciones
3.3.1 Matriz de una relacin
3.3.2 Grafo de una relacin
3.4 Propiedades de las relaciones
3.4.1 Propiedades ms importantes de las relaciones
3.4.2 Cierres
3.4.3 Relaciones de equivalencia
3.5 Relaciones de orden
3.5.1 Conceptos asociados a orden parcial
3.5.2 Notacin infija en el uso de algunas relaciones muy comunes
4 Funciones
Resumen
4.1 Concepto de funcin
4.2 Funciones parciales y totales. Funciones especiales: identidad y constante
4.3 Representacin formal y grfica de funciones
4.3.1 Representacin mediante tablas
4.3.2 Representacin mediante curvas
4.3.3 Representacin mediante grafos
4.4 Propiedades de funciones
4.5 Construccin de nuevas funciones
4.5.1 Clases especiales de funciones
4.6 Conceptos avanzados de cardinalidad de conjuntos
4.7 Homomorfismos
5 Combinatoria
Resumen
5.1 Principios bsicos de la Combinatoria
5.2 Funciones importantes en Combinatoria
5.3 Formas de agrupamiento
5.3.1 Variaciones
5.3.2 Permutaciones
5.3.3 Combinaciones
6 Teora de grafos
Resumen
6.1 Conceptos bsicos de teora de grafos
6.2 Representacin grfica de los grafos
6.3 Conceptos avanzados sobre grafos
6.4 Caminos y conectividad
6.4.1 Conceptos bsicos de caminos
6.4.2 Tipos bsicos de caminos
6.4.3 Relacin de accesibilidad
6.4.4 Distancias en caminos
6.4.5 Conexin en grafos
6.5 Recorridos y tipos especiales de caminos
6.5.1 Recorridos
6.5.2 Tipos especiales de caminos
6.6 rboles
ESTRUCTURAS DISCRETAS
Dr. Manuel Luque Gallego

Copyright 2013. Manuel Luque Gallego.


Todos los derechos reservados.

Todos los derechos reservados. Este libro ha sido autopublicado por el autor Manuel Luque Gallego.
Quedan rigurosamente prohibidas, sin la autorizacin escrita de Manuel Luque Gallego, titular del
Copyright, bajo las sanciones establecidas en las leyes, la reproduccin o distribucin, total o parcial
de esta obra, por cualquier medio o procedimiento electrnico o mecnico, comprendidos la reprografa
y el tratamiento informtico, y la distribucin de ejemplares de ella mediante venta, alquiler o prstamo
pblicos.

Si desea realizar cualquiera de las acciones de arriba, por favor, pdame permiso contactando a travs de
la direccin de correo electrnico mluquega@gmail.com.

Versin 1.0.19.

Actualizaciones de esta versin en el enlace: Actualizaciones.


Agradecimientos
Quiero mostrar mi agradecimiento a todas las personas que me han ayudado a la elaboracin de este
libro.

Quiero agradecer al profesor Jos Ramn lvarez Snchez toda la ayuda que me ha brindado para
solucionar multitud de problemas tcnicos relacionados con la maquetacin y escritura de este libro.

Agradezco al profesor Jos Luis Fernndez Vindel sus consejos acerca de cmo estructurar y presentar el
contenido del libro para un aprendizaje ms eficaz de los lectores.

Quiero expresar mi agradecimiento al profesor Ricardo Conejo Muoz, por el magnfico sistema Siette
que ha desarrollado con su grupo de investigacin, que tan til es para los estudiantes y los profesores, y
por el apoyo que me ha prestado para montar en Siette los tests que acompaan a este libro.

Tambin quiero mostrar mi gratitud a los usuarios de blogs y foros cuyas aportaciones me han servido
para resolver cuestiones del formato del texto.

Agradezco a todos los desarrolladores de software libre por el trabajo que realizan continuamente para
construir un conjunto de herramientas informticas de gran utilidad para la sociedad moderna y en
particular para la edicin de este libro.

En el plano personal quiero mostrar todo mi agradecimiento a Mariela. A la felicidad que ha aportado a
mi vida se le unen la paciencia y comprensin que me ha demostrado durante estos ltimos meses
mientras escriba el libro.
Introduccin
El objetivo de este libro es proporcionar los conocimientos bsicos de Estructuras Discretas. El autor
presenta los conceptos de una forma concisa, aportando ejemplos sencillos que ayuden a la asimilacin
de los conceptos.

Este libro tambin incluye el acceso a tests informatizados autoevaluables y autodaptativos en el sistema
Siette. Este sistema implementa la teora clsica de los tests y la teora de respuesta al tem, de forma que
los tests preparados a medida para este libro ayudarn al lector a aprender los conceptos de una forma
eficaz, totalmente gradual y autnoma. Se va a proporcionar posteriormente una introduccin a Siette
junto con breves instrucciones acerca de cmo acceder a los tests.

Se recomienda encarecidamente al lector que alterne la lectura del texto con la realizacin de los tests
para que as pueda obtener una mejor realimentacin de Siette acerca de su aprendizaje. Ms adelante se
explicar cmo se puede escoger realizar un test de una parte concreta del libro como un captulo,
seccin o subseccin.

Los contenidos que el lector aprender son:

Teora de conjuntos.

Relaciones.

Funciones.

Combinatoria.

Teora de grafos.

Con el objetivo de facilitar la lectura, se han estructurado los contenidos de cada seccin utilizando
distintos bloques de texto: definiciones, ejemplos, teoremas, proposiciones y corolarios. Se han omitido
las demostraciones, pues se escapan a los objetivos bsicos del libro.

Espero que disfrute de la lectura del libro y que sta le resulte provechosa.

Manuel Luque Gallego


Madrid, noviembre de 2013
1 Sistema Siette
En la docencia actual es cada vez ms importante que los estudiantes realicen la mayor cantidad de
actividades posibles que le ayuden en el aprendizaje. Entre los distintos tipos de actividades destacan las
que consisten en responder a tests, que suelen venir dados por un conjunto de preguntas, cada una con
varias respuestas posibles, de las cuales una o varias pueden ser las correctas. Adems, los tests son
habituales en exmenes de Universidad con el objetivo de evaluar de forma objetiva el nivel de
conocimiento del estudiante en una materia.

Hace unos aos surgi un sistema para la creacin y mantenimiento de preguntas y realizacin de tests,
denominado Siette. Siette es un sistema web que permite al estudiante realizar tests de autoevaluacin
que se adaptan automticamente a su nivel de conocimiento con el objetivo de mejorar eficazmente el
aprendizaje. Siette implementa la teora clsica de los tests y la teora de respuesta al tem, por lo que su
funcionamiento se sustenta en investigaciones psicopedaggicas muy slidas.

Adicionalmente a este libro se proporciona al lector un conjunto de tests autoevaluables en Siette que han
sido elaborados a medida para los contenidos de este libro. El objetivo de estos tests es ayudar al lector
a aprender de forma autnoma, eficaz y gradual los contenidos que aqu se explican.

Antes de realizar su primer test, el lector deber darse de alta en Siette. Para ello slo tiene que acceder
a la pgina http://www.siette.org, pulsar en Nuevo usuario y rellenar el formulario con sus datos.

Los tests que se han preparado para el lector estn disponibles en el enlace: Test. Tras pinchar en l,
tendr que introducir su usuario y contrasea de Siette, y a continuacin le aparecer una pantalla como la
de la siguiente figura.
Test de Estructuras Discretas en Siette.

La estructura de temas y subtemas introducida en Siette se corresponde con la estructura de este libro. El
lector puede elegir en todo momento el captulo o la seccin o subseccin del libro sobre el que desea
que traten las preguntas del test. Por ejemplo, en la figura aparece seleccionado el tema de Teora de
Conjuntos; sin embargo, haciendo click, se podra elegir otro tema o subtema o incluso seleccionar todo
el contenido del libro (Estructuras Discretas).

El test puede ser realizado tranquilamente dedicndole el tiempo que estime oportuno, cuntas veces
desee y a cualquier hora del da; el nico requisito tcnico es tener conexin a Internet y utilizar un
navegador moderno, preferiblemente Firefox. Dado que Siette incorpora cierta aleatoriedad al escoger
las preguntas del test que presenta al usuario, es muy probable que en veces sucesivas que se realicen
tests las preguntas que aparezcan sean distintas.

Recomendamos que si tiene tiempo, tras realizar el test, trabaje viendo qu preguntas ha acertado, cules
ha fallado, y trate de entender cul es la respuesta correcta a cada pregunta. En ese caso, volver a releer
algn punto concreto del libro puede resultarle de gran ayuda para afianzar los conceptos.

Espero que disfrute realizando los tests de Siette y que stos le sean tiles para aprender Estructuras
Discretas.
2 Teora de Conjuntos
Resumen

Este captulo trata los conceptos fundamentales de la Teora de Conjuntos. Se presentan los conceptos
bsicos de conjuntos, las principales operaciones y las distintas formas de representacin. Se explican
las propiedades bsicas de las operaciones de conjuntos y conceptos esenciales como las tuplas y el
conjunto potencia. Finalmente se explican conjuntos notables, cuyo conocimiento es fundamental para
cualquier estudiante de Informtica.
2.1 Conjuntos y operaciones
2.1.1 Conceptos bsicos de conjuntos

Definicin (Conjunto). Un conjunto es una coleccin de objetos distintos en la cual el orden no tiene
importancia.

Un conjunto se suele especificar utilizando las llaves { y }.

Ejemplo. Un ejemplo de conjunto es A={1,2,3,4}. Otro ejemplo de conjunto es B={c,d,e}.

Definicin (Elemento). Cada uno de los objetos que forman parte de un conjunto se denomina elemento.

Ejemplo. Dado el conjunto A={1,2}, tanto el 1 como el 2 son elementos de A. En cambio, el 3 y el 4 no


son elementos de A.

Podemos determinar un conjunto de dos formas: por extensin y por comprensin o intensin.

Definicin (Determinacin por extensin). Se determina un conjunto S por extensin cuando se


proporciona una lista que contiene a todos los elementos de S y slo a ellos.

Ejemplo. Los siguientes conjuntos A y B estn determinados por extensin:

A={c,d,e},

B={1,3,5,7}.

Definicin (Determinacin por comprensin o intensin). Un conjunto S es determinado por comprensin


o intensino de forma intensiva, cuando se indica una propiedad que cumplen todos los elementos
de S y slo ellos.

Cuando se define un conjunto por intensin es frecuente utilizar la barra |, que se lee como tal que.

Ejemplo. Los siguientes conjuntos A y B estn determinados por comprensin:

A={xx es un nmero par} ,

B={xx es un nmero primo de dos cifras}.

Definicin (Pertenencia a un conjunto). Sea un conjunto S y un objeto x. Se dice que x pertenece a S si x


es un elemento de S. Se denota por xS. Si un objeto x no pertenece a un conjunto S se denota por x
S.

Ejemplo. Sea el conjunto A={1,2}. Se cumple que 1A, 2A, 3A y 4A.

Definicin (Subconjunto). Sean S y T dos conjuntos. S es subconjunto de T si todo elemento que


pertenece a S pertenece a T. Se denota por ST, ST.
Ejemplo. Sean los siguientes conjuntos:

A={2,4},

B={xx es un nmero par mayor que 1 y menor que 10},

C={xx es un nmero primo mayor que 1 y menor que 10}.

Se cumple que AB, ya que los dos elementos de A pertenecen a B. En cambio, A no es subconjunto de
C, ya que no todo elemento de A pertenece a C; en concreto, se tiene que 4A, pero 4C. Tambin se
verifica que ni B ni C son subconjuntos de A.

Definicin (Superconjunto). Sean S y T dos conjuntos. T es un superconjunto de S si S es subconjunto de


T. Se denota por TS, TS.

Ejemplo. Sean los conjuntos A y B del ejemplo anterior. Se cumple que BA. En cambio, A no es
superconjunto de B.

Proposicin. Sean S y T dos conjuntos. Se cumple que ST si y slo si TS.

Definicin (Conjuntos iguales y conjuntos distintos). Sean S y T dos conjuntos. Entonces:

S y T son iguales si se cumple que ST y TS. Se denota por S=T.

S y T son distintos si S y T no son iguales. Se denota como ST.

De la definicin anterior se deduce que si S=T entonces T=S. Adems, si ST entonces TS.

Ejemplo. Sean los conjuntos:

A={2,4,6,8},

B={8,6,4,2},

C={xx es un nmero par mayor que 1 y menor que 10},

D={2,4,6}.

Se tiene que A=B, B=C, A=C, AD, CD y BD.

Definicin (Subconjunto propio). Se dice que un conjunto S es un subconjunto propio de un conjunto T si


ST y ST.

Ejemplo. El conjunto S={1,2,3} es un subconjunto propio del conjunto T={1,2,3,4}, ya que S es un


subconjunto de T, pero S y T son distintos.

Proposicin. Sea S cualquier conjunto. Se cumple que S no es subconjunto propio de S.

Definicin (Conjunto finito y conjunto infinito). Un conjunto es finito si contiene un nmero finito de
elementos. Un conjunto es infinito si no es finito.
Ejemplo. Sean los conjuntos A={1,2,3} y B={xx es una provincia de Espaa que tiene playa}.
Tanto A como B son conjuntos finitos.

Ejemplo. El conjunto C={xx es un nmero natural mayor que 7000} es un conjunto infinito. En
cambio, el conjunto D={xx es un nmero natural menor que 10800} es un conjunto finito.

Definicin (Cardinalidad de un conjunto finito). Sea S un conjunto finito. La cardinalidad o cardinal de S


es el nmero de elementos de S. Se denota por S.

La cardinalidad de ciertos conjuntos infinitos se estudiar ms adelante.

Ejemplo. Sean los conjuntos finitos:

A={2,4,6,8},

B={3,5,7},

C={xx es una provincia de Espaa, exceptuando Ceuta y Melilla}.

Se cumple que A=4, B=3 y C=50.

Definicin (Conjunto universal). En un determinado contexto o teora, que puede ser un ejemplo o un
ejercicio, el conjunto universal est formado por todos los posibles elementos que pueden pertenecer a
cualquier otro conjunto.

Ejemplo. Considrese que estamos trabajando con un ejemplo donde tenemos los siguientes conjuntos: A
={2,4,6,8} y B={3,5,7}. Un conjunto universal para ese ejemplo sera U={1,2,3,4,5,6,7,8,9,
10}, ya que se puede comprobar que los conjuntos A y B son subconjuntos de U. No obstante, no es el
nico conjunto universal posible para dicho ejemplo. Otro conjunto universal sera U={xx es un
nmero natural mayor que 1 y menor que 20}. En cambio, el conjunto S={1,2} no es un conjunto
universal para dicho ejemplo, ya que uno de los dos conjuntos definidos arriba, el conjunto A, no es
subconjunto de S.

Definicin (Conjunto vaco). Conjunto vaco es un conjunto que no contiene ningn elemento. Se
representa por .

Ejemplo. Sea el conjunto A={xx es un equipo de ftbol de primera divisin de Espaa cuya ciudad se
encuentre ubicada geogrficamente en el hemisferio Sur}. Se cumple que A=, ya que no existe ninguna
ciudad del hemisferio Sur con equipo de ftbol en primera divisin de Espaa.

Definicin (Conjunto no vaco). Un conjunto es no vaco si es distinto de .

Ejemplo. El conjunto A={3,5,7} es un conjunto no vaco.

Proposicin. Sea S un conjunto. Se cumple que S=0 si y slo si S=.

2.1.2 Operaciones sobre conjuntos

Definicin (Interseccin, unin y diferencia de conjuntos). Sean S y T dos conjuntos. Entonces:


La interseccin de S y T es el conjunto de los elementos comunes a S y a T. Se denota por ST.

La unin de S y T es el conjunto que contiene a los elementos de S y a los de T. Se denota por S


T.

La diferencia de S y T es el conjunto formado por los elementos de S que no pertenecen a T. Se


denota como S\T.

Ejemplo. Sean los siguientes conjuntos:

A={1,2,3,5,7},

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

C={4,6,8}.

Se verifica que AB={2,3}, ya que tanto 2 como 3 pertenecen a A y a B, y no hay ningn otro elemento
que pertenezca a la vez a A y a B. As, 5AB, ya que 5A pero 5B. Tambin se tiene que 6
AB, ya que 6A pero 6B. Adems, se cumple que AC=, ya que no hay ningn elemento
que pertenezca a la vez a A y a C.

Se tiene que:

AB={1,2,3,4,5,6,7},

AC={1,2,3,4,5,6,7,8},

BC={2,3,4,6,8}.

Ejemplo. Sean S={1,2,3,4} y T={2,4,6}. Se tiene que S\T={1,3}, y T\S={6}.

Definicin (Complemento de un conjunto). Dado un conjunto universal U y sea S un subconjunto de U, se


denomina el complemento de S, y se denota como S, al conjunto formado por aquellos elementos de
U que no pertenecen a S.

Ejemplo. Sea el conjunto U={1,2,3,4,5} y sea S={2,3,5}. Tenemos que S={1,4}.

2.1.3 Particin de un conjunto

Definicin (Conjuntos disjuntos). Dos conjuntos S y T son disjuntos si ST=.

Ejemplo. Sean los conjuntos S={1,2} y T={3,4,5}. S y T son disjuntos, ya que ST=.

Definicin (Particin de un conjunto). Particin de un conjunto S es una coleccin de conjuntos S1,S2,


,Sn tales que:

ninguno es vaco,

la unin de ellos es S y
cada par de conjuntos Si y Sj , con ij, son disjuntos.

Ejemplo. Sea el conjunto S={1,2,3,4,5,6,7}. Sean los conjuntos S1={1,2,6}, S2={3,4} y S3=
{5,7}. Se tiene que:

S1, S2 y S3 son distintos de .

S1S2S3=S.

S1S2=, S1S3= y S2S3=.

Por tanto, S1, S2 y S3 constituyen una particin de S.


2.2 Representacin grfica de conjuntos
Definicin (Diagrama de Venn). Un diagrama de Venn es una representacin que sirve para visualizar
varios conjuntos y sus interacciones relativas a inclusin e interseccin. Cada conjunto S se representa
mediante un recinto, que es una lnea cerrada generalmente con forma de crculo. El recinto del conjunto
universal se representa mediante un rectngulo. Cada regin cerrada representa la interseccin de los
conjuntos cuyos recintos la delimitan.

Ejemplo. Sea el conjunto universal U, y sean los conjuntos S y T. Un diagrama de Venn para U, S y T
aparece en la siguiente figura. El recinto relleno con color violeta corresponde a ST, ya que
corresponde a una regin encerrada por el recinto de S y el de T.

Diagrama de Venn en el que la zona coloreada de violeta representa ST.

Ejemplo. Sean los mismos conjuntos del ejemplo anterior. El recinto coloreado del diagrama de Venn de
la siguiente figura corresponde a ST, ya que abarca el recinto de S y el de T.
Diagrama de Venn en el que la zona coloreada de violeta representa ST.

Ejemplo. Sea el conjunto universal U, y sea el conjunto S. El recinto coloreado de la siguiente figura
corresponde a S, ya que aparece coloreado todo el recinto de U excepto el recinto que abarca S.
Diagrama de Venn en el que la zona coloreada de violeta representa S.

En los ejemplos anteriores cada conjunto aparece indicado con su nombre (S, T, etc.). No obstante,
tambin es muy frecuente representar los elementos de cada conjunto ubicndolos en la regin
correspondiente. Veamos un ejemplo sobre esto.

Ejemplo. Sean los conjuntos S={1,2,3,4} y T={2,4,6}. Sea el conjunto universal U={1,2,3,4,5,
6,7,8,9}. Un diagrama de Venn para representar S, T y U viene dado en la siguiente figura. Hemos
representado con color violeta las letras de los conjuntos. Los elementos de cada conjunto aparecen en
negro. Podemos comprobar en el diagrama de Venn que ST={2,4} y (ST)={5,7,8,9}. A la
izquierda de ST tenemos un recinto con los elementos 1 y 3 que corresponde a S\T. De la misma
forma, a la derecha de ST tenemos el recinto de T\S={6}.
Diagrama de Venn con los conjuntos S={1,2,3,4} y T={2,4,6}. El conjunto universal es U={1,2,
3,4,5,6,7,8,9}.
2.3 Propiedades bsicas y precedencia entre operadores
2.3.1 Propiedades bsicas

Las principales propiedades bsicas que se deducen a partir de las definiciones de las operaciones sobre
conjuntos se muestran a continuacin. Las letras A, B y C indican conjuntos cualesquiera, y U representa
el conjunto universal.

2.3.1.1 Asociativa

(AB)C=A(BC)

(AB)C=A(BC)

2.3.1.2 Conmutativa

AB=BA

AB=BA

2.3.1.3 Distributiva

A(BC)=(AB)(AC)

A(BC)=(AB)(AC)

2.3.1.4 Idempotencia

AA=A

AA=A

2.3.1.5 Absorcin

A(AB)=A

A(AB)=A

2.3.1.6 De De Morgan

(AB)=AB

(AB)=AB
2.3.1.7 Doble Complementacin

(A)=A

2.3.1.8 Identidad

A=A

AU=A

2.3.1.9 Complemento

AA=U

2.3.1.10 Exclusin

AA=

2.3.1.11 Dominacin

AU=U

A=

2.3.1.12 Complementacin del conjunto universal y del conjunto vaco

U=

=U

Las anteriores propiedades se pueden aplicar en demostraciones para obtener otras igualdades que sean
siempre verdaderas. Para ello, basta con sustituir A, B C en cualquier propiedad. Veamos esto con un
ejemplo.

Ejemplo. Sean S, T y V tres conjuntos. La propiedad conmutativa establece que AB=BA.


Podemos sustituir A por S\T y B por V en dicha igualdad con lo que obtenemos que (S\T)V=V
(S\T).

Las sustituciones que se realicen en las propiedades anteriores se deben hacer de forma simultnea en
todas las apariciones de las variables a sustituir. Veamos un ejemplo para entender qu sucede si no lo
hacemos as.

Ejemplo. Consideremos la propiedad conmutativa, que afirma que AB=BA. Supongamos que
queremos sustituir en dicha igualdad la letra B por AC, y la letra A por D, para obtener otra igualdad
que siempre sea verdadera. Si comenzamos sustituyendo la primera aparicin de B en la igualdad
tendramos que:
A(AC)=BA.
Si ahora pasramos a sustituir A por D en todas las apariciones tendramos que
D(DC)=BD.
Podramos terminar sustituyendo B por AC en la nica aparicin que queda, por lo que obtendramos
D(DC)=(AC)D,
que podramos simplificar aplicando la propiedad de absorcin en el lado izquierdo de la igualdad y nos
quedara D=(AC)D, que no es una frmula que sea siempre verdadera para cualesquier conjuntos
A, C y D. El motivo de haber llegado a este punto es que no hemos aplicado correctamente la sustitucin,
pues no la hemos realizado simultneamente en la igualdad de partida.
Si aplicamos correctamente la sustitucin de partida entonces obtendramos la siguiente igualdad:
D(AC)=(AC)D,
que s es una frmula verdadera para cualesquier conjuntos A, C y D.

2.3.2 Precedencia entre operadores: Eliminacin de parntesis

Como consecuencia de la propiedad asociativa, se tiene que


(AB)C=A(BC)
para 3 conjuntos cualesquiera A, B y C. En ese caso es frecuente escribir ABC pues no hay
ambigedad acerca de qu operacin de unin se aplica primero ya que por la propiedad asociativa el
resultado sera el mismo en cualquier caso. El mismo razonamiento se podra hacer para el caso de que
se tuvieran ms de 3 conjuntos; por ejemplo, tampoco habra ambigedad en la expresin ABC
D. De igual manera podramos razonar si todos los operadores que interviniesen fueran de
interseccin, pues aplicaramos la propiedad asociativa
(AB)C=A(BC)
y podramos escribir simplemente ABC.

Es frecuente suprimir parntesis cuando se expresan operaciones entre conjuntos. Ello se puede hacer si
no hay ambigedad gracias a que:

los dos parntesis ms exteriores de una frmula se pueden suprimir siempre, por lo que si nuestra
frmula es (AB) basta con que la escribamos como AB;

en cuanto a los parntesis interiores de la frmula, podremos suprimirlos si:

estamos aplicando la propiedad asociativa tal y como hemos explicado ms arriba, y/o

hacemos uso de la precedencia entre los 4 operadores de conjuntos (unin, interseccin,


diferencia y complemento), como vamos a ver a continuacin.

El convenio de precedencia entre operadores que vamos a seguir establece que el operador con mayor
orden de precedencia es el complemento (), y le siguen los otros tres operadores (, y \) con
igual orden de precedencia. El operador de mayor precedencia se aplicar antes y por tanto colocar
antes los parntesis en presencia de otros operadores. Veamos un ejemplo sobre ello.

Ejemplo. Sean A, B, C, D, E y F seis conjuntos. Supongamos que tenemos la expresin


((A((B)(C\D)))E)F.
Podemos suprimir parntesis, y escribirla como
A(B(C\D))EF.
A pesar de haber eliminado parntesis, no presenta ambigedad y es equivalente a
((A((B)(C\D)))E)F.

En cambio, veamos ahora un ejemplo donde tenemos una expresin que, por falta de parntesis, presenta
ambigedad.

Ejemplo. Sean A, B y C tres conjuntos. Sea la expresin ABC. Los operadores y tienen
igual orden de precedencia, por lo que no podemos determinar si se trata de la expresin A(BC) o
de (AB)C. Dado que estas dos expresiones no son equivalentes para cualesquiera conjuntos A, B y
C entonces decimos que la expresin de partida presenta ambigedad.

A partir de ahora siempre que escribamos expresiones sobre conjuntos han de carecer de ambigedad.
2.4 Tuplas y conjunto potencia
2.4.1 Tuplas y producto cartesiano

Definicin (Secuencia). Una secuencia es una lista de objetos en la que el orden tiene importancia.

Una secuencia se suele especificar utilizando parntesis ( y ), [ y ].

Ejemplo. La secuencia (1,a) es diferente de la secuencia (a,1).

Definicin (Tupla). Sea la secuencia de n conjuntos (S1,S2,,Sn). Una tupla, o n-tupla, es una
secuencia (s1,s2,,sn) donde cada siSi, siendo 1in.

Ejemplo. Sea la secuencia de conjuntos S=(S1,S2) donde:

S1={a,b,c},

S2={1,2}.

La secuencia (b,1) es una 2-tupla de S. (a,2) es otra 2-tupla de S. En cambio, (2,a) no es una 2-tupla de
S ya que 2S1 (y aS2); se ve as cmo el orden de los conjuntos en S tiene importancia. Tampoco
seran 2-tuplas de S las secuencias (a,b) (a,2,c).

Definicin (Producto cartesiano). El producto cartesiano de los conjuntos de la secuencia S=(S1,S2,


,Sn), con n>1, es el conjunto de todas las posibles n-tuplas de S. Se denota como S1S2Sn.

Ejemplo. Sea la secuencia de conjuntos del ejemplo anterior. El producto cartesiano de S1 y S2 es


S1S2={(a,1),(a,2),(b,1),(b,2),(c,1),(c,2)}.
El producto cartesiano de dos conjuntos se puede visualizar muy bien representando en una matriz todas
las tuplas posibles. As, en la siguiente figura se ve como, dentro del rectngulo, cada fila corresponde a
un elemento de S1 y cada columna a un elemento de S2.
Tabla mostrando el producto cartesiano de S1={a,b,c} y S2={1,2}.

Ejemplo. Sea la secuencia de conjuntos (S1,S2,S3) donde S1={1,2}, S2={3,4} y S3={a,b}. El


producto cartesiano de S1, S2 y S3 es
S1S2S3={(1,3,a),(1,3,b),(1,4,a),(1,4,b),(2,3,a),(2,3,b),(2,4,a),(2,4,b)}.

Definicin (Sucesin finita). Sea S un conjunto. Una sucesin finita de elementos en S es una secuencia
(s1,s2,...,sn) en la que cada si pertenece a S. A n se le denomina longitud de la sucesin finita.

Ejemplo. Sea el conjunto S={1,2,3}. Un ejemplo de sucesin finita de elementos en S es (1,3,1,2), y


su longitud es 4.

Definicin (Sucesin infinita). Sea S un conjunto. Una sucesin infinita de elementos en S es una
secuencia infinita (que no termina) en la que cada elemento pertenece a S.

Ejemplo. Sea S={1,2,3}. Un ejemplo de sucesin infinita de elementos en S es (1,2,3,3,2,1,1,) en


la que los puntos suspensivos indican que la secuencia no termina.

Definicin (Sucesin vaca). Una sucesin vaca es una sucesin de longitud 0. Se representa as: (),
[].
Definicin (Alfabeto). Un alfabeto es un conjunto cuyos elementos son smbolos (generalmente letras).

Ejemplo. Algunos ejemplos de alfabetos son S={a,b,c,d}, T={,,,} y V={0,1}.

Definicin (Palabra). Sea un alfabeto S. Una palabra (o cadena) es cualquier sucesin finita de
elementos de S.

Una palabra se puede representar eliminando los smbolos que la delimitan ((, ),[ y ]) y las comas que
separan los elementos. Adems, en el caso de que el alfabeto est formado por letras, se pueden usar
como delimitadores los smbolos de comillas dobles ( y ).

Ejemplo. Sea el alfabeto S={a,b,c,d}. Un ejemplo de palabra formada a partir de dicho alfabeto es
acaba; o expresado con comillas dobles sera ``acaba. Otra ejemplo de palabra es acabada.

Definicin (Concatenacin de palabras). Sean dos palabras w1 y w2 formadas a partir de un mismo


alfabeto. La concatenacin de w1 y w2 es la palabra formada por todos los elementos de w1 seguidos de
todos los elementos de w2. Se denota como w1w2.

Ejemplo. Sean las palabras w1=abda y w2=cddbab. La concatenacin de w1 y w2 es w1w2


=abdacddbab.

Esperamos que el lector sepa distinguir a partir del contexto cul es el significado del smbolo , que
aqu representa la concatenacin de palabras, pero que tambin se puede usar para indicar el producto de
nmeros.

2.4.2 Conjunto potencia

Definicin (Conjunto potencia). Sea un conjunto S. El conjunto potencia o de las partes de S est
formado por todos los subconjuntos de S. Se denota por P(S) 2S.

Ejemplo. Sea el conjunto S={1,2,3}. El conjunto potencia de S es


P(S)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}.

Proposicin. Dado un conjunto S, se tiene que P(S) y SP(S).

Teorema. Sea un conjunto finito S. El cardinal de P(S) es 2S.

Ejemplo. Considrese el conjunto S del ejemplo anterior. El cardinal de P(S) es P(S)=2S=23=8.

2.4.3 Tipos y signatura

Definicin (Variable). Variable es un smbolo que puede tomar como valor cualquier elemento de un
conjunto S. En este caso decimos que el tipo de la variable es S.

Ejemplo. Algunos ejemplos de variables son x, y y temperatura. Los tipos de cada variable podran ser
los conjuntos {1,2}, {3,4} y {Alta,Baja} respectivamente.
Definicin (Declaracin). Sea una variable v y sea T su tipo. La cadena v:T es la declaracin o
signatura de v.

Ejemplo. Sea x una variable y sea el conjunto {1,2} el tipo de x. La declaracin de x se expresa como
x:{1,2}.

Las signaturas se suelen utilizar mucho en cursos de fundamentos de programacin, pues sirven para
indicar qu valores posibles puede tomar una variable. Tambin es muy frecuente construir tipos a partir
de otros mediante la utilizacin de operaciones entre conjuntos; as, por ejemplo, es habitual que las
estructuras de datos complejas tengan como tipo el producto cartesiano de varios conjuntos.
2.5 Conjuntos notables
Vamos a ver varios conjuntos que son muy importantes por ser muy utilizados en la declaracin de
variables en programacin, y en la construccin de otros tipos a partir de ellos.

Definicin (Conjunto booleano y valor booleano). El conjunto booleano est formado por dos
elementos: Verdadero y Falso. Se denota como B. Cada elemento de B es un valor booleano.

Se pueden encontrar formas alternativas de nombrar los elementos del conjunto booleano. En ingls, lo
habitual es que B={True,False}. En un dominio donde se emplee terminologa de la Lgica lo habitual
es que los dos elementos B sean top, denotado por una letra similar a una , y bottom, denotado por el
smbolo de top invertido; top corresponde a Verdadero, y bottom a Falso.

Definicin (Conjunto de bits). Conjunto de bits es el conjunto formado por los elementos 0 y 1. Cada
elemento de este conjunto es un bit.

El conjunto de bits tiene una gran importancia en computacin. Se suele confundir a veces con el conjunto
booleano, hasta el punto de que se suele asociar el valor 1 con Verdadero y el 0 con Falso. No obstante,
el conjunto de bits se suele emplear en el campo de la Electrnica Digital, mientras que el conjunto
booleano se utiliza generalmente en el rea de Fundamentos de Programacin y Lgica Computacional.

Definicin (Conjunto de caracteres). Un conjunto de caracteres o juego de caracteres est formado por
smbolos que pueden ser reconocidos por un programa informtico u ordenador. Cada elemento de este
conjunto es un carcter.

Ejemplo. El lenguaje Java permite declarar variables cuyo tipo es un conjunto de caracteres que contiene
smbolos utilizados en mltiples idiomas. Algunos de los elementos de ese conjunto son las letras del
abecedario, los dgitos decimales y smbolos de puntuacin.

Ejemplo. Un conjunto de caracteres muy utilizado en Informtica y aceptado como estndar a nivel
mundial es el Unicode.

Definicin (Conjunto de los nmeros enteros). Un nmero entero es un elemento del conjunto infinito de
nmeros {,3,2,1,0,1,2,3,}. El conjunto de todos los nmeros enteros se denota por Z.

Ejemplo. Los nmeros 23478 y 102934 son nmeros enteros. En cambio, los nmeros 1.5 y 2.3 no
son nmeros enteros.

Definicin (Conjunto de los nmeros naturales). Un nmero natural es un nmero entero positivo (mayor
que cero). El conjunto de todos los nmeros naturales se denota por N.

A partir de la definicin anterior es trivial ver que N es un subconjunto propio de Z.

Ejemplo. Los nmeros 940567 y 12 son nmeros naturales. En cambio 17.4 y 3 no son nmeros
naturales.

No hay un acuerdo total en la comunidad matemtica acerca de si el nmero 0 debe considerarse o no un


nmero natural. Sin embargo, en la definicin anterior hemos establecido el criterio que se considera en
esta asignatura: que el nmero 0 no es un nmero natural. ste es el criterio ms generalizado en la
comunidad matemtica hoy en da.

Definicin (Conjunto de los nmeros racionales). Nmero racional es un nmero que puede expresarse
de la forma p/q, donde p y q son nmeros enteros y q0. El conjunto de todos los nmeros racionales
se denota por Q.

Ejemplo. Los nmeros 0, 2/3 y 128 son nmeros racionales. En cambio, 5/0 y la raz cuadrada de 2 no
son nmeros racionales. No obstante, la raz cuadrada de 9 s es racional y su valor es 3.

Ejemplo. Todos los nmeros decimales peridicos (aqullos cuya parte decimal se repite) son
racionales. Por ejemplo, 4.3333 es racional, ya que se puede expresar como 13/3.

Proposicin. El conjunto de los nmeros enteros, Z, es un subconjunto del conjunto de los nmeros
racionales, Q.

Definicin (Conjunto de los nmeros reales). Nmero real es cualquier nmero que se puede representar
en una recta en la que se ha establecido una escala y se ha marcado la posicin del nmero 0. El conjunto
de todos los nmeros reales se denota por R.

Ejemplo. Los nmeros 0, 2/3, 128, la raz cuadrada de 2 y son nmeros reales. En cambio, no son
nmeros reales 5/0 ni la raz cuadrada de 1.

Los nmeros reales son usados habitualmente para expresar cantidades de nuestra vida diaria como por
ejemplo temperatura, distancias, dinero, etc.

Definicin (Conjunto de los nmeros irracionales). Nmero irracional es un nmero real que no es
racional. El conjunto de todos los nmeros irracionales se denota por I.

Ejemplo. La raz cuadrada de 2 y el nmero son nmeros irracionales. En cambio, 0, 2/3 y la raz
cuadrada de 9 no son nmeros irracionales.

Los nmeros que no son reales se utilizan en reas especficas de las Matemticas y su estudio se escapa
a los objetivos de este libro.

Ejemplo. Tanto N, Z, Q, I como R son conjuntos infinitos y la cardinalidad de algunos de estos conjuntos
se estudiar ms adelante cuando se trate el tema de funciones.
3 Relaciones
Resumen

Este captulo trata los conceptos esenciales de las relaciones. Se presentan los fundamentos bsicos de
las relaciones y sus operaciones. Se muestran las distintas formas de representacin de relaciones. Se
explican las propiedades ms importantes que puede satisfacer una relacin. Finalmente, se tratan las
relaciones de orden.
3.1 Relaciones y operaciones
3.1.1 Conceptos bsicos de relaciones

Definicin (Relacin y aridad). Sea n un nmero natural. Una relacin deo definida enlos conjuntos
S1,S2,,Sn1 y Sn es un subconjunto de S1S2Sn1Sn. La aridad de la relacin es n.

Ejemplo. Sean los conjuntos A={1,2,3} y B={a,b,c,d}. El conjunto R={(1,a),(2,c),(2,d)} es una


relacin de A y B; su aridad es 2. En cambio, {(b,1)} no es una relacin de A y B, ya que (b,1)AB.

Definicin (Relacin binaria). Sea R una relacin de aridad 2 definida en la secuencia de conjuntos
(A,B). Decimos que R es una relacin binaria (de A en B), o simplemente R es una relacin de A en B.

Ejemplo. La relacin R del ejemplo anterior es una relacin binaria.

Definicin (Relacin ternaria). Una relacin ternaria es una relacin de aridad 3.

Ejemplo. Sean los conjuntos A={1,2}, B={a,b,c} y C={x,y}. El conjunto R={(2,a,x),(2,b,x),


(1,a,y)} es una relacin de A, B y C. Su aridad es 3; por tanto, R es una relacin ternaria. En cambio
{(2,a)} no es una relacin de A, B y C, ya que se trata de un conjunto con una tupla de longitud 2.
Tampoco lo es el conjunto {(b,a,x)}, ya que se tiene que el primer elemento de la tupla (b,a,x) (el
elemento b) no pertenece a A.

Definicin (Relacin universal y relacin vaca). Sea la secuencia de conjuntos (S1,S2,,Sn). Entonces:

la relacin universal en S1,S2,,Sn1 y Sn contiene todas las tuplas de S1S2Sn.

la relacin vaca en S1,S2,,Sn1 y Sn no contiene ninguna tupla.

Ejemplo. Considrense los siguientes conjuntos:

A={1,2,3}

B={a,b,c,d}

La relacin universal en A y B es
{(1,a),(1,b),(1,c),(1,d),(2,a),(2,b),(2,c),(2,d),(3,a),(3,b),(3,c),(3,d)}.

La relacin vaca de A y B es un conjunto que no contiene tuplas: el conjunto vaco ().

3.1.2 Operaciones sobre relaciones

Definicin (Unin, conjuncin o interseccin y diferencia de dos relaciones). Sean R1 y R2 dos relaciones
definidas en los conjuntos S1,S2,,Sn1 y Sn. Entonces:

la relacin unin de R1 y R2 es la unin de todas las tuplas de R1 y de R2. Se denota como R1R2.
la relacin conjuncin o interseccin de R1 y R2 est formada por las tuplas comunes a R1 y R2. Se
denota como R1R2.

la relacin diferencia de R1 y R2 est formada por las tuplas de R1 que no pertenecen a R2. Se
denota como R1\R2.

Ejemplo. Sean los siguientes conjuntos:

A={1,2,3}

B={a,b,c,d}

Sean las siguientes relaciones en A y B:

R1={(1,b),(2,c)}

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

Se tiene que la relacin unin de R1 y R2 es:


R1R2={(1,b),(1,c),(2,b),(2,c),(3,a),(3,d)}.
Se puede comprobar que, por tratarse de la unin de conjuntos, la tupla (2,c), que pertenece a R1 y a R2,
slo aparece una vez en R1R2.

La relacin conjuncin o interseccin de R1 y R2 es:


R1R2={(2,c)}.

La relacin diferencia de R1 y R2 es:


R1\R2={(1,b)}.

Definicin (Complemento de una relacin). Sea una relacin R definida en los conjuntos S1,S2,,Sn1
y Sn. La relacin complemento o complementaria de R est formada por todas las tuplas de S1S2
Sn que no pertenecen a R. Se denota como R.

Ejemplo. Sean los conjuntos A={1,2,3} y B={a,b}. Sea la relacin R de A en B dada por R=
{(1,a),(2,a),(2,b)}. Se tiene que:
AB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}.
Entonces, R es el conjunto de las tuplas de AB que no pertenecen a R, esto es, R={(1,b),
(3,a),(3,b)}.

Definicin (Contener a una relacin). Sean dos relaciones R y R definidas en los conjuntos S1,S2,,Sn
1 y Sn . R contiene a R si todas las tuplas de R pertenecen a R.

Ejemplo. Sean los conjuntos A y B y la relacin R del ejemplo anterior. Sea la relacin R de A en B dada
por R={(1,a),(2,b)}. Se puede comprobar que las dos tuplas de R pertenecen tambin a R. Por tanto,
R contiene a R.
Proposicin. Sea R cualquier relacin. Se cumple que:

R contiene a la relacin vaca y

la relacin universal contiene a R.

Definicin (Relaciones iguales). Sean R y S dos relaciones. R y S son iguales si R contiene a S y S


contiene a R. Se denota por R=S.

Ejemplo. Sean R y S dos relaciones definidas en X={1,2} y {a,b,c} dadas por R={(1,a),(2,b)} y S
={(2,b),(1,a)}. R y S son iguales, denotado por R=S.

Es trivial ver que, dadas dos relaciones R y S, si R=S entonces S=R.


3.2 Relaciones binarias
3.2.1 Dominio y rango

Definicin (Dominio de una relacin binaria). Sea R una relacin binaria de X en Y. El dominio de R es
el conjunto de todos los elementos xX tales que para algn yY se cumple que (x,y)R. Se denota
como dom(R).

Ejemplo. Sean los conjuntos X={1,2,3} e Y={a,b,c,d}. Sea la relacin R de X en Y dada por R=
{(1,a),(1,b),(2,d)}. Para el elemento 1X se cumple que hay al menos una tupla (1,y)R, con y
Y; en concreto tenemos dos tuplas: (1,a) y (1,b). Para 2X tenemos una tupla (2,y)R;
concretamente aparece la tupla (2,d). Por tanto, el dominio de la relacin R es dom(R)={1,2}.

Definicin (Espacio de dominio de una relacin binaria). Sea R una relacin binaria de X en Y. El
espacio de dominio de R es el conjunto X.

Es trivial ver que el dominio de una relacin binaria es siempre un subconjunto de su espacio de
dominio.

Ejemplo. Consideremos la relacin del ejemplo anterior. El espacio de dominio de R es el conjunto X=


{1,2,3}. Se puede comprobar como dom(R)={1,2} es un subconjunto del espacio de dominio.

Definicin (Rango de una relacin binaria). Sea R una relacin binaria de X en Y. Se denomina rango de
R al conjunto de todos los elementos yY tales que para algn xX se cumple que (x,y)R. Se
denota como ran(R).

Ejemplo. Sea la relacin R del ejemplo visto al comienzo de esta seccin. Para el elemento aY se
cumple que hay una tupla (x,a)R, con xX; en concreto tenemos (1,a). Para el elemento bY
existe una tupla (x,b); concretamente tenemos (1,b). Igualmente, para dY tenemos (2,d). En cambio,
para el elemento c no hay ninguna tupla (x,c). Por tanto, el rango de R es ran(R)={a,b,d}.

Definicin (Espacio de rango de una relacin binaria). Sea R una relacin binaria de X en Y. El espacio
de rango de R es el conjunto Y.

Es trivial ver que el rango de una relacin binaria es siempre un subconjunto de su espacio de rango.

Ejemplo. Sea la relacin R del ejemplo visto al comienzo de esta seccin. El espacio de rango de R es Y
={a,b,c,d}.

3.2.2 Operaciones especiales

Definicin (Relacin inversa). Sea una relacin R de X en Y. La relacin inversa de R, denotada por R
1, es la relacin de Y en X que para todo xX e yY se cumple que (y,x)R1 si y slo si (x,y)
R.

De manera muy informal podemos decir que la relacin inversa bsicamente toma cada tupla de la
relacin R y da la vuelta a sus dos elementos: el primer elemento de la tupla pasa a ser el segundo y
viceversa. Veamos un ejemplo.

Ejemplo. Sean los conjuntos X={1,2,3} e Y={a,b,c,d}. Sea la relacin R de X en Y dada por R=
{(1,a),(1,b),(2,d)}. La relacin inversa de R es R1={(a,1),(b,1),(d,2)}.

Definicin (Composicin de dos relaciones). Sea R una relacin de X en Y y sea S una relacin de Y en Z.
La composicin de R y S es la relacin de X en Z formada por el conjunto de pares (x,z), siendo xX y
zZ, para los que existe algn yY tal que (x,y)R e (y,z)S.

Ejemplo. Sean los conjuntos X={1,2,3}, Y={a,b,c,d} y Z={t,u,v,w}. Sea la relacin de X en Y


dada por R={(1,a),(1,b),(2,c),(3,a)}. Sea la relacin de Y en Z dada por S={(b,t),(b,w),(c,v),
(d,u)}. La composicin de R y S es la relacin T={(1,t),(1,w),(2,v)}. Por ejemplo, dado que (1,b)
R y (b,t)S, entonces se tiene que (1,t)T. Adems, como (2,c)R y (c,v)S, entonces (2,v)
T. Igualmente, como (1,b)R y (b,w)S, entonces (1,w)T.

Definicin (Relacin en un conjunto). Sea X un conjunto. Una relacin (definida) en X es una relacin de
X en X.

Ejemplo. Sea X={1,2,3}. Se tiene que R={(1,2),(3,1),(3,2)} es una relacin en X.

Definicin (Relacin identidad). La relacin de identidad sobre X es la relacin en X formada por todos
los pares (x,x), siendo xX. Se denota IX.

Ejemplo. Sea el conjunto X={1,2,3}. La relacin de identidad sobre X es IX={(1,1),(2,2),(3,3)}.


3.3 Representacin de relaciones
Las relaciones se describen por intensin o por extensin, al igual que cualquier conjunto. En el caso de
que sean descritas por extensin, constan de una lista de pares. Sin embargo, la descripcin de una
relacin mediante una lista de tuplas no es muy visual ya que no ayuda a apreciar con facilidad algunas
propiedades de las relaciones. Es por ello que existen dos tipos principales de formas de representacin
de relaciones binarias que son muy utilizadas: las matrices y los grafos dirigidos. No obstante, slo se
utilizan si los espacios de dominio y de rango son finitos.

3.3.1 Matriz de una relacin


Definicin (Matriz de una relacin). Sean los conjuntos finitos X={x1,x2,...,xm} e Y={y1,y2,...,yn}.
Sea R una relacin de X en Y. La matriz de R tiene m filas y n columnas y cumple que el elemento de la
fila i y columna j es 1 si (xi,yj )R, y es 0 en otro caso. La matriz de R se denota por MR,

Ejemplo. Sean los conjuntos X={3,7,9} e Y={b,c,d,e}, y la relacin R={(3,c),(7,b),(9,c),


(9,d)}. Siguiendo la notacin de la definicin anterior se tiene que:

x1=3, x2=7, x3=9,

y1=b, y2=c, y3=d, y4=e.

La matriz MR de la relacin R es la que aparece en la siguiente figura:

Matriz de la relacin sobre X={3,7,9} e Y={b,c,d,e} dada por R={(3,c),(7,b),(9,c),(9,d)}.

Cada fila de la matriz corresponde a un elemento de X, y cada columna corresponde a un elemento de Y.


Considrese el elemento de la fila 3 y columna 2. Dado que x3=9 e y2=c, dicha casilla corresponde al
par (9,c). Como (9,c)R entonces el valor de dicha casilla en la matriz es 1. En cambio, el elemento
de la fila 2 y columna 4 toma el valor 0, ya que (x2,y4)=(7,e)R.

3.3.2 Grafo de una relacin

Los grafos constituyen una forma muy visual de representar una relacin binaria. El tema de Teora de
grafos se explicar ms adelante en el libro, y en l se ver cmo representar una relacin binaria en un
conjunto X mediante un grafo.

No obstante, tambin es frecuente tener una relacin binaria R de un conjunto X en otro conjunto Y. En ese
caso se suele utilizar una representacin grfica que consiste en:

dibujar cada elemento de X rodeado con un crculo y ubicado a un lado en la figura, por ejemplo a la
izquierda,

dibujar los elementos de Y al otro lado, por ejemplo a la derecha, y

trazar una flecha desde un elemento xX a un elemento yY si y slo si (x,y)R.

Ejemplo. Sean X={1,2,3,4} e Y={a,b,c,d}. La siguiente figura muestra la relacin de X en Y dada


por R={(1,b),(1,c),(2,a),(4,b)}.

Grafo de la relacin sobre X={1,2,3,4} e Y={a,b,c,d} dada por R={(1,b),(1,c),(2,a),(4,b)}.

Adems, existen distintas modalidades de la anterior representacin grfica. Por ejemplo, se pueden
rodear los elementos de cada conjunto con una lnea curva cerrada, con lo que no sera necesario dibujar
el crculo pequeo de cada nodo, sino simplemente el nombre del elemento. Cuando se vea la seccin de
conceptos avanzados de conjuntos se ver un ejemplo de esta representacin.
3.4 Propiedades de las relaciones
3.4.1 Propiedades ms importantes de las relaciones

Vamos a centrarnos ahora en las relaciones sobre un conjunto y vamos a estudiar las distintas
propiedades que pueden verificar.

Definicin (Propiedad reflexiva). Sea R una relacin en X. R cumple la propiedad (o es) reflexiva, si
para todo xX se cumple que (x,x)R.

Ejemplo. Sea el conjunto X={1,2,3}. La relacin R en X dada por R={(1,1),(1,2),(2,2),(3,1),(3,


3)} es reflexiva, ya que se tiene que los pares (1,1), (2,2) y (3,3) pertenecen a R. En cambio, la relacin
S={(1,2),(2,2),(3,1),(3,3)} no es reflexiva, ya que el par (1,1)S.

Definicin (Propiedad simtrica). Sea R una relacin en X. R cumple la propiedad (o es) simtrica, si
para todo par (u,v)R se cumple que (v,u)R.

Ejemplo. Sea el conjunto X={1,2,3}. Sea la siguiente relacin:


R={(1,1),(1,2),(2,1),(2,3),(3,2),(3,3)}.
R es simtrica. As, por ejemplo, si tomamos el par (1,2)R, entonces podemos comprobar que (2,1)
R; de la misma forma podramos realizar la comprobacin para cualquier otro par de R. En cambio, la
relacin S={(1,1),(1,2),(2,1),(2,3)} no es simtrica, ya que el par (2,3)S, pero (3,2)S.

Definicin (Propiedad transitiva). Sea R una relacin en X. R cumple la propiedad (o es) transitiva si
siempre que (u,v)R y (v,w)R se cumple que (u,w)R.

Ejemplo. Sea el conjunto X={1,2,3,4}. Sea la siguiente relacin:


R={(1,1),(1,2),(1,4),(2,4),(3,2),(3,4),(4,4)}.
R es transitiva. Se puede ver, por ejemplo, que (1,2)R, (2,4)R y (1,4)R. En cambio, la
relacin S={(3,2),(2,4)} no es transitiva, ya que (3,2)S y (2,4)S, pero (3,4)S.

Definicin (Propiedad antisimtrica). Sea R una relacin en X. R cumple la propiedad (o es)


antisimtrica si siempre que (u,v)R y (v,u)R se cumple que u=v.

Ejemplo. Sea el conjunto X={1,2,3,4}. Sea la siguiente relacin:


R={(1,1),(1,3),(1,4),(2,4),(4,4)}.
R es antisimtrica. En cambio, la relacin S={(1,1),(1,3),(1,4),(3,1),(3,4),(4,4)} no es
antisimtrica, pues se tiene que (1,3) y (3,1) pertenecen a R, pero 13.

Definicin (Propiedad irreflexiva). Sea R una relacin en X. R cumple la propiedad (o es) irreflexiva si
no existe ningn xX tal que (x,x)R.

Ejemplo. Sea el conjunto X={1,2,3,4}. La relacin R={(1,3),(1,4),(2,4)} es irreflexiva. En


cambio, la relacin S=R{(1,1)} no es irreflexiva. Adems, S tampoco es reflexiva.

3.4.2 Cierres
Definicin (Cierre de una relacin respecto a una propiedad). Sea R una relacin en X y sea P una
propiedad de las relaciones binarias. El cierre de R respecto a P es una relacin R tal que:

1. R contiene a R,

2. R satisface la propiedad P,

3. si otra relacin R cumple los puntos 1 y 2 anteriores entonces R contiene a R.

De una manera informal la definicin anterior expresa el hecho de que el cierre de una relacin R
respecto a una propiedad P es la relacin ms pequea que contiene a R y que satisface P.

Teorema. Sea R una relacin en X que satisface una propiedad P. Sea R el cierre de R respecto a P.
Entonces R=R.

Definicin (Cierre reflexivo de una relacin). Sea R una relacin en X. El cierre reflexivo de R es el
cierre de R respecto a la propiedad reflexiva.

Ejemplo. Sea el conjunto X={1,2,3} y sea R={(1,1),(1,2),(2,3),(3,2)}. Se puede comprobar que R


no es reflexiva. En cambio, la relacin R=R{(2,2),(3,3)} s es reflexiva. Adems, para cualquier
relacin R que contenga a R y sea reflexiva se cumple que R contiene a R. Por tanto, R es el cierre
reflexivo de R.

Definicin (Cierre simtrico de una relacin). Sea R una relacin en X. El cierre simtrico de R es el
cierre de R respecto a la propiedad simtrica.

Ejemplo. Sea el conjunto X={1,2,3} y sea R={(1,1),(1,2),(2,3),(3,3)}. Se puede comprobar que R


no es simtrica. En cambio, la relacin R=R{(2,1),(3,2)} s es simtrica. Adems, para cualquier
relacin R que contenga a R y sea simtrica se cumple que R contiene a R. Por tanto, Res el cierre
simtrico de R.

Definicin (Cierre transitivo de una relacin). Sea R una relacin en X. El cierre transitivo de R es el
cierre de R respecto a la propiedad transitiva.

Ejemplo. Sea el conjunto X={1,2,3} y sea R={(1,1),(1,2),(2,3),(3,3)}. Se puede comprobar que R


no es transitiva. El cierre transitivo de R es R=R{(1,3)}.

3.4.3 Relaciones de equivalencia

Definicin (Relacin de equivalencia). Sea R una relacin en X. R es una relacin de equivalencia si


cumple las propiedades reflexiva, simtrica y transitiva.

Ejemplo. Sea el conjunto X={1,2,3,4}. Sea la relacin R en X dada por:


R={(1,1),(1,3),(2,2),(2,4),(3,1),(3,3),(4,2),(4,4)}.
R cumple las propiedades reflexiva, simtrica y transitiva. Por tanto, R es una relacin de equivalencia.

Ejemplo. Sea Y={1,2}. Sea la relacin S definida en Y dada por S={(1,2)}. S no es relacin de
equivalencia ya que no es reflexiva ni simtrica.
Definicin (Cierre de equivalencia de una relacin). Sea R una relacin en X. El cierre de equivalencia
de R es el cierre de R respecto a la propiedad ser relacin de equivalencia.

Ejemplo. Sea el conjunto X={1,2,3}. Sea la relacin R={(1,1),(2,1),(3,3)}. R no es una relacin de


equivalencia. Su cierre de equivalencia es R=R{(2,2),(1,2)}.

Definicin (Clase de equivalencia). Sea R una relacin de equivalencia sobre X. Sea xX. La clase de
equivalencia asociada a x en R es el conjunto de los elementos yX tales que (x,y)R. Se denota por
[x].

Ejemplo. Sea el conjunto X y la relacin R del primer ejemplo de esta subseccin. Se vio que R es una
relacin de equivalencia. La clase de equivalencia asociada al elemento 1 en R es [1]={1,3}.

Teorema. Sea R una relacin de equivalencia en X. Sean yX y zX. Si (y,z)R entonces [y]=
[z].

Ejemplo. Sea el conjunto X y la relacin R del primer ejemplo de esta subseccin. Se cumple que [1]=
[3], y que [2]=[4].

Proposicin. Sea R una relacin de equivalencia sobre X. La coleccin formada por todas las clases de
equivalencia en R constituye una particin de X.

Ejemplo. En el ejemplo anterior se vio que [1]=[3] y [2]=[4]. Por tanto, hay dos clases de
equivalencia en X, que son

[1]=[3]={1,3} y

[2]=[4]={2,4}.

Se puede comprobar que dichos dos conjuntos, {1,3} y {2,4}, constituyen una particin de X.

Definicin (Conjunto cociente). Sea R una relacin de equivalencia sobre X. El conjunto cociente de X
segn R est formado por todas las clases de equivalencia en R.

Ejemplo. Sean el conjunto X y la relacin R del ejemplo anterior. El conjunto cociente de X segn R es
{{1,3},{2,4}}.
3.5 Relaciones de orden
Definicin (Orden parcial u orden parcial dbil). Sea R una relacin sobre X. R es un orden parcial
dbil, o simplemente orden parcial, si es reflexiva, antisimtrica y transitiva.

Definicin (Conjunto parcialmente ordenado). Sea X un conjunto. X es un conjunto parcialmente


ordenado si existe un orden parcial dbil para X. Las siglas para denotarlo son cpo.

Ejemplo. Sea el conjunto X={1,2,3}. La relacin sobre X dada por R={(1,1),(1,2),(1,3),(2,2),(2,


3),(3,3)} es un orden parcial. Por tanto, X es un cpo.

Ejemplo. Sea la relacin R ser menor o igual que definida sobre el conjunto de los nmeros enteros. Es
decir, dados x e y dos nmeros enteros, (x,y)R si y slo si x es menor o igual que y. Por ejemplo, (2,
5)R ya que 2 es menor o igual que 5. Tambin se tiene que (4,4)R. En cambio (3,2)R.
Se puede comprobar que R reflexiva, antisimtrica y transitiva. Por tanto, R es un orden parcial para el
conjunto de los nmeros enteros, y ste es un cpo.

Definicin (Orden estricto). Sea R una relacin sobre X. R es un orden estricto si es irreflexiva y
transitiva.

Teorema. Todo orden estricto cumple la propiedad antisimtrica.

Ejemplo. Sea el conjunto X={1,2,3}. La relacin sobre X dada por R={(1,2),(1,3),(2,3)} es un


orden estricto, ya que es irreflexiva y transitiva (y antisimtrica).

Ejemplo. Sea la relacin R ser menor que definida sobre el conjunto de los nmeros enteros. Es decir,
dados x e y dos nmeros enteros, (x,y)R si y slo si x es menor que y. Por ejemplo, (2,5)R ya que
2 es menor 5. En cambio, (4,4)R y (3,2)R. Se puede comprobar que R es irreflexiva y
transitiva (y tambin antisimtrica). Por tanto, R es un orden estricto para el conjunto de los nmeros
enteros.

Definicin (Orden estricto inducido por un orden parcial). Sea el orden parcial R para el conjunto X.
Orden estricto inducido por R sobre X es la relacin R=R\IX.

Se puede ver fcilmente la prueba de que, de acuerdo a la definicin anterior, R=R\IX es una relacin
de orden estricto. As, si R es una relacin de orden parcial sobre X entonces verifica las propiedades
reflexiva, antisimtrica y transitiva. Por tanto, al hacer la diferencia de R con la relacin identidad sobre
X, IX, la relacin obtenida es irreflexiva, antisimtrica y transitiva, y por tanto cumple las propiedades de
orden estricto.

Ejemplo. Sea el conjunto de los nmeros naturales con la relacin de orden parcial R ser menor o igual
que. El orden estricto inducido por R es la relacin R=R\IX, que corresponde a la relacin ser
menor que. Se puede comprobar que cumple las propiedades de un orden estricto.

Definicin (Orden total o lineal). Sea R un orden parcial sobre X. R es un orden total u orden lineal si
para cualesquiera dos elementos y y z de X se cumple que (y,z)R (z,y)R.
Definicin (Conjunto totalmente ordenado). Sea un orden total R para X. Entonces se dice que X es un
conjunto totalmente ordenado o linealmente ordenado.

Ejemplo. Anteriormente vimos que la relacin R ser menor o igual que definida sobre el conjunto de
los nmeros enteros es un orden parcial. Dado que para cualesquiera x e y nmeros enteros se cumple que
x es menor o igual que y o viceversa, entonces R es un orden total. Por tanto, el conjunto de los nmeros
enteros es un conjunto totalmente ordenado.

Ejemplo. Sea X={1,2,3,4}. La relacin R sobre X dada por R={(1,1),(1,2),(2,2),(3,3),(3,4),(4,


4)} es un orden parcial, pero no es un orden total, ya que, por ejemplo, ni (1,3) ni (3,1) pertenecen a R.

3.5.1 Conceptos asociados a orden parcial

Definicin (Cota superior y cota inferior). Sea el orden parcial R para X. Sean yX y zX. Entonces:

z es una cota superior de y si (y,z)R.

z es una cota inferior de y si (z,y)R.

Ejemplo. Sea el conjunto X={1,2,3}. Sea la relacin de orden parcial sobre X dada por R={(1,1),
(1,2),(1,3),(2,2),(2,3),(3,3)}. El elemento 1 es una cota inferior del elemento 3; el 2 y el 3 tambin
son cotas inferiores de 3. El elemento 3 es una cota superior de 1; el 1 el 2 tambin son cotas superiores
de 1.

Definicin (Elemento maximal y elemento minimal). Sea el orden parcial R para X. Sea R el orden
estricto inducido por R sobre X. Sea zX. Entonces

z es un elemento maximal si no existe ningn yX tal que (z,y)R.

z es un elemento minimal si no existe ningn yX tal que (y,z)R.

Ejemplo. Sean el conjunto X y la relacin R de orden parcial del ejercicio anterior. El 1 es un elemento
minimal y el 3 es un elemento maximal.

Ejemplo. Sea el conjunto de los nmeros naturales con la relacin de orden parcial R ser menor o igual
que. El orden estricto inducido por R es R=R\IX, que es la relacin ser menor que. El elemento 1
es un elemento minimal, ya que no hay ningn nmero natural que sea menor que 1.

Definicin (Conjunto parcialmente ordenado bien fundado). Sea R un orden parcial para X. X es un cpo
bien fundado si todo subconjunto de X distinto de tiene un elemento minimal.

Teorema. Sea el orden parcial R para el conjunto finito X. X tiene un elemento maximal y un elemento
minimal.

Proposicin. Sea el orden parcial R para el conjunto finito X. X es un cpo bien fundado.

Ejemplo. Cualquier orden parcial de los vistos en este tema que se hayan basado en un conjunto finito es
un ejemplo de cpo bien fundado.
Ejemplo. El conjunto de los nmeros naturales con la relacin de orden parcial ser menor o igual que
es un cpo bien fundado.

Ejemplo. El conjunto de los nmeros enteros con la relacin de orden parcial ser menor o igual que no
es un cpo bien fundado, ya que existe algn subconjunto de Z que no tiene elemento minimal. Por ejemplo,
si tomamos el conjunto formado por los enteros pares (mltiplos de 2) con la relacin de orden parcial
ser menor o igual que podemos comprobar que dicho conjunto no tiene elemento minimal.

Definicin (Elemento mximo y elemento mnimo). Sea el orden parcial R para X. Sea zX. Entonces:

z es un elemento mximo de X segn R si para todo yX se cumple que (y,z)R.

z es un elemento mnimo de X segn R si para todo yX se cumple que (z,y)R.

Es trivial comprobar que todo elemento mximo es maximal, y que todo elemento mnimo es minimal.

Teorema. Sea el orden parcial R para el conjunto X. Entonces:

Si existe un elemento mximo de X segn R entonces es nico.

Si existe un elemento mnimo de X segn R entonces es nico.

Ejemplo. El conjunto de los nmeros naturales con la relacin de orden parcial ser menor o igual que
es un orden parcial cuyo elemento mnimo es el 1.

Ejemplo. Sea el conjunto de los nmeros naturales. Sea la relacin R tal que, dados dos nmeros
naturales x e y, (x,y)R si y slo si x es menor o igual que y e (yx) es mltiplo de 2. R es una
relacin de orden parcial. Existen dos elementos minimales: el 1 y el 2. Sin embargo, no existe ningn
elemento mnimo, ya que (1,2)R y (2,1)R.

Definicin (Orden lexicogrfico). Sea la secuencia de conjuntos (S1,S2,,Sn), tal que cada Si es un cpo
con relacin de orden parcial Ri. Orden lexicogrfico es la relacin de orden parcial R en S=S1S2
Sn tal que, dados cualesquiera dos elementos x=(x1,...,xn) e y=(y1,...,yn) de S, (x,y)R si y
slo si:
i1in,(j1j<i,xj =yj )(xi,yi)Ri.

El orden lexicogrfico es muy parecido al orden alfabtico que se utiliza entre las palabras que aparecen
en un diccionario de cualquier idioma, como vamos a ver con un ejemplo.

Ejemplo. Sean los conjuntos S1=S2=S3={a,b,c,d}. Sean las relaciones R1, R2 y R3 tales que para
todo x,ySi se cumple que (x,y)Ri si y slo si x precede a y en el alfabeto del idioma espaol o
castellano. Se puede comprobar que cada Si es un cpo con la relacin Ri. Veamos algn ejemplo de
relacin entre elementos segn el orden lexicogrfico R para S=S1S2S3. Dados x=(a,c,c) e y=
(b,a,a) se tiene que (x,y)R, ya que, segn la notacin de la definicin de orden lexicogrfico, x1=a,
y1=b y (x1,y1)R1. Adems, dados x=(b,a,c) e y=(b,c,a) se tiene que (x,y)R, ya que:

x1=b, y1=b, x1=y1,


x2=a, y2=c, y (x2,y2)R2.

Definicin (Relacin de cobertura). Sea un cpo X con la relacin R. Sea R el orden estricto inducido por
R sobre X. La relacin de cobertura de X es una relacin R tal que para todo xX e yX, (x,y)
R si y slo si

(x,y)R, y

no existe ningn zX que cumpla que (x,z)R y (z,y)R.

Ejemplo. Sea el conjunto X={a,b,c,d,e,f}. Sea la relacin R en X dada por:


R={(a,a),(a,b),(a,c),(a,d),(a,e),(a,f),(b,b),(b,f),(c,c),(c,d),(c,e),(c,f),(d,d),(d,f),(e,e),(e,f),
(f,f)}.

La relacin R es un orden parcial para X. El orden estricto inducido por R es la relacin R dada por
R={(a,b),(a,c),(a,d),(a,e),(a,f),(b,f),(c,d),(c,e),(c,f),(d,f),(e,f)}.

La relacin de cobertura para X es:


R={(a,b),(a,c),(b,f),(c,d),(c,e),(d,f),(e,f)}.

Teorema. Sea R una relacin de orden parcial sobre X. Sea R la relacin de cobertura sobre X. Sea R el
cierre transitivo de RIX. Se cumple que R=R.

De manera informal, segn el teorema anterior, la relacin de cobertura R es una reduccin de la


relacin original R tal que si calculamos el cierre transitivo de R y le aadimos la relacin de identidad
entonces obtenemos la relacin R. Se puede ver que en el ejemplo anterior la relacin de cobertura R
contena 7 tuplas, mientras que la relacin R contena 16. Dicha reduccin en el nmero de tuplas permite
representar grficamente R mediante un tipo especial de diagrama, como vamos a ver a continuacin.

Definicin (Diagrama de Hasse). Sea R un orden parcial para X. Sea S la relacin de cobertura para X.
El diagrama de Hasse de X es un grafo en el que:

cada xX aparece representado por un nodo,

para cada xX e yX, si (x,y)S entonces x aparece ms abajo que y en el diagrama y los
nodos de x e y estn conectados por un segmento.

Ejemplo. Consideremos el conjunto X, la relacin de orden parcial R y la relacin de cobertura R del


ejemplo anterior. Un diagrama de Hasse para X aparece en la figura siguiente. Se puede comprobar que el
elemento mnimo es a, ya que es el que aparece ms abajo; y el elemento mximo es f, que es el que
aparece ms arriba. A partir del diagrama de Hasse tambin es fcil ver relaciones entre elementos de la
relacin de partida R. As, por ejemplo, dado que en el diagrama hay dos segmentos consecutivos, uno de
c a e y otro de e a f, entonces, por la propiedad transitiva, sabemos que (c,f)R.
Diagrama de Hasse para una relacin de orden parcial en X={a,b,c,d,e,f}.

3.5.2 Notacin infija en el uso de algunas relaciones muy comunes

A partir de ahora vamos a suponer que el lector est familiarizado con los smbolos de relacin =, ,
<, y >, que se utilizan para comparar la magnitud de los nmeros naturales, enteros, racionales y
reales. La relacin correspondiente de algunos de esos smbolos se ha usado en varios ejemplos de este
tema, como la relacin ser menor o igual que () o la relacin ser menor que (<).

Con dichos smbolos se suele utilizar notacin infija, de forma que en lugar de escribir (x,y)R se
suele escribir xRy. As, por ejemplo, para indicar que la tupla (2,5) pertenece a la relacin <, en lugar
de escribir la expresin (2,5)< ser ms frecuente que escribamos 2<5.
4 Funciones
Resumen

Este captulo trata los conceptos fundamentales de las funciones. Se presentan las definiciones bsicas
relacionadas con el concepto de funcin. Se diferencia entre funciones totales y parciales. Se muestran
las distintas formas de representacin de funciones. Se explican las operaciones ms importantes, como
son la composicin y la funcin inversa. Se estudia la categorizacin de funciones inyectivas,
sobreyectivas y biyectivas. Se profundiza en el tema de la cardinalidad de conjuntos infinitos, un tema
que no poda se tratado sin un conocimiento adecuado del concepto de funcin biyectiva. Finalmente, se
estudia el concepto de homomorfismo y algunos tipos de homomorfismos.
4.1 Concepto de funcin
Definicin (Funcin y aridad). Sea n un nmero natural y sea la secuencia de conjuntos S=(X1,X2,
,Xn,Y). Una funcin es una relacin R sobre S tal que para todo (x1,x2,,xn)X1X2Xn
existe un nico yY tal que (x1,x2,,xn,y)R. La aridad de la funcin es n.

Ejemplo. Sean los conjuntos X1={1,2}, X2={5,7} e Y={3,8,9}. La relacin R sobre X1X2Y
dada por R={(1,5,3),(1,7,8),(2,5,3),(2,7,9)} es una funcin. Su aridad es 2.

Ejemplo. Sean los mismos conjuntos X1, X2 e Y del ejemplo anterior. La relacin R sobre X1X2Y
dada por:
R={(1,5,3),(1,7,8),(2,5,3),(2,5,9),(2,7,9)}
no es una funcin, ya que para la tupla (2,5)X1X2 hay dos elementos de Y, el 3 y el 9, tales que (2,
5,3) y (2,5,9) pertenecen a R.

Ejemplo. Sean los conjuntos X1={1,2}, X2={5,7} e Y={3,8,9}. La relacin R sobre X1X2Y
dada por R={(1,5,3),(1,7,8),(2,7,9)} no es una funcin, ya que para la tupla (2,5)X1X2 no
existe ningn yY tal que (2,5,y)R.

Como notacin, para referirse a funciones se suelen emplear letras minsculas comenzando a partir de la
letra f y siguiendo el orden alfabtico: f, g, h, etc. Si f es una relacin definida en la secuencia de
conjuntos (X1,X2,,Xn,Y) y f es una funcin, entonces se denota:
f:X1X2XnY.
Adems, dados (x1,x2,,xn)X1X2Xn e yY, el hecho de que (x1,x2,,xn,y) estn
relacionados mediante f se denota por f(x1,x2,,xn)=y. Finalmente, es habitual decir entonces que f es
una funcin de X1X2Xn en o a Y.

Ejemplo. Considrense los conjuntos X1, X2 e Y y la relacin R del ejemplo del comienzo de esta
seccin. Usando la notacin que acabamos de describir, la relacin R, que es una funcin, se puede
expresar usando la letra f y escribir como f:X1X2Y. Adems, se tiene que f(1,5)=3, f(1,7)=8,
f(2,5)=3 y f(2,7)=9.

Definicin (Dominio y codominio de una funcin). Sea la funcin f:X1X2XnY. Entonces:

El dominio de f es X1X2Xn. Se denota por Dom(f).

El codominio de f es Y. Se denota por Cod(f).

Ejemplo. Sean X1={1,2}, X2={5,7} e Y={3,8,9}. Sea la funcin f:X1X2Y. Se tiene que
Dom(f)=X1X2={(1,5),(1,7),(2,5),(2,7)} y Cod(f)=Y={3,8,9}.

Vamos a usar la notacin de letras en minscula y negrita, como x, para referirnos a tuplas como (x1,x2,
,xn).
Definicin (Imagen de un elemento). Sean el conjunto Y y la funcin f:Dom(f)Y. Dado un elemento
x=(x1,x2,,xn)Dom(f), se denomina imagen de x segn f al elemento yY tal que f(x)=y.

Ejemplo. Vuelva al ejemplo del comienzo de esta seccin y considere los conjuntos X1, X2 e Y, y la
funcin f:X1X2Y que all se vieron. Sea x=(1,7)Dom(f). La imagen de x segn f es f(x)=8.

Definicin (Imagen o rango de una funcin). Sea el conjunto Y y sea la funcin f:Dom(f)Y. La
imagen o rango de f es el conjunto de elementos yY para los que existe algn x=(x1,,xn)
Dom(f) tal que f(x1,,xn)=y. Se denota por Im(f) Ran(f).

Por la definicin anterior es fcil ver que Im(f)Cod(f).

Ejemplo. Sean X={1,2,3} e Y={a,b,c,d}. Sea la funcin f:XY tal que f(1)=b, f(2)=d y f(3)
=b. Se tiene que Im(f)={b,d}.

Definicin (Preimagen de un elemento). Sea la funcin f:Dom(f)Y. Sea un elemento yY.


Preimagen de y segn f es un elemento xDom(f) tal que f(x)=y.

Ejemplo. Sean X={1,2,3} e Y={a,b,c,d}. Sea la funcin f:XY tal que f(1)=b, f(2)=d y f(3)
=b. Se tiene que una preimagen de b es 1. Por su parte, una preimagen de d es 2.

Ejemplo. Sea la funcin f dada por la relacin R del ejemplo del comienzo de esta seccin. Una
preimagen de 8 es (1,7), ya que f(1,7)=8.

Ejemplo. Sean X={1,2,3} e Y={a,b}. Sea f:XY tal que f(1)=b, f(2)=a y f(3)=b. Una
preimagen de b es 1, ya que f(1)=b. No obstante, el 1 no es la nica preimagen de b, pues el 3 tambin
lo es, ya que f(3)=b.
4.2 Funciones parciales y totales. Funciones especiales: identidad y
constante
Definicin (Funciones parciales y totales). Sean dos conjuntos X e Y, y sea X un subconjunto de X. Una
funcin parcial de X en Y es una funcin f:XY. Una funcin total de X en Y es una funcin f:X
Y.

En la definicin anterior, por simplicidad en la notacin hemos escrito un solo conjunto X, aunque X
podra representar el producto cartesiano de otros conjuntos, tal y como hemos visto en ejemplos
anteriores.

Proposicin. Toda funcin total es parcial.

Ejemplo. Sean X={1,2,3} e Y={a,b,c,d}. Sea la funcin f:XY tal que f(1)=b, f(2)=d y f(3)
=b. Dicha funcin es total.

Ejemplo. Sean X={1,2,3} e Y={a,b,c,d}. Sea X={2,3}, y sea la funcin g:XY dada por
g(2)=a y g(3)=c. Dado que XX, g es una funcin parcial de X en Y; adems, g no es una funcin
total de X en Y, ya que XX.

Definicin (Funcin identidad). Sea un conjunto X. Funcin identidad en X es la funcin f:XX tal
que para todo xX se cumple que f(x)=x.

Ejemplo. Sea el conjunto X={1,2,3}. La funcin identidad para X es f:XX tal que f(1)=1, f(2)
=2 y f(3)=3.

Definicin (Funcin constante). Sean dos conjuntos X e Y, siendo Y. Sea yY. Funcin constante
es una funcin f:XY tal que para todo xX se cumple que f(x)=y.

Ejemplo. Sean los conjuntos X={1,2,3} e Y={a,b,c,d}. Una funcin constante para X es f:XY
tal que f(1)=b, f(2)=b y f(3)=b.
4.3 Representacin formal y grfica de funciones
Vamos a ver cmo representar las funciones mediante tres formas distintas: tablas, curvas y grafos.

4.3.1 Representacin mediante tablas

Las funciones que tienen dominio finito se pueden representar mediante una tabla. As, sea un conjunto Y
y sea una funcin f:Dom(f)Y de aridad n. La funcin f se puede representar mediante una tabla de n
+1 columnas y Dom(f)+1 filas. La primera fila queda reservada para el encabezado de la tabla. Cada
una de las dems filas contiene un elemento distinto xDom(f), que ocupa las celdas de las n primeras
columnas, y en la celda de la n+1-sima columna aparece f(x).

Ejemplo. Sean los conjuntos X1,X2 e Y y la funcin f del ejemplo del comienzo de este captulo. La tabla
de la siguiente figura representa la funcin f.

Representacin mediante tabla de la funcin f del ejemplo.

4.3.2 Representacin mediante curvas

Las funciones cuyo rango y dominio son los nmeros reales suelen representarse mediante curvas. En el
caso de funciones de R en R (aridad 1) se usa una representacin en el plano eucldeo, como vamos a ver
a continuacin.

Ejemplo. En la siguiente figura aparecen representadas varias funciones de R en R. Por definicin, para
cada funcin slo puede haber un nico valor f(x) para cada x. La figura muestra dos ejes de
coordenadas: uno para x y otro para f(x). El origen de coordenadas, el punto (0,0), aparece sealado con
una cruz. Segn el eje de la coordenada x (llamado eje de abscisas), los valores de x crecen hacia la
derecha, mientras que decrecen hacia la izquierda. En cuanto al eje de f(x) (llamado eje de ordenadas),
los valores de f(x) decrecen hacia abajo y crecen hacia arriba. Se ha dibujado una cuadrcula para ayudar
a la visualizacin de las funciones. Se puede comprobar la forma de algunas funciones cuyo tipo ya se ha
visto anteriormente: la funcin f(x)=x, que es la funcin identidad, o la funcin f(x)=5/4, que es una
funcin constante.

Representacin de distintas funciones cuyo rango y dominio son los nmeros reales.

Para funciones de aridad mayor que 1 no basta con una representacin como la de la figura. No obstante,
para funciones de RR en R (aridad 2) se utiliza el espacio eucldeo, por lo que en este caso se tiene
una representacin en 3 dimensiones.

4.3.3 Representacin mediante grafos

Dado que toda funcin es una relacin, cualquier funcin de un conjunto X en s mismo se puede
representar mediante un grafo de relacin, como se ver en el tema de grafos.

De la misma forma, una funcin de un conjunto X en un conjunto Y, por ser una relacin de X en Y, se
puede representar mediante un grafo como vimos en el tema anterior. Veamos un ejemplo.

Ejemplo. Sean X={1,2,3,4} e Y={a,b,c,d}. La siguiente figura muestra una funcin f de X en Y tal
que f(1)=b, f(2)=a, f(3)=d, f(4)=b.
Grafo de la funcin f de X={1,2,3,4} en Y={a,b,c,d} tal que f(1)=b, f(2)=a, f(3)=d, f(4)=b.

Adems, con esta representacin grfica es muy fcil ver si una relacin de X en Y es una funcin, ya que
tiene que cumplirse que para cada nodo de X salga exactamente una flecha.
4.4 Propiedades de funciones
Definicin (Funcin inyectiva). Sean X e Y dos conjuntos, y sea la funcin f:XY. Se dice que f es
inyectiva si para todo x1 y x2 pertenecientes a X tales que x1x2 se cumple que f(x1)f(x2).

Ejemplo. Sean X={1,2,3} e Y={a,b,c,d}. Sea la funcin f:XY tal que f(1)=c, f(2)=b y f(3)
=a. Se cumple que f es inyectiva, ya que f(1)f(2), f(2)f(3) y f(1)f(3).

Ejemplo. En cambio, sea la funcin g:XY dada por: g(1)=c, g(2)=b y g(3)=c. Se cumple que g
no es inyectiva, ya que g(1)=g(3).

Teorema. Sean X e Y dos conjuntos finitos. Existe una funcin inyectiva de X a Y si y slo si XY.

La representacin grfica vista en el ltimo apartado de la seccin anterior es muy til para ayudarnos a
ver si una funcin de X en Y es inyectiva, ya que para que sea inyectiva tiene que cumplirse que para cada
nodo de Y llegue a lo sumo una flecha, o expresado de otra forma, que no haya ningn nodo en Y al que
llegue ms de una flecha.

Definicin (Funcin sobreyectiva o suprayectiva). Sean X e Y dos conjuntos, y sea la funcin f:XY.
Se dice que f es sobreyectiva o suprayectiva si para todo yY existe un xX tal que f(x)=y.

Teorema. Sean X e Y dos conjuntos, y sea la funcin f:XY. Se cumple que f es sobreyectiva si y
slo si Im(f)=Y.

Ejemplo. Sean X={1,2,3} e Y={a,b}. Sea la funcin f:XY tal que f(1)=a, f(2)=b y f(3)=a.
Para aY se tiene que f(1)=a (tambin se tiene que f(3)=a), y para bY se tiene f(2)=b. Por
tanto, f es sobreyectiva.

Teorema. Sean X e Y dos conjuntos finitos. Existe una funcin sobreyectiva de X a Y si y slo si X
Y.

Ejemplo. Sean X={1,2,3} e Y={a,b,c,d}. Sea la funcin f:XY tal que f(1)=c, f(2)=b y f(3)
=a. f no es sobreyectiva, ya que no existe ningn xX tal que f(x)=d.

La representacin grfica vista en el ltimo apartado de la seccin anterior es muy til para ayudarnos a
ver si una funcin de X en Y es sobreyectiva, ya que para que sea sobreyectiva tiene que cumplirse que
para cada nodo de Y debe llegar al menos una flecha.

Definicin (Funcin biyectiva o biyeccin). Sean X e Y dos conjuntos y sea la funcin f:XY. Se dice
que f es biyectiva o una biyeccin si es inyectiva y sobreyectiva.

Ejemplo. Sean X={1,2,3} e Y={a,b,c}. Sea la funcin f:XY tal que f(1)=b, f(2)=c y f(3)
=a. Se cumple que f es inyectiva y sobreyectiva. Por tanto, f es biyectiva.

Teorema. Sean X e Y dos conjuntos finitos. Existe una funcin biyectiva f de X a Y si y slo si X=Y.

La representacin grfica vista en el ltimo apartado de la seccin anterior es muy til para ayudarnos a
ver si una funcin de X en Y es biyectiva, ya que para que sea biyectiva tiene que cumplirse que para cada
nodo de Y llega exactamente una flecha.
4.5 Construccin de nuevas funciones
Definicin (Composicin de funciones). Sean tres conjuntos X, Y y Z, y sean las funciones f:XY y
g:YZ. La composicin de f y g es la funcin h:XZ tal que para todo xX se tiene que h(x)
=g(f(x)).

Ejemplo. Sean X={1,2,3}, Y={a,b,c,d} y Z={t,u,v,w}. Sea la funcin f:XY tal que f(1)=d,
f(2)=c y f(3)=b. Sea g:YZ tal que g(a)=u, g(b)=v, g(c)=w y g(d)=u. La composicin de f
y g es h:XZ tal que:

para x=1 se tiene que h(1)=g(f(1))=g(d)=u;

para x=2 se tiene que h(2)=w; y

para x=3 tenemos que h(3)=v.

Definicin (Funcin inversa). Sea una funcin f:XY que es biyectiva. La funcin inversa de f, que
se denota f1, es la funcin f1:YX tal que la composicin de f y f1 es la funcin identidad.

Ejemplo. Sean X={1,2,3} e Y={a,b,c}. Sea la funcin f:XY tal que f(1)=b, f(2)=c y f(3)
=a. Dado que f es biyectiva, se puede definir su inversa. La inversa de f es f1:YX y viene dada
por: f1(b)=1, f1(c)=2 y f1(a)=3.

Ejemplo. Sea la funcin f:RR dada por f(x)=3x+7. Dado que f es biyectiva, se puede definir su
inversa. La inversa de f es f1:RR y viene dada por f1(y)=(1/3)(y7).

Ejemplo. Sea la funcin f:RR dada por f(x)=x2. Dado que f no es inyectiva, tampoco es biyectiva,
y por tanto no se puede definir su inversa.

Teorema. Sea una funcin biyectiva f. Entonces f1 es biyectiva y su funcin inversa es f.

4.5.1 Clases especiales de funciones

Hay que destacar una clase especial de funciones, que son las funciones aritmticas: suma, resta,
producto y divisin. Suelen definirse sobre los conjuntos de nmeros naturales, enteros, reales, etc.
Tambin tenemos funciones como la potencia, la exponenciacin, logaritmos, etc. Todas estas funciones
se estudian en Bachillerato.

Dichas funciones se suelen utilizar para construir funciones ms complejas mediante la operacin de
composicin. Es lo que se hizo en un ejemplo en el que la funcin f(x)=3x+7 se compuso con otras
funciones como la suma y el producto.

Ahora vamos a definir aqu varias funciones especiales que son muy importantes en Informtica.

Definicin (Funcin mnimo). Sea S un conjunto de nmeros. La funcin mnimo es la funcin parcial de
P(S) en S, denotada por min, tal que para todo XP(S), si existe un yX que es mnimo de X segn la
relacin , entonces minX=y.

Hay que resaltar dos aspectos acerca de la definicin anterior:

1. Se ha utilizado el hecho que se vio cuando se estudiaron las relaciones de orden parcial acerca de
que si el elemento mnimo existe entonces es nico.

2. Se ha indicado que la funcin min es parcial, ya que pueden existir elementos de P(S) para los que
min no est definida, como vamos a ver ahora con un ejemplo.

Ejemplo. Consideremos la funcin min y sea S el conjunto de los nmeros reales. Supongamos que
tomamos el elemento X={1.5,2.4,7.3}, que es un subconjunto de S, es decir, XP(S). En este caso
la funcin min est definida y asignara el valor 7.3. Para cualquier otro conjunto finito la funcin min
tambin nos devuelve un valor. En cambio, si tomamos el conjunto X formado por los nmeros reales
negativos entonces la funcin min no nos puede devolver ningn nmero real, por lo que para este X la
funcin no est definida.

Definicin (Funcin mximo). Sea S un conjunto de nmeros. La funcin mximo es la funcin parcial de
P(S) en S, denota por max, tal que para todo XP(S), si existe un yX que es mximo de X segn la
relacin , entonces maxX=y.

Al igual que cuando se defini la funcin mnimo, aqu se ha utilizado el hecho que se vio anteriormente
de que si el elemento mximo existe entonces es nico y se ha indicado que la funcin mximo es parcial.

Ejemplo. Consideremos la funcin max y sea S el conjunto de los nmeros reales. Supongamos que
tomamos el elemento X={1.5,2.4,7.3}, que es un subconjunto de S, es decir, XP(S). En este caso
la funcin max est definida y asignara el valor 2.4. Para cualquier otro conjunto finito la funcin max
tambin nos devuelve un valor. En cambio, si tomamos el conjunto X formado por los nmeros reales
positivos entonces la funcin max no nos puede devolver ningn nmero real, por lo que para este valor
de X la funcin no est definida.

Definicin (Funcin parte entera). La funcin parte entera es una funcin de R en Z, denotada con las
barras y , tal que a cada nmero real x le asigna el valor x=max{yZyx}.

Ejemplo. Se tiene que 2.39=2, =3, 1.03=2 y 5=5.

Definicin (Funcin signo). La funcin signo es una funcin de R en el conjunto {1,0,1}, denotada
sign(x) para indicar el signo de xR, y que a cada nmero real x le asigna el valor:

1, si x<0;

0, si x=0;

1, si x>0.

Ejemplo. Se tiene que sign(0)=0, sign(2.15)=1 y sign(4.78)=1.

Definicin (Funcin divisin entera). La funcin divisin entera es una funcin de R(R\{0}) en el
conjunto R, denotada como div, que para todo xR e yR\{0} se define con notacin infija como
xdivy=x/y.

Ejemplo. Se tiene que:

13div4=13/4=3,

(6.3)div5=(6.3)/5=2,

21.7div(4)=21.7/(4)=6 y

7div0 no est definido.

Definicin (Funcin mdulo). La funcin mdulo es una funcin de R(R\{0}) en el conjunto Z,


denotada con mod, que para todo xR e yR\{0} se define como xmody=x(xdivy)y.

Ejemplo. Se tiene que:

13mod4=1,

(6.3)mod5=3.7,

21.7mod(4)=2.3 y

7mod0 no est definido.


4.6 Conceptos avanzados de cardinalidad de conjuntos
En el tema de Teora de Conjuntos se defini el concepto de cardinalidad de conjuntos finitos. En ese
caso el cardinal de un conjunto es un nmero que indica cuntos elementos hay en el conjunto. Para un
conjunto X finito, su cardinalidad se denotaba como X. Adems, se vieron varios teoremas que, dados
dos conjuntos finitos X e Y, relacionaban la existencia de funcin biyectiva, inyectiva y sobreyectiva con
el hecho de que X fuera igual, menor o igual, o mayor o igual que Y respectivamente.

En el caso de un conjunto infinito no es posible dar un nmero que indique cuntos elementos contiene.
En su lugar, vamos a establecer distintas relaciones que nos permitan comparar la cardinalidad, entendida
como tamao, de los conjuntos, ya sean finitos o infinitos. Vamos a seguir utilizando los smbolos de
cardinalidad ( ) y los smbolos de comparacin =, , <, etc. Para estos smbolos, cuyo significado
se va a definir aqu de forma ms amplia, no va a haber ambigedad en la notacin ya que el resultado de
la comparacin de la cardinalidad de dos conjuntos finitos es idntica si se hace a travs de las
subsiguientes definiciones o a travs de la comparacin de X e Y entendiendo stos como el nmero de
elementos de cada conjunto. Sin embargo, las siguientes definiciones son imprescindibles para poder
comparar la cardinalidad de conjuntos cuando uno de ellos es infinito.

Definicin (Conjuntos equipotentes o tener la misma cardinalidad). Dados dos conjuntos X e Y, X e Y son
equipotentes o tienen la misma cardinalidad si existe una biyeccin de X en Y. Se denota por X=Y.
Si no son equipotentes se denota por XY.

Ejemplo. Sea X el conjunto de los nmeros naturales pares y sea Y el conjunto de los nmeros naturales
impares. Sea la funcin f:XY dada por f(x)=x1. Se puede probar que f es una biyeccin de X en
Y. Por tanto, X e Y son equipotentes, es decir, X=Y.

Definicin (Tener menor o igual cardinalidad). Sean dos conjuntos X e Y. X tiene menor o igual
cardinalidad que Y si existe una funcin inyectiva de X en Y. Se denota por XY.

Ejemplo. Sea el conjunto X de los nmeros naturales menores de 100 y sea el conjunto de los nmeros
naturales N. Sea la funcin f:XN dada por f(n)=n. Se puede probar que f es inyectiva. Por tanto,
XN.

Definicin (Tener menor cardinalidad). Dados dos conjuntos X e Y. X tiene menor cardinalidad que Y si
XY pero XY. Se denota por X<Y.

Teorema. La relacin ser conjuntos equipotentes es una relacin de equivalencia.

Teorema. La relacin tener menor o igual cardinalidad es una relacin de orden parcial.

Teorema. La relacin tener menor cardinalidad es una relacin de orden estricto.

Proposicin. Sea X un conjunto finito y sea n=X. Sea el conjunto Y={1,2,...,n}. Se cumple que X
=Y.

La demostracin de la proposicin anterior es trivial. Dado un conjunto finito X, ordenamos sus


elementos en una lista, comenzando en la posicin 1 y terminando en n=X, y a cada elemento de X
hacemos que f le asigne la posicin que ocupa en la lista. Se cumple que f es biyectiva.

Proposicin. Sea X un conjunto finito. Se tiene que X<N.

Teorema. No existe ningn conjunto infinito X que cumpla que X<N.

Definicin (Cardinalidad de N). La cardinalidad del conjunto N se denota por 0.

Proposicin (Cardinalidad de Z). Se cumple que Z=0.

Vamos a ver un ejemplo de funcin biyectiva de N a Z.

Ejemplo. Sea la funcin f:NZ tal que f(n) se define as:

Si n es impar entonces f(n)=n/2.

Si n es par entonces f(n)=n/2.

Una definicin alternativa y equivalente para f sera f(n)=(1)n+1n/2. La figura siguiente muestra
una representacin grfica de la funcin f, en la que se han dibujado slo los primeros valores de f(n). En
dicha figura se puede intuir que f es biyectiva, pues al 1 le asigna el valor a 0 y a partir del 2 va
asignando de forma alternada nmeros negativos y positivos en secuencia de valor absoluto: 1, 1, 2,
2, 3, 3, etc.
Funcin biyectiva de N a Z.

Definicin (Conjunto numerable). Sea X un conjunto. Se dice que X es numerable si X0. Si un


conjunto no es numerable se denomina no numerable.

Ejemplo. Anteriormente hemos visto que los conjuntos N y Z tienen cardinalidad 0. Por tanto, ambos
son numerables.

Teorema. Todo conjunto finito es numerable.

Teorema. Sea X un conjunto infinito y numerable. Se tiene que X=0.

Teorema (Teorema de Cantor). Sea X un conjunto, cuyo conjunto potencia es P(X). Se cumple que X<
P(X).

Teorema. R=P(N).

Corolario. N<R.

Teorema. No existe ningn conjunto X que cumpla que N<X y X<R.


Definicin (Cardinalidad de R). La cardinalidad de R se denota por 1.

Hemos establecido un orden entre las cardinalidades de los conjuntos con los que trabajamos en este
libro. Para cualquier conjunto finito X se tiene que X<0. Finalmente, se tiene que 0<1. Adems,
hemos visto que N=Z=0, y R=1.
4.7 Homomorfismos
Definicin (Homomorfismo). Sean dos funciones f:XX y g:YY. Se dice que f y g son
homomorfas si existe una funcin h:XY tal que g(h(x))=h(f(x)), y entonces h es un homomorfismo.

Ejemplo. Sean las funciones f:RR y g:RR tales que, para todo xR se cumple que f(x)=x
3, y para todo yR se tiene que g(y)=y1. Tomemos la funcin h:RR tal que para todo x
R se cumple que h(x)=x/3. Se puede comprobar que para todo x se tiene que h(f(x))=x/31
=g(h(x)). Por tanto, f y g son homomorfas y h es su homomorfismo.

Definicin (Isomorfismo). Sean dos funciones f:XX y g:YY que son homomorfas, y sea h su
homomorfismo. Se dice que f y g son isomorfas si h es biyectiva, y entonces h es su isomorfismo.

Ejemplo. Sean los conjuntos X={1,2,3} e Y={a,b,c}. Sean las funciones f:XX y g:YY
tales que:

f(1)=2, f(2)=2, f(3)=1,

g(a)=a, g(b)=c, g(c)=a.

Tomemos la funcin h:XY tal que h(1)=c, h(2)=a y h(3)=b. Veamos para todo xX se tiene
que h(f(x))=g(h(x)):

Para x=1 tenemos que h(f(1))=h(2)=a, y g(h(1))=g(c)=a.

Para x=2 se tiene que h(f(2))=h(2)=a, y g(h(2))=g(a)=a.

Para x=3 se cumple que h(f(3))=h(1)=c, y g(h(3))=g(b)=c.

Dado que la funcin h es biyectiva, podemos afirmar que f y g son isomorfas y que h es un isomorfismo.

Ejemplo. Sean las funciones f, g y h del ejemplo de homomorfismo visto al comienzo de esta subseccin.
Se puede comprobar que h no es un isomorfismo, ya que no es una funcin biyectiva.

Definicin (Endomorfismo). Sean dos funciones f:XX y g:YY que son homomorfas, y sea h su
homomorfismo. Si X=Y entonces se dice que f y g son endomorfas, y que h es un endomorfismo.

Ejemplo. Sean las funciones f, g y h del ejemplo de homomorfismo visto al comienzo de esta subseccin.
Se vio que f y g son homomorfas y que h es un homomorfismo. Dado que f y g estn definidas sobre R, se
puede afirmar que f y g son endomorfas, y que h es un endomorfismo.

Definicin (Automorfismo). Sean dos funciones f:XX y g:YY que son isomorfas, y sea h su
isomorfismo. Si X=Y entonces se dice que f y g son automorfas, y que h es un automorfismo.

Ejemplo. Sea el conjunto X={1,2,3}. Sean las funciones f:XX y g:XX tales que:

f(1)=2, f(2)=2, f(3)=1,


g(1)=1, g(2)=3, g(3)=1.

Tomemos la funcin h:XY tal que h(1)=3, h(2)=1 y h(3)=2. Veamos que para todo xX se
tiene que h(f(x))=g(h(x)):

Para x=1 tenemos que h(f(1))=h(2)=1, y g(h(1))=g(3)=1.

Para x=2 se tiene que h(f(2))=h(2)=1, y g(h(2))=g(1)=1.

Para x=3 se cumple que h(f(3))=h(1)=3, y g(h(3))=g(2)=3.

Dado que la funcin h es biyectiva, podemos afirmar que f y g son isomorfas y que h es un isomorfismo.
Adems, como f y g son funciones de X en X entonces decimos que f y g son automorfas, y que h es un
automorfismo.
5 Combinatoria
Resumen

Este captulo trata los fundamentos de la Combinatoria. Se presentan los principios bsicos de la
Combinatoria. Se estudian las funciones ms importantes que se utilizan en Combinatoria. Finalmente se
estudian las distintas formas de agrupamientovariaciones, combinaciones y permutaciones en dos
modalidadescon repeticin y sin repeticin.
5.1 Principios bsicos de la Combinatoria
Definicin (Combinatoria). La Combinatoria es la rama de las Matemticas que se encarga de estudiar el
recuento de elementos de los conjuntos y las propiedades que los relacionan.

Ejemplo. Un ejemplo tpico de problema que resuelve la Combinatoria consiste en contar el nmero de
apuestas distintas que se puede realizar en un juego como la Lotera Primitiva, la Quiniela o la Bono
Loto.

Teorema (Principio o regla de la suma). Sea nN y sean S1, S2, , Sn una coleccin de conjuntos
finitos tales que para cualesquiera i y j, siendo 1i<jn, Si y Sj son disjuntos. Se cumple que:
S1S2Sn=S1+S2++Sn.

Ejemplo. Sean los conjuntos S1={1,2,3}, S2={a,b} y S3={4,6,8,10,12,14}. Se puede comprobar


que S1 y S2 son disjuntos, S2 y S3 tambin lo son, al igual que S1 y S3. Por el principio de la suma se tiene
que:
S1S2S3=S1+S2+S3=3+2+6=11.
Se puede comprobar que dicho valor coincide con el cardinal de
S1S2S3={1,2,3,a,b,4,6,8,10,12,14}.

Teorema (Principio o regla de inclusin-exclusin). Sea nN, y sean S1,S2,,Sn una coleccin de
conjuntos finitos. Se cumple que:

S1S2Sn=i=1nSii,j:1i<jnnSiSj +i,j,k:1i<j<knnSiSj Sk +
+(1)n1S1Sn.

Corolario. Sean S1 y S2 dos conjuntos finitos. Se cumple que:


S1S2=S1+S2S1S2.

Ejemplo. Sean los conjuntos S1={1,2,3,4,5} y S2={2,4,6,8,10,12}. Se tiene que S1S2={2,4}.


Entonces, S1S2=S1+S2S1S2=5+62=9. Se puede comprobar que coincide con el
cardinal de
S1S2={1,2,3,4,5,6,8,10,12}.

Corolario. Sean S1, S2 y S3 tres conjuntos finitos. Se cumple que:


S1S2S3=S1+S2+S3S1S2S1S3S2S3+S1S2S3.

Ejemplo. Sean los conjuntos S1={1,2,3,4}, S2={2,4,6,8} y S3={2,3,5,7,11}. Se tiene que S1


S2={2,4}, S1S3={2,3}, S2S3={2} y S1S2S3={2}. Entonces, siguiendo la frmula del
corolario anterior, S1S2S2=4+4+5221+1=9. Se puede comprobar que coincide con
el cardinal de S1S2S3={1,2,3,4,5,6,7,8,11}.

La regla de inclusin-exclusin generaliza la regla de la suma, ya que la regla de la suma slo se aplica
para el caso particular de que los conjuntos sean disjuntos dos a dos.

Teorema (Principio o regla del producto). Sea nN, y sean S1, S2, , Sn una coleccin de conjuntos
finitos. Se cumple que S1S2Sn=S1S2Sn.

Ejemplo. Sean los conjuntos S1={1,2}, S2={a,b,c} y S3={4,5}. Se tiene que S1S2S3=2
32=12. Se puede comprobar que coincide con el cardinal de
S1S2S3={(1,a,4),(1,a,5),(1,b,4),(1,b,5),(1,c,4),(1,c,5),(2,a,4),(2,a,5),(2,b,4),(2,b,5),
(2,c,4),(2,c,5)}.

Ejemplo. Una persona abre su armario por la maana y no sabe qu ropa ponerse. Se pregunta a s misma
de cuntas formas distintas podra vestirse. Resulta que tiene 7 camisas, 5 pantalones, 1 reloj, 2 corbatas,
3 chaquetas y 4 pares de zapatos. Dado que quiere vestirse con una camisa, un pantaln, un reloj, una
corbata, una chaqueta y unos pares de zapatos, el nmero de formas distintas de vestirse es
751234=840.
5.2 Funciones importantes en Combinatoria
Definicin (Factorial de un nmero). La funcin factorial es una funcin de N{0} en N, que se denota
por n! para indicar el factorial de n, y que se define as:

Si n=0, 0!=1

Si n1, n!=n(n1)21

Ejemplo. Se ha visto que 0!=1. Para el factorial de 5 tenemos que


5!=54321=120.

Una definicin equivalente para el factorial de los nmeros naturales consiste en utilizar la frmula n!
=n(n1)! si n1.

Ejemplo. Dado que hemos visto anteriormente que 5!=120, el factorial de 6 se puede calcular como 6!
=65!=6120=720.

Definicin (Nmero combinatorio). Sean dos nmeros m y n tales que mN{0}, nN{0}, y n
m. Se denomina nmero combinatorio de m sobre n, y se denota por Binom(m,n), al valor:
Binom(m,n)=m!/(n!(mn)!).

El nombre de Binom viene del hecho de que Binom(m,n) se conoce tambin como coeficiente binomial,
y es igual al coeficiente de xn en el desarrollo polinmico que corresponde al binomio (x+1) elevado a
m: (x+1)m.

Ejemplo. Sean m=9 y n=4, entonces tenemos que Binom(m,n)=9!/(4!(94)!)=9!/(4!5!)=


126. Coincide con el coeficiente de x4 en el desarrollo polinmico de (x+1)9.

Proposicin. Sean mN{0} y nN{0}, tales que nm. Se cumple que:


Binom(m,n)=Binom(m,mn).

Ejemplo. Si tomamos m=9 y n=4, como en el ejercicio anterior, tenemos que Binom(m,mn)=
9!/(5!(95)!)=9!/(5!4!)=126, que coincide con el valor de Binom(m,n) que obtuvimos en dicho
ejercicio.
5.3 Formas de agrupamiento
Vamos a ver distintas formas de agrupacin. Si bien se mostrarn ejemplos de formas de agrupamiento, el
lector no tiene que preocuparse de generar dichos conjuntos, cuyo tamao puede ser enorme en algunos
casos; pensemos por ejemplo en el nmero de combinaciones de la lotera primitiva. Lo esencial es que
ante un problema real el lector aprenda a identificar el tipo de forma de agrupamiento que permite
resolverlo y sepa aplicar la frmula que calcula el cardinal.

5.3.1 Variaciones

Definicin (Variaciones sin repeticin). Sea S un conjunto finito no vaco, sea n=S, y sea rN tal
que 1rn. Se denominan variaciones sin repeticin o simplemente variaciones de n elementos (de
S) tomados de r en r, al conjunto formado por todas las r-tuplas distintas que se pueden formar con
elementos de S tales que se cumplen las siguientes dos condiciones:

en cada tupla no se repite ningn elemento de S, y

dos tuplas (x1,x2,xr) e (y1,y2,,yr) se consideran distintas si existe algn i tal que 1ir y xi
yi.

El cardinal del conjunto de variaciones sin repeticin de n elementos tomados de r en r se denota por
Vn,r.

Una consecuencia de la segunda condicin de la definicin anterior es que dos tuplas que tengan los
mismos elementos se consideran distintas si los elementos que aparecen en ellas son iguales pero en
distinto orden.

Ejemplo. Sea S={a,b,c,d,e}, y sea r=2. Se tiene que n=S=5. El conjunto de variaciones de 5
elementos de S tomados de 2 en 2 es:
{(a,b),(a,c),(a,d),(a,e),(b,a),(b,c),(b,d),(b,e),(c,a),(c,b),(c,d),(c,e),(d,a),(d,b),(d,c),(d,e),
(e,a),(e,b),(e,c),(e,d)}.

Proposicin. Sea S un conjunto finito no vaco, sea n=S, y sea rN tal que 1rn. Se cumple
que:
Vn,r=n!/(nr)!.

Ejemplo. Para el ejemplo anterior, dado que n=5 y r=2, se tiene que V5,2=5!/(52)!=5!/3!=20.

Ejemplo. En un deporte olmpico compiten 10 participantes en la prueba final. Queremos saber de


cuntas maneras puede estar formado el podio, que consta de 3 medallas: oro, plata y bronce. Se trata de
encontrar todas las 3-tuplas distintas, escogidas del conjunto de 10 elementos; adems, en cada tupla el
orden es importante. Se trata entonces de calcular el nmero de variaciones sin repeticin. En este caso
tenemos que el nmero variaciones sin repeticin de 10 elementos tomados de 3 en 3 es V10,3=10!/(10
3)!=10!/7!=1098=720.
Definicin (Variaciones con repeticin). Sea S un conjunto finito no vaco, sea n=S, y sea rN. Se
denominan variaciones con repeticin de n elementos tomados de r en r al conjunto formado por todas
las r-tuplas distintas que se pueden formar con elementos de S tales que:

en cada tupla se permite que se repitan elementos de S, y

dos tuplas (x1,x2,xr) e (y1,y2,,yr) se consideran distintas si existe algn i tal que 1ir y xi
yi.

El cardinal del conjunto de variaciones con repeticin de n elementos tomados de r en r se denota VRn,r.

Ejemplo. Sea S={a,b,c,d,e}, y sea r=2. Se tiene que n=S=5. El conjunto de variaciones con
repeticin de 5 elementos de S tomados de 2 en 2 es:
{(a,a),(a,b),(a,c),(a,d),(a,e),(b,a),(b,b),(b,c),(b,d),(b,e),(c,a),(c,b),(c,c),(c,d),(c,e),(d,a),
(d,b),(d,c),(d,d),(d,e),(e,a),(e,b),(e,c),(e,d),(e,e)}.

Proposicin. Sea S un conjunto finito no vaco, sea n=S, y sea rN. Se cumple que:
VRn,r=nr.

Ejemplo. Para el ejemplo anterior, dado que n=5 y r=2, se tiene que VR5,2=52=25.

Ejemplo. Supongamos que el alfabeto de un idioma estuviera formado por las letras del conjunto X=
{a,b,c,d,e}, y queremos saber cuntas palabras distintas de longitud 4 se pueden construir con letras de
ese alfabeto. Una misma letra puede aparecer repetida cualquier nmero de veces en cada palabra. Se
trata de un problema de contar el nmero de variaciones con repeticin. En este caso, el nmero de
variaciones con repeticin de 5 elementos tomados de 4 en 4 es VR5,4=54=625.

5.3.2 Permutaciones

Definicin (Permutaciones). Sea S un conjunto finito no vaco y sea n=S. Se denominan


permutaciones sin repeticin (o simplemente permutaciones) de n elementos, denotado Pn, a las
variaciones sin repeticin de n elementos tomados de n en n.

Ejemplo. Supongamos que se acerca el final del campeonato nacional de ftbol en Espaa, y slo hay 3
equipos en cabeza de la clasificacin, sin que ningn otro equipo pueda alcanzarles en puntos. Estos
equipos son Barcelona, Real Madrid y Atltico. Queremos conocer todas las formas en que pueden
aparecer dichos equipos ordenados en la clasificacin final. Si representamos los equipos
respectivamente con las letras b, r y a, el problema consiste en encontrar el conjunto de permutaciones de
3 elementos, que es:
{(b,r,a),(b,a,r),(r,b,a),(r,a,b),(a,b,r),(a,r,b)}.

Proposicin. El nmero de permutaciones de n elementos es Pn=n!.

Ejemplo. Podemos comprobar en el ejemplo anterior que el cardinal del conjunto de permutaciones de 3
elementos es P3=3!=6.
Ejemplo. Supongamos que tenemos 7 bolas de distinto color, y queremos saber de cuntas maneras
podemos ordenarlas. Se trata de un problema de clculo de permutaciones. El nmero de permutaciones
de 7 elementos es P7=7!=5040.

Definicin (Permutaciones con repeticin). Sea S={s1,,sn} un conjunto finito no vaco, siendo n=
S. Sea pN, tal que pn y sean r1,r2,,rn tales que cada riN{0}, y r1+r2++rn=p.
Las permutaciones con repeticin de p elementos en las que el primer elemento se repite r1 veces, el
segundo se repite r2 veces, y el ltimo (elemento n-simo) se repite rn veces, son el conjunto formado
por todas las p-tuplas distintas que se pueden formar con elementos de S tales que:

en cada tupla cada elemento sj de S aparece rj veces, y

dos tuplas (x1,x2,xp) e (y1,y2,,yp) se consideran distintas si existe algn i tal que 1ip y
xiyi.

El cardinal de dicho conjunto se denota por PRpr1,r2,,rn .

Ejemplo. Supongamos que tenemos el alfabeto S={a,b,c}, y queremos construir el conjunto de todas
las palabras de longitud 4 en las que la a aparezca 2 veces, la b aparece una vez y la c aparece una vez.
Se trata de construir el conjunto de permutaciones con repeticin de 4 elementos en las que el primer
elemento se repite 2 veces, el segundo 1 vez y el tercero 1 vez. El conjunto de permutaciones con
repeticin buscado es:
{(a,a,b,c),(a,a,c,b),(a,b,a,c),(a,b,c,a),(a,c,b,a),(a,c,a,b),(b,a,a,c),(b,a,c,a),(b,c,a,a),
(c,a,a,b),(c,a,b,a),(c,b,a,a)}

Proposicin. Sea pN y sean r1,r2,,rn tales que cada riN{0}, y r1+r2++rn=p. Se


cumple que:
PRpr1,r2,,rn=p!/(r1!r2!rn!).

Ejemplo. Podemos comprobar en el ejemplo anterior que el cardinal del conjunto de permutaciones con
repeticin de 4 elementos en las que el primer elemento se repite 2 veces, el segundo 1 vez y el tercero 1
vez es PR42,1,1=4!/(2!1!1!)=12.

Ejemplo. Supongamos ahora que tenemos el alfabeto S={a,b,c} y queremos calcular el cardinal del
conjunto de palabras de longitud 6 en las que la a se repite 3 veces, la b aparece 2 veces y la c aparece
una vez. El cardinal buscado es
PR63,1,2=6!/(3!1!2!)=60.

5.3.3 Combinaciones

Definicin (Combinaciones). Sea S un conjunto finito, sea n=S su cardinalidad, y sea rN tal que 1
rn. Se denominan combinaciones sin repeticin o simplemente combinaciones de n elementos
tomados de r en r al conjunto formado por todos los subconjuntos de S que tienen cardinalidad r. El
cardinal del conjunto de combinaciones de n elementos tomados de r en r se denota por Cn,r.
De acuerdo con la definicin anterior, al tratarse de conjuntos, el orden de los elementos no importa, a
diferencia de las variaciones, en las que el orden de los elementos s importa.

Ejemplo. Consideremos que tenemos el conjunto S={a,b,c,d,e} y queremos construir el conjunto


formado por todos los subconjuntos de S que tienen tamao 3. Se trata de encontrar el conjunto
combinaciones de 5 elementos tomados de 3 en 3. Dicho conjunto es:
{{a,b,c},{a,b,d},{a,b,e},{a,c,d},{a,c,e},{a,d,e},{b,c,d},{b,c,e},{b,d,e},{c,d,e}}.

Proposicin. Sea nN, y sea rN tal que 1rn. Se cumple que:


Cn,r=Binom(n,r).

De la proposicin anterior se puede intuir que no es casualidad que a la cantidad Binom(n,r) se le


denomine nmero combinatorio, ya que su valor es el nmero de combinaciones de n elementos tomados
de r en r.

El nmero de combinaciones Cn,r tambin se puede expresar como:


Cn,r=Vn,r/Pr.

Ejemplo. Podemos comprobar en el ejemplo anterior que el cardinal del conjunto de combinaciones de 5
elementos tomados de 3 en 3 es C5,3=5!/(3!(53)!)=10.

Ejemplo. Supongamos que queremos saber cuntas apuestas distintas se pueden realizar en el juego de la
Lotera Primitiva. En dicho juego, cada apuesta consta de 6 nmeros elegidos del conjunto de nmeros
naturales comprendidos entre el 1 y el 49 (ambos inclusive). Por ejemplo, en la figura siguiente aparece
un ejemplo de boleto de la lotera primitiva, en el que el apostante ha marcado los nmeros 6, 10, 19, 30,
34 y 45. Se trata de un problema de contar el nmero de combinaciones. En este caso, el nmero de
combinaciones de 49 elementos tomados de 6 en 6 es:
C49,6=Binom(49,6)=49!/(43!6!)=13983816.
Ejemplo de boleto de lotera primitiva en el que los nmeros marcados son: 6,10,19,30,34,45.

Definicin (Combinaciones con repeticin). Sea S un conjunto finito, sea n=S su cardinalidad, y sea r
N. Se denomina combinaciones con repeticin de n elementos tomados de r en r al conjunto formado
por todas las r-tuplas distintas que se pueden formar con elementos de S tales que:

en cada tupla se permite que se repitan elementos de S, y

dos tuplas (x1,x2,xr) e (y1,y2,,yr) se consideran iguales si y slo si se pueden reordenar los
elementos de una de ellas de forma que sea idntica a la otra, y se consideran distintas en caso
contrario.

El cardinal del conjunto de combinaciones con repeticin de n elementos tomados de r en r se denota por
CRn,r.

Ejemplo. Tenemos una urna con bolas azules, rojas y verdes. Queremos saber cuntos conjuntos
diferentes podemos hacer con bolas de la urna en los que haya 5 bolas. Tomemos S={a,r,v} donde a
representa el azul, r el rojo y v el verde. Se trata de encontrar el conjunto de combinaciones con
repeticin de los 3 elementos de S tomados de 5 en 5. Dicho conjunto es:
{{v,v,v,v,v},{r,v,v,v,v},{r,r,v,v,v},{r,r,r,v,v},{r,r,r,r,v},{r,r,r,r,r},{a,v,v,v,v},{a,r,v,v,v},
{a,r,r,v,v},{a,r,r,r,v},{a,r,r,r,r},{a,a,v,v,v},{a,a,r,v,v},{a,a,r,r,v},{a,a,r,r,r},
{a,a,a,v,v},{a,a,a,r,v},{a,a,a,r,r},{a,a,a,a,v},{a,a,a,a,r},{a,a,a,a,a}}.

Proposicin. Sea nN, y sea rN. Se cumple que:


CRn,r=Binom(n+r1,r).

Ejemplo. Podemos comprobar en el ejemplo anterior que el cardinal del conjunto de combinaciones con
repeticin de 3 elementos tomados de 5 en 5 es CR3,5=Binom(3+51,5)=7!/(5!(75)!)=21.

Ejemplo. Supongamos que queremos saber de cuntas fichas se compone el juego del domin cubano,
sabiendo que cada ficha tiene 2 recuadros, y en cada recuadro puede aparecer un nmero entero
comprendido entre el 0 y el 9. Se trata de un problema de encontrar el cardinal del conjunto de
combinaciones con repeticin. En este caso, el nmero de combinaciones con repeticin de 10 elementos
(los nmeros enteros del 0 al 9) tomados de 2 en 2 es:
CR10,2=Binom(10+21,2)=Binom(11,2)=11!/(2!(112)!)=55.
6 Teora de grafos
Resumen

Este captulo trata los conceptos fundamentales de la Teora de Grafos, un tema de enorme importancia en
Informtica. Se presentan los conceptos bsicos de grafos y su representacin. Se explican conceptos ms
avanzados como el de subgrafo y grafo bipartito. Se tratan los conceptos relacionados con caminos y
conectividad en grafos. Se explican diferentes tipos de recorridos en grafos. Finalmente se explican de
forma breve los conceptos bsicos de un tipo especial de grafo: los rboles.
6.1 Conceptos bsicos de teora de grafos
Definicin (Arista). Sea un conjunto finito no vaco V. Se denomina arista a:

cualquier elemento de VV, en cuyo caso la arista se denomina dirigida;

y a cualquier conjunto {x,y}, siendo x e y cualesquiera elementos de V, y en este caso a la arista se


le llama no dirigida.

Definicin. Un grafo G=(V,E) consta de un conjunto finito no vaco V, y un conjunto finito E de aristas
formadas a partir de V. A los elementos de V se les denomina nodos.

Ejemplo. Sea el grafo G=(V,E) donde V={a,b,c,d} y E={(a,b),(a,c),(d,b),(c,b),(d,d)}. Se trata


de un grafo con 4 nodos y 5 aristas. Adems, todas las aristas de G son dirigidas, ya que son tuplas de V
V.

Ejemplo. El grafo G=(V,E) donde V={a,b,c} y E={{a,b},{a,c}} consta de 3 nodos y 2 aristas.


Adems, todas las aristas de G son no dirigidas.

Definicin (Aristas dirigidas y no dirigidas). A las aristas dirigidas tambin se les llama arcos. A las
aristas no dirigidas tambin se les denomina enlaces.

Ejemplo. En el primer ejemplo que se vio en esta seccin todas las aristas son arcos. En el segundo
ejemplo todas las aristas son enlaces.

Definicin (Nodos incidentes). Sea un grafo G=(V,E). Sea una arista e de E. El conjunto de nodos
incidentes de e es un conjunto formado por dos elementos que se define as:

Si e es dirigida de la forma (x,y) o si e es no dirigida de la forma {x,y}, entonces el conjunto de


nodos incidentes es {x}{y}.

A partir de este momento, en el caso de cualquier arista no dirigida e={x,y}, no debera haber
ambigedad aunque se usen los smbolos { y } tanto para indicar el enlace como para hacer referencia al
conjunto de nodos incidentes de e; a partir del contexto sabremos a qu nos estamos refiriendo.

Ejemplo. Sea la arista e1=(a,b). Sus nodos incidentes son {a,b}. Sea la arista e2=(b,a). Sus nodos
incidentes son tambin {a,b}. Si en lugar de aristas dirigidas tuviramos dos aristas no dirigidas {b,a} y
{a,b} sus nodos incidentes seran tambin {a,b}.

Ejemplo. Sea la arista dirigida (a,a). Su conjunto de nodos incidentes es {a}{a}={a}.

Ejemplo. Sea la arista no dirigida {a,a}. Su conjunto de nodos incidentes es {a}{a}={a}.

Definicin (Nodos adyacentes). Sea un grafo G cuyo conjunto de nodos es V. Sean x e y dos nodos de V.
Se dice que x e y son adyacentes si existe alguna arista en G cuyos nodos incidentes son {x}{y}. Si x
e y son adyacentes, se dice tambin que x es adyacente a y e y es adyacente a x.
Ejemplo. Considrese el grafo del primer ejemplo de esta seccin. Los nodos b y d son adyacentes, ya
que existe el arco (d,b); el conjunto de nodos incidentes de este arco es {d}{b}={d,b}.

Definicin (Grafo dirigido o digrafo). Se dice que un grafo es dirigido o que es un digrafo si todas sus
aristas son dirigidas.

Ejemplo. El grafo del primer ejemplo de esta seccin es dirigido.

Definicin (Grafo no dirigido). Se dice que un grafo es no dirigido si todas sus aristas son no dirigidas.

Ejemplo. Sea el grafo G=(V,E) donde V={1,2,3,4,5} y E={{1,2},{1,4},{2,3},{3,4},{1,5},{4,


5}}. Se trata de un grafo no dirigido con 5 nodos y 6 aristas.

Definicin (Grafo mixto). Un grafo es mixto si contiene aristas dirigidas y no dirigidas.

En este texto no vamos a trabajar con grafos mixtos. Por tanto, slo vamos a considerar dos tipos de
grafos: dirigidos y no dirigidos.

Definicin (Nodos inicial y final). Sea una arista dirigida e=(x,y). A x se le denomina nodo inicial de
e, y a y se le llama nodo final de e.

Ejemplo. Sea la arista (a,b) del primer ejemplo de esta seccin. Su nodo inicial es a y el nodo final es b.

Definicin (Aristas iguales). Dos aristas dirigidas e1=(x1,y1) y e2=(x2,y2) son iguales si x1=x2 e y1
=y2. Dos aristas no dirigidas son iguales si sus conjuntos de nodos incidentes son iguales.

Ejemplo. Las aristas dirigidas (a,b) y (a,b) son iguales. En cambio, las aristas dirigidas (a,b) y (b,a) no
son iguales.

Ejemplo. Las aristas no dirigidas {a,b} y {b,a} son iguales.

Teorema. La relacin ser aristas iguales es una relacin de equivalencia entre aristas.
6.2 Representacin grfica de los grafos
Cualquier grafo se puede representar grficamente para poder visualizar grficamente los nodos y las
aristas y as poder estudiar ms fcilmente sus propiedades. En la representacin grfica de un grafo
tenemos que:

Los nodos se representan mediante figuras geomtricas como crculos, valos, cuadrados,
tringulos, y en su interior aparece el elemento correspondiente. Es habitual usar distintos tipos de
figuras, cada una de ellas con un significado distinto en el dominio o marco de representacin del
grafo.

Las aristas se representan mediante lneasgeneralmente continuas, aunque pueden ser discontinuas
que conectan dos nodos x e y si y slo si existe una arista cuyo conjunto de nodos incidentes es
{x}{y}. Adems, en el caso de las aristas dirigidas, el segundo elemento del par se suele
representar haciendo que la lnea de la arista termine en una punta de flecha.

Ejemplo. Considrese el grafo dirigido G=(V,E) donde V={a,b,c,d} y E={(a,b),(a,c),(d,b),


(c,b),(d,d)}. Su representacin grfica aparece en la siguiente figura.
Grafo dirigido con conjunto de nodos V={a,b,c,d} y de aristas E={(a,b),(a,c),(d,b),(c,b),(d,d)}.

Ejemplo. Sea el grafo no dirigido G=(V,E) donde V={1,2,3,4,5} y E={{1,2},{1,4},{2,3},{3,


4},{1,5},{4,5}}. Su representacin grfica aparece en la siguiente figura.

Grafo no dirigido G=(V,E) donde V={1,2,3,4,5} y E={{1,2},{1,4},{2,3},{3,4},{1,5},{4,5}}.

A partir de ahora llamaremos indistintamente grafo tanto a su definicin matemtica en trminos de V y E


como a su representacin grfica.

Los grafos de las dos figuras anteriores, uno dirigido y otro no dirigido, sern referenciados en varias
ocasiones en ejemplos a lo largo del tema para as evitar tener que incluir dichas figuras constantemente
en el texto. Recomendamos al lector que copie dichos grafos, por ejemplo en un papel aparte, para que
as no tenga que volver a este punto del texto en multitud de ocasiones.
6.3 Conceptos avanzados sobre grafos
Definicin (Multigrafo. Multiplicidad de una arista. Aristas mltiples o paralelas). Se dice que un grafo
G=(V,E) es un multigrafo si:

G tiene asociada una funcin f:EN que asigna a cada arista un nmero natural denominado
mutiplicidad,

y adems existe alguna arista e tal que f(e)1.

La multiplicidad de e se indica en la representacin grfica dibujando la arista tantas veces como indique
f(e). A las aristas cuya multiplicidad es mayor que 1 se les denomina aristas mltiples o paralelas.

Ejemplo. En el grafo dirigido G de la siguiente figura aparecen las siguientes tres aristas: e1=(c,d), e2
=(d,c) y e3=(c,d). Las aristas e1 y e3 son iguales. En cambio, e1 y e3 no son iguales a e2, ya que en e2 el
orden de los nodos aparece cambiado. Por tanto, la arista (c,d) tiene multiplicidad 2, por lo que se dice
que (c,d) es una arista mltiple y que el grafo G es un multigrafo.

Ejemplo de multigrafo dirigido.


Ejemplo. En el grafo no dirigido G de la siguiente figura aparecen dos aristas no dirigidas e1 y e2 cuyos
nodos incidentes son 2 y 3. Por tanto, e1 y e2 son iguales. Podemos decir entonces que la arista {2,3}
tiene multiplicidad 2 y que es una arista mltiple o paralela. Por tanto, G es un multigrafo.

Ejemplo de multigrafo no dirigido.

Definicin (Grafo sencillo). Se dice que un grafo es sencillo si no es un multigrafo.

Ejemplo. Los grafos de las dos primeras figuras de este tema son sencillos.

Definicin (Bucle o lazo). Una arista dirigida se denomina bucle o lazo si los nodos inicial y final
coinciden. Una arista no dirigida se denomina bucle o lazo si es de la forma {x,x}, siendo x un nodo del
grafo.

Ejemplo. Considrese el grafo dirigido de la primera figura de este tema. Sea la arista dirigida (d,d).
Dado que los nodos inicial y final coinciden, se dice que dicha arista es un bucle.

Ejemplo. Considrese el grafo no dirigido de la ltima figura. La arista no dirigida {1,1} es un bucle o
lazo.

Definicin (Grafo ponderado o etiquetado). Un grafo G=(V,E) es un grafo ponderado o etiquetado si:
tiene asociada una funcin f que asigna a cada arista una etiqueta numrica que es un nmero real y
se denomina peso, y

existe alguna arista eE tal que f(e)1.

Los pesos se indican en la representacin grfica mostrando su valor junto a la lnea de la arista. Cuando
el peso de una arista no aparece en la representacin grfica de G se asume que su valor es 1.

Ejemplo. En la siguiente figura aparece un grafo ponderado dirigido. Las aristas del grafo son: e1=
(a,b), e2=(a,c), e3=(c,b), e4=(c,d), e5=(c,e), e6=(d,b), e7=(d,e), e8=(e,f), e9=(f,d), e10=
(f,f). Se puede comprobar en la figura que la funcin de peso f es tal que f(e1)=8, f(e2)=4, f(e3)=2,
f(e4)=3, f(e5)=7, f(e6)=5, f(e7)=9, f(e8)=6, f(e9)=2 y f(e10)=8. As, por ejemplo, la arista e2
(la (a,c)) tiene peso 4.

Ejemplo de grafo ponderado.

Definicin (Grado de entrada de un nodo). Sea un grafo dirigido G=(V,E) y sea un nodo vV. El
grado de entrada de v es el nmero de aristas en E que tienen a v como nodo final.

Ejemplo. En el grafo de la figura anterior, el grado de entrada del nodo c es 1 y el del nodo f es 2. Como
no hay ningn arco que tenga al nodo a como final, entonces el grado de entrada de a es 0.

Definicin (Grado de salida de un nodo). Sea un grafo dirigido G=(V,E) y sea un nodo vV. El
grado de salida de v es el nmero de aristas en E que tienen a v como nodo inicial.

Ejemplo. En el grafo de la figura anterior, el grado de salida del nodo c es 3 y el del nodo f es 2. Como
no hay ningn arco que tenga al nodo b como inicial, entonces el grado de salida de b es 0.
Definicin (Grado total o grado de un nodo). Sea un nodo v de un grafo G. El grado total (o grado) de v
se define as:

Si G es dirigido, entonces el grado total de v es la suma de su grado de entrada y su grado de


salida.

Si G es no dirigido, entonces, de las aristas en que v es incidente, sea m el nmero de dichas aristas
que son bucles y sea n el nmero de las que no lo son; el grado total de v es 2m+n.

Ejemplo. Considrese el grafo dirigido de la primera figura del tema. El grado de entrada del nodo a es
0, y el de salida es 2, por lo que su grado total es 0+2=2. Para el nodo d su grado de entrada es 1 y su
grado de salida es 2, de ah que su grado total sea 1+2=3.

Ejemplo. Sea el grafo no dirigido de la siguiente figura. El nodo 3 es incidente en 2 aristas, de las cuales
ninguna es un bucle, por lo que su grado total es 2. El nodo 1 es incidente en 3 aristas, de las cuales una
es un bucle y las otras 2 no lo son, por lo que su grado total es 21+2=4. El nodo 5 no es incidente de
ninguna arista, por lo que su grado total es 0.

Ejemplo de grafo no dirigido.

Teorema. Sea un grafo G=(V,E). La suma del grado total de todos los nodos de V es igual a 2E.
Ejemplo. Para el grafo dirigido de la primera figura del tema, que contiene 5 aristas, de acuerdo al
teorema anterior la suma de los grados totales de los nodos es 25=10. Para el grafo no dirigido de la
ltima figura el nmero de aristas es 6, por lo que la suma de los grados totales es 26=12. En cada
uno de estos dos grafos podemos comprobar que el valor que obtendramos sera idntico a los anteriores
(10 y 12) si calculamos el grado total de cada nodo y hacemos la suma.

Definicin (Nodo aislado). En un grafo se denomina nodo aislado a un nodo cuyo grado total es 0.

Ejemplo. En la ltima figura el grado total del nodo 5 es 0. Por tanto, el 5 es un nodo aislado.

Definicin (Grafo nulo). Un grafo se denomina nulo si todos sus nodos son aislados.

Ejemplo. Cualquier grafo que no tenga aristas es un grafo nulo.

Definicin (Subgrafo). Sea un grafo G=(V,E) y sea un grafo G=(V,E). Se dice que G es un subgrafo
de G si se cumple que:

VV, y

E es subconjunto del conjunto de aristas de E cuyos dos nodos incidentes estn en V.

Ejemplo. Sea G=(V,E) el grafo de la primera figura del tema. Sea G=(V,E) el grafo de la siguiente
figura. Se puede comprobar que V={b,c,d} es un subconjunto de V={a,b,c,d}. Adems, se cumple
que E={(c,b),(d,d)} es un subconjunto del conjunto de aristas de E cuyos nodos incidentes estn en V,
que es {(c,b),(d,b),(d,d)}. Por tanto, G es un subgrafo de G.
Ejemplo de subgrafo del grafo de la primera figura del tema.

Visualmente se puede apreciar cuando un grafo G es un subgrafo de otro grafo G ya que el conjunto de
nodos de G es un subconjunto del de G, y los arcos de G aparecen tambin en G.

Definicin (Supergrafo). Sean G y G dos grafos. Decimos que G es un supergrafo de G si G es un


subgrafo de G.

Ejemplo. En el ejemplo anterior hemos visto que el grafo G de la ltima figura es un subgrafo del grafo
dirigido G de la primera figura del tema. Por tanto, G es un supergrafo de G.

Definicin (Subgrafo propio y supergrafo propio). Sean G y G dos grafos tales que G es subgrafo de G y
GG. Entonces se dice que G es un subgrafo propio de G y que G es un supergrafo propio de G.

Ejemplo. Sea G el grafo dirigido de la primera figura del tema y sea G el grafo de la ltima figura. Se
tiene que G es subgrafo propio de G y G es supergrafo propio de G.

Definicin (Grafo bipartito). Un grafo G=(V,E) se dice que es bipartito si existe una particin de V en
dos conjuntos V1 y V2 tales que toda arista eE verifica que:
si e es dirigida, siendo e=(x,y), entonces xV1 e yV2;

si e es no dirigida entonces un nodo de e pertenece a V1 y el otro a V2.

Ejemplo. Sea el grafo dirigido G=(V,E) de la siguiente figura, en el que V={a,b,c,d,e,f} y E=


{(a,d),(a,f),(b,d),(b,e),(b,f),(c,f)}. Los conjuntos V1={a,b,c} y V2={d,e,f} constituyen una
particin de V. Adems, para toda arista de E se cumple que el nodo inicial pertenece a V1 y el nodo final
pertenece a V2. Por tanto, G es un grafo bipartito.

Ejemplo de grafo bipartito.

Definicin (Relacin de adyacencia de un grafo dirigido). Sea G=(V,E) un grafo dirigido. El conjunto
de aristas de E constituye una relacin binaria en V a la que se denomina relacin de adyacencia de G, y
se denota como RG.

Ejemplo. En el ejemplo anterior, tenemos la relacin de adyacencia definida sobre V={a,b,c,d,e,f}


dada por
RG={(a,d),(a,f),(b,d),(b,e),(b,f),(c,f)}.
Dado que la relacin de adyacencia de un grafo dirigido G es una relacin (binaria) en un conjunto, ello
hace que los grafos y las relaciones en un conjunto compartan formas de representacin. As tenemos que:

1. la representacin grfica que hemos visto para grafos en este tema se puede utilizar para representar
una relacin en un conjunto simplemente considerando que sta es la relacin de adyacencia del
grafo; y

2. la representacin matricial de una relacin en un conjunto se puede emplear para representar la


relacin de adyacencia del grafo, como vamos a ver en la siguiente definicin y en un ejemplo.

Definicin (Matriz de adyacencia). Sea un grafo G. A la matriz correspondiente a la relacin de


adyacencia de G se le denomina matriz de adyacencia, y se denota MRG simplemente MG.

Ejemplo. Sea el grafo dirigido de la primera figura del tema. Tomamos como ordenacin de los nodos la
que viene en la definicin del conjunto, es decir v1=a, v2=b, v3=c y v4=d, de forma que la filas y
columna i-simas corresponden a vi. Tenemos que la matriz de adyacencia para G es MG, que viene dada
por la siguiente figura.

Matriz de adyacencia del grafo dirigido de la primera figura del tema en la que se ha tomado la siguiente
ordenacin de nodos: a, b, c y d.

Es importante tener cuidado con la definicin de nodos adyacentes que se dio anteriormente y la
definicin de relacin de adyacencia RG de un grafo G dada en esta seccin. Por ejemplo, siendo E el
conjunto de aristas de G, si se tiene que la arista (x,y)E pero (y,x)E, entonces:

Se puede decir que x es adyacente a y, e y es adyacente a x.

Sin embargo, en la relacin RG slo aparecera el par (x,y), pero no el par (y,x). Por tanto, en la
matriz de adyacencia tendramos un 1 en la celda de la fila de x y columna de y, pero habra un 0 en
la celda de la fila de y y columna de x.

Todas las propiedades que se estudiaron para las relaciones en un conjunto X se aplican de nuevo a los
grafos, sin ms que considerar como relacin de estudio la relacin de adyacencia. As, por ejemplo, un
grafo se dice que es reflexivo si su relacin de adyacencia es reflexiva. Lo mismo se puede decir para el
resto de propiedades antes estudiadas. Tan slo hay que aadir que los grafos ofrecen una informacin
visual que ayuda a entender mejor las distintas propiedades y facilita la comprensin de la relacin
objeto de estudio.

Ejemplo. Vamos a estudiar qu propiedades cumple la relacin del grafo dirigido de la primera figura
del tema:

No es reflexiva, ya que no se cumple que para cada nodo x haya una arista hacia x; por ejemplo, no
se tiene la arista (a,a).

No es simtrica, ya que, por ejemplo, se tiene el arco (a,c) pero no el (c,a).

Es transitiva, ya que se tienen los arcos (a,c) y (c,b), y, como exige dicha propiedad, se tiene el
arco (a,b).

Es antisimtrica, ya que no se tienen arcos (x,y) e (y,x) siendo x e y nodos distintos.

No es irreflexiva, ya que contiene un arco de un nodo hacia s mismo: el arco (d,d).


6.4 Caminos y conectividad
En esta seccin vamos a suponer que trabajamos con grafos sencillos no mixtos.

6.4.1 Conceptos bsicos de caminos

En esta seccin se recomienda al lector que adems de estudiar las definiciones, intente entender los
conceptos a travs de la representacin grfica del grafo, la cual no siempre la proporcionaremos aqu.

Definicin (Aristas consecutivas). Sea un grafo G. Sean e1 y e2 dos aristas distintas de G. Se dice que e2
es consecutiva de e1 si:

G es dirigido y el nodo final de e1 es igual al nodo inicial de e2,

G es no dirigido y la interseccin de los nodos incidentes de e1 y e2 es distinta de .

De manera informal, grficamente es fcil ver cundo una arista e2 es consecutiva de otra arista e1. En el
caso de grafos dirigidos, ha de cumplirse que la punta de flecha de e1 debe coincidir con el extremo sin
punta de e2. En el caso de grafo no dirigidos es suficiente con que e1 y e2 tengan un nodo incidente en
comn.

Ejemplo. En el grafo dirigido de la primera figura del tema, sean las aristas e1=(a,c) y e2=(c,b). Se
cumple que e2 es consecutiva de e1, ya que el nodo final de e1 es igual al nodo inicial de e2. En cambio,
la arista (d,b) no es consecutiva de (c,b). No obstante, si tuvisemos un grafo no dirigido cualquiera
entonces la arista {d,b} sera consecutiva de {c,b} (y {c,b} sera consecutiva de {d,b}).

Definicin (Nexo de dos aristas consecutivas). Sea un grafo G. Sean e1 y e2 dos aristas de G tales que e2
es consecutiva de e1. El nexo de e1 con e2 se define as:

Si G es dirigido entonces el nexo de e1 con e2 es el nodo final de e1 (que es igual al nodo inicial de
e2);

Si G es no dirigido entonces el nexo de e1 con e2 es el nico elemento de la interseccin de los


conjuntos de nodos incidentes de e1 y e2.

Ejemplo. Sea el grafo dirigido de la primera figura del tema. La arista e2=(c,b) es consecutiva de la
arista e1=(a,c), por lo que el nexo de e1 con e2 es el nodo c. En un grafo no dirigido cualquiera la arista
{d,b} es consecutiva de la arista {c,d} y el nexo es d.

Definicin (Camino). Sea un grafo G=(V,E). Se denomina camino a una secuencia e de aristas de E tal
que:

e=(),
e=(e1,e2,,ek ), tal que para todo i, siendo 1i<k, la arista ei+1 es consecutiva de ei.

Ejemplo. Sea el grafo G de la siguiente figura. Sea la secuencia de aristas e1=(a,c), e2=(c,e), e3=
(e,f), e4=(f,d). Se cumple que:

e2 es consecutiva de e1,

e3 es consecutiva de e2, y

e4 es consecutiva de e3.

Por tanto, la secuencia constituye un camino en G.

La secuencia de aristas [(a,c),(c,e),(e,f),(f,d)] constituye un camino en este grafo.

Dado que las aristas suelen utilizar parntesis, para evitar la repeticin de dicho smbolo, en la secuencia
de aristas dada por un camino utilizaremos preferentemente los smbolos delimitadores [ y ]. As, el
camino del ejemplo anterior lo podemos escribir como
[(a,c),(c,e),(e,f),(f,d)].

Ejemplo. Sea un grafo no dirigido en el que tenemos la siguiente secuencia de aristas: e1={a,b}, e2=
{c,a}, e3={f,c}. Se cumple que:

e2 es consecutiva de e1, con nexo a, y

e3 es consecutiva de e2, con nexo c.


Por tanto, la secuencia constituye un camino.

Definicin (Nodo inicial de un camino). Sea un grafo con conjunto de aristas E. Sea k el nmero de
aristas de un camino e=[e1,e2,,ek ], donde k1 y cada eiE, siendo 1ik. Sea inc(e1) el
conjunto de nodos incidentes de e1 y sea y el nexo de e1 con e2. El nodo inicial de e se define as:

si e1 es un bucle entonces el nodo inicial de e es y;

en otro caso, el nodo inicial de e es el nico elemento de inc(e1)\{y}.

Ejemplo. En un grafo dirigido se tiene el camino [(a,c),(c,e),(e,f),(f,d)]. El nexo de la primera arista


(a,c) con la segunda (c,e) es c. Por tanto, el nodo inicial del camino es a.

Ejemplo. En un grafo dirigido se tiene el camino [(b,b),(b,a),(a,d)]. Dado que la primera arista (b,b)
es un bucle entonces el nodo inicial del camino es el nico nodo incidente de dicha arista: b.

Ejemplo. Anteriormente hemos visto que en un grafo no dirigido la secuencia {a,b},{c,a},{f,c}


constituye un camino. La primera arista es {a,b} y la segunda es {c,a}, y el nexo de la primera con la
segunda es a. Por tanto, el nodo inicial del camino es el nodo {a,b}\{a}=b.

Definicin (Nodo final de un camino). Sea un grafo con conjunto de aristas E. Sea k el nmero de aristas
de un camino e=[e1,e2,,ek ], donde k1 y cada eiE, 1ik. Sea inc(ek ) el conjunto de nodos
incidentes de ek y sea y el nexo de ek1 con ek . El nodo final del camino e se define as:

si ek es un bucle entonces el nodo final de e es y;

en otro caso, el nodo final de e es el nico elemento de inc(ek )\{y}.

Ejemplo. Anteriormente hemos visto el ejemplo de camino


[(a,c),(c,e),(e,f),(f,d)]
en un grafo dirigido. El nexo de la penltima arista (e,f) con la ltima (f,d) es f. Por tanto, el nodo final
del camino es d.

Ejemplo. En un grafo dirigido tenemos el camino [(b,a),(a,e),(e,d),(d,d)]. La ltima arista (d,d) es un


bucle, por lo que el nodo final del camino es el nico nodo incidente de dicha arista: d.

Ejemplo. Anteriormente hemos visto un ejemplo de camino


[{a,b},{c,a},{f,c}]
en un grafo no dirigido. El nexo de la penltima arista {c,a} con la ltima {f,c} es c. Por tanto, el nodo
final del camino es f.

Definicin (Recorrido de un camino). Sea k el nmero de aristas de un camino e=[e1,e2,,ek ], siendo


k1. Sea yi el nexo de la arista ei con la arista ei+1, para 1i<k. Sea y0 el nodo inicial de e, y sea yk
el nodo final de e. A la secuencia de nodos
(y0,y1,y2,...,yk1,yk )
se le denomina recorrido de e.
Para indicar un recorrido tambin usaremos como delimitadores los smbolos [ y ], por lo que el
recorrido (x1,x2,...,xk ) se puede escribir tambin como [x1,x2,...,xk ].

Ejemplo. Sea el camino [(a,c),(c,e),(e,f),(f,d)] en un grafo dirigido que hemos visto en esta seccin.
Su recorrido es (a,c,e,f,d). Tambin se puede escribir como [a,c,e,f,d].

Ejemplo. Sea el camino [{a,b},{c,a},{f,c}] en un grafo no dirigido que hemos visto en esta seccin. Su
recorrido es [b,a,c,f].

Definicin (Pasar por un nodo). Sea un camino e cuyo nmero de aristas es mayor que 0. Sea el camino
e' obtenido a partir de e eliminando la primera arista y sea S el conjunto de nodos que aparecen en el
recorrido de e'. Se dice que e pasa por un nodo v si vS.

Ejemplo. Sea el camino e=[(a,c),(c,e),(e,f),(f,d)]. Si a e le eliminamos la primera arista nos queda


el camino e'=[(c,e),(e,f),(f,d)]. El conjunto de nodos del recorrido de e' es S={c,e,f,d}. Por tanto,
el camino pasa por los nodos c, e, f y d. En cambio, no pasa ni por el nodo a ni por el nodo b.

Definicin (Pasar por una arista). Se dice que un camino e pasa por una arista si sta aparece en la
secuencia de e.

Ejemplo. Sea el camino [(a,c),(c,e),(e,f),(f,d)]. Se puede comprobar que, por ejemplo, pasa por las
aristas (a,c) y (e,f).

6.4.2 Tipos bsicos de caminos

Definicin (Camino nulo). Se dice que un camino es nulo si no contiene ninguna arista.

Es trivial ver que el nmero de aristas de un camino nulo es 0.

Ejemplo. El camino e=() es nulo.

Definicin (Camino sencillo o simple). Se dice que un camino es sencillo o simple si todas sus aristas
son distintas.

Ejemplo. El camino [(a,c),(c,e),(e,f),(f,d)] es sencillo, ya que todas las aristas son distintas. En
cambio, el camino [(e,f),(f,d),(d,e),(e,f)] no es sencillo, ya que la arista (e,f) aparece repetida.

Definicin (Camino elemental). Sea un camino e con nodo inicial a. Sea r el recorrido de e. Se dice que
e es elemental si no aparece ningn nodo repetido en r, excepto a lo sumo el nodo a, el cual puede
aparecer en la ltima posicin de r (adems de en la primera posicin).

Ejemplo. Sea el camino e=[(a,c),(c,e),(e,f),(f,d)]. Su recorrido r es [a,c,e,f,d]. Todos los nodos en


r son distintos. Por tanto, e es un camino elemental.

Ejemplo. Sea el camino e=[(d,e),(e,f),(f,d)]. Su recorrido r es [d,e,f,d]. No aparece ningn nodo


repetido, excepto el nodo inicial d, que aparece en la ltima posicin. Por tanto, e es un camino
elemental.
Proposicin. Todo camino elemental es sencillo.

Por la proposicin anterior tambin tenemos que si un camino no es sencillo entonces no es elemental.

Ejemplo. Considrese la secuencia de enlaces dada por:


(e,f),(f,f),(f,f),(f,d),(d,e),(e,f).
Se trata de un camino. Sin embargo, en l aparecen enlaces repetidos, como por ejemplo (f,f) (e,f). Por
tanto, no es un camino sencillo y, por tanto, tampoco es un camino elemental.

Ejemplo. Considrese la secuencia de enlaces:


(c,d),(d,e),(e,f),(f,d),(d,b).
Es un camino sencillo. Sin embargo, no es un camino elemental, ya que su recorrido, (c,d,e,f,d,b),
contiene el nodo d repetido.

Definicin (Camino de un nodo a otro). Sea un camino e de un grafo G y sean a y b dos nodos de G. Se
dice que e es un camino de a a b si se cumple una de estas dos condiciones:

1. e es un camino nulo y a=b;

2. el nmero de aristas de e es mayor que 0, el nodo inicial de e es a y el nodo final es b.

Ejemplo. Sea un grafo cuyo conjunto de nodos es V={1,2,3,4,5}. Sea e un camino nulo. Entonces e es
un camino del nodo 1 al nodo 1. De la misma forma e es un camino del nodo 2 al nodo 2, y as igualmente
para cualquier otro nodo de V.

Ejemplo. Sea el camino [(a,c),(c,e),(e,f),(f,d)]. Su longitud es 4, que es mayor que 0. El nodo inicial
es a y el nodo final es d. Por tanto, se trata de un camino de a a d.

Definicin (Ciclo). Sea un camino e. Se dice que e es un ciclo si los nodos inicial y final de e coinciden.

Ejemplo. Considrese el camino e=[(c,e),(e,d),(d,c)]. El nodo inicial es c y el nodo final es c. Dado


que el nodo inicial y el nodo final son iguales, entonces e es un ciclo.

Ejemplo. Considrese el grafo no dirigido de la segunda figura del tema. Sea el camino e=[{2,1},{3,
2},{4,3},{4,1}]. Su recorrido es [1,2,3,4,1]. Dado que tanto su nodo inicial como el final son el
mismo nodoel nodo 1entonces e es un ciclo.

Definicin (Ciclo sencillo). Sea un ciclo c. Si c es un camino sencillo entonces se dice que c es un ciclo
sencillo.

Ejemplo. Considrese el grafo no dirigido de la segunda figura del tema. El camino e=[(2,3),(3,2)] es
un ciclo; adems, en l no se repite ninguna arista, por lo que es un camino sencillo y por tanto es un ciclo
sencillo.

Ejemplo. El camino e=[(2,3),(3,4),(4,3),(3,4),(4,2)] es un ciclo; sin embargo, en l se repite la


arista (3,4), por lo que e no es un camino sencillo. Por tanto, e no es un ciclo sencillo.

Definicin (Ciclo elemental). Sea un ciclo c. Si c es un camino elemental entonces se dice que c es es un
ciclo elemental.
Ejemplo. El camino e=[(d,e),(e,f),(f,d)] es un ciclo. El recorrido de e es [d,e,f,d] y en l no se
repite ningn nodo excepto el nodo inicial d, que aparece como nodo final, por lo que e es un camino
elemental. Por tanto, e es un ciclo elemental.

Definicin (Grafo dirigido acclico). Un grafo dirigido G se denomina acclico si no contiene ningn
ciclo.

Ejemplo. Sea el grafo dirigido de la siguiente figura. No contiene ningn ciclo, por lo que es un grafo
dirigido acclico.

Ejemplo de grafo dirigido acclico.

Ejemplo. Sea el grafo de la siguiente figura. Contiene el ciclo


[(f,d),(d,e),(e,f)].
Por tanto, dicho grafo dirigido no es acclico.
Grafo dirigido que contiene el ciclo [(f,d),(d,e),(e,f)].

6.4.3 Relacin de accesibilidad

Definicin (Nodo accesible o alcanzable). Sea un grafo G=(V,E). Sean dos nodos x e y de V. Si existe
un camino de x a y en G entonces se dice que y es accesible o alcanzable desde x; en caso contrario se
dice que y no es accesible o alcanzable desde x.

Ejemplo. Sea el grafo G de la ltima figura. Dados los nodos e y b, se tiene que existe un camino de e a b
cuyo recorrido es [e,f,d,b]. Por tanto, el nodo b es accesible o alcanzable desde el nodo e.

Ejemplo. En el mismo grafo del ejemplo anterior no hay ningn camino del nodo b al nodo c. Por tanto, c
no es accesible o alcanzable desde b.

Corolario. Sea x un nodo de un grafo. Entonces x es alcanzable desde x.

Demostrar el corolario anterior es muy fcil, ya que, de acuerdo a la definicin de camino, se vio que e
=() es un camino de x a x.

Definicin (Relacin de accesibilidad o de alcanzabilidad). Sea un grafo G=(V,E). Se denomina


relacin de accesibilidad o de alcanzabilidad en G, y se denota por RGA, a una relacin (binaria) en V
tal que, dados cualesquiera dos nodos a y b de V, se cumple que (a,b)RGA si y slo b es alcanzable
desde a.

Ejemplo. Segn lo visto en ejemplos anteriores, tenemos que el nodo b es accesible desde el nodo e,
pero el nodo c no es accesible desde el nodo b. Por tanto, tenemos que (e,b)RGA, pero (b,c)RGA.
Definicin (Matriz de accesibilidad o de alcanzabilidad). Sea un grafo G. A la matriz de la relacin de
accesibilidad o alcanzabilidad de G, RGA, se le denomina matriz de accesibilidad o de alcanzabilidad
de G, y se denota por MRGA o simplemente MGA.

Ejemplo. Sea el grafo G=(V,E) de la ltima figura. Tomemos el siguiente orden de los nodos de V: v1
=a, v2=b, v3=c, v4=d, v5=e, v6=f. La matriz de accesibilidad de G, MGA, es:

Matriz de accesibilidad del grafo de la figura anterior, segn el siguiente orden de los nodos: v1=a, v2
=b, v3=c, v4=d, v5=e, v6=f.

6.4.4 Distancias en caminos

En esta seccin vamos a suponer que un grafo no ponderado es un caso particular de grafo ponderado en
el que todos los pesos son 1.

Definicin (Longitud de un camino). Sea un grafo ponderado G=(V,E) y sea k el nmero de aristas del
camino e=(e1,e2,,ek ), donde cada eiE y el peso de cada arista ei es wi. Se denomina longitud del
camino, y se denota length(e), al valor i=1k wi. Si el nmero de aristas en e es 0, e=(), se define
length(e)=0.

Corolario. En un grafo no ponderado G la longitud de un camino e es igual al nmero de aristas de e.

Definicin (Camino mnimo o de longitud mnima). Sea un grafo G=(V,E) y sean x,yV. Sea un
camino c en G de x a y. Se dice que c es un camino mnimo o de longitud mnima de x a y si no existe
ningn camino c' de x a y tal que length(c')<length(c).

Proposicin. Sea un grafo G=(V,E) y sean dos nodos x e y de V. Sean c y c' dos caminos mnimos de x
a y. Entonces se tiene que length(c')=length(c).
Ejemplo. Sea el grafo G de la siguiente figura. El camino [(a,c),(c,e)] es un camino de longitud mnima
de a a e, con longitud 2; sin embargo, no es el nico camino de longitud mnima de a a e, ya que tambin
lo es el camino [(a,d),(d,e)]. El camino [(a,b)] es un camino de longitud mnima de a a b, con longitud
1; y cualquier otro camino de a a b distinto del anterior tiene longitud mayor que 1.

El camino [(a,c),(c,e)] es un camino mnimo de a a e, con longitud 2, al igual que el camino [(a,d),
(d,e)].

Ejemplo. Sea el grafo G de la siguiente figura. El camino [(a,c),(c,d)] es un camino de longitud mnima
de a a d. Su longitud es 4+3=7, ya que el peso de (a,c) es 4 y el de (c,d) es 3. Se puede comprobar
que no hay ningn camino de a a d que tenga una longitud menor. Por ejemplo, el camino [(a,c),(c,e),
(e,f),(f,d)] tiene una longitud igual a 4+7+6+2=19, que no es menor que 7.
El camino [(a,c),(c,d)] es un camino mnimo de a a d y su longitud es 7.

Teorema. Sea un grafo ponderado G tal que todos los pesos de las aristas son no negativos. Sean x e y
dos nodos de G tales que y es alcanzable desde x. Entonces existe un camino mnimo de x a y.

Proposicin. Sea x un nodo de un grafo cuyos pesos son no negativos. La longitud del camino mnimo de
x a x es 0.

La demostracin de la proposicin anterior es trivial dado que e=() es un camino de x a x cuya longitud
es 0, y cualquier otro camino de x a x que contenga aristas, por ser sus pesos no negativos, tendr una
longitud mayor o igual que 0.

Definicin (Distancia de un nodo a otro). Sea un grafo ponderado G=(V,E) con pesos no negativos.
Sean dos nodos x e y de V. Se denomina distancia de x a y, y se denota por distance(x,y), a la funcin
distance:VVR tal que:

si y es alcanzable desde x: sea c un camino mnimo de x a y, entonces


distance(x,y)=length(c);

en otro caso: distance(x,y)=.

Cuando estemos trabajando con varios grafos y pueda haber ambigedad acerca de a qu grafo se refiere
la funcin distancia (distance), la distancia de x a y en el grafo G se denotar por distanceG(x,y).

Ejemplo. Sea el grafo G del ejemplo anterior. Tenemos que distance(a,d)=7 y distance(c,f)=13.
Adems, dado que ningn nodo es alcanzable desde b, se tiene que para cualquier nodo x distinto de b se
cumple que distance(b,x)=.
Proposicin. Sea x un nodo de un grafo. Se tiene que distance(x,x)=0.

Ejemplo. Para cualquier nodo x del grafo G del ejemplo anterior se tiene que distance(x,x)=0; dicha
distancia se obtiene tomando el camino nulo e=(). As, para el nodo f hay otros caminos de f a f que no
son mnimos, como por ejemplo el camino [(f,f)], cuya longitud es 8, o el camino [(f,d),(d,e),(e,f)],
cuya longitud es 17.

6.4.5 Conexin en grafos

Definicin (Grafo fuertemente conexo). Sea un grafo G. Se dice que G es fuertemente conexo si para
todo par de nodos x e y de G se cumple que x es alcanzable desde y.

Definicin (Grafo unilateralmente conexo). Un grafo G se dice que es unilateralmente conexo si para
todo par de nodos x e y de G se cumple que x es alcanzable desde y que y es alcanzable desde x.

Definicin (Grafo conexo o dbilmente conexo). Sea un grafo G, y sea G un grafo no dirigido que se
obtiene a partir de G reemplazando cada arista dirigida (x,y) por la arista no dirigida {x,y}. Se dice que
G es conexo o dbilmente conexo si G es fuertemente conexo.

Proposicin. Si un grafo G es fuertemente conexo entonces se cumple que G es unilateralmente conexo.

Proposicin. Si un grafo G es unilateralmente conexo entonces se cumple que G es dbilmente conexo.

Proposicin. Sea G un grafo no dirigido. Entonces se cumple que:

G es dbilmente conexo si y slo si es unilateralmente conexo.

G es unilateralmente conexo si y slo si es fuertemente conexo.

Ejemplo. El grafo de la siguiente figura es dbilmente conexo. Sin embargo no es unilateralmente conexo,
ya que a no es alcanzable desde d, y d no es alcanzable desde a.
Grafo dirigido que es dbilmente conexo, pero no es unilateralmente conexo.

Ejemplo. El grafo de la siguiente figura es fuertemente conexo.


Grafo no dirigido fuertemente conexo.

Definicin (Subgrafo inducido por un conjunto de nodos). Sea un grafo G=(V,E) y sea un conjunto de
nodos VV. Se denomina subgrafo de G inducido por V a un subgrafo G=(V,E) tal que para toda
arista eE se cumple que si el conjunto de nodos incidentes de e es subconjunto de V entonces eE.

Ejemplo. Considrese el grafo G=(V,E) que se vio inicialmente como ejemplo de grafo ponderado.
Sea el conjunto V={a,b,c,f}. Se tiene que VV. El grafo inducido de G a partir de V es el grafo G
que aparece mostrado en la siguiente figura. Se puede ver, adems, cmo a pesar de que G es conexo, el
grafo inducido G no lo es.
Subgrafo del grafo ponderado visto anteriormente, inducido por {a,b,c,f}.

Definicin (Subgrafo maximal). Sea un grafo G y sea G un subgrafo de G. Se dice que G es un subgrafo
maximal de G respecto a una propiedad P si:

G satisface P, y

no hay ningn subgrafo de G que sea supergrafo propio de G y que satisfaga P.

Definicin (Componente fuerte). Se denomina componente fuerte de un grafo G a un subgrafo maximal de


G respecto a la propiedad ser fuertemente conexo.

Ejemplo. Considrese el grafo G=(V,E) que se vio inicialmente como ejemplo de grafo ponderado. El
grafo G de la siguiente figura es un subgrafo de G. G es fuertemente conexo. Adems, no existe ningn
subgrafo de G que sea supergrafo propio de G y que adems sea fuertemente conexo. Por tanto, G es una
componente fuerte de G.
Una componente fuerte del grafo que se vio inicialmente como ejemplo de grafo ponderado.

Definicin (Componente dbil). Se denomina componente dbil de un grafo G a un subgrafo maximal de


G respecto a la propiedad ser dbilmente conexo.

Definicin (Componente unilateral). Se denomina componente unilateral de un grafo G a un subgrafo


maximal de G respecto a la propiedad ser unilateralmente conexo.
6.5 Recorridos y tipos especiales de caminos
6.5.1 Recorridos

Definicin (Sucesores de un nodo). Sea un grafo G=(V,E) y sean dos nodos x,yV. Se dice que un
nodo y es sucesor de x si se cumple que (x,y)E {x,y}E. El conjunto de todos los sucesores de x
se denota succ(x).

Ejemplo. Sea el grafo G de la siguiente figura. Se tiene que succ(c)={b,d,e}, y succ(f)={d,f}.

Grafo en el que se puede comprobar que succ(c)={b,d,e}, y succ(f)={d,f}.

Definicin (Raz de un grafo). Sea G=(V,E) un grafo dirigido. Se denomina raz de G a un nodo rV
tal que todo nodo xV\{r} es alcanzable desde r.

Ejemplo. Sea el grafo G del ejemplo anterior. Se tiene que el nodo a es una raz de G. Adems, es la
nica raz en G.

Definicin (Ordenacin de los nodos de un grafo). Sea un grafo dirigido G=(V,E). Se denomina
ordenacin de los nodos de V a una secuencia de nodos de V donde aparecen todos los nodos de V y
ninguno se repite.

Definicin (Predecesores en una ordenacin). Sea un grafo dirigido G=(V,E), sea n=V, y sea o=
(o1,o2,,on) una ordenacin de los nodos de V. Sea un nmero natural i tal que 1in, y sea v=oi.
Se denominan predecesores de v en o, y se denota predo(v), al conjunto predo(v)={o1,o2,...,oi1}. Si
v=o1 entonces predo(v)=.

Ejemplo. Sea el grafo G de la figura anterior. Sea la secuencia ordenada de nodos o=(a,f,b,e,c,d). Se
tiene que predo(e)={a,f,b}.

Definicin (Recorrido en un grafo). Sea un grafo dirigido conexo G=(V,E) y sea r una raz de G. Se
denomina recorrido en G desde r a una ordenacin o=(o1,o2,,on) de los nodos de V tal que o1=r y
para todo vV\{r} se cumple que xpredo(v) tal que v es sucesor de x. A cualquier recorrido en G
desde cualquier raz de G se le denomina recorrido en G.

De manera informal, la idea intuitiva de recorrido es que la ordenacin o indica la secuencia en que se
van visitando o recorriendo nodos del grafo desde una raz, siguiendo las aristas del grafo, de forma que
cuando se visita un nodo ha de existir una arista desde un nodo ya visitado. As, primero se visita o1,
luego o2, luego o3, y as sucesivamente.

Ejemplo. Sea el grafo conexo G de la figura anterior. La nica raz de G es el nodo a. Un recorrido en G
desde a es (a,c,e,b,d,f).

Definicin (Recorrido en profundidad). Sea un grafo conexo G=(V,E) que tiene al menos una raz. Se
denomina recorrido en profundidad de G a un recorrido o=(o1,o2,,on) en G tal que i, 1<in,
j, tal que
j=max{k1k<i(succ(ok )\predo(oi))}
y (oj ,oi)E.

De una manera informal, la idea intuitiva del recorrido en profundidad es que siempre se visita un
sucesor del ltimo nodo que se ha visitado que an tenga sucesores sin visitar. De esta forma, el
recorrido en profundidad tiende a llegar rpidamente a los nodos que estn ms alejados en nmero de
aristas del nodo raz.

Ejemplo. Sea el grafo conexo G de la figura anterior. Un recorrido en profundidad de G es (a,b,c,e,f,d).

Definicin (Recorrido en anchura o amplitud). Sea un grafo conexo G=(V,E) que tiene al menos una
raz. Se denomina recorrido en anchura o amplitud de G a un recorrido o=(o1,o2,,on) en G tal que
i, 1<in, j, tal que
j=min{k1k<i(succ(ok )\predo(oi))}
y (oj ,oi)E.

Ejemplo. Sea el grafo conexo G de la figura anterior. Un recorrido en anchura de G es (a,b,c,e,d,f).

De una manera informal, la idea intuitiva del recorrido en anchura es que siempre se visita un sucesor del
primer nodo que se ha visitado que an tenga sucesores sin visitar. De esa forma, el recorrido en anchura
tiende a recorrer el grafo visitando nodos a lo ancho a partir de la raz, en lugar de intentar
profundizar como hacen los recorridos en profundidad.

Definicin (Recorrido por niveles). Sea un grafo conexo G=(V,E) que tiene al menos una raz, y sea G
el grafo idntico a G excepto que todos los pesos de los arcos toman el valor 1. Se denomina recorrido
por niveles de G a un recorrido o=(o1,o2,,on) en G tal que xV, ypredo(x),
distanceG(o1,y)distanceG(o1,x).

De una manera informal, la idea intuitiva del recorrido por niveles es que en la ordenacin o primero
aparece la raz r, luego los nodos que estn a una arista de distancia de r, luego los que estn a 2 aristas
de distancia, y as sucesivamente.

Ejemplo. Sea el grafo conexo G de la figura anterior. Un recorrido por niveles de G es (a,b,c,e,d,f).

Teorema. Sea un grafo conexo G. Todo recorrido en anchura en G es tambin un recorrido por niveles en
G.

De una manera informal, se puede decir que los recorridos en profundidad, en anchura y en niveles
comparten un esquema muy parecido para determinar qu nodo es el siguiente a visitar. En cada momento
seleccionan un nodo x de entre el conjunto S formado por los nodos que ya se han visitado pero que
tienen sucesores an por visitar; y de entre los sucesores de x se escoge el nodo a visitar. La diferencia
entre los tres algoritmos est en cmo se selecciona el nodo x a partir del conjunto S:

en el recorrido en profundidad se escoge el nodo de S ms nuevo, es decir, el que se haya sido


visitado ms recientemente en la ordenacin;

en el recorrido en anchura se escoge el nodo de S ms antiguo, es decir, el que se haya sido


visitado antes en la ordenacin;

en el recorrido en niveles se elige un nodo de S que minimice la distancia en nmero de aristas


desde el nodo raz.

Definicin (Orden topolgico en un grafo). Sea un grafo dirigido acclico G=(V,E). Se denomina orden
topolgico en G a un recorrido o tal que para toda arista (x,y)E se tiene que xpredo(y).

De una manera informal, la idea intuitiva del orden topolgico es garantizar que un nodo siempre se
visita antes que cualquiera de sus sucesores.

Teorema. Sea un grafo conexo G. Todo recorrido por niveles en G es tambin un orden topolgico en G.

Ejemplo. Sea el grafo dirigido acclico G de la siguiente figura. Un orden topolgico para G es
(a,t,s,b,l,e,x,d). En G no es posible encontrar ningn recorrido por niveles ya que no existe ninguna
raz.
Un orden topolgico para este grafo es (a,t,s,b,l,e,x,d).

6.5.2 Tipos especiales de caminos

Definicin (Camino hamiltoniano). Sea un grafo no dirigido G cuyo conjunto de nodos es V. Sea un
camino e en G, y sea r el nodo inicial de e. Se dice que e es un camino hamiltoniano en G si es un
camino elemental en G y pasa por todo nodo de V\{r}.

Ejemplo. Sea el grafo G de la siguiente figura. El camino


[{a,c},{c,e},{e,f},{f,d},{d,b}]
es un camino hamiltoniano en G.
El camino [{a,c},{c,e},{e,f},{f,d},{d,b}] es un camino hamiltoniano en este grafo.

Definicin (Ciclo hamiltoniano). Sea un grafo no dirigido G cuyo conjunto de nodos es V. Se denomina
ciclo hamiltoniano en G a un ciclo elemental en G que pasa por todo nodo de V.

Ejemplo. Sea el grafo G de la figura anterior. Sea el camino siguiente:


[{a,c},{c,e},{e,f},{f,d},{d,b},{b,a}].
Es un ciclo hamiltoniano.

Definicin (Grafo hamiltoniano). Sea un grafo no dirigido G. Se dice que G es hamiltoniano si contiene
un ciclo hamiltoniano.

Ejemplo. En el ejemplo anterior hemos visto que el grafo G de lafigura anterior contiene un ciclo
hamiltoniano. Por tanto, G es un grafo hamiltoniano.

Definicin (Camino euleriano). Sea un grafo no dirigido G cuyo conjunto de aristas es E. Un camino
euleriano en G es un camino sencillo que pasa por todas las aristas de E.

Teorema. Un grafo no dirigido tiene un camino euleriano si y slo si tiene a lo sumo dos vrtices de
grado total impar.
Ejemplo. El grafo de la figura anterior verifica que slo tiene dos vrtices de grado total impar: b y e.
Por tanto, dicho grafo contiene un camino euleriano. Se puede comprobar que el camino
[{e,c},{c,a},{a,b},{b,e},{e,f},{f,d},{d,b}]
es un camino euleriano.

Definicin (Ciclo euleriano). Sea un grafo no dirigido conexo G cuyo conjunto de aristas es E. Se
denomina ciclo euleriano en G a un ciclo simple que pasa por todas las aristas de E.

Definicin (Grafo euleriano). Se denomina grafo euleriano a un grafo no dirigido que contiene un ciclo
euleriano.

Teorema. Un grafo no dirigido conexo es un grafo euleriano si y slo si todos los vrtices tienen grado
total par.

Ejemplo. El grafo de la figura anterior tiene dos vrtices de grado total impar. Por tanto, no contiene
ningn ciclo euleriano.

Ejemplo. El grafo de la figura siguiente cumple que todos sus vrtices tienen grado total par. Por tanto,
contiene un ciclo euleriano. Finalmente, se puede afirmar que se trata de un grafo euleriano.

Grafo euleriano.
6.6 rboles
Definicin (rbol o rbol libre). Sea un grafo no dirigido G. Se dice que G es un rbol o rbol libre si
es conexo y acclico.

Teorema. Sea T un rbol y sean a y b dos nodos cualesquiera de T. Entonces existe un nico camino de a
a b en T.

Teorema. Sea T un rbol con n nodos. Se cumple que el nmero de aristas de T es igual a n1.

Ejemplo. La siguiente figura contiene un grafo que es rbol o rbol libre. En l se puede comprobar
como entre dos nodos cualesquiera hay un nico camino que los conecta. Adems, se puede comprobar
que el nmero de nodos es n=5, y el nmero de aristas es n1=4.

rbol libre.

Definicin (rbol de expansin de un grafo). Sean los grafos no dirigidos conexos G=(V,E) y G=
(V,E). Se dice que G es un rbol de expansin de G si V=V, EE y G es un rbol.

Ejemplo. El grafo de la figura anterior es un rbol de expansin del grafo no dirigido de la siguiente
figura.
El rbol de la figura anterior es un rbol de expansin de este grafo no dirigido.

Definicin (Peso de un rbol). Sea un grafo ponderado T que es un rbol. Se denomina peso de T, y se
denota weight(T), a la suma de los pesos de las aristas de T.

Ejemplo. El grafo ponderado de la figura siguiente es un rbol de peso 17.


rbol de peso 17.

Definicin (rbol de expansin mnimo). Sea un grafo no dirigido ponderado G. Se dice que T es un
rbol de expansin mnimo para G si T es un rbol de expansin para G y no hay ningn otro rbol de
expansin T para G tal que weight(T')<weight(T).

Ejemplo. El grafo ponderado de la figura anterior es un rbol de expansin mnimo del grafo ponderado
G de la figura siguiente.
El rbol de la figura anterior es un rbol de expansin mnimo de este grafo.

Teorema. Sea un rbol T. Se cumple que todo nodo de T es raz de T.

Definicin (rbol con raz). Sea un rbol T y sea r una raz de T. Se denomina rbol con raz al par
(T,r).

Definicin (Padre de un nodo en un rbol con raz). Sea un rbol con raz (T,r). Sea v un nodo de T tal
que vr. Se denomina padre de v a un nodo u tal que:

la arista {u,v} pertenece a T, y

u pertenece al recorrido del camino de r a v en T.

Teorema. Sea un rbol con raz (T,r). Sea v un nodo de T tal que vr. Se cumple que hay un nico
padre de v.

Definicin (Hijo de un nodo en un rbol con raz). Sea un rbol con raz (T,r). Sea u un nodo de T. Se
denomina hijo de u a cualquier nodo v de T tal que u sea padre de v.

Ejemplo. Sea el rbol T de la primera figura de esta subseccin. Tomemos el nodo 4 como nodo raz r.
En el rbol con raz (T,r) el padre de 2 es 1, y el padre de los nodos 1, 3 y 5 es el nodo 4. El hijo de 1 es
2, y los hijos de 4 son 1, 3 y 5; los nodos 2, 3 y 5 no tienen hijos.

Definicin (Nodo hoja en un rbol con raz). Sea un rbol con raz (T,r). Sea u un nodo de T. Se
denomina nodo hoja a cualquier nodo de T que no tenga hijos.
Ejemplo. En el ejemplo anterior los nodos 2, 3 y 5 son nodos hoja.

Definicin (rbol dirigido). Sea un grafo dirigido G. Sea G un grafo idntico a G excepto que cada
arista dirigida (x,y), siendo x e y nodos de G, ha sido sustituida por la arista no dirigida {x,y}. Se dice
que G es un rbol dirigido si G es un rbol.

Ejemplo. La siguiente figura muestra un rbol dirigido.

rbol dirigido.