[Escribir el nombre de la compaa]

Dulce Alhel Caballero Daz

 Elementos de una relacin

CONCEPTO

Correspondencia es equivalente a Relacin. En nuestra lengua, decir en relacin

a, es equivalente a decir corresponde a.
Por ejemplo:
En una tienda comercial, cada producto se relaciona con su precio; o sea, a cada
artculo le corresponde un precio.
En la gua telefnica, cada cliente se relaciona con un nmero; o sea, a cada
nombre de la gua le corresponde un nmero.
PRODUCTO CARTESIANO
Tambin se le llama producto cartesiano de conjuntos
Y al producto cartesiano de dos conjuntos
Por ejemplo:
A y B da como resultado a otro conjunto identificado como (A*B), y estar formado
por un conjunto de parejas ordenada (X, Y)
Entonces X pertenece al primer conjunto y Y al segundo conjunto
Producto cartesiano de A*B:

RELACION BINARIA
Relacin binaria en A
Dados dos conjuntos A y B, una relacin R
binaria es cualquier subconjunto de AxB
Dados aA y bB, a est relacionado con b
por R si (a,b)R, aRb. Si a no est
relacionado con b, es decir, (a, b) R,
escribimos aRb.
Si B=A, R es una relacin binaria en A
MATRIZ DE RELACION
Es un grafico compuesto por filas y columnas parecido a una tabla

SE UTILIZA FRECUENTEMENTE PARA:

Cuando se requiere tomar decisiones ms objetivas.

Cuando se requiere tomar decisiones con base a criterios mltiples

GRAFO DE UNA RELACION

Se puede definir como la manera grafica o visual de representar una relacin

Ejemplos:

Figura 17: Relacin ``toma el curso de'' para los conjuntos

de personas y
de materias.
Los elementos de la figura 17 definen un nuevo conjunto de elementos, el
conjunto de pares de elementos que estn relacionados. As la relacin ``toma el
curso de'' es el siguiente:

CLASIFICACION POR TIPO DE RELACIONES

RELACION REFLEXIVA
Una relacin en A es
Reflexiva: Si todo elemento en A est relacionado con sigo mismo, con
smbolos:
( x A) (x,x) R
Ejemplo:
A= {1,2,3}
R={(1,1),(1,3),(2,2),(3,2),(3,3)}

Irreflexiva: Si ningn elemento en A est relacionado con sigo mismo,

con smbolos:
( x A) (x,x) R
Cuando tenemos la matriz de una relacin es muy fcil verificar si es
reflexiva
Ejemplos. Sea A = {a,b,c,d,e}
R1 = (a,a),(b,b),(a,c),(b,c),(c,a),(d,d)
R2 = (a,a),(a,d),(c,b),(d,a),(c,e),(e,e))
R3 = (a,a),(b,b),(c,c),(d,d),(e,e),(b,c),(b,a))
R4 = (a,a),(a,b),(b,a),(b,b),(b,c),(b,e),(c,e),(b,d),(d,a),(e,e)

Simtrica:
Una relacion binaria R sobre un conjunto A es simetrica si cada vez que a esta
relacionado con b se
sigue que b esta relacionado con a. Es decir,
R es simetrica a, b A (aRb = bRa)
Nota 6.4 La equivalencia
R es simetrica a, b A (aRb = bRa)
puede escribirse en la forma
R es simetrica a, b A [(aRb) bRa]
y si ahora negamos ambos miembros, tendremos
(R es simetrica) a, b A [(aRb) bRa]
es decir,
(R es simetrica) a, b A : [(aRb) bRa]
de aqu que
R es no simetrica a, b A : (aRb bR/ a)
O sea, si podemos encontrar dos elementos a y b en A tales que a este
relacionado con b y b no lo este
con a, entonces R es no simetrica.
Ejemplo : Sea A = {1, 2, 3, 4} y R = {(1, 1),(1, 2),(2, 1),(2, 3),(3, 2),(3, 3)} una
relacion definida en A.

Asimtrica
Una relacion binaria R denida en un conjunto A se dice que es asimetrica si cada
vez que aRb se
sigue que bR/ a. Es decir,
R es asimetrica a, b A (aRb = bR/ a)
Nota 6.6 La equivalencia
R es asimetrica a, b A (aRb = bR/ a)
puede escribirse en la forma
R es asimetrica a, b A (aR/ b bR/ a)
de donde negando ambos miembros, resulta
R no es asimetrica a, b A (aRb bRa)
Ejemplo 6.12 Sea A = {1, 2, 3, 4} y R = {(1, 2),(1, 4),(2, 3),(2, 4),(3, 1),(4, 3)} una
relacion definida
en A..
Solucin
R es, en efecto, asimetrica ya que para cada par (a, b) que pertenece a R, el par
(b, a) no pertenece

RELACION TRANSITIVA
Una relacin binaria R de un conjunto A es transitiva cuando se cumple la
siguiente ley:
Siempre que un elemento se relaciona con otro y este ultimo con un tercero
entonces el primero se relaciona con el tercero
EJEMPLO:
A

Si A es mayor que B, y B es mayor que C entonces B es mayor que C

RRELACIONES DE EQUIVALENCIA
Definicin: Una relacin R en un conjunto A es de equivalencia si
cumple las propiedades reflexiva, simtrica y transitiva.
Ejemplo:
1. Para un conjunto cualquiera
equivalencia.
2. Sea

y defina la relacin
,

es reflexiva. Si

Si

, entonces

luego

es transitiva.

es claramente una relacin de

por

si y slo si

, entonces

, luego
, es decir,

. Como
es simtrica.
,

3. Sea

una funcin sobreyectiva y defina la relacin

sobre
as:
de equivalencia.

si y slo si

. Claramente

es una relacin

OTRO EJEMPLO:
Sea
un conjunto no vaco de mangos, y
un conjunto de barriles distintos,
tal que cada mango est en algn (nico!) barril de
, y todo barril de
es un
conjunto no vaco de mangos de
y :
1.

. Es claro que para todo tro de mangos

estn en el mismo barril.

2. Si est en el mismo barril que , entonces

que .

est en el mismo barril

3. Si est en el mismo barril que y est en el mismo barril que ,

entonces est en el mismo barril que .
Esto es, si definimos sobre
la relacin
si y slo si est en el mismo
barril que , entonces es reflexiva, simtrica y transitiva. En estas
condiciones, podemos pensar en un mango no como individuo particular, sino
como

, el barril al que pertenece. As, convertimos el conjunto

de mangos

en
, el conjunto de barriles. Los mangos ``pierden
sus diferencias'' dentro de cada barril, y se vuelven equivalentes.

OPERACIONES CON RELACIONES

Puesto que las relaciones binarias son conjuntos de pares ordenados, las
nociones de interseccin, diferencia simtrica, unin y diferencia de dos
relaciones, se obtienen de manera similar a las correspondientes para conjuntos.
Entonces primeramente es necesario recordar dichas nociones para conjuntos.
a) La unin de dos conjuntos A y B, denotada por A B, es el conjunto cuyos
elementos son exactamente los elementos de A B, de ambos.
Ejemplos:
1) Si A = {a, b}, B = {c, d}, entonces A B = {a, b,c, d}
2) Si A = {a, b}, B = {a, c}, entonces A B = {a, b, c}
3) Si A = {a,b}, B = {}, entonces A B = {a, b}
4) Si A = {a, b}, B = {c, {a, b}}, entonces A B = {a, b, c, {a, b}}
COMPLEMENTO DE R
Este tipo de operacin se utilizan en las computadoras digitales para simplificar la
operacin de sustraccin y para manipulaciones lgicas.
Existen 2 tipos de complementos :

El complemento de r.

El complemento de r-1.

El complemento de r de un nmero positivo N en base r con una parte entera de n

dgitos, ser definido como el complemento de r a n y se define como rn-N;
El complemento de 10 de un nmero decimal se puede formar dejando todos los
ceros significativos sin cambios se resta el primer dgito del cero menos
significativo de 10 y, entonces se restan todos los pocos dgitos menos
significativos menores de 9.
Ejemplo:
Obtener el complemento de 10 de (52520)10

105-52520=47480
El complemento de 2 puede formarse dejando todos los ceros menos significativos
y el primer dgito diferente de 0 sin cambio, entonces se remplazan los 1 por 0 y
los 0 por 1 en los otros dgitos mas significativos.
INTERSECCIN
En teora de conjuntos, la interseccin de dos (o ms) conjuntos es una
operacin que resulta en otro conjunto que contiene los elementos comunes a los
conjuntos de partida. Por ejemplo, dado el conjunto de los nmeros paresP y el
conjunto de los cuadradosC de nmeros naturales, su interseccin es el conjunto
de los cuadrados pares D :
P = {2, 4, 6, 8, 10,...}
C = {1, 4, 9, 16, 25, ...}
D = {4, 16, 36, 64, ...}
La interseccin de conjuntos se denota por el smbolo por lo que D = P C.

Definicin
Interseccin de dos conjuntosA y B.
Dados dos conjuntos A y B, la interseccin de ambos, A B es un conjunto que
contiene los elementos que pertenecen a ambos conjuntos:
La interseccin de dos conjuntos A y B es otro conjunto A B cuyos elementos
son los elementos comunes a A y B :

Ejemplo.

Sean A = {5, , , c} y B = {, c, 0, , 5, R}. Entonces la interseccin es A

B = {5, c}.

Sean los conjuntos de nmeros naturales C = {n: n es una potencia de 2} y

D = {n: n es un cubo}. Su interseccin es C D = {n: n es una potencia de 2
y un cubo} = {n: n es una potencia de 2 cuyo exponente es mltiplo de 3} =
{8, 64, 512, ...}.

Sean los conjuntos de nmeros pares e impares. Su interseccin es el

conjunto vaco, ya que no existe ningn nmero natural que sea par e
impar a la vez.

Cuando la interseccin de dos conjuntos es vaca, se dice que son disjuntos:

Dos conjuntos A y B se dicen disjuntos si su interseccin es el conjunto vaco:

UNIN
En la teora de conjuntos, la unin de dos (o ms) conjuntos es una operacin que
resulta en otro conjunto cuyos elementos son los elementos de los conjuntos
iniciales. Por ejemplo, el conjunto de los nmeros naturales es la unin del
conjunto de los nmeros pares positivos P y el conjunto de los nmeroimpares
positivos I:
P = {2, 4, 6, ...}
I = {1, 3, 5, ...}
N = {1, 2, 3, 4, 5, 6, ...}
La unin de conjuntos se denota por el smbolo , de modo que por ejemplo, N =
PI.
Dados dos conjuntos A y B, la unin de ambos, AB, es el conjunto que contiene
todos los elementos de A y de B:
La unin de dos conjuntos A y B es otro conjunto AB cuyos elementos son
todos los elementos de A o de B:

Ejemplo.

Sean A = {a, , 5} y B = {8, #}. La unin es AB = {5, #, a, , 8}.

Considerando los conjuntos de nmeros naturalesC = {n: n es un nmero

primo} y D = {m: m es un nmero compuesto}. La unin es entonces (CD)
= {n: n es primo o compuesto} = {2, 3, 4, 5, ...}, ya que el nico nmero
natural que no es ni primo ni compuesto es (por definicin) 1.

En la unin de conjuntos, los elementos repetidos slo aparecen una vez, pues los
conjuntos no pueden tener elementos repetidos: [n 1]

La unin de {1, 2, 3, 4, 5} y {6, 2, 9, 1} es {1, 2, 3, 4, 5, 6, 9}.

Inversa
En matemtica, el inverso multiplicativo, recproco o inversa de un nmero x,
es el nmero, denotado como 1x x1, que multiplicado por x da 1 como
resultado.El0 no tiene inverso multiplicativo. Todo nmero complejo, salvo el 0,
tiene un inverso que es un nmero complejo. El inverso de un nmero real
tambin es real, y el de un nmero racional tambin es racional.
Para obtener una aproximacin del inverso multiplicativo de x, empleando
nicamente la multiplicacin y la resta, se puede empezar con un nmero y (una
primera aproximacin), y remplazary por 2y-xy2. Una vez que la variacin entre
dos iteraciones sucesivas de y se haga lo suficientemente pequea (y se
mantenga pequea), y ser una aproximacin del inverso de x.
Es decir:

Si tenemos Y/X su inverso multiplicativo es X/Y; o bien

Si tenemos X su inverso multiplicativo es 1/X.

COMPOSICIN DE RELACIONES

Sea una relacin de A en B y una relacin de B en C. La composicin de

y es una relacin consistente de los pares ordenados (a, c), donde a A
y c C y para los cuales existe un b B tal que (a, b)
y (b, c)
, es decir
a b y b c.
La composicin se denota por
, si y son relaciones.
Ejemplos:
a) Sea A={1, 2, 3}, B={1, 2, 3, 4} y C={0, 1, 2} y sean
={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}
={(1 ,0),(2, 0), (3, 1), (3, 2), (4, 1)}
Entonces
={(1, 0), (3, 0), (1, 1), (3, 1), (2, 1), (2, 2)}
b) Sean A={1, 2, 3}, B={2, 4, 6, 8} C={s, t, u} y sean
={(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}
={(2, u), (4, s), (4, t), (6, t), (8, u)}
Entonces
={(1, u), (1, t), (2, s), (2, t), (3, s), (3, t), (3, u)}
c) Sean A={a, b, c, d}, B={s, t, u, v} C={1, 2, 3, 4, 5} y sean
={(a, s), (a, t), (c, v), (d, u)}
={(s, 2), (t, 1), (t, 4), (u, 3)}
Entonces
={(a, 1), (a, 2), (a, 4), (d, 3)}
y grficamente se puede representar como


PROPIEDADES DE LAS RELACIONES
Propiedad reflexiva:
Una relacin es reflexiva si se observa que para todos los valores a:
un R
En otras palabras, todos los valores estn relacionadas entre s.
La relacin de igualdad "=" es reflexiva. Obsrvese que para, por ejemplo, todos
los nmeros a (el dominio es R):
a=a
por lo que "=" es reflexiva.
En una relacin reflexiva, que tienen flechas para todos los valores en el dominio
que apuntan de nuevo a s.
Propiedad transitiva:
Una relacin es transitiva si para todos los valores a, b, c:
a R b y b R c implica una c R
La relacin mayor que ">" es transitiva. Si x> y, y y z>, entonces es cierto que
x>z.Esto se hace ms claro cuando escribe lo que est sucediendo en palabras. x
es mayor que y e y es mayor que z. Por lo tanto x es mayor que dos y, z.
La relacin es-no-igual "" no es transitiva. Si x y z e y entonces podramos
tener x = z o x z (por ejemplo 1 2 y 2 3 y 1 3 pero 0 1 y 1 0 y 0 = 0).
.
Propiedad antisimtrica:
Una relacin es antisimtrica si se observa que para todos los valores a y b:
a R b y b R a implica que a = b
Anti-simtrica no es lo mismo que "no simtrico". Si x y, e y x, entonces y debe
ser igual a x.
Tricotoma de propiedad:
Una relacin satisface tricotoma si se observa que para todos los valores a y b
que es cierto que: a R b o b R a
La relacin es-mayor o igual satisface, ya que, dado dos nmeros reales a y b, es
cierto que si a b o b a (tanto si a = b).

Aplicacin de las relaciones.

Una relacin , de los conjuntos
cartesiano

es un subconjunto del producto

Una Relacin binaria es una relacin entre dos conjuntos.

El concepto de relacin implica la idea de enumeracin, de algunos de los
elementos, de los conjuntos que forman tuplas.

Un caso particular es cuando todos los conjuntos de la relacin son iguales:

en este caso se representa
como
pudindose decir que la relacin pertenece a A a la n.

Empleo de funciones
Sean A y B dos conjuntos no vacios. Una funcin de A en B, y que notaremos f: A
! B, es una
Relacin de A B en la que para cada a 2 A, existe un nico elemento b 2 B tal que
(a, b) 2 f. Si
(A, b) 2 f, escribiremos f(a) = b y diremos que b es la imagen de a mediante f.
Es decir, una funcin f de A en B es una relacin de A B con las caractersticas
especiales siguientes:

1. Cada elemento de A se presenta como la primera componente de un par

ordenado de la relacin f.
Obsrvese que esto significa que Dom (f) = A, luego
8a 2 A, 9b 2 B: f(a) = b
O sea, para cada elemento a de A ha de encontrarse un elemento b en B tal que
f(a) = b.
2. Si f(a) = b1 y f(a) = b2, entonces b1 = b2.
Las dos condiciones anteriores nos ofrecen la siguiente caracterizacin de una
funcin.
F: A ! B es funcin ()
8>><
>>:
1. 8a 2 A, 9b 2 B: f(a) = b
Y
2. 8a 2 A [f(a) = b1 ^ f(a) = b2 =) b1 = b2]
Nota 9.1 Si en la caracterizacin anterior negamos ambos miembros, la contra
reciproca nos ofrece
Una forma sencilla de comprobar que f no es una funcin.
F: A ! B no es funcin ()
8>><
>>:
1. 9a 2 A: f(a) 6= b, 8b 2 B
o
2. 9a 2 A: (f(a) = b1 ^ f(a) = b2) ^ b1 6= b2
Es decir, una relacin f de A B puede dejar de ser funcin porque exista algn
elemento en A que
No sea imagen, mediante f, de ninguno de B, o bien porque exista algn elemento
en A que tenga dos
Imgenes.
Las funciones reciben tambin el nombre de aplicaciones o transformaciones, ya
que desde un punto
De vista geomtrica, podemos considerarlas como reglas que asignan a cada
elemento a 2 A, el nico
Elemento f(a) 2 B.
Si tenemos dos funciones: f(x) y g(x), de modo que el dominio de la 2 est
incluido en el recorrido de la 1, se puede definir una nueva funcin que

asocie a cada elemento del dominio de f(x) el valor de g[f(x)].

(g o f) (x) = g [f(x)] = g (2x) = 3 (2x) +1 = 6x + 1

(g o f) (1) = 6 1 + 1 = 7

EJEMPLOS DE FUNCIONES
El concepto de funcin corresponde a una idea intuitiva presente en el idioma de
la calle: los impuestos que pagan las personas estn (o deberan estar) en funcin
de los ingresos, los resultados obtenidos en los estudios son funcin del tiempo
dedicado a estudiar, el consumo de gasolina en un viaje es funcin de ("depende
de") los kilmetros recorridos, la estatura es funcin de la edad, el nmero de
escaos obtenidos por un partido poltico despus de unas elecciones es funcin
del nmero de votos obtenidos (ley de Hnt), el rea de un cuadrado es funcin
del lado, el volumen de agua que contiene una piscina es funcin de sus medidas,
la proporcin de Carbono 14 presente en una momia egipcia es funcin del tiempo
transcurrido desde la muerte, etc.
COMPOSICIN DE FUNCIONES:
Una funcin "f (x)" lo que hace es transformar nmeros "x" en nuevos nmeros
que designamos por "f(x)". A veces sobre un elemento x acta primero una funcin
"f" y, despus, sobre su imagen vuelve a actuar otra funcin "g". Por ejemplo si f(x)
= x2 y g(x) = 2x+1, veamos que sucede con le nmero 2 al actuar primero f y luego
g sobre la imagen obtenida. f(2)=4 y g(4) = 9. Resumiendo hemos pasado del 2 al
nmero 9. Esta nueva funcin que se obtiene haciendo actuar primero f y luego g
se llama "f compuesta con g" y se escribe: "gof". Lo que hemos hecho con el
nmero 2 se suele escribir de la siguiente forma:
(gof)(2) = g(f(2)) = g(4) = 9.
Para un nmero "x" cualquiera tenemos: (gof)(x) = g(f(x)) = g(x 2) = 2x2+1.

TIPOS DE FUNCIONES:
En matemticas, una funcin, aplicacin o mapeo f es una relacin entre un
conjunto dado X (el dominio) y otro conjunto de elementos Y (el con dominio) de
forma que a cada elemento x del dominio le corresponde un nico elemento del
con dominio f(x).
Funciones Algebraicas
En las funciones algebraicas las operaciones que hay que efectuar con la variable
independiente son: la adicin, sustraccin, multiplicacin, divisin, potenciacin y
radicacin.
Funciones explcitas
Si se pueden obtener las imgenes de x por simple sustitucin.

Funciones Implcitas
Si no se pueden obtener las imgenes de x por simple sustitucin, sino que es
preciso efectuar operaciones.

Funciones Poli nmicas

Son las funciones que vienen definidas por un polinomio.

Funciones Constantes
El criterio viene dado por un nmero real.

Funciones Poli nmica De Primer Grado

Funcin Cuadrtica

Son funciones poli nmicas es de segundo grado, siendo su grfica una parbola.
Funciones Racionales

El criterio viene dado por un cociente entre polinomio

FUNCIONES INVERTIBLES
En matemticas, una funcin, aplicacin o mapeo f es una relacin entre un
conjunto dado X (el dominio) y otro conjunto de elementos Y (el con dominio) de
forma que a cada elemento x del dominio le corresponde un nico elemento del
con dominio f(x).
Funciones Algebraicas
En las funciones algebraicas las operaciones que hay que efectuar con la variable
independiente son: la adicin, sustraccin, multiplicacin, divisin, potenciacin y
radicacin.
Funciones explcitas
Si se pueden obtener las imgenes de x por simple sustitucin.

Funciones Implcitas
Si no se pueden obtener las imgenes de x por simple sustitucin, sino que es
preciso efectuar operaciones.

Funciones Polinmicas
Son las funciones que vienen definidas por un polinomio.

Funciones Constantes
El criterio viene dado por un nmero real.

Funciones Poli nmica De Primer Grado

Funcin Cuadrtica

Son funciones polinmicas es de segundo grado, siendo su grfica una parbola.

Funciones Racionales
El criterio viene dado por un cociente entre polinomio
FUNCIONES INVERTIBLES

De manera burda se puede decir que si una funcin tiene inversa o es invertible
entonces la
funcin inversa anula la accin de la funcin.
para que la funcin sea inversa debe cumplir con la condicin de que sea uno a
uno.
lo anterior nos quiere indicar que si es uno a uno entonces debe cumplir para cada
elemento del
dominio le corresponde un elemento del contra dominio y viceversa, es decir para
cada elemento
del contra dominio le corresponde un elemento del dominio .
APLICACION DE LAS FUNCIONES

Las Matematicas Discretas es quiz una de las ramas asociadas con la computacion y
la rama de las Matematicas mas reciente. De hecho, los principios matematicos de la
computacion estn en esta disciplina tienen como base el Algebra Clsica, y el
Algebra Superior, Estadistica y Probabilidad.
Esta ciencia tiene como aplicaciones, el desarrollo de los circuitos electrnicos
(procesadores, tarjetas madre) desde el punto de vista lgico (usando el Algebra
Booleana), el principio matematico del Diseo y Arquitectura de las Bases de
Datos(del cual Codd fue uno de los grandes exponentes en 1970), la Teora de la
Computacion (en donde se estudian los Autmatas Finitos, Maquinas de Turing y el
tema mas reciente: la Tesis de Church) y los principios bsicos de la Ingeniera de
Computacion.

EMPLEO DE GRAFOS

En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo,

imagen) o grfica es el principal objeto de estudio de la teora de grafos.
PARTES DE UNGRAFO

Informalmente, un grafo es un conjunto de objetos

llamados vrtices o nodos unidos por enlaces llamados aristas o arcos, que
permiten representar relaciones binarias entre elementos de un conjunto.
Tpicamente, un grafo se representa grficamente como un conjunto de puntos
(vrtices o nodos) unidos por lneas (aristas).

REPRESENTACIN MATRICIAL DE GRAFOS

Matriz de adyacencia.
Es una matriz cuadrada en la cual los nodos del grafo se indican como renglones y
como columnas. El orden de los nodos es el mismo que guardan los renglones y
las columnas de la matriz. Se coloca 1 como elemento de la matriz cuando existe
una relacin entre uno y otro vertice, o bien un 0 cuando no exista relacin alguna.
Nota: en una matriz de adyacencia no es posible representar lados paralelo.
Matriz de incidencia.
En esta matriz se colocan los nodos del grafo como renglones y las aristas como
columnas. En esta matriz si es posible representar lados paralelos. Al sumar los
elementos de cada una de los renglones se obtiene la valencia de los nodos, al
sumar las columnas es posible distinguir cuando se trata de un lazo ya que su
suma es 1.
CAMINOS Y CIRCUITOS

Camino.
Es una sucesin de lados que van de un nodo x a un nodo w (dichos lados se
pueden repetir).
Circuito o ciclo.
Es un camino del nodo w al nodo w, esto es, un camino que regresa al mismo

nodo de donde sali.

Circuito simple de longitud n.

Es aquel camino del nodo w al nodo w que solamente tiene un ciclo en la ruta que
sigue.
Camino simple de longitud n.
Es una sucesin de lados que van de un nodo x a un nodo w, en donde los lados
que componen dicho camino son distintos e iguales a n. Esto significa que no se
puede pasar dos veces por una misma arista.
Camino de Euler.
Es aquel camino que recorre todos los nodos pasando por todas las aristas
solamente una vez. Una caracterstica importante de los grafos que tienen camino
de Euler es que siempre comienzan y terminan en nodos que terminan en valencia
impar.
Circuito de Euler.
Es aquel ciclo que recorre todos los nodos pasando por todos las aristas
solamente una vez.
Un grafo tiene un Circuito de Euler si y solo si es conexo y todos sus nodos tienen
valencia par.
Algoritmo de Fleury.
Nos permite determinar un circuito de Euler:
1)Verificar que el grafo sea conexo y que todos los nodos tengan valencia par. Si
no cumple el grafo no tiene circuito de Euler y finalizar.
2)Si cumple con la condicin anterior, seleccionar un nodo arbitrario para iniciar el
recorrido.
3)Escoger una arista a partir del nodo actual. Esa arista seleccionada no debe de
ser lado puente, a menos que no exista otra opcin.
4)Desconectar los nodos que estn unidos por la arista seleccionada.
5)Si todos los nodos del grafo ya estan desconectados, ya se tiene un circuito de
Euler y finalizar. De otra manera continuar con el paso 3.
ISOMORFISMO
El descubrimiento de Platn de que la forma es lo que importa se recoge en
matemticas con el concepto de isomorfismo. Una aplicacin f:XY entre dos

conjuntos dotados del mismo tipo de estructura es un isomorfismo cuando cada

elemento de Y proviene de un nico elemento de X y f transforma las operaciones,
relaciones, etc. que hay en X en las que hay en Y. Cuando entre dos estructuras hay
un isomorfismo, ambas son indistinguibles, tienen las mismas propiedades, y
cualquier enunciado es simultneamente cierto o falso. Por eso en matemticas las
estructuras deben clasificarse salvoisomorfismos.

Ejemplos de isomorfismos
Por ejemplo, si X es un nmero real positivo con el producto y Y es un nmero real
con la suma, el logaritmo ln: XY es un isomorfismo,
porque
y cada nmero real es el logaritmo de un nico
nmero real positivo. Esto significa que cada enunciado sobre el producto de
nmeros reales positivos tiene (sin ms que sustituir cada nmero por su
logaritmo) un enunciado equivalente en trminos de la suma de nmeros reales,
que suele ser ms simple.
Otro ejemplo: si en el espacio E elegimos una unidad de longitud y tres ejes
mutuamente perpendiculares que concurren en un punto, entonces a cada punto
del espacio podemos asociarles sus tres coordenadas cartesianas, obteniendo as
una aplicacin f:ER en el conjunto de las sucesiones de tres nmeros reales.
Cuando en E consideramos la distancia que define la unidad de longitud fijada y
en R consideramos la distancia que define la raz cuadrada de la suma de los
cuadrados de las diferencias, f es un isomorfismo. Este descubrimiento
fundamental de Descartes permite enunciar cualquier problema de la geometra
del espacio en trminos de sucesiones de tres nmeros reales, y este mtodo de
abordar los problemas geomtricos es el ncleo de la llamada geometra analtica.

GRAFO PLANO
En teora de grafos, un grafo plano (o planar segn referencias) es un grafo que
puede ser dibujado en el plano sin que ninguna arista se interseque (una definicin
ms formal puede ser que este grafo pueda ser "incrustado" en un plano). Un
grafo no es plano si no puede ser dibujado sobre un plano sin que sus aristas se
intersequen. Los grafos K5 y el K3,3 son los grafos no planos minimales, lo cual nos
permitirn caracterizar el resto de los grafos no planos.

USO DE ARBOLES
Arboles:
Un rbol es un grafo simple en el cual existe un nico camino entre cada par de
vrtices.
Sea G =(V,A) un grafo no dirigido. G se denomina ARBOL, si es conexo y no
contiene ciclos.
Un rbol con raz, es un rbol que tiene un vrtice particular designado como raz.
Ejemplo de rbol:
En la figura anterior G1 corresponde a lo que llamamos mediante la definicin
ARBOL, en el caso de G2, ste no corresponde debido a que contiene un ciclo.
Podemos destacar que cuando un grafo G es un Arbol, se reemplaza G, por R.
En la figura mostrada G1 es un subgrafo de G2, en el que G1 contiene los vrtices
de G2 y es rbol, adems lo llamaremos rbol abarcador, por que proporciona
conexin minimal para el grafo y un esqueleto minimal que une los vrtices.
Ejemplo de rbol raz:
Para apoyar el entendimiento de las definiciones entregadas agregaremos algunos
teoremas.
Teorema:
Si a, b son vrtices de un rbol R (V,A), entonces hay un camino nico que
conecta estos vrtices.
Teorema:
En cualquier rbol R= (V,A), |V| = |A| + 1.
Teorema:
Para cualquier rbol R = (V,A), si |A| >= 2, entonces R tiene al menos dos vrtices
colgantes.
Teorema:
Sea G un grafo simple con v vrtices, entonces se puede decir:

G es un rbol.

G es conexo y no contiene circuitos.

G es conexo y tiene (n-1) lados.

G no contiene circuitos y tiene (n-1) lados.

Arboles con Raz
Sea G un grafo dirigido, se denomina rbol dirigido si el grafo no dirigido
asociado con G es un rbol. Cuando G es un rbol dirigido, se denomina rbol
con raz si hay un nico vrtice r, la raz.
Sea G un grafo con raz V0. Supngase que x, y, z son vrtices en G y que (v0,
v1, ..., vn), es un camino en G.

V(n-1) es el padre de v(n).

V0, v1, ..., v(n-1) son los antepasados de v(n).

V(n) es el hijo de v(n-1).

Si x es un antepasado de y, entonces y es un descendiente de x.

Si x e y son hijos de z entonces x e y son hermanos.

Si x no tiene hijos entonces x es un vrtice terminal.

Si x no es un vrtice terminal, entonces x es un vrtice interno.

El subgrafo de G que consiste en x y todos sus descendientes, con x como raz,

es el subarbol de G que tiene a x como raz.
Sea R= (V,A) un rbol con raz r. Si R no tiene otros vrtices, entonces la raz
misma constituye el recorrido en orden previo, simtrico y posterior de R. Si |V| >
1, sean R1, R2, R3, ...., Rk los subarboles de R segn se va de izquierda a
derecha.
El recorrido de orden previo de R comienza en r y despus pasa por los
vrtices de R1 en orden previo, a continuacin por los vrtices de R2 en orden
previo, y as sucesivamente hasta que se pasa por los vrtices de Rk en orden
previo.

 El recorrido en orden simtrico de R primero, se pasa por los vrtices de R1 en

orden simtrico, despus por la raz r y a continuacin por los vrtices de los
subarboles R2, R3,...., Rk en orden simtrico.
El recorrido en orden posterior de R pasa por los vrtices de los subarboles R1,
R2,...., Rk en orden posterior y a continuacin por la raz.
Un rbol binario es uno con raz en el cual cada vrtice tiene un hijo a la derecha o
un hijo a la izquierda, o viceversa, o bien ningn hijo. Un rbol binario completo es
uno en el cual cada vrtice tiene un hijo a la derecha y uno a la izquierda, o bien
ningn hijo.
Teorema:
Si T es un rbol binario completo con i vrtices internos, entonces T tiene i + 1
vrtices terminales y 2i + 1 vrtices en total.
Un rbol binario de bsqueda es un rbol binario T donde se han asociado datos a
los vrtices. Los datos se disponen de manera que para cualquier vrtice v en T,
cada dato en el subarbol a la izquierda de v es menor que el dato correspondiente
a v.
Arboles generadores:
Un rbol T es un rbol generador de un grafo G si T es un subgrafo de G que
contiene todos los vrtices de G.
A esta caracterstica general es posible agregar ciertos teoremas de modo de
detallar an ms el alcance de la definicin. Es as como el Grafo que contiene a T
debe ser conexo, pues de lo contrario no existira un subgrafo que contuviera
todos sus vrtices.
En general un grafo G tendr varios rboles generadores ,como el del ejemplo 1 el
cual tiene a lo menos dos arboles generadores T1 yT2.

Una coleccin de rboles disjuntos es llamado bosque.