Вы находитесь на странице: 1из 18

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

FUNCIONES Y SUCESIONES
Las funciones se pueden interpretar
como relaciones
Una relacin binaria

X x Y

denomina una funcin si para cada [


existe una nica y

se

Y tal que (x,y) es

un elemento de
Ejemplo:
Cul de las siguientes relaciones de
A={a,b,c}
con B={1,2,3,4}
funciones?
1.

==^=D, , =E, , =F, =}

2.

==^=D, , =E, , =F, =}

3.

==^=D, , =D, , =E, , =F, =}

4.

==^=D, , =E, =}

http://www.itnuevolaredo.edu.mx/takeyas

son

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

Solucin:
y son funciones porque cada x
est relacionada exactamente con una
y
no es funcin porque a se relaciona
con 3 y con 4.
no es funcin porque no existe un
elemento relacionado con c

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

NOTACIN DE FUNCIONES
La notacin mas comn para indicar
que el par (x,y)
pertenece a alguna
funcin HV \ = [

Por lo tanto, [, \

e \=[

son

sinnimos

Tambin se puede expresar como

:[\

En una funcin

:; <,

X es el

espacio de dominio e Y es el espacio de


rango. Esto significa que debe existir una

\ < para cada [ ; tal que (x,y) est


en

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

REPRESENTACIN DE FUNCIONES
Notacin de lista
==^=D, , =E, , =F, =}
Tablas

3DV

&DSLWDl

&DQDG

2WWDZD

(VWDGRV UQLGRV:DVKLQJWRQ
M[LFR

&G.='H=M[LFR

Curvas (nmeros reales)

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

Grafos
x1
z1
x2
z2
x3
z3
x4

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

COMPOSICIN DE FUNCIONES

Se usa el smbolo

6L==
y J son relaciones, la relacin
\ =
contiene todos los pares (x,y) con

y la relacin

J contiene todos los

pares (y,z) con ] = J\

El par (z,x) est en

\ tal que \ = [

Como \ = [,

en J\

por [,

J si existe una

y ] = J\
se puede reemplazar \
lo cual produce

]=

J [

Entonces su composicin es (x,J [

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Si

:; <

Ing. Bruno Lpez Takeyas

J: < =
, se tiene

J :;

en este caso, el espacio de rango de

se convierte en el espacio de dominio de

Ejemplo:

\=[
]=J\
]=J[

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

; < =
y1
x1
y2

z1

x2
y3
x3

z2

y4
x4

z3
y5

alcanzar a z
En esta figura, x puede
2
pasando a travs de y , lo
1 cual implica
que la imagen de J

para x=x1es z

\=[
]=J\
]=J[
http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

x1
z1
x2
z2

x3

z3

x4

De modo similar (x 4,z 2) est en

porque hay una conexin de x


medio de y5

a z 2por

\=[
]=J\
]=J[

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

Ejemplo:
En una compaa cada pedido se identifica
mediante un nmero de pedido. Cada
nmero de pedido tiene un proveedor y
cada proveedor tiene una cuenta de
abono. Los nmeros de pedido son 204,
217, 451 y 233. Los proveedores son
ABM, CC, MDM y RMB.
La funcin que relaciona cada pedido
con un proveedor es:
=^ , $%M, 7, 5M%, , &&, , 5M% }

Los proveedores y sus cuentas son:


J=^ $%M, , &&, , M'M, , 5M%, }

Encuentre J

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

FUNCIN INYECTIVA
Una funcin

:; <

(uno-a-uno) si para

es inyectiva

WRGR==[
, [ ; se

tiene

[ = [ [ = [
una inyeccin
si
Una funcin es
diferentes argumentos tienen diferentes
imgenes.
Relacin uno-a-uno.

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

; <
x1

y1

x2

y2

x3

y3

La funcin

es una
inyeccin

y4

; <
x1

y1

x2

y2

x3

y3

La funcin

J no es una
inyeccin

y4
http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

FUNCIN SOBREYECTIVA
Una funcin
si ran

= <.

Para cada \
que

:; <

es sobreyectiva

Por lo tanto

<debe existir un [ ; tal

\=[

es sobreyectiva
si
Una funcin no
existen algunos elementos que sobran
una vez que todos los argumentos estn
pareados con sus imgenes.

; <
x1

y1

x2

y2

x3

y3

http://www.itnuevolaredo.edu.mx/takeyas

La funcin K es
sobreyectiva ya
que no sobran
elementos del
rango
Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

FUNCIN BIYECTIVA Y FUNCIN


INVERSA
Una funcin

:; <

es biyectiva si

es inyectiva y sobreyectiva.

De acuerdo a esto, una funcin tiene


inversa si y slo si es biyectiva.

x1

y1

x2

y2

x3

y3
y4

http://www.itnuevolaredo.edu.mx/takeyas

La funcin no
tiene inversa
(no existe x tal
que [ = \

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

x1

y1

La funcin no
tiene inversa

x2

y2

(\ puede ser

x3

asociada con [
y con [ )

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

S U C E S I O N E S
Ciertas aplicaciones requieren
especificar el orden de los datos
Una sucesin de x elementos extrados
del conjunto T se declara como
x:seq T
P. ejem.
Das_semana={dom,lun,mar,mie,jue,vie,sab}

Sucesiones extradas del conjunto:


Da_Laborable= <lun, mar, mie, jue, vie, sab>
Fin_Semana = <dom, sab>
Das = <lun,lun,vie,sab,sab,vie,lun>

Ntese que los elementos de una


sucesin se enumeran y encierran entre
parntesis angulares <

http://www.itnuevolaredo.edu.mx/takeyas

. >

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

OPERACIONES CON SUCESIONES

Seleccin
< lun, mar, mie, jue, vie > 4 = jue

Concatenacin

Dadas las sucesiones <x , 1x , ,


x > en
2
<y1, y ,2,

yn> su concatenacin se

representa como
<x1, x 2, , x n>

Smbolo de
concatenacin

<y1, y 2, , y n>=

<x1, x 2, , x n, y 1, y 2, , y n>

Head
head < lun, mar, mie, jue, vie >= lun

Last
last < lun, mar, mie, jue, vie >= vie

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Funciones y Sucesiones

Ing. Bruno Lpez Takeyas

Tail
tail < lun, mar, mie, jue, vie >=
< mar,mie,jue,vie >

Front
front < lun, mar, mie, jue, vie >=
< lun,mar,mie,jue >

Inversa
rev < lun, mar, mie, jue, vie >=
< vie,jue,mie,mar,lun >

Comprimir
squash(2..3

<lun,mar,mie,jue,vie>)=
<mar,mie>

APLICACIONES DE SUCESIONES
Colas
Archivos secuenciales
Cadenas
http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx