Ejercicios resueltos. Computación. Tema 3
|
|
- Carmen Sandra Olivares Venegas
- hace 7 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
Más detallesEspacios 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
Más detallesRecordemos 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
Más detallesContinuidad. 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
Más detallesEstructuras 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
Más detallesPor 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.
Más detallesConjuntos 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
Más detallesMATEMÁ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
Más detallesIntegrales 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
Más detallesMATEMÁ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
Más detallesSobre 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
Más detallesEspacios 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
Más detallesIN 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
Más detallesMATEMÁ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 =
Más detallesSumatorias 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
Más detallesIntroducció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.
Más detallesFunciones 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,
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 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 detallesFUNCIONES 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
Más detallesCONTINUIDAD 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
Más detallesEn 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
Más detallesTema 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
Más detalles520142: 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
Más detallesTipos 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,
Más detallesFunciones. 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
Más detalles6.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
Más detalles1.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,
Más detallesTeorí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
Más detallesNotas sobre el teorema minimax
Notas sobre el teorema mini Antonio Martinón Abril de 2012 1 Teoremas mini Sean X e Y dos conjuntos no vacíos y consideremos una función Se verifica sup inf efectivamente, dado x X resulta claro que f
Más detallesEspacios 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
Más detallesInducció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.
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 detallesEspacios 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
Más detallesSESIÓ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
Más detallesSucesiones, 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
Más detallesÍ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
Más detalles1. 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
Más detallesNú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;
Más detallesUna 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.
Más detallesÁ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
Más detallesOperaciones 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
Más detallesEspacios 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
Más detallesFunciones 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á
Más detallesTEMA 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
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 detallesCardinalidad. 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
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 detallesFunciones 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.
Más detallesEL 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.
Más detalles1 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
Más detallesApé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.
Más detallesSemana03[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,
Más detallesAxiomas 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
Más detallesFunciones 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
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 detallesSubconjuntos 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
Más detallesEn 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
Más detalles1. 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
Más detallesNotas 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,
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 detalles1. 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
Más detallesEspacio 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
Más detallesDERIVACIÓ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,
Más detallesCapí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
Más detallesSobre 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.
Más detallesUna 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
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 detallesLí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
Más detalles8.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
Más detallesReglas 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
Más detallesMATEMÁ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
Más detallesMatriz 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
Más detallesLOS 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
Más detallesSucesiones 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,...,
Más detallesTeorema 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
Más detallesCÁ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
Más detallesCapí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:
Más detallesCá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.
Más detallesLí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. salvarez@um.es, m.victori@um.es, marvega@um.es Índice 1. Definiciones 3 2. Herramientas 10 2.1. Funciones
Más detallesFundamentos 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
Más detallesDemostraciones 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,
Más detallesApuntes 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
Más detallesCoordinació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.
Más detallesEn 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
Más detalles1. 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
Más detalles1 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)
Más detallesEL 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
Más detalles50 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,
Más detallesFunciones 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
Más detalles0ºK= -273ºC (inicio de la escala absoluta de temperatura)
LÍMITE: muchos fenómenos de la naturaleza tienen un punto límite, que no es posible traspasar con los conocimientos actuales. uno de estos puntos es el cero absoluto de la temperatura. 0ºK= -273ºC (inicio
Más detalles1.3. Principios del Análisis Real
1.3. Principios del Análisis Real En este tema recogemos lo que bajo el nombre de Principios se presenta como herramienta esencial en nuestro camino. 1.3.1 Principio de Inducción Con este principio vamos
Más detallesTEMA 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
Más detallesCALCULO 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
Más detalles1.- 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
Más detallesMETODOS 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
Más detallesInducció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: fhq@ciencias.unam.mx
Más detallesNú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
Más detallesAutó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
Más detallesVolumen 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
Más detalles