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

y + , V

1.-

Diremos que , es una imagen de + mediante V .

2.-

Diremos que + es una preimagen de , mediante V

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

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

"
#

pero B " $

luego
T </371 # "#
analogamente se tendra que :
T </371$ g ya que
#B $ " B # donde B " $
"C C $ "
#
T </371C

g
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 #

Determine:
Solucin

M71 " M71 " T </371" T </371"

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

"
$

# C "

"$ _ # "
H97V "$ _

V/-V # "

K<+0 V

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 " _

10

G9.97X V/-X

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

33

El conjunto F se llama Codominio de la funcin 0 .

Notacin : G9.970 F

333

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

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

"
#

B #%

"# #%
ademas, es clara la unicidad de la imagen, luego se tiene que
1 "# #% qqqqqp # ' es funcin
B qqqqqp #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

"
# #B"

Determine mximo E tal que 0 sea funcin

Grafique 0
Determine V/-0

a)
b)
c)
Solucin

a) Dom0 B bC " ' C 0 B

"
# #B"

B "
'
$
"
B $ # #B " ")
(
$&
B # #B " #
$&
(
B # #B " #
$(
&
B # #B #
$(
&
B % B %
"

#B"

b) Como 0 B # $
C
graficando P se tiene :

c)

V/-0 " '

16

"
# #B"

$(
%

%&

C #$ B

"
'

Ejemplo
Sea 1 E qqqqp " _

$B"

B qqqqqp B%
a)
b)

Determine mximo E tal que 1 sea funcin

Determine V/-1

Solucin
a) Dom1 B bC " _ C 1B

pero :

B
B
B%
#B &

$B"
B%

#B&
B%

" 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 " _

C " _
pero :

B
)C "$
C $
)C"$
C $

con lo cual : V/-1

%C"
%C"
&
C $ %
C $ #
$C"$
)C"$
C $ !
C $ !
)C"$
C $ ! C $ !
"$
$
)

"$
)

_$

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

19

1 # % qqqqp # )
#
"
B qqqqqp BB"

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

$B #

1B
#B #
a)
b)
c)
d)
2.

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# %
qqqqqp B# #B %)

B
3.

=3

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

0 E qqqqqp "# "$

B

qqqqqp

23

&B #

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)

Determine mximo E tal que 0 sea funcin

Grafique 0
Determine V/-0

Solucin
Dom0 > bC $ " C 0 >
> $ # ># %> # " ># %> !
$

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

$

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

> ! ># %>

>
>
>

$#
*

%
*

> ## % !

> ## %

%
#
$

> # #
%
#
$

> > #
> > #

%
*

%
#
$

> # #

>#
24

%
#
$

# > # #

 > > #
! #

%
#
$

%
#
$

> #

%
#
$

! > %

%
# %
$

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

$

C#

$
#

># %> C ##

C ## *% > ## *

>##
##

C##
$#

*
% >

c)

segn el grfico V/-0 # "

25

># %>

## C ## *

" I con C # !

luego, se tiene que :

*
%

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
0 5# 0 3# %(

28

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

1.-

0 qqqqqp
B qqqqqp (B #

2.-

0 qqqqqp
B qqqqqp

3.-

B #B $
#

0 " "! qqqqqp

$ B

Bqqqqqp
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#

"%

31

#C$
C#

C #

" C #

#C$
C#

$C&
C#

! !

" C #

! C #

$C&
C#

C #

es decir 0 no es epiyectiva

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:

1.-

0 $ _ qqqqqp
B
qqqqqp

2.-

0 _ " qqqqqp " _

B

3.-

qqqqqp

) _
$B "

B# "

0 "! "! qqqqqp * "&

B
qqqqqp
0 B
B"

si "! B "

0 B
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 # %

37

es funcin

b)

c)

0 ! % qqqqqqp tal que

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

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.-

" #B

0 _ # qqqqqp _ %
B

3.-

qqqqqp

qqqqqp

% B#

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