h_k : [2, sqrt(k)] -> R, h_k ( x )= k/x ( k >= 4 )
cuyos grafos representan los trozos de las hipérbolas
x y = k incluidas en el subconjunto de IR^2
S : ( x >= 2, y >= x )
llamamos región esencial asociada a h_k, a
cualquiera de los subconjuntos de IR^2:
(a) R_(n, n') = [n, n +1] x [n', n' +1]
( 2 <= n < n', n, n' números naturales y además
R_( n, n' ) interseca al grafo de h_k en más de un punto. )
( Región esencial cuadrada )
(b) R_(n, n) = ( [n, n+1]^2 ) intersección ( y >= x ), y
además R_(n, n) interseca al grafo de h_k en más de un
punto.
( Región esencial triangular )
Necesitaremos enumerar las regiones esenciales y
clasificarlas según la forma de intersección con h_k.
Fernando Revilla.
P.D. Previos:
1.- Transportando la Aritmética.
2.- Codificando números naturales.
3.- Manteniendo la nomenclatura.
4.- El plano x^ y^.
5.- Hipérbolas en el plano x^ y^
6.- Eligiendo adecuadamente codificaciones de IR^+.
7.- Puntos de remolino.
8.- Puntos de semiremolino.
9.- Caracterizando números primos.
10.- Breve e intuitivo sumario.
11.- Codificación prima de IR^+.