Caminos de isogenias entre curvas elípticas sobre cuerpos finitos
|
|
- Gabriel del Río Muñoz
- hace 8 años
- Vistas:
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
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 detallesGrupos. 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 detalles4 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 detallesEstructuras 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 detallesESTRUCTURAS 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 detalles1. 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 detalles9.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 detalles1 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 detallesSubespacios 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 detallesVII. 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 detallesRelaciones 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 detallesLÍ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 detallesTema 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 detallesDivisibilidad 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 detallesEstructuras 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 detallesEcuaciones 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 detallesAnexo 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 detallesComplejidad - 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 detallesApuntes 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 detallesTema 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 detallesUna 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 detallesDominios 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 detallesEstructuras 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 detallesAMPLIACIÓ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 detallesClasificació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 detallesFactorizació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 detallesUniversidad 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 detallesLos 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 detallesMó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 detallesDefinició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 detalles1. 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 detallesBASES 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 detallesPolinomios: 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 detallesLa 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 detallesAmpliació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 detalles2.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 detallesCURSO 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 detallesEspacios 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 detallesTEMA 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 detallesTema 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 detallesIntroducció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 detallesPrograma 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 detallesNú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 detallesTALLER 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 detalles1.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 detallesCapí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 detallesSeminario 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 detallesMatrices 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 detallesEjercicios 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 detalles1 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 detallesEste 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 detallesJuan 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 detallesAXIOMAS 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 detallesa < 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 detallesUNIDAD 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 detallesARREGLOS 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 detallesPOLINOMIOS 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 detallesLecció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 detallesESTRUCTURA 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 detallesOrden 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 detallesEn 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 detallesCAPÍ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 detallesPrá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 detallesCovarianza 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 detallesEspacios 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 detallesCURSO 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 detallesNÚ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 detallesCapí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 detallesColegio 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 detallesVECTORES. 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 detallesFundamentos 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 detallesEjemplo: 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 detallesCapitá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 detallesSemana 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 detallesTEMA 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 detallesINTERPOLACIÓ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 detallesE 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 detallesDiagonalizació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 detallesMatrices 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 detallesApuntes 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 detallesGrupos. 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 detallesListas 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 detallesUna (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 detallesParte 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 detallesComo 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 detallesLa 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 detallesVariedades 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 detallesFunciones 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 detallesMatemá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 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 detallesLas 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 detallesMé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 detallesEstructura 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 detallesMATEMÁ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 detallesEjercicios 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 detallesA 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 detalles4º 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 detallesQUÉ 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 detallesDiferenciabilidad. 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 detallesUniversidad 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