Ejercicios resueltos. Computación. Tema 3
|
|
|
- Carmen Sandra Olivares Venegas
- hace 9 años
- Vistas:
Transcripción
1 Ejercicios resueltos. Computación. Tema 3 Ejercicio.- Sea f : N 3 N y g 1 : N N, g 2 : N 2 N y g 3 : N 3 N. a) En los siguientes casos, expresar f como composición de funciones de la misma aridad. 1. f(x, y, z) = g 1 (z) 2. f(x, y, z) = g 3 (y, z, x) 3. f(x, y, z) = g 2 (g 1 (y), g 3 (x, y, z)) 4. f(x, y, z) = g 1 (z) + g 2 (y, x) b) Suponiendo que g 1, g 2, g 3 son p.r., probar que, en cada caso, también lo es f. SOLUCIÓN: 1. f(x, y, z) = g 1 (z) f(x, y, z) = g 1 ( (3) 3 (x, y, z)) f(x, y, z) = C(g 1 ; (3) 3 )(x, y, z) a) Es decir: f = C(g 1 ; (3) 3 ) b) Y por tanto, f es primitiva recursiva. 2. f(x, y, z) = g 3 (y, z, x) f(x, y, z) = g 3 ( (3) 2 (x, y, z), (3) 3 (x, y, z), (3) 1 (x, y, z)) f(x, y, z) = C(g 3 ; (3) 2, (3) 3, (3) 1 )(x, y, z) a) Es decir: f = C(g 3 ; (3) 2, (3) 3, (3) 1 ) b) Y por tanto, f es primitiva recursiva. 3. f(x, y, z) = g 2 (g 1 (y), g 3 (x, y, z)) f(x, y, z) = g 2 (g 1 ( (3) 2 )(x, y, z), g 3(x, y, z)) f(x, y, z) = g 2 (C(g 1 ; (3) 2 )(x, y, z), g 3(x, y, z)) f(x, y, z) = C(g 2 ; C(g 1 ; (3) 2 ), g 3)(x, y, z)) a) Es decir: f = C(g 2 ; C(g 1 ; (3) 2 ), g 3) b) Y por tanto, f es primitiva recursiva. 4. f(x, y, z) = g 1 (z) + g 2 (y, x) f(x, y, z) = C(+; g 1 ( (3) 3 (x, y, z)), g 2( (3) 2 (x, y, z), (3) 1 (x, y, z))) f(x, y, z) = C(+; C(g 1 ; (3) 3 ), C(g 2; (3) 2, (3) 1 ))(x, y, z) a) Es decir: f = C(+; C(g 1 ; (3) 3 ), C(g 2; (3) 2, (3) 1 )) b) Y por tanto, f es primitiva recursiva. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 1
2 Ejercicio.- a) Probar que el predicado φ(x) x es un múltiplo de 3 es primitivo recursivo. b) Diseñar un programa GOTO que al recibir un dato de entrada n devuelva el elemento n ésimo de la sucesión: 0, 1, 2, 2, 3, 4, 4, 5, 6, 6, 7,... c) La sucesión anterior puede definirse mediante la función: f : N N Probar que: c1) f es sobreyectiva. c2) f es primitiva recursiva. f(0) = 0 f(x) si x+1 es múltiplo de 3 f(x + 1) = f(x) + 1 e.c.o.c. φ(x) = z x(x = 3z) a).- b).- 1.-Sin macros, salvo GOT O L. 2.-Con macros. 3.- Otro. Contando hacia atrás. Contado hacia adelante [A] IF X 0 GOT O B GOT O E [B] X X 1 IF X 0 GOT O C GOT O E [C] X X 1 X X 1 GOT O A [A] IF Z = X GOT O E IF Z = X GOT O E GOT O A [A] Z 3 Z [B] IF Z = X GOT O E IF Z = Z 3 GOT O A GOT O B c1).- Inducción débil en la variable y de la fórmula y( xf(x) = y): Caso base: Para y = 0 tomamos x = 0: f(0) = 0 Paso inductivo: y y + 1 : Suponemos que dado y existe x tal que f(x) = y. Si x + 1 es múltiplo de 3: f(x + 1) = f(x) = y y como x + 2 no será múltiplo de 3 resulta que f(x + 2) = f(x + 1) + 1 = f(x) + 1 = y + 1. En este caso, x + 2 será antiimagen de y + 1 Si x + 1 no es múltiplo de 3 f(x + 1) = f(x) + 1 = y + 1 y, en consecuencia, x + 1 será antiimagen de y + 1. c2).- f es total [es fácil probar por inducción que x(f(x) )]. Aplicamos directamente la definición de recursión: f(0) = 0 f(x + 1)) = h(x, f(x)) donde h : N N, definida por casos: t si φ(x + 1) h(x, t) = t + 1 e.c.o.c. es primitiva recursiva. Es decir, f está definida por recursión a partir de una constante y de la función primitiva recursiva h. Luego es primitiva recursiva. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 2
3 Ejercicio.- Dada una función f : N N se define Se pide: ν f (x) = y N : y < x f(y) = 0} 1. Supongamos que f es total y GOT O computable. Diseñar un programa GOT O que calcule ν f, utilizando f como única macro. 2. Probar que si f es primitiva recursiva, entonces la función ν f también lo es. 1) El siguiente programa calcula ν f : IF X 0 GOT O A GOT O E [A] Z 2 f(z) IF Z 2 0 GOT O B [B] X X 1 IF X 0 GOT O A 2) En efecto, la función ν f puede reescribirse así: 0 si x = 0 ν f (x) = z x 1 sg(f(z)) si x 0 es decir, está definida por casos a partir de funciones primitivas recursivas (las funciones constantemente cero y la suma acotada de sg f) y predicados complementarios y p.r. Por tanto, es primitiva recursiva. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 3
4 Ejercicio (11/01/03). Consideremos la siguiente función f : N 2 N f(x, 0) = x 2, f(x, 1) = x 3 f(x, y) = 3 f(x, y 1) + 2 f(x, y 2) (y 2) (a) Pruébese, utilizando un programa GOTO, que f es GOTO computable. (b) Pruébese que f es primitiva recursiva. a) El siguiente programa calcula la función f: Z 1 X 2 1 Z 2 X 3 1 IF X 2 0 GOTO A Y Z 1 GOTO E [A] X 2 X 2 1 IF X 2 0 GOTO B Y Z 2 GOTO E [B] X 2 X 2 1 Y 3Z 2 + 2Z 1 Z 1 Z 2 Z 2 Y IF X 2 0 GOTO B b) Como f es total (puede demostrarse por inducción), definamos la siguiente función G : N N Entonces: G(x, y) = f(x, y), f(x, y + 1) G(x, 0) = x 2, x 3 G(x, y + 1) = r(g(x, y)), 3r(G(x, y)) + 2l(G(x, y)) Por tanto G = R(g, h) es primitiva recursiva pues g(x) = x 2, x 3 y h(x, z) = r(z), 3r(z) + 2l(z) lo son. Por tanto, como f(x, y) = l(g(x, y)), resulta que f es primitiva recursiva. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 4
5 Minimización acotada (predicados): Sea θ : N n+1 N un predicado. Definimos: θµ( x, minz y : θ( x, z)} si existe tal mínimo y) = y + 1 e.c.o.c. que también escribiremos: µz y (θ( x, z)) PROPOSICIÓN: Si θ PR (n+1) entonces θµ PR (n+1) DEMOSTRACIÓN: Consideremos el predicado complementario: θ( x, z) = θ( x, z) Caso 1.- Existe el mínimo (llamémosle y 0 ) θ( x, 0) = z 0θ( x, z) = 1 θ( x, 0) θ( x, 1) = z 1θ( x, z) = 1 θ( x, 0) θ( x, 1) θ( x, 2) = z 2θ( x, z) = 1 suman y θ( x, 0) θ( x, 1)... θ( x, y 0 1) = θ( x, z) = 1 z y 0 1 θ( x, 0) θ( x, 1)... θ( x, y 0 ) = θ( x, z) = 0 z y 0 θ( x, 0) θ( x, 1)... θ( x, y 0 + 1) = θ( x, z) = 0 z y θ( x, 0) θ( x, 1)... θ( x, y) = z yθ( x, z) = 0 suman 0 θ( x, z) = y 0 t yz t Caso 2.- No existe el mínimo: En ese caso, todos los productos anteriores valdrían 1 y, en consecuencia, θ( x, z) = y + 1 t yz t Por tanto, nuestro predicado se caracteriza así: θµ( x, y) = θ( x, z) t yz t y, por tanto, es primitivo recursivo. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 5
6 Ejercicio.- Todo subconjunto finito A N k, k 1, es primitivo recursivo Desde luego el conjunto vacío, N k, es computable pues su función característica es la constantemente nula C (k) 0. Haremos la demostración ahora para los subconjuntos no vacíos, por inducción débil en el cardinal n de los subconjuntos. Caso Base: n = 1 Sea A = a}. Su función característica: C A ( x) = sg( x 1 a 1 + x 2 a x k a k ) es p.r pues es la composición de la función sg, que es p.r., con la suma de n funciones, que también es p.r. Paso de inducción: n n + 1 Sea B un subconjunto de n + 1 elementos, B = b 1,..., b n, b n+1 }. Entonces: B = b 1,..., b n } b n+1 } = A b n+1 } Por hipótesis de inducción, A es p.r. y b n+1 } también lo es por constar de un elemento (caso base). En consecuencia, como la unión en los conjuntos p.r. es cerrada, B será p.r. Conclusión: Todo subconjunto finito es primitivo recursivo. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 6
7 Ejercicio.- Dar una definición recursiva de la función f(x) =número de dígitos de x -en base 10- y probar que es primitiva recursiva. Sea g(x) = qt(x, 10) la función que trunca el número x devolviendo las n-1 primeras cifras del mismo. Entonces, la función f puede definirse así: 1 si x 9 f(x) = f(g(x)) + 1 e.o.c. Para probar que es primitiva recursiva, la reescribimos así: f(0) = 1 f(x + 1) = Formamos la función historia de f: ˆf(0) = 2 ˆf(x + 1) = 1 si x 8 f(g(x + 1)) + 1 e.o.c. Ĉ1 (x + 1) si x 8 ˆf(x) p f(x+1) x+2 e.o.c. que, teniendo en cuenta la definición de f, podemos reescribir: ˆf(0) = 2 ˆf(x + 1) = Y como g(x) < x para x > 1, podemos escribir: Ĉ1 (x + 1) si x 8 ˆf(x) p f(g(x+1))+1 x+2 e.o.c. ˆf(0) = 2 ˆf(x + 1) = Ĉ1 (x + 1) si x 8 ˆf(x) p ( ˆf(x)) g(x+1)+1 +1 x+2 e.o.c. Es decir, ˆf está definida por recursión a partir de una constante y de la función h: que es p. r. Ĉ1 (x + 1) si x 8 h(x, z) = z p (z) g(x+1)+1+1 x+2 e.o.c. En consecuencia, ˆf es p.r. y, por tanto, f también lo es. Nota: En la prueba se ha tenido en cuenta que, para todo x 9, g(x + 1) < x. Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 7
8 Ejercicio.Sea θ : N N el predicado: θ(x) x se expresa como suma de, al menos, dos números naturales consecutivos a) Probar que θ es un predicado primitivo recursivo. b) Probar que para todo p 1, θ(2 p ) = 0 c) Probar que θ es un predicado GOT O computable dando un programa que lo calcule. a) θ es un predicado primitivo recursivo pues se expresa: θ(x) = n x k x (k 1 x = n+(n+1)+(n+2)+ +(n+k)) = n x k x (k 1 x = i k(n+i)) b) Veamos que para todo p 1, θ(2 p ) = 0 En efecto, supongamos que 2 p = n + (n + 1) + (n + 2) + + (n + k), entonces 2 p = (k + 1) n + (n + k) 2 = (k + 1) (2n + k) 2 Caso 1.- (k + 1) impar. en este caso, es necesario que k = 0; así pues, la igualdad sólo se verifica cuando n = 2 p, es decir, cuando n sea una potencia de 2. Por tanto, 2 p no es la suma de, al menos, dos números consecutivos. Caso 1.- (k + 1) par. en este caso, 2n + k es impar, por lo que es necesario que n = 0 y k = 1; así pues, la igualdad sólo se verifica cuando 2 p = Por tanto, en este caso, ninguna potencia propia de 2 ( 2 p, p 1) es la suma de, al menos, dos números consecutivos. c) Para mayor claridad en la lectura del programa utilizaremos las siguientes letras como variables: S para el valor de la suma; N para el valor inicial de la suma; K para los sucesivos incrementos del valor inicial (o sea, en s = n + (n + 1) (n + k) en cada momento, N = n, S = s y K = k). [A] [B] IF N = X GOT O E IF S > X GOT O C IF S = X GOT O D K K + 1 S S + (S + K) GOT O B [C] K 0 N N + 1 S N GOT O A [D] Ejercicios resueltos. Computación A. J. Pérez Jiménez.- pág. 8
Terminaremos 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
Espacios completos. 8.1 Sucesiones de Cauchy
Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un
Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.
Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre
Continuidad. 5.1 Continuidad en un punto
Capítulo 5 Continuidad 5.1 Continuidad en un punto Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ) e (Y, τ ) dos espacios topológicos, y sea f : X Y una aplicación entre ellos. Diremos
Estructuras Algebraicas
Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos
Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}
Proposición. Sea un rectángulo en R n, y sea f : R una función continua. Entonces f es integrable en. Conjuntos de Demostración: Como f es continua en, y es compacto, f es acotada en, y uniformemente continua.
Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO
Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO El estudio de los conjuntos infinitos se inicia con Las Paradojas del Infinito, la última obra del matemático checo Bernard Bolzano, publicada
MATEMÁTICAS BÁSICAS. Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano
MATEMÁTICAS BÁSICAS Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2015 Universidad
Integrales múltiples
ntegrales múltiples Cálculo (2003) El objetivo de este capítulo es definir y aprender a calcular integrales de funciones reales de varias variables, que llamamos integrales múltiples. Las motivación más
MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño
MATEMÁTICAS BÁSICAS Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2014 Universidad Nacional de Colombia
Sobre funciones reales de variable real. Composición de funciones. Función inversa
Sobre funciones reales de variable real. Composición de funciones. Función inversa Cuando en matemáticas hablamos de funciones pocas veces nos paramos a pensar en la definición rigurosa de función real
Espacios topológicos. 3.1 Espacio topológico
Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes
IN Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0
IN3701 - Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0 Acá va una pequeña guía con problemas resueltos de Geometría en Programación Lineal con problemas básicamente extraídos del
MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
2 de marzo de 2009 Parte I Conjuntos Definición intuitiva de conjunto Definición Un conjunto es una colección de objetos. Ejemplos A = {a, e, i, o, u} B = {blanco, gris, negro} C = {2, 4, 6, 8, 9} D =
Sumatorias y productorias (desde 0) Lógica y Computabilidad. Sumatorias y productorias (desde 1)
Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Computabilidad - clase 3 Sumatorias y productorias, cuantificadores acotados, minimización acotada, codificación de pares y
Introducción a la topología
Introducción a la topología Beatriz Abadie CENTRO DE MATEMÁTICAS FACULTAD DE CIENCIAS UNIVERSIDAD DE LA REPÚBLICA Agosto de 2013 i Índice general Capítulo 1. Elementos de la teoría de conjuntos 1 1.1.
Funciones de Clase C 1
Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,
Teoremas 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
Conjuntos, 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
FUNCIONES EN R. Agosto 2007
FUNCIONES EN R Alexis Vera Pérez Instituto de Estadística & Sistemas Computarizados de Información Universidad de Puerto Rico, Recinto de Río Piedras Agosto 2007 1 Definición y notación Definición 1 Una
CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.
CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se
Tema 3: Conjuntos y Funciones
Tema 3: Conjuntos y Funciones Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2008 09 LC, 2008 09 Conjuntos y Funciones 3.1 Conjuntos Escribimos
520142: ALGEBRA y ALGEBRA LINEAL
520142: ALGEBRA y ALGEBRA LINEAL Segundo Semestre 2008, Universidad de Concepción CAPITULO 10: Espacios Vectoriales DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas 1 Definición
Tipos de datos en S. Lógica y Computabilidad. Codificación de variables y etiquetas de S. Codificación de programas en S
Tipos de datos en S Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Computabilidad - clase 5 Codificación de programas, Halting problem, diagonalización, tesis de Church,
Funciones. Domf = {x R f(x) B} Ranf = {f(x) x Domf} x (, 4) (4, ) 4y + 1 y. 4y + 1. > 4 = y y. > 0 = y
Funciones Una función real de variable real es una aplicación f : A B donde A,B son conjuntos de números reales. Domf = x R f(x) B Rango: El rango o imagen de la función f es un conjunto que se define
6.1. Anillos de polinomios.
1 Tema 6.-. Anillo de polinomios. División y factorización. Lema de Gauss. 6.1. Anillos de polinomios. Definición 6.1.1. Sea A un anillo. El anillo de polinomios en la indeterminada X con coeficientes
1.2 Si a y b son enteros impares, entonces a + b es par. 1.4 Si el producto de enteros a y b es par, entonces alguno de ellos es par.
Sesión 1 Demostraciones Demostración directa 1.1 Si n es un número entero impar, entonces n 2 es impar. 1.2 Si a y b son enteros impares, entonces a + b es par. Demostración indirecta 1.3 Si n 2 es par,
Teoría de la Probabilidad Tema 2: Teorema de Extensión
Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada
Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).
Espacios Topológicos 1 Punto de Acumulación Definición: Sea A un subconjunto arbitrario de R n, se dice que x R n es un punto de acumulación de A si toda bola abierta con centro x contiene un punto A distinto
Inducción Matemática. Departamento de Matemáticas. Inducción Matemática p. 1/31
Inducción Matemática Departamento de Matemáticas Inducción Matemática p. 1/31 Inducción Matemática: Historia Inducción Matemática es un método de prueba relativamente reciente: Inducción Matemática p.
Semana 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á
Espacios Vectoriales
Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la
Sucesiones, inducción y sumatorias
Capítulo 3 Sucesiones, inducción y sumatorias 3.. Sucesiones Definición Una sucesión es una función definida de N R que se acostumbra a denotar por a n en lugar de fn), costumbre que también adoptaremos
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
1. Convergencia en medida
FACULTAD CS. FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE MA3801 Teoría de la Medida. Semestre 2009-02 Profesor: Jaime San Martín Auxiliares: Andrés Fielbaum y Cristóbal Guzmán Clase auxiliar 7 21 de Septiembre
Números naturales y recursividad
Números naturales y recursividad Rafael F. Isaacs G. Sonia M. Sabogal P. * Fecha: 8 de marzo de 2005 Números naturales Se sabe que los números naturales constituyen la estructura básica de la Matemática;
Una norma en un espacio lineal (o vectorial) X es una función. : X R con las siguientes propiedades: (a) x 0, para todo x X (no negatividad);
MATEMÁTICA APLICADA II Segundo cuatrimestre 20 Licenciatura en Física, Universidad Nacional de Rosario Espacios de Banach. Introducción Frecuentemente estamos interesados en qué tan grande. es una función.
ÁLGEBRA Ejercicios no resueltos de la Práctica 1
ÁLGEBRA Ejercicios no resueltos de la Práctica 1 Correspondencias y aplicaciones (Curso 2007 2008) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones
Operaciones con Funciones
Carlos A. Rivera-Morales Precálculo I Tabla de Contenido Contenido : Contenido Discutiremos: suma, resta, multiplicación y división de funciones : Contenido Discutiremos: suma, resta, multiplicación y
Espacios vectoriales reales.
Tema 3 Espacios vectoriales reales. 3.1 Espacios vectoriales. Definición 3.1 Un espacio vectorial real V es un conjunto de elementos denominados vectores, junto con dos operaciones, una que recibe el nombre
Funciones integrables en R n
Capítulo 1 Funciones integrables en R n Sean un subconjunto acotado de R n, y f : R una función acotada. Sea R = [a 1, b 1 ]... [a n, b n ] un rectángulo que contenga a. Siempre puede suponerse que f está
TEMA 2. ESPACIOS VECTORIALES
TEMA 2. ESPACIOS VECTORIALES CÉSAR ROSALES GEOMETRÍA I En este tema comenzaremos el estudio de los objetos que nos interesarán en esta asignatura: los espacios vectoriales. Estos son estructuras básicas
Ó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.
Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.
Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de
Anillo 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.
Funciones reales de variable real
Tema Funciones reales de variable real Introducción El objetivo fundamental de este tema es recordar conceptos ya conocidos acerca de las funciones reales de variable real.. Conceptos Generales Definición.
EL CUERPO ORDENADO REALES
CAPÍTULO I. EL CUERPO ORDENADO DE LOS NÚMEROS REALES SECCIONES A. Elementos notables en R. B. Congruencias. Conjuntos numerables. C. Método de inducción completa. D. Desigualdades y valor absoluto. E.
1 Método de la bisección. 1.1 Teorema de Bolzano Teorema 1.1 (Bolzano) Contenido
E.T.S. Minas: Métodos Matemáticos Resumen y ejemplos Tema 3: Solución aproximada de ecuaciones Francisco Palacios Escuela Politécnica Superior de Ingeniería de Manresa Universidad Politécnica de Cataluña
Apéndice sobre ecuaciones diferenciales lineales
Apéndice sobre ecuaciones diferenciales lineales Juan-Miguel Gracia 10 de febrero de 2008 Índice 2 Determinante wronskiano. Wronskiano de f 1 (t), f 2 (t),..., f n (t). Derivada de un determinante de funciones.
Semana03[1/17] Funciones. 16 de marzo de Funciones
Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,
Axiomas de separación
CAPíTULO 6 Axiomas de separación Tema 1. Axiomas de separación: conceptos básicos El objetivo de este capítulo es considerar ciertas propiedades topológicas que comparten algunos espacios topológicos y
Funciones reales de variable real
84 Matemáticas I : Cálculo diferencial en IR Tema 8 Funciones reales de variable real 8. Los números reales Los números reales son de sobra conocidos, sus operaciones básicas así como su identificación
Espacios 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
Subconjuntos notables de un Espacio Topológico
34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto
En este capítulo extenderemos la conocida ecuación. g(b) f = f g g, g(a)
Capítulo 6 Cambio de variable 1. Particiones de la Unidad En este capítulo extenderemos la conocida ecuación (6.1) g(b) g(a) f = b a f g g, válida para funciones iemann-integrables f y funciones diferenciables
1. Construcción de la Integral
1. Construcción de la Integral La integral de Riemann en R n es una generalización de la integral de funciones de una variable. La definición que vamos a dar reproduce el método de Darboux para funciones
Notas de Álgebra Básica I
Notas de Álgebra Básica I Carlos Ruiz de Velasco y Bellas Departamento de Matemáticas, Estadística y Computación Facultad de Ciencias Universidad de Cantabria 14 de septiembre de 2006 2 Capítulo 1 Conjuntos,
ALGEBRA 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
1. Sucesiones y redes.
1. Sucesiones y redes. PRACTICO 7. REDES. Se ha visto que el concepto de sucesión no permite caracterizar algunas nociones topológicas, salvo en espacios métricos. Esto empieza con algunas definiciones
Espacio de Funciones Medibles
Capítulo 22 Espacio de Funciones Medibles Igual que la σ-álgebra de los conjuntos medibles, la familia de funciones medibles, además de contener a todas las funciones razonables (por supuesto son medibles
DERIVACIÓN DE LAS FUNCIONES ELEMENTALES
DERIVACIÓN DE LAS FUNCIONES ELEMENTALES 2 El procedimiento mediante el cuál se obtiene la derivada de una función se conoce como derivación. Llamaremos funciones elementales a las funciones polinómicas,
Capítulo 7. Espacios vectoriales. 7.1 Definición y ejemplos
Capítulo Espacios vectoriales.1 Definición y ejemplos Un espacio vectorial sobre un cuerpo K (que supondremos conmutativo es un conjunto no vacío junto con 1. una operación interna, +, a la que llamaremos
Sobre la Construcción Axiomática de los Números Naturales
Sobre la Construcción Axiomática de los Números Naturales Dr. Rafael Labarca Briones Profesor de Matemáticas. Universidad de Santiago de Chile. Charla dictadas en las EMALCAS de Arequipa, La Paz y Quito.
Una topología de los números naturales*
Una topología de los números naturales* Divulgación Gabriel Ruiz Hernández Instituto de Matemáticas, UNAM 1 de septimebre de 1997 resumen En este trabajo vamos a describir un espacio topológico X con las
PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02
PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES Problemas 0 Salvador Pérez Gómez [email protected] 4 de abril de 007 PROBLEMA 1 Sea n un número natural. Sea A n = n + n + 3n. a) Demostrar que
Límites y continuidad
Límite funcional 6 6. Límite funcional 79 6.2 Límites infinitos y en el infinito 8 6.3 Cálculo de límites 83 6.4 Continuidad 84 6.5 Teorema del valor intermedio 87 6.6 Monotonía 89 6.7 Ejercicios 9 La
8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV
8.4. CRITERIO DE ESTAB.: METODO DE LIAPUNOV 309 8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV Consideremos el sistema autónomo dx = F (x, y) dt (8.32) dt = G(x, y), y supongamos que tiene
Reglas de l Hôpital Teorema del Valor Medio Generalizado. Tema 7
Tema 7 Reglas de l Hôpital Estudiamos en este tema el método práctico más efectivo para calcular ites de funciones en los que se presenta una indeterminación del tipo [0/0], o [ / ]. Este método se atribuye
MATEMÁTICAS APLICADAS A LAS C.C. SOCIALES
MATEMÁTICAS APLICADAS A LAS C.C. SOCIALES CAPÍTULO 5 Curso preparatorio de la prueba de acceso a la universidad para mayores de 25 años curso 2010/11 Nuria Torrado Robles Departamento de Estadística Universidad
Matriz asociada a una transformación lineal respecto a un par de bases
Matriz asociada a una transformación lineal respecto a un par de bases Objetivos Definir la matriz asociada a una transformación lineal respecto a un par de bases y estudiar la representación matricial
LOS NÚMEROS NATURALES
LOS NÚMEROS NATURALES INDUCCION MATEMÁTICA Existen diversas formas de sistematizar al conjunto de los números naturales y sus propiedades, la axiomática de Peano es aquella en que nos basaremos para deducir
Sucesiones en R n. Ejemplos.-Considerando el espacio R 2 sea la sucesión {x k } 1 dada por x k = ( k, 1 k) podemos listar como sigue:
Sucesiones en R n Definición. Una sucesión en R n es cualquier lista infinita de vectores en R n x, x,..., x,... algunos de los cuales o todos ellos pueden coincidir entre si. Dada una sucesión x, x,...,
Teorema del Valor Medio
Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph
CÁLCULO DIFERENCIAL Muestras de examen
CÁLCULO DIFERENCIAL Muestras de examen Febrero 2012 T1. [2] Demostrar que la imagen continua de un conjunto compacto es compacto. T2. [2.5] Definir la diferencial de una función en un punto y demostrar
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
Cálculo II. Tijani Pakhrou
Cálculo II Tijani Pakhrou Índice general 1. Nociones topológicas en R n 1 1.1. Distancia y norma euclídea en R n.................... 1 1.2. Bolas abiertas y cerradas en R n..................... 3 1.3.
Límites y continuidad de funciones reales de variable real
Límites y continuidad de funciones reales de variable real Álvarez S., Caballero M.V. y Sánchez M. a M. [email protected], [email protected], [email protected] Índice 1. Definiciones 3 2. Herramientas 10 2.1. Funciones
Fundamentos Matemáticos. Grado en Ingeniería Informática. Grado en Ingeniería de Computadores. Universidad de Alcalá
Fundamentos Matemáticos Grado en Ingeniería Informática Grado en Ingeniería de Computadores Universidad de Alcalá Francisco Javier Bueno Guillén Óscar Gutiérrez Blanco José Enrique Morais San Miguel Francisco
Demostraciones a Teoremas de Límites
Demostraciones a Teoremas de Límites Programa de Bachillerato.Universidad de Chile. Otoño, 009 En esta sección solo daremos los fundamentos teóricos que nos permiten resolver los problemas que se nos plantean,
Apuntes de Matemática Discreta 8. Relaciones de Equivalencia
Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 8 Relaciones de Equivalencia
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos
Coordinación de Matemática I (MAT01) 1 er Semestre de 013 Semana 7: Lunes - Viernes 7 de Abril Cálculo Contenidos Clase 1: Álgebra de límites. Teorema del Sandwich. Cálculo de límites. Límites trigonométricos.
En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
1. NÚMEROS PRIMOS Y COMPUESTOS.
. NÚMEROS PRIMOS Y COMPUESTOS. De acuerdo a las propiedades ya vistas de los divisores, sabemos que: todo natural no nulo es divisor de sí mismo es divisor de todo número natural. Ahora: el natural tiene
1 Curvas planas. Solución de los ejercicios propuestos.
1 Curvas planas. Solución de los ejercicios propuestos. 1. Se considera el lugar geométrico de los puntos del plano tales que la suma del cuadrado de las distancias a los puntos P 1 = (, 0) y P = (, 0)
EL GRADO DE AVANCE DE UNA REACCIÓNYSU APLICACIÓN A LA ESTEQUIOMETRÍA Y AL EQUILIBRIO QUÍMICO. Guillermo Carreras Díaz
EL GRADO DE AVANCE DE UNA REACCIÓNYSU APLICACIÓN A LA ESTEQUIOMETRÍA Y AL EQUILIBRIO QUÍMICO Guillermo Carreras Díaz 1 El grado de avance de una reacción química. Dada una reacción química cualquiera es
50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES. Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: Se tiene:
50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: A = {a, b, c, d, e}, B = {e, f, g, h}, C = {a, e, i, o, u} A B C, A B C, A \ B,
Funciones convexas Definición de función convexa. Tema 10
Tema 10 Funciones convexas Los resultados obtenidos en el desarrollo del cálculo diferencial nos permiten estudiar con facilidad una importante familia de funciones reales de variable real definidas en
TEMA II TEORÍA INTUITIVA DE CONJUNTOS
TEMA II TEORÍA INTUITIVA DE CONJUNTOS Policarpo Abascal Fuentes TEMA II Teoría intuitiva de conjuntos p. 1/4 TEMA II 2. TEORÍA INTUITIVA DE CONJUNTOS 2.1 CONJUNTOS 2.1.1 Operaciones con conjuntos 2.2 RELACIONES
CALCULO DIFERENCIAL. GRUPO D
CALCULO DIFERENCIAL. GRUPO D HOJA DE PROBLEMAS 1 1. En este ejercicio se trata de dibujar el siguiente subconjunto de R 3 llamado hiperboloide de una hoja (a, b, c > 0): } V = (x, y, z) R 3 : x a + y b
1.- Para cada uno de los siguientes problemas escribir el diagrama de flujo y el pseudocódigo de un programa que lo resuelva:
1.- Para cada uno de los siguientes problemas escribir el diagrama de flujo y el a) Problema: pedir la base y la altura de un triángulo y escribir su superficie. b) Problema: pedir cuatro números enteros
METODOS DE INTEGRACION IV FRACCIONES PARCIALES
METODOS DE INTEGRACION IV FRACCIONES PARCIALES Una función racional es una función de la forma En la que f(x) y g(x) son polinomios. Si el frado de f(x) es menor que el de g(x), F(x) se denomina fracción
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: [email protected]
Números naturales, principio de inducción
, principio de inducción. Conjuntos inductivos. Denotaremos por IN al conjunto de números naturales, IN {,,, 4, 5, 6,...}, cuyos elementos son suma de un número finito de unos. Recordemos que IN es cerrado
Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo
Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo
Volumen y conjuntos de medida cero
Capítulo 2 Volumen y conjuntos de medida cero En la recta real normalmente las funciones se integran sobre intervalos. En R n es deseable poder considerar integrales de funciones sobre conjuntos más complicados
