RELACIONES Y FUNCIONES

Dos franceses reciben el crdito de crear la idea del sistema de coordenadas. Pierre de Fermat era un abogado que haca matemticas por aficin. En 1629, escribi una notas donde haca uso explcito de coordenadas para describir puntos y curvas. Ren Descartes era un filsofo que pensaba que las matemticas eran la llave para descubrir los secretos del universo.En 1637 public La Gomtrie. Es un libro muy famoso, y aunque pone nfasis en el papel del lgebra para resolver problemas de geometra slo sugiere vagamente el uso de coordenadas. Fermat debera tener el mayor crdito por habrsele ocurrido la idea primero y de un modo ms explcito, pero las coordenadas se conocen como coordenadas cartesianas debido a Ren Descartes.

Observacin Sean E F con E F g, consideremos el producto cartesiano EF 1.- El producto cartesiano ms importante en esta asignatura es 2.- Recordemos que se representa en la llamada recta real. + oqqqqqqqqqqqqp 3.-Del mismo modo representaremos a en el llamado plano cartesiano,el cual denotaremos por # , donde Cada para ordenado de se puede representar graficamente trazando una recta horizontal y una vertical que se cortan en el origen !. La recta horizontal S\ se llama eje B y la recta vertical S] , eje C El plano determinado por los dos ejes recibe el nombre de plano cartesiano .

Un punto T del plano coordenado se puede identificar con el par ordenado + , y se denota T + , ; + ,

RELACIONES EN EL PLANO CARTESIANO Definicin Sean E F con E F g Llamaremos relacin de E en F a todo subconjunto no vaco de E F . Definicin Sea V una relacin de E en F 1.2.Definicin Dada V relacin de E en F , llamaremos : 1.- Dominio de la relacin V al conjunto que denotaremos por H97V donde H97V B EbC F B C V 2.- Recorrido de la relacin V al conjunto que denotaremos por V/-V donde V/-V C FbB E B C V y + , V

Diremos que , es una imagen de + mediante V . Diremos que + es una preimagen de , mediante V

3.- dado B E Imagen de B al conjunto formado por las imagenes de B el cual denotaremos por M71B donde M71B C F B C V 4.- dado C F Preimagen de C al conjunto formado por las preimagenes de B el cual denotaremos por T </371C donde T </371C B E B C V 5.- Grafico de la relacin V al conjunto que denotaremos por K<+0 V donde K<+0 V B C # B C V 6.- Codominio de la relacin V al conjunto que denotaremos por G9.97Vdonde G9.97V F Ejemplo Dados E # " $ % & F " " # $ & ' se tiene que 1.- V" # " # " $ & % " & ' & $ es una relacin de E en F donde : H97V" # $ % & V/-V" " " $ & ' G9.97V" " " # $ & ' F M71 # " " M71 " g M71$ & T </371 " # T </371 " # % T </371# g K<+0 V"

2.- V# # $ " " " & $ " $ ' $ $ & " & ' es una relacin de E en F donde : H97V# # " $ & V/-V# " " $ & ' G9.97V# " " # $ & ' F M71 # $ M71 " " & M71$ " $ ' T </371 " " & T </371 " $ T </371# g K<+0 V#

Ejemplo Dada la relacin de en V B C B " # $ C % se tiene que V B C # B " # $ C % B C " B $ $ C % " $ $ % con lo cual H97V " $ V/-V $ % M71B $ % aB " $ T </371C " $ aC $ % K<+0 V

Ejemplo Dada la relacion : V B C " $ $ % #B C " Determine M71" M71 $ # M71B T </371 # T </371$ T </371C H97V V/-V K<+0 V Solucin para determinar el conjunto M71", consideramos en la funcin proposicional : #B C " que B " y determinamos los posibles valores para C #" C " C $ pero C $ % luego M71" g analogamente se tendra que : M71 $ # # ya que # $ # C " C # donde C $ % " #B B " " M71B g B " $ ya que

#B C " C " #B pero C $ % luego $ " #B % # #B & " B

& #

y como B " $ se tendra que C " #B si B " "

para determinar el conjunto T </371 #, consideramos en la funcin proposicional : #B C " que C # y determinamos los posibles valores para B #B # " B luego T </371 # " # analogamente se tendra que : T </371$ g ya que #B $ " B # donde B " $ "C C $ " # T </371C g B " %
" #

pero B " $

ya que

#B C " B "C # pero B " $ luego " "C $ # "C ' " C ( # " C ( y como C $ % se tendra que B "C si C $ " # con lo cual, se tiene que : H97V " " V/-V $ " K<+0 V

Ejemplo Sea

V B C # lB "l " " C # M71 " M71 " T </371" T </371"

Determine: Solucin

V B C # lB "l " " C # B C # B ! B # " C # se tiene que , K<+0 V

se tiene que : M71 " " # M71! T </371" T </371% # ! T </371#

Ejemplo Sea V B C # $B " # # C "

Determine H97V V/-V y K<+0 V Solucin V B C # $B " # # C " B C # B " $ _ # " H97V " $ _ K<+0 V V/-V # "
" $

# C "

Funciones Reales
Observacin A continuacin, nos detendremos en algunas relaciones especiales, las llamadas funciones, para ello recurriremos a sus conocimientos de las cnicas Ejemplo Dada la relacin W B C # C B# %B $ Determine H97W V/-W y K<+0 W Solucin W B C # C B# %B $ B C # C B# %B $ B C # C B ## " B C # B ## C " es una Parbola ,donde su grafico es :

luego, se tiene que H97W V/-W " _

Ejemplo Dada la relacin X B C # _ C B# %B $ Determine H97X G9.97X V/-X y K<+0 X Solucin Del ejemplo anterior consideremos W B C # C B# %B $ B C # C B# %B $ B C # C B ## " B C # B ## C " es una Parbola ,donde su grafico es : luego, se tiene que

Es claro que X W como B ! considerando el gfico se tendra

y como C ! considerando el grfico se tendra K<+0 X

por lo tanto

H97X " _

G9.97X V/-X

10

Definicin Sea 0 una relacin de E en F , donde E F con E Q F Q . Diremos que 0 es una funcin de E en F , si y slo si, para todo elemento B perteneciente al conjunto E, existe un nico elemento C perteneciente al conjunto F , tal que B C pertenece a 0. Es decir: a B Eb x C F B C 0 Ejemplo 1.- Se tiene que W B C #C $B " es una relacin de en en la cual se tiene que M7B
"$B #

; aB

por ello es claro que 0 es funcin de en , ya que : B C Ses Verdadera a B b x C "$B # pues : #C $B " # "$B # $B " " $B $B " Z 2.- Se tiene que X B C C# B es una relacin de en en la cual se tiene que M7B B B ; a B ! por ello es claro que 0 no es funcin de en ya que : a B b x C B C X es Falsa pues : H97X ! o bien ya que el C existente no es nico

11

3.- Se tiene que X B C C# B " es una relacin de en en la cual se tiene que M7B B " ; a B ! por ello es claro que 0 es funcin de en ya que : a B b x C B " B C X es Z

Observacin Si 0 es funcin de E en F se tendra que : decir B C 0 C 0 B y por ello, la funcion la denotaremos como 0 E qqqqqp F B qqqqqp 0 B y considerando las notaciones vistas en relaciones se tendra que 3 El conjunto E se llama Dominio de la funcin 0 . Notacin : H970 E El conjunto F se llama Codominio de la funcin 0 . Notacin : G9.970 F El conjunto C F 0 B C B E se llama Recorrido de la funcin 0 y se anota V/-0 3@ El conjunto B C 2 C 0 B se llama Grfico de la funcin 0 y se anota K0 Del Ejemplo anterior se tendra que

33

333

12

Ejemplos 1.- Se tiene que W B C #C $B " es una relacin de en la cual 0 es funcin de en luego, la denotaremos por W qqqqqp B qqqqqp "$B # 2.- Se tiene que X B C C# B " es una relacin de en en la cual es funcin de en luego, la denotaremos por X qqqqqp B qqqqqp B " Ejemplos 1.-Determinar mximo E tal que 0 E qqqqqp " $ sea funcin B qqqqqp #B " Solucin E H970 B bC " $ C 0 B B " 0 B $ B " #B " $ B " B " " " ademas, es clara la unicidad de la imagen, luego se tiene que 0 " " qqqqqp " $ es funcin B qqqqqp #B "
13

2.-Determinar mximo E tal que 1 E qqqqqp # ' sea funcin B qqqqqp #B " " Solucin E H971 B bC # ' C 1B B # 1B ' B # #B " " ' #B " ! B " #B " ( #B " ! B " #B " #B " ( #B " ! B #B " ( #B " ! B #B " %* #B " ! B ! #B " %* B " # #% ademas, es clara la unicidad de la imagen, luego se tiene que 1 " # #% qqqqqp # ' es funcin B qqqqqp #B " "
" #

B #%

14

3.-Determinar mximo E tal que 2 E qqqqqp # _ sea funcin B qqqqqp #B$ B" Solucin E H971 B bC # _ C 2B B # 2B B # B ! B ! B !
#B$ B"

B " !

#B$ B" %B& B" B & % B"

# B " B " B "

_ & % " _ ademas, es clara la unicidad de la imagen, luego se tiene que 2 _ & % " _ qqqqqp # _ es funcin B qqqqqqqqqp #B " "

15

Ejemplo Sea 0 E qqqqp " ' B qqqqqp a) b) c) Solucin a) Dom0 B bC " ' C 0 B B " ' $ " B $ # #B " ") ( $& B # #B " # $& ( B # #B " # $( & B # #B # $( & B % B % b) Como 0 B # $ C graficando P se tiene :
"

" # #B"

Determine mximo E tal que 0 sea funcin Grafique 0 Determine V/-0

" # #B"

$( %

& % " '

#B"

" # #B"

C # $ B

c)

V/-0 " '

16

Ejemplo Sea 1 E qqqqp " _ B qqqqqp B% a) b)

$B"

Determine mximo E tal que 1 sea funcin Determine V/-1

Solucin a) Dom1 B bC " _ C 1B B B B% #B &

#B& B% $B" B%

pero :

" B & % # ! ! !

#B& B%

con lo cual : Dom1 _ % & # _ b) V/-1 C " _ bB Dom1 C 1B pero : como C 1B se tiene que : C $B" B% CB % $B " C B $B %C " C $B %C " B %C" C $ con lo cual se tiene que : V/-1 C " _ bB Dom1 B %C" C $ C " _ C " _ B )C "$ C $
)C"$ C $ %C" %C" & C $ % C $ # $C"$ )C"$ C $ ! C $ ! )C"$ C $ ! C $ ! "$ $ )

C " _ pero :
"$ )

! !

con lo cual : V/-1

_$

17

Ejemplo Sea 2 E qqqqp # ( B qqqqqp #' B $ a) b) c) Determine mximo E tal que 2 sea funcin Grafique 2 Determine V/-2

Solucin a) Dom2 B bC # ( C 2B B # #' B $ ( B " #' B "! ' B ! B " %' B "!! ' B B ! '
#$ %

B "*
#$ %

! #$ %

B ! ' "* B

b) como 2B #' B $ C #' B $ C $# %' B C $# %B ' T

c)

V/-2 # #' $

18

Definicin Dadas las funciones : 0 E qqqqqp F B qqqqqp 0 B ; 1 G qqqqqp H B qqqqqp 0 B

Diremos que son iguales ssi E G F H aB E G0 B 1B lo cual denotaremos por 0 1 Ejemplo Las funciones 0 # % qqqqp # ) B qqqqqp B " son iguales ; 1 # % qqqqp # ) # " B qqqqqp B B"

19

Funciones Bsicas

1.-

0 qqqqqp B qqqqqp -

con - constante

se llama Funcin Constante y su grafico es

2.-

0 qqqqqp B qqqqqp B se llama Funcin Identidad en y su grafico es

3.-

0 E qqqqqpE B qqqqqp B se llama Funcin Identidad en E

20

4.-

0 qqqqqp B qqqqqp B# se llama Funcin cuadrtica y su grafico es

5.-

0 ! qqqqqp B qqqqqp B se llama Funcin raiz cuadrada y su grafico es

6.-

0 qqqqqp B qqqqqp B se llama Funcin valor absoluto

21

7.-

0 ! qqqqqp " B qqqqqp B su grafico es

8.-

0 qqqqqp " " B qqqqqp =/8B se llama Funcin seno

9.-

0 qqqqqp B qqqqqp -9=B se llama Funcin coseno

22

10.- 0 B B

1 #

5 1 qqqqqp

B qqqqqqqqqqqp >1B se llama Funcin tangente

Ejercicios 1. Dada 1 qqqqqp funcin, definida por 1B #B # a) b) c) d) 2. $B # =3 B &

=3 B &

Trace el grfico de 1 Determine V/-1 Determine la imagen de ) #! Determine la preimagen de " $ #!

Determine E , E maximal, de modo que 0 sea funcin

0 E qqqqqp
B 3.

B# % qqqqqp B# #B %)

Determine E , E maximal, de modo que 0 sea funcin

0 E qqqqqp "# "$

B qqqqqp &B #

23

Observacin Si 0 E qqqqp F es una funcin. Entonces toda recta vertical P B +, intersecta a lo ms en un punto al grfico de 0 Ejemplo Sea 0 E qqqqp $ " $ >qqqqqp # ># %> # a) b) c) Solucin Dom0 > bC $ " C 0 > > $ # ># %> # " ># %> !
$

Determine mximo E tal que 0 sea funcin Grafique 0 Determine V/-0

> " # ># %> " ># %> !

$ $ > # ># %> " ># %> !

> ! ># %> > > >

$# * % *

% *

> ## % !

> ## % > # #
% # $

% # $

> > # > > #

% # $

> # #
% # $

>#
24

# > # #

 > > # ! #
% # $

% # $

> #
% # % $

% # $

! > %

b) como 0 > # ># %> # C # ># %> #

$ $

C#

$ #

># %> C ##
* % >

* %

># %>

# C ## * % > # *

## C ## *

>## ##

C## $#

" I con C # !

luego, se tiene que :

c)

segn el grfico V/-0 # "

25

Ejemplo Sea 1 E qqqqp "" "! B qqqqqp B # $ B " % a) Determine mximo E tal que 1 sea funcin b) Grafique 1 c) Determine V/-1 Solucin a) Graficamente Se tiene que : por definicin del valor absoluto B # $ B " % B # #B" 1B B # $ B " % B" B # $ B " % #B" B # :P" %B $ # B " P# B" P$ #B * como cada una de las partes corresponde a una recta , se tiene que ,considerando los dominios correspondientes el grafico es :

con lo anterior se tiene que : E & "! y que V/-1 "" (

26

Definicin Sea 0 una funcin tal que: 0 Eqqqqqp F Bqqqqqp 0 B se dice que es 0 es una Funcin Inyectiva, si y slo si, a + , E0 + 0 , + ,

Observacin Sea 0 una funcin, 0 es una funcin inyectiva, si y slo si, toda recta horizontal P de ecuacin C , (, fijo en ) intersecta en a lo ms un punto al grfico de 0 . Ejemplo Dada la funcin 0 " " qqqqqp # * B qqqqqp B# %B # Determinar si 0 es inyectiva Solucin Sean + , " " tal que 0 + 0 , +# %+ # ,# %, # + ## # , ## # + ## , ## + # , # pero + , " " +# ,# + , es decir 0 es inyectiva

27

Ejemplo Dada la funcin 0 " " qqqqqp " % #B$ B qqqqqp B# Determinar si 0 es inyectiva Solucin Sean + , " " tal que 0 + 0 , #,$ #+$ +# ,# #+ $, # #, $+ # #+, %+ $, ' # ,+ %, $+ ' %+ $, %, $+ + , es decir 0 es inyectiva Ejemplo Dada la funcin 0 % $ qqqqqp $ $! B qqqqqp B# %B # Determinar si 0 es inyectiva Solucin Sean + , % $ tal que 0 + 0 , +# %+ # ,# %, # + ## # , ## # + ## , ## + # , # pero + , % $ + # , # + # , # + , + ,% es decir 0 no es inyectiva ya que si , $ + " 0 " 0 $ " tambien 3 ( 0 5 # 0 # %

28

Ejercicios En cada caso, determine si 0 es una funcin inyectiva:

1.-

0 qqqqqp B qqqqqp (B #

2.-

0 qqqqqp B qqqqqp

B #B $
#

3.-

0 " "! qqqqqp Bqqqqqp B# $ B si " B ! si ! B "!

Definicin Se 0 una funcin tal que: 0 Eqqqqqp F Bqqqqqp 0 B se dice que es 0 es una Funcin Epiyectiva, si y slo si , V/-0 G9.970 F

29

Ejemplo Dada la funcin 0 " " qqqqqp " ( B qqqqqp B# %B # Determinar si 0 es epiyectiva Solucin V/-0 C " ( bB " " C 0 B C " ( bB " " C B# %B # C " ( bB " " C B ## # C " ( bB " " B ## C # C " ( bB " " B # C # C " ( bB " " B # C # C " ( bB " " B # C # C " ( " # C # " C " ( " C # $ C " ( " C # * C " ( " C ( " ( es decir 0 es epiyectiva

30

Ejemplo Dada la funcin 0 " " qqqqqp " % #B$ B qqqqqp B# Determinar si 0 es epiyectiva Solucin V/-0 C " % bB " " C 0 B C " % bB " " C
#B$ B#

C " % bB " " B #C #B $ C " % bB " " BC #C #B $ C " % bB " " BC #B #C $ C " % bB " " BC # #C $ C " % bB " " B C " % " C " % " C " % ! C " % "
& $ C" C# #C$ C# #C$ C# #C$ C#

C #

" C #
#C$ C#

" C #

C" C#

$C& C#

! C # C #

! !

$C& C#

"%

es decir 0 no es epiyectiva

31

Ejemplo Dada la funcin 0 $ " qqqqqp " #$ B qqqqqp B# %B # Determinar si 0 es epiyectiva Solucin V/-0 C " #$ bB $ " C 0 B C " #$ bB $ " C B# %B # C " #$ bB $ " C B ## # C " #$ bB $ " B ## C # C " #$ bB $ " B # C # C # ! C " #$ bB $ " B # C # C " #$ bB $ " B # C # C " #$ $ # C # " C " #$ & C # " C " #$ " C # & C " #$ " C # #& C " #$ " C #$ " #$ es decir 0 es epiyectiva

32

Ejercicios En cada caso, determinar si 0 es una funcin epiyectiva: 0 $ _ qqqqqp B qqqqqp ) _ $B "

1.-

2.-

0 _ " qqqqqp " _ B qqqqqp B# "

3.-

0 "! "! qqqqqp * "& B qqqqqp 0 B 0 B B% B" si "! B " si " B "!

Definicin Se 0 una funcin tal que: 0 Eqqqqqp F Bqqqqqp 0 B se dice que 0 es una Funcin Biyectiva, si y slo si, es inyectiva y epiyectiva

33

Ejemplo Haga las restricciones mnimas necesarias para obtener a partir de 0 una funcin 0" biyectva , si 0 qqqqqqp ; 0 aBb B# "#B #).

Solucin Como 0 aBb B# "#B #) C B# "#B #) C B '# ) B '# C ) T corresponde a una pabola ,cuyo grfico es :

por dicho grfico ,es claro que 0 no es biyectiva ya que no es inyectiva y no es epiyectiva pero ,si consideramos la funcin: "" "! 0" _ ' qqqqqqp ) _ es biyectiva B qqqqqqp B# "#B #).

34

Ejemplo Haga las restricciones mnimas necesarias para obtener a partir de 0 una funcin 0" biyectva , si 0 c " "d qqqqqqp ; 0 aBb " B# Solucin Como 0 aBb " B# C " B# C # " B# B# C # " G corresponde a una porcin de circunferencia, la que cumple la condicin C ! ,cuyo grfico es :

del dibujo se tiene que no es inyectiva y no es epiyectiva ,pero si consideramos : 0" c! "d qqqqqqp c! "d es biyectiva B qqqqqqp " B#

35

Ejemplo Sea 0 ) # qqqqp ! funcin # B qqqqqp B #B % a) b) c) d) Trace el grfico de 0 Determine V/-0 Es 0 inyectiva? Es 0 epiyectiva? Es 0 biyectiva? Haga las restricciones mnimas necesarias para obtener de 0 una funcin 0" biyectiva

Solucin a) como 0 B B# #B % C B# #B % C B "# $ B "# C $ T luego, corresponde a la porcin de parbola que cumpla las condiciones definidas para B e C segun 0 su grfico es:

b) c) d)

V/-0 % &# Es 0 inyectiva ,no es 0 epiyectiva , no es 0 biyectiva si consideramos la funcin: 0" ) # qqqqp % &# es funcin biyectiva B qqqqqp B# #B %

36

Ejemplo Dada la relacin L B C # B# %B C# 'C * ! Haga las restricciones mnimas necesarias para obtener de L : a) Una funcin, grafique. b) Una funcin inyectiva, grafique. c) Una funcin epiyectiva, grafique. e) Una funcin biyectiva, grafique. Solucin Se tiene que : B# %B C# 'C * ! B ## C $# % G cuyo grfico es :

Del cual se tiene por ejemplo que : a) 0 c! %d qqqqqqp tal que B qqqqqqp 0 B $ % B ## B c! #d 0 B $ % B ## B # %

es funcin

37

b)

0 ! % qqqqqqp tal que B qqqqqqp 0 B $ % B ## B c! #d 0 B $ % B ## B # % es funcin inyectiva

c)

0 c! %d qqqqqqp & " tal que B qqqqqqp 0 B $ % B ## B c! #d 0 B $ % B ## B # % es funcin epiyectiva

38

e)

0 ! % qqqqqqp & " tal que B qqqqqqp 0 B $ % B ## B c! #d 0 B $ % B ## B # % es funcin biyectiva

Ejercicio En cada caso, determinar si 0 es una funcin biyectiva: 1.0 & _ qqqqqp _ "" B 2.qqqqqp " #B

0 _ # qqqqqp _ % B qqqqqp % B#

3.-

0 " " qqqqqp " & $ #B$ B qqqqqp B#

39

Definicin Sea E E 9 Llamaremos funcin identidad en E a la funcin que denotaremos por 3.A ,donde : 3.A EqqqqqpE BqqqqqpB Observacin La funcin 3.E es biyectiva .

40