RSA: Autentificación y firma digitales
|
|
- Enrique Chávez Acosta
- hace 6 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 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
3 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
4 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
5 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
6 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
7 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
8 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
9 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
10 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
11 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
12 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
13 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
14 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
15 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
16 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
17 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
18 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
19 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
20 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
21 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
22 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
23 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
24 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
25 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 detallesEspacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.
Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Definición 3.1. Sea (X, d) un espacio métrico y A X. Una cubierta de A es una familia
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 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 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 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 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 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 detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Z = N {0} N Enteros Las operaciones + y. son cerradas en Z, es decir la suma de dos números enteros es un número entero y el producto
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 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 detallesCriterios de divisibilidad y Congruencias
Criterios de divisibilidad y Congruencias Rafael F. Isaacs G. * Fecha: 9 de marzo de 2007 Cuando tenemos un número muy grande escrito en base 10 y deseamos saber si es múltiplo por ejemplo de 9 no necesitamos
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 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 detallesCapítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte
Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 2: Inducción y Recursión 1 / 20 Motivació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 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 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 detallesQué sabemos sobre RP co-rp?
Qué sabemos sobre RP co-rp? Tenemos que PTIME RP co-rp Podemos demostrar que PTIME = RP co-rp? IIC3810 Complejidad probabiĺıstica 38 / 44 Qué sabemos sobre RP co-rp? Tenemos que PTIME RP co-rp Podemos
Más detallesUD Trigonometría Ejercicios Resueltos y Propuestos Col La Presentación
En este documento se da una relación de los tipos de ejercicios que nos podemos encontrar en el tema de Trigonometría de º de Bachillerato. En todo el documento se sigue el mismo esquema: Enunciado tipo
Más detallesEstructuras algebraicas
Semana 11[1/22] 4 de mayo de 2007 Anillos y cuerpos Semana 11[2/22] Anillos Comenzamos ahora el estudio de estructuras algebraicas que tengan definidas dos operaciones, y las clasificaremos en anillos
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 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 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 detallesContinuidad y monotonía
Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados
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 detallesSucesiones acotadas. Propiedades de las sucesiones convergentes
Sucesiones acotadas. Propiedades de las sucesiones convergentes En un artículo anterior se ha definido el concepto de sucesión y de sucesión convergente. A continuación demostraremos algunas propiedades
Más detallesDefinición 1.2. Sea (K, +, ) un dominio de integridad. Un polinomio de grado n sobre K es una expresión de la forma
Polinomios Definición 1.1. Un conjunto K junto con dos operaciones definidas en él que denotaremos por + : K K K : K K K para las cuales se cumplen las siguientes propiedades: Asociatividad Conmutatividad
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 detalles3. ARITMÉTICA MODULAR. 3.1. Congruencias de números enteros. Águeda Mata y Miguel Reyes, Dpto. de Matemática Aplicada, FI-UPM.
3.1. Congruencias de números enteros Definición de congruencia Dado un número entero fijo p>1 y dos números enteros cualesquiera a, b Z, sedicequea es congruente con b módulo p, yseindicaa b (mod p), si
Más detallesCapítulo 3: Técnicas de Conteo Clase 3: Conteo utilizando relaciones de recurrencia
Capítulo 3: Técnicas de Conteo Clase 3: Conteo utilizando relaciones de recurrencia Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 3: Técnicas de Conteo 1 /
Más detallesLa estructura de un cuerpo finito.
9. CUERPOS FINITOS El objetivo de este capítulo es determinar la estructura de todos los cuerpos finitos. Probaremos en primer lugar que todo cuerpo finito tiene p n elementos, donde p es la característica
Más detallesTEORIA DE NUMEROS DIVISIBILIDAD Y NUMEROS PRIMOS. PRUEBAS DE PRIMALIDAD. LA CRIBA DE ERATOSTENES. ALGORITMOS. TEOREMA: EXISTENCIA DE INFINITOS PRIMOS.
. 1 TEORIA DE NUMEROS Temas: DIVISIBILIDAD Y NUMEROS PRIMOS. PRUEBAS DE PRIMALIDAD. LA CRIBA DE ERATOSTENES. ALGORITMOS. TEOREMA: EXISTENCIA DE INFINITOS PRIMOS. (Apuntes de apoyo a clases teóricas) (Tiempo
Más detallesCapítulo VI. Congruencias, Z n y Z n, Etc.
Capítulo VI Congruencias, Z n y Z n, Etc. En este capítulo se estudian congruencias módulo un entero positivo, y los sistemas de números Z n y Z n. Además del teorema chino del residuo, encontramos de
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 detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
Más detallesTeorías decidibles. Definición. Ejercicio
Teorías decidibles Definición Una teoría Σ sobre un vocabulario L es decidible si existe un algoritmo que, dada una L-oración ϕ, verificasiϕ Σ. Ejercicio Sea Ord k el siguiente conjunto de axiomas sobre
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 detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 12 de Noviembre de 2014 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/11 Lenguajes Regulares
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
Más detallesClase 1: Primalidad. Matemática Discreta - CC3101 Profesor: Pablo Barceló. P. Barceló Matemática Discreta - Cap. 5: Teoría de números 1 / 32
Capítulo 5: Teoría de Números Clase 1: Primalidad Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 5: Teoría de números 1 / 32 Teoría de números En esta parte
Más detallesSemana 09 [1/28] Sucesiones. 29 de abril de Sucesiones
Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará
Más detallesNÚMEROS COMPLEJOS 1.1. INTRODUCCIÓN 1.2. OPERACIONES CON COMPLEJOS
NÚMEROS COMPLEJOS 1.1. INTRODUCCIÓN La ecuación x + 1 0 no tiene solución en el cuerpo de los números reales R ya que no existe un número real x tal que x 1. Necesitamos un conjunto que contenga a R, que
Más detallesTema 2: Teorema de estructura de los grupos abelianos finitamente generados.
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con
Más detalles10. Series de potencias
FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo Diferencial e Integral 7-2 Basado en el apunte del curso Cálculo (2do semestre), de Roberto Cominetti, Martín Matamala y Jorge San
Más detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
Más detallesParéntesis: Una aplicación en lenguajes formales
Paréntesis: Una aplicación en lenguajes formales Vamos a ver una aplicación del Teorema de Immerman-Szelepcsényi en la área de lenguajes formales. IIC3242 Clases de Complejidad 35 / 69 Paréntesis: Una
Más detallesInterpretación gráfica
Interpretación gráfica En la introducción de la sección Sistemas de Ecuaciones Lineales se presentó la interpretación gráfica (o geométrica) de la solución de un S.E.L.. Este tema está relacionado con
Más detalles1. Traducción al lenguaje algebráico
1. Traducción al lenguaje algebráico Resuelva los siguientes problemas, traduciendo primero al lenguaje algebráico. Esto es, planteando las ecuaciones correctas para cada situación. 1. El mayor de tres
Más detallesCapítulo 4: Polinomios
Capítulo 4: Polinomios Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Diciembre de 2015 Olalla (Universidad de Sevilla) Capítulo 4: Polinomios Diciembre de
Más detallesTema 1. Anillos e ideales. Operaciones. Divisibilidad
Tema 1. Anillos e ideales. Operaciones. Divisibilidad y factorización. La parte correspondiente a Anillos e ideales. Operaciones se corresponde con el capítulo 1 del libro Atiyah, M.F., Macdonald, I.G.,
Más detallesEspacios compactos. 1. Cubiertas
Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. La compacidad se puede estudiar desde dos puntos de vista: el topológico, a través
Más detallesTeoría de Números. 22 de julio de 2012
Teoría de Números Naoi Sato 22 de julio de 2012 Resumen Estas notas sobre teoría de números fueron originariamente escritas en 1995 para estudiantes de nivel OIM. Cubre sólo
Más detallesSemana05[1/14] Relaciones. 28 de marzo de Relaciones
Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación
Más detallesNúmeros naturales y números enteros
Capítulo 1 Números naturales y números enteros Empezamos aquí a estudiar los números naturales. Todos sabemos que al hablar de los números naturales nos estamos refiriendo a los números 0, 1, 2,. Sin embargo,
Más detallesEspacios conexos. Capítulo Conexidad
Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio
Más detallesSucesiones monótonas Monotonía. Tema 6
Tema 6 Sucesiones monótonas Vamos a discutir ahora una importante propiedad de ciertas sucesiones de números reales: la monotonía. Como primer resultado básico, probaremos que toda sucesión monótona y
Más detallesObjetivos formativos de Álgebra
Objetivos formativos de Álgebra Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera como objetivo
Más detallesDominios Euclideos. Eugenio Miranda Palacios
Dominios Euclideos Eugenio Miranda Palacios 4. Dominios Euclídeos 4.1. Definiciones y resultados básicos Definición 4.1. Sea A un dominio de integridad. Una función euclídea es una función φ : A {0} Z
Más detallesTeoría de Números. UCR ECCI CI-1204 Matemática Discretas Prof. M.Sc. Kryscia Daviana Ramírez Benavides
UCR ECCI CI-1204 Matemática Discretas Prof. M.Sc. Kryscia Daviana Ramírez Benavides Introducción Esta presentación brinda una breve revisión de nociones de la teoría elemental de números, concernientes
Más detallesOperaciones lógicas principales: Negación, Conjunción y Disyunción
Operaciones lógicas principales: Negación, Conjunción y Disyunción Definiciones informales. A es verdadera A es falsa A B es verdadera A es verdadera y B es verdadera A B es verdadera A es verdadera o
Más detallesTema 5: Sistemas de ecuaciones lineales.
TEORÍA DE ÁLGEBRA: Tema 5 DIPLOMATURA DE ESTADÍSTICA 1 Tema 5: Sistemas de ecuaciones lineales 1 Definiciones generales Definición 11 Una ecuación lineal con n incognitas es una expresión del tipo a 1
Más detallesRudimentos 3: Inducción Matemática Profesor Ricardo Santander
Rudimentos 3: Inducción Matemática Profesor Ricardo Santander El capitulo de Inducción Matemática, esta destinado a presentar contenidos y actividades que permitirán al estudiante operar con simbología
Más detallesTeoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas
Teoría de Números Divisibilidad Olimpiada de Matemáticas en Tamaulipas 1. Introducción Divisibilidad es una herramienta de la aritmética que nos permite conocer un poco más la naturaleza de un número,
Más detallesMateria: Matemática de 5to Tema: Producto Punto. Marco Teórico
Materia: Matemática de 5to Tema: Producto Punto Marco Teórico En términos comunes, el producto punto de dos vectores es un número que describe la cantidad de fuerza que dos vectores diferentes contribuyen
Más detallesSoluciones oficiales de los problemas de la Final de la XXI Olimpiada Nacional de Matemática 2009
Soluciones oficiales de los problemas de la Final de la XXI Olimpiada Nacional de Matemática 009 Comisión Académica 1 Nivel Menor Problema 1. Considere un triángulo cuyos lados miden 1, r y r. Determine
Más detallesExtensiones finitas.
2. EXTENSIONES ALGEBRAICAS. Hemos dividido este tema en dos secciones: Extensiones finitas, y Clausura algebraica. En la primera relacionamos extensión finita y extensión algebraica: probamos que toda
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesFÓRMULA PARA OBTENER NÚMEROS DE CARMICHAEL CON n FACTORES PRIMOS, DONDE n 3.
FÓRMULA PARA OBTENER NÚMEROS DE CARMICHAEL CON n FACTORES PRIMOS, DONDE n 3 Un entero positivo es un número de Carmichael si ocurre que es un número compuesto libre de cuadrados y cumple la congruencia
Más detallesRelaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad
Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean
Más detallesLos Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo
Los Números Enteros Capítulo 1 1.1 Introducción En este capítulo nos dedicaremos al estudio de los números enteros los cuales son el punto de partida de toda la teoría de números. Estudiaremos una serie
Más detallesContinuidad y monotonía
Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados
Más detallesTRANSFORMADA DE LAPLACE. Definición: Transformada de Laplace. Sea f(t) una función definida para t 0; a la expresión
TRANSFORMADA DE LAPLACE Definición: Transformada de Laplace. Sea f(t) una función definida para t 0; a la expresión L= = Se le llama Transformada de Laplace de la función f(t), si la integral existe. Notación:
Más detalles= 310 (1 + 5) : 2 2 = = = 12 ( 3) ( 5) = = 2 = ( 4) + ( 20) + 3 = = 21
Unidad I, NÚMEROS NATURALES Y ENTEROS A continuación se enuncian las claves de cada pregunta hechas por mí (César Ortiz). Con esto, asumo cualquier responsabilidad, entiéndase por si alguna solución está
Más detallesCurso Propedéutico de Cálculo Sesión 2: Límites y Continuidad
y Laterales Curso Propedéutico de Cálculo Sesión 2: y Joaquín Ortega Sánchez Centro de Investigación en Matemáticas, CIMAT Guanajuato, Gto., Mexico y Esquema Laterales 1 Laterales 2 y Esquema Laterales
Más detallesIIC1253. IIC1253 Inducción 1/30
Inducción IIC1253 IIC1253 Inducción 1/30 Inducción en los números naturales: Formulación intuitiva Si P es una propiedad tal que: Caso base : P se cumple para 0, Caso inductivo : si P se cumple para n,
Más detallesEspacios métricos completos
5 Espacios métricos completos Comenzamos introduciendo las sucesiones de Cauchy, que relacionamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio métrico completo.
Más detallesEl Teorema Fundamental del Álgebra
El Teorema Fundamental del Álgebra 1. Repaso de polinomios Definiciones básicas Un monomio en una indeterminada x es una expresión de la forma ax n que representa el producto de un número, a, por una potencia
Más detallesParte II CALCULO DIFERENCIAL.
Parte II CALCULO DIFERENCIAL. 165 En esta parte veremos el Cálculo diferencial en forma precisa. 167 168 Capítulo 1 Axiomas Para los Números Reales. En este capítulo daremos las bases en las cuales se
Más detalles