Está en la página 1de 45

Gua Del estudiante Modalidad a distancia

Modulo MATEMTICA FUNDAMETAL PARA INGENIERA DE SITEMAS I SEMESTRE

DATOS DE IDENTIFICACION TUTOR Telfono E-mail Lugar Luis Enrique Alvarado Vargas 435 29 52 CEL. 310 768 90 67 leav70@gmail.com Madrid Cundinamarca
BIENVENIDA

Corporacin Universitaria Minuto de Dios Rectora Cundinamarca

UNIDAD DE TRABAJO No.4


De qu manera un grafico aporta en la solucin de un problema en la programacin?

INDICADORES

Cmo se diferencian los distintos tipos de funciones y como se seleccionan?

Para qu sirven las funciones trascendentes en la solucin de problemas del contexto?

Introduccin RELACIONES Y FUNCIONES El concepto de relacin surge de manera natural en el anlisis de un sistema en general. Por ejemplo, en los nmeros naturales, podemos hablar de la relacin ser menor o igual que. Bajo esta relacin, por ejemplo, el se relaciona con el pero no al contrario, y el se relaciona con todos los elementos. En este captulo nos interesa estudiar las relaciones en general, la funciones (que son relaciones) y las relaciones de equivalencia. Nuestro estudio no ser disyunto: la igualdad es una relacin que es tanto funcin como relacin de equivalencia. Producto cartesiano Un par ordenada consta de dos elementos en que y , donde nos interesa el orden

aparecen los objetos. Llamemos (a, b) a esta pareja. Por ejemplo, (4, 6) (6, 4), pero {4. 6} = {6, 4}. En esencia nos gustara que todo par ordenado (a, b) cumpliera la siguiente propiedad: (a, b) = (a, b) si y slo si [ y ] (dos parejas ordenadas son iguales si y solo s sus elementos son iguales y aparecen en el mismo orden). Podramos definir el par ordenado (a, b) como el objeto con la propiedad anterior. Pero an mejor, podramos invertir los papeles (esto se hace frecuentemente en matemticas): dar una definicin conjuntista de (a, b) y mostrar que, as definido, este conjunto cumple la propiedad que queremos. Esto es lo que hacemos a continuacin: Definicin. (Par ordenado) Dados a, b elementos (o conjuntos!), definimos el par ordenado (a, b) as: (a, b) = {{a}, {a, b}}; (a, b) es llamado ''el par coma '''', o simplemente `` coma ''.

Por ejemplo, (4, 6) es el conjunto {{4}, {4,6}}, mientras que (6, 4) es el conjunto {{6}, {6, 4}}. Note que, por ejemplo, {4} (4,6) \ (6, 4) , y por esto concluimos (como queramos) que (4, 6) (6, 4). Antes de mostrar la propiedad que mencionamos anteriormente, vale la pena observar los siguientes hechos conjuntistas (cuya demostracin dejamos al lector), que utilizaremos constantemente:

1.

si y slo si

no es un singleton (un singleton es, como su es un

nombre se indica, un conjunto de un elemento. Por ejemplo, singleton). 2. Teorema. (Propiedad del par ordenado) Demostracin. [Prueba] La direccin entonces la si y slo si [ y si y slo si.

es inmediata por la definicin de par ordenado. Probemos otra direccin. Suponga que , esto es,

. Hay 2 casos: Caso 1: : en este caso . Pero esto implica que . Entonces podemos concluir , lo cual a su vez implica que son el mismo elemento, y en particular .

Caso 2: cual implica que Pero esto

: Entonces

tiene 2 elementos (por que?), lo (siendo el mismo conjunto) tiene 2 elementos.

implica

(por

qu?)

que o

Como . Pero

, entonces la segunda opcin es imposible, luego Similarmente o

, es decir,

, pero la primera opcin es

imposible, as que

. Esto implica que y

, pero la

primera opcin es imposible (pues . Dados dos conjuntos y

), luego concluimos que

podemos formar el conjunto todas las parejas

ordenadas , donde la primera coordenada ( ) viene de , y la segunda coordenada ( ) viene de . A este conjunto lo llamamos el producto cartesiano de y y lo notamos as: . Formalmente:

Definicin 68 (Producto cartesiano)

Notacin:

Ejemplo 69 (Ejemplos de producto cartesiano) A continuacin unos ejemplos del producto cartesiano:

Si

, .

entonces tiene 2

elementos, tiene 3, y tiene (de ah la palabra ``producto'' en la definicin). Si , entonces es llamado el plano cartesiano. Las caricaturas y dems objetos bidimensionales viven en : un crculo no es otra cosa que cierto subconjunto de (d un ejemplo). Nosotros, los seres tridimensionales, vivimos en , sin importar qu conjunto sea ( para abreviar).

(por qu?).

Lema 70 (Algunas propiedades del producto cartesiano) 1. 2. Para 3. Para . conjuntos no vacos, conjuntos no vacos, si y slo si si . y slo si

4.

5.

La prueba del anterior lema es dejada como ejercicio. As como hemos definido un par ordenado, podemos definir una ordenada ( natural positivo) como un objeto tal que: -tupla

si y slo si para todo . La definicin de una -tupla es recursiva. Esto es, para definir una -tupla:

tupla

recurrimos a la definicin de una Definicin 71 Para as:

natural positivo, definimos recursivamente la

-tupla

Para Para Para

, , ,

. . .

Por ejemplo, dar cuenta, toda tupla similarmente, la y . -tupla (

. Como el lector se ) es un par ordenado! En el ejemplo, la y . Y

es el par ordenado cuyas coordenadas son -tupla

es el par ordenado cuyas coordenadas son

Similarmente podemos generalizar el producto cartesiano y definir el producto de conjuntos as:

Cuando hayamos visto la nocin de funcin veremos cmo podemos definir el producto de infinitos conjuntos.

. EJERCICIOS: 1. Cmo se comparan los siguientes conjuntos? 1. 2. Cmo se . 3. Cmo se compara 4. Cmo se Vs. compara . 5. 2. Muestre que 3. Si tiene elementos y cuntas relaciones de a tiene hay? Vs. . . elementos ( naturales), . Vs. Vs. compara . Vs.

Relaciones En la mayora de los casos, por simplicidad, hablaremos de relaciones binarias, en donde la relacin se da entre dos objetos. Un ejemplo de tal relacin (dmosle un nombre, ) es la que ocurre entre personas y libros, en donde una persona libro y un libro estn '' -relacionados" si y slo si y estn ha ledo el

. Podemos abreviar la afirmacin ''

-relacionados" de

modo natural, as: . Visualmente esto sugiere que los objetos y estn ligados por la relacin . Diremos que es una relacin entre los conjuntos y (conjuntos de todos los seres humanos y todos los libros, respectivamente). Pero lo anterior sugiere que la relacin no es un objeto (como y lo son). Sin embargo hay una manera de ``convertir'' a en un objeto, ms precisamente en un conjunto!. Lo cual no debe sorprender al lector, pues un conjunto es en muchos casos un objeto que representa ciera informacin al tener o no ciertos elementos. En nuestro caso, conocer la relacin consiste en conocer dos cosas, a saber: 1. Los dos conjuntos entre los cuales es la relacin: en este caso, (seres humanos y libros). y

2. La lista de todas las parejas relacionadas por la relacin : (Jhon Benavides, El extranjero), (Vernica Mario, Cien aos de soledad), (Julin Castillo, El Quijote), ... Naturalmente la lista (o conjunto) de todas las parejas relacionadas por la relacin por si sla nos da la informacin esencial de la relacin . As que convertimos a en objeto, esto es, en conjunto, en el conjunto de parejas relacionadas por la relacin que tenamos en mente:

es un ser humano, a O lo que es igual:

es un ser humano, y

ha ledo

ha ledo a

As las cosas, la afirmacin ``

'' ser una abreviacin de ``

''. Una

vez ms, el smbolo (y ms precisamente, la nocin de pertenencia) ayuda a fundamentar y formalizar conceptos en principio nuevos. Ahora resulta evidente que preguntarse cules son todas las posibles relaciones de a equivale a preguntarse cules son todos los posibles conjuntos de parejas de la forma , donde y es y . Se conluye que !.

el conjunto de todas las relaciones entre

Las motivaciones anteriores nos llevan a la definicin de relacin (binaria): Definicin. (Relacin) un subconjunto de Una relacin entre . y (conjuntos cualquiera) es

Por conveniencia si es una relacin entre y , diremos que es una relacin sobre . Por ende, el conjunto de relaciones sobre es . Antes de continuar es menester ver algunos ejemplos de relaciones: Ejemplo 1. Sea la relacin descrita mediante el siguiente esquema:

Entonces

Ejemplo 2. (La relacin ser madre de) Sea la relacin (entre humanos) ser madre de. Esto es, si y slo si es madre de . es una relacin sobre . Sabemos, por ejemplo, que para todo , , pues nadie puede ser su propia madre. Adems si

, entonces . Esto ilustra que el concepto de relacin no es en general simtrico, de modo que al decir los objetos que se relacionan, importa el orden en que stos se mencionan. Por supuesto hay muchas relaciones simtricas, como la relacin ser hermano. Ejemplo 3. (La relacin Sea si y slo si ) : existe tal que . Es claro que , de modo que .

si y slo si

. Otra forma de escribir esta relacin es as:

Ejemplo 4.

(La relacin vaca)

Dado que

, por definicin

tenemos que es una relacin, la relacin vaca o trivial. Ejemplo 5. (La relacin identidad) Dado un conjunto cualquiera, definimos la relacin . Note que Ejemplo 6. (La relacin Dado . ) sobre as: . En otras palabras, si y slo si

un conjunto cualquiera, definimos la relacin

si y slo si Es decir,

Observe que

est

-relacionado con todos los subconjuntos de estn -relacionados con

,y

todos los subconjuntos de

. De modo que,

coloquialmente hablado, la relacin

posee siempre un piso y un techo.

Ahora definimos las nociones de dominio, imagen y campo de una relacin: Definicin. conjuntos: Sea una relacin de en . Definimos los siguientes

1. El dominio de 2. La imagen de 3. El campo de ,

, , .

Ejemplo 1.

Sea

1. 2. 3. .

Es

claro

que

para

toda

relacin

, de modo que toda relacin puede verse como un subconjunto de para un conjunto (no necesariamente nico). Esto es, podemos definir relacin como un subconjunto de , para un conjunto . Definicin. Dada siguientes conjuntos: una relacin, y un conjunto cualquiera, definimos los

1. La imagen de . preimagen

bajo

: existe

tal que

2. La

imagen : existe

inversa tal que

de

bajo .

Ejemplo 2. Sea

. Tenemos:

1.

2. . 3. La imagen del conjunto de los pares bajo es el conjunto de los impares y la imagen del conjunto de los impares bajo es el conjunto de los pares. 4. La preimagen del conjunto de los pares bajo es el conjunto de los impares positivos; la imagen de los enteros negativos es igual al conjunto vaco.

Ejemplo 3 Sea

. Tenemos:

1. 2. 3. 4. conjunto). 5.

. . . (en este caso decimos que deja fijo a como

El siguiente lema establece las relaciones bsicas entre los conceptos de dominio, imagen, imagen de un conjunto y preimagen de un conjunto:

Teorema 4 Sea

una relacin, con

. Tenemos:

1. 2. 3.

. . .

4.

Demostracin. [Prueba] La prueba se deja como ejercicio. Dada una relacin , definimos su inversa, :

Definicin. (Relacin inversa) Dada

una relacin, su inversa es la relacin si y slo si .

. En otras palabras,

Por ejemplo, la relacin inversa de la relacin padre es la relacin hijo, y la relacin inversa de la relacin hermano es ella misma. La relacin inversa de divide es ser mltiplo. Para antes de seguir leyendo:

1. 2.

. .

Aqu hemos introducido un problema notacional: denota, por un lado, la preimagen de bajo , y por otro lado, pero la imagen de bajo ! El siguiente lema muestra que los dos conjuntos anteriores siempre coinciden, eliminando as cualquier posibilidad de ambigedad: Lema. Para una relacin y un conjunto, La imagen inversa de bajo es igual a la imagen de bajo . Demostracin. [Prueba]Sea la preimagen de bajo , e la imagen de bajo la relacin . Debemos probar que . Para cualquiera se tiene:

La segunda equivalencia vale ya que Concluimos que . e

si y slo si

poseen los mismos elementos, luego

Propiedades de las relaciones

Definicin (Propiedades de las relaciones) Sea un conjunto . Diremos que es:

una relacin binaria sobre

1. Reflexiva sobre 2. Irreflexiva sobre 3. Simtrica si 4. Asimtrica si 5. Antisimtrica si 6. Transitiva si :

si si

: :

. . .

: : :

. . .

Para antes de seguir leyendo: 1. Recuerde que anteriores cumple 2. Recuerde que dado es una relacin sobre ? un conjunto no vaco, es una relacin sobre ? . Qu propiedades de las

. Qu propiedades de las anteriores cumple

Un orden parcial sobre transitiva sobre relacin sobre Diremos que . Si

es una relacin es un orden parcial sobre si y slo si

reflexiva, antisimtrica y , definimos y (para como la ). . Note que

dada por:

es el orden parcial estricto sobre ,y

asociado a

conjuntistamente transitiva. Clausuras de relaciones

es una relacin irreflexiva, antisimtrica y

Imaginemos una relacin cualquiera . Suponga que estamos interesados en transformar a en una relacin reflexiva, aadiendo, si se necesita, ms elementos a la relacin, o en otras palabras, extendindola. Por ejemplo, sea ,y la siguiente relacin sobre :

Para que

sea simtrica, debemos agregarle los elementos

. ,

Esto es, la relacin

es una extensin reflexiva de

es decir, y es reflexiva. Adems es claro que reflexiva que contiene a en el siguiente sentido: Si es una relacin reflexiva y , entonces

es la mnima relacin

El ejemplo anterior ilustra lo que queremos hacer: cerrar una relacin, aadiendo el mnimo nmero de elementos, para que ella se transforme en una relacin con la propiedad (donde = reflexividad, simetra o transitividad). Definicin, (Clausuras de una relacin) definimos las siguientes relaciones: Dada una relacin sobre ,

1. La clausura reflexiva de una relacin reflexiva sobre 2. La clausura simtrica de simtrica y .

es la relacin y .

es

es la relacin

es

3. La clausura transitiva de transitiva y .

es la relacin

es

Note que extensin de

, luego la clausura reflexiva de (lo mismo vale, claro est, para y

es siempre una ).

Primero veamos que las clausuras cumplen con la propiedad de minimalidad que pretendamos que tuvieran: Teorema. Dada una relacin sobre :

es la mnima relacin reflexiva que contiene a es reflexiva, y para toda relacin . sobre

; en otras palabras, , si , entonces

es la mnima relacin simtrica que contiene a

es la mnima relacin transitiva que contiene a Demostracin. [Prueba]

Probamos (1), y el resto se dejan al lector. Para ver que sea decir, . Entonces para toda relacin sobre reflexiva, y

es reflexiva, , es . .

es relacin reflexiva sobre

Ahora probamos minimalidad: sea Entonces Teorema. Sea :

una relacin reflexiva que contiene a y . Entonces .

es relacin reflexiva sobre una relacin sobre

para

Si

tiene la propiedad

, entonces

Demostracin. [Prueba] Si tiene la propiedad , entonces claramente es la mnima relacin con la .

propiedad

que contiene a

, as que por el teorema 89,

As, por ejemplo, la clausura transitiva de una relacin transitiva es ella misma. Corolario. Sea : una relacin sobre . Entonces para

. Demostracin. [Prueba] Se deja como ejercicio al lector.

Las definiciones de son en principio complicadas. A continuacin veremos caracterizaciones de ellas mucho ms simples, al menos en el caso de reflexividad y simetra.

Teorema. (Caracterizacin de las clausuras) Entonces: (a)

Sea

una relacin sobre

. (b)

. (c)

, en donde Demostracin. [Prueba] (a) Dado , una relacin reflexiva sobre , y

, luego es que contiene a . Por ende, es . Por .

. Para la otra inclusin, basta obsetvar que si una relacin reflexiva que contiene a el lema 24 (b) Similar a (a). , entonces es reflexiva y

EJERCICIOS: RELACIONES

1. Diremos que una relacin . Muestre que si transitiva.

es completa si existe es completa entonces

tal que es simtrica y

2. Sean relaciones sobre . Para cada una de las siguientes afirmaciones, determine si es verdadera o falsa, dando una demostracin o un contraejemplo respectivamente: 1. Si y son reflexivas sobre , entonces tambin lo es. 2. Si y son simtricas, entonces tambin lo es. 3. Si y son transitivas, entonces tambin lo es. 3. Sea una relacin sobre . 1. Muestre que es asimtrica si y slo si .

2. Muestre que es antisimtrica si y slo si . 3. Concluya que toda relacin asimtrica es antisimtrica, y d un ejemplo de una relacin antisimtrica pero no asimtrica. 4. Una herramienta frecuente y muy importante en matemticas consiste en construir una cadena o serie de objetos cada vez ms complejos, que compartan cierto conjunto de propiedades, y tomar el ``lmite'' de tal cadena, que consistir en un objeto que conservar varias propiedades de sus ``precursores''. En este ejercicio se construir una relacin como el lmite (unin) de ciertas relaciones , y como se ver, ciertas se preservarn

propiedades de las relaciones que ``aproximan'' a en el lmite, esto es, tambin sern propiedades de . Para cada sobre el conjunto Muestre que sobre el conjunto 5. Para cada sea sea

una relacin reflexiva, simtrica y transitiva , .

, y suponga que para todo

es una relacin reflexiva, simtrica y transitiva . una relacin. Muestre por , ). ? sea que

. Vale lo mismo si se cambia 6. Dado un conjunto ( y

1. Qu conjunto es 2. Muestre que si 3. Dados 4. Dados

? e , entonces

? . y y ? ?

, cmo se comparan , cmo se comparan

Funciones Dados dos conjuntos A y B, llamamos funcin a la correspondencia de A en B en la cual todos los elementos de A tienen a lo sumo una imagen en B, es decir una imagen o ninguna. Funcin real de variable real es toda correspondencia f que asocia a cada elemento de un determinado subconjunto de nmeros reales, llamado dominio, otro nmero real. f:D x f(x) = y

El subconjunto en el que se define la funcin se llama dominio o campo existencia de la funcin. Se designa por D. El nmero x perteneciente al dominio de la funcin recibe el nombre de variable independiente. Al nmero, y, asociado por f al valor x, se le llama variable dependiente. La imagen de x se designa por f(x) . Luego y= f(x) Se denomina recorrido de una funcin al conjunto de los valores reales que toma la variable y o f(x). x

Conjunto inicial Conjunto final Dominio Conjunto imagen o recorrido El dominio es el conjunto de elementos que tienen imagen. D = {x / f (x)}

El recorrido es el conjunto de elementos que son imgenes. R = {f (x) / x D}

El dominio es el conjunto de elementos que tienen imagen. D = {x / f (x)}

Conjunto inicial Conjunto final Dominio Conjunto imagen o recorrido Estudio del dominio de una funcin Dominio de la funcin polinmica entera El dominio es R, cualquier nmero real tiene imagen. f(x)= x2 - 5x + 6 D=R

Funciones reales. Ejercicios y problemas 1Calcular el dominio de las funciones polinmicas: 1

2 2Calcular el dominio de las funciones racionales:

5 3Calcular el dominio de las funciones radicales: 1 2 3 4 5 6 7 8

10

11 4Calcular el dominio de las funciones exponenciales: 1

2 5Calcular el dominio de las funciones logartmicas: 1

2 6Calcular el dominio de las funciones trigonomtricas: 1 2 7Estudia la simetra de las siguientes funciones: 1 f(x) = x 6 + x 4 - x 2 2f(x) = x5+ x3 - x 3 f(x)= x |x| 4f(x) = |x| 1 8Estudia el crecimiento o decrecimiento de las siguientes funciones en los puntos que se indican: 1f(x) = 5x - 3x + 1 en x = 1

2 9Hallar las funciones inversas de: 1

2 4 10Dadas las funciones:

Calcular: 1 2 3 4 5 6 7Probar que: 11Dadas las funciones:

Calcular: 1 2

Dominio de la funcin racional El dominio es R menos los valores que anulan al denominador (no puede existir un nmero cuyo denominador sea cero).

Dominio de la funcin irracional de ndice impar El dominio es R.

Dominio de la funcin irracional de ndice par El dominio est formado por todos los valores que hacen que el radicando sea mayor o igual que cero.

Dominio de la funcin logartmica El dominio est formado por todos los valores que hacen que el radicando sea mayor que cero.

Dominio de la funcin exponencial El dominio es R. Dominio de la funcin seno El dominio es R. Dominio de la funcin coseno El dominio es R. Dominio de la funcin tangente

Dominio de la funcin cotangente

Dominio de la funcin secante

Dominio de la funcin cosecante

Dominio de operaciones con funciones Si relizamos operaciones con funciones, el dominio de la funcin resultante ser:

Si f es una funcin real, a cada par (x, y) = (x, f(x)) determinado por la funcin f le corresponde en el plano cartesiano un nico punto P(x, y) = P(x, f(x)). El valor de x debe pertenecer al dominio de definicin de la funcin. Como el conjunto de puntos pertenecientes a la funcin es ilimitado, se disponen en una tabla de valores algunos de los pares correspondientes a puntos de la funcin. Estos valores, llevados sobre el plano cartesiano, determinan puntos de la grfica. Uniendo estos puntos con lnea continua se obtiene la representacin grfica de la funcin.

f(x)

10

Grafo de una funcin Grafo de una funcin es el conjunto de pares formados por los valores de la variable y sus imgenes correspondientes. G(f) = {x, f(x) /x D(f)}

Sistema de coordenadas cartesianas Un sistema de coordenadas cartesianas es un par de rectas graduadas, perpendiculares, que se cortan en un punto O(0,0), llamado origen de coordenadas. A la recta horizontal se llama eje de abscisas, y a su perpendicular por O, eje de ordenadas. Se puede representar una funcin en el plano haciendo corresponder a cada par del grafo un punto determinado, marcando en el eje de abscisas el valor de su variable y en el de ordenadas, su correspondiente imagen. Composicin de Funciones

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 Dominio D(g o f) = {x Df / f(x) Dg}

Propiedades Asociativa: f o (g o h) = (f o g) o h No es conmutativa. foggof El elemento neutro es la funcin identidad, i(x) = x. foi=iof=f Se llama funcin inversa o reciproca de f a otra funcin f1 que cumple que:

Si f(a) = b, entonces f1(b) = a.

Podemos observar que: El dominio de f1 es el recorrido de f. El recorrido de f1 es el dominio de f. Si queremos hallar el recorrido de una funcin tenemos que hallar el dominio de su funcin inversa. Si dos funciones son inversas su composicin es la funcin identidad. f o f -1 = f -1 o f = x Las grficas de f y f -1 son simtricas respecto de la bisectriz del primer y tercer cuadrante.

Hay que distinguir entre la funcin inversa, f1(x), y la inversa de una funcin, .

Clculo de la funcin inversa 1Se escribe la ecuacin de la funcin con x e y. 2Se despeja la variable x en funcin de la variable y. 3Se intercambian las variables. Calcular la funcin inversa de:

Vamos a comprobar el resultado para x = 2

En este tema para realizar el estudio de una funcin analizaremos los siguientes puntos: Crecimiento y decrecimiento. Cotas. Mximos y mnimos absolutos y relativos. Simetra. Periodicidad. En otro tema veremos estos puntos bajo otra ptica y otros puntos como: Puntos de corte con los ejes. Asntotas. Intervalos de crecimiento y decrecimiento.

Extremos relativos o locales. Puntos de inflexin. Concavidad y convexidad. Tasa de variacin Crecimiento y decrecimiento de una funcin) El incremento de una funcin se llama tasa de variacin, y mide el cambio de la funcin al pasar de un punto a otro. t.v.= f(x+h) - f(x)

Funcin estrictamente creciente

f es estrictamente creciente en a si slo si existe un entorno de a, tal que para toda x que pertenezca la entorno de a se cumple:

La tasa de variacin es positiva. Funcin creciente

f es creciente en a si slo si existe un entorno de a, tal que para toda x que pertenezca la entorno de a se cumple:

La tasa de variacin es positiva o igual a cero.

Funcin estrictamente decreciente

f es estrictamente decreciente en a si slo si existe un entorno de a, tal que para toda x que pertenezca la entorno de a se cumple:

La tasa de variacin es negativa.

Funcin decreciente

f es decreciente en a si slo si existe un entorno de a, tal que para toda x que pertenezca la entorno de a se cumple:

La tasa de variacin es negativa o igual a cero. Cotas Funcin acotada superiormente Una funcin f est acotada superiormente si existe un nmero real k tal que para toda x es f(x) k. El nmero k se llama cota superior.

k=0.135 Funcin acotada inferiormente Una funcin f est acotada inferiormente si existe un nmero real k tal que para toda x es f(x) k. El nmero k se llama cota inferior.

k = 2 Funcin acotada Una funcin esta acotada si lo est a superior e inferiormente. k f(x) k

k=

k = -

Mximo absoluto Una funcin tiene su mximo absoluto en el x = a si la ordenada es mayor o igual que en cualquier otro punto del dominio de la funcin.

a=0 Mnimo absoluto Una funcin tiene su mnimo absoluto en el x = b si la ordenada es menor o igual que en cualquier otro punto del dominio de la funcin.

b=0 Mximo y mnimo relativo Una funcin f tiene un mximo relativo en el punto a, si f(a) es mayor o igual que los puntos prximos al punto a. Una funcin f tiene un mnimo relativo en el punto b, si f(b) es menor o igual que los puntos prximos al punto b.

a = 3.08

b = -3.08

Clculo de mximos y mnimos relativos Si f es derivable en a, a es un extremo relativo o local si: 1. Si f'(a) = 0. 2. Si f''(a) 0. Mximos locales Si f y f' son derivables en a, a es un mximo relativo o local si se cumple: 1. f'(a) = 0 2. f''(a) < 0

Mnimos locales Si f y f' son derivables en a, a es un mnimo relativo o local si se cumple: 1. f'(a) = 0 2. f''(a) > 0 Clculo de mximos y mnimos Estudiar los mximos y mnimos de: f(x) = x3 3x + 2 Para hallar sus extremos locales, seguiremos los siguientes pasos: 1. Hallamos la derivada primera y calculamos sus races. f'(x) = 3x2 3 = 0 x = 1 x = 1. 2. Realizamos la 2 derivada, y calculamos el signo que toman en ella los ceros de derivada primera y si: f''(x) > 0 Tenemos un mnimo. f''(x) < 0 Tenemos un mximo. f''(x) = 6x f''(1) = 6 Mximo f'' (1) = 6 Mnimo 3. Calculamos la imagen (en la funcin) de los extremos relativos. f(1) = (1)3 3(1) + 2 = 4 f(1) = (1)3 3(1) + 2 = 0 Mximo(1, 4) Mnimo(1, 0)

Simetra respecto del eje de ordenadas. Funcin par Una funcin f es simtrica respecto del eje de ordenadas cuando para todo x del dominio se verifica: f(x) = f(x) Las funciones simtricas respecto del eje de ordenadas reciben el nombre de funciones pares.

Simetra respecto al origen. Funcin impar Una funcin f es simtrica respecto al origen cuando para todo x del dominio se verifica: f(x) = f(x) Las funciones simtricas respecto al origen reciben el nombre de funciones impares.

Una funcin f(x) es peridica, de perodo T, si para todo nmero entero z, se verifica: f(x) = f(x + zT)

La funcin f(x) = sen x es peridica de periodo 2, ya que cumple que: sen (x + 2) = sen x

La funcin f(x) = tg x es peridica de periodo , ya que cumple que: tg (x + ) = tg x

La funcin mantisa, f(x) = x - E(x), es peridica de periodo 1. Si tenemos una funcin peridica f(x) de periodo T, la funcin g(x) = f(kx) tiene de periodo:

Hallar el periodo de las funciones: 1f(x) = sen 2x

2f(x) = tg (1/2)x

3f(x) = E (1/2)x

Puntos de corte con el eje OX Para hallar los puntos de corte con el eje de abscisas hacemos y = 0 y resolvemos la ecuacin resultante. Ejemplo Hallar los puntos de corte con el eje OX de la funcin:

Punto de corte con el eje OY Para hallar el punto de corte con el eje de ordenadas hacemos x = 0 y calculamos el valor de f(0). Ejemplo Hallar el punto de corte con el ejes OY de la funcin:

Ejemplo de puntos de corte con los ejes Hallar los puntos de corte con los ejes de la funcin:

EJERCICIOS: FUNCIONES

1. Sea 2. .

la funcin

. Quin es

? Es

1-1? Y sobreyectiva? 1. D un ejemplo de dos funciones cuya composicin sea inyectiva pero alguna de ellas no lo sea. 2. D un ejemplo de dos funciones cuya composicin sea sobreyectiva pero alguna de ellas no lo sea. 3. Dada , y . , Dado definimos inductivamente Encuentre as: una

funcin . 4. Sea ,

, tal que

sea el mnimo natural

tal que

. (bajo qu condicin sobre vale

1. Muestre que siempre la igualdad?). 2. Muestre que siempre la igualdad?). 3. Concluya que 5. Para , sea

(bajo qu condicin sobre

vale

una biyeccin. Muestre que .

6. Sea . Diga si las siguientes afirmaciones son verdaderas o falsas (dar una prueba o un contraejemplo): 1. Para , si son disyuntos. 2. Para , si son disyuntos. 7. Sea, para cada natural 1. Muestre que es el conjunto 2. Cmo se comparan los conjuntos y , una funcin cualquiera. es tambin una funcin. (Recuerde que ). ? y son disyuntos entonces y y son disyuntos entonces y

3. Cmo se comparan los conjuntos y ? 8. Sea un conjunto no vaco. Demuestre que existe una biyeccin que no fija puntos, esto es, que verifica para todo 9. Pensemos en cualquiera. Dado . como el conjunto , sea y sea un conjunto

la funcin:

si que

si

. Note que

. Muestre

es una biyeccin.

Referencias Bibliogrficas http://www.vitutor.com/fun/2/a_r.html FUNCIONES REALES http://www.scribd.com/doc/132491/FUNCIONES-REALES-Y-SUS-GRAFICAS http://elcentro.uniandes.edu.co/cr/mate/estructural/libro/estructural/node21.html RELACIONES Y FUNCIONES Bibliografa 1 Peter J. Cameron: Sets, Logic and Categories 1a. ed. Springer (1998). 2 Karel Hrbacek, Thomas Jech: Introduction to Set Theory 3a. ed. Marcel Dekker (1999). 3 : Teora de nmeros para principiantes 1a. ed. Universidad Nacional de Colombia (1999). 4 J. Donald Monk: Introduction to Set Theory 1a. ed. McGraw Hill (1969).