RELACIONES Y FUNCIONES

INTRODUCCION
Entender los conceptos de Relacin y de Funcin es de suma importancia en Matemtica. Para lograr esa comprensin es necesario adentrarnos en la nocin de Correspondencia, ya que esta tiene un papel fundamental en las relaciones y funciones. Lo primero es entender que Correspondencia es equivalente a Relacin. En nuestra lengua, decir en relacin a, es equivalente a decir corresponde a. Ejemplos: En una tienda comercial, cada artculo est relacionado con su precio; o sea, a cada artculo le corresponde un precio. En la gua telefnica, cada cliente est relacionado con un nmero; o sea, a cada nombre de la gua le corresponde un nmero. En matemtica, Relacin es la correspondencia de un primer conjunto, llamado Dominio, con un segundo conjunto, llamado Recorrido o Rango, de manera que a cada elemento del Dominio le corresponde uno o ms elementos del Recorrido o Rango. Por su parte, una Funcin es una relacin a la cual se aade la condicin de que a cada valor del Dominio le corresponde uno y slo un valor del Recorrido. De las definiciones anteriores podemos deducir que todas las funciones son relaciones, pero no todas las relaciones son funciones. Tambin debemos agregar que toda ecuacin es una Relacin, pero no toda ecuacin es una Funcin. Todas las Relaciones pueden ser graficadas en el Plano Cartesiano.

Dados dos conjuntos A y B una relacin definida de A en B es un conjunto de parejas ordenadas (par ordenado) que hacen verdadera una proposicin; dicho de otro modo, una relacin es cualquier subconjunto del producto cartesiano A x B Los pares ordenados se pueden representar grficamente por medio de diagramas sagitales o por medio de puntos en el plano cartesiano. Veamos el siguiente ejemplo. Si A = {1, 2, 3, 4, 5} y B = {1, 3, 5, 7, 9} y R la relacin definida por la regla R = {(x, y) / y = 2x + 1}, graficar R.

Solucin Los pares ordenados que pertenecen a la relacin (que cumplen con y = 2x + 1) son: R = {(1, 3), (2, 5), (3, 7), (4, 9)} Y la grfica correspondiente es la siguiente:

En matemtica, una Funcin (f) es una relacin entre un conjunto dado X (llamado dominio) y otro conjunto de elementos Y (llamado codominio) de forma que a cada elemento x del dominio le corresponde un nico elemento f(x) del codominio (los que forman el recorrido, tambin llamado rango o mbito). En lenguaje cotidiano o ms simple, diremos que las funciones matemticas equivalen al proceso lgico comn que se expresa como depende de. Las funciones matemticas pueden referirse a situaciones cotidianas, tales como: el costo de una llamada telefnica que depende de su duracin, o el costo de enviar una encomienda que depende de su peso. A modo de ejemplo, cul sera la regla que relaciona los nmeros de la derecha con los de la izquierda en la siguiente lista?: 1 --------> 1 2 --------> 4 3 --------> 9 4 --------> 16 Los nmeros de la derecha son los cuadrados de los de la izquierda. La regla es entonces "elevar al cuadrado": 1 --------> 1 2 --------> 4 3 --------> 9 4 --------> 16 x --------> x2 Para referirse a esta regla podemos usar un nombre, que por lo general es la letra f (de funcin). Entonces, f es la regla "elevar al cuadrado el nmero". Usualmente se emplean dos notaciones: x --------> x2 o f(x) = x2 .

Un Conjunto se puede entender como una coleccin o agrupacin bien definida de objetos de cualquier clase. Los objetos que forman un conjunto son llamados miembros o elementos del conjunto. Todo conjunto se escribe entre llaves { } y se le denota mediante letras maysculas A, B, C,..., sus elementos se separan mediante punto y coma.

2.1 CONJUNTOS PARCIALMENTE ORDENADOS

En matemticas, especialmente en teora del orden, un conjunto parcialmente ordenado (o poset, del ingls partially ordered set) es un conjunto equipado con una relacin binaria de orden parcial. sta formaliza el concepto intuitivo de orden, secuencia, o arreglo de los elementos del conjunto. Un tal orden no necesariamente debe ser total, es decir, no se necesita que se puedan comparar unos con otros todos los elementos del conjunto; esto sin embargo puede ocurrir en algunos casos (en otras palabras, el orden total es un caso particular del orden parcial).

Relacin de orden parcial. Sea .

Decimos que R es una relacin de orden parcial en A si y solo si: R es una relacin reflexiva, anti simtrica y transitiva en A.

Puede verificarse que R 1 es reflexiva, anti simtrica y transitiva en A ; y en consecuencia R 1 es una relacin de orden parcial en A .

Conjunto parcialmente ordenado. Un conjunto A est parcialmente ordenado por una relacin R si y solo si R es una relacin de orden parcial en A. As en la imagen anterior, A est parcialmente ordenado por R 1 .

Definicin formal Un orden parcial es una relacin binaria R sobre un conjunto X que es reflexiva, antisimtrica, y transitiva, es decir, para cualesquiera a, b, y c en X se tiene que: aRa (reflexividad). Si aRb y bRa, entonces a = b (antisimetra). Si aRb y bRc, entonces aRc (transitividad).

Un conjunto con un orden parcial se denomina conjunto parcialmente ordenado o poset. A veces se usa la expresin conjunto ordenado para uno parcialmente ordenado, siempre que quede claro que no se har referencia a otras clases de orden. En particular, a un conjunto totalmente ordenado tambin se lo llama ordenado a secas, en especial en campos donde stos son ms comunes que los parcialmente ordenados. Usualmente se usa la notacin de "" en lugar de "R" para el orden parcial.

2.2 ORDENES ESPECIALES

La teora del orden La teora del orden es una rama de la matemtica que estudia varias clases de relaciones binarias que capturan la nocin intuitiva del orden matemtico. Este artculo da una introduccin detallada a este campo e incluye algunas de las definiciones ms bsicas. Para una rpida bsqueda de un trmino orden terico, hay tambin un glosario de teora del orden. Una lista de asuntos sobre orden recoge los artculos que existen en relacin a esta teora del orden.

Elementos especiales dentro de un orden En un conjunto parcialmente ordenado hay algunos elementos que desempean un papel especial. El ejemplo ms bsico est dado por el mnimo de un poset. Por ejemplo, 0 es el mnimo de los nmeros naturales y el conjunto vaco es el mnimo bajo el orden de subconjuntos. Formalmente, esto se puede describir por la propiedad: 0 a, para todo elemento a del conjunto ordenado. Es frecuente encontrar la notacin 0 para el mnimo, incluso cuando no se refiera a nmeros. Sin embargo, en un orden de un conjunto numrico, esta notacin puede ser inadecuada o ambigua, puesto que el nmero 0 no siempre es el mnimo. Un ejemplo es el antedicho orden de divisibilidad |, donde 1 es el mnimo puesto que divide a todo el resto de nmeros. Por otra parte, 0 es un nmero que se divide por todo el resto de nmeros. Por lo tanto es el mximo del orden! Otros trminos frecuentes para estos elementos son fondo y tapa o cero y uno. Pueden no existir los elementos "mnimo" o "mximo", como demuestra el ejemplo de los nmeros reales. Por otra parte, si existen son siempre nicos. En contraste, consideremos la relacin de divisibilidad | en el conjunto {2, 3, 4, 5, 6}. Aunque este conjunto no tiene ni tapa ni fondo, los elementos 2, 3, y 5 no tienen ningn elemento debajo, mientras que 4, 5, y 6 no tienen ninguno otro nmero arriba. Tales elementos se llaman minimales y maximales, respectivamente. Formalmente, un elemento m es minimal si: a m implica a = m, para todo elemento a. Intercambiando con obtenemos la definicin de maximal. Como el ejemplo demuestra, puede haber muchos elementos minimales o maximales y algn elemento puede ser maximal y minimal (e.g. 5 arriba). Sin embargo, si hay un elemento mnimo, entonces es el nico elemento minimal del orden. (Si se sigue estrictamente la definicin dada. Lamentablemente hay una tradicin matemtica "a contrario": considerar los minimales y maximales en el conjunto despojado de su mximo y su mnimo, si los hubiere. Esto debe recordarse. N.T.). Una vez ms, en los posets no siempre hay infinitos elementos maximales - el conjunto de todos los subconjuntos finitos en un conjunto infinito dado, ordenado por inclusin de subconjuntos, proporciona uno, entre muchos,

contraejemplo. Una herramienta importante para asegurar la existencia de elementos maximales bajo ciertas condiciones es el Lema de Zorn. Los subconjuntos de un conjunto parcialmente ordenado heredan el orden. Ya aplicamos esto al considerar el subconjunto {2, 3, 4, 5, 6} de los nmeros naturales con el orden de divisibilidad inducido. Hay tambin elementos de un poset que son especiales con respecto a cierto subconjunto del orden. Esto conduce a la definicin de cota superior. Dado un subconjunto S de cierto poset P, una cota superior de S es un elemento b de P que est sobre todo elemento de S. Formalmente, esto significa que s b, para todo s en S. Cota inferior se define invirtiendo el orden. Por ejemplo, -5 es una cota inferior de los nmeros naturales como subconjunto de los enteros. Dado un conjunto de conjuntos , una cota superior para stos conjuntos viene dado por su unin. De hecho, esta cota superior es muy especial: es el ms pequeo conjunto que contiene todos los conjuntos dados. Por lo tanto, encontramos la menor cota superior de un conjunto de conjuntos. Este concepto se llama tambin supremo y para un conjunto S se escribe sup S o VS para su menor cota superior. Inversamente, la mayor cota inferior se la conoce como nfimo y se denota inf S o ^S. Este concepto desempea un papel importante en muchos usos de la teora del orden. Para dos elementos x y y, uno tambin escribe x v y y x ^ y para sup{x, y} e inf{x, y}, respectivamente. Usando Wikipedia TeX markup, uno puede tambin escribir y , as como smbolos grandes y . Observe, sin embargo, que todos esos smbolos pueden no tener smbolo de tamao correspondiente al de la fuente del texto estndar y, por tanto, se prefiere utilizarlos en lneas adicionales. Muchos de los navegadores de hoy son incapaces de representar para v y para ^ en algunas plataformas, y por lo tanto se evita aqu. Considere otro ejemplo en la relacin | para los nmeros naturales. La menor cota superior de dos nmeros es el menor nmero que es mltiplo de ambos, es decir el mnimo comn mltiplo. Mayor cota inferior es, alternativamente, el mximo comn divisor.

2.3 RELACIONES 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: 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

Explicacin con el ejemplo de los calcetines Una relacin de equivalencia es esencialmente una manera de agrupar los elementos de un determinado conjunto, de tal forma que podamos clasificarlos por alguna caracterstica comn. Por ejemplo, imaginemos que queremos ordenar un cajn lleno de calcetines. Algunos son blancos, otros azules y otros negros, y tambin los hay de lana y de algodn. Obviamente una forma sencilla de ordenarlos es agruparlos por colores o por el material del que estn hechos, y eso es algo que todos sabemos hacer con mayor o menor xito. Pues bien, eso mismo se puede hacer desde un punto de vista terico definiendo diferentes relaciones de equivalencia entre los calcetines del cajn. El procedimiento es en realidad el mismo. Primero definimos una relacin entre los calcetines, como por ejemplo, que dos pares estn relacionadas entre s si tienen el mismo color. As, los blancos estarn relacionados con los blancos, los azules con los azules, y los negros con los negros. En segundo lugar, hay que comprobar que esta relacin es de equivalencia, para lo cual tenemos que ver si cumple estas tres propiedades:

Propiedad simtrica: Si un primer elemento est relacionado con otro, el segundo debe estar tambin relacionado con el primero. Se cumple, pues si tengo dos pares de calcetines A y B azules, A est relacionado con B y B est relacionado con A.

Propiedad transitiva: Si un elemento est relacionado con un segundo elemento, y ste con un tercero, el primero ha de estar relacionado tambin con el tercero. Tambin es evidente que se cumple, pues si C, D y E son tres pares de calcetines blancos, tanto C y D como D y E estn relacionados, as como tambin lo estn C y E.

Propiedad reflexiva: Un elemento debe estar relacionado consigo mismo. En efecto, si F es un par de calcetines negros, F est relacionado con F, pues tiene su mismo color (esto parece una tontera, pero no podemos suponer que se cumplir siempre).

Pues bien, resulta que si en un conjunto se puede definir una relacin de equivalencia, sta induce en el conjunto una particin en subconjuntos formados por los elementos que estn relacionados entre s, es decir, que clasifica los elementos del conjunto en grupos que comparten una cierta caracterstica. Estos subconjuntos se llaman clases de equivalencia, y adems son disjuntos, es decir, no hay ningn elemento que est en dos o ms clases a la vez (de ah llamarlo particin). Y en efecto, tras aplicar nuestra relacin el cajn queda ordenado en tres clases de equivalencia que son disjuntas: la de los calcetines blancos, la de los azules y la de los negros.

Otras relaciones de equivalencia que podramos definir en el cajn seran calcetines del mismo material, lo que nos proporcionara las clases calcetines de lana y calcetines de algodn. Incluso podramos definir la relacin calcetines que se pongan en los pies para agruparlos a todos en una misma clase de equivalencia: la del cajn al completo. Si se fijan bien, es ms o menos lo mismo que sabemos hacer todos aplicando el sentido comn, pero desde un punto de vista un poco ms terico.

Una relacin que no es de equivalencia Pero en este ejemplo no se v realmente cul es la importancia de las propiedades reflexiva, transitiva y simtrica, pues son excesivamente obvias. Sin embargo, no es difcil encontrar una relacin que no cumpla alguna de ellas. Consideremos por ejemplo la relacin calcetines del mismo color o del mismo material. Segn ella, dos pares de calcetines estaran relacionados si por ejemplo ambos son azules o si ambos son de lana, dndose la posibilidad de que un par de algodn azul est relacionado con uno de algodn blanco, o uno de algodn negro con otro de lana negro. Por tanto, si tengo un par de calcetines negros de lana y otro par de blancos de lana, ambos estarn relacionados, pues comparten material, y si hay adems otro par de calcetines blancos de algodn, ste estara relacionado con el segundo (blancos de lana), pues ambos tienen el mismo color. Sin embargo, el primer y el tercer par no estn relacionados, porque no comparten ni color ni material. Como no se cumple la propiedad transitiva, la relacin no es de equivalencia y no puedo clasificar los calcetines en conjuntos disjuntos siguiendo este criterio. Si ahora intentamos pasar de la teora a la prctica, veremos que no podemos ordenar los calcetines en conjuntos disjuntos de pares con el mismo color o el mismo material, pues habr calcetines que estn en el subconjunto blancos o de lana y tambin en el blancos o de algodn. Una pregunta, si la relacin definida hubiera sido calcetines del mismo color y del mismo material estaramos ante una relacin de equivalencia?

2.4 RELACIONES GENERALES

2.5 FUNCIONES
Una funcin es una regla de asociacin que relaciona dos o ms conjuntos entre si; generalmente cuando tenemos la asociacin dos conjuntos las funcin se define como una regla de asociacin entre un conjunto llamado dominio con uno llamado codominio, tambin dominio e imagen respectivamente o dominio y rango. Esta regla de asociacin no permite relacionar un mismo elemento del dominio con dos elementos del codominio.

Donde se dice que f : A B (f es una funcin de A en B, o f es una funcin que toma elementos del dominio A y los aplica sobre otro llamado codominio B) Se dice que el dominio de una funcin son todos los valores que puede tomar el conjunto del dominio y que encuentra correspondencia en el conjunto llamado codominio, generalmente cuando se habla del plano, el dominio es el intervalo de valores que estn sobre el eje de las Xs y que nos generan una asociacin en el eje de las Y. El otro conjunto que interviene en la definicin es el conjunto llamado codominio o rango de la funcin, en ocasiones llamado imagen, este conjunto es la gama de valores que puede tomar la funcin; en el caso del plano son todos los valores que puede tomar la funcin o valores en el eje de las Y. Tambin, cuando se grafica en el plano cartesiano se tiene una relacin de dos variables, considerando como variable aquella literal que est sujeta a los valores que puede tomar la otra.

Variables dependientes. Son aquellas variables que como su nombre lo indica, dependen del valor que toma las otras variables Por ejemplo: f(x)= x, y o f(x) es la variable dependiente ya que est sujeta a los valores que se le subministre a x. Variable independiente. Es aquella variable que no depende de ninguna otra variable, en el ejemplo anterior la x es la variable independiente ya que la y es la que depende de los valores de x. Variable constante. Es aquella que no est en funcin de ninguna variable y siempre tiene el mismo valor ejemplo: Y=2, la constante gravitacional, entre otras.

Ejemplos de funciones y de ecuaciones: La siguiente grfica define una funcin, lnea recta con pendiente (m = 1) que pasa por el origen, la cual es funcin debido a no existe un elemento del dominio que relaciones dos elementos del codominio. El dominio es (-, ) o lo que equivale a decir que el dominio toma todos los valores sobre la lnea recta. El rango de la funcin o codominio es tambin el mismo, ya que toma todos los valores en el eje de las Y (-, ). La expresin mediante la cual puede representarse esta ecuacin es la siguiente: Y(x)= x (otra forma de expresar este resultado tambin es la expresin f(x)=x)

Esta ecuacin no tiene asociado dos elementos del codominio con uno del dominio, sin embargo la definicin de funcin no impone ninguna restriccin al respecto. Podemos analizar que en este caso el domino es (-, ). Sin embargo, sabemos que el hecho de que la funcin sea f(x)=x2 conduce a que solo el recorrido de la funcin mande a valores positivos, y por tanto el rango de la funcin es [0, )

La siguiente ecuacin no es funcin y2 = x Su grfico es el siguiente:

Como es fcil identificar los elementos del dominio (x>0) tienen asociados dos elementos del codominio y por tanto no es funcin.

2.6 COMPOSICIN DE FUNCIONES

Sea f(x) una funcin que aplica f:AB y g(x) otra funcin g(x) que aplica de g:BC, se dice que existe una funcin de h(x) que se genera de aplicar g(x) a la funcin f(x)cuya aplicacin es de f: AC, donde h(x) = (g o f)(x), como se ilustra en el esquema:

Funcin inversa: Intuitivamente consideramos por funcin inversa aquella funcin que anula la operacin realizada por la segunda funcin.

Sea f(x) una funcin que aplica de f:AB y h:BA, se dice que h(x) es una funcin inversa de f si para cada elemento de f(x) existe un elemento nico del dominio de h(x) que enva a A, es decir, recupera el elemento del cual proviene. Si la funcin f es continua y estrictamente creciente (o decreciente) en el intervalo cerrado [a,b], existe funcin inversa y es continua y estrictamente creciente (o decreciente).

2.7 PRINCIPIO DEL PALOMAR

Si m palomas ocupan n nidos y m > n, entonces al menos un nido tiene dos o ms palomas en l.

Este interesante principio fue formulado por primera vez de manera formal por Peter Gustav Lejeune Dirichlet (1805-1859), y en consecuencia se conoce a veces como el principio de distribucin de Dirichlet o el principio de la caja de Dirichlet. Dirichlet contribuy mucho en las matemticas aplicadas y la teora de nmeros. Adems realiz un trabajo fundamental con respecto a la definicin de una funcin. Su trabajo enfatizaba la relacin entre dos conjuntos de nmeros y no peda la existencia de una frmula o expresin que relacionara los dos conjuntos.

Formulacin matemtica Si A y B son conjuntos finitos con B. > entonces no existe ninguna funcin inyectiva de A en

Demostracin por induccin Paso base: Supongamos funcin , es decir, . Entonces no existe ninguna

, en particular no existe ninguna funcin inyectiva.

Hiptesis inductiva: conjunto finito B, que cumplan Tesis funcin inductiva: Para inyectiva.

no es inyectiva para todo conjunto finito A y para todo ,y , , con n > = 0. no existe una

Demostracin del paso inductivo: Como A no es vaco, elijamos un

. Pueden

ocurrir dos cosas. O bien existe otro elemento distinto a a en A, llammosle a' que cumpla f(a) = f(a'). O bien no existe tal elemento. Si el caso es que existe, la funcin f no es inyectiva y termina la demostracin. Tomemos el caso que no existe, entonces f(a) tiene solo funcin y una pre imagen que es a. Consideramos la que coincide con f en todos los elementos de , por lo tanto g no

A {a}. Ahora aplicamos la hiptesis inductiva pues B {f(a)} tiene n elementos es inyectiva. Como g no es inyectiva, f no es inyectiva, que es lo que queramos demostrar.

Ejemplo Una oficina emplea a 13 oficinistas, por lo que al menos dos de ellos deben cumplir aos durante el mismo mes. Los 13 oficinistas son las palomas y los 12 meses del ao son los nidos. A cada paloma le corresponde un nido (el mes en que cumple aos). Como hay ms palomas que nidos, hay al menos un nido (mes) con dos o ms palomas (oficinistas que cumplen en ese mes).

Usos y aplicaciones El principio del palomar es encontrado a menudo en informtica. Por ejemplo, las colisiones son inevitables en una tabla hash porque el nmero de posibles valores que pueden tomar los elementos de un vector exceden a menudo el nmero de sus ndices. Ningn algoritmo de hashing, sin importar lo bueno que sea, puede evitar estas colisiones. ste principio tambin prueba que cualquier algoritmo de compresin sin prdida que hace al menos de un archivo de entrada otro ms pequeo har que otro fichero de entrada sea ms grande. (De lo contrario, dos archivos distintos podran ser comprimidos a un mismo archivo ms pequeo y al ser restaurado habra conflicto)

2.8 PARTICIONES
Una particin o conjunto cociente de un conjunto no vaco A es una coleccin de subconjuntos no vacos de A tales que: 1. Cada elemento de A pertenece a uno de los conjuntos en . 2. Si A1 y A2 son elementos distintos de , entonces A1 A2 =/ O.

Ejemplo: Sea A = {1, 2, 3, 4, 5, 6, 7} A1 = {2, 4, 5} A2= {1, 3} A3= {1, 4, 6, 7} A4= {2, ,3, 4, 5} A5= {1, 3} Entonces A1 , A2 y A5 son una particin del conjunto A.

BIBLIOGRAFIA
http://www.profesorenlinea.cl/matematica/Relaciones_y_funciones.html http://www.profesorenlinea.cl/matematica/Funciones_matematicas.html http://es.wikipedia.org/wiki/Conjunto_parcialmente_ordenado https://docs.google.com/ http://es.wikipedia.org/wiki/Relaci%C3%B3n_de_equivalencia http://elmaquinadeturing.wordpress.com/2010/12/18/relaciones-de-equivalencia-o-como-lograrque-22-sea-1/ http://dieumsnh.qfb.umich.mx/DIFERENCIAL/funciones.htm http://dieumsnh.qfb.umich.mx/DIFERENCIAL/composicion_de_funciones.htm#Composicin funciones: http://matematica.50webs.com/principio-del-palomar.html http://es.wikipedia.org/wiki/Principio_del_palomar http://webdelprofesor.ula.ve/ingenieria/carmenmoret/documentos/pdfs/UnidadIII/MDIII1.pdf http://docencia.udea.edu.co/cen/logica/cap6_2.htm http://es.wikipedia.org/wiki/Teor%C3%ADa_del_orden de