Documente Academic
Documente Profesional
Documente Cultură
Matemticas:
Enseanza Universitaria
c
Escuela
Regional de Matemticas
Universidad del Valle - Colombia
Johany A. Surez
Aceptado Sep. 5, 2006
Abstract
Motivated by Algorithmic Information Theory, we study the field Cc of the complex computable numbers. We also present some non trivial examples of computable and noncomputable real numbers and propose a definition of a partial computable function defined in
Cn
c . We develop the basic notions of convergence in the field Rc of the real computable
numbers and show that every analytic function whose series representation has computable
coefficients is a computable function when restricted to any closed disk in its domain. Finally, we prove that Rc is a real closed field and also that Cc is an algebraic closed field
containing the algebraic numbers.
Keywords: Real numbers, Computable numbers, Constructive analysis.
AMSC(2000): Primary: 03D80, Secondary: 03F60, 26E40
Resumen
Motivados por la Teora Algortmica de la Informacin, estudiamos el campo Cc de los nmeros complejos computables. Presentamos ejemplos no triviales de nmeros reales tanto
computables como no computables y proponemos una definicin de funcin parcial computable definida en Cn
c . Desarrollamos la convergencia en el campo Rc de los reales computables y mostramos que toda funcin analtica, cuya expansin en serie de potencias tenga
coeficientes computables, es una funcin computable cunado se restringe a un disco cerrado de su dominio. Por ltimo, probamos que Rc es un campo real cerrado y que Cc es un
campo algebraicamente cerrado que contiene a los nmeros algebraicos.
Palabras y frases claves: Nmeros reales, Nmeros computables, Anlisis constructivo.
Introduccin
Un resultado bastante mencionado en la literatura sobre Aleatoriedad e Informacin es que todo nmero real aleatorio es trascendente. Esto se debe a que
todo nmero algebraico es computable, un hecho que suele citarse sin prueba.
En lo que sigue, ofrecemos un desarrollo, en gran medida autocontenido, de
las propiedades bsicas de los nmeros y las funciones computables, incluyendo una demostracin de que los nmeros computables forman un campo
algebraicamente cerrado que incluye a los nmeros algebraicos.
En la lgica matemtica y el anlisis constructivo, los nmeros computables, tambin conocidos como nmeros recursivos, son aquellos que se pueden computar por un algoritmo. Estos nmeros fueron introducidos por Alan
Turing en su artculo pionero de 1936 y definidos independientemente por
Post y Church (ver [5]). Desde entonces se han ofrecido varias definiciones
equivalentes. La exposicin de los temas se basa en gran medida en [8]. Por
conveniencia, seguiremos el enfoque desarrollado en [1] y [2], de los cuales modificamos algunas pruebas. Supondremos que el lector est familiarizado con
20
C. Parra y J. Surez
las nociones bsicas y resultados fundamentales de la teora de la computabilidad as como con la Tesis de Church-Turing, tal como se expone en textos
como [1] [4]. En lo que sigue adoptaremos la prctica usual de fijar una
enumeracin calculable {Me } , e N, de las mquinas de Turing y denotar
(m)
por e la funcin recursiva parcial de m variables computada por la mquina de Turing Me . En ciertas aplicaciones, necesitaremos el conocido teorema
s-m-n de Kleene.
Teorema 1.1. Para todo m, n, k 1, existe una funcin recursiva total sm
n :
(n+m)
N Nm N tal que para todo e N si e
: Nm+n Nk es recursiva
parcial, entonces para todo v Nm se cumple que
(n)
para todo u Nn .
1
,
2n
para todo n.
Cc = {a + bi | a, b Rc }
21
y
A = {z C | z es algebraico} .
22
C. Parra y J. Surez
23
Demostracin. Basta mostrar que si F es computable, entonces Fb es computable. Luego, supongamos que existe una funcin parcial recursiva : Nk N
con las propiedades de la definicin 2.5. Basta tomar la funcin parcial recursiva b = , donde : Nk Nk es la funcin dada por el corolario 2.4. Por
tanto, Fb es computable.
(a) Sustitucin:
24
C. Parra y J. Surez
Teorema 2.9. La familia de funciones computables es cerrada bajo las operaciones de sustitucin y recursin.
Demostracin. Para la sustitucin, basta aplicar la proposicin 2.7 (a) y (c).
Ahora para la clausura bajo recursin, dadas las funciones computables g :
Ckc Cc y h : Ckc N Cc Cc , el siguiente procedimiento computa
f (w1 , . . . , wk , n):
1.
Haga w := g (w1 , . . . , wk ) .
2.
si n = 0, imprima w y pare
3.
en caso contrario
para i = 1 hasta n haga
w := h (w1 , . . . , wk , i, w)
4.
imprima w
Luego, f : Ckc N Cc es computable.
3
Propiedades y ejemplos
Es claro que un nmero real x es computable si, y slo si, su parte decimal
es computable. Esto nos permite ofrecer las siguientes equivalencias.
Proposicin 3.1. Sea (0, 1) . Las siguientes afirmaciones son equivalentes:
(a) es computable.
(b) La cortadura izquierda L () = {q Q | q < } es un conjunto recursivo.
(c) Existe una funcin computable f : N {0, 1} tal que
=
X
f (n)
n=1
2n
1
1
1
m+1 = m+1 .
m
2
2
2
1
.
2k
25
Por tanto, q < sii q < qk . As, tenemos un procedimiento para decidir si
q < ; esto es, L () es recursivo. Ahora, veamos que (b) (c). De nuevo,
consideremos dos casos. Es un hecho elemental que se pueden computar los
bits de cualquier racional. Para
/ Q, basta observar que para todo n se
cumple que
n
X
1
ak
+ n+1 < .
an+1 = 1 sii
2k
2
k=1
1
2n+1
26
C. Parra y J. Surez
In .
n=1
X
A (n)
n=1
3n
[0, 1] .
n
X
A (k)
k=1
3k
Xn1 (k) 1
1
+ n1 ,
0
si
q2n+2 <
k=0 3
2 3
Xn1 (k) 1
1
(n) =
+ n1
2
si
q2n+2 >
k=0 3k
2
3
indefinido
en caso contrario.
Claramente, es recursiva parcial. Notemos que para cada n :
|2 q2n+2 |
1
22n+2
<
1
.
2 3n
27
Si A (n) = 0, entonces
2
Por tanto,
Xn1 2 A (k)
k=0
3k
q2n+2 < 2 +
Xn1 2 A (k)
1
2
=
+ n.
k
k
k=n+1 3
k=0
3
3
Xn1 2 A (k) 1
1
1
+ n1 .
n
k
k=0
23
3
2 3
Xn1 2 A (k)
k=0
3k
1
1
.
2 3n1
X
K (n)
n=1
3n
28
C. Parra y J. Surez
de campo entre nmeros complejos estn definidas a partir de las operaciones entre nmeros reales, es suficiente restringirnos al caso real (Modificamos
ligeramente las pruebas correspondientes que aparecen en [1]).
Teorema 3.5. Las operaciones de suma, resta y producto de Rc Rc en Rc
y la operacin de divisin de Rc (Rc \ {0}) en Rc \ {0} son computables.
Demostracin. Veamos que el producto : Rc Rc Rc es computable.
Dados , Rc , sean i, j cdigos para y respectivamente. Luego, para
cada k :
| i (k) j (k)| | i (k)| || + | j (k)| |i (k)|
1 + |j (k)| + |i (k)|
.
2k
Ahora, consideremos la funcin parcial recursiva : N3 N dada por
(i, j, n)
1 + |j (k)| + |i (k)|
1
n.
k
2
2
Como
1 + |i (k)| + |j (k)| 1 + || +
1
2k
es claro que
+ || +
1
2k
|| + || + 3,
1 + |j (k)| + |i (k)|
= 0.
k
2k
lm
para todo n.
2(i,j,n)
1
n.
2
Luego, el producto en Rc es una operacin computable. De forma anloga, se
puede mostrar que la suma y la diferencia en Rc son computables. En cuanto a
la divisin en Rc , dada la computabilidad del producto y la proposicin 2.7 (c),
29
1
2k2
|m (k)| .
1
si m (2 (m) + n 2)
indefinido
en caso contrario.
lm |e (k)| = ||
k
1
2(e)1 .
||
30
4
C. Parra y J. Surez
sii
i 0.
sii
s(m) 0
sii
sii
m K.
sii
> 0.
31
Ahora, dado i tal que i : N {0, 1} es una funcin total recursiva, definamos
=
X
i (n)
n=0
2n
k
X
i (n)
n=0
(k N) .
2n
sii
i 0.
X
i (n)
n=0
2n
32
C. Parra y J. Surez
(i) = 0
i 0.
1
2n0 +1
>
1
1
1
=
.
n
n
+1
n
2 0
2 0
2 0 +1
1
2n+1
e (n + 1)
1
2n+1
Si e (n + 1) > 0, entonces
e (n + 1)
1
1
1
> n+1 n+1 = 0.
2n+1
2
2
Similarmente, si e (n + 1) < 0, entonces < 0. Por tanto, el anterior procedimiento decide efectivamente si es positivo negativo.
Por ltimo, mencionamos que no existe un procedimiento efectivo que
aplicado a un cdigo para un racional q decida si q = 0. Similarmente, tampoco existe un algoritmo que aplicado a un Rc determine si es racional
irracional (ver [1]).
33
Aplicaciones al anlisis
Uno de los teoremas clsicos del anlisis real afirma que toda sucesin montona y acotada es convergente. Como consecuencia de la insolubilidad algortmica del problema de la parada, este principio fundamental es falso en
Rc . Para justificar este hecho, introducimos la siguiente definicin y unos
resultados preliminares.
Definicin 5.1. Una sucesin (zn ) en Cc converge efectivamente a z C si
existe una funcin total recursiva h : N N tal que para todo m :
|z zn | 2m ,
si n h (m) .
Por tanto, z Cc .
La siguiente proposicin es un caso particular de un teorema de CaludeHertling. Para la versin general, ver [2].
Proposicin 5.3. Toda sucesin computable montona de nmeros racionales que converge a un nmero real computable converge efectivamente.
Demostracin. Sea (an ) una sucesin computable montona de racionales que
converge a Rc . Sea (qn ) una sucesin de racionales que aproximen a .
Dado m N existe k tal que
| ak |
1
2m+2
1
2m+1
34
C. Parra y J. Surez
1
.
2m+1
Teorema 5.4 (Specker). Existe una sucesin computable (an ) Q estrictamente creciente en [0, 1] que no converge efectivamente.
Demostracin. Sea f : N K una enumeracin efectiva de K y definamos
an
n
X
1
Q.
f (k)+1
2
k=0
1
,
2m
si n h (m) .
an ah(m+3) |an | + ah(m+3) <
1
.
2m+1
Por tanto, m < f (n) . As, se sigue que m K sii existe n h (m + 3) tal
que f (n) = m. Comparando m con
f (1) , f (2) , . . . , f (h (m + 3)) ,
podemos decidir si m K. Pero esto es imposible, dado que K no es recursivo.
Un nmero real para el cual exista una sucesin montona computable
de nmeros racionales que converge a l, pero no efectivamente, se denomina
nmero de Specker. Por la proposicin 5.3 se sigue que los nmeros de Specker son no computables. Tambin podemos concluir que existen sucesiones
montonas y acotadas en Rc que convergen a nmeros no computables.
Definicin 5.5. Para cada n N, sea fn : Cc Cc una funcin parcial
computable. Decimos que la sucesin (fn )
n=0 es computable si la funcin parcial (n, z) 7 fn (z) de N Cc en Cc computable.
35
Podemos generalizar la proposicin 5.2 y probar que toda funcin analtica cuya representacin en series de potencias tenga coeficientes computables
restringida a cualquier disco cerrado de su dominio es una funcin computable.
Teorema 5.6. Sean f, f0 , f1 , . . . funciones parciales complejas con dominio
D C. Supongamos que existe una funcin total recursiva h : N N tal que
|f (z) fn (z)|
1
,
2m
si z D y n h (m) .
Por tanto, s (e) es un cdigo para f (z) . As, f es una funcin parcial computable de D Cc en Cc .
Teorema 5.7. Sea
f (z) =
n=0
n z n
X
|n | bn M.
n=0
r n0
b
1
2
36
C. Parra y J. Surez
y definimos
fn (z) =
n+n
X0
k=0
k z k ,
(n N) .
|z| k
X
X
k
k
|k | b
|f (z) fn (z)|
|k | |z| =
b
k=n+n0 +1
r k
b
k=n0 +n+1
k
X
k=n+1
1
2
k=n+n0 +1
=M
k=n+1
h r n0 ik
b
M
1
m.
n
2
2
Aplicando el teorema 2.9 y el corolario 3.6 (b), es claro que (fn ) es una
sucesin computable de funciones (totales) computables. Luego, se satisfacen
las condiciones del teorema anterior con D = D (0, r) . Por tanto, f restringida
a es computable.
Corolario 5.8. Sea
f (z) =
n=0
n z n ,
n Cc ,
Aplicaciones al lgebra
37
| |
.
2n
Por tanto, (n )
n=1 es una sucesin de nmeros computables que converge
efectivamente a . Por la proposicin 5.2, es computable.
Teorema 6.2. A Cc . Esto es, todo nmero algebraico es computable.
Demostracin. Por la definicin de nmero algebraico, se tiene que z A si
y slo si z A. Dado que A es un campo, se cumple entonces que
zA
si y slo si
Re z, Im z A.
38
C. Parra y J. Surez
sus races en [0, 1] son reales computables que se pueden ordenar en forma
creciente:
0 = 0 1 < 2 < < r1 1 = r .
Luego, si [0, 1] es una raz de p (x) , es claro que existe k tal que
[k , k+1 ] . Si es uno de los extremos, entonces es computable. En caso
contrario, es el nico cero de p (x) en [k , k+1 ], dado que p (x) es montono
en [k , k+1 ] . Adems k , k+1 Rc y p (k )p (k+1 ) < 0. Por la proposicin
6.1, es computable.
Proposicin 6.3. Rc es un campo real cerrado.
Demostracin. Primero mostremos que si R+
c , entonces tiene una raz
cuadrada en Rc . Para ello, basta aplicar la proposicin 6.1 al polinomio p (x) =
x2 Rc [x] en el intervalo [0, + 1] . Ahora, consideremos un polinomio
p (x) Rc [x] de grado impar y veamos que p tiene un cero en Rc . Como el
grado de p (x) es impar, p toma valores positivos y negativos (arbitrariamente
grandes). Por el teorema del valor intermedio, p tiene al menos una raz real.
Podemos suponer, sin prdida de generalidad, que lm p (x) = . Sea
x
p () > 0.
39
[3] Gregory Chaitin. The Limits of Reason. Scientific American, 294, No. 3
(March 2006), p. 74-81.
[4] Nigel J. Cutland. Computability. Cambridge University Press, Cambridge,
1997.
[5] Martin Davis (ed). The Undecidable, Raven Press, New York, 1965.
[6] Serge Lang.Algebra. Springer-Verlag, New York, 2005.
[7] Johany A. Surez. El Nmero Omega.Informacin, Incompletez y Aleatoriedad. Tesis de Grado. Universidad de Antioquia, Medelln. 2003.
[8] Alan M. Turing. On Computable Numbers, with an Application to the
Entscheidungsproblem. Davis, M (ed) The Undecidable. p 115-154, 1965.
Direccin de los autores: Carlos M. Parra , Universidad Nacional de Colombia, Sede
Medelln, cmparra@unalmed.edu.co Johany A. Surez , Universidad Nacional
de Colombia, Sede Medelln, jasuarezr@unalmed.edu.co