Caminos de isogenias entre curvas elípticas sobre cuerpos finitos

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Caminos de isogenias entre curvas elípticas sobre cuerpos finitos"

Transcripción

1 Caminos de isogenias entre curvas elípticas sobre cuerpos finitos J.M. Miret 1, D. Sadornil 2, F. Sebé 1 y J.G. Tena 3 1 Dept. de Matemàtica. Universitat de Lleida. {miret,fsebe}@matematica.udl.cat 2 Dept. Matemáticas, Estadística y Computación. Universidad de Cantabria. sadornild@unican.es 3 Dept. de Álgebra, Geometría y Topología. Universidad de Valladolid. tena@agt.uva.es Resumen. Dadas dos curvas elípticas sobre un cuerpo finito con el mismo cardinal, S.D. Galbraith diseñó un algoritmo probabilístico para encontrar una isogenia entre ellas de grado smooth, es decir, cuyo grado no tiene factores primos mayores que una cierta cota. En este trabajo presentamos un nuevo método que obtiene una isogenia de grado mínimo smooth. Palabras clave: criptografía, curvas elípticas, isogenias. 1 Introducción Dadas dos curvas elípticas E 1 y E 2 sobre un cuerpo finito F q, una isogenia entre ambas es un morfismo que preserva la ley de grupo. Tate [11] prueba la existencia de una isogenia entre ellas si y sólo si las dos tienen el mismo cardinal N = q + 1 t, t 2 q. Sin embargo encontrar explícitamente una isogenia entre ambas curvas es un problema computacionalmente duro. Esta dificultad está en la base de propuestas de sistemas criptográficos de clave pública como [7]. Este criptosistema, basado en un camino de isogenias (secreto) entre dos curvas elípticas (públicas), podría ser roto por un adversario capaz de determinar mediante un proceso eficiente una isogenia entre ambas curvas. Asimismo, la propuesta de firma digital (Patente Microsoft [5]) basa su seguridad en la dificultad de encontrar varias isogenias entre dos curvas elípticas de igual cardinal. Todo ello avala el interés de la investigación en algoritmos que determinen explícitamente isogenias entre dos curvas elípticas. El grado de una isogenia es el grado de la correspondiente inmersión de los cuerpos de funciones de las curvas elípticas. Además, una isogenia puede obtenerse como composición de isogenias de grado primo. De esta forma, se Trabajo financiado por los proyectos MTM C02-{01,02} y CSD

2 494 J.M. Miret, D. Sadornil, F. Sebé y J.G. Tena puede definir un grafo pesado cuyos nodos son curvas elípticas con igual cardinal y cuyas aristas representan isogenias entre curvas con peso el grado de la isogenia. En este contexto, el problema se reduce a encontrar un camino entre dos nodos del grafo. Galbraith [4] da un algoritmo de fuerza bruta para encontrar una tal isogenia. La complejidad de su algoritmo es exponencial y, en general, la isogenia encontrada no es la de grado mínimo posible (problema que el autor considera aún más difícil), sino que produce una de grado smooth, es decir, cuyo grado no tiene factores primos mayores que una cierta cota. El algoritmo construye una cadena de isogenias de grados primos entre E 1 y E 2 y devuelve la composición de las isogenias de la cadena. Empieza calculando dos cadenas específicas de isogenias ascendentes, según las notaciones de Kohel [6]. La primera cadena une la curva E 1 con una curva elíptica E 1, cuyo anillo de endomorfismos es el orden maximal O K del cuerpo cuadrático K = Q( t 2 4q), mientras que la segunda une E 2 con una curva E 2, también verificando que End(E 2 ) = O K. Seguidamente, se van construyendo dos árboles con raíz en E 1 y E 2, respectivamente, hasta que en los dos árboles se obtiene una curva en común. Cuando esto sucede, el algoritmo ha encontrado un camino que conecta E 1 con E 2. En este trabajo presentamos un nuevo algoritmo que produce una isogenia de grado mínimo smooth entre dos curvas elípticas dadas. El algoritmo se basa también en un enfoque arbóreo que construye un árbol de isogenias con raíz en E 1, hasta obtener como un nodo del árbol la curva E 2. Entonces, el algoritmo devuelve las isogenias calculadas a lo largo del camino entre E 1 y E 2. Una de las diferencias entre la propuesta de Galbraith [4] y la que presentamos en este trabajo es que las isogenias de nuestro árbol no se construyen de manera aleatoria como en [4] sino que se calculan de tal manera que sus grados son mínimos entre la curva E 1 y la curva imagen por la isogenia que se añade al árbol. Por otra parte, para encontrar un camino, nuestro algoritmo no necesita calcular isogenias ascendentes hasta curvas cuyo anillo de endomorfismos es el orden maximal O K, sino que es suficiente ascender a curvas cuyo anillo de endomorfismos es un orden más pequeño. 2 Preliminares Una curva elíptica E sobre un cuerpo perfecto k es una curva proyectiva de género 1 que tiene al menos un punto racional O E. Estas curvas tienen un modelo proyectivo plano no-singular con un único punto en el infinito (forma de Weierstraß). Para cada cuerpo k K k, el conjunto de puntos racionales E(K) tiene estructura de grupo abeliano con el punto del infinito como neutro. Si la característica del cuerpo es distinta de 2 y 3, una curva elíptica E/k se puede expresar en coordenadas afines como: E/k : y 2 = x 3 + ax + b,

3 Caminos de isogenias entre curvas elípticas sobre cuerpos finitos 495 ( ) con a, b k y cuyo j-invariante viene dado por j(e) = a 3 4a 3 +27b Isogenias Una isogenia entre dos curvas elípticas E 1, E 2 sobre un cuerpo k es un morfismo I : E 1 E 2 definido sobre k tal que I(O E1 ) = O E2. Una isogenia es un homomorfismo de grupos. Entonces, las curvas E 1 /k y E 2 /k se dice que son isógenas si existe una isogenia no trivial entre ellas. El grado de la isogenia es el grado de la correspondiente inmersión de sus cuerpos de funciones. Además, una isogenia de grado n = n 1 n 2 se puede obtener como una composición de isogenias de grados n 1 y n 2. Sobre cuerpos finitos, el teorema de Tate [11] establece que dos curvas elípticas son isógenas si y sólo si tienen el mismo cardinal. Así, el cardinal N de una curva elíptica sobre un cuerpo finito F q es un invariante de su clase de isogenia. Dado el j-invariante, j 1, de una curva elíptica E 1 definida sobre F q, los j-invariantes de sus curvas isógenas de grado l se pueden calcular usando polinomios modulares [1]. En efecto, dado el l-ésimo polinomio modular Φ l (x,y), estos j-invariantes se pueden obtener como raíces de Φ l (x,j 1 ) (mód q). A partir de los coeficientes E 1 /F q, del j-invariante j 1 = j(e 1 ) y una raíz j 2 de Φ l (x,j 1 ) (mód q) se pueden calcular los coeficientes de una curva E 2 /F q isógena a E 1 con j(e 2 ) = j 2 (véase [1], sección VII.4, el trabajo de N.D. Elkies [2] o [10]). Y a partir de los coeficientes de ambas curvas se puede determinar el factor ψ(x) F q [x] de grado (l 1)/2 del polinomio de l-división de E 1 /F q asociado al núcleo de la isogenia. Entonces, usando las fórmulas de Vélu [12], se pueden obtener las expresiones de la isogenia como aplicacions racionales ( ϕ1 (x,y) I(x,y) = ψ(x) 2, ϕ ) 2(x,y) ψ(x) 3 donde ϕ 1 (x,y) y ϕ 2 (x,y) son polinomios sobre F q que se pueden deducir de ψ(x). 2.2 Anillos de endomorfismos El conjunto de todas las isogenias de una curva E/k consigo misma, junto con la aplicación cero, forman un anillo que denotamos por End(E). Dada una curva E/F q, q = p m, con cardinal N = q + 1 t, t 2 q, que sea ordinaria, es decir, p t, podemos considerar el cuerpo cuadrático imaginario, K = Q( d), donde d es libre de cuadrados y t 2 4q = f 2 D K,

4 496 J.M. Miret, D. Sadornil, F. Sebé y J.G. Tena siendo D K = d si d 1 (mód 4) o D K = 4d si d 2,3 (mód 4). Entonces el anillo de endomorfismos O = End(E) de E/F q se puede identificar con un orden de K ([8], Teorema V.3.1), que satisface Z[π] O O K, donde O K es el anillo de enteros de K. El anillo Z[π] tiene conductor f en el orden maximal O K y, por tanto, el conductor g de O divide f. Dadas dos curvas elípticas ordinarias E/F q, siendo D π = t 2 4q el discriminante de su endomorfismo de Frobenius, el símbolo de Legendre para un entero l da información sobre las isogenias de grado l de E. Más concretamente, E/F q no tiene isogenias de grado l si ( D π ) l = 1, E/Fq tiene dos isogenias de grado l si ( D π ) l = 1 y E/Fq tiene 1 o l + 1 isogenias de grado l si ( D π ) l = 0. Dada una isogenia I : E 1 E 2 de grado un primo l, Kohel [6] demostró la siguiente relación entre sus anillos de endomorfismos: [O 1 : O 2 ] = 1, l o 1/l. Según cada caso, se dice que la isogenia I es horizontal, descendente o ascendente, respectivamente. Esta noción de dirección permite representar el conjunto de clases de isomorfía de curvas isógenas mediante un grafo. Un volcán [3] de l-isogenias es un grafo dirigido cuyos nodos son clases de isomorfía de curvas elípticas ordinarias sobre un cuerpo finito F q y cuyas aristas representan isogenias de grado l entre ellas. Estos grafos están formados por un único ciclo (con uno, dos o más nodos) en el máximo nivel, llamado cráter, y desde cada nodo del ciclo cuelga un árbol completo l-ario, excepto en el caso que el volcán se reduzca al cráter. Las hojas de estos árboles están situadas en el mismo nivel, denominado suelo del volcán. Los volcanes de l-isogenias cuyo primo l divide el conductor f de Z[π] tienen al menos dos niveles (altura 1). Los resultados siguientes muestran que una isogenia se puede descomponer como una composición de una isogenia ascendente a una curva cuyo anillo de endomorfismos es el producto de los anillos de endomorfismos de las dos curvas dadas, seguida de una isogenia horizontal y una de descendente. Lema 1. Sean E 1 y E 2 dos curvas elípticas ordinarias cuyos anillos de endoemorfismos O 1, O 2 tienen conductores g 1 y g 2. Sea I : E 1 E 2 una isogenia. g 1 Si l es un primo que divide gcd(g 1,g 2 ) o g 2, entonces el grado de I gcd(g 1,g 2 ) es divisible por l. Demostración. Se deduce directamente de la Proposición 1 de [4] y de la Proposición 21 de [6]. Proposición 1. Sean E 1 y E 2 dos curvas elípticas ordinarias con el mismo cardinal cuyos anillos de endomorfismos O 1, O 2 tienen conductores g 1 y g 2, respectivamente. Entonces, una isogenia de E 1 a E 2 de grado n se puede descomponer de la siguiente manera:

5 Caminos de isogenias entre curvas elípticas sobre cuerpos finitos 497 I E 1 1 E I 1 E 2 I 2 E2 donde E 1 y E 2 son curvas elípticas con anillo de endomorfismos O 1O 2, con conductor g = gcd(g 1,g 2 ). Además, los grados de las isogenias I 1, I 2 e I son, respectivamente, n 1 = g 1 /g, n 2 = g 2 /g y n = n/(n 1 n 2 ). Demostración. Primero, vamos a probar la existencia de la isogenia I 1 entre E 1 y E 1 y la isogenia I 2 entre E 2 y E 2. Del Lema 1, dado un factor primo l de g 1 /g podemos considerar la única isogenia ascendente de E 1 a una curva elíptica cuyo anillo de endomorfismos tenga conductor g 1 /l. Ahora, repitiendo el mismo procedimiento para los factores restantes de g 1 /g obtenemos un camino de isogenias de E 1 a E 1 (cuyo anillo de endomorfismos es O 1O 2 con conductor g). De la misma manera, considerando los factores primos de g 2 /g, podemos construir un camino de E 2 a E 2 (con el mismo anillo de endomorfismos que E 1 ). De la primera parte, tenemos un camino de isogenias de E 1 a E 2 de grado n 1 nn 2. Puesto que la composición de isogenias es conmutativa, teniendo en cuenta que n 1 n 2 divide n, reordenando las isogenias de grado primo, podemos cancelar las isogenias I 1 e I 2 con sus correspondientes duales. Por tanto, obtenemos un camino de isogenias entre E 1 y E 2 de grado n = n/(n 1 n 2 ). 3 Algoritmo básico El algoritmo que se propone a continuación encuentra la isogenia de grado mínimo entre dos curvas elípticas, E 1 y E 2 definidas sobre F q. Su funcionamiento se basa en la construcción de un árbol donde cada nodo contiene información sobre una curva elíptica. - Los nodos están etiquetas mediante una tupla que contiene dos atributos (j,g): j: El j-invariante de la curva asociada a este nodo. g: El grado de la isogenia de grado mínim entre la curva asociada a este nodo y la curva asociada al nodo raíz del árbol. - Las aristas se etiquetan con un entero que indica el grado de la isogenia entre los dos nodos que enlaza. La métrica de las aristas es multiplicativa, es decir, el coste de un camino entre dos nodos es el producto de la métrica asignada a las aristas atravesadas. Sean j 1 y j 2 los j-invariante de E 1 y E 2, respectivamente. El algoritmo comienza con un árbol trivial compuesto de un único nodo etiquetado como (j 1,1). El algoritmo itera secuencialmente de tal modo que en su i-ésima iteracion, añade nodos al árbol tales que existe un i-isogenia entre sus curvas asociadas y el nodo raíz y no existe otra isogenia de menor grado entre ambas curvas. El algoritmo se para una vez j 2 se añade al árbol. En este momento, se

6 498 J.M. Miret, D. Sadornil, F. Sebé y J.G. Tena puede obtener la isogenia de grado mínimo entre E 1 y E 2 como la composición de las isogenias que se encuentran a lo largo del camino del árbol que las une (que corresponde al camino entre el nodo de j 2 y la raíz del árbol). El proceso se detalla en el Algoritmo 1. Algoritmo 1 Algoritmo para encontrar la isogenia de grado mínimo entre dos curvas elípticas Input: j 1, j 2 : j-invariante de dos curvas elípticas. Output: Isogenia de grado mínimo entre j 1 y j 2 1 Inicializar un árbol vacío T 2 Añadir un nodo etiquetado como (j 1, 1) a T 3 grado := 2 4 while cierto do 5 d:=factorprimomenor(grado) 6 i := grado/d 7 L i := lista del j-atributo de los nodos de T cuyo g-atributo es i 8 for j en L i do 9 L := j-invariantes de las d-isogenias de j 10 for j en L do 11 if j no en T then 12 Añadir un nuevo nodo a T etiquetado (j, grado) 13 Añadir una arista etiquetada (d) entre el nuevo nodo y el nodo de j 14 if j = j 2 then 15 Generar la isogenia I como la composición de todas las isogenias de grado primo encontradas a lo largo del camino del nodo de j hasta la raíz 16 return I 17 end if 18 end if 19 end for 20 end for 21 grado := grado end while 3.1 Estructuras de datos y detalles de implementación El tiempo de ejecución del algoritmo presentado depende de la eficiencia de algunas operaciones que deben realizarse sobre el árbol. A continuación, detallamos una forma de implementarlo basado en el uso de dos tablas hash: - Una tabla hash, H 1, cuyos elementos son tuplas con la siguiente estructura: min grado: Guarda un entero positivo. Este es el atributo clave. lista: Guarda una lista de j-invariantes.

7 Caminos de isogenias entre curvas elípticas sobre cuerpos finitos 499 Durante la ejecución del algoritmo, la tupla cuya clave es i almacena la lista de j-invariantes de curvas elípticas cuya isogenia de grado mínimo hacia la raíz es i. - Una tabla hash, H 2, cuyos elementos son tuplas con la siguiente estructura: nodo: Guarda el j-invariante de una curva elíptica. Este es el atributo clave. padre: Almacena el j-invariante del padre de nodo en el árbol. grado: Entero que almacena el grado (primo) de la isogenia entre nodo y padre. Addición de nodos y aristas Una vez el algoritmo comienza, en el paso 2, el nodo raíz etiquetado (j 1,1) se añadido al árbol. Esto se hace de la siguiente forma: - Añadir la tupla (1, {j 1 }) a H 1. - Añadir la tupla (j 1,nulo,nulo) a H 2 (los valores nulo se deben al hecho de que el nodo raíz no tiene padre). En los pasos 12 y 13, el algoritmo añade un nuevo nodo con atributos (j,grado) y una arista (etiquetada d) enlazandolo con su padre, que es el nodo de j. Esto se hace de la siguiente forma: - Si H 1 no tiene ninguna tuple con clave grado, se añade la tupla (grado, {j }) a H 1. - En el otro caso, j se añade al campo lista de la tupla de H 1 cuya clave es grado. - Finalmente, se añade la tupla (j,j,d) a H 2. Búsquedas En el paso 7 el algoritmo necesita una lista L i que contenga el j-invariante de todas las curvas cuya isogenia de grado mínimo hacia la raíz sea de grado i. Esta lista se almacena en la tupla de H 1 cuya clave es i, de tal modo que puede obtenerse mediante un único acceso a la tabla hash. Otra operación de búsqueda importante consiste en comprobar si un determinado j-invariante, j, ya se encuentra en el árbol (paso 11). Esta comprobación se hace buscando si la tabla H 2 contiene alguna tupla cuyo campo clave es j. 3.2 Ejemplo A continuación se muestra un ejemplo. Sean E 1 : y 2 = x x y E 2 : y 2 = x x + 94 dos curvas elípticas definidas sobre F 313. Como #E 1 (F 313 ) = #E 2 (F 313 ), sabemos que existe por lo menos una isogenia entre

8 500 J.M. Miret, D. Sadornil, F. Sebé y J.G. Tena ellas. Vamos a encontrar la de grado mínimo. Los j-invariantes de E 1 y E 2 son 144 y 117, respectivamente. El algoritmo comienza a partir de un árbol con un único nodo raíz (etiquetado (144,1)). El algoritmo va añadiendo nuevas curvas al árbol en un órden creciente a partir de su isogenia de grado mínimo hasta 144. Una vez el j- invariante 117 haya sido añadido el algoritmo termina. La figura 1 muestra el contenido de H 1 cuando el algoritmo acaba. Las tuplas se muestran ordenadas a partir del campo min grado. Como el j-invariante 117 se almacena en un registro cuya clave es 10, concluimos que la isogenia de grado mínimo entre las curvas E 1 y E 2 tiene grado 10. H 1 min grado lista 1 {144} 2 {201, 146, 43} 3 {162} 4 {291, 221} 5 {268, 65} 6 {210, 163, 25} 8 {228, 191} 10 {292, 34, 237, 117} Figura 1. Contenido de H 1 cuando la isogenia de grado mínimo entre las curvas con j-invariantes 144 y 117 es encontrada. Cada fila muestra el contenido de una tupla. La figura 2 muestra el contenido de H 2 en el momento que se detiene la ejecución. A partir de su información, podemos reconstruir la cadena de isogenias de grado primo entre 144 y 117. A partir de la tupla (117,65,2) vemos que existe una 2-isogenia entre la curva 117 y la curva 65. A continuación, a partir de la tupla (65,144,5) sabemos que hay una 5-isogenia entre 65 y 144. Resumiendo, la isogenia de grado mínimo, I, entre E 1 y E 2 tiene grado 10. Esta isogenia puede descomponerse en dos isogenias de grado 5 y 2 respectivamente, 117 I 2 65 I Encontrando isogenias de grado mínimo smooth El algoritmo, tal como se describe en Algoritmo??, asume que es posible calcular isogenias de cualquier grado primo (step 9). A la práctica, es bien sabido que el coste de calcular isogenias aumenta muy rápido con el grado. Por tanto, a la práctica, solamente es factible calcular isogenias hasta un determinado grado primo máximo. En este caso, el algoritmo debe modificarse

9 Caminos de isogenias entre curvas elípticas sobre cuerpos finitos 501 H 2 (144, N, N) (163, 162, 2) (201, 144, 2) (210, 162, 2) (146, 144, 2) (228, 221, 2) (43, 144, 2) (191, 221, 2) (291, 201, 2) (292, 268, 2) (221, 201, 2) (34, 268, 2) (268, 144, 5) (237, 65, 2) (65, 144, 5) (117, 65, 2) (25, 162, 2) Figura 2. Contenido de H 1 cuando la isogenia de grado mínimo entre las curvas con j-invariantes 144 y 117 es encontrada. Cada tupla se muestra entre paréntesis (nodo, padre, grado). de tal modo que si el valor d calculado en el paso 5 es mayor que nuestro valor primo máximo, el algoritmo salta al paso 21 y continúa. Bajo esta restricción, el algoritmo presentado solamente devuelve la isogenia de grado mínimo smooth entre dos curvas dadas. Es decir, la isogenia de grado mínimo tal que su grado no tiene factores primos mayores que nuestro máximo. 4.1 Tiempo de ejecución El algoritmo ha sido implementado en Sage [9] y ejecutado sobre un ordenador con un procesador Intel Xeno de 3.16 GHz. El grado máximo de la isogenias calculables se ha limitado a 113. El motivo es que este es el mayor grado del polinomio modular de grado primo que viene precalculado en Sage. Los resultados se muestran en la tabla 1. j-invariante grado mínimo smooth tiempo (s) = = = = = = = = = = Tabla 1. Tiempo necesario para encontrar la isogenia de grado mínimo smooth entre algunas curvas y la curva con j-invariante sobre F

10 502 J.M. Miret, D. Sadornil, F. Sebé y J.G. Tena 5 Reducción del tiempo de ejecución El corolario 1 puede aplicarse a la búsqueda de la isogenia de grado mínimo entre E 1 y E 2. De este modo, la isogenia en cuestión puede encontrarse de la siguiente forma: 1. Calcular el camino de isogenias ascendentes de E 1 hasta E 1. Denotaremos este camino como P Calcular el camino de isogenias ascendentes de E 2 hasta E 2. Denotaremos este camino como P Usar el Algoritmo 1 par encontrar la isogenia de grado mínimo entre E 1 y E 2. Denotaremos este camino de isogenias como P Obtener la isogenia de grado mínimo entre E 1 y E 2 enlazando los caminos P 1, P 3 y el reverso de P 2. Esta técnica permite reducir la longitud del camino que debe hallarse con el algoritmo 1 de n a n/n 1 n 2. Esto conlleva una reducción en el tiempo de ejecución debido a que éste depende de la longitud del camino a hallar. La complejidad computacional del algoritmo, utilizando este proceso es O(q 3/2 ). Si ninguno de los conductores de los anillos de endomorfismos O 1 o O 2 es divisible por un primo grande, dicho coste se reduce a O(q 3/4 ). 5.1 Ejemplo A continuación se presenta un ejemplo que muestra la reducción de tiempo dada por esta mejora. Consideramos el cuerpo finito F y deseamos encontrar la isogenia de grado mínimo smooth (el grado de las isogenias calculables se limita a 113) entre las curvas E 1 y E 2, cuyos j-invariantes son y , respectivamente. El algoritmo 1 encuentra el siguiente camino (los conductores se muestran entre paréntesis), que corresponde a una isogenia en 195 segundos: E 1 ( ) I (2 3 2 ) (2 3 7) I (2 3 2 ) I ( ) I ( ) I 2 E 2 (3 2 7) I 3 Aplicando la mejora, se obtiene un camino equivalente calculando primero los conductores de E 1 y E 2 que son g 1 = y g 2 = 3 2 7, respectivamente, de tal modo que g = gcd(g 1,g 2 ) = 3 2. Entonces se construye el camino de E 1 hasta E 1 : E 1 ( ) I (3 2 19) I 19 E 1

11 Caminos de isogenias entre curvas elípticas sobre cuerpos finitos 503 Luego, se construye el camino de E 2 a E 2 : E 2 I 7 E 2 (3 2 7) Finalmente, usando el algoritmo 1 se obtiene la isogenia de grado mínimo smooth formado por el siguiente camino entre E 1 y E 2 : E 1 I I (3) I 3 E 2 Componiendo los tres caminos anteriores (invirtiendo el orden de aquel entre E 2 y E 2 ), obtenemos el siguiente camino en solamente 2,3 segundos: E 1 ( ) I (3 2 19) (3) I 19 E 1 I 3 E 2 I I 7 E 2 (3 2 7) I 3 En la tabla 2 se muestran los tiempos de ejecución del algoritmo tomando desde cada curva un camino ascendente a curvas con anillo de endomorfismo O 1 O 2. Para comprobar que efectivamente se reduce el tiempo de cálculo se han tomado las mismas curvas que en la tabla 1. Por la proposición 1, es claro que la isogenia de grado mínimo entre dos curvas elípticas se descompone en isogenias ascendentes, una isogenia horizontal e isogenias descendentes. Además, tanto las ascendentes como las descendentes (que son ascendentes desde la curva final) están unívocamente determinadas por los conductores de O 1 y O 2 respectivamente y este hecho reduce el tiempo de cálculo. j-invariante grado mínimo smooth tiempo (s) = = = = = = = = = = Tabla 2. Tiempo necesario para encontrar la isogenia de grado mínimo smooth entre algunas curvas y la curva con j-invariante sobre F tomando caminos ascendentes en primer lugar.

12 504 J.M. Miret, D. Sadornil, F. Sebé y J.G. Tena Referencias [1] I.F. Blake, G. Seroussi, N.P. Smart. Elliptic Curves in Cryptography. London Mathematical Society Lecture Notes vol. 265, Cambridge U. Press, [2] N.D. Elkies. Explicit isogenies. Manuscript, [3] M. Fouquet, F. Morain. Isogeny Volcanoes and the SEA Algorithm. ANTS-V, LNCS 2369, , Springer, [4] S.D. Galbraith. Constructing isogenies between elliptic curves over finite fields. LMS J. Comput. Math. 2, , [5] D.Y. Jao, R. Venkatesan. Use of isogenies for design of cryptosystems. European Patent EP [6] D. Kohel. Endomorphism rings of elliptic curves over finite fields. PhD thesis, University of California, Berkeley, [7] A. Rostovtsev, A. Stolbunov. Public-key cryptosystem based on isogenies. Cryptology eprint Archive. Report 2006/145, [8] J.H. Silverman. The arithmetic of elliptic curves. Grad. Texts in Math. 106, Springer, [9] W. A. Stein et al. Sage Mathematics Software (Version 4.3). The Sage Group, [10] R. Schoof. Counting points on elliptic curves over finite fields. J. Théorie des Nombres de Bordeaux 7, , [11] J. Tate. Endomorphisms of abelian varieties over finite fields. Invent. Math. 2, , [12] J. Vélu. Isogénies entre courbes elliptiques. C.R. Acad. Sci. Paris, Ser. I Math. Serie A, 273, , 1971.

Distancia entre vértices en multigrafos de isogenias de curvas elípticas

Distancia entre vértices en multigrafos de isogenias de curvas elípticas 1 / 17 Distancia entre vértices en multigrafos de isogenias de curvas elípticas D. Sadornil 1 F. Sebé 2 J. Tena 3 M. Valls 2 1 UC, 2 UdL, 3 UVa Julio 2012 Definicion Una curva elíptica sobre F q es un

Más detalles

Grupos. Subgrupos. Teorema de Lagrange. Operaciones.

Grupos. Subgrupos. Teorema de Lagrange. Operaciones. 1 Tema 1.-. Grupos. Subgrupos. Teorema de Lagrange. Operaciones. 1.1. Primeras definiciones Definición 1.1.1. Una operación binaria en un conjunto A es una aplicación α : A A A. En un lenguaje más coloquial

Más detalles

4 APLICACIONES LINEALES. DIAGONALIZACIÓN

4 APLICACIONES LINEALES. DIAGONALIZACIÓN 4 APLICACIONES LINEALES DIAGONALIZACIÓN DE MATRICES En ocasiones, y con objeto de simplificar ciertos cálculos, es conveniente poder transformar una matriz en otra matriz lo más sencilla posible Esto nos

Más detalles

Estructuras algebraicas

Estructuras algebraicas Tema 2 Estructuras algebraicas básicas 2.1. Operación interna Definición 29. Dados tres conjuntos A, B y C, se llama ley de composición en los conjuntos A y B y resultado en el conjunto C, y se denota

Más detalles

ESTRUCTURAS ALGEBRAICAS 1

ESTRUCTURAS ALGEBRAICAS 1 ESTRUCTURAS ALGEBRAICAS Se da la relación entre dos conjuntos mediante el siguiente diagrama: (, ) (2, 3) (, 4) (, 2) (7, 8) (, ) (3, 3) (5, ) (6, ) (, 6)........ 5 6......... 2 5 i) Observa la correspondencia

Más detalles

1. Producto escalar, métrica y norma asociada

1. Producto escalar, métrica y norma asociada 1. asociada Consideramos el espacio vectorial R n sobre el cuerpo R; escribimos los vectores o puntos de R n, indistintamente, como x = (x 1,..., x n ) = n x i e i i=1 donde e i son los vectores de la

Más detalles

9.1 Primeras definiciones

9.1 Primeras definiciones Tema 9- Grupos Subgrupos Teorema de Lagrange Operaciones 91 Primeras definiciones Definición 911 Una operación binaria en un conjunto A es una aplicación α : A A A En un lenguaje más coloquial una operación

Más detalles

1 Espacios y subespacios vectoriales.

1 Espacios y subespacios vectoriales. UNIVERSIDAD POLITÉCNICA DE CARTAGENA Departamento de Matemática Aplicada y Estadística Espacios vectoriales y sistemas de ecuaciones 1 Espacios y subespacios vectoriales Definición 1 Sea V un conjunto

Más detalles

Subespacios vectoriales en R n

Subespacios vectoriales en R n Subespacios vectoriales en R n Víctor Domínguez Octubre 2011 1. Introducción Con estas notas resumimos los conceptos fundamentales del tema 3 que, en pocas palabras, se puede resumir en técnicas de manejo

Más detalles

VII. Estructuras Algebraicas

VII. Estructuras Algebraicas VII. Estructuras Algebraicas Objetivo Se analizarán las operaciones binarias y sus propiedades dentro de una estructura algebraica. Definición de operación binaria Operaciones como la suma, resta, multiplicación

Más detalles

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d Relaciones binarias En esta sección estudiaremos formalmente las parejas de objetos que comparten algunas características o propiedades en común. La estructura matemática para agrupar estas parejas en

Más detalles

LÍMITES Y CONTINUIDAD DE FUNCIONES

LÍMITES Y CONTINUIDAD DE FUNCIONES Capítulo 9 LÍMITES Y CONTINUIDAD DE FUNCIONES 9.. Introducción El concepto de ite en Matemáticas tiene el sentido de lugar hacia el que se dirige una función en un determinado punto o en el infinito. Veamos

Más detalles

Tema 2. Espacios Vectoriales. 2.1. Introducción

Tema 2. Espacios Vectoriales. 2.1. Introducción Tema 2 Espacios Vectoriales 2.1. Introducción Estamos habituados en diferentes cursos a trabajar con el concepto de vector. Concretamente sabemos que un vector es un segmento orientado caracterizado por

Más detalles

Divisibilidad y números primos

Divisibilidad y números primos Divisibilidad y números primos Divisibilidad En muchos problemas es necesario saber si el reparto de varios elementos en diferentes grupos se puede hacer equitativamente, es decir, si el número de elementos

Más detalles

Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria.

Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria. Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria. Operación Binaria Se conoce una operación binaria

Más detalles

Ecuaciones de primer grado con dos incógnitas

Ecuaciones de primer grado con dos incógnitas Ecuaciones de primer grado con dos incógnitas Si decimos: "las edades de mis padres suman 120 años", podemos expresar esta frase algebraicamente de la siguiente forma: Entonces, Denominamos x a la edad

Más detalles

Anexo 1: Demostraciones

Anexo 1: Demostraciones 75 Matemáticas I : Álgebra Lineal Anexo 1: Demostraciones Espacios vectoriales Demostración de: Propiedades 89 de la página 41 Propiedades 89- Algunas propiedades que se deducen de las anteriores son:

Más detalles

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen

Más detalles

Apuntes de Matemática Discreta 9. Funciones

Apuntes de Matemática Discreta 9. Funciones Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y

Más detalles

Tema 3. Espacios vectoriales

Tema 3. Espacios vectoriales Tema 3. Espacios vectoriales Estructura del tema. Definición y propiedades. Ejemplos. Dependencia e independencia lineal. Conceptos de base y dimensión. Coordenadas Subespacios vectoriales. 0.1. Definición

Más detalles

Una generalización algebraica del teorema de Cantor-Bernstein a módulos inyectivos puros sobre dominios enteros

Una generalización algebraica del teorema de Cantor-Bernstein a módulos inyectivos puros sobre dominios enteros 17 Una generalización algebraica del teorema de Cantor-Bernstein a módulos inyectivos puros sobre dominios enteros Jorge Eduardo Macías Díaz 1 Bernardo Isidro Guerrero Macías 1 RESUMEN Este artículo presenta

Más detalles

Dominios de factorización única

Dominios de factorización única CAPíTULO 3 Dominios de factorización única 1. Dominios euclídeos En la sección dedicada a los números enteros hemos descrito todos los ideales de Z. En este apartado introducimos una familia de anillos

Más detalles

Estructuras de datos: Proyecto 2

Estructuras de datos: Proyecto 2 Estructuras de datos: Proyecto 2 28 de mayo de 2013 Instrucciones Enviar las soluciones por email a los ayudantes, con copia a la profesora. Plazo de entrega: 16 de junio (durante todo el día). Se debe

Más detalles

AMPLIACIÓN DE MATEMÁTICAS. REPASO DE MATEMÁTICAS DISCRETA. CONGRUENCIAS. En el conjunto de los números enteros

AMPLIACIÓN DE MATEMÁTICAS. REPASO DE MATEMÁTICAS DISCRETA. CONGRUENCIAS. En el conjunto de los números enteros AMPLIACIÓN DE MATEMÁTICAS REPASO DE MATEMÁTICAS DISCRETA. CONGRUENCIAS. En el conjunto de los números enteros Z = {..., n,..., 2, 1, 0, 1, 2, 3,..., n, n + 1,...} tenemos definidos una suma y un producto

Más detalles

Clasificación de métricas.

Clasificación de métricas. Clasificación de métricas. 1. El problema de clasificación. Como bien sabemos, el par formado por una métrica T 2 (esto es, un tensor 2-covariante simétrico) sobre un espacio vectorial E, (E, T 2 ), constituye

Más detalles

Factorización de polinomios

Factorización de polinomios Factorización de polinomios Polinomios Un polinomio p en la variable x es una expresión de la forma: px a 0 a 1 x a x a n1 x n1 a n x n donde a 0, a 1, a,, a n1, a n son unos números, llamados coeficientes

Más detalles

Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA. Funciones

Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA. Funciones Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA Funciones José R. Jiménez F. Temas de pre-cálculo I ciclo 007 Funciones 1 Índice 1. Funciones 3 1.1. Introducción...................................

Más detalles

Los polinomios. Un polinomio es una expresión algebraica con una única letra, llamada variable. Ejemplo: 9x 6 3x 4 + x 6 polinomio de variable x

Los polinomios. Un polinomio es una expresión algebraica con una única letra, llamada variable. Ejemplo: 9x 6 3x 4 + x 6 polinomio de variable x Los polinomios Los polinomios Un polinomio es una expresión algebraica con una única letra, llamada variable. Ejemplo: 9x 6 3x 4 + x 6 polinomio de variable x Elementos de un polinomio Los términos: cada

Más detalles

Módulo 9 Sistema matemático y operaciones binarias

Módulo 9 Sistema matemático y operaciones binarias Módulo 9 Sistema matemático y operaciones binarias OBJETIVO: Identificar los conjuntos de números naturales, enteros, racionales e irracionales; resolver una operación binaria, representar un número racional

Más detalles

Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.

Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas. Tema 1 Matrices Estructura del tema. Conceptos básicos y ejemplos Operaciones básicas con matrices Método de Gauss Rango de una matriz Concepto de matriz regular y propiedades Determinante asociado a una

Más detalles

1. Ecuaciones no lineales

1. Ecuaciones no lineales 1. Ecuaciones no lineales 1.1 Ejercicios resueltos Ejercicio 1.1 Dada la ecuación xe x 1 = 0, se pide: a) Estudiar gráficamente sus raíces reales y acotarlas. b) Aplicar el método de la bisección y acotar

Más detalles

BASES Y DIMENSIÓN. Propiedades de las bases. Ejemplos de bases.

BASES Y DIMENSIÓN. Propiedades de las bases. Ejemplos de bases. BASES Y DIMENSIÓN Definición: Base. Se llama base de un espacio (o subespacio) vectorial a un sistema generador de dicho espacio o subespacio, que sea a la vez linealmente independiente. β Propiedades

Más detalles

Polinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo

Polinomios: Definición: Se llama polinomio en x de grado n a una expresión del tipo Polinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo P (x) = a 0 x n + a 1 x n 1 +... + a n Donde n N (número natural) ; a 0, a 1, a 2,..., a n son coeficientes reales

Más detalles

La nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx

La nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx La nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx Resumen Se dan algunas definiciones básicas relacionadas con la divisibilidad

Más detalles

Ampliación de Estructuras de Datos

Ampliación de Estructuras de Datos Ampliación de Estructuras de Datos Amalia Duch Barcelona, marzo de 2007 Índice 1. Diccionarios implementados con árboles binarios de búsqueda 1 2. TAD Cola de Prioridad 4 3. Heapsort 8 1. Diccionarios

Más detalles

2.2 Transformada de Laplace y Transformada. 2.2.1 Definiciones. 2.2.1.1 Transformada de Laplace

2.2 Transformada de Laplace y Transformada. 2.2.1 Definiciones. 2.2.1.1 Transformada de Laplace 2.2 Transformada de Laplace y Transformada 2.2.1 Definiciones 2.2.1.1 Transformada de Laplace Dada una función de los reales en los reales, Existe una función denominada Transformada de Laplace que toma

Más detalles

CURSO BÁSICO DE MATEMÁTICAS PARA ESTUDIANTES DE ECONÓMICAS Y EMPRESARIALES

CURSO BÁSICO DE MATEMÁTICAS PARA ESTUDIANTES DE ECONÓMICAS Y EMPRESARIALES INECUACIONES NOTA IMPORTANTE: El signo de desigualdad de una inecuación puede ser,, < o >. Para las cuestiones teóricas que se desarrollan en esta unidad únicamente se utilizará la desigualdad >, siendo

Más detalles

Espacios generados, dependencia lineal y bases

Espacios generados, dependencia lineal y bases Espacios generados dependencia lineal y bases Departamento de Matemáticas CCIR/ITESM 14 de enero de 2011 Índice 14.1. Introducción............................................... 1 14.2. Espacio Generado............................................

Más detalles

TEMA 2 POLINOMIOS Y FRACCIONES ALGEBRAICAS

TEMA 2 POLINOMIOS Y FRACCIONES ALGEBRAICAS Matemáticas B 4º E.S.O. Tema : Polinomios y fracciones algebraicas. 1 TEMA POLINOMIOS Y FRACCIONES ALGEBRAICAS.1 COCIENTE DE POLINOMIOS 4º.1.1 COCIENTE DE MONOMIOS 4º El cociente de un monomio entre otro

Más detalles

Tema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice

Tema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice Tema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice 1 Polinomios Dedicaremos este apartado al repaso de los polinomios. Se define R[x] ={a 0 + a 1 x + a 2 x 2 +... +

Más detalles

Introducción a la Teoría de Grafos

Introducción a la Teoría de Grafos Introducción a la Teoría de Grafos Flavia Bonomo fbonomo@dc.uba.ar do. Cuatrimestre 009 Árboles Un árbol es un grafo conexo y acíclico (sin ciclos). Un bosque es un grafo acíclico, o sea, una unión disjunta

Más detalles

Programa para el Mejoramiento de la Enseñanza de la Matemática en ANEP Proyecto: Análisis, Reflexión y Producción. Fracciones

Programa para el Mejoramiento de la Enseñanza de la Matemática en ANEP Proyecto: Análisis, Reflexión y Producción. Fracciones Fracciones. Las fracciones y los números Racionales Las fracciones se utilizan cotidianamente en contextos relacionados con la medida, el reparto o como forma de relacionar dos cantidades. Tenemos entonces

Más detalles

Números Reales. MathCon c 2007-2009

Números Reales. MathCon c 2007-2009 Números Reales z x y MathCon c 2007-2009 Contenido 1. Introducción 2 1.1. Propiedades básicas de los números naturales....................... 2 1.2. Propiedades básicas de los números enteros........................

Más detalles

TALLER DE MATEMÁTICAS NOTAS. Toda expresión algebraica del tipo. a n x n + a n 1 x n 1 +... + a 1 x + a 0. es un polinomio de grado n, si a n 0.

TALLER DE MATEMÁTICAS NOTAS. Toda expresión algebraica del tipo. a n x n + a n 1 x n 1 +... + a 1 x + a 0. es un polinomio de grado n, si a n 0. NOTAS Toda expresión algebraica del tipo es un polinomio de grado n, si a n 0. a n x n + a n 1 x n 1 +... + a 1 x + a 0 RELACIONES DE DIVISIBILIDAD 1) x n a n = (x a)(x n 1 + ax n 2 + a 2 x n 3 +... +

Más detalles

1.4.- D E S I G U A L D A D E S

1.4.- D E S I G U A L D A D E S 1.4.- D E S I G U A L D A D E S OBJETIVO: Que el alumno conozca y maneje las reglas empleadas en la resolución de desigualdades y las use para determinar el conjunto solución de una desigualdad dada y

Más detalles

Capítulo 12: Indexación y asociación

Capítulo 12: Indexación y asociación Capítulo 12: Indexación y asociación Conceptos básicos Índices ordenados Archivos de índice de árbol B+ Archivos de índice de árbol B Asociación estática Asociación dinámica Comparación entre indexación

Más detalles

Seminario Universitario Material para estudiantes. Física. Unidad 2. Vectores en el plano. Lic. Fabiana Prodanoff

Seminario Universitario Material para estudiantes. Física. Unidad 2. Vectores en el plano. Lic. Fabiana Prodanoff Seminario Universitario Material para estudiantes Física Unidad 2. Vectores en el plano Lic. Fabiana Prodanoff CONTENIDOS Vectores en el plano. Operaciones con vectores. Suma y producto por un número escalar.

Más detalles

Matrices Invertibles y Elementos de Álgebra Matricial

Matrices Invertibles y Elementos de Álgebra Matricial Matrices Invertibles y Elementos de Álgebra Matricial Departamento de Matemáticas, CCIR/ITESM 12 de enero de 2011 Índice 91 Introducción 1 92 Transpuesta 1 93 Propiedades de la transpuesta 2 94 Matrices

Más detalles

Ejercicios Resueltos del Tema 4

Ejercicios Resueltos del Tema 4 70 Ejercicios Resueltos del Tema 4 1. Traduce al lenguaje algebraico utilizando, para ello, una o más incógnitas: La suma de tres números consecutivos Un número más la mitad de otro c) El cuadrado de la

Más detalles

1 1 0 1 x 1 0 1 1 1 1 0 1 + 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1

1 1 0 1 x 1 0 1 1 1 1 0 1 + 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 5.1.3 Multiplicación de números enteros. El algoritmo de la multiplicación tal y como se realizaría manualmente con operandos positivos de cuatro bits es el siguiente: 1 1 0 1 x 1 0 1 1 1 1 0 1 + 1 1 0

Más detalles

Este documento ha sido generado para facilitar la impresión de los contenidos. Los enlaces a otras páginas no serán funcionales.

Este documento ha sido generado para facilitar la impresión de los contenidos. Los enlaces a otras páginas no serán funcionales. Este documento ha sido generado para facilitar la impresión de los contenidos. Los enlaces a otras páginas no serán funcionales. Introducción Por qué La Geometría? La Geometría tiene como objetivo fundamental

Más detalles

Juan Antonio González Mota Profesor de Matemáticas del Colegio Juan XIII Zaidín de Granada

Juan Antonio González Mota Profesor de Matemáticas del Colegio Juan XIII Zaidín de Granada FUNCIONES CONTINUAS. La mayor parte de las funciones que manejamos, a nivel elemental, presentan en sus gráficas una propiedad característica que es la continuidad. La continuidad de una función definida

Más detalles

AXIOMAS DE CUERPO (CAMPO) DE LOS NÚMEROS REALES

AXIOMAS DE CUERPO (CAMPO) DE LOS NÚMEROS REALES AXIOMASDECUERPO(CAMPO) DELOSNÚMEROSREALES Ejemplo: 6 INECUACIONES 15 VA11) x y x y. VA12) x y x y. Las demostraciones de muchas de estas propiedades son evidentes de la definición. Otras se demostrarán

Más detalles

a < b y se lee "a es menor que b" (desigualdad estricta) a > b y se lee "a es mayor que b" (desigualdad estricta)

a < b y se lee a es menor que b (desigualdad estricta) a > b y se lee a es mayor que b (desigualdad estricta) Desigualdades Dadas dos rectas que se cortan, llamadas ejes (rectangulares si son perpendiculares, y oblicuos en caso contrario), un punto puede situarse conociendo las distancias del mismo a los ejes,

Más detalles

UNIDAD 4: PLANO CARTESIANO, RELACIONES Y FUNCIONES. OBJETIVO DE APRENDIZAJE: Representar gráficamente relaciones y funciones en el plano cartesiano.

UNIDAD 4: PLANO CARTESIANO, RELACIONES Y FUNCIONES. OBJETIVO DE APRENDIZAJE: Representar gráficamente relaciones y funciones en el plano cartesiano. UNIDAD 4: PLANO CARTESIANO, RELACIONES Y FUNCIONES OBJETIVO DE APRENDIZAJE: Representar gráficamente relaciones y funciones en el plano cartesiano. EL PLANO CARTESIANO. El plano cartesiano está formado

Más detalles

ARREGLOS DEFINICION GENERAL DE ARREGLO

ARREGLOS DEFINICION GENERAL DE ARREGLO ARREGLOS DEFINICION GENERAL DE ARREGLO Conjunto de cantidades o valores homogéneos, que por su naturaleza se comportan de idéntica forma y deben de ser tratados en forma similar. Se les debe de dar un

Más detalles

POLINOMIOS Y FRACCIONES ALGEBRAICAS

POLINOMIOS Y FRACCIONES ALGEBRAICAS POLINOMIOS Y FRACCIONES ALGEBRAICAS Página 66 PARA EMPEZAR, REFLEXIONA Y RESUELVE Múltiplos y divisores. Haz la división: 4 + 5 0 + 5 A la vista del resultado, di dos divisores del polinomio 4 + 5 0. (

Más detalles

Lección 4: Suma y resta de números racionales

Lección 4: Suma y resta de números racionales GUÍA DE MATEMÁTICAS II Lección : Suma y resta de números racionales En esta lección recordaremos cómo sumar y restar números racionales. Como los racionales pueden estar representados como fracción o decimal,

Más detalles

ESTRUCTURA DE DATOS: ARREGLOS

ESTRUCTURA DE DATOS: ARREGLOS ESTRUCTURA DE DATOS: ARREGLOS 1. Introduccion 2. Arreglos - Concepto - Caracteristicas 3. Arreglos Unidimensionales 4. Arreglos Bidimensionales 5. Ventajas del uso de arreglos 6. Ejemplo 1. Introducción

Más detalles

Orden y estructuras algebraicas mediante nuevas tecnologías

Orden y estructuras algebraicas mediante nuevas tecnologías Orden y estructuras algebraicas mediante nuevas tecnologías Miguel A. García-Muñoz, Carmen Ordóñez y Juan F. Ruiz Departamento de Matemáticas (Área de Álgebra). Universidad de Jaén. Campus Las Lagunillas

Más detalles

En cualquier caso, tampoco es demasiado importante el significado de la "B", si es que lo tiene, lo interesante realmente es el algoritmo.

En cualquier caso, tampoco es demasiado importante el significado de la B, si es que lo tiene, lo interesante realmente es el algoritmo. Arboles-B Características Los árboles-b son árboles de búsqueda. La "B" probablemente se debe a que el algoritmo fue desarrollado por "Rudolf Bayer" y "Eduard M. McCreight", que trabajan para la empresa

Más detalles

CAPÍTULO VI PREPARACIÓN DEL MODELO EN ALGOR. En este capítulo, se hablará acerca de los pasos a seguir para poder realizar el análisis de

CAPÍTULO VI PREPARACIÓN DEL MODELO EN ALGOR. En este capítulo, se hablará acerca de los pasos a seguir para poder realizar el análisis de CAPÍTULO VI PREPARACIÓN DEL MODELO EN ALGOR. En este capítulo, se hablará acerca de los pasos a seguir para poder realizar el análisis de cualquier modelo en el software Algor. La preparación de un modelo,

Más detalles

Práctica 5. Curso 2014-2015

Práctica 5. Curso 2014-2015 Prácticas de Seguridad Informática Práctica 5 Grado Ingeniería Informática Curso 2014-2015 Universidad de Zaragoza Escuela de Ingeniería y Arquitectura Departamento de Informática e Ingeniería de Sistemas

Más detalles

Covarianza y coeficiente de correlación

Covarianza y coeficiente de correlación Covarianza y coeficiente de correlación Cuando analizábamos las variables unidimensionales considerábamos, entre otras medidas importantes, la media y la varianza. Ahora hemos visto que estas medidas también

Más detalles

Espacios vectoriales y aplicaciones lineales.

Espacios vectoriales y aplicaciones lineales. Práctica 2 Espacios vectoriales y aplicaciones lineales. Contenido: Localizar bases de espacios vectoriales. Suma directa. Bases y dimensiones. Cambio de base. Aplicaciones lineales. Matriz asociada en

Más detalles

CURSO CERO. Departamento de Matemáticas. Profesor: Raúl Martín Martín Sesiones 18 y 19 de Septiembre

CURSO CERO. Departamento de Matemáticas. Profesor: Raúl Martín Martín Sesiones 18 y 19 de Septiembre CURSO CERO Departamento de Matemáticas Profesor: Raúl Martín Martín Sesiones 18 y 19 de Septiembre Capítulo 1 La demostración matemática Demostración por inducción El razonamiento por inducción es una

Más detalles

NÚMEROS NATURALES Y NÚMEROS ENTEROS

NÚMEROS NATURALES Y NÚMEROS ENTEROS NÚMEROS NATURALES Y NÚMEROS ENTEROS Los números naturales surgen como respuesta a la necesidad de nuestros antepasados de contar los elementos de un conjunto (por ejemplo los animales de un rebaño) y de

Más detalles

Capítulo 1. MANUAL DE USUARIO

Capítulo 1. MANUAL DE USUARIO Capítulo 1. MANUAL DE USUARIO 1.1 SUCESIONES GRÁFICAS Lo primero que se hará es mostrar la pantalla que se encontrará el usuario cuando ejecute la aplicación, indicando las zonas en las que se divide esta:

Más detalles

Colegio Las Tablas Tarea de verano Matemáticas 3º ESO

Colegio Las Tablas Tarea de verano Matemáticas 3º ESO Colegio Las Tablas Tarea de verano Matemáticas º ESO Nombre: C o l e g i o L a s T a b l a s Tarea de verano Matemáticas º ESO Resolver la siguiente ecuación: 5 5 6 Multiplicando por el mcm(,,6) = 6 y

Más detalles

VECTORES. Módulo, dirección y sentido de un vector fijo En un vector fijo se llama módulo del mismo a la longitud del segmento que lo define.

VECTORES. Módulo, dirección y sentido de un vector fijo En un vector fijo se llama módulo del mismo a la longitud del segmento que lo define. VECTORES El estudio de los vectores es uno de tantos conocimientos de las matemáticas que provienen de la física. En esta ciencia se distingue entre magnitudes escalares y magnitudes vectoriales. Se llaman

Más detalles

Fundamentos algebraicos

Fundamentos algebraicos Fundamentos algebraicos 1. Grupos Sea S un conjunto. Se denota con S S el conjunto de los pares ordenados (s, t) con s, t en S. Un mapeo de S S en S se llama operación binaria en S. Esta definición requiere

Más detalles

Ejemplo: Resolvemos Sin solución. O siempre es positiva o siempre es negativa. Damos un valor cualquiera Siempre + D(f) =

Ejemplo: Resolvemos Sin solución. O siempre es positiva o siempre es negativa. Damos un valor cualquiera Siempre + D(f) = T1 Dominios, Límites, Asíntotas, Derivadas y Representación Gráfica. 1.1 Dominios de funciones: Polinómicas: D( = La X puede tomar cualquier valor entre Ejemplos: D( = Función racional: es el cociente

Más detalles

Capitán de fragata ingeniero AGUSTÍN E. GONZÁLEZ MORALES. ÁLGEBRA PARA INGENIEROS (Solucionario)

Capitán de fragata ingeniero AGUSTÍN E. GONZÁLEZ MORALES. ÁLGEBRA PARA INGENIEROS (Solucionario) Capitán de fragata ingeniero AGUSTÍN E. GONZÁLEZ MORALES ÁLGEBRA PARA INGENIEROS (Solucionario) 2 Í N D I C E CAPÍTULO : MATRICES, DETERMINANTES Y SISTEMAS DE ECUACIONES LINEALES CAPÍTULO 2: ESPACIOS VECTORIALES

Más detalles

Semana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo

Semana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo Semana 08 [1/15] April 18, 2007 Acotamiento de conjuntos Semana 08 [2/15] Cota Superior e Inferior Antes de presentarles el axioma del supremo, axioma de los números reales, debemos estudiar una serie

Más detalles

TEMA 2: Grupos. El grupo Simétrico.

TEMA 2: Grupos. El grupo Simétrico. Álgebra y Estructuras Discretas Grupo B de la Ingeniería Técnica de Sistemas TEMA 2: Grupos. El grupo Simétrico. 1. Definición de Grupo. Propiedades Básicas. Definición 1. Dado un conjunto no vacío G,

Más detalles

INTERPOLACIÓN POLINÓMICA Y LA DIVISIÓN DE SECRETOS

INTERPOLACIÓN POLINÓMICA Y LA DIVISIÓN DE SECRETOS INTERPOLACIÓN POLINÓMICA Y LA DIVISIÓN DE SECRETOS Ángela Rojas Matas, Universidad de Córdoba Alberto Cano Rojas, Universidad de Córdoba RESUMEN. La división o reparto de secretos es un tema de completa

Más detalles

E 1 E 2 E 2 E 3 E 4 E 5 2E 4

E 1 E 2 E 2 E 3 E 4 E 5 2E 4 Problemas resueltos de Espacios Vectoriales: 1- Para cada uno de los conjuntos de vectores que se dan a continuación estudia si son linealmente independientes, sistema generador o base: a) (2, 1, 1, 1),

Más detalles

Diagonalización de matrices

Diagonalización de matrices diagonalizacion.nb Diagonalización de matrices Práctica de Álgebra Lineal, E.U.A.T., Grupos ºA y ºB, 2005 Algo de teoría Qué es diagonalizar una matriz? Para estudiar una matriz suele ser conveniente expresarla

Más detalles

Matrices equivalentes. El método de Gauss

Matrices equivalentes. El método de Gauss Matrices equivalentes. El método de Gauss Dada una matriz A cualquiera decimos que B es equivalente a A si podemos transformar A en B mediante una combinación de las siguientes operaciones: Multiplicar

Más detalles

Apuntes de Matemática Discreta 7. Relaciones de Orden

Apuntes de Matemática Discreta 7. Relaciones de Orden Apuntes de Matemática Discreta 7. Relaciones de Orden Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 7 Relaciones de Orden Contenido

Más detalles

Grupos. 2.1 Introducción. Capítulo

Grupos. 2.1 Introducción. Capítulo Capítulo 2 Grupos 2.1 Introducción La estructura de grupo es una de las más comunes en toda la matemática pues aparece en forma natural en muchas situaciones, donde se puede definir una operación sobre

Más detalles

Listas de vectores y conjuntos de vectores

Listas de vectores y conjuntos de vectores Listas de vectores y conjuntos de vectores La explicación de los temas Dependencia lineal y Bases en el curso de Álgebra Lineal se puede basar en uno de los siguientes dos conceptos (o en ambos): ) listas

Más detalles

Una (muy) breve introducción a la teoría de la computación

Una (muy) breve introducción a la teoría de la computación Una (muy) breve introducción a la teoría de la computación Marcelo Arenas M. Arenas Una (muy) breve introducción a la teoría de la computación 1 / 48 Ciencia de la computación Cuál es el objeto de estudio

Más detalles

Parte I. Iniciación a los Espacios Normados

Parte I. Iniciación a los Espacios Normados Parte I Iniciación a los Espacios Normados Capítulo 1 Espacios Normados Conceptos básicos Sea E un espacio vectorial sobre un cuerpo K = R ó C indistintamente. Una norma sobre E es una aplicación de E

Más detalles

Como ya se sabe, existen algunas ecuaciones de segundo grado que no tienen ninguna solución real. Tal es el caso de la ecuación x2 + 1 = 0.

Como ya se sabe, existen algunas ecuaciones de segundo grado que no tienen ninguna solución real. Tal es el caso de la ecuación x2 + 1 = 0. NÚMEROS COMPLEJOS. INTRO. ( I ) Como ya se sabe, existen algunas ecuaciones de segundo grado que no tienen ninguna solución real. Tal es el caso de la ecuación x2 + 1 = 0. Si bien esto no era un problema

Más detalles

La suma se realiza miembro a miembro. La suma de polinomios goza de las mismas propiedades que la suma de números. Ejemplo:

La suma se realiza miembro a miembro. La suma de polinomios goza de las mismas propiedades que la suma de números. Ejemplo: Tema 4. Polinomios 1. Definición Un polinomio es una expresión hecha con constantes, variables y exponentes, que están combinados. Los exponentes sólo pueden ser 0, 1, 2, 3,... etc. No puede tener un número

Más detalles

Variedades Diferenciables. Extremos Condicionados

Variedades Diferenciables. Extremos Condicionados Capítulo 16 Variedades Diferenciables. Extremos Condicionados Vamos a completar lo visto en los capítulos anteriores sobre el teorema de las Funciones Implícitas y Funciones Inversas con un tema de iniciación

Más detalles

Funciones polinomiales de grados 3 y 4

Funciones polinomiales de grados 3 y 4 Funciones polinomiales de grados 3 y 4 Ahora vamos a estudiar los casos de funciones polinomiales de grados tres y cuatro. Vamos a empezar con sus gráficas y después vamos a estudiar algunos resultados

Más detalles

Matemáticas I: Hoja 3 Espacios vectoriales y subespacios vectoriales

Matemáticas I: Hoja 3 Espacios vectoriales y subespacios vectoriales Matemáticas I: Hoa 3 Espacios vectoriales y subespacios vectoriales Eercicio 1. Demostrar que los vectores v 1, v 2, v 3, v 4 expresados en la base canónica forman una base. Dar las coordenadas del vector

Más detalles

Árboles AVL. Laboratorio de Programación II

Árboles AVL. Laboratorio de Programación II Árboles AVL Laboratorio de Programación II Definición Un árbol AVL es un árbol binario de búsqueda que cumple con la condición de que la diferencia entre las alturas de los subárboles de cada uno de sus

Más detalles

Las funciones trigonométricas

Las funciones trigonométricas Las funciones trigonométricas Las funciones trigonométricas Las funciones trigonométricas son las funciones derivadas de las razones trigonométricas de un ángulo. En general, el ángulo sobre el cual se

Más detalles

Métodos generales de generación de variables aleatorias

Métodos generales de generación de variables aleatorias Tema Métodos generales de generación de variables aleatorias.1. Generación de variables discretas A lo largo de esta sección, consideraremos una variable aleatoria X cuya función puntual es probabilidad

Más detalles

Estructura de datos y de la información Boletín de problemas - Tema 7

Estructura de datos y de la información Boletín de problemas - Tema 7 Estructura de datos y de la información Boletín de problemas - Tema 7 1. Un concesionario de coches tiene un número limitado de M modelos, todos en un número limitado de C colores distintos. Cuando un

Más detalles

MATEMÁTICAS para estudiantes de primer curso de facultades y escuelas técnicas

MATEMÁTICAS para estudiantes de primer curso de facultades y escuelas técnicas Universidad de Cádiz Departamento de Matemáticas MATEMÁTICAS para estudiantes de primer curso de facultades y escuelas técnicas Tema Representación gráfica de funciones reales de una variable real Elaborado

Más detalles

Ejercicios de álgebra 1 Cuarto curso (2003/04)

Ejercicios de álgebra 1 Cuarto curso (2003/04) Departamento de Álgebra, Geometría y Toplogía. Universidad de Málaga Ejercicios de álgebra 1 Cuarto curso (2003/04) Relación 1. Ideales primos y maximales. Nilradical y radical de Jacobson Profesor de

Más detalles

A estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales:

A estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales: ADICIÓN Y RESTA DE NUMEROS REALES ADICIÓN L a adición o suma de números reales se representa mediante el símbolo más (+) y es considerada una operación binaria porque se aplica a una pareja de números,

Más detalles

4º ESO 1. ECUAC. 2º GRADO Y UNA INCÓGNITA

4º ESO 1. ECUAC. 2º GRADO Y UNA INCÓGNITA 4º ESO 1. ECUAC. 2º GRADO Y UNA INCÓGNITA Una ecuación con una incógnita es de segundo grado si el exponente de la incógnita es dos. Ecuaciones de segundo grado con una incógnita son: Esta última ecuación

Más detalles

QUÉ ES LA RENTABILIDAD Y CÓMO MEDIRLA. La rentabilidad mide la eficiencia con la cual una empresa utiliza sus recursos financieros.

QUÉ ES LA RENTABILIDAD Y CÓMO MEDIRLA. La rentabilidad mide la eficiencia con la cual una empresa utiliza sus recursos financieros. QUÉ ES LA RENTABILIDAD Y CÓMO MEDIRLA La rentabilidad mide la eficiencia con la cual una empresa utiliza sus recursos financieros. Qué significa esto? Decir que una empresa es eficiente es decir que no

Más detalles

Diferenciabilidad. Definición 1 (Función diferenciable). Cálculo. Segundo parcial. Curso 2004-2005

Diferenciabilidad. Definición 1 (Función diferenciable). Cálculo. Segundo parcial. Curso 2004-2005 Univ. de Alcalá de Henares Ingeniería de Telecomunicación Cálculo. Segundo parcial. Curso 2004-2005 Diferenciabilidad. 1. Definición de función diferenciable Después del estudio de los ites de funciones

Más detalles

Universidad Nacional de Quilmes Ing. en Automatización y Control Industrial Cátedra: Visión Artificial Agosto de 2005

Universidad Nacional de Quilmes Ing. en Automatización y Control Industrial Cátedra: Visión Artificial Agosto de 2005 Extracción de Frontera (Boundary Extraction) La frontera de un conjunto A, escrita como β(a), se puede obtener erosionando A por B y luego calcular la diferencia entre A y su erosión. Esto es β ( A) =

Más detalles