RSA: Autentificación y firma digitales
|
|
- José Ignacio Lozano Olivera
- hace 7 años
- Vistas:
Transcripción
1 RSA: Autentificación y firma digitales Escenario usual para RSA: E B A M = E B (M) E A B E A, D A E B, D B C E A, E B Dos preguntas a responder: Autentificación: Cómo puede saber A si E B es efectivamente la clave pública de B? Firma digital: Cómo puede saber B si el mensaje M fue efectivamente enviado por A? IIC1253 Una introducción a la teoría de números (y a la criptografía) 21 / 45
2 RSA: Autentificación y firma digitales Una propiedad fundamental de RSA: E(D(M)) = M Usamos esta propiedad para resolver los problemas de autentificación y firma digital IIC1253 Una introducción a la teoría de números (y a la criptografía) 22 / 45
3 RSA: Autentificación y firma digitales Una propiedad fundamental de RSA: E(D(M)) = M Usamos esta propiedad para resolver los problemas de autentificación y firma digital Autentificación: Suponemos que existe una organización certificadora I Todos tienen acceso seguro a E I IIC1253 Una introducción a la teoría de números (y a la criptografía) 22 / 45
4 RSA: Autentificación y firma digitales Una propiedad fundamental de RSA: E(D(M)) = M Usamos esta propiedad para resolver los problemas de autentificación y firma digital Autentificación: Suponemos que existe una organización certificadora I Todos tienen acceso seguro a E I Cómo puede ser implementada la organización certificadora? Por qué podemos suponer que tenemos acceso seguro a E I? IIC1253 Una introducción a la teoría de números (y a la criptografía) 22 / 45
5 RSA: Autentificación Organización certificadora funciona de la siguiente forma: I E I Certificado B = D I (E B +datos de B) A Certificado B B E A, D A E B, D B Tenemos entonces el siguiente protocolo: I entrega a B un certificado Certificado B Para saber la clave pública de B (y los datos relevantes de B), A utiliza E I (Certificado B ) IIC1253 Una introducción a la teoría de números (y a la criptografía) 23 / 45
6 RSA: Firma digital Envío de mensajes firmados: A envía tanto el mensaje M como una firma F : A M = E B (M), F = D A (M ) B E A, D A E B, D B B recibe M y F : Verificación: Es cierto que M = E A (F )? Mensaje a leer: D B (M ) IIC1253 Una introducción a la teoría de números (y a la criptografía) 24 / 45
7 RSA: Implementación Para poder implementar RSA necesitamos algoritmos eficientes para los siguientes problemas: (1) Generar primos P y Q (2) Generar números e y d tales que (e d)modφ(n) =1 (3) Calcular funciones E y D Primero vamos a resolver (2). IIC1253 Una introducción a la teoría de números (y a la criptografía) 25 / 45
8 Máximo común divisor Sea MCD(a, b) el máximo común divisor de los números a y b Cómo podemos calcular MCD(a, b)? Proposición Si b > 0, entoncesmcd(a, b) =MCD(b, amodb) IIC1253 Una introducción a la teoría de números (y a la criptografía) 26 / 45
9 Máximo común divisor Sea MCD(a, b) el máximo común divisor de los números a y b Cómo podemos calcular MCD(a, b)? Proposición Si b > 0, entoncesmcd(a, b) =MCD(b, amodb) Demostración: Vamos a demostrar que un número c divide a a y b si y sólo si c divide a b y a mod b. De esto se concluye que MCD(a, b) =MCD(b, a mod b) IIC1253 Una introducción a la teoría de números (y a la criptografía) 26 / 45
10 Máximo común divisor Sabemos que a = α b +(a mod b) ( ) Supongaquec a y c b. Dado que (a mod b) =a α b, concluimosquec (a mod b). ( ) Supongaquec b y c (a mod b). Dado que a = α b +(a mod b), tenemos que c a. IIC1253 Una introducción a la teoría de números (y a la criptografía) 27 / 45
11 Cálculo de máximo común divisor De lo anterior, concluimos la siguiente identidad: { a b =0 MCD(a, b) = MCD(b, a mod b) b > 0 Podemos usar esta identidad para generar un algoritmos recursivo para calcular el máximo común divisor. Este algoritmo puede ser extendido para calcular s y t tales que MCD(a, b) =s a + t b Vamos a usar este algoritmo para calcular los coeficiente d y e usados en RSA. IIC1253 Una introducción a la teoría de números (y a la criptografía) 28 / 45
12 Algoritmo extendido para calcular el máximo común divisor Suponga que a b, ydefinalasiguientesucesión: r 0 = a r 1 = b r i+1 = r i 1 mod r i (i 2) IIC1253 Una introducción a la teoría de números (y a la criptografía) 29 / 45
13 Algoritmo extendido para calcular el máximo común divisor Suponga que a b, ydefinalasiguientesucesión: r 0 = a r 1 = b r i+1 = r i 1 mod r i (i 2) Calculamos esta sucesión hasta un número k tal que r k =0 Tenemos que MCD(a, b) =r k 1 IIC1253 Una introducción a la teoría de números (y a la criptografía) 29 / 45
14 Algoritmo extendido para calcular el máximo común divisor Al mismo tiempo calculamos sucesiones s i, t i tales que: r i = s i a + t i b Tenemos que: MCD(a, b) =r k 1 = s k 1 a + t k 1 b IIC1253 Una introducción a la teoría de números (y a la criptografía) 30 / 45
15 Algoritmo extendido para calcular el máximo común divisor Al mismo tiempo calculamos sucesiones s i, t i tales que: r i = s i a + t i b Tenemos que: MCD(a, b) =r k 1 = s k 1 a + t k 1 b Sean: s 0 =1 t 0 =0 s 1 =0 t 1 =1 IIC1253 Una introducción a la teoría de números (y a la criptografía) 30 / 45
16 Algoritmo extendido para calcular el máximo común divisor Al mismo tiempo calculamos sucesiones s i, t i tales que: r i = s i a + t i b Tenemos que: MCD(a, b) =r k 1 = s k 1 a + t k 1 b Sean: s 0 =1 t 0 =0 s 1 =0 t 1 =1 Se tiene que: r 0 = s 0 a + t 0 b r 1 = s 1 a + t 1 b IIC1253 Una introducción a la teoría de números (y a la criptografía) 30 / 45
17 Algoritmo extendido para calcular el máximo común divisor Dado que r i 1 = r i 1 r i Por lo tanto: r i + r i 1 mod r i,tenemosque: r i 1 = r i 1 r i r i + r i+1 s i 1 a + t i 1 b = r i 1 r i (s i a + t i b)+r i+1 Concluimos que: r i+1 = (s i 1 r i 1 r i s i ) a +(t i 1 r i 1 r i t i ) b IIC1253 Una introducción a la teoría de números (y a la criptografía) 31 / 45
18 Algoritmo extendido para calcular el máximo común divisor Dado que r i 1 = r i 1 r i Por lo tanto: r i + r i 1 mod r i,tenemosque: r i 1 = r i 1 r i r i + r i+1 s i 1 a + t i 1 b = r i 1 r i (s i a + t i b)+r i+1 Concluimos que: r i+1 = (s i 1 r i 1 r i Definimos entonces: s i ) a +(t i 1 r i 1 r i s i+1 = s i 1 r i 1 r i t i+1 = t i 1 r i 1 r i s i t i t i ) b IIC1253 Una introducción a la teoría de números (y a la criptografía) 31 / 45
19 Algoritmo extendido para calcular el máximo común divisor Ejemplo Vamos a usar el algoritmo para a =60yb =13. Inicialmente: r 0 =60 s 0 =1 t 0 =0 r 1 =13 s 1 =0 t 1 =1 Entonces tenemos que: r 2 = r 0 mod r 1 s 2 = s 0 r 0 r 1 s 1 t 2 = t 0 r 0 r 1 t 1 IIC1253 Una introducción a la teoría de números (y a la criptografía) 32 / 45
20 Algoritmo extendido para calcular el máximo común divisor Example (Continuación) Por lo tanto: r 2 =8 s 2 =1 t 2 = 4 Y el proceso continua: r 3 =5 s 3 = 1 t 3 =5 r 4 =3 s 4 =2 t 4 = 9 r 5 =2 s 5 = 3 t 5 =14 r 6 =1 s 6 =5 t 6 = 23 r 7 =0 s 7 = 13 t 7 =60 Tenemos que: 1= ( 23) 13 IIC1253 Una introducción a la teoría de números (y a la criptografía) 33 / 45
21 Inverso modular Definición b es inverso de a en módulo n si a b 1 mod n IIC1253 Una introducción a la teoría de números (y a la criptografía) 34 / 45
22 Inverso modular Definición b es inverso de a en módulo n si a b 1 mod n Para el caso de RSA: d es inverso de e en módulo φ(n) En el ejemplo: 37 es inverso de 13 en módulo 60 IIC1253 Una introducción a la teoría de números (y a la criptografía) 34 / 45
23 Inverso modular Definición b es inverso de a en módulo n si a b 1 mod n Para el caso de RSA: d es inverso de e en módulo φ(n) En el ejemplo: 37 es inverso de 13 en módulo 60 Todo número tiene inverso modular? No: 2 no tiene inverso en módulo 4 IIC1253 Una introducción a la teoría de números (y a la criptografía) 34 / 45
24 Inverso modular Definición b es inverso de a en módulo n si a b 1 mod n Para el caso de RSA: d es inverso de e en módulo φ(n) En el ejemplo: 37 es inverso de 13 en módulo 60 Todo número tiene inverso modular? No: 2 no tiene inverso en módulo 4 Bajo qué condiciones a tiene inverso en módulo n? Cómo podemos calcular este inverso? IIC1253 Una introducción a la teoría de números (y a la criptografía) 34 / 45
25 Inverso modular: Existencia Teorema a tiene inverso en módulo n si y sólo si MCD(a, n) =1 IIC1253 Una introducción a la teoría de números (y a la criptografía) 35 / 45
26 Inverso modular: Existencia Teorema a tiene inverso en módulo n si y sólo si MCD(a, n) =1 Demostración: ( ) Supongaqueb es inverso de a en módulo n Entonces: a b 1modn Se deduce que a b = α n +1,porloque1=a b α n Concluimos que si c a y c n, entoncesc 1 Por lo tanto c debe ser igual a 1, de lo que concluimos que MCD(a, n) =1 IIC1253 Una introducción a la teoría de números (y a la criptografía) 35 / 45
27 Inverso modular: Existencia ( ) SupongaqueMCD(a, n) =1 Ejecutando el algoritmo extendido para el cálculo del máximo común divisor obtenemos s y t tales que: 1 = s n + t a Por lo tanto: a t 1modn Concluimos que a tiene inverso en módulo n IIC1253 Una introducción a la teoría de números (y a la criptografía) 36 / 45
28 Cálculo de exponentes e y d en RSA Recuerde que en RSA: N = P Q y φ(n) =(P 1) (Q 1) Tenemos que generar e y d tales que e d 1modφ(N) Tenemos los ingredientes necesarios para generar e y d: genere al azar un número e while MCD(e,φ(N)) > 1 do genere al azar un número e calcule s y t tales que 1 = s φ(n)+t e sea d {0,...,φ(N) 1} tal que d t mod φ(n) return (e, d) IIC1253 Una introducción a la teoría de números (y a la criptografía) 37 / 45
29 RSA: Implementación (continuación) Como mencionamos anteriormente, para poder implementar RSA necesitamos algoritmos eficientes para los siguientes problemas: (1) Generar primos P y Q (2) Generar números e y d tales que (e d)modφ(n) =1 (3) Calcular funciones E y D IIC1253 Una introducción a la teoría de números (y a la criptografía) 38 / 45
30 RSA: Implementación (continuación) Como mencionamos anteriormente, para poder implementar RSA necesitamos algoritmos eficientes para los siguientes problemas: (1) Generar primos P y Q (2) Generar números e y d tales que (e d)modφ(n) =1 (3) Calcular funciones E y D Ya resolvimos (2), nos falta resolver (1) y (3). IIC1253 Una introducción a la teoría de números (y a la criptografía) 38 / 45
31 RSA: Implementación (continuación) Como mencionamos anteriormente, para poder implementar RSA necesitamos algoritmos eficientes para los siguientes problemas: (1) Generar primos P y Q (2) Generar números e y d tales que (e d)modφ(n) =1 (3) Calcular funciones E y D Ya resolvimos (2), nos falta resolver (1) y (3). Cómo se resuelve (3)? No es difícil hacer esto IIC1253 Una introducción a la teoría de números (y a la criptografía) 38 / 45
32 RSA: Implementación (continuación) Como mencionamos anteriormente, para poder implementar RSA necesitamos algoritmos eficientes para los siguientes problemas: (1) Generar primos P y Q (2) Generar números e y d tales que (e d)modφ(n) =1 (3) Calcular funciones E y D Ya resolvimos (2), nos falta resolver (1) y (3). Cómo se resuelve (3)? No es difícil hacer esto Lamentablemente (1) está fuera del alcance de este curso... IIC1253 Una introducción a la teoría de números (y a la criptografía) 38 / 45
33 Teorema de Wilson: Una aplicación de la materia Teorema (Wilson) Un número n 2 es primo si y sólo si (n 1)! (n 1) mod n. Ejemplos: 3! mod 4 = 6 mod 4 = 2 6! mod 7 = 720 mod 7 = 6 8! mod 9 = mod 9 = 0 IIC1253 Una introducción a la teoría de números (y a la criptografía) 39 / 45
34 Teorema de Wilson: Una aplicación de la materia Teorema (Wilson) Un número n 2 es primo si y sólo si (n 1)! (n 1) mod n. Ejemplos: 3! mod 4 = 6 mod 4 = 2 6! mod 7 = 720 mod 7 = 6 8! mod 9 = mod 9 = 0 Cómo se demuestra este teorema? La noción de inverso modular es la pieza clave IIC1253 Una introducción a la teoría de números (y a la criptografía) 39 / 45
35 Teorema de Wilson: Demostración ( ) Porcontradicción,supongaquen 2, (n 1)! (n 1) mod n y n no es primo. Como n no es primo, existe a {2,...,n 1} tal que a n. Tenemos que (n 1)! = a (a 1)! Sea α =(a 1)! ( n 1 i=a+1 ) i ( n 1 i=a+1 ) i IIC1253 Una introducción a la teoría de números (y a la criptografía) 40 / 45
36 Teorema de Wilson: Demostración Por hipótesis, concluimos que: a α (n 1) mod n Por lo tanto: a 2 α 2 1modn Concluimos que a 2 tiene inverso en módulo n. Obtenemos una contradicción ya que MCD(a 2, n) 1 IIC1253 Una introducción a la teoría de números (y a la criptografía) 41 / 45
37 Teorema de Wilson: Demostración ( ) Sean 2unnúmeroprimo. Para demostrar que (n 1)! (n 1) mod n necesitamos demostrar algunos resultados intermedios. Lema Si p es un número primo y a b 0 mod p, entonces a 0 mod p ó b 0 mod p. IIC1253 Una introducción a la teoría de números (y a la criptografía) 42 / 45
38 Teorema de Wilson: Demostración ( ) Sean 2unnúmeroprimo. Para demostrar que (n 1)! (n 1) mod n necesitamos demostrar algunos resultados intermedios. Lema Si p es un número primo y a b 0 mod p, entonces a 0 mod p ó b 0 mod p. Ejercicio Demuestre el lema. IIC1253 Una introducción a la teoría de números (y a la criptografía) 42 / 45
39 Teorema de Wilson: Demostración Corolario Si p es un número primo y a 2 1 mod p, entonces a 1 mod p ó a (p 1) mod p. IIC1253 Una introducción a la teoría de números (y a la criptografía) 43 / 45
40 Teorema de Wilson: Demostración Corolario Si p es un número primo y a 2 1 mod p, entonces a 1 mod p ó a (p 1) mod p. Ejercicio Demuestre el corolario. IIC1253 Una introducción a la teoría de números (y a la criptografía) 43 / 45
41 Teorema de Wilson: Demostración Corolario Si p es un número primo, a b 1 mod p y a c 1 mod p, entonces b cmodp En particular, si b, c {1,...,p 1}, entoncesb= c IIC1253 Una introducción a la teoría de números (y a la criptografía) 44 / 45
42 Teorema de Wilson: Demostración Corolario Si p es un número primo, a b 1 mod p y a c 1 mod p, entonces b cmodp En particular, si b, c {1,...,p 1}, entoncesb= c Ejercicio Demuestre el corolario. IIC1253 Una introducción a la teoría de números (y a la criptografía) 44 / 45
43 Teorema de Wilson: Demostración Tenemos los ingredientes necesarios para demostrar el teorema. Para n =2yn = 3 es cierto, supongamos que n > 3 IIC1253 Una introducción a la teoría de números (y a la criptografía) 45 / 45
44 Teorema de Wilson: Demostración Tenemos los ingredientes necesarios para demostrar el teorema. Para n =2yn = 3 es cierto, supongamos que n > 3 Usando los resultados anteriores concluimos lo siguiente ( por qué?): ( n 2 i=2 ) i 1modn IIC1253 Una introducción a la teoría de números (y a la criptografía) 45 / 45
45 Teorema de Wilson: Demostración Tenemos los ingredientes necesarios para demostrar el teorema. Para n =2yn = 3 es cierto, supongamos que n > 3 Usando los resultados anteriores concluimos lo siguiente ( por qué?): ( n 2 i=2 ) i 1modn Concluimos que (n 1)! (n 1) mod n. IIC1253 Una introducción a la teoría de números (y a la criptografía) 45 / 45
RSA: Autentificación y firma digitales
RSA: Autentificación y firma digitales Escenario usual para RSA: E B A M = E B (M) E A B E A, D A E B, D B C E A, E B Dos preguntas a responder: Autentificación: Cómo puede saber A si E B es efectivamente
Más detallesRSA: Implementación. Ya resolvimos (3), ahora vamos a resolver (2). IIC3242 Complejidad Probabiĺıstica 28 / 77
RSA: Implementación Para poder implementar RSA necesitamos algoritmos eficientes para los siguientes problemas: (1) Generar primos P y Q (2) Generar números e y d tales que e d modφ(n) = 1 (3) Calcular
Más detallesUn tercer ejemplo: verificación de primalidad
Un tercer ejemplo: verificación de primalidad Vamos a ver un algoritmo aleatorizado para verificar si un número es primo. I Este algoritmo es más eficiente que los algoritmos sin componentes aleatorias
Más detallesMultiplicación de matrices simétricas
Multiplicación de matrices simétricas La traspuesta de una matriz A n n es definida como una matriz A T n n tal que A T [i, j] =A[j, i] paracadai, j 2{1,...,n} Además, una matriz A es simétrica si A =
Más detallesEuclides Extendido y Teorema Chino del Resto
Euclides Extendido y Teorema Chino del Resto Taller de Álgebra I Segundo cuatrimestre de 2013 Lema de Bézout Recordemos este lema: Lema (Étienne Bézout) Sean a, b Z, alguno distinto de 0. Entonces existen
Más detallesCriptografía y Seguridad Computacional Clase 7: 13/04/2016. En esta clase introduciremos algunos algoritmos básicos en teoría de números.
1 ALGORITMOS PARA TEORÍA DE NÚMEROS 1 Criptografía y Seguridad Computacional 2016-01 Clase 7: 13/04/2016 Profesor: Fernando Krell Notas: Tomás Andrighetti 1. Algoritmos para teoría de números En esta clase
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Aritmética Entera Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 36 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema
Más detallesLímite superior y límite inferior de una sucesión
Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de
Más detallesProgramación dinámica: un último ejemplo
Programación dinámica: un último ejemplo Dado: matrices A m n, B n r, C r s de números enteros Para calcular A m n B n r el algoritmo usual realiza m n r multiplicaciones de números enteros Cuántas multiplicaciones
Más detallesAritmética modular. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Aritmética modular 1 / 16
Aritmética modular AMD Grado en Ingeniería Informática AMD Grado en Ingeniería Informática (UM) Aritmética modular 1 / 16 Objetivos Al finalizar este tema tendréis que: Saber qué es Z n. Saber operar en
Más detallesAlgoritmo de Euclides
Algoritmo de Euclides Melanie Sclar Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires AED III Melanie Sclar (UBA) Algoritmo de Euclides AED III 1 / 21 Ejercicio 2.8 de la práctica Ejercicio
Más detallesPropiedades de números enteros (lista de problemas para examen)
Propiedades de números enteros (lista de problemas para examen) Denotamos por Z al conjunto de los números enteros y por N al conjunto de los números enteros positivos: N = 1, 2, 3,...}. Valor absoluto
Más detallesEl Algoritmo de Euclides
El Algoritmo de Euclides Pablo L. De Nápoli Departamento de Matemática Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires 25 de abril de 2014 Pablo L. De Nápoli (Departamento de Matemática
Más detallesÍndice La División Entera El Máximo Común Divisor Algoritmo de Euclides Ecuaciones Diofánticas Factorización. Aritmética I.
Leandro Marín Septiembre 2010 Índice La División Entera El Máximo Común Divisor Algoritmo de Euclides Ecuaciones Diofánticas Factorización Los Números Enteros Llamaremos números enteros al conjunto infinito
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Aritmética Modular Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 39 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema
Más detallesMuchas de las ecuaciones de recurrencia que vamos a usar en este curso tienen la siguiente forma: ( c n =0 T (n) = a T (b n b.
El Teorema Maestro Muchas de las ecuaciones de recurrencia que vamos a usar en este curso tienen la siguiente forma: ( c n =0 T (n) = a T (b n b c)+f (n) n 1 donde a, b y c son constantes, y f (n) es una
Más detallesAritmética entera. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Aritmética entera 1 / 15
Aritmética entera AMD Grado en Ingeniería Informática AMD Grado en Ingeniería Informática (UM) Aritmética entera 1 / 15 Objetivos Al finalizar este tema tendréis que: Calcular el máximo común divisor de
Más detallesMétodo de Gradientes Conjugados.
Método de Gradientes Conjugados. Lourdes Fabiola Uribe Richaud & Juan Esaú Trejo Espino. Instituto Politécnico Nacional Escuela Superior de Física y Matemáticas February 17, 2015 1 Método de Direcciones
Más detallesEspacios conexos. 6.1 Conexos
Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente
Más detallesRelaciones IIC1253. IIC1253 Relaciones 1 / 32
Relaciones IIC1253 IIC1253 Relaciones 1 / 32 Relaciones binarias Dado: conjunto A R es una relación binaria sobre A si R A A. Para indicar que a,b A están relacionados a través de R usamos las notaciones:
Más detallesDemostrando cotas inferiores: Arboles de decisión
Demostrando cotas inferiores: Arboles de decisión De la misma forma que la técnica basada en la mejor estrategia del adversario, vamos a utilizar los árboles de decisión para establecer una cota inferior
Más detallesTEORIA DE NUMEROS. Temas: MAXIMO COMUN DIVISOR ALGORITMO MCD(A,B) IDENTIDAD DE BEZOUT ALGORITMO ST(A,B) EL TEOREMA FUNDAMENTAL DE LA ARITMETICA.
. 1 TEORIA DE NUMEROS Temas: CLASE 2 HS: MAXIMO COMUN DIVISOR ALGORITMO MCD(A,B) IDENTIDAD DE BEZOUT ALGORITMO ST(A,B) CLASE 1:15 H: EL TEOREMA FUNDAMENTAL DE LA ARITMETICA. GENERACION DE LA DESCOMPOSICIÓN
Más detallesEl problema de satisfacción
El problema de satisfacción Definición Un conjunto de fórmulas Σ es satisfacible si existe una valuación σ tal que σ(σ) = 1. En caso contrario, Σ es inconsistente. IIC2213 Lógica Proposicional 33 / 42
Más detallesFunciones continuas e inyectivas
Nuestro último teorema afirmaba que toda función continua en un intervalo cerrado y acotado tiene máximo y mínimo absolutos, pero nada nos informa sobre los puntos en los que se alcanzan. Bajo la hipótesis
Más detallesEjercicios de Álgebra Básica. Curso 2015/16
Ejercicios de Álgebra Básica. Curso 2015/16 Tema 3: El anillo de los números enteros Divisibilidad en Z Ejercicio 1. Probar que para todo número n, n y n + 1 son primos entre sí. Ejercicio 2. Probar que
Más detallesCapítulo IV. Divisibilidad y Primalidad. Algoritmo de la División
Capítulo IV Divisibilidad y Primalidad IV.1. Algoritmo de la División (Aquí se enuncia con la posibilidad de divisor negativo y la prueba incluye el caso de dividendo negativo.) Teorema 1 Dados m, d Z,
Más detallesResolución Proposicional
Resolución Proposicional IIC2213 IIC2213 Resolución Proposicional 1 / 19 Resolución proposicional Sabemos que Σ = ϕ si y sólo si Σ { ϕ} es inconsistente. Cómo verificamos si Σ { ϕ} es inconsistente? El
Más detallesAritmética II. Leandro Marín. Septiembre
Leandro Marín Septiembre 2010 Índice Anillos de Restos Modulares Elementos Singulares Las Unidades de Z n La Exponencial Modular La definición de Z n Definition Sea n > 1 un número entero. Dos números
Más detallesEjercicio. Usando la formulación del principio de inducción mostrada en la transparencia anterior, demuestre que: 2 2 n 1esdivisiblepor3. =2 n.
Ejercicio Usando la formulación del principio de inducción mostrada en la transparencia anterior, demuestre que: n 1esdivisiblepor3 n i=0 ( ) n i = n IIC153 Inducción 18 / 30 Inducción estructural La forma
Más detallesSemana 14 [1/19] Polinomios. 8 de junio de Polinomios
Semana 14 [1/19] 8 de junio de 2007 División Semana 14 [2/19] Teorema de la División Al ser (K[x], +, ) un anillo, ocurre un fenómeno similar al de : Las divisiones deben considerar un posible resto. Teorema
Más detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesTeorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición
Teorema de Lagrange Capítulo 3 3.1 Introducción En este capítulo estudiaremos uno de los teoremas más importantes de toda la teoría de grupos como lo es el Teorema de Lagrange. Daremos en primer lugar
Más detallesCriptografía de clave pública Sistemas basados en el problema de la mochila
de la la La Criptografía de clave pública Sistemas basados de la DSIC - UPV (DSIC - UPV) de la 1 / 21 Contenidos del tema de la la La 1 Características de los sistemas de clave pública Principios para
Más detallesPráctica 2 - Ejercicio 2.8
Algoritmos y Estructura de Datos III Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires 27 de Marzo de 2013 2.8 - Euclides 2.8. a. Escribir el algoritmo de Euclides para calcular el
Más detallesAMPLIACIÓN DE MATEMÁTICAS. a = qm + r
AMPLIACIÓN DE MATEMÁTICAS CONGRUENCIAS DE ENTEROS. Dado un número natural m N\{0} sabemos (por el Teorema del Resto) que para cualquier entero a Z existe un único resto r de modo que con a = qm + r r {0,
Más detallesÁlgebra básica Soluciones del examen de segunda convocatoria Curso 2016/ de septiembre de 2017
Álgebra básica Soluciones del examen de segunda convocatoria Curso 2016/2017 12 de septiembre de 2017 Ejercicio 1. Se pide lo siguiente: 1. (2 puntos) Dados unos conjuntos X, Y, unos subconjuntos A X,
Más detallesAritmética Modular MATEMÁTICA DISCRETA I. F. Informática. UPM. MATEMÁTICA DISCRETA I () Aritmética Modular F. Informática.
Aritmética Modular MATEMÁTICA DISCRETA I F. Informática. UPM MATEMÁTICA DISCRETA I () Aritmética Modular F. Informática. UPM 1 / 30 La relación de congruencia La relación de congruencia Definición Dado
Más detallesUna pregunta pendiente
Una pregunta pendiente Cómo podemos construir un generador (casi) uniforme para una relación? Recuerde el problema KS definido en la sección anterior y la relación: R KS = {((~a, b), ~x) ~a 2 N n y ~x
Más detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesLógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64
Lógica Proposicional IIC1253 IIC1253 Lógica Proposicional 1/64 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos
Más detallesAlgoritmos aleatorizados
Algoritmos aleatorizados IIC2283 IIC2283 Algoritmos aleatorizados 1/109 Algoritmos aleatorizados Vamos a permitir a los algoritmos tener una componente aleatoria I En general esto significa que un algoritmo
Más detalles4 Aritmética. 4.1 Introducción: ecuaciones lineales diofánticas
4 Aritmética 4.1 Introducción: ecuaciones lineales diofánticas En este tema presentamos los objetos básicos del aritmética: divisores, números primos, máximo común divisor. Su estudio continuará en el
Más detallesAlgoritmos aleatorizados
Algoritmos aleatorizados IIC2283 IIC2283 Algoritmos aleatorizados 1/109 Algoritmos aleatorizados Vamos a permitir a los algoritmos tener una componente aleatoria I En general esto significa que un algoritmo
Más detallesCardinalidad IIC1253. IIC1253 Cardinalidad 1 / 23
Cardinalidad IIC1253 IIC1253 Cardinalidad 1 / 23 Conjuntos con la misma cardinalidad Definición Decimos que dos conjuntos A y B son equinumerosos, denotado como A B, si existe una biyección f : A B. Ejemplo
Más detallesDefinición de la matriz inversa
Definición de la matriz inversa Objetivos Aprender la definición de la matriz inversa Requisitos Multiplicación de matrices, habilidades básicas de resolver sistemas de ecuaciones Ejemplo El número real
Más detallesLos números naturales. Definición y propiedades
Los números naturales. Definición y propiedades Con la idea de abrir boca para empezar los estudios de matemáticas en bachillerato, en un artículo anterior se hablaba sobre la introducción al número real
Más detallesCardinalidad IIC1253. IIC1253 Cardinalidad 1 / 23
Cardinalidad IIC1253 IIC1253 Cardinalidad 1 / 23 Conjuntos con la misma cardinalidad Definición Decimos que dos conjuntos A y B son equinumerosos, denotado como A B, si existe una biyección f : A B. IIC1253
Más detallesCapítulo II. Pruebas en Matemáticas
Capítulo II Pruebas en Matemáticas Ahora nos concentramos en afirmaciones matemáticas y sus pruebas. Se encuentra que tratar de escribir pruebas justificando cada paso se vuelve rápidamente inmanejable,
Más detallesDemostración Contraejemplo. Métodos Indirectos
DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un
Más detallesClase 2: Algoritmo de Euclídes
Clase 2: Algoritmo de Euclídes Dr. Daniel A. Jaume, * 8 de agosto de 2011 1. Máximo común divisor Para entender que es el máximo común divisor de un par de enteros (no simultáneamente nulos). Lidearemos
Más detallesLeyes 0-1 IIC3260. IIC3260 Leyes / 77
Leyes 0-1 IIC3260 IIC3260 Leyes 0-1 1 / 77 Leyes 0-1: Notación Dado: Vocabulario L Recuerde que una propiedad P sobre L (L-propiedad) es un subconjunto de Struct[L] Notación sl n : Número de L-estructuras
Más detallesEjercicios Resueltos 1 / Algebra / 2008
Ejercicios Resueltos 1 / Algebra / 008 Profesora: María Leonor Varas (Sección 4) Auxiliares: Sebastián Astroza & Diego Morán A continuación veremos un ejemplo de un tipo de problemas de inducción, los
Más detalles58 7. ESPACIOS COCIENTE
CAPíULO 7 Espacios cociente En esta sección estudiamos el cociente de un espacio vectorial por un subespacio W. Este cociente se define como el conjunto cociente de por una relación de equivalencia conveniente.
Más detallesCriptografía asimétrica o de clave pública
Criptografía asimétrica o de clave pública F. J. Martínez Zaldívar Departamento de Comunicaciones ETSI Telecomunicación Universidad Politécnica de Valencia Comunicación de Datos II Índice 1 Introducción
Más detallesÁlgebra y Matemática Discreta
Álgebra y Matemática Discreta Sesión de Teoría 3 (c) 2013 Leandro Marín, Francisco J. Vera, Gema M. Díaz 23 Sep 2013-29 Sep 2013 Congruencias Definición Congruencia Módulo n Sea n 1 un número entero. Diremos
Más detallesEs claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que
Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =
Más detallesRelaciones de orden. Definición 1. Llamamos conjunto ordenado a un par (E, ) donde E es un conjunto y es un orden definido en E
Relaciones de orden Diremos que una relación R es de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. Generalmente usaremos la notación en lugar de R para expresar relaciones de
Más detallesR no es enumerable. Por contradicción, supongamos que existe una biyección f : N! R. diagonalización de Cantor. Para cada i 2 N:
R no es enumerable Por contradicción, supongamos que existe una biyección f : N! R. I Vamos a obtener una contradicción usando el método de diagonalización de Cantor. Para cada i 2 N: f (i) = n i.d i,0
Más detallesCuatro Problemas de Algebra en la IMO.
Cuatro Problemas de Algebra en la IMO. Rafael Sánchez Lamoneda UCV. Escuela de Matemáticas Barquisimeto, 10 de Marzo de 2008 Introducción. El objetivo de esta conferencia es analizar cuatro problemas de
Más detallesPROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02
PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES Problemas 0 Salvador Pérez Gómez pies3coma14@hotmail.com 4 de abril de 007 PROBLEMA 1 Sea n un número natural. Sea A n = n + n + 3n. a) Demostrar que
Más detallesLeyes 0-1 IIC3263. IIC3263 Leyes 0-1 1/77
Leyes 0-1 IIC3263 IIC3263 Leyes 0-1 1/77 Leyes 0-1: Notación Dado: Vocabulario L Recuerde que una propiedad P sobre L (L-propiedad) es un subconjunto de Struct[L] IIC3263 Leyes 0-1 2/77 Leyes 0-1: Notación
Más detallesMatemáticas Discretas. Tema 2. Introducción a la teoría de núm
Matemáticas Discretas. Tema Departamento de Ciencias Computacionales. Universidad Autónoma del Estado de Morelos. October 3, 2016 Tabla de contenidos. 1 Del temario. 2 Contenido del subtema 2.3 Criptografía
Más detallesIIC2213. IIC2213 Teorías 1 / 42
Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente
Más detallesSeguridad Informática
Seguridad Informática Fundamentos Matemáticos de la Criptografía Ramón Hermoso y Matteo Vasirani Universidad Rey Juan Carlos Índice 1 Divisibilidad 2 Artimética modular 3 Grupos 4 El problema del logaritmo
Más detallesEjercicios resueltos Introducción a la teoría de los grupos. J. Armando Velazco
Ejercicios resueltos Introducción a la teoría de los grupos J. Armando Velazco 1 de mayo de 2015 Ejercicio 1: Pruebe que si G es un grupo finito con identidad e y con un número par de elementos, entonces
Más detallesProgramación dinámica
Algoritmos y Estructura de Datos III Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires 03 de Abril de 2013 Repaso Aplica a problemas de optimización donde obtenemos una solución utilizando
Más detallesSistemas basados en la Teoría de Números
Criptografía de clave pública Sistemas basados en la Teoría de Números Departamento de Sistemas Informáticos y Computación DSIC - UPV http://www.dsic.upv.es p.1/20 Criptografía de clave pública Sistemas
Más detallesCOMPLEMENTO DEL TEÓRICO
ÁLGEBRA I PRIMER CUATRIMESTRE - AÑO 2016 COMPLEMENTO DEL TEÓRICO El material de estas notas fue dictado en las clases teóricas pero no se encuentra en el texto que seguimos en las mismas ( Álgebra I -
Más detallesAnexo: El anillo de polinomios K[x].
El anillo de polinomios K[x] 1 Anexo: El anillo de polinomios K[x]. 1. Construcción del anillo de polinomios K[x]. Dado un cuerpo K, se define m K[x] = { a i x i a i K, i = 0,..., m, m N {0}}, i=0 donde
Más detallesÁlgebra y Matemática Discreta
Álgebra y Matemática Discreta Sesión de Teoría 3 (c) 2013 Leandro Marín, Francisco J. Vera, Gema M. Díaz 23 Sep 2013-29 Sep 2013 Congruencias Definición Congruencia Módulo n Sea n 1 un número entero. Diremos
Más detallesDepartamento de Matemáticas
MA5 Clase : Series de números reales Definición de Serie Elaborado por los profesores Edgar Cabello y Marcos González Definicion Dada una sucesión de escalares (a n ), definimos su sucesión de sumas parciales
Más detallesTeorema de incompletitud de Gödel
Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. IIC2213 Teorías 79 / 109 Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. Corolario
Más detallessup si A no es acotado.
Capítulo 6 Espacios completos 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y
Más detallesEcuaciones Diofánticas
2 Ecuaciones Diofánticas (c) 2011 leandromarin.com 1. Introducción Una ecuación diofántica es una ecuación con coeficientes enteros y de la que tenemos que calcular las soluciones enteras. En este tema
Más detallesAMPLIACIÓN DE MATEMÁTICAS
AMPLIACIÓN DE MATEMÁTICAS RAÍCES MÚLTIPLES. Dado un polinomio con coeficientes en un cuerpo existirá siempre un elemento del cuerpo que anula el polinomio? Siempre existe un cuerpo donde podamos encontrar
Más detallesÁlgebra y Matemática Discreta
Álgebra y Matemática Discreta Sesión de Teoría 4 (c) 2013 Leandro Marín, Francisco J. Vera, Gema M. Díaz 23 Sep 2013-29 Sep 2013 Unidades Un elemento a de Z n diremos que es una unidad cuando podamos encontrar
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesEstructuras algebraicas
Semana 10[1/14] 26 de abril de 2007 Semana 10[2/14] Grupos Un grupo es un caso particular de una estructura algebraica. Veremos que esta noción rescata ampliamente las propiedades de estructuras tales
Más detallesEliminación de cuantificadores
Eliminación de cuantificadores Teorema Si una teoría admite eliminación de cuantificadores, y existe un algoritmo que construye ϕ sc a partir de ϕ, entonces es decidible. Cómo se demuestra este teorema?
Más detallesÓrdenes de la convergencia de sucesiones. Condiciones de la convergencia lineal y cuadrática del método de iteración simple
Órdenes de la convergencia de sucesiones. Condiciones de la convergencia lineal y cuadrática del método de iteración simple Estos apuntes están redactados por Maria de los Angeles Isidro Pérez y Egor Maximenko.
Más detallesAMPLIACIÓN DE MATEMÁTICAS
AMPLIACIÓN DE MATEMÁTICAS TEOREMA DE EXTENSIÓN DE KRONECKER. Los polinomios irreducibles sobre un cuerpo no tienen raíces sobre ese cuerpo, salvo que sean de grado uno. Ya hemos visto que Ejemplo 1. x
Más detallesNúmeros complejos y Polinomios
Semana 13 [1/14] 23 de mayo de 2007 Forma polar de los complejos Semana 13 [2/14] Raíces de la unidad Raíz n-ésima de la unidad Sean z C y n 2. Diremos que z es una raíz n-ésima de la unidad si z n = 1
Más detallesÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3
ÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3 Matrices y determinantes (Curso 2011 2012) 2. Sea A una matriz diagonal n n y supongamos que todos los elementos de su diagonal son distintos entre sí.
Más detallesConsistencia, Estabilidad y Convergencia
Consistencia, Estabilidad y Convergencia 1. étodos a un paso Para aproximar la solución x = x(t) del problema de valores iniciales (PVI) x = f(t, x) a t b x(a) = α consideramos el método numérico a un
Más detallesAnillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R.
Capítulo 7 Anillos 7.1 Definiciones Básicas El concepto de Anillo se obtiene como una generalización de los números enteros, en donde están definidas un par de operaciones, la suma y el producto, relacionadas
Más detallesPauta 14 : Divisores del Cero, Cuerpos y Complejos
MA1101-5 Introducción al Álgebra Profesor: Mauricio Telias Auxiliar: Arturo Merino Pauta 14 : Divisores del Cero, Cuerpos y Complejos de julio del 017 P1. [Anillos Booleanos] Sea (A, +, ) un anillo booleano,
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesAlgoritmo de Euclides
Algoritmo de Euclides No es necesario realizar ensayo y error para determinar el inverso multiplicativo de un entero módulo n. Si el módulo que está siendo usado es pequeño hay algunas pocas posibilidades
Más detallesGUÍA DE EJERCICIOS. Área Matemática - Polinomios
GUÍA DE EJERCICIOS Área Matemática - Polinomios Resultados de aprendizaje. Realizar operaciones entre polinomios. Aplicar Regla de Ruffini, para determinar raíces de un polinomio. Aplicar los procedimientos
Más detallesDeducción de las fórmulas del método del gradiente conjugado
Deducción de las fórmulas del método del gradiente conjugado Objetivos. Demostrar el teorema sobre los subespacios de Krylov en el método del gradiente conjugado. Requisitos. Subespacios generados por
Más detallesPolinomios (lista de problemas para examen)
Polinomios (lista de problemas para examen) En esta lista de problemas el conjunto de los polinomios de una variable con coeficientes complejos se denota por P(C). También se usa la notación C[x], si la
Más detalles1 0 4/ 5 13/
1 1 1 7 1 0 4/ 5 13/ 5 R1 R 1+1/5R3 0 0 0 2 R2 R3 0 5 9 22 0 5 9 22 0 0 0 2 Como la matriz tiene un renglón (0, 0, 0, 2) indica que el sistema no tiene solución ya que no existe un número que sea 2 y al
Más detallesAnillo de polinomios con coeficientes en un cuerpo
Capítulo 2 Anillo de polinomios con coeficientes en un cuerpo En el conjunto Z se ha visto cómo la relación ser congruente módulo m para un entero m > 1, es compatible con las operaciones suma y producto.
Más detallesEl espacio euclideano
Capítulo 1 El espacio euclideano 1. Definiciones básicas El espacio Euclideano, denotado por R n, está definido por el conjunto (1.1) R n = {x = (x 1, x 2,..., x n ) : x i R}. Es decir, R n es efectivamente
Más detallesSección IV CRITERIOS DE DIVISIBILIDAD (Menos usuales)
Sección IV CRITERIOS DE (Menos usuales) Los criterios que se presentan a continuación también cuentan con la regla que los define y su correspondiente demostración, no obstante, son reglas que en general
Más detallesCAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS
CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,
Más detallesÁLGEBRA MODERNA. Índice 1. El grupo de permutaciones y el grupo alternante 1
ÁLGEBRA MODERNA DANIEL LABARDINI FRAGOSO TOMÓ ESTAS NOTAS: ALEJANDRO DE LAS PEÑAS CASTAÑO FECHA: 9/MARZO/2016 Índice 1. El grupo de permutaciones y el grupo alternante 1 1. El grupo de permutaciones y
Más detallesCálculo Diferencial: Enero 2016
Cálculo Diferencial: Enero 2016 Selim Gómez Ávila División de Ciencias e Ingenierías Universidad de Guanajuato 9 de febrero de 2016 / Conjuntos y espacios 1 / 21 Conjuntos, espacios y sistemas numéricos
Más detallesAplicando el Axioma del Supremo
Aplicando el Axioma del Supremo Manuel Ibarra Contreras, Armando Martínez García Benemérita Universidad Autónoma de Puebla Puebla, México El objetivo de este artículo es aplicar el Axioma del Supremo para
Más detallesDerivada de la función compuesta. Regla de la cadena
Derivada de la función compuesta. Regla de la cadena Cuando en las matemáticas de bachillerato se introduce el concepto de derivada, su significado y su interpretación geométrica, se pasa al cálculo de
Más detalles