Funciones primtivas recursivas y clases PRC (parte I)

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Funciones primtivas recursivas y clases PRC (parte I)"

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.

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 detalles

Conjuntos, relaciones y funciones Susana Puddu

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

Más detalles

Semana03[1/17] Funciones. 16 de marzo 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,

Más detalles

1. Convergencia en medida

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

Más detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

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

Más detalles

Teoremas de Convergencia

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

Más detalles

Continuidad. 5.1 Continuidad en un punto

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

Más detalles

Números naturales, principio de inducción

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

Más detalles

Demostraciones a Teoremas de Límites

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,

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 Ó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 detalles

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

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á

Más detalles

Espacios topológicos. 3.1 Espacio topológico

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

Más detalles

Funciones de Clase C 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,

Más detalles

Espacios Normados (Normas en R n )

Espacios 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 detalles

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

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

Más detalles

TEMA 2. ESPACIOS VECTORIALES

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

Más detalles

Anillo de polinomios con coeficientes en un cuerpo

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.

Más detalles

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad

Curso 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 detalles

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}

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.

Más detalles

Funciones integrables en R n

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á

Más detalles

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 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 detalles

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. 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 detalles

Estructuras Algebraicas

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

Más detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

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

Más detalles

Integrales múltiples

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

Más detalles

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Í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 detalles

MATEMÁTICAS APLICADAS A LAS C.C. SOCIALES

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

Más detalles

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

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

Más detalles

Diagnóstico de fallas en circuitos digitales

Diagnó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 detalles

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 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 detalles

Tema 3: Conjuntos y Funciones

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

Más detalles

Espacios conexos. Capítulo Conexidad

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

Más detalles

Modelos Estocásticos I Tercer Examen Parcial Respuestas

Modelos 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 detalles

Tema 2.- Formas Cuadráticas.

Tema 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 detalles

Teorí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 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 detalles

Ecuaciones Diofánticas

Ecuaciones 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 detalles

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 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 detalles

Teoría de la Probabilidad Tema 2: Teorema de Extensión

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

Más detalles

y tenemos que f(x) > M < 1 M 1 f(x) < 1 M 3x 5 (x 2) 2 = +

y 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 detalles

Teorema del valor medio

Teorema 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 detalles

Resumen sobre mecánica analítica

Resumen 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 detalles

DERIVACIÓN DE LAS FUNCIONES ELEMENTALES

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,

Más detalles

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,

Más detalles

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.

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,

Más detalles

Rentas Ciertas MATEMÁTICA FINANCIERA. Rentas Ciertas: Ejemplo. Rentas Ciertas. Ejemplo (1) C C C C C

Rentas 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 detalles

Semana05[1/14] Relaciones. 28 de marzo de Relaciones

Semana05[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 detalles

Reglas de l Hôpital Teorema del Valor Medio Generalizado. Tema 7

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

Más detalles

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. 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 detalles

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

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

Más detalles

EL CUERPO ORDENADO REALES

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.

Más detalles

Una topología de los números naturales*

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

Más detalles

CONCEPTOS BASICOS DE LA TRANSFORMADA DE LAPLACE LA TRANSFORMADA DE LAPLACE

CONCEPTOS 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 detalles

Límite de una función

Lí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 detalles

El 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 : 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 detalles

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 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 detalles

Reglas de derivación. 4.1. Sumas, productos y cocientes. Tema 4

Reglas 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 detalles

27/01/2011 TRIGONOMETRÍA Página 1 de 7

27/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 detalles

Prácticas para Resolver PROBLEMAS MATEMÁTICOS

Prá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 detalles

Tema 6: Ecuaciones diferenciales lineales.

Tema 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 detalles

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

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

Más detalles

Grupos libres. Presentaciones.

Grupos 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 detalles

Proceso Selectivo para la XXII IMC, Bulgaria

Proceso 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 detalles

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO

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

Más detalles

Límite superior y límite inferior de una sucesión

Lí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 detalles

GIMNASIO VIRTUAL SAN FRANCISCO JAVIER Valores y Tecnología para la Formación Integral del Ser Humano UNIDAD I FUNCIONES

GIMNASIO 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 detalles

Capítulo 4. Lógica matemática. Continuar

Capí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 detalles

Sesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011

Sesió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 detalles

Apéndice sobre ecuaciones diferenciales lineales

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.

Más detalles

Tema 6: Trigonometría.

Tema 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 detalles

Matemáticas I: Hoja 1

Matemá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 detalles

Derivadas. Contenido Introducción. ( α) Definición de Derivada. (α) Pendiente de la recta tangente. (α) Funciones diferenciables.

Derivadas. 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 detalles

1. Producto escalar. Propiedades Norma de un vector. Espacio normado. 1.2.Ortogonalidad. Ángulos. 1.4.Producto escalar en V 3.

1. 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 detalles

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);

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.

Más detalles

Derivadas de Orden superior

Derivadas 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 detalles

Sobre la Construcción Axiomática de los Números Naturales

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.

Más detalles

Axiomas de separación

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

Más detalles

UNIDAD IV DISTANCIA ENTRE DOS PUNTOS

UNIDAD 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 detalles

Las particiones y el Teorema de Bolzano

Las 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 detalles

1 Método de la bisección. 1.1 Teorema de Bolzano Teorema 1.1 (Bolzano) Contenido

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

Más detalles

TEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q).

TEMA 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 detalles

a) Factoriza el monomio común. En este caso 6 se puede dividir de cada término:

a) 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 detalles

Equivalencia Entre PDA y CFL

Equivalencia 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 detalles

El Autómata con Pila: Transiciones

El 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 detalles

Teoremas de convergencia y derivación bajo el signo integral

Teoremas 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 detalles

Definición de la matriz inversa

Definició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 detalles

INTRODUCCIÓN. FUNCIONES. LÍMITES.

INTRODUCCIÓ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 detalles

Profesorado de Nivel Medio y Superior en Biología Matemática - 1º Cuatrimestre Año 2013 FUNCIÓN CUADRÁTICA

Profesorado 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 detalles

ASÍNTOTAS DE LA GRÁFICA DE UNA FUNCIÓN

ASÍ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 detalles

UNIDAD 2: LÍMITES DE FUNCIONES.CONTINUIDAD = 3 2

UNIDAD 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 detalles

Por el teorema de Green, si llamamos D al interior del cuadrado, entonces. dxdy. y. x P. 1 dx. 1 (4x 3 2y) dy =

Por 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 detalles

Lí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. 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 detalles

En este capítulo extenderemos la conocida ecuación. g(b) f = f g g, g(a)

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

Más detalles

RESUMEN 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 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 detalles

A partir de la definición obtenemos las siguientes propiedades para estas funciones:

A 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 Á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 detalles

Soluciones de la ecuación diferencial lineal homogénea

Soluciones 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 detalles

2 Unidad II: Ecuaciones Diferenciales de Orden Superior

2 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 detalles

Métodos Matemáticos 2 Ecuaciones Diferenciales de Orden Superior

Mé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 detalles

El Teorema Fundamental del Álgebra

El 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 detalles

Límites y continuidad

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

Más detalles