1. Funcin, dominio y contradominio.

Hola En forma analtica, cmo puedo demostrar que una ecuacin es una funcin?, y s es una funcin como determino su dominio y su contradominio. Por ejemplo: De la siguiente ecuacin, determinar si en verdad es una funcin, adems de su dominio y su contradominio. (Solo usara mtodos graficos para comprobar su respuesta)

De antemano muchas gracias por su ayuda y tiempo invertido en mi gran problema. :oops:
Citar

2.

08/09/2008, 09:33#2

Paranoid Neutrino

Senior Member Fecha de ingreso 07 dic, 07 Mensajes 285 Agradecimientos

Funcin, dominio y contradominio.

Hola Nova: Puedes pensar intuitivamente en una funcin como una regla que asigna a cada elemento de un conjunto , un elemento del conjunto . En tu caso, normalmente no van a mencionar explcitamente al conjunto o al , puesto que se conviene que sea el conjunto de todos los nmeros reales (que se expresan con la letra ) para los cuales la regla en cuestin tenga sentido; mientras que se conviene que sea, de nuevo, el conjunto de todos los nmeros reales. Pero, qu es una regla? Una regla de asignamiento es un subconjunto del producto cartesiano de dos conjuntos (el producto cartesianoes el conjunto de todos los pares ordenados entre elementos de y ), con la propiedad de que cada elemento de aparece en la primera coordenada de a lo sumo un par ordenado que pertenezca a . Esta regla de asignamiento permite definir algunos conceptos, como el dominio de , que es un subconjunto de , y que consiste en todas las primeras coordenadas de elementos de , y el conjunto imagen, que es el subconjunto de que consiste de todas las segundas coordenadas de elementos de .

Una funcin, en sentido ms formal, es entonces una regla de asignamiento junto con un conjunto , que contiene al conjunto imagen de . El dominio de la regla es el dominio de la funcin; el conjunto imagen de es tambin el conjunto imagen de la funcin; y el conjunto se conoce como el rango de la funcin. Veamos cmo se aplica esto a tu ejemplo:

Esto que te dan aqu es la regla de asignacin. Dado un , la regla te dice cmo obtener un . Como no han explicitado nada ms, podemos asumir que los conjuntos de los cuales sacas cada y cada son Primero veamos qu es lo que la regla establece. Supongamos que le doy un y=5. Entonces par pares. . De modo que se forma el " />. Puedes verificar que y son tambin

La regla, en este caso, son todos los pares

para los cuales el ejemplo dado (por

tiene sentido. Por supuesto, hay casos de paressin sentido, como qu?). Retomemos, ahora, la definicin de funcin que estamos usando:

Una funcin, en sentido ms formal, es entonces: una regla de asignamiento En efecto, este requisito se cumple, pues tenemos una serie de pares ordenados, y adems, a cada primera coordenada , le corresponde slo una segunda coordenada . (puedes encontrar alguna coordenada tal que existan dos segundas coordenadas posibles ? Cmo demostraras que no pueden haber varias?) ...junto con un conjunto , que contiene al conjunto imagen de con

Cul es el conjunto imagen de ? Pues todas las segundas coordenadas de sentido. Puedes determinar cules sern?

Para encontrar el tal , entonces, bastar escoger a cualquier conjunto que contenga al conjunto imagen de (la regla), es decir, bastar escoger a cualquier conjunto que contenga a todas las segundas coordenadas con sentido de (la regla). Puedes encontrar un conjunto que cumpla eso? ...El dominio de la regla es el dominio de la funcin

Recuerdas la definicin del dominio de la regla? Eran todas las primeras coordenadas posibles en la regla . Puedes escribir la definicin del conjunto de todas las primeras coordenadas posibles de la regla? ...el conjunto imagen de es tambin el conjunto imagen de la funcin

Pues lo que dice, bautiza al conjunto imagen de la funcin como el conjunto imagen de la regla!

...y el conjunto

se conoce como el rango de la funcin. , entonces, bautzalo como el rango de la

Lo mismo que antes. Tras encontrar funcin.*

Sin embargo, t tienes otro nombre all: el contradominio. Asumo que se refieren al conjunto imagen de la funcin. No hay ms misterio que el hecho de que diferentes profesores y autores, nombran a veces a estos conjuntos de formas no usuales, tal vez para ayudar a su forma de explicar estos temas. Algo importante es saber diferenciar la funcin (que, como ves, es una coleccin de requisitos y nomenclatura que deben juntarse todos a la vez), con la regla, que es el "algoritmo" que te permite encontrar cada par correspondiente a un nmero que vayas probando. No obstante, a ti te piden ayudarte de una grfica. Como puedes darte cuenta, la grfica lo que hace es ir dibujando todos los pares (y,x) de la regla dada. Una "ayuda" visual consiste en ver si una lnea vertical imaginaria, que barre de izquierda a derecha el grfico (o viceversa), cruza ms de una vez a la curva de la funcin (que en este caso es una parbola un poco descolocada). Toma en cuenta que no es lo mismo tomar pares (y,x) que pares (x,y). De hecho, si tomas los segundos, ya no tendrs una funcin. Esta ayudita de la lnea vertical imaginaria ahora se comportar diferente. Puedes encontrar la relacin entre la definicin de una funcin y el hecho de que cruce o no la curva una sola vez? Espero que esta introduccin te sirva para no slo conocer los nombres de las cosas, sino ir visualizando cmo en matemtica, y en especial cuando se habla de funciones, es vital ir incorporando ideas de cmo cada conjunto representa algo en especial de la funcin. Todos esos nombres: rango, imagen, contradominio, dominio, etc, son conjuntos!

-------------------------* Dependiendo de diferentes nomenclaturas, encontrars ligeras variaciones entre lo que se considera rango y conjunto imagen de una funcin. Pero para propsitos inmediatos, lo desarrollado es buen consenso (lo otro, sera inmiscuirse en subconjuntos del conjunto de llegada y, si bien ayuda a lo formal, no agrega ms a lo intuitivo).[/tex]