Universidad San Carlos de Guatemala

Centro Universitario de Izabal

Catedra: Matemticas Computacional II
Catedrtica: Ingeniera Nancy Romero Acevedo

SEGUNDA UNIDAD
1) Relaciones y Funciones a)Elementos de una Relacin i) Producto Cartesiano
ii) Relacin Binaria iii) Matriz de Relacin iv) Grafo de ua relacin 2) Relaciones
de Recurrencia a) Recurrencia b) Ejemplos donde apareccen relaciones de
recurrenccia. c) Relaciones de Recurrencia d) Diferentes tipos de relaciones de
recurrencia: homogneas, no homogneas, lineales, con coeficiente constante,
con coeficientes variables y no lineales. e) Soluciones de ecuaciones de
recurrenia no homogenas con coeficientes constantes f) Solicione de algunas
ecuaciones concurrencia no homogneas con coefcientes constantes. g)
soluciones de algunas ecuaciones de recurreecia con coeficientes variables h)
aplicacion de las relaciones de recurrencia en el analisis de dos algoritmos: la
torre de Hanoi, Busqueda binaria.

Alumna:
Keysi Stefany Guadalupe Flores Cordn
Carnet:
201545248

PUERTO BARRIOS, IZABAL

Relaciones y Funciones
Historia
La palabra funcin fue introducida en 1694 por Gottfried Wilhelm Leibniz (1646
1716) para designar una cantidad asociada con una curva. En el ao 1718,
Bernoulli (1667 1748) consideraba una funcin como una expresin
algebraica formada por constantes y variables. Las ecuaciones o frmulas con
constantes y variables surgieron con Leonahard Euler (1797 1783). Su
definicin de funcin es la que generalmente se encuentra en los libros de
matemticas a nivel de enseanza media. En 1734 Euler y Alexis Clairaut
(1713 - 1765) introdujeron la notacin f (x) . La idea de Euler permaneci
intacta hasta la poca de Jean Baptiste Joseph Fourier (1768 1830) quien
encontr la necesidad de un tipo ms general de funcin en su estudio de
series trigonomtricas. En 1837, Meter Gustav Lejeune Dirichlet (1805 1859)
estableci una formulacin ms rigurosa de los conceptos de variable, funcin
y correspondencia entre la variable independiente y la
variable dependiente. El trabajo de Dirichlet enfatiza la
relacin entre dos conjuntos de nmeros y no pide la
existencia de una frmula o expresin que relaciones a los
dos conjuntos. Con los desarrollos de la teora de conjuntos
de George Cantor, se lleg a una generalizacin de la funcin
como un tipo de relacin particular. Gottfried Wilhelm Leibniz
(1646 1716)
Definicin de Relacin
El concepto de relacin surge de manera natural en el anlisis de un sistema.
Un ejemplo, en los nmeros Naturales se establece la relacin es menor
que .... Bajo esta relacin R el nmero 2 se relaciona con el 3: 2 es menor que
3, pero no as al contrario (3 no es menor que 2).
Una relacin es binaria cuando se establece entre dos objetos. Un ejemplo: R :
x<y.
Una relacin es un conjunto de pares ordenados. Un par ordenado (tambin
llamada pareja ordenada) consta de dos elementos: (a, b) en donde el orden en
que aparece (primero a, despus b) indica la relacin: a Rb de a con b. Una
relacin asocia un elemento de un conjunto A con un elemento de otro conjunto
B o con un elemento del mismo conjunto A.

Clasificacin de relaciones
- Relaciones de equivalencia
- Relaciones de orden
- Funciones
1. Relaciones de equivalencia Caractersticas (propiedades)
2.
1) Reflexividad: xRx : x S xRx ( x est relacionada con x )
Ejemplo: El conjunto de alumnos que se encuentra en su saln de clase S =
{Pedro, Javier, Esteban}
R : est en la misma habitacin Pedro R Pedro reflexividad
2) Simetra: x, y S . Si x Ry yRx
Ejemplo: Pedro R Javier Javier R Pedro
3) Transitiva: x, y,z S Si xRy y yRz xRz Pedro R Javier y Javier R
Esteban Pedro R Esteban
Definicin:
Una relacin R , definida sobre un conjunto S es una relacin de equivalencia
tienen las tres propiedades: reflexiva, simtrica y transitiva.

Relacin de orden parcial

En matemticas, una relacin binaria R sobre un conjunto X es antisimtrica si

se cumple que para todo a y b pertenecientes a X si a est relacionado con b y
b est relacionado con a entonces a = b.
En notacin de conjuntos:
La relacin ser ms alto que es una relacin antisimtrica dado que a es ms
alto que b y b es ms alto que a no pueden cumplirse al mismo tiempo. Ntese
que la antisimetra no es lo opuesto de la simetra ( a Rb y b Ra implican b = a).
Existen relaciones que son simtricas y antisimtricas al mismo tiempo (como
la relacin de igualdad), relaciones que no son simtricas ni antisimtricas
(como la relacin de divisibilidad), relaciones que son simtricas pero no
antisimtricas (como la relacin de congruencia mdulo n), y relaciones que
son antisimtricas pero no simtricas (la relacin "es menor que" ). La relacin
ser menor o igual tambin es antisimtrica dado que si a es menor o igual que
b y b es menor o igual que a es porque a = b. Una relacin que es reflexiva,
antisimtrica y transitiva es llamada un orden parcial.
En resume: cuando en una relacin se tiene que a Rb y b Ra es porque el
elemento a es igual al elemento b.

Relacin unaria
En matemticas, una relacin unaria R, en un conjunto A, es el subconjunto de
los elementos x de A que cumplen una determinada condicin que define R:
Ejemplo
Dado el conjunto N de los nmeros naturales, definimos la relacin unaria P de
los nmeros pares, esto es un nmero natural x pertenece a P si x es par, que
se expresara:
o lo que es lo mismo:

Partiendo de los alumnos de un centro escolar A, podemos definir la relacin

unaria alumnos de tercero T, formada por los alumnos del centro que estudian
tercer curso:
Relacin binaria
En matemticas, una relacin binaria es una relacin matemtica
entre los elementos de dos conjuntos y . Una relacin
de
puede representar mediante pares ordenados
una propiedad

definida
en se

para los cuales se cumple

, de forma que

, y se anota:

Que se lee: la relacin binaria

es el conjunto de pares ordenados
pertenecientes al producto cartesiano
, y para los cuales se cumple la
propiedad que los relaciona.
Las proposiciones siguientes son correctas para representar la relacin
binaria
entre los elementos y :
Tambin, segn la notacin polaca puede expresarse:

Funciones
Intuitivamente una funcin es una regla que asocia elementos de un conjunto A
con elementos de un conjunto B de modo que el elemento del conjunto A se
asocia con uno y slo un elemento del segundo conjunto. En otras palabras,
una funcin es una mquina que transforma elementos en otros elementos y
cada elemento puede transformarse en un nico elemento, no en dos o tres.

Definicin:
Sean A y B dos conjuntos. Una funcin de A en B es un conjunto de pares
ordenadas de A x B (a, b) con la propiedad de que cada elemento de A es el
4

primer componente de una pareja ordenada y para todo a A, si (a, b) y (a, c)

pertenece a f entonces b = c (porque a no se repite en otra pareja).
A: Dominio de la funcin
B: Codominio
Imagen son los elementos de B que forman el segundo componente de la
pareja ordenada.

Nomenclatura y = f (x)

Dominio de una funcin es el conjunto de los valores que puede tomar x o que
toma x para que exista la funcin.
Codominio o rango de una funcin es el conjunto de los valores que se
obtienen al sustituir los valores del dominio en la funcin.
Tipos de funciones
Funcin Inyectiva:
A una funcin en la que a cualquiera par de elementos diferentes del dominio
les corresponde imgenes diferentes se le llama funcin inyectiva (significa uno
a uno)

Funcin Suprayectiva:
Si todo elemento del codominio de una funcin f es imagen de al menos un
elemento de su dominio, entonces f es una funcin suprayectiva.

Funcin Biyectiva:
Una funcin que es suprayectiva e inyectiva se llama Biyectiva.

Otras funciones

Relacin binaria
En matemticas, una relacin binaria es una relacin matemtica
entre los elementos de dos conjuntos y . Una relacin
de
puede representar mediante pares ordenados
una propiedad

definida
en se

para los cuales se cumple

, de forma que

, y se anota:

Que se lee: la relacin binaria

es el conjunto de pares ordenados
pertenecientes al producto cartesiano
, y para los cuales se cumple la
propiedad que los relaciona.
Las proposiciones siguientes son correctas para representar la relacin
binaria
entre los elementos y :
Tambin, segn la notacin polaca puede expresarse:
Ejemplos
Dado el
binaria
cuadrtica

conjunto
de

de

los nmeros

los puntos

en

reales,
el

definimos

plano

la

segn

relacin
la funcin

, de forma que se anota:

Partiendo del conjunto de los

conjunto de las personas que
podemos definir la relacin binaria
y , formada por cada automvil
anota formalmente:

automviles de una localidad, y otro

manejan automviles en esa localidad,
... conduce ... entre ambos conjuntos
, y quien lo conduce de forma que se

Taxonoma de las relaciones binarias

En el grfico ilustrativo de la taxonoma de las relaciones binarias se pasa de
las definiciones ms generales a las ms especficas siguiendo el sentido de
las flechas.

Clasificacin

La importancia en matemticas de las relaciones binarias, se debe a que una

gran parte de las asociaciones entre elementos de conjuntos, tanto numricos
como no numricos, se hace de dos en dos elementos, tanto si son elementos
de un nico conjunto o de dos conjuntos distintos, en el esquema se puede ver
algunas estructuras algebraicas o subtipos de relacin binaria. Emplearemos
este esquema para ver estos casos.
En primer lugar diferenciamos las relaciones binarias homogneas, de las
heterogneas. En las primeras, la relacin binaria se establece entre los
elementos de un nico conjunto, por lo que en realidad, lo que determina es su
estructura interna, mientras que en las segundas se establecen relaciones
entre dos conjuntos distintos, lo que da lugar a operaciones o funciones
10

matemticas de clculo. Una relacin homognea puede ser tratada como

heterognea con los mismos subtipos, pero no al contrario.
Relacin homognea
Una relacin binaria entre dos conjuntos se llama homognea si estos dos
conjuntos son iguales:

Dado que A y B son el mismo conjunto, se suele representar:

O bien:

Relacin heterognea
Una relacin binaria entre dos conjuntos A y B, se llama heterognea, si A es
distinto de B:

Conceptos previos
Antes de afrontar el estudio de las relaciones binarias, veamos algunos
conceptos que es necesario conocer:
Par ordenado
Las partes de un par ordenado son:
Primer conjunto
Primer componente
Segundo conjunto
Segundo componente
Del siguiente par ordenado (a, b) podemos decir que:
a es el primer componente del primer conjunto y;
b como el segundo componente del segundo conjunto.
Matemticamente esto se expresa:
11

y se lee: El producto de A con B, es el conjunto de los pares

ordenados (x,y) tales que x pertenece a A e y pertenece a B.

Producto cartesiano
Definimos los conjuntos:

Obtenemos el producto cartesiano de A por B, colocando en una tabla los

elementos del conjunto A en el eje horizontal y los de B en vertical, en la
interseccin colocamos los pares ordenados correspondientes, percatarse que
en el par ordenado, en primer lugar se coloca el elemento de A, del eje
horizontal y en segundo lugar el de B, del eje vertical.
La enumeracin de los elementos, del conjunto de pares ordenados, seria el
siguiente:

Relacin binaria, subconjunto del producto cartesiano

Visto del producto cartesiano de A por B, podemos definir una relacin binaria,
por ejemplo: mayor que, que se puede expresar:
que por extensin resulta:
Donde los pares ordenados que definen la relacin binaria son un subconjunto
del producto cartesiano de los conjuntos.2
Esto ltimo permite estimar el nmero de relaciones binarias entre dos
conjuntos si:
Entonces el nmero de relaciones binarias posibles entre los conjuntos A y B
viene dado por:
12

Donde si alguno de los dos conjuntos es infinito el nmero anterior debe

entenderse como un nmero transfinito.
Relacin binaria homognea
Como ya se defini antes, una relacin binaria homognea es la que se da
entre los elementos de un nico conjunto, llamando A al conjunto, tendramos:
Si la Relacin binaria es entre los elementos de un nico conjunto, dado que
los distintos tipos de relacin que se pueden determinar entre sus elementos
tomados de dos en dos, determina la estructura del conjunto, lo veremos con
un ejemplo:

Dado el conjunto A:
y la relacin entre los elementos de este conjunto, representada en la figura, se
puede ver que solo hay un conjunto, el A y que la relacin entre los elementos
es interior al conjunto, en este caso representado por las flechas.
En este caso podemos decir, como enumeracin de las relaciones entre los
elementos del conjunto A.
o como conjunto de pares ordenados:

Tambin podemos representar una relacin binaria homognea como

unacorrespondencia de A sobre A:
Tomando como conjunto inicial al conjunto A y como final tambin el
conjunto A, nos permite asociar un elemento inicial a otro final dentro de un
mismo conjunto, determinando una operacin matemtica o funcin de
clculo y no una estructura interna, teniendo siempre en cuenta, que si bien el
13

conjunto inicial y final son un mismo conjunto, la relacin es unidireccional, y si

el elemento a est relacionado con el b no implica, necesariamente, que el b lo
este con el a.
En este caso el anlisis de la relacin binaria se hace segn los distintos tipos
de correspondencia con el mismo significado que en las relaciones
heterogneas
Representacin de una relacin binaria como subconjunto del producto
d

(a, d)

(b, d)

(c, d)

(d, d)

(a, c)

(b, c)

(c, c)

(d, c)

(a, b)

(b, b)

(c, b)

(d, b)

(a, a)

(b, a)

(c, a)

(d, a)

AA

cartesiano:
Dado el producto
de pares ordenados (x, y), donde x, y pertenecen
a A, la relacin binaria ser el subconjunto de
que contiene todos los
pares de elementos relacionados.
Si el producto
es:

el conjunto R de la relacin binaria se representa:

Ntese que en el eje horizontal se representa el conjunto inicial, y en el eje
vertical el conjunto final.
Propiedades de las relaciones binarias homognea
Una relacin binaria puede tener ciertas propiedades, segn los pares
ordenados que formen parte de dicha relacin o no formen parte de ella,
veamos algunas:
Propiedad reflexiva
Una relacin tiene la propiedad reflexiva, si todo elemento est relacionado
consigo mismo, si no todos los elementos del conjunto estn relacionados
consigo mismo se dice que la relacin no es reflexiva.

Para
todo
elemento a que
pertenezca
al
ordenado (a,a) pertenece a la relacin binaria R.
14

conjunto A,

el

par

Tngase en cuenta que debe cumplirse para todos los elementos del conjunto
sin excepcin, si esta propiedad solo se da en algunos casos la relacin no es
reflexiva:

No existe ningn elemento a en A, para el que el par ordenado (a,a) no

pertenezca a la relacin R. Puede verse que estas dos afirmaciones son
iguales.
Propiedad irreflexiva
Una relacin binaria tiene la propiedad irreflexiva, tambin llamada:
antirreflexiva o antirrefleja, si ningn elemento del conjunto est relacionado
consigo mismo:

Que tambin puede expresarse

No existe ningn elemento a en el conjunto A que cumpla que: (a,a) pertenezca

a R.
Propiedad simtrica
Una relacin binaria tiene la propiedad simtrica, si se cumple que un par
ordenado (a,b) pertenece a la relacin entonces el par (b,a) tambin pertenece
a esa relacin:

Para todo par ordenado (a,b) que pertenezca a R, implica que el

par (b,a) tambin pertenece a R, tngase en cuenta que si el par (a,b) no
pertenece a la relacin el par (b,a) tampoco tiene que pertenecer a esa
relacin:

No existe ningn par ordenado (a,b) que pertenezca a R y que el par (b,a) no
pertenezca a R.

15

Propiedad antisimtrica
Una relacin binaria se dice que tiene la propiedad antisimtrica si los pares
ordenado (a,b) y (b,a) pertenecen a la relacin entonces a = b:

Dicho de otra manera, no existen los elementos a, b distintos, y que a

este relacionado con b y b este relacionado con a

Propiedad transitiva
Una relacin binaria tiene la propiedad transitiva cuando, dado los
elementos a, b, c del conjunto, si a est relacionado conb y b est relacionado
con c, entonces a est relacionado con c:

Propiedad total
Una relacin binaria se dice que es total: si para todo elemento del
conjunto: a, b; o a est relacionado con b b est relacionado con a, esto es el
grafo de la relacin es conexo:

Relacin bien fundada

Dado un conjunto A y una relacin R, entre los elementos de ese conjunto, esta
relacin se dice bien fundada, si para todo subconjunto B de A se cumple que
existe un m en B tal que para todo b de B, y b distinto de m, el par ordenado
(b,m) no pertenece a R.

Esto es para todo subconjunto B de A, existe un m en B, que es el elemento

mnimo de ese subconjunto.

16

Clases de las relaciones binarias homognea

Partiendo de las propiedades que una relacin binaria homogneas puede

tener, se pueden diferenciar algunas por su especial inters:

Relacin reflexiva
La propiedad reflexiva de una relacin binaria es el inicio para los casos ms
elaborados, tngase en cuenta que las relaciones binarias no reflexivas y las
irreflexivas son casos muy particulares muy poco estudiados, por su poca
importancia en los casos ms generales.
Las relaciones reflexivas son las definidas as:
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin reflexiva, si cumple:

1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A est
relacionado consigo mismo.

17

El caso ms claro de propiedad reflexiva es la de igualdad matemtica, as

dado un conjunto de nmeros, los naturales por ejemplo, y la propiedad de
igualdad entre nmeros, tenemos que todo nmero natural es igual a s mismo.

Dado un conjunto A, formado por los siguientes elementos:

Y una relacin R entre los elementos del conjunto, definida as:

Podemos ver que los pares ordenados que tienen sus dos trminos iguales
pertenecen a la relacin:

Luego la relacin R es reflexiva.

La
relacin R,
tambin
se
cartesianas la funcin identidad.

puede

representar

en coordenadas

En el eje horizontal (abscisas) representamos el conjunto inicial, de izquierda a

derecha, y en el eje vertical(ordenadas) el conjunto final, de abajo a arriba, si
un determinado par pertenece a la relacin se coloca una cruz en la casilla
correspondiente, si no pertenece se deja en blando, representando de este
modo en coordenadas cartesianas la relacin binaria.

18

En la diagonal principal, inferior izquierda, superior derecha, corresponde a los

pares ordenados en los que sus dos elementos son iguales, si todas las
casillas de esta diagonal tienen aspas, la relacin es reflexiva.
Como puede verse en el diagrama, la relacin estudiada es reflexiva, dado que:
Para todo elemento e del conjunto A, el par ordenado (e,e) pertenece a la
relacin R.
En cualquiera de las tres formas de representacin vistas: enumeracin de
pares ordenados, donde los pares (e,e) pertenecen a la relacin, el diagrama
sagital, con una flecha que sale y llega a cada elemento del conjunto, o en
coordenadas cartesianas, donde hay cruces en la diagonal principal, en todos
los casos se representa una relacin reflexiva, en la que todo elemento del
conjunto est relacionado consigo mismo.
Relacin no reflexiva

Los casos ms estudiados de relaciones binarias homogneas son las que

cumplen la propiedad reflexiva, una relacin que no cumple la propiedad
reflexiva es no reflexiva, un caso particular de relacin no reflexiva son las
relaciones irreflexivas, en las que ningn elemento del conjunto est
relacionado consigo mismo. Puede verse que si en una relacin binaria algunos
elementos estn relacionados consigo mismo y otros no, la relacin no es
reflexiva y tampoco es irreflexiva. Ver diagrama:

19

Las relaciones irreflexivas son un caso particular de las no reflexivas.

Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin irreflexiva, si cumple:

1.- Relacin irreflexiva: la relacin R es irreflexiva si todo
elemento a de Ano est relacionado consigo mismo.

Tambin podemos decir que una relacin es irreflexiva si:

Una relacin es irreflexiva si no existe un a en A que cumpla que a est

relacionado consigo mismo.

Dado el conjunto:

y la relacin entre los elementos de este conjunto:

Podemos ver que:

Para todo elemento e del conjunto A, el par ordenado (e,e) no pertenece a la

relacin R, luego esta relacin en irreflexiva.

20

La representacin de la relacin en coordenadas cartesianas nos permite ver

que la diagonal principal no tiene ninguna cruz, lo que es equivalente a la
irrefrexibilidad de la relacin.
La propiedad reflexiva e irreflexiva son mutuamente excluyentes en una misma
relacin, el cumplimiento de una de ellas da lugar al incumplimiento de la otra
necesariamente, si una relacin es reflexiva, tenemos que:

y si es irreflexiva, se cumple:

Donde se ve claramente la incompatibilidad de las dos condiciones. El

razonamiento contrario no es cierto dado que una relacin binaria puede ser
NO reflexiva y NO irreflexiva simultneamente:
Una relacin binaria es no reflexiva si:

Y una relacin es no irreflexiva cuando:

Estas dos condiciones son perfectamente compatibles, dando lugar a una

relacin binaria no reflexiva y no irreflexiva:

veamos un ejemplo, dado el conjunto:

En la que se ha definido la relacin binaria:

21

Podemos ver que:

Y tambin que:

Luego la relacin no es reflexiva y tampoco es irreflexiva.

Si representamos la relacin binaria en coordenadas cartesianas, podemos ver
que en la diagonal principal no todas las casillas tienen un aspa, luego la
relacin no es reflexiva, y tampoco estn todas en blanco luego tampoco es
irreflexiva, esto es un relacin binaria no reflexiva y no irreflexiva, al darse estas
dos condiciones simultneamente en una misma relacin.
En resumen, podemos diferenciar tres clases de relaciones:

Relaciones reflexivas

Relaciones irreflexivas

Relaciones no reflexivas y no irreflexivas.

Dado, que como ya se ha mencionado, una relacin no puede ser reflexiva e

irreflexiva simultneamente, pero si puede ser no reflexiva y no irreflexiva
simultneamente.
Relacin de dependencia
na relacin binaria es una relacin de dependencia si es reflexiva y simtrica:
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin de dependencia, si

cumple:
1.- Relacin reflexiva: la relacin R es reflexiva, si todo
elemento a de Aest relacionado consigo mismo.

2.- Relacin simtrica: la relacin R es simtrica, si un

elemento a est relacionado con otro b, entonces el b tambin
est relacionado con el a.

22

As por ejemplo si consideramos el conjunto de los nmeros naturales, y

definimos la distancia D entre dos nmeros, como el valor absoluto de su
diferencia:

y decimos que dos nmeros naturales a, b estn prximos si su distancia es a

lo sumo un valor D conocido, tenemos que la relacin binaria de proximidad es:

es una relacin de dependencia, dado que es reflexiva:

es simtrica:

relacin binaria de proximidad no es transitiva, dado que:

que la distancia entre a y b sea a lo sumo D y que la distancia entre b y c no

supere D, no implica necesariamente que la distancia entre a y c no sea mayor
que D. Esta relacin de dependencia entre los nmeros por su distancia no es
una clase de equivalencia, pero si denota una dependencia entre ellos.
Conjunto preordenado
Una relacin binaria define un conjunto preordenado si es reflexiva y transitiva:

Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria define un conjunto preordenado, si

cumple:
1.- Relacin binaria reflexiva: la relacin R es
elemento a de A est relacionado consigo mismo.

reflexiva

si

todo

2.- Relacin binaria transitiva: la relacin R es transitiva si un

elemento a est relacionado con otro b, y este b con otro c, entonces el
23

elemento a esta tambin relacionado con el c.

Relacin de equivalencia
Una relacin binaria es una relacin de equivalencia si es reflexiva, simtrica y
transitiva:3

Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin de equivalencia, si cumple:

1.Relacin
reflexiva:
la
relacin R es
elemento a de A est relacionado consigo mismo.

reflexiva

si

todo

2.- Relacin simtrica: la relacin R es simtrica si un elemento a est

relacionado con otro b, entonces el b tambin est relacionado con el a.

3.- Relacin transitiva: la relacin R es transitiva si un

elemento a est relacionado con otro b, y este b con otro c,
entonces el elemento a esta tambin relacionado con el c.

Una relacin de equivalencia define dentro del conjunto A lo que se

denominan, Clases de equivalencia, una clase de equivalencia o familia de
elementos es cada uno de los subconjuntos en que la relacin de equivalencia
divide al conjuntoA, entre ellos son disjuntos, y la unin de todos ellos es el
conjunto A, veamos un ejemplo.
En Aritmtica modular se define la operacin modulo como el resto de la
divisin, as:
24

el resto de dividir 5 entre 2 es 1

el resto de dividir 6 entre 3 es 0
el resto de dividir 7 entre 3 es 1
se dice que dos nmeros son congruentes modulo n, si al dividir cada uno de
esos nmeros por n dan el mismo resto:

el 8 y el 17 son congruentes modulo 3 dado que al dividirlos por 3 en los dos

casos dan por resto 2.
La congruencia modular de grado n, de los nmeros naturales, es una Relacin
de equivalencia, dado que es reflexiva:

es simtrica:

y es transitiva

Conjunto parcialmente ordenado

Un conjunto A se dice que esta parcialmente ordenado respecto a una relacin
binaria R si la relacin R es reflexiva, transitiva y antisimtrica:

Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria define un conjunto parcialmente ordenado,

si cumple:
1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A est
relacionado consigo mismo.

25

2.- Relacin transitiva: la relacin R es transitiva si un elemento a est

relacionado con otro b, y este b con otro c, entonces el elemento a esta
tambin relacionado con el c.

3.- Relacin antisimtrica: la relacin R es antisimtrica si los pares

ordenado (a,b) y(b,a) pertenecen a la relacin R , entonces a y b son
iguales.

Tomando un conjunto A, formado, por ejemplo, por los elementos:

Se define el Conjunto potencia de A como el formado por todos los

subconjuntos de A:

A cada uno de estos subconjuntos los llamamos:

Y tomando dos de estos subconjuntos decimos que estn relacionados por

pertenencia si el primero es Subconjunto del segundo:

La relacin pertenencia entre los conjuntos potencia de A, es un conjunto

parcialmente ordenado, al ser reflexiva:
26

Transitiva:

Antisimetrica:

Por lo que el conjunto de las partes de A, respecto a la relacin

binaria pertenencia es un conjunto parcialmente ordenado.
Esta relacin no es total dado que:

Que se denominan no comparables, los pares de conjuntos no comparables

son:

Orden total
Un conjunto A se dice que esta totalmente ordenado respecto a una relacin
binaria R si la relacin R es reflexiva, transitiva, antisimtrica y total:

Dado un conjunto A, y una relacin binaria R entre sus elementos

27

Se dice que esta relacin binaria define un orden total, si cumple:

1.Relacin
reflexiva:
la
relacin R es
elemento a de A est relacionado consigo mismo.

reflexiva

si

todo

2.- Relacin transitiva: la relacin R es transitiva si un elemento a est

relacionado con otro b, y este b con otro c, entonces el elemento a esta
tambin relacionado con el c.

3.- Relacin antisimtrica: la relacin R es antisimtrica si los pares

ordenado (a,b) y(b,a) pertenecen
a
la
relacin R ,
entonces a y b son iguales.

4.- Relacin total: la relacin R es total si para cualquiera dos

elemento del conjunto:a, b; o a est relacionado con b
bien b est relacionado con a.

Si tomamos el conjunto de los nmeros enteros Z, por ejemplo, respecto a la

relacin binaria entre sus elementos menor o igual, podemos ver que es
reflexiva:

es transitiva:

es antisimetrica:

y es total:

28

Conjunto bien ordenado

Dado un conjunto A y una relacin R, entre los elementos de ese conjunto, se
dice que es un conjunto bien ordenado si cumple:

Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria define un conjunto bien

ordenado, si cumple:
1.- Relacin reflexiva: la relacin R es reflexiva
elemento a de A est relacionado consigo mismo.

si

todo

2.- Relacin transitiva: la relacin R es transitiva si un

elemento a est relacionado con otro b, y este b con otro c,
entonces el elemento a esta tambin relacionado con el c.

3.- Relacin antisimtrica: la relacin R es antisimtrica si los

pares ordenado (a,b) y(b,a) pertenecen a la relacin R ,
entonces a y b son iguales.

4.- Relacin total: la relacin R es total si para cualquiera

dos elemento del conjunto:a, b; o a est relacionado
con b bien b est relacionado con a.

5.- Relacin bien fundada: dado un conjunto A y una

relacin R, entre los elementos de ese conjunto, esta
relacin se dice bien fundada, si para todo
subconjunto B deA se
cumple
que
existe
un m en B tal que para todo b de B, distinto de m, el
par ordenado (b,m) no pertenece a R.
Relacin binaria heterognea
Una relacin binaria entre dos conjuntos A y B, se llama heterognea cuando A
es distinto de B:

29

Lo que tambin se llama correspondencia matemtica. 4 5

A la derecha podemos ver lo que se denomina un diagrama sagital, en el
cual se representan los dos conjuntos de la relacin binaria, asociando los
elementos de uno y otro conjunto con una flecha, que sale del elemento
origen y llega al elemento imagen, en el diagrama pueden verse un
conjunto de pinceles con pintura de color y un conjunto de caras pintadas,
asociando a cada pincel la cara que est pintada del mismo color.

Puede haber pinceles o caras del mismo color, pero deben ser
considerados como elementos distintos del conjunto, si dos pinceles o
dos caras son del mismo color tienen la misma caracterstica color,
siendo elementos del conjunto diferentes.
En el diagrama podemos ver el conjunto inicial ( o dominio ) de
pinceles P, sobre el que est definida la relacin:

Solo algunos elementos del conjunto origen tienen asociado un elemento,

estos elementos forman el conjunto origen:
,

Y el conjunto final ( o codominio ) de caras pintadas C es:

,

Los elementos del conjunto final a los que se les ha asociado un origen se
llama conjunto imagen:
,

La relacin binaria es la formada por los pares ordenados:

,

Una relacin binaria homognea:

30

Puede ser tratada como heterognea considerando el conjunto inicial y final

como distintos, si lo que se est tratando es una correspondencia, con la
misma validez que si los conjuntos seran distintos, pudiendo realizar
simultneamente su anlisis como relacin homognea, si es factible.
Propiedades de las relaciones binarias heterognea
Partiendo de una relacin binarias heterognea R, entre los conjunto A y B:

Por su importancia podemos distinguir las siguientes condiciones, que nos

permiten diferenciar los subtipos de correspondencias.

Condicin de existencia de imagen. (ei)

a condicin de existencia de imagen garantiza que tomando un elemento
cualesquiera a deA tiene al menos una imagen b en B.

para todo elemento a de A se

un b de B, a y b estn relacionado.

cumple

que

existe

al

menos

En la figura podemos ver el conjunto P de los pinceles:

,
y el C de las caras pintada:
,

Si relacionamos cada pincel con la cara pintada del mismo color,

podemos ver que todos los pinceles tienen al menos una cara
asociada.

31

Condicin de existencia de origen. (eo)

La condicin de existencia de origen garantiza que todo elemento b de B tiene
al menos un origen a en A.

para todo b de B se cumple que existe un a en A y que a y b estn

relacionados.
Si vemos la figura podemos ver el conjunto P de pinceles con pintura:
,

y el conjunto C de caras pintada:

,
Y que todas y cada una de las caras tiene al menos un pincel de su
mismo color. Cada uno de los elementos del conjunto final tiene un
origen.
Condicin de unicidad de imagen. (ui)
La condicin de unicidad de imagen garantiza que los elementos a de A que
estn relacionados con algn b de B est relacionado con un nico
elemento b de B, es decir:

si un elemento a de A est relacionado con dos elementos b de B esos dos

elementos son iguales.
Condicin de unicidad de imagen garantiza que los elementos que tienen
imagen tengan una sola imagen, pero no garantiza que todos los elementos
de A tengan imagen, esta diferencia es importante.
En el diagrama sagital de la derecha vemos el conjunto P:
,

Y el conjunto final C, de caras pintada:

,

32

Los pinceles que tienen una cara relacionada, tienen una sola cara relacionada.
Condicin de unicidad de origen. (uo)
La condicin de unicidad de origen dice: que los elementos b de B que estn
relacionados con algn a de A est relacionado solo con un nico
elemento a de A, es decir:

En el diagrama tenemos el conjunto inicial P de pinceles con pintura de colores:

,

y el conjunto final C de caras pintadas:

,

Relacionando cada pincel con la cara de su mismo color, podemos ver que las
caras que tienen un pincel relacionado, solo tienen un pincel relacionado, esto
es un solo origen, no todas las caras tienen un origen, pero las que lo tienen,
tienen un solo origen.
Galera de ejemplos
Segn las cuatro condiciones expuestas, cada una de ellas independiente de
las dems, podemos ver una serie de ejemplos ilustrativos de los casos que se
pueden presentar.
Utilizaremos como conjunto inicial el conjunto de tubos de pintura T, y como
conjunto final el de pinceles P, asociando cada tubo de pintura con el pincel del
mismo color.

Clases de las relaciones binarias heterognea

Partiendo de las caractersticas de las relaciones binarias heterogneas,
podemos diferenciar los siguientes casos.

33

Correspondencia unvoca
Una correspondencia es unvoca si cumple la condicin de unicidad de imagen:

Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una correspondencia unvoca, si cumple:

1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de
imagen si los elementos a de A que tienen imagen, tienen una sola
imagen:

Esta condicin en necesaria y suficiente para que una correspondencia sea

considerada unvoca.
Correspondencia biunvoca
Una correspondencia es biunvoca si cumple las condiciones de unicidad de
imagen y unicidad de origen:

Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una correspondencia biunvoca, si cumple:

34

1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de

imagen si los elementos a de A que tienen imagen, tienen una sola
imagen:

2.- Unicidad de origen: se dice que cumple la condicin de unicidad

de origen si los elementos b de B que tienen origen, tienen un solo
origen:

Aplicacin
Una correspondencia
se denomina aplicacin si todo elemento
de A admite una nica imagen en B, esto es si cumple la condicin de unicidad
de imagen y de existencia de imagen.
Una aplicacin f de A en B, siendo A y B dos conjuntos cualesquiera, es una
correspondencia entre A y B, total y unvoca.12 segn otra nomenclatura.
Si la aplicacin la representamos como R, tendremos:

por la que definimos una aplicacin que a cada elemento a de A se le

asigna un nico b de B.

Para todo a de A, se cumple que existe un nico b de B, tal que b es el

resultado R(a).
El trmino funcin se suele utilizar cuando los conjuntos inicial y final son
numricos.
Es usual hablar de aplicacin en lugar de funcin, reservando esta
ltima expresin, habitualmente, para el caso en el cual los conjuntos A y
B son numricos. Si A y B son conjuntos de puntos, se suele hablar de
transformacin geomtrica.
Una funcin es el trmino usado para indicar la relacin o
correspondencia entre dos o ms cantidades.
35

En ingls una aplicacin se llama map.

Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin, si cumple:

1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de
imagen si los elementos a de A que tienen imagen, tienen una sola
imagen:

2.- Existencia de imagen: se dice que cumple la condicin de

existencia de imagen si para todos los elementos a de A existe al
menos una imagenb en B:

Si una correspondencia cumple estas dos condiciones se denomina aplicacin.

Aplicacin inyectiva
Una correspondencia es una aplicacin inyectiva si cumple la condicin de
unicidad de imagen, existencia de imagen y unicidad de origen.

Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin inyectiva, si cumple:

1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de
imagen si los elementos a de A que tienen imagen, tienen una sola
imagen:

2.- Existencia de imagen: se dice que cumple la condicin de

existencia de imagen si para todos los elementos a de A existe al

36

menos una imagenb en B:

3.- Unicidad de origen: se dice que cumple la condicin de

unicidad de origen si los elementos b de B que tienen origen,
tienen un solo origen:

Como puede verse una aplicacin que cumple la condicin de unicidad de

origen es una Aplicacin inyectiva.
De otra forma no tan usual, podemos decir que una correspondencia biunvoca
que cumpla la condicin de existencia de imagen tambin es una aplicacin
inyectiva.
Aplicacin sobreyectiva
Una correspondencia se llama Aplicacin sobreyectiva si cumple la condicin
de unicidad de imagen, existencia de imagen y existencia de origen:

Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin sobreyectiva, si cumple:

1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de
imagen si los elementos a de A que tienen imagen, tienen una sola
imagen:

2.- Existencia de imagen: se dice que cumple la condicin de

existencia de imagen si para todos los elementos a de A existe al
menos una imagenb en B:

3.- Existencia de origen: se dice que cumple la condicin de

37

existencia de origen si para todos los elementos b de B existe al

menos un origen aen A:

Se puede decir que una aplicacin sobreyectiva, es una aplicacin que cumple
la condicin de existencia de origen.
Aplicacin biyectiva
Una correspondencia es una aplicacin biyectiva si cumple las condiciones de
unicidad de imagen, existencia de imagen, unicidad de origen y existencia de
origen:
Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin biyectiva, si cumple:

1.- Unicidad de imagen: se dice que cumple la condicin de
unicidad de imagen si los elementos a de A que tienen imagen,
tienen una sola imagen:

2.- Existencia de imagen: se dice que cumple la condicin de

existencia de imagen si para todos los elementos a de A existe
al menos una imagenb en B:

3.- Unicidad de origen: se dice que cumple la condicin de

unicidad de origen si los elementos b de B que tienen
origen, tienen un solo origen:

4.- Existencia de origen: se dice que cumple la condicin

de existencia de origen si para todos los
elementos b de B existe al menos un origen aen A:

Una Aplicacin es biyectiva, si es inyectiva y sobreyectiva.

Relacin cuaternaria
38

En matemticas,

una relacin

cuaternaria R

cuaternas,
condicin que define R

es

el conjunto de

que cumplen una determinada

Las dos proposiciones siguientes son correctas para representar una relacin
cuaternaria :

Ejemplo
Tomando el conjunto R de los nmeros reales, definimos la relacin cuaternaria
E(x, y, z, t) donde x, y, z son lascoordenadas espaciales y t es el tiempo tal que:

donde E es el conjunto de puntos que describe una espiral cnica segn

el eje z, a lo largo del tiempo t.

Tomando los datos de los nacimientos de una determinada

localidad, se puede establecer la relacin cuaternaria N(n, d, t, p) de
los nacidos en esa localidad donde: n es el nombre, d es el da de
nacimiento, t es la talla en cm, y p es el peso en kg.

La relacin N est formada por tuplas, del producto de los conjuntos:

Nombre, Dias, Tallas y Pesos:

Relacin n-aria
En matemticas y lgica,
una relacin n-aria R (o
simplemente relacin) es una generalizacin de
donde R est formada por una tupla de n trminos:

a
menudo
la relacin binaria,

Un predicado n-ario:
es
una funcin a valores
de verdad de n variables.
Debido a que una relacin como la anterior define de manera nica un
predicado n-ario que vale para
si y slo si
est en , y viceversa, la relacin y el predicado se denotan a menudo con el
mismo smbolo. As pues, por ejemplo, las dos proposiciones siguientes se
consideran como equivalentes:

Ejemplo
39

La siguiente relacin, definida sobre el conjunto N de los nmeros naturales, es

n-aria, pues posee n trminos:
La relacin dice que cada uno de los trminos es mayor que el anterior. El valor
de n es un parmetro fijo, que se puede explicitar, o bien dejar como genrico,
para describir un caso general.
Matriz de Relacin

En matemtica, una matriz es un arreglo bidimensional de nmeros. Dado que

puede definirse tanto la suma como el producto de matrices, en mayor
generalidad se dice que son elementos de un anillo. La notacin de una
matriz
tiene la forma:

Las matrices se utilizan para mltiples aplicaciones y sirven, en particular, para

representar los coeficientes de los sistemas de ecuaciones lineales o para
representar transformaciones lineales dada una base. En este ltimo caso, las
matrices desempean el mismo papel que los datos de un vector para las
aplicaciones lineales.
Pueden sumarse, multiplicarse y descomponerse de varias formas, lo que
tambin las hace un concepto clave en el campo del lgebra lineal.
Una matriz es un arreglo bidimensional de nmeros (llamados entradas de la
matriz) ordenados en filas (o renglones) ycolumnas, donde una fila es cada
una de las lneas horizontales de la matriz y una columna es cada una de las
lneas verticales. A una matriz con n filas y m columnas se le denomina
matriz n-por-m (escrito
) donde
. El conjunto de las
matrices de tamao
se representa como
, donde
es
elcampo al cual pertenecen las entradas. El tamao de una matriz siempre se
da con el nmero de filas primero y el nmero de columnas despus.
Dos matrices se dice que son iguales si tienen el mismo tamao y los mismos
elementos en las mismas posiciones.A la entrada de una matriz que se
encuentra en la fila
sima y la columna
sima se le llama entrada
o
40

entrada
-simo de la matriz. En estas expresiones tambin se consideran
primero las filas y despus las columnas.
Se denota a las matrices con letra mayscula, mientras que se utiliza la
correspondiente letra en minsculas para denotar a las entradas de las
mismas, con subndices que refieren al nmero de fila y columna del
elemento.4 Por ejemplo, al elemento de una matriz de tamao
que se
encuentra en la fila
sima y la columna
sima se le denota como
,
donde
y
.
Cuando se va a representar explcitamente una entrada la cul est indexada
con un o un con dos cifras se introduce una coma entre el ndice de filas y
de columnas. As por ejemplo, la entrada que est en la primera fila y la
segunda columna de la matriz de tamao
se representa
como
mientras que la entrada que est en la fila nmero 23 y la columna
100 se representa como
.
Adems de utilizar letras maysculas para representar matrices, numerosos
autores representan a las matrices con fuentes en negrita para distinguirlas de
otros objetos matemticos.[cita requerida] As
es una matriz, mientras que es
unescalar en esa notacin. Sin embargo esta notacin generalmente se deja
para libros y publicaciones, donde es posible hacer esta distincin tipogrfica
con facilidad. En otras notaciones se considera que el contexto es lo
suficientemente claro como para no usar negritas.
Otra notacin, en s un abuso de notacin, representa a la matriz por sus
entradas, i.e.

o incluso

Como caso particular de matriz, se definen los vectores fila y los vectores
columna. Un vector fila o vector rengln es cualquier matriz de
tamao
mientras que un vector columna es cualquier matriz de
tamao
.
A las matrices que tienen el mismo nmero de filas que de columnas,
se les llama matrices cuadradas y el conjunto se denota
Ejemplo[editar]
Dada la matriz

41

es una matriz de tamao

. La entrada

es 7.

La matriz

es una matriz de tamao

: un vector fila con 9 entradas.

Operaciones bsicas entre matrices[editar]

Las operaciones que se pueden hacer con matrices provienen de sus
aplicaciones, sobre todo de las aplicaciones enlgebra lineal. De ese
modo las operaciones, o su forma muy particular de ser implementadas,
no son nicas.
Suma o adicin[editar]
Sean
de

. Se define la operacin de suma o adicin

matrices como
una operacin

binaria

tal

que
y donde
en el que la
operacin de suma en la ltima expresin es la operacin binaria
correspondiente pero en el campo . Por ejemplo, la entrada
es
igual a la suma de los elementos
y
lo cual es
.
Veamos un ejemplo ms explcito. Sea

No es necesario que las matrices sean cuadradas:

42

A la luz de estos ejemplos es inmediato ver que dos matrices se

pueden sumar solamente si ambas tienen el mismo tamao. La
suma de matrices, en el caso de que las entradas estn en
un campo, poseen las propiedades de asociatividad, conmutatividad,
existencia de elemento neutro aditivo y existencia de inverso aditivo.
Esto es as ya que estas son propiedades de los campos en los que
estn las entradas de la matriz.
Propiedades de la suma de matrices
Sean
, donde
es un campo entonces se
cumplen las siguientes propiedades para la operacin binaria

Asociatividad

Relaciones de Recurrencia
Una ecuacin recurrente es un tipo especfico de relacin de recurrencia. Una
relacin de recurrencia para la sucesin
es una ecuacin que
relaciona
con alguno de sus predecesores
. Las
condiciones iniciales para la sucesin
son valores dados en forma
explcita para un nmero finito de trminos de la sucesin. 1
Resolver una relacin de recurrencia consiste en determinar una frmula
explcita (cerrada) para el trmino general
, es decir una funcin no recursiva
de n.
Hay dos mtodos para resolver relaciones recurrentes: iteracin y un mtodo
especial que se aplica a las relaciones de recurrencia lineales homogneas con
coeficientes constantes.
Un ejemplo de una relacin de recurrencia es el siguiente:
Algunas definiciones de recurrencia pueden tener relaciones muy complejas
(caticas), y sus comportamientos a veces son estudiados por los fsicos y
matemticos en un campo conocido como anlisis no lineal.
Resolucin
Iteracin
Para resolver una relacin de recurrencia asociada a la sucesin:
por iteracin, utilizamos la relacin de recurrencia para escribir el n-simo
trmino
en trminos de algunos de sus predecesores. Luego utilizamos de
manera sucesiva la relacin de recurrencia para reemplazar cada uno de los
trminos por algunos de sus predecesores. Continuamos hasta llegar a alguno
de los casos base.
Recurrencias Lineales

43

Una relacin de recurrencia es lineal de grado k si tiene la siguiente estructura:

siendo

funciones reales de

,y

una funcin de n.

El adjetivo lineal indica que cada trmino de la secuencia est definido

como una funcin lineal de sus trminos anteriores. El orden de una
relacin de recurrencia lineal es el nmero de trminos anteriores exigidos
por la definicin.
En la relacin
el orden es dos, porque debe haber al menos
dos trminos anteriores (ya sean usados o no).
Ejemplos :

Ecuacin de Recurrencia lineal homognea con coeficientes constantes

Se llama ecuacin de recurrencia lineal homognea de grado k, con
coeficientes constantes, a una expresin del tipo:

Para poder encontrar una solucin, hacen falta unas condiciones de contorno
o iniciales
, siendo k el grado de la ecuacin.
La recurrencia lineal, junto con las condiciones iniciales
determinan la secuencia nica.

Sea la ecuacin de recurrencia lineal homognea de orden k anterior, se

denomina ecuacin caracterstica a la ecuacin de grado k:

La generacin de la funcin racional

Las secuencias lineales recursiva son precisamente las secuencias cuya
funcin de generacin es una funcin racional: el denominador es el polinomio
auxiliar (a una transformacin), y el numerador se obtiene con los valores
iniciales.

44

El caso ms sencillo son las secuencias peridicas,

, nd que tienen
secuencia
y funcin de generacin una suma de
una serie geomtrica:

Ms general, dada la relacin de recurrencia:

con funcin de generacin

la serie es aniquilada por

y anteriormente por el polinomio:

Eso es, multiplicando la funcin de generacin por el polinomio

como el coeficiente en
n d. As:

, que desaparece (por la relacin de recurrencia) para

como dividiendo:

expresando la funcin de generacin como una funcin racional. El

denominador es
, una transformacin del polinomio auxiliar
(equivalente, invirtiendo el orden de los coeficientes); tambin se puede usar
cualquier mltiplo de esta, pero esta normalizacin es elegida por ambas
porque la relacin simple del polinomio auxiliar, y de ese modo
.

45

Relacin con la diferencia de ecuaciones

Dada una secuencia

define como
La segunda diferencia

de nmeros reales: la primera diferencia

se define como

que se puede simplificar a

Ms general: la diferencia

se

,
.

se define como

A diferencia de la ecuacin es una ecuacin compuesta por

y sus
diferencias. Cada relacin de recurrencia puede ser formulada como una
ecuacin de diferencia. Por el contrario, cada ecuacin de diferencia puede ser
formulada como una relacin de recurrencia. Algunos autores as utilizan los
dos trminos intercambiables. Por ejemplo, la ecuacin de la diferencia:

es equivalente a la relacin de recurrencia:

De este modo se puede resolver relaciones de recurrencia por la reiteracin

como ecuaciones diferencia, y luego la solucin de la ecuacin de diferencia,
anlogamente como una solucin de ecuaciones diferenciales ordinarias.
Ver escala de tiempo de clculo para la unificacin de la teora de las
ecuaciones de diferencia con la de las ecuaciones diferenciales.
Resolucin
Sean

una ecuacin de recurrencia lineal homognea,

su ecuacin caracterstica y,
las races de la ecuacin
caracterstica con multiplicidades
respectivamente. La
solucin de esta ecuacin sera:

46

Con

el polinomio de grado menor o igual que

. Para poder

calcular los coeficientes de los polinomios

, necesitamos saber las
condiciones iniciales de la ecuacin de recurrencia.
Ejemplo : Nmeros de Fibonacci[editar]
Los nmeros de Fibonacci estn definidos usando la siguiente relacin de
recurrencia lineal:

con los valores iniciales:

La secuencia de los nmeros de Fibonacci comienza: 0, 1, 1, 2,

3 ,5, 8, 13, 21 ,34, 55, 89... El objetivo de la resolucin de la
ecuacin de recurrencia es encontrar una forma cerrada para
calcular los nmeros de Fibonacci.
La ecuacin caracterstica es la siguiente:

por lo tanto, la solucin general es:

Para hallar el valor de

siguientes ecuaciones:

47

resolvemos las

Entonces:

La forma cerrada para los nmeros

de Fibonacci es:

Ecuacin de
constantes

Recurrencia

lineal

no

homognea

con

coeficientes

Recibe el nombre de ecuacin de recurrencia lineal no homognea de grado k,

con
coeficientes
constantes,
una
expresin
del
tipo:

Resolucin
La solucin general sera:
ecuacin de recurrencia

lineal

, donde
es la solucin de la
homognea asociada es decir la

ecuacin :
y donde
es la solucin particular que depende de la funcin F(n). Por lo
tanto los pasos a seguir seran, primero calcular la solucin de la ecuacin
homognea, calcular una solucin particular para F(n) y sumarla a la
homognea, y a continuacin aplicar las condiciones iniciales para calcular las
constantes. En la siguiente tabla, encontramos cuales son las posibles
soluciones particulares:

48

Consideraciones:

1.- Si F(n) es una combinacin lineal de algunas de las funciones de la tabla

anterior, su solucin particular es la combinacin lineal de las soluciones
particulares de esas mismas funciones.
2.- Si uno de los sumandos de F(n) es el producto de una constante por una
solucin de la ecuacin caracterstica homognea asociada, entonces es
necesario multiplicar la solucin particular correspondiente a este sumando
por la menor potencia de n, n tal que este nuevo producto no sea solucin
de la ecuacin caracterstica homognea asociada.
Ejemplo: Torres de Hani[editar]
La ecuacin de recurrencia asociada con el problema de las Torres de
Hani es la siguiente:

Con las condiciones iniciales:

Se resuelve la siguiente homognea:

La ecuacin caracterstica es:

, entonces

Entonces :
A

continuacin,

se

resuelve

, entonces

49

la

ecuacin
.

particular:

, entonces
iniciales la solucin es :

igualando

con

las

condiciones

Recurrencias No lineales
Para resolver recurrencias no lineales tenemos muchas opciones de las cuales:

Buscar transformaciones o cambios de variables que hagan la

recurrencia lineal.

Para el caso
, hay un teorema muy til que
es el Teorema Maestro.
La recurrencia en la computacin
La conexin con el anlisis de algoritmos estriba en que la forma que se ha
adoptado para medir las complejidades, utiliza funciones cuyo dominio son los
nmeros naturales, o en otras palabras, sucesiones. Si el algoritmo es
recurrente, es de esperarse que las complejidades, como funciones que
estiman la demanda de recursos a lo largo de la ejecucin, sean sucesiones
que satisfacen ciertas ecuaciones de recurrencia. En un algoritmo recursivo, la
funcin t(n) que establece su complejidad viene dada por una ecuacin de
recurrencia. Una ecuacin de recurrencia nos permiten indicar el tiempo de
ejecucin para los distintos casos del algoritmo recursivo (casos base y
recursivo).
Ejemplo : Clculo del factorial
int Fact(int n){
if(n<=0)
return 0;
else if(n==1)
return 1;
return n*Fact(n-1);
}

Considerando el producto como operacin bsica, podemos construir la

ecuacin recurrente para calcular la complejidad del algoritmo como sigue:
Como se ve en el cdigo el caso base es para n<=1, para estos valores de n el
nmero de multiplicaciones que se realiza es 0. Y en otro caso es 1 ms las
necesarias para calcular el factorial de n-1. As construimos la funcin
recurrente:

50

Ahora si resolvemos la ecuacin recurrente sabremos la complejidad de

este algoritmo en funcin de n. Procedemos a resolver esta ecuacin
recurrente no lineal:

resolvemos la homognea:

resolvamos ahora la particular:

como la particular' coincide con la r, debemos aumentar el grado
multiplicando por n

por lo que la solucin de la ecuacin recurrente queda como

sigue:

Ahora calculamos c utilizando el caso base, t(1) = 0

ya tenemos la solucin: t(n) = n - 1

La ecuacin que nos ha quedado es de grado 1 por lo
que la complejidad es del orden exacto de n -> (n)
Por ejemplo para calcular el factorial de 3 necesitaremos
t(3) productos lo que es igual a

Como vemos son 2 productos como nos ha devuelto

la ecuacin.
Grafo de una relacin
51

Un grafo

es un par ordenado

, donde:

es un conjunto de vrtices o nodos, y

es un conjunto de aristas o arcos, que relacionan estos nodos.

Normalmente suele ser finito. Muchos resultados importantes sobre grafos

no son aplicables para grafos infinitos.
Se llama orden del grafo

a su nmero de vrtices,

El grado de un vrtice o nodo

como extremo.

es igual al nmero de arcos que lo tienen

Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde
el nodo inicial y el nodo final coinciden.
Dos o ms aristas son paralelas si relacionan el mismo par de vrtices.
Grafo no dirigido

Grafo no dirigido
Un grafo no dirigido o grafo propiamente dicho es un grafo
donde:

es un conjunto de pares no ordenados de

elementos de

Un par no ordenado es un conjunto de la forma

, de manera
que
. Para los grafos, estos conjuntos pertenecen al conjunto
potencia de , denotado
, y son de cardinalidad 2.
Grafo dirigido

52

Grafo dirigido
Artculo principal: Grafo dirigido
Un grafo dirigido o digrafo es un grafo

donde:

es
ordenados de elementos de

Dada una arista

un

conjunto

de pares

es su nodo inicial y

su nodo final.

Por definicin, los grafos dirigidos no contienen bucles.

Un grafo mixto es aquel que se define con la capacidad de poder contener
aristas dirigidas y no dirigidas. Tanto los grafos dirigidos como los no dirigidos
son casos particulares de este.
Variantes sobre las definiciones principales
Algunas aplicaciones requieren extensiones ms generales a las dos
propuestas clsicas de grafos. Aunque la definicin original los permite, segn
la aplicacin concreta pueden ser vlidos o no. A veces
o pueden ser
un multiconjunto, pudiendo haber ms de una arista entre cada par de vrtices.
La palabra grafo (a secas) puede permitir o no mltiples aristas entre cada par
de vrtices, dependiendo del autor de la referencia consultada. Si se quiere
remarcar la inexistencia de mltiples aristas entre cada par de vrtices (y en el
caso no dirigido, excluir bucles) el grafo puede llamarse simple. Por otra parte,
si se quiere asegurar la posibilidad de permitir mltiples aristas, el grafo puede
llamarse multigrafo (a veces se utiliza el trmino pseudografo para indicar que
se permiten tanto bucles como mltiples aristas entre cada par de vrtices).
Propiedades
Adyacencia: dos aristas son adyacentes si tienen un vrtice en comn, y dos
vrtices son adyacentes si una arista los une.
Incidencia: una arista es incidente a un vrtice si sta lo une a otro.
Ponderacin: corresponde a una funcin que a cada arista le asocia un valor
(costo, peso, longitud, etc.), para aumentar la expresividad del modelo. Esto se
usa mucho para problemas de optimizacin, como el del vendedor viajero o
del camino ms corto.
Etiquetado: distincin que se hace a los vrtices y/o aristas mediante una
marca que los hace unvocamente distinguibles del resto.

53

Ejemplos

La imagen es una representacin del siguiente grafo:

V:={1,2,3,4,5,6}

E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}

El hecho que el vrtice 1 sea adyacente con el vrtice 2 puede ser denotado como 1 ~ 2.

En la teora de las categoras una categora puede ser considerada como

unmultigrafo dirigido, con los objetos como vrtices y los morfismos como aristas
dirigidas.

En ciencias de la computacin los grafos dirigidos son usados para

representar mquinas de estado finito y algunas otras estructuras discretas.

Una relacin binaria R en un conjunto X es un grafo dirigido simple. Dos

vrtices a, b en X estn conectados por una arista dirigida ab si aRb.

Grafos particulares
Existen grafos que poseen propiedades destacables. Algunos ejemplos bsicos
son:
Grafo nulo: aquel que no tiene vrtices ni aristas. Ntese que algunas personas
exigen que el conjunto de vrtices no sea vaco en la definicin de grafo.
Grafo vaco: aquel que no tiene aristas.
Grafo trivial: aquel que tiene un vrtice y ninguna arista.
Grafo simple: aquel que no posee bucles ni aristas paralelas.
Consultar variantes en esta definicin.
54

Multigrafo (o pseudografo): G es multigrafo si y solo si no es simple.

Consultar variantes en esta definicin.
Grafo completo: grafo simple en el que cada par de vrtices estn unidos por
una arista, es decir, contiene todas las posibles aristas.
Grafo bipartito: sea
una particin del conjunto de vrtices , es aquel
donde cada arista tiene un vrtice en
y otro en .
Grafo bipartito completo: sea
una particin del conjunto de vrtices ,
es aquel donde cada vrtice en
es adyacente slo a cada vrtice en , y
viceversa.
Grafo plano: aquel que puede ser dibujado en el plano cartesiano sin cruce de
aristas.
rbol: grafo conexo sin ciclos.
Grafo rueda: grafo con n vrtices que se forma conectando un nico vrtice a
todos los vrtices de un ciclo-(n-1).
Grafo perfecto aquel que el nmero cromtico de cada subgrafo inducido es
igual al tamao del mayor clique de ese subgrafo.
Una generalizacin de los grafos son los llamados hipergrafos.

55