Procesos Estocsticos con algo de historia de la Estadstica

Ideas elementales (pero muy importantes) en el clculo de probabilidades

Aproximacin a la recursin
En buena parte los aportes de Pascal y Huygens al naciente clculo de probabilidades se
realizaron a travs de la recursividad o recursin. No ueron los iniciadores del mtodo.
! comienzos del siglo "III un matemtico italiano# $eonardo de Pisa# me%or conocido
como &ibonacci# escribi ' a propsito de la reproduccin de cone%os ( una de las
ecuaciones ms comentadas a travs de la )istoria de las matemticas
*
. Esta ecuacin )a
tenido tantas y tan insospec)adas consecuencias +ue todav,a se ocupan de ella
-
. Esta
ecuacin resuelve el siguiente problema .
Imaginemos# escrib,a $eonardo# un par de cone%os adultos# mac)o y )embra#
encerrados en un cercado donde pueden anidar y crear. /upongamos +ue los cone%os
empiezan a procrear a los dos meses de su nacimiento# engendrando siempre un 0nico
par mac)o()embra# y a partir de ese momento# cada uno de los meses siguientes un par
ms# de iguales caracter,sticas. !dmitiendo +ue no muriese ninguno de los cone%itos#
1 2untos contendr,a el cercado al cabo de un a3o 4
5
Pascal y luego Huygens resuelven los primeros clculos relativos a los %uegos de azar
utilizando la argumentacin recursiva. No es cual+uier cosa lo +ue estos pensadores
proponen. En cierta orma se puede mirar el desarrollo )istrico del clculo de
probabilidades como la aparicin de diversas ormas de argumentacin +ue llega )asta
nuestra poca. !lrededor de *678 ya )an aparecido los inicios de dos tipos de
argumentacin . los argumentos recursivos y los argumentos combinatorios. 9e%amos
para un taller posterior la discusin de los argumentos combinatorios. Intentemos por
a)ora# analizar ' a un nivel elemental ' los argumentos recursivos para apreciar me%or
los aportes de los iniciadores.
$a idea de recursividad es una idea interesante# redescubierta recientemente con ines
pedaggicos y +ue cada d,a se amplia a causa del ormidable avance en los lengua%es
de programacin. /e encuentra incorporada en todos los lengua%es modernos. 2itemos
unos pocos . Pascal# 2::# ;at)ematica# ;at)$ab# <ava# Prolog. !dems de la
computacin# la idea se atraviesa en el clculo de probabilidades# en los procesos
estocsticos# en la inteligencia artiicial# en la programacin dinmica. Es una idea
estupenda para a+uellos +ue se interesan en las matemticas y sus aplicaciones# es decir
es una idea valiosa para la casi totalidad de proesores# ingenieros# estad,sticos#
cient,icos y estudiantes ' +ue en deinitivas es buena parte del gnero )umano(. $a
recursividad puede verse de varias maneras# pero una de ellas es apreciarla como una
e=tensin de la induccin matemtica. >ecordemos uno de los muc)os enunciados +ue
e=isten al respecto de induccin matemtica. Empieza con una proposicin (+ue puede
ser cierta o alsa) acerca de un con%unto de n ob%etos. ( En una reunin de n %venes .....#
?n pol,gono regular de n lados....# En un torneo de tenis de n %ugadores ...# la suma de
los cuadrados de los primeros n impares ...# ?na instalacin con n servidores de
Internet ....# etc). Incluso le caben dos o ms variables (/e lanzan n dados con m caras#
*
@oyer# 2arlA ! History o ;at)ematicsA Biley InternationalA *C6DA pgs -D8(-D5
-
E)e &ibonacci FuaterlyA )ttp.GGHHH.sdstate.eduGIHcscG)ttpGib)ome.)tml
5
Jardner# ;art,nA ;iscelnea matemticaA @iblioteca 2ient,ica /alvatA *CD6A 2ap. **A Hermoso art,culo
donde se encuentran muc)as propiedades de la serie de &ibonacci
*
/e env,an n camiones a m ciudades# se tienen n salas de computadores con m
servidores# etc..).
?na prueba de induccin re+uiere dos etapas para demostrar +ue es cierta para todo
valor no negativo n. $a argumentacin por induccin matemtica tiene el siguiente
ormato .

cierta ser debe p entonces ciertas son p p p si que pruebe induccin de Etapa
cierta es p que pruebe inicial Etapa
n n
# #....# # . -
. *
* - *
*

E%emplo . El n0mero de subcon%untos +ue se pueden construir con n elementos es
n
-
.
/e incluye el con%unto vac,o . . !s, para n K 5 se tienen los siguientes subcon%untos .

LL 5 # - # * M L# 5 # - M L# 5 # * M L# - # * M L# 5 M L# - M L# * M # M

Prueba por induccin matemtica . *) Etapa inicial .$a proposicin
*
p
es
cierta. En eecto el n0mero de subcon%untos con un solo elemento# en este caso el
n0mero * son
LL * M # M
o sea
- -
*
=
. -) Etapa de induccin . /upongamos +ue
* n
p
es
cierta. Es decir +ue tenemos
*
-
n
subcon%untos a partir de n(* elementos. 2ada uno de
esos
*
-
n
con%untos da lugar a dos nuevos al considerar el elemento n. !+uellos donde
aparece el elemento n y a+uellos donde no aparece el elemento n. N sea +ue el n0mero
de subcon%untos con n elementos es
*
-
n
:
*
-
n
# es decir
n
-
. $uego
n
p
es cierta.
/e proponen algunos e%ercicios para ir ganando )abilidades para la recursividad. $os
e%ercicios de induccin matemtica son de la misma naturaleza y diicultad +ue los
e%ercicios de recursividad. (E%emplos muy mentados en induccin matemtica. Oer por
e%emplo.
P
)
9emuestre por induccin matemtica las siguientes propiedades .
( $a suma de los primeros n enteros es
- G ) * ( + n n
( $a suma de los primeros n impares es igual a
-
n
( El n0mero de diagonales de un pol,gono conve=o de n lados es
- G ) 5 ( n n
(
n n
A A A A A A = ..... .....
- * - *
$a recursividad tiene una lgica similar a la de la prueba por induccin. Procedemos
a QconstruirR el ensimo ob%eto con la propiedad
n
p
. /e saben dos cosas .
*) /e sabe QconstruirR el ob%eto para un caso trivial# e%emplo para n K *
-) /i a partir del ob%eto QconstruidoR en n '* se pudiese QconstruirR el ob%eto en n
Entonces es posible QconstruirloR para cual+uier n.
$a recursin tambin puede ser )acia atrs# con el siguiente sentido . tenemos un
problema a QconstruirR para un numero n. /i supusisemos QconstruidoR el ob%eto con la
propiedad n a partir de QconstruccionesR ms simples# por e%emplo a partir de n(*# y
conocisemos la QconstruccinR trivial# para nK* o nK8A entonces podr,amos QconstruirR
el ob%eto para todo n.
P
EucSer# !lanA !pplied 2ombinatoricsA BileyA *CD8
-
El verbo QconstruirR podr,a cambiarse por algunos de estos verbos . contar# dibu%ar#
deinir# demostrar# conectar# mostrar# optimizar y claro tambin cabe el verbo .
programar. /i de una tarea +ue se encuentra asociada a un numero n# se conocen# en
primer lugar# el algoritmo para n K *# generalmente trivial y en segundo lugar# se puede
escribir el algoritmo para n a partir del n(*# entonces se puede escribir el algoritmo para
cual+uier n o bien# podemos plantear el algoritmo asociado a un n0mero n en uno o ms
algoritmos asociados a n0meros menores de nA y conocemos el algoritmo trivial para
nK8 o nK* entonces el algoritmo uncionar para cual+uier n0mero n.
E=iste un %uego inantil en el cual se dispone de un montn de n (conocido) ob%etos# por
e%emplo palillos. El %uego se realiza entre dos ni3os ! y @ +uienes escogen en orma
alternada un grupo de palillos entre uno y tres. Pierde +uien es obligado a escoger el
0ltimo palillo. !# +uien comienza el %uego conoce la solucin trivial en caso de +ue n
sea mayor +ue * y menor o igual a tres. 1 2mo %ugar,a ! 4
?n banco abona el *T mensual a una cuenta de a)orros. Encontrar una ecuacin
recursiva (o de recurrencia) +ue indi+ue la cantidad de dinero en la cuenta# seg0n . a) el
a)orrador deposita una cantidad de * milln y la de%a en la cuenta por n meses. b) el
a)orrador adems del milln inicial deposita una cantidad mensual de cien mil pesos.
Recordando a Pascal
Pascal# como varios de sus contemporneos eminentes era )ombre multiactico. En sus
a3os de %uventud# gemetra de primer nivel y tambin constructor de una m+uina de
sumar. (Oer pgina del museo de la I@;). &ue el iniciador de los argumentos
recursivos en el clculo de probabilidades. >esolvi por este mtodo el amoso
problema de los puntos . ! y @ llevan a cabo un torneo. En cada %uego tanto ! como @
tienen el mismo c)ance de ganar un punto. /e acuerda llevar el %uego )asta +ue alguno
de ellos complete un n0mero determinado de puntos# por e%emplo D puntos ' Imag,nese
dos ni3os %ugando al cara y sello (. ! lleva 6 puntos y @ lleva 7 puntos y de pronto llega
el proesor y el %uego se suspende. 1 2mo se debe repartir la apuesta 4 $e altan -
puntos a ! y 5 a @. Pascal suministr el siguiente argumento .
/ea
) # ( b a e
la raccin de la apuesta a avor de ! cuando le altan
a
puntos y a @ le
altan b puntos. Entonces
#.... 5 # - # * A - G * ) # ( A * ) # 8 ( = = = n n n e n e
y
) * # (
-
*
) # * (
-
*
) # ( + = b a e b a e b a e
program recur1;
function puntos(a,b:integer):real;
begin
if a=0 then puntos:=1 else
if (a=b) then puntos :=0.5 else
puntos:=0.5*puntos(a-1,b)+0.5*puntos(a,b-1);
en;
begin
!riteln(puntos(",#));
en.
Programa en P!/2!$
7
para el problema de los puntos
7
?na versin del P!/2!$ (no la 0ltima) se puede ba%ar de la pgina de @N>$!N9
5
Encontrar las ecuaciones recursivas y escribir un programa en P!/2!$ para repartir la
apuesta entre cuatro %ugadores !# @# 2# y 9 si a cada uno de ellos les altan 5#P#7 y 6
puntos respectivamente.
Recordando a Huygens
6
El ob%etivo de un %uego de azar es recurrir a la suerte para ganar una cierta cantidad de
dinero tomando el riesgo de perder esa misma u otra cantidad de dinero. Huygens
realiza un aporte al deinir con precisin algo +ue l llam el valor del %uego y +ue )oy
conocemos como el valor esperado o la esperanza matemtica. /obre la mesa de %uego
)ay una cantidad deinida de dinero t A el valor del %uego se mide entonces en las
mismas unidades de t # de acuerdo a las siguientes reglas .
*) /i e=iste igual c)ance de recibir
a
y b # entonces el valor del %uego o
esperanza matemtica es
- G ) ( b a +
-) /i e=iste igual c)ance para recibir
c b a # #
# entonces el valor esperado es
5 G ) ( c b a + +
5) /i el n0mero de c)ances +ue producen
a
es
p
# y el n0mero de c)ances +ue
producen b es
q
y todos los c)ances tienen las mismas posibilidades entonces
el valor esperado de ese %uego es
). G( ) ( q p qb pa + +
Eodos los %uegos propuestos por Huygens tratan )asta donde es posible +ue sean %uegos
legales. 9e esta manera sus proposiciones tiene un ormato similar . QEncontrar cuntas
veces ...R# Qencontrar cuntos dados ..R de tal suerte +ue el %uego sea legal o lo ms
pr=imo a la legalidad. $a legalidad del %uego se puede medir en el momento +ue el
valor del %uego o esperanza sea muy cercana a U o +ue los c)ances a avor sean a los
c)ances en contra como *.*. /e supondr,a +ue l est dispuesto a pagar ese valor por
entrar en el %uego. !claremos estas proposiciones con dos situaciones )arto conocidas
por los colombianos.
El %ugador de baloto escoge 6 n0meros de P7A Parece ser +ue todos los n0meros tienen
el mismo c)ance de salir de una urna en un evento +ue se realiza a la vista de todos los
televidentes. En el sorteo del sbado -6 de Nctubre de -88- se otorgaban los siguientes
premios . a) 5 aciertos . V P.888 b) P aciertos . 5C.888 c) 7 aciertos -. -C5.888 d) 6
aciertos . catorce mil millones de pesos. 1 2ul es el valor del %uego o esperanza del
baloto# para un parro+uiano +ue )a decidido so3ar unas )oras 4.
1 2ul es el valor del c)ance 4
En la proposicin *8 de su amoso libro de %uegos Huygens se pregunta acerca del %uego
de dados 1 2untas veces deber,a ! lanzar un dado para obtener un seis 4
El argumento est impl,cito en el principio 5. /uponga +ue tengo disponible para
entregar en una mano cerrada V5 y en la otra V7. 1 2ul es el valor de lo +ue estoy
dispuesto a entregar a alguien +ue participe en tan e=tra3o %uego seleccionando una
mano 4 /e entregar,a
P ) - G * ( 5 ) - G * ( 7 = +
A 9e la misma manera se puede pensar +ue
en el caso del dado el n0mero de lanzamientos es * + n y el valor del %uego con esos
6
Hald Anders, A History of Probability and Statistics and Their
Applications before 1750, Wiley, 1990; Capt!lo "#
P
* + n lanzamientos es
* + n
e
. Entonces el valor del %uego con * + n lanzamientos es
e+uivalente a %ugar el primer lanzamiento y luego posiblemente %ugar los
n

lanzamientos restantes. En el primer caso a tiene un c)ance de * a 6 en cuyo caso se
apropia de
t
y en el segundo caso con un c)ance de 7 a 6 ! se podr,a apropiar de esta
suma ms adelante. Es ms cil decirlo con ecuaciones .
n n
e t e ) 6 G 7 ( ) 6 G * (
*
+ =
+
#
6 G
*
t e =
.
Huygens se pregunta en la proposicin *-# algo ms complicado 12untas veces se debe
lanzar el dado para obtener dos ases 4 !+u, Huygens aporta la solucin mediante el
encadenamiento de dos procedimientos recursivos . /ea
) (n s
el valor del %uego en n
intentosA por lo tanto
56 G
-
t s =
A Para - > n Huygens )ace el siguiente razonamiento .
En la primera %ugada se puede obtener el primer as (con c)ance * a 6) en cuyo caso el
%ugador ad+uiere el derec)o de pasar al %uego anterior en * n intentos. /i no saca el as
(con c)ance 7 a 6) el %ugador debe intentar sacar los dos ases en las pr=imas * n
%ugadas.
Es decir .
- ) * ( 6 G 7 ) * ( 6 G * ) ( A 56 G ) - ( > + = = n n s n e n s t s
pro$ra% rec!r&;
f!nction '!e$o1(n)inte$er*)real;
be$in
if (n+1* then '!e$o1)+1," else
'!e$o1)+(1,"* -(5,"*.'!e$o1(n/1*;
end;
f!nction '!e$o&(n)inte$er*)real;
be$in
if (n+&* then '!e$o&)+1,0" else
'!e$o&)+ (1,"*.'!e$o1(n/1*-(5,"*.'!e$o&(n/1*;
end;
be$in
1riteln ('!e$o&(10**;
end.
Programa en Pascal (Proposicin *- de Huygens)
2on el mismo mtodo de Pascal y Huygens podemos escribir las ecuaciones recursivas
para los siguientes casos (/i dispone de un computador# puede escribir los programas
correspondientes y observar si las ecuaciones estn bien construidas)
( El n0mero de casos +ue resultan de distribuir n ob%etos distintos en 7 celdas
distintas
( El n0mero de casos +ue resultan de distribuir n balotas idnticas en S ca%as
dierentes
( El n0mero de secuencias binarias de n d,gitos +ue tienen e=actamente un par de
ceros consecutivos
( El n0mero de escrutinios +ue se pueden realizar entre dos candidatos ! y @A en
los cuales ! siempre lleva la delantera. ! tiene a votos# @ tiene b votos y a W b
( El n0mero de secuencias binarias de tama3o n en +ue el * siempre lleva la
delantera.
7
$a recursividad result de una gran utilidad para la ciencia y la tcnica del siglo "".
/irvi de base para la demostracin del amoso teorema de JXdel
Y
. !dems# abri
campos insospec)ados para los cient,icos de la computacin# matemticos# proesores y
programadores de computadores. El asunto re+uerir,a un estudio detenido. $os
ingenieros de computacin y sistemas la utilizan a diario. Oeamos algunos problemas
+ue se podr,an resolver mediante procedimientos recursivos (en orma de unction y
procedure en P!/2!$ ). Intente resolver algunos de ellos .
( 9ado un n0mero en decimal encontrar su e+uivalente en binario y viceversa
( Encontrar el n0mero +ue ocupa una permutacin dada si se listan en orden
le=icogricoA por e%emplo $as permutaciones de tama3o 5 son en orden
le=icogrico . *-5# *5-# -*5# -5*# 5*-# 5-* y si nos preguntan por la -*5 la
respuesta es 5
( Encontrar el n0mero +ue ocupa una combinacin dada de n elementos tomados
de S en S en orden le=icogrico. E%emplo si
5 # 6 = = k n
y el n0mero de la
combinacin a encontrar es 7 entonces la respuesta debe ser *57. >esolver el
problema inverso. dado el n0mero de la combinacin encontrarla. En el e%emplo
anterior si el n0mero es *C la respuesta deber,a ser 576
( ?na deinicin recursiva
D
de rbol binario .?n con%unto inito de nodos el cual
puede ser o bien# vac,o# o bien# consistir en una ra,z y dos rboles binarios
dis%untos llamados los subrboles iz+uierdo y derec)o de la ra,z. Investigue
acerca del n0mero de rboles binarios con n nodos
POSI!ES I"#ES$I%A&IO"ES ES$'(IA"$I!ES )
$a utilizacin de la recursividad en el clculo de probabilidades rpidamente gan
adeptos eminentes. $os @ernoulli# ;oivre y varios ms plantearon ecuaciones
recursivas a lo largo del siglo "OIII# seg0n se aprecia en Hald. ?n estudiante con gusto
por estos temas podr,a )acer un inventario de las ms amosas# e=plicar brevemente el
conte=to en el cual aparecieron y su importancia en el desarrollo del clculo de
probabilidades. $e ser de muc)a utilidad conocer los dierentes mtodos de solucin
anal,tica +ue estos mismos autores ueron incorporando y +ue )oy son muy 0tiles# no
slo en probabilidad# sino en toda la )istoria de las matemticas. ?n buen traba%o# +ue
seguramente lo gozar un estudiante in+uisitivo (o in+uieto).
9aniel !rbelez
2ali# Noviembre de -885
Y
Oer por e%emplo un clsico de los a3os D8A Hostadter# 9ouglasA JXdel # Esc)er y @ac). ?n eterno y
grcil bucleA Editorial Eus+uets# @arcelona# *CDC
D
Oer por e%emplo Znut)# 9onaldA E)e art o computer programmingA !ddison BesleyA Ool. *A pag. 58CA
otro clsico# de los a3os Y8
6