Funciones primtivas recursivas y clases PRC (parte I)
|
|
- Samuel Toledo Rojo
- hace 6 años
- Vistas:
Transcripción
1 Funciones primtivas recursivas y clases PRC (parte I) Hernán Czemerinski Miércoles 2 de febrero de 2011 Definición 1. Llamamos funciones iniciales a n(x) = 0 s(x) = x + 1 u n i (x 1,..., x n ) = x i con n 1 y 1 i n. Nótese que dado que hay infinitas funciones proyectoras u n i, también hay infinitas funciones iniciales. Definición 2. Sean f : N k N y g 1,..., g k : N n N. Sea h : N n N definida como h(x 1,..., x n ) = f(g 1 (x 1,..., x n ),..., g k (x 1,..., x n )). Decimos entonces que h es obtenida a partir de f y g 1,..., g k por composición. Definición 3. Sean f : N n N y g : N n+2 N. Sea h : N n+1 N definida como h(x 1,..., x n, 0) = f(x 1,..., x n ) h(x 1,..., x n, t + 1) = g(t, h(x 1,..., x n, t), x 1,..., x n ). Decimos entonces que h es obtenida a partir de f y g por recursión primitiva. En este contexto vamos considerar que una función 0-aria es una constante k. Si h : N N, entonces h(0) = k = s (k) (n(0)). Definición 4. Una clase de funciones se dice PRC si incluye a las funciones iniciales y está cerrada por composición y recursión primitiva. La clase de las funciones recursivas primitivas es la mínima clase PRC. Analicemos cómo están organizadas las funciones primitivas recursivas. A las funciones iniciales podemos pensarlas ubicadas en un nivel 0. Luego, en el nivel 1 estarían las que se pueden obtener mediante composición y recursión primitiva usando sólo las del nivel 0. En general, si h es una función definida por composición a partir de f, g 1,..., g k diremos que nivel(h) = max(nivel(f), nivel(g 1 ),..., nivel(g k )) + 1. Análogamente, si h se define por composición a partir de f y g, nivel(h) = max(nivel(f), nivel(g)) + 1. El siguiente diagrama muestra algunas funciones de los niveles 0 y 1. 1
2 s(n(x)) m(0) = n(n(x)) m(t + 1) = u 3 1 (t, m(x, t), x) u 1 1 (u1 1 (x)) n(x) u 1 1 (x) u 2 1 (x1, x2) s(x) n(s(x)) l(x, 0) = u 1 1 (n(x)) l(x, t + 1) = u 3 2 (t, l(x, t), x) Esto es a lo que llamamos la cebolla de las funciones primitivas recursivas. Esta estructura nos va a resultar muy útil para hacer demostraciones. Para probar que todas las funciones de una clase tienen una cierta propiedad p haremos inducción sobre estos niveles. Es decir, deberemos probar que vale para las funciones del nivel 0, y que de valer p en las funciones de los niveles 0,..., t, entonces también vale en las del nivel t + 1. Ejercicio 1. Sea C una clase PRC, y sean β una función de C. Mostrar que también lo son las siguientes funciones: 1. ϕ 1 (x, y, z) = β(z, y, x) 2. ϕ 2 (x) = β(x, x, x) 3. ϕ 3 (x, 0) = 2 ϕ 3 (x, y + 1) = ϕ 1 (x, x, x) y Resolución. Para mostrar que las funciones son de la clase C debemos escribirlas como funciones definidas por composición o recursión primitiva usando funciones de C. 1. Probemos que ϕ 1 puede definirse por composición de funciones de C. O sea, escribamos ϕ 1 como una función h ϕ1 tal que h ϕ1 (x, y, z) = f ϕ1 (g ϕ11 (x, y, z),..., g ϕ1k (x, y, z)) con f ϕ1, g ϕ11,... y g ϕ1k funciones de C. Veamos que si tomamos f ϕ1 = β, g ϕ11 = u 3 3, g ϕ12 = u 3 2 y g ϕ13 = u 3 1 obtenemos ϕ 1. h ϕ1 (x, y, z) = β(u 3 3(x, y, z), u 3 2(x, y, z), u 3 1(x, y, z)) h ϕ1 (x, y, z) = β(z, y, x) h ϕ1 (x, y, z) = ϕ 1 (x, y, z) Por lo tanto, también ϕ 1 es una función de C. 2. De manera muy similar podemos probar que ϕ 2 también es una función de C. En este caso tomemos f ϕ2 = β y g ϕ21 = g ϕ22 = g ϕ23 = u 1 1. Con lo que también ϕ 2 está en C. h ϕ2 (x) = β(u 1 1(x), u 1 1(x), u 1 1(x)) h ϕ2 (x) = β(x, x, x) h ϕ2 (x) = ϕ 2 (x) 2
3 3. Para mostrar que ϕ 3 está en C la definiremos siguiendo el esquema de recursión primitiva. Es decir, queremos escribirla como una función h ϕ3 tal que h ϕ3 (x, 0) = f ϕ3 (x) h ϕ3 (x, t + 1) = g ϕ3 (t, h ϕ3 (x, t), x) con f ϕ3 y g ϕ3 en C. En primer lugar deberíamos probar que la función constante de una variable dos (que siempre da 2) está en C. Para esto usaremos composición, las funciones iniciales n y s y la función uno (función constante de una variable que siempre da 1), que también deberemos probar que está en C. Empecemos por definir uno por composición del siguiente modo: uno(x) = s(n(x)) uno(x) = s(0) uno(x) = uno(x) = 1 Ahora, sabiendo que uno está en C, definamos usando composición la función dos: dos(x) = s(uno(x)) dos(x) = s(1) dos(x) = dos(x) = 2 con lo que también dos está en C. De este modo, tomando f ϕ3 = dos queda resuelta la primera ecuación del esquema de recursión primitiva. El siguiente paso consiste en dar una función g ϕ3 que verifique la segunda ecuación del esquema de recursión primitiva. Empecemos por ver que prod(x, y) = x y es una operación que se encuentra en cualquer clase PRC. Definamos la función h prod : N 2 N del siguiente modo: h prod (x, 0) = 0 h prod (x, t + 1) = x + h prod (x, t) Ya se vio en la teórica que la suma es una función primitiva recursiva, con lo que puede verse que h prod también es primitiva recursiva tomando f prod (x) = n(x) g prod (x, y, z) = u 3 3(x, y, z) + u 3 2(x, y, z) Ahora deberíamos ver que prod = h prod. Esto lo podemos probar por inducción en t. Para el caso base tomamos t = 0. h prod (x, 0) = 0 = x 0 = prod(x, 0) Supongamos cierta la igualdad para t y veamos que entonces también es cierta para t + 1. h prod (x, t + 1) = x + h prod (x, t) = x + prod(x, t) = x + x t = x (t + 1) = prod(x, t + 1) O sea, prod está en todas las clases PRC. Definamos ahora la función γ : N 3 N como γ(x, y, z) = ϕ 1 (u 3 3(x, y, z), u 3 3(x, y, z), u 3 3(x, y, z)) Como sólo usamos funciones de C y seguimos el esquema de composición, también γ está en la clase. Ahora, nuevamente mediante composición, definamos g ϕ3 como g ϕ3 (x, y, z) = prod(γ(x, y, z), u 3 1(x, y, z)) 3
4 Por último, probemos que esta definición de g ϕ3 es adecuada para ϕ 3. h ϕ3 (x, y + 1) = g ϕ3 (y, h ϕ3 (x, y), x) h ϕ3 (x, y + 1) = prod(γ(y, h ϕ3 (x, y), x), u 3 1(y, h ϕ3 (x, y), x)) h ϕ3 (x, y + 1) = prod(ϕ 1 (x, x, x), y) h ϕ3 (x, y + 1) = ϕ 1 (x, x, x) y Con esto resolvimos la segunda ecuación del esquema de recursión primitiva. En consecuencia ϕ 3 también está en C. Ejercicio 2. Dada una función f : N N primitiva recursiva, probar que la función f n (x) que toma el parámetro x y aplica n veces la función f es primitiva recursiva (con f 0 (x) = x). Resolución. Estaría bien si hiceramos lo siguiente? f n (x) = f(...f(x)...) }{{} n Estaría bien si el n fuera fijo, pero en este caso no lo es. Si hacemos esto estaríamos probando que para cada n la función que aplica n veces f es primitiva recursiva. Por ejemplo: f 2 (x) = f(f(x)) f 3 (x) = f(f(f(x)))... En este caso nos están pidiendo que probemos que existe una función h que toma como parámetro la cantidad de veces que debe ser aplicada f y se encarga de aplicarla las veces necesarias. Llamamos f n (x) = h(x, n) y la definimos como siendo h(x, 0) = u 1 1(x) h(x, t + 1) = g(t, h(x, t), x) g(x, y, z) = f(u 3 2(x, y, z)) Probemos ahora por inducción que h se comporta como esperamos. Empecemos considerando el caso t = 0. h(x, 0) = u 1 1(x) = x = f 0 (x) Supongamos ahora que vale para t y probemos que entonces vale para t + 1. h(x, t + 1) = g(t, h(x, t), x) = f(u 3 2(t, h(x, t), x)) = f(h(x, t)) = f(f t (x)) = f t+1 (x) 4
5 Ejercicio 3. Llamamos predicado a cualquier función p : N n {0, 1}. Probar que son primitivos recursivos 1. par(x) 2. dadas β y γ recursivas primitivas, { β(x) si x es par δ(x) = γ(x) si no Resolución. Para resolver este ejercicio haremos uso de la función { x y si x y x y = 0 si no cuya demostración como función primitiva recursiva queda pendiente siendo un ejercicio de la práctica. 1. Definamos una función h usando el esquema de recursión primitiva. siendo h(0) = 1 h(t + 1) = g(t, h(x)) g(x, y) = uno (x, y) u 2 2(x, y) Definimos uno (x, y) = uno(u 2 1(x, y)) = uno(x) = 1, donde la función uno es la del ejercicio 1. O sea, se trata de una función constante de dos variables que siempre da 1. Veamos, por último, que par = h. Esta prueba la hacemos por inducción en t. h(0) = 1 = par(0) Probemos ahora que vale para t + 1 suponiendo que vale para t. Tengamos en cuenta que un número es par si y sólo si su antecesor inmediato es impar (eureka!). h(t + 1) = g(t, h(t)) = uno (t, h(t)) u 2 2(t, h(t)) = 1 h(t) Si t es par, entonces por hipótesis inductiva h(t) = 1, con lo que 1 h(t) = 1 1 = 0 = par(t + 1) Si t es impar, entonces por hipótesis inductiva h(t) = 0, con lo que 1 h(t) = 1 0 = 1 = par(t + 1) Como pudimos ver, la función h se comporta como esperabamos. 2. Definamos usando composición las siguientes funciones auxiliares impar(x) = uno(x) par(x) g 1 (x) = β(x) par(x) g 2 (x) = γ(x) impar(x) Queda pendiente mostrar que el comportamiento de impar es el esperado. Ahora definamos h como h(x) = g 1 (x) + g 2 (x) Por último, veamos que δ = h. 5
6 h(x) = g 1 (x) + g 2 (x) = β(x) par(x) + γ(x) impar(x) Si x es par, se tiene que h(x) = β(x) par(x) = β(x) = δ(x) mientras que si es impar h(x) = γ(x) impar(x) = γ(x) = δ(x) Ejercicio 4. Sean g : N N y f : N N, y sea C 1 la mínima clase de funciones de una variable que contiene a f y a g y está cerrada por la suma. Es decir, si β y γ son dos funciones de C 1, entonces δ(x) = β(x) + γ(x) también está en C 1. Sea C 2 la clase de funciones h : N N tales que h(x) = k 1 f(x) + k 2 g(x) con k 1, k 2 N y k 1 > 0 o k 2 > 0 ( o no exclusivo). Demostrar que C 1 y C 2 son la misma clase. Resolución. Para demostrar que C 1 = C 2 probaremos que C 1 C 2 y C 2 C 1. (C 1 C 2 ). Para esta inclusión usaremos inducción en los niveles de la cebolla de la clase C 1. El caso base consiste en probar que tanto g como f se encuentran en C 2 : con lo que f se encuentra en C 2. Análogamente, por lo que g también está en C 2. f(x) = 1 f(x) = 1 f(x) + 0 g(x) g(x) = 1 g(x) = 0 f(x) + 1 g(x) Pasemos ahora al caso inductivo. Consideremos la función δ(x) = β(x) + γ(x) y probemos que si β y γ están en C 2, entonces también δ lo está. δ(x) = β(x) + γ(x) Usando la hipótesis inductiva en β, podemos reescribir δ como δ(x) = k 1 f(x) + k 2 g(x) + γ(x) con k 1 > 0 o k 2 > 0. Ahora, usando la hipótesis inductiva en γ reescribimos δ como con k 3 > 0 o k 4 > 0. Por lo tanto, δ(x) = k 1 f(x) + k 2 g(x) + k 3 f(x) + k 4 g(x) δ(x) = (k 1 + k 3 ) f(x) + (k 2 + k 4 ) g(x) Como (k 1 + k 3 ) > 0 o (k 2 + k 4 ) > 0, queda demostrado que δ(x) está en C 2. (C 2 C 1 ). Para demostrar esta inclusión probemos antes la siguiente propieded: prop1: para todo k 1, h(x) = k f(x) está en C 1. Esto puede demostrarse por inducción en k. Trivialmente vale el caso base con k = 1 h(x) = 1 f(x) = f(x) Supongamos que la propiedad vale para k y veamos que entonces también es cierta para k + 1. h(x) = (k + 1) f(x) = k f(x) + f(x) 6
7 Por definición f(x) está en C 1 y por hipótesis inductiva también lo está k f(x). Como C 1 está clausurada por suma resulta que también h está en la clase. Análogamente se puede probar una propiedad prop2: h(x) = k g(x) está en C 1. Consideremos ahora una función h de C 2. Por definición de la clase h(x) = k 1 f(x) + k 2 g(x) con k 1 > 0 o k 2 > 0. Por lo tanto sólo puede darse uno de los siguientes casos: 1. k 1 = 0. Luego, k 2 > 0 y h(x) = k 2 g(x) está en C 1 por prop2. 2. k 2 = 0. Luego, k 1 > 0 y h(x) = k 1 f(x) está en C 1 por prop1. 3. k 1, k 2 > 0. Luego, h(x) = k 1 f(x)+k 2 g(x) está en C 1 porque por prop1 y prop2 ambos términos están en C 1 y la clase está cerrada por suma. 7
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 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 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 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 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 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 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 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 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 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 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 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 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 detallesEspacios Normados (Normas en R n )
Espacios Normados (Normas en R n ) Uno de los conceptos más importantes del cálculo y del analisis matemático es el de métrica o distancia. En R n la noción de metrico depende a su vez del concepto de
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 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 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 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 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 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 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 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 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 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 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 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 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 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 detallesDiagnóstico de fallas en circuitos digitales
Diagnóstico de fallas en circuitos digitales Circuito digital: Construido usando las siguientes compuertas. NOT: OR: AND: 1 Ejemplo: Sumador binario Un sumador binario recibe como entrada dos bits a y
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 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 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 detallesModelos Estocásticos I Tercer Examen Parcial Respuestas
Modelos Estocásticos I Tercer Examen Parcial Respuestas. a Cuál es la diferencia entre un estado recurrente positivo y uno recurrente nulo? Cómo se define el período de un estado? Demuestre que si el estado
Más detallesTema 2.- Formas Cuadráticas.
Álgebra. 004 005. Ingenieros Industriales. Departamento de Matemática Aplicada II. Universidad de Sevilla. Tema.- Formas Cuadráticas. Definición y representación matricial. Clasificación de las formas
Más detallesTeoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014
Teoría de Lenguajes Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 aterial compilado por el Profesor Julio Jacobo, a lo largo de distintas ediciones
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 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 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 detallesy tenemos que f(x) > M < 1 M 1 f(x) < 1 M 3x 5 (x 2) 2 = +
Teorema. Suponga que f() > 0 ( 0 δ, 0 + δ) donde 0 es punto de acumulación del Dom f, Demostración. ( ) Supongamos que esto quiere decir f() = + 0 f() = + 0 0 M > 0 R δ > 0 A con 0 < 0 < δ f() > M si M
Más detallesTeorema del valor medio
Práctica 6 - Parte 1 Teorema del valor medio El teorema del valor medio para derivadas (o teorema de Lagrange) es un resultado central en la teoría de funciones reales. Este teorema relaciona valores de
Más detallesResumen sobre mecánica analítica
Resumen sobre mecánica analítica Ecuaciones de Lagrange. Supongamos una partícula, cuyo movimiento se puede describir mediante una sóla coordenada x, de modo que en el instante t la posición de la partícula
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 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 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 detallesRentas Ciertas MATEMÁTICA FINANCIERA. Rentas Ciertas: Ejemplo. Rentas Ciertas. Ejemplo (1) C C C C C
Rentas Ciertas MATEMÁTICA FINANCIERA RENTAS CIERTAS I Luis Alcalá UNSL Segundo Cuatrimeste 06 A partir de ahora, utilizaremos capitalización compuesta como ley financiera por defecto, salvo que expĺıcitamente
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 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 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 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 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 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 detallesCONCEPTOS BASICOS DE LA TRANSFORMADA DE LAPLACE LA TRANSFORMADA DE LAPLACE
LA TRANSFORMADA DE LAPLACE Por cálculo integral sabemos que cuando vamos a determinar una integral impropia de la forma,su desarrollo se obtiene realizando un cambio de variable en el límite superior de
Más detallesLímite de una función
Límite de una función El límite de la función f(x) en el punto x 0, es el valor al que se acercan las imágenes (las y) cuando los originales (las x) se acercan al valor x 0. Es decir el valor al que tienden
Más detallesEl espacio n Consideremos el conjunto de todas las n adas ordenadas de números reales, denotado por n : 8. 1(x 1, x 2,, x n ) = (x 1, x 2,, x n )
El espacio n Consideremos el conjunto de todas las n adas ordenadas de números reales, denotado por n : n = {(x 1,x,, x n ) / x 1,x,, x n } A cada uno de los números reales x 1,x,, x n que conforman la
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 detallesReglas de derivación. 4.1. Sumas, productos y cocientes. Tema 4
Tema 4 Reglas de derivación Aclarado el concepto de derivada, pasamos a desarrollar las reglas básicas para el cálculo de derivadas o, lo que viene a ser lo mismo, a analizar la estabilidad de las funciones
Más detalles27/01/2011 TRIGONOMETRÍA Página 1 de 7
β 27/01/2011 TRIGONOMETRÍA Página 1 de 7 Notación en un triángulo: En un triángulo cualquiera llamaremos a, b y c a sus lados y A, B y C a sus vértices de forma que A sea el vértice formado por los lados
Más detallesPrácticas para Resolver PROBLEMAS MATEMÁTICOS
Prácticas para Resolver PROBLEMAS MATEMÁTICOS 1 Prólogo El presente manual está dirigido a los estudiantes de las facultades de físico matemáticas de las Escuelas Normales Superiores que estudian la especialidad
Más detallesTema 6: Ecuaciones diferenciales lineales.
Tema 6: Ecuaciones diferenciales lineales Una ecuación diferencial lineal de orden n es una ecuación que se puede escribir de la siguiente forma: a n (x)y (n) (x) + a n 1 (x)y (n 1) (x) + + a 0 (x)y(x)
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 detallesGrupos libres. Presentaciones.
S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad
Más detallesProceso Selectivo para la XXII IMC, Bulgaria
Proceso Selectivo para la XXII IMC, Bulgaria Facultad de Ciencias UNAM Instituto de Matemáticas UNAM SUMEM Indicaciones Espera la indicación para voltear esta hoja. Mientras tanto, lee estas instrucciones
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 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 detallesGIMNASIO VIRTUAL SAN FRANCISCO JAVIER Valores y Tecnología para la Formación Integral del Ser Humano UNIDAD I FUNCIONES
UNIDAD I FUNCIONES Una función es una correspondencia entre dos conjuntos, que asocia a cada elemento del primer conjunto exactamente un elemento del otro conjunto. Una función f definida entre dos conjuntos
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesSesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011
Especialidad La enseñanza de las matemáticas en secundaria Grupo B: Celaya Sesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011 Álgebra Resumen de la sesión anterior. Se añadió que
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 detallesTema 6: Trigonometría.
Tema 6: Trigonometría. Comenzamos un tema, para mi parecer, muy bonito, en el que estudiaremos algunos aspectos importantes de la geometría, como son los ángulos, las principales razones e identidades
Más detallesMatemáticas I: Hoja 1
Matemáticas I: Hoja 1 1. Números complejos Hasta ahora, hemos visto que los números reales son aquellos que poseen una expresión decimal y que podemos representar en una recta infinita. No obstante, para
Más detallesDerivadas. Contenido Introducción. ( α) Definición de Derivada. (α) Pendiente de la recta tangente. (α) Funciones diferenciables.
Derivadas. Contenido 1. Introducción. (α) 2. Definición de Derivada. (α) 3. Pendiente de la recta tangente. (α) 4. Funciones diferenciables. (α) 5. Función derivada. (α) 6. Propiedades de la derivada.
Más detalles1. Producto escalar. Propiedades Norma de un vector. Espacio normado. 1.2.Ortogonalidad. Ángulos. 1.4.Producto escalar en V 3.
. Producto escalar. Propiedades... Norma de un vector. Espacio normado...ortogonalidad. Ángulos..3.Producto escalar en V..4.Producto escalar en V 3.. Producto vectorial de dos vectores de V 3...Expresión
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 detallesDerivadas de Orden superior
Derivadas de Orden superior Para una función cualquiera f, al tomar la derivada, obtenemos una nueva función f y podemos aplicar la derivada a f. La función f se suele escrbir f y recibe el nombre de derivada
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 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 detallesUNIDAD IV DISTANCIA ENTRE DOS PUNTOS
UNIDAD IV DISTANCIA ENTRE DOS PUNTOS Dados los puntos: P(x1, y1) y Q(x2, y2), del plano, hallemos la distancia entre P y Q. Sin pérdida de generalidad, tomemos los puntos P y Q, en el primer cuadrante
Más detallesLas particiones y el Teorema de Bolzano
Miscelánea Matemática 41 (005) 1 7 SMM Las particiones y el Teorema de Bolzano Carlos Bosch Giral Departamento de Matemáticas ITAM Río Hondo # 1 Tizapán San Angel 01000 México D.F. México bosch@itam.mx
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 detallesTEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q).
TEMA 4: DERIVADAS 1. La derivada de una función. Reglas de derivación 1.1. La pendiente de una curva. La pendiente de una curva en un punto P es una medida de la inclinación de la curva en ese punto. Si
Más detallesa) Factoriza el monomio común. En este caso 6 se puede dividir de cada término:
Materia: Matemática de 5to Tema: Factorización y Resolución de ecuaciones 1) Factorización Marco Teórico Decimos que un polinomio está factorizado completamente cuando no podemos factorizarlo más. He aquí
Más detallesEquivalencia Entre PDA y CFL
Equivalencia Entre PDA y CFL El Lenguaje aceptado por un Autómata con Pila Universidad de Cantabria Esquema 1 Introducción 2 3 Lenguaje Aceptado por un Autómata Como en los autómatas finitos, se puede
Más detallesEl Autómata con Pila: Transiciones
El Autómata con Pila: Transiciones El Espacio de Configuraciones Universidad de Cantabria Esquema Introducción 1 Introducción 2 3 Transiciones Necesitamos ahora definir, paso por paso, como se comporta
Más detallesTeoremas de convergencia y derivación bajo el signo integral
Capítulo 8 Teoremas de convergencia y derivación bajo el signo integral En este capítulo estudiaremos sucintamente bajo qué circunstancias puede intercambiarse el orden de la integral con las operaciones
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 detallesINTRODUCCIÓN. FUNCIONES. LÍMITES.
INTRODUCCIÓN. FUNCIONES. LÍMITES. Este capítulo puede considerarse como una prolongación y extensión del anterior, límite de sucesiones, al campo de las funciones. Se inicia recordando el concepto de función
Más detallesProfesorado de Nivel Medio y Superior en Biología Matemática - 1º Cuatrimestre Año 2013 FUNCIÓN CUADRÁTICA
Matemática - º Cuatrimestre Año 0 FUNCIÓN CUADRÁTICA Hemos definido anteriormente la función lineal como una función f: R R de la forma f()a+b con a R y b R, que se representa en el plano mediante una
Más detallesASÍNTOTAS DE LA GRÁFICA DE UNA FUNCIÓN
ASÍNTOTAS DE LA GRÁFICA DE UNA FUNCIÓN La gráfica de una función elemental puede presentar ninguna una o varias asíntotas verticales y además puede presentar a lo sumo una asíntota horizontal o una asíntota
Más detallesUNIDAD 2: LÍMITES DE FUNCIONES.CONTINUIDAD = 3 2
UNIDAD 2: LÍMITES DE FUNCIONES.CONTINUIDAD 1.- Límites en el Infinito: lim x + f(x) = L Se dice que el límite de f (x) cuando x tiende a + es L ϵ Ɽ, si podemos hacer que f(x) se aproxime a L tanto como
Más detallesPor el teorema de Green, si llamamos D al interior del cuadrado, entonces. dxdy. y. x P. 1 dx. 1 (4x 3 2y) dy =
TEOREMA E GREEN. 1. Calcular y dx x dy, donde es la frontera del cuadrado [ 1, 1] [ 1, 1] orientada en sentido contrario al de las agujas del reloj. Por el teorema de Green, si llamamos al interior del
Más detallesLímites Laterales. El límite por la derecha se denota. x 2 + x 2 = 1. x 2. x + x 2. x = x + x 2. El límite por la izquierda se denota
Límites Laterales Denición. Si f : D R R y x 0 es un punto de D, decimos que l d es ite de f en x 0 por la derecha si ɛ > 0 δ ɛ > 0 f(x) l d < ɛ si 0 < x x 0 < δ ɛ ɛ > 0 δ ɛ > 0 f(x) l d < ɛ si x 0 < x
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 detallesRESUMEN DE ALGUNOS CONCEPTOS ESTADÍSTICOS ELEMENTALES Y NOTACIÓN EMPLEADA EN EL CURSO
RESUMEN DE ALGUNOS CONCEPTOS ESTADÍSTICOS ELEMENTALES Y NOTACIÓN EMPLEADA EN EL CURSO 1 rojo 1 2 3 4 5 6 Supongamos que tenemos dos dados, uno rojo y otro verde, cada uno de los cuales toma valores entre
Más detallesA partir de la definición obtenemos las siguientes propiedades para estas funciones:
Capítulo 1 Conjuntos Supondremos conocidas las nociones básicas sobre teoría de conjuntos, tales como subconjuntos, elementos, unión, intersección, complemento, diferencia, diferencia simétrica, propiedades
Más detallesÁlgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes
Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción
Más detallesSoluciones de la ecuación diferencial lineal homogénea
Ecuaciones diferenciales lineales de orden superior Ampliación de matemáticas urso 2008-2009 Ecuación diferencial lineal de orden n (x dn y n + P (x dn y n + + P n (x dy + P n(xy = G(x ( donde, P,...,
Más detalles2 Unidad II: Ecuaciones Diferenciales de Orden Superior
ITESM, Campus Monterrey Departamento de Matemáticas MA-41: Ecuaciones Diferenciales Lectura # Profesor: Victor Segura Flores Unidad II: Ecuaciones Diferenciales de Orden Superior.1 Ecuaciones Diferenciales
Más detallesMétodos Matemáticos 2 Ecuaciones Diferenciales de Orden Superior
Métodos Matemáticos 2 Ecuaciones Diferenciales de Orden Superior L. A. Núñez * Centro de Astrofísica Teórica, Departamento de Física, Facultad de Ciencias, Universidad de Los Andes, Mérida 5101, Venezuela
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 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 detalles