[pic]

INDICE

Introduccin ------------------------------------------------------------- 3

Definicin de relaciones ----------------------------------------------- 4

Notacin (simblica) --------------------------------------------------- 7

Relaciones Binarias --------------------------------------------------- 9

Matriz de pertenencia ------------------------------------------------- 10

Relacin de pertenencia --------------------------------------------- 14

Relacin reflexiva ------------------------------------------------------- 15

Relacin simtrica ------------------------------------------------------ 16

Relacin transitiva ------------------------------------------------------- 17

Grafo dirigido -------------------------------------------------------------- 18

Conclusin ----------------------------------------------------------------- 19

Bibliografa ---------------------------------------------------------------- 20

Introduccin

La informacin que se encuentra en esta investigacin sobre relaciones trata sobre cmo se pueden relacionar dos conjuntos ya sea A y B o como las queramos llamar adems que el grafo dirigido nos servir para ver cmo se va a ir resolviendo un problema dado.

Una relacin

Una relacin es un conjunto de parejas ordenadas. Si A y B son dos conjuntos cualesquiera, R es una relacin de A en B s y slo s R es subconjunto de A x B. Si R A x A se dice que R es una relacin de A en A o simplemente una relacin en A. 0 y A x B son relaciones de A en B, puesto que 0 A x B y A x B A x B. Si (x, y) R se escribe x R y y se lee "x est en relacin con y".

Ejemplo 1:

Sean: A = {1, 3, 5}, B = {2, 4, 6, 8}. R1 = {(3, 2), (1, 8), (5, 4)} es una relacin de A en B. R2 = {(3, 8)} es una relacin de A en B. R3 = {(x, y) / x A y B x > y} = {(3, 2),(5, 2),(5, 4)}. R4 = {(x, y) / x A y B x + y 7} = {(1, 2), (1, 4), (1, 6), (3, 2), (3, 4), (5, 2)}. R5 = {(1, 5), (3, 3)} es una relacin de A en A. R6 = {(2, 3), (6, 1)} es una relacin de B en A.

R7 = {(3, 6), (1, 4),(5 ,8), (2, 1)} no es una relacin de A en B y tampoco de B en A. R8 = {(x, y) / x A , y B, x - y = 0} = 0.

Dominio de una Relacin.

Sea R una relacin. Se llama Dominio de R y se denota por D(R) al conjunto formado por todas las primeras componentes de las parejas ordenadas que pertenecen a R. Por lo tanto:

D(R) = { x / ($ y) (x, y) R}

En consecuencia, x D(R) ($ y)((x, y) R). x D(R) (" y)((x, y) R).

Rango de una Relacin.

Sea R una relacin. Se llama Rango de R y se denota por g(R) al conjunto formado por todas las segundas componentes de las parejas ordenadas que pertenecen a R. Por lo tanto: g (R) = { y / ($ x) (x, y) R} En consecuencia, y g (R) ($ x)((x, y) R). y g (R) (" x)((x, y) R).

Ejemplo 2. En las relaciones del ejemplo 1 se tiene: D(R1) = {3, 1, 5} g (R1) = {2, 8, 4} D(R2) = {3} g (R2) = {8}

D(R3) = {3, 5} g (R3) = {2, 4} D(R4) = {3, 1, 5} g (R4) = {2, 4, 6} D(R5) = {3, 1} g (R5) = {5, 3} D(R6) = {2, 6} g (R6) = {3, 1}.

Ejemplo 3. Sea S = {(x, y) / x Ry Ry < x}. El siguiente grfico es una representacin cartesiana de S. La recta y = x no hace parte de S. [pic]

Ejemplo 4. Sea A = {1, 2, 3}, B = {1, 2, 3}. Sea R la relacin: "x es menor que y"

Entonces, R = {(1, 2), (2, 3), (1, 3)}. D(R) = {1, 2}, g (R) = {2, 3}.

[pic]

Teorema. Sea R una relacin, A y B dos conjuntos. R es una relacin de A en B s y slo s D(R) A y g (R) B.

Notacin simblica

Existen muchas formas para representar los esquemas de permisos Unix. La forma ms comn es la notacin simblica. Este esquema permite representar permisos en una serie de 10 caracteres. |Primer carcter ||archivo regular | |

|d |l

|directorio |enlace simblico

| | | | | | |

|Tres grupos de tres caracteres |primero |segundo |tercero |La tupla |primero |segundo |tercero |r: leble, -: no leble |w: modificable, -: protegido contra escritura |x: ejecutable, -: no ejecutable |lo que el propietario (o dueo) puede hacer |lo que los miembros del grupo de usuarios pueden hacer |lo que el resto de los usuarios pueden hacer

| | |

El primer carcter indica el tipo de archivo: '-' denota un archivo regular 'd' denota un directorio 'b' denota un archivo especial de bloques 'c' denota un archivo especial de caracteres 'l' denota un enlace simblico 'p' denota un tubo nombrado 's' denota un socket de dominio Cada clase de permisos se representa por tres caracteres. El primer conjunto de caracteres representa la clase de usuario. El segundo conjunto representa la clase de grupo. El tercer y ltimo conjunto de tres caracteres representa la clase del resto. Cada uno de los tres caracteres representa los permisos de lectura, escritura y ejecucin respectivamente: 'r' si el bit de lectura est asignado, '-' en caso contrario. 'w' si el bit de escritura est asignado, '-' en caso contrario. 'x' si el bit de ejecucin est asignado, '-' en caso contrario.

Estos son algunos ejemplos de notacin simblica: 1. "-rwxr-xr-x" para un archivo regular que tiene todos los permisos asignados para su propietario y solo permisos de lectura y ejecucin para el grupo de usuarios del archivo y el resto de los usuarios. Ningn usuario, salvo el propietario, puede modificar los contenidos del archivo. 2. "crw-rw-r--" para un archivo especial de caracteres que tiene permisos de lectura y escritura para su propietario y grupo de usuarios y solo permiso de lectura para el resto de los usuarios. "dr-x------" para un directorio que tiene permisos de lectura y ejecucin nicamente para su propietario.

Relacin binaria

En matemticas, a relacin binaria (o a de dos das o relacin de 2 lugares) es una asociacin arbitraria de elementos dentro de a sistema o con los elementos de otro sistema. Un ejemplo es se divide relacin entre el sistema de nmeros primeros P y el sistema de nmeros enteros Z, en que cada prima p se asocia a cada nmero entero z sa es a mltiple de p, solamente ningn otro. En esta relacin, por ejemplo, la prima 2 se asocia a los nmeros que incluyen -4, 0, 6, 10, pero no 1 o 9; y la prima 3 se asocia a los nmeros que incluyen 0, 6, y 9, solamente no 4 o 13. Las relaciones binarias se utilizan en muchos ramas de las matemticas para modelar conceptos como es mayor que", "es igual a, y se divide adentro aritmtica, "es congruente a adentro geometra, est adyacente a adentro teora de grfico, y muchos ms. El concepto todoimportante de funcin se define como clase especial de relacin binaria. Las relaciones binarias son tambin muy usadas adentro informtica, especialmente dentro de modelo emparentado para bases de datos. Una relacin binaria es el caso especial n = 2 de n- ary relacin, es decir, un sistema de n- tuples donde jth componente de cada uno n- el tuple se toma de jth dominio Xj de la relacin. n- la relacin ary entre elementos de un solo sistema reputa homogneo. En algunos sistemas de teora determinada axiomtica, las relaciones se amplan a clases, que son generalizaciones de sistemas. Esta extensin es necesaria para, entre otras cosas, modelar los conceptos de es un elemento de o es un subconjunto de adentro fije la teora, sin el funcionamiento en inconsistencias lgicas por ejemplo Paradoja de Russell.

Matriz de pertenencias

En la matriz de pertenencias se define la pertenencia a uno u otro grupo (normalmente normalizado en el intervalo [0, 1]). Esta matriz define la eficiencia del algoritmo de clustering, pues ser la base para actualizar los valores de los centroides. Si se define la matriz de pertenencias por

[pic] Continuando con el algoritmo ejemplo de Matlab, si se considera como criterio la mnima distancia para dos centroides y se aplica el mismo en la matriz de distancias d previamente calculada, se puede implementar el siguiente programa

|% Se actualiza la matriz de pertenencias | |% Ejemplo slo para dos grupos | |for j=1:N % Nmero de muestras | |% Se aplica el criterio de mnima distancia | |if d(1,j)>d(2,j) | |u(1,j)=0; u(2,j)=1; | |else | |u(1,j)=1; u(2,j)=0; | |end | |end |

Lo cual devuelve, para una matriz de distancias >> d d= 0 0.5000 1.0000 1.1180 2.0616 3.0414 4.0000 4.0311 4.1231 4.1231 4.0311 4.0000 3.0414 2.0616 1.1180 1.0000 0.5000 0

Una matriz de pertenencias >> u u= 1 1 1 1 1 0 0 0 0 Grupo 1 0 0 0 0 0 1 1 1 1 Grupo 2

El prximo paso del algoritmo es recalcular el valor de la matriz que representa los centros de grupo v(11). Para ello se calcula la media del valor de las muestras que pertenecen a cada grupo y esta media genera la nueva matriz de centroides, como realiza la siguiente seccin de programa

|%Se calcula la media de los valores de las muestras | |suma=zeros(n,c); | |cantidad=zeros(c,1); | |% Cantidad de valores | |for c=1:2 | |for j=1:N |

|if u(c,j) == 1 | |cantidad(c,1)=cantidad(c,1)+1; | |suma(:,c)=suma(:,c)+z(:,j); | |end | |end | |media(:,c)=suma(:,c)/cantidad(c,1); | |end | |% Se actualiza el vector de centroides | |v=media; |

De lo cual resulta el nuevo valor de la matriz de los centroides, que aplicado sobre las condiciones iniciales es

>> v v= 1.6000 4.7500 2.0000 2.0000

Considerando lo anterior, el algoritmo de k-means clustering puede resumirse por los siguientes pasos:

1.- Condiciones iniciales: Definir el nmero de centroides c y los centroides iniciales (v), basado en la matriz de datos (z). Desde i=1 hasta criterio de parada 2.- Calcular la matriz de distancias (d) 3.- Calcular la matriz de pertenencia (u) 4.- Actualizar la matriz de centroides (v) } {

Como se puede apreciar en este algoritmo, existen tres factores de primordial importancia, algunos de ellos con criterios de seleccin heurstica: 1.- Definir cual es el nmero de clusters. 2.- Seleccionar el criterio para medir distancias. 3.- Definir el criterio para determinar el grado de pertenencia a cada grupo.

Funcin kmeans de Matlab

Matlab posee, en el toolbox de estadstica, una funcin que realiza el algoritmo de k-means clustering. La sintaxis es (ejecutar; >>help kmeans):

[...] = kmeans(...,'param1',val1,'param2',val2,...)

Donde, entre otras variables, devuelve: a) La matriz de pertenencia b) La matriz de centroides c) La matriz de distancias.

Con respecto a los parmetros de entrada, se puede definir:

a) El criterio para medir la distancia entre la matriz de datos y los centroides (la medida implcita es la norma eucldea). b) La forma en que se establecen las condiciones iniciales de los centroides (de forma predeterminada escoge como valores iniciales a muestras pertenecientes a la matriz de datos). c) Nmero de iteraciones en la bsqueda de los centroides (el valor implcito es 100).

|% Como ejemplo, supngase la siguiente matriz de datos | |>>x=[0 0 0 1 1 1 2 3 4 5 5 5 6 6 6 7 7 7 8 9 10 11 11 11 12 12 12]; | |>>y=[1 2 3 1.5 2 2.5 2 2 2 1.5 2 2.5 2 4 6 3 4 5 4 4 4 3 4 5 2 4 6]; | |>>z=[x; y]'; | |%Para obtener 5 centroides se aplica: |>> [U, v, sumd, D]=kmeans(z,5); | |%Lo cual devuelve una matriz de pertenencias |>> U=U' |U = |1 1 1 1 1 1 1 4 4 4 4 4 4 2 2 3 3 2 3 3 5 5 5 5 5 5 5 | |%basado en una matriz de distancias |>>D=D' |D = |Columns 1 through 11 |1.5102 0.5102 1.5102 0.3316 0.0816 0.3316 1.6531 5.2245 10.7959 18.6173 18.3673 | | | | | | | | | | | | | | |

|56.1111 49.1111 44.1111 40.6944 37.4444 34.6944 27.7778 20.1111 14.4444 14.0278 10.7778 | |67.6250 63.1250 60.6250 50.6250 48.6250 47.1250 36.1250 25.6250 17.1250 12.6250 10.6250 | |22.7778 21.7778 22.7778 13.6944 13.4444 13.6944 7.1111 2.7778 0.4444 0.3611 0.1111 | |136.3673 131.3673 128.3673 112.0459 109.7959 108.0459 90.2245 72.6531 57.0816 45.7602 43.5102 | |Columns 12 through 22 |

|18.6173 27.9388 31.9388 43.9388 40.5102 43.5102 48.5102 57.0816 72.6531 90.2245 106.7959 | |8.0278 9.1111 1.1111 1.1111 4.4444 1.4444 0.4444 3.7778 8.1111 14.4444 25.7778 | |9.1250 6.1250 3.1250 8.1250 1.1250 0.6250 2.1250 0.1250 1.6250 5.1250 11.1250 | |0.3611 1.7778 5.7778 17.7778 6.4444 9.4444 14.4444 15.1111 22.7778 32.4444 41.1111 | |41.7602 31.9388 27.9388 31.9388 19.3673 18.3673 19.3673 10.7959 5.2245 1.6531 1.0816 | |Columns 23 through 27 |109.7959 114.7959 127.3673 131.3673 143.3673 | |22.7778 21.7778 41.1111 33.1111 33.1111 |10.6250 12.1250 21.1250 18.1250 23.1250 |44.1111 49.1111 53.7778 57.7778 69.7778 |0.0816 1.0816 4.5102 0.5102 4.5102 | |%Siendo la matriz de centroides: |>> v | | | | | | | |

|v = |0.7143 2.0000 |6.3333 5.0000 |7.7500 3.7500 |4.6667 2.0000 |11.2857 4.0000 | |%Lo cual puede visualizarse en la siguiente figura |>> plot(z(:,1),z(:,2),'v'); |>> hold on |>> plot(v(:,1),v(:,2),'sr'); |

| | | | | |

| | | |

Relacin Ternaria

Un conjunto es una coleccin arbitraria de objetos. Los objetos de un conjunto se llaman elementos y se acepta que hay una relacin de pertenencia entre elementos y conjuntos. Tambin se acepta un conjunto universo previamente definido donde se encuentran todos los elementos necesarios para un estudio determinado. La relacin de pertenencia ; cumple la condicin de que dado un elemento x del universo y un conjunto cualquiera A, x pertenece a A es una proposicin lgica o sea que siempre es verdadera o falsa, cuando es verdadera se representa: x A, cuando es falsa se utiliza x A.

Relacin reflexiva en un conjunto.

R es una relacin reflexiva en un conjunto A s y slo s R es una relacin en A y todo elemento de A est relacionado con sigo mismo. Es decir R es reflexiva en A si y slo s,

R A x A (" x A) ((x, x) R).

R no es reflexiva en A si y slo si, R A x B ($ x A) ((x, x) R).

Ejemplo 8.

Sea A = {1, 3, 5}. R1 = {(1, 3), (3, 5), (1, 1), (5, 1), (5, 5), (3, 1), (3, 3)} es reflexiva en A. R2 = {(1, 1), (5, 3), (5, 5), (3, 1)} no es reflexiva en A. Ejemplo 9. IA es reflexiva en A cualquiera sea A 0. Ejemplo 10. A2 es reflexiva en A cualquiera sea A 0.

Teorema. R es reflexiva en A s y slo s IA R.

Relacin simtrica en un conjunto.

R es una relacin simtrica en A s y slo s R es relacin en A y cualesquiera sean los elementos x, y de A se verifica que si x R y entonces y R x. En consecuencia: R es simtrica en A R A x A (" x)(" y) ( x R y y R x). R no es simtrica en A R A x A ($ x)($ y) (x R y y [pic]x).

Ejemplo 11.

Las relaciones IA y A2 son simtricas en A cualquiera sea A. Ejemplo 12

Sea A = {3, 4, 2} entonces: R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)} es simtrica en A. S = {(3, 2), (4, 3), (2, 2), (3, 4)} no es simtrica en A. Ejemplo 13. La relacin T = {(x, y) / x N, y Nx | y} donde la expresin "x| y" significa x divide a y no es simtrica en N puesto que si x| y no necesariamente y| x.

Teorema. R es simtrica en A s y slo s R = R-1.

Relacin transitiva

R es una relacin transitiva en A s y slo s R es una relacin en A y cualquiera sean x, y, z pertenecientes a A se verifica que: S x R y y R z, entonces x R z. En consecuencia: R es transitiva en A equivale a decir: R A x A (" x)(" y)(" z) ( x R y y R z x R z) R no es transitiva en A equivale a decir: R A x A ($ x)( $ y)($ z) ( x R y y R z x [pic]z).

Ejemplo 17. I A es transitiva en A. Ejemplo 18. Sea = {2, 4, 6, 3} entonces: R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)} es transitiva en A. S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)} no es transitiva en A.

Ejemplo 19. La relacin T = {(x, y) / x N, y N x |y} es transitiva en N.

Dgrafo (grafo dirigido).

A un grafo dirigido se le puede definir como un grafo que contiene aristas dirigidas, como en el siguiente caso.

[pic] Aplicaciones de los dgrafos

Una de las aplicaciones ms importantes es de hallar el camino ms corto hacia un destino, ya sea de una ciudad a otra, de unos departamentos a otros, para el recorrido de rboles, sirve para la representacin de algoritmos, etc. Un ejemplo de esto es la tarea de frer un huevo.

Conclusin

Pues la conclusin es que cada una de la relaciones siempre tendr una regla que en este caso es su condicin y como este debe de trabajar.

Bibliografa

http://huitoto.udea.edu.co/SistemasDiscretos/contenido/relaciones.html

http://omarsanchez.net/kmeans.aspx

http://www.worldlingo.com/ma/enwiki/es/Binary_relation

http://es.wikipedia.org/wiki/Permisos_de_acceso_a_archivos

http://www.monografias.com/trabajos16/grafos/grafos.shtml

http://www.mitecnologico.com/Main/Conjuntos

----------------------INSTITUTO TECNOLGICO del Istmo

S.E.P.

S.N.E.S.T.

D.G.E.S.T.

H. C. JUCHITAN DE ZARAGOZA, OAX. A DICIEMBRE, 2010

TRABAJO: INVESTIGACION TEMA: RELACIONES PRESENTA:

HENRY DAVID RAYMUNDO MARTINEZ

MATRICULA: 09190025

ESPECIALIDAD: ING. EN SISTEMAS COMPUTACIONALES

NOMBRE DEL CURSO: *pic+!'()*6twxy ' ^ w

~lZ~l~Hl~H~H~H~H~"hVCJOJ*?+QJ*?+^J*?+aJnHtH"hCJOJ*?+QJ*?+^J*?+aJnHtH"h+lC MATEMATICAS PARA COMPUTADORAS

CATEDRATICO: IVAN RUIZ SANCHEZ GRUPO: 1R