RELACIN MATEMTICA

Una relacin , de los conjuntos es un subconjunto del producto cartesiano

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.

TIPOS DE RELACIONES
En las relaciones se diferencian los tipos segn el nmero de conjuntos en el producto cartesiano, que es el nmero de trminos de la relacin: Relacin unaria: un solo conjunto Relacin binaria: con dos conjuntos Relacin ternaria: con tres conjuntos Relacin cuaternaria: con cuatro conjuntos ... Relacin n-aria: caso general con n conjuntos

PRODUCTO CARTESIANO
En teora de conjuntos, el producto cartesiano es un producto directo de conjuntos. En particular, el producto cartesiano de dos conjuntos X y Y, denotado por X Y, es el conjunto de todos los pares ordenados en los que el primer componente pertenece a X y el segundo a Y:

El producto cartesiano recibe su nombre de Ren Descartes, cuya formulacin de la geometra analtica dio origen a este concepto.

Ejemplo 1 El producto cartesiano del conjunto de trece rangos de la baraja inglesa

Con el de los cuatro palos:

Conjunto de las 52 cartas de la baraja:

La forma matemtica de expresarlo es:

Si los conjuntos involucrados son finitos, la cardinalidad (o nmero de elementos) del producto cartesiano es el producto de las cardinalidades de los conjuntos involucrados:

En el ejemplo anterior, el nmero de elementos del producto era 52, provenientes de la multiplicacin de los 13 rangos con los 4 palos de la baraja inglesa.

RELACIN BINARIA
En matemticas, una relacin binaria es una relacin matemtica R entre los elementos de dos conjuntos A y B. Una relacin de este tipo se puede representar mediante pares ordenados, :1

Las proposiciones siguientes son correctas para representar una relacin binaria

MATRIZ (MATEMTICA)
En matemticas, una matriz es una tabla bidimensional de nmeros consistente en cantidades abstractas que pueden sumarse y multiplicarse. Las matrices se utilizan para describir sistemas de ecuaciones lineales, realizar un seguimiento de los coeficientes de una aplicacin lineal y registrar los datos que dependen de varios parmetros. Las matrices se describen en el campo de la teora de matrices. Pueden

sumarse, multiplicarse y descomponerse de varias formas, lo que tambin las hace un concepto clave en el campo del lgebra lineal.

GRAFO
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. 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). Desde un punto de vista prctico, los grafos permiten estudiar las interrelaciones entre unidades que interactan unas con otras. Por ejemplo, una red de computadoras puede representarse y estudiarse mediante un grafo, en el cual los vrtices representan terminales y las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones inalmbricas). Prcticamente cualquier problema puede representarse mediante un grafo, y su estudio trasciende a las diversas reas de las ciencias exactas y las ciencias sociales. Lazos o bucles Un lazo o bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden. Grafo no dirigido Un grafo no dirigido o grafo propiamente dicho es un grafo G = (V,E) donde:
y y

es un conjunto de pares no ordenados de elementos de

Un par no ordenado es un conjunto de la forma {a,b}, de manera que {a,b} = {b,a}. Para los grafos, estos conjuntos pertenecen al conjunto potencia de V de cardinalidad 2, el cual se denota por Grafo dirigido Un grafo dirigido o digrafo es un grafo G = (V,E) donde:
y y

es un conjunto de pares ordenados de elementos de

Dada una arista (a,b), a es su nodo inicial y b 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. Pseudografo Un pseudografo es un grafo G = (V,E) donde:
y y

es un conjunto de pares no ordenados de elementos de .

Es decir, un pseudografo es un grafo no dirigido que acepta bucles en Pseudografo dirigido Un pseudografo dirigido es un grafo G = (V,E) donde:
y y

es un conjunto de pares ordenados y etiquetados de elementos de .

Es decir, un pseudografo dirigido es un grafo dirigido que acepta bucles en

RELACIN REFLEXIVA
Una relacin binaria R sobre un conjunto A, es reflexiva o refleja si todo elemento de A est relacionado consigo mismo mediante R. Es decir, En tal caso, decimos que R cumple con la propiedad de reflexividad. La aplicacin de cualquier relacin R sobre un conjunto A, se representa con el par ordenado (A, R). Cuando una relacin es lo opuesto a una reflexiva, es decir, cuando ningn elemento de A est relacionado consigo mismo mediante R, entonces decimos que es irreflexiva, antirreflexiva o antirrefleja, lo que denotamos formalmente por:

En este caso, decimos que R cumple con la propiedad de antirreflexividad.

RELACIN SIMTRICA
Una relacin binaria R sobre un conjunto A, es simtrica cuando se da que si un elemento est relacionado con otro mediante R, entonces ese otro tambin est relacionado con el primero. Es decir,

En tal caso, decimos que R cumple con la propiedad de simetra. La aplicacin de cualquier relacin R sobre un conjunto A, se representa con el par ordenado (A, R). Cuando una relacin es lo opuesto a una simtrica, es decir, cuando se da que si un elemento est relacionado con otro mediante R, entonces ese otro no est relacionado con el primero, entonces decimos que es asimtrica, lo que denotamos formalmente por:

En este caso, decimos que R cumple con la propiedad de asimetra.

RELACIN ANTISIMTRICA
Una relacin binaria R sobre un conjunto A es antisimtrica cuando se da que si dos elementos de A se relacionan entre s mediante R, entonces estos elementos son iguales. Es decir,

En tal caso, decimos que R cumple con la propiedad de antisimetra. La aplicacin de cualquier relacin R sobre un conjunto A, se representa con el par ordenado (A,R).

RELACIN TRANSITIVA
Una relacin binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y ste ltimo con un tercero, entonces el primero se relaciona con el tercero. Esto es: Dado el conjunto A y una relacin R, esta relacin es transitiva si: a R b y b R c se cumple a R c. La propiedad anterior se conoce como transitividad.

RELACIN DE EQUIVALENCIA
Sea K un conjunto dado no vaco y R una relacin binaria definida sobre K. Se dice que R es una relacin de equivalencia si cumple las siguientes propiedades:
y

Reflexividad: Todo elemento de K est relacionado consigo mismo. Es decir, .

Simetra: Si un elemento de K est relacionado con otro, entonces ese otro elemento tambin se relaciona con el primero. Es decir,

Transitividad: Si un elemento de K est relacionado con otro, y ese otro a su vez se relaciona con un tercero, entonces el primero estar relacionado tambin con este ltimo. Es decir,

Una relacin de equivalencia R sobre un conjunto K puede denotarse con el par ordenado

CLASES DE EQUIVALENCIA
La relacin de equivalencia define subconjuntos disjuntos en K llamados clases de equivalencia de la siguiente manera: Dado un elemento , al conjunto dado por todos los elementos relacionados con:

Se le llama la clase de equivalencia asociada al elemento a. Al elemento a se le llama representante de la clase. Se llama orden al nmero de clases que genera una relacin de equivalencia; si ste es finito, se dice que la relacin es de orden finito. El concepto de clase de equivalencia tiene importancia en ciencia, dado un conjunto de objetos o entidades abstractas (potencialmente infinitas), pueden establecerse relaciones de equivalencia en base a algn criterio, las clases resultantes son los "tipos" en los que se puede clasificar toda la gama de objetos.

OPERACIONES ENTRE RELACIONES

Puesto que las relaciones son conjuntos, todas las operaciones definidas sobre conjuntos se pueden realizar entre relaciones: Si son relaciones de A en B, entonces

son todas relaciones de A en B, donde la operaci_on de complemento se efecta con respecto al conjunto universal . Ejemplo: Sean . Consideremos las siguientes relaciones de A en B: . Entonces
y y y y y y

Otra forma de combinar relaciones es a travs de la operacin de composicin de relaciones.

UNION E INTERSECCION
La unin ; son todos los elementos del conjunto ejemplo si estan ; a,b,c,d,e tienes que ponerlos en llave asi {a,b,c,d,e} ahora por otro lado la interseccin es cuando hay dos conjuntos o mas y las mismas letras se relacionan entre si un ejemplo sencillo puede ser este AIb {a1,b2,c3} ,BIA{a1,b3,c1} =AIB{a1,} porque solo a1 es la respuesta porque en el conjunto solo se encuentran a1 o mejor dicho se interceptan.

INVERSO
En matemtica, el inverso multiplicativo, recproco o inversa de un nmero x, es el nmero, denotado como 1x x 1, que multiplicado por x da 1 como resultado. El 0 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 reemplazar y 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:
y y

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

PROPIEDADES DE LAS RELACIONES

Las relaciones se pueden clasificar de acuerdo al tipo de asociacin que hay en sus elementos como: uno-a-uno 11, uno-a-mucho 1-M, muchos-a-uno M-1 o muchos-a-muchos M-M. Recordemos que una relacin es un conjunto de pares ordenados. Ver seccin 2. Relaciones Introduccion. Definicin: Una relacin R de A a B es: Muchos-a-uno, M-1 . si existen dos pares con el mismo segundo elemento, esto es existen (x,y), (z,y) distintas en la relacin, con smbolos ( x A)( y B)( z A) ((x,y) R ^ (z,y) R ^ x z) Uno-a-muchos 1-M . si existen dos pares con el mismo primer elemento, esto es existen (x,y), (x,z) distintas en la relacin, con smbolos ( x A)( y B)( z B) ((x,y) R ^ (x,z) R ^ y z) Muchos-a-muchos M-M . si es muchos-a-uno y uno-a-muchos. \\O sea que hay al menos dos pares con el mismo primer elemento y tambin hay dos pares con el mismo segundo elemento.\\ O sea que cumple las dos definiciones anteriores.
Uno-a-uno 11 .

Si no es muchos-a-uno ni uno-a-muchos, o sea que no hay dos pares con el mismo primer elemento y no hay dos pares con el mismo segundo elemento. Esto significa que cumple las dos condiciones siguientes ( x A)( y B)( z B)((x,y) R ^ (x,z) isin; R y = z) ( x A)( y B)( z A)((x,y) R ^ (z,y) R x = z)

FUNCIN MATEMTICA
En matemticas, una funcin,1 aplicacin o mapeo f es una relacin entre un conjunto dado X (el dominio) y otro conjunto de elementos Y (el codominio) de forma que a cada elemento x del dominio le corresponde un nico elemento del codominio f(x). Se denota por:

Comnmente, el trmino funcin se utiliza cuando el codominio son valores numricos, reales o complejos. Entonces se habla de funcin real o funcin compleja mientras que a las funciones entre conjuntos cualesquiera se las denomina aplicaciones.

CLASIFICACIN DE LAS FUNCIONES

Dados dos conjuntos X, Y, consideremos a todas las posibles aplicaciones (funciones) que pueden formarse entre estos dos conjuntos. Podemos diferenciar los siguientes casos:
y y y

Si a cada imagen le corresponde una nica preimagen, inyectiva. Si la imagen de la funcin es igual al codominio, sobreyectiva o suprayectiva. Una funcin que sea inyectiva y sobreyectiva simultneamente, se denomina biyectiva .

Puede haber funciones que sean biyectivas, inyectivas pero no suprayectivas, supreyectiva pero no inyectiva o que no se cumple ninguna de esas condiciones, en cuyo caso no tiene un nombre especfico. 'Definiciones alternas: sea Consideremos la ecuacin dada y sea b un elemento cualquiera del codominio Y.

.
y y y

la funcin es suprayectiva o sobreyectiva si, y slo si, la ecuacin (*) siempre tiene al menos una solucin. la funcin es inyectiva si, y slo si, la ecuacin (*) tiene a lo ms una solucin. la funcin es biyectiva cuando, y slo cuando, es inyectiva y suprayectiva a la vez.

Vamos a ilustrar esos diferentes tipos de funciones (aplicaciones) en un Diagrama de Venn, el conjunto universal U, representado por un rectngulo, es el conjunto de todas las posibles aplicaciones, el conjunto A es aquel de las aplicaciones inyectivas, y el conjunto B aquel de las sobreyectivas, esto nos permite ver los distintos tipos de aplicaciones de un modo grfico.
APLICACIN INYECTIVA Y NO SOBREYECTIVA

En una funcin inyectiva, cada elemento imagen tiene nica preimgen. Un funcin que no sea inyectiva, tendr al menos dos elementos diferentes del dominio que tienen la misma imagen.

En una funcin suprayectiva (sobreyectiva) cada elemento del codominio es imagen de algn elemento del dominio. Una funcin no ser suprayectiva, cuando al menos un elemento del codominio (conjunto final) no tenga una preimagen. En el diagrama de Venn corresponden a las aplicaciones que pertenecen a A y no pertenecen a B, esto es las que pertenecen a la diferencia de A y B: A-B. En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto Y tendr mayor nmero de elementos que X cuando tratamos de compararlos.
APLICACIN NO INYECTIVA Y SOBREYECTIVA

Una aplicacin no inyectiva tiene al menos un elemento imagen que tiene dos o ms orgenes y una sobreyectiva todos los elementos del conjunto final tienen al menos un elemento origen. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y si pertenecen a B, esto es las que pertenecen a la diferencia de B y A: B-A. Para esta aplicacin el conjunto X ha de tener mayor nmero de elementos que Y, la cardinalidad de X ha de ser mayor que la de Y.

APLICACIN INYECTIVA Y SOBREYECTIVA (BIYECTIVA)

Si una aplicacin es inyectiva y sobreyectiva simultneamente, se denomina biyectiva. Por ser inyectiva los elementos que tienen origen tienen un nico origen y por ser sobreyectiva todos los elementos del conjunto final tienen origen. En el diagrama de Venn el conjunto A es el de las aplicaciones inyectiva y el conjunto B el de las aplicaciones sobreyectiva, las aplicaciones biyectiva, que son inyectiva y sobreyectiva, ser la interseccin de A y B. Estas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo nmero de elementos, la cardinalidad de X es la misma que la de Y, esto tiene una gran importancia cuando se pretende comparar dos conjuntos:
y

Si dados dos conjuntos podemos encontrar una aplicacin biyectiva entre ellos, podemos afirmar, que los dos conjuntos tienen el mismo nmero de elementos. La cardinalidad de X es igual a la de Y.

APLICACIN NO INYECTIVA Y NO SOBREYECTIVA

Una aplicacin no inyectiva tendr al menos un elemento imagen que tenga dos o ms orgenes y una no sobreyectiva tendr al menos un elemento del conjunto final que no tenga elemento origen. Este tipo de aplicaciones no tiene un nombre especfico y quiz sean las que presenten, desde el punto de vista matemtico, un menor inters.

Para esta aplicacin los conjuntos X e Y no son comparables, y no podemos plantear ningn supuesto sobre su cardinalidad, partiendo de su comparacin, ni sobre su nmero de elementos. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y no pertenecen a B, esto es las que no pertenecen a la unin de A y B.

GRAFOS
Un grafo, G, es un par ordenado de V y A, donde V es el conjunto de vrtices o nodos del grafo y A es un conjunto de pares de vrtices, a estos tambin se les llama arcos o ejes del grafo. Un vrtice puede tener 0 o ms aristas, pero toda arista debe unir exactamente a dos vrtices. Los grafos representan conjuntos de objetos que no tienen restriccin de relacin entre ellos. Un grafo puede representar varias cosas de la realidad cotidiana, tales como mapas de carreteras, vas frreas, circuitos elctricos, etc. La notacin G = A (V, A) se utiliza comnmente para identificar un grafo. Los grafos se constituyen principalmente de dos partes: las aristas, vrtices y los caminos que pueda contener el mismo grafo.

CLASIFICACION DE GRAFOS
Podemos clasificar los grafos en dos grupos: dirigidos y no dirigidos. En un grafo no dirigido el par de vrtices que representa un arco no est ordenado. Por lo tanto, los pares (v1, v2) y (v2, v1) representan el mismo arco. En un grafo dirigido cada arco est representado por un par ordenado de vrtices, de forma que y representan dos arcos diferentes. Ejemplos G1 = (V1, A1) V1 = {1, 2, 3, 4} A1 = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)} G2 = (V2, A2) V2 = {1, 2, 3, 4, 5, 6} A2 = {(1, 2), (1, 3), (2, 4), (2, 5), (3, 6)} G3 = (V3, A3) V3 = {1, 2, 3} A3 = { <1, 2>, <2, 1>, <2, 3> } Grficamente estas tres estructuras de vrtices y arcos se pueden representar de la siguiente manera:

Algunos de los principales tipos de grafos son los que se muestran a continuacin: Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado es k lo llamaremos kregular. Por ejemplo, el primero de los siguientes grafos es 3-regular, el segundo es 2-regular y el tercero no es regular Grafo bipartito: Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de modo que no haya adyacencias entre vrtices pertenecientes al mismo conjunto Ejemplo.- de los dos grafos siguientes el primero es bipartito y el segundo no lo es Grafo completo: Aquel con una arista entre cada par de vrtices. Un grafo completo con n vrtices se denota Kn. A continuacin pueden verse los dibujos de K3, K4, K5 y K6 Un grafo bipartito regular: se denota Km,n donde m, n es el grado de cada conjunto disjunto de vrtices. Grafo nulo: Se dice que un grafo es nulo cuando los vrtices que lo componen no estn conectados, esto es, que son vrtices aislados. Grafos Isomorfos: Dos grafos son isomorfos cuando existe una correspondencia biunvoca (uno a uno), entre sus vrtices de tal forma que dos de estos quedan unidos por una arista en comn. Grafos Platnicos: Son los Grafos formados por los vrtices y aristas de los cinco slidos regulares (Slidos Platnicos), a saber, el tetraedro, el cubo, el octaedro, el dodecaedro y el icosaedro.

GRAFOS EULERIANOS.
Para definir un camino euleriano es importante definir un camino euleriano primero. Un camino euleriano se define de la manera ms sencilla como un camino que contiene todos los arcos del grafo. Teniendo esto definido podemos hablar de los grafos eulerianos describindolos simplemente como aquel grafo que contiene un camino euleriano. Como ejemplos tenemos las siguientes imgenes:

El primer grafo de ellos no contiene caminos eulerianos mientras el segundo contiene al menos uno.

GRAFOS CONEXOS.
Un grafo se puede definir como conexo si cualquier vrtice V pertenece al conjunto de vrtices y es alcanzable por algn otro. Otra definicin que dejara esto ms claro sera: un grafo conexo es un grafo no dirigido de modo que para cualquier par de nodos existe al menos un camino que los une.

RBOLES.
Un rbol se define como un tipo de grafo que no contiene ciclos, es decir es un grafo tambin acclico, pero a su vez es conexo. Tal es el caso de los siguientes dos grafos en donde se puede notar que ninguno de los dos contiene repeticiones (ciclos).

BOSQUES DE RBOLES.
Los bosques de rboles son un caso similar a los rboles, son acclicos, pero no son conexos. Como ejemplo tenemos la siguiente figura.

APLICACIONES DE LOS DIGRAFOS

Una de las aplicaciones mas importantes es de hallar el camino mas 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: