Ejercicios resueltos. Computación. Tema 3

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

Download "Ejercicios resueltos. Computación. Tema 3"

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.

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

Espacios completos. 8.1 Sucesiones de Cauchy

Espacios completos. 8.1 Sucesiones de Cauchy Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un

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

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

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

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

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

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

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

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño 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 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

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

IN Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0

IN Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0 IN3701 - Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0 Acá va una pequeña guía con problemas resueltos de Geometría en Programación Lineal con problemas básicamente extraídos del

Más detalles

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 2 de marzo de 2009 Parte I Conjuntos Definición intuitiva de conjunto Definición Un conjunto es una colección de objetos. Ejemplos A = {a, e, i, o, u} B = {blanco, gris, negro} C = {2, 4, 6, 8, 9} D =

Más detalles

Sumatorias y productorias (desde 0) Lógica y Computabilidad. Sumatorias y productorias (desde 1)

Sumatorias y productorias (desde 0) Lógica y Computabilidad. Sumatorias y productorias (desde 1) Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Computabilidad - clase 3 Sumatorias y productorias, cuantificadores acotados, minimización acotada, codificación de pares y

Más detalles

Introducción a la topología

Introducción a la topología Introducción a la topología Beatriz Abadie CENTRO DE MATEMÁTICAS FACULTAD DE CIENCIAS UNIVERSIDAD DE LA REPÚBLICA Agosto de 2013 i Índice general Capítulo 1. Elementos de la teoría de conjuntos 1 1.1.

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

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

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

FUNCIONES EN R. Agosto 2007

FUNCIONES EN R. Agosto 2007 FUNCIONES EN R Alexis Vera Pérez Instituto de Estadística & Sistemas Computarizados de Información Universidad de Puerto Rico, Recinto de Río Piedras Agosto 2007 1 Definición y notación Definición 1 Una

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

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse 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 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

520142: ALGEBRA y ALGEBRA LINEAL

520142: ALGEBRA y ALGEBRA LINEAL 520142: ALGEBRA y ALGEBRA LINEAL Segundo Semestre 2008, Universidad de Concepción CAPITULO 10: Espacios Vectoriales DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas 1 Definición

Más detalles

Tipos de datos en S. Lógica y Computabilidad. Codificación de variables y etiquetas de S. Codificación de programas en S

Tipos de datos en S. Lógica y Computabilidad. 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 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

6.1. Anillos de polinomios.

6.1. Anillos de polinomios. 1 Tema 6.-. Anillo de polinomios. División y factorización. Lema de Gauss. 6.1. Anillos de polinomios. Definición 6.1.1. Sea A un anillo. El anillo de polinomios en la indeterminada X con coeficientes

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

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

Notas sobre el teorema minimax

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

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).

Espacios Topológicos 1. Punto de Acumulación. 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 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

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 Vectoriales

Espacios Vectoriales Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios

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

Sucesiones, inducción y sumatorias

Sucesiones, inducción y sumatorias Capítulo 3 Sucesiones, inducción y sumatorias 3.. Sucesiones Definición Una sucesión es una función definida de N R que se acostumbra a denotar por a n en lugar de fn), costumbre que también adoptaremos

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

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

Números naturales y recursividad

Números naturales y recursividad Números naturales y recursividad Rafael F. Isaacs G. Sonia M. Sabogal P. * Fecha: 8 de marzo de 2005 Números naturales Se sabe que los números naturales constituyen la estructura básica de la Matemática;

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

ÁLGEBRA Ejercicios no resueltos de la Práctica 1

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

Operaciones con Funciones

Operaciones con Funciones Carlos A. Rivera-Morales Precálculo I Tabla de Contenido Contenido : Contenido Discutiremos: suma, resta, multiplicación y división de funciones : Contenido Discutiremos: suma, resta, multiplicación y

Más detalles

Espacios vectoriales reales.

Espacios vectoriales reales. Tema 3 Espacios vectoriales reales. 3.1 Espacios vectoriales. Definición 3.1 Un espacio vectorial real V es un conjunto de elementos denominados vectores, junto con dos operaciones, una que recibe el nombre

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

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

Ó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

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

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

Funciones reales de variable real

Funciones reales de variable real Tema Funciones reales de variable real Introducción El objetivo fundamental de este tema es recordar conceptos ya conocidos acerca de las funciones reales de variable real.. Conceptos Generales Definición.

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

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

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

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

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

Funciones reales de variable real

Funciones reales de variable real 84 Matemáticas I : Cálculo diferencial en IR Tema 8 Funciones reales de variable real 8. Los números reales Los números reales son de sobra conocidos, sus operaciones básicas así como su identificación

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

Subconjuntos notables de un Espacio Topológico

Subconjuntos notables de un Espacio Topológico 34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto

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

1. Construcción de la Integral

1. Construcción de la Integral 1. Construcción de la Integral La integral de Riemann en R n es una generalización de la integral de funciones de una variable. La definición que vamos a dar reproduce el método de Darboux para funciones

Más detalles

Notas de Álgebra Básica I

Notas de Álgebra Básica I Notas de Álgebra Básica I Carlos Ruiz de Velasco y Bellas Departamento de Matemáticas, Estadística y Computación Facultad de Ciencias Universidad de Cantabria 14 de septiembre de 2006 2 Capítulo 1 Conjuntos,

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

1. Sucesiones y redes.

1. Sucesiones y redes. 1. Sucesiones y redes. PRACTICO 7. REDES. Se ha visto que el concepto de sucesión no permite caracterizar algunas nociones topológicas, salvo en espacios métricos. Esto empieza con algunas definiciones

Más detalles

Espacio de Funciones Medibles

Espacio de Funciones Medibles Capítulo 22 Espacio de Funciones Medibles Igual que la σ-álgebra de los conjuntos medibles, la familia de funciones medibles, además de contener a todas las funciones razonables (por supuesto son medibles

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 7. Espacios vectoriales. 7.1 Definición y ejemplos

Capítulo 7. Espacios vectoriales. 7.1 Definición y ejemplos Capítulo Espacios vectoriales.1 Definición y ejemplos Un espacio vectorial sobre un cuerpo K (que supondremos conmutativo es un conjunto no vacío junto con 1. una operación interna, +, a la que llamaremos

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

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

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02

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

8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV

8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV 8.4. CRITERIO DE ESTAB.: METODO DE LIAPUNOV 309 8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV Consideremos el sistema autónomo dx = F (x, y) dt (8.32) dt = G(x, y), y supongamos que tiene

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

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

Matriz asociada a una transformación lineal respecto a un par de bases

Matriz asociada a una transformación lineal respecto a un par de bases 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 detalles

LOS NÚMEROS NATURALES

LOS NÚMEROS NATURALES LOS NÚMEROS NATURALES INDUCCION MATEMÁTICA Existen diversas formas de sistematizar al conjunto de los números naturales y sus propiedades, la axiomática de Peano es aquella en que nos basaremos para deducir

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

Teorema del Valor Medio

Teorema del Valor Medio Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph

Más detalles

CÁLCULO DIFERENCIAL Muestras de examen

CÁLCULO DIFERENCIAL Muestras de examen CÁLCULO DIFERENCIAL Muestras de examen Febrero 2012 T1. [2] Demostrar que la imagen continua de un conjunto compacto es compacto. T2. [2.5] Definir la diferencial de una función en un punto y demostrar

Más detalles

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica 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 detalles

Cálculo II. Tijani Pakhrou

Cálculo II. Tijani Pakhrou Cálculo II Tijani Pakhrou Índice general 1. Nociones topológicas en R n 1 1.1. Distancia y norma euclídea en R n.................... 1 1.2. Bolas abiertas y cerradas en R n..................... 3 1.3.

Más detalles

Límites y continuidad de funciones reales de variable real

Límites y continuidad de funciones reales de variable real Límites y continuidad de funciones reales de variable real Álvarez S., Caballero M.V. y Sánchez M. a M. salvarez@um.es, m.victori@um.es, marvega@um.es Índice 1. Definiciones 3 2. Herramientas 10 2.1. Funciones

Más detalles

Fundamentos Matemáticos. Grado en Ingeniería Informática. Grado en Ingeniería de Computadores. Universidad de Alcalá

Fundamentos Matemáticos. Grado en Ingeniería Informática. Grado en Ingeniería de Computadores. Universidad de Alcalá 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 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

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 8 Relaciones de Equivalencia

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos

Coordinación de Matemática I (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 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

1. NÚMEROS PRIMOS Y COMPUESTOS.

1. NÚMEROS PRIMOS Y COMPUESTOS. . NÚMEROS PRIMOS Y COMPUESTOS. De acuerdo a las propiedades ya vistas de los divisores, sabemos que: todo natural no nulo es divisor de sí mismo es divisor de todo número natural. Ahora: el natural tiene

Más detalles

1 Curvas planas. Solución de los ejercicios propuestos.

1 Curvas planas. Solución de los ejercicios propuestos. 1 Curvas planas. Solución de los ejercicios propuestos. 1. Se considera el lugar geométrico de los puntos del plano tales que la suma del cuadrado de las distancias a los puntos P 1 = (, 0) y P = (, 0)

Más detalles

EL GRADO DE AVANCE DE UNA REACCIÓNYSU APLICACIÓN A LA ESTEQUIOMETRÍA Y AL EQUILIBRIO QUÍMICO. Guillermo Carreras Díaz

EL GRADO DE AVANCE DE UNA REACCIÓNYSU APLICACIÓN A LA ESTEQUIOMETRÍA Y AL EQUILIBRIO QUÍMICO. Guillermo Carreras Díaz 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 detalles

50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES. Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: Se tiene:

50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES. Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: 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 detalles

Funciones convexas Definición de función convexa. Tema 10

Funciones convexas Definición de función convexa. Tema 10 Tema 10 Funciones convexas Los resultados obtenidos en el desarrollo del cálculo diferencial nos permiten estudiar con facilidad una importante familia de funciones reales de variable real definidas en

Más detalles

0ºK= -273ºC (inicio de la escala absoluta de temperatura)

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

1.3. Principios del Análisis Real

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

TEMA II TEORÍA INTUITIVA DE CONJUNTOS

TEMA II TEORÍA INTUITIVA DE CONJUNTOS TEMA II TEORÍA INTUITIVA DE CONJUNTOS Policarpo Abascal Fuentes TEMA II Teoría intuitiva de conjuntos p. 1/4 TEMA II 2. TEORÍA INTUITIVA DE CONJUNTOS 2.1 CONJUNTOS 2.1.1 Operaciones con conjuntos 2.2 RELACIONES

Más detalles

CALCULO DIFERENCIAL. GRUPO D

CALCULO DIFERENCIAL. GRUPO D CALCULO DIFERENCIAL. GRUPO D HOJA DE PROBLEMAS 1 1. En este ejercicio se trata de dibujar el siguiente subconjunto de R 3 llamado hiperboloide de una hoja (a, b, c > 0): } V = (x, y, z) R 3 : x a + y b

Más detalles

1.- Para cada uno de los siguientes problemas escribir el diagrama de flujo y el pseudocódigo de un programa que lo resuelva:

1.- Para cada uno de los siguientes problemas escribir el diagrama de flujo y el 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 detalles

METODOS DE INTEGRACION IV FRACCIONES PARCIALES

METODOS DE INTEGRACION IV FRACCIONES PARCIALES METODOS DE INTEGRACION IV FRACCIONES PARCIALES Una función racional es una función de la forma En la que f(x) y g(x) son polinomios. Si el frado de f(x) es menor que el de g(x), F(x) se denomina fracción

Más detalles

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. 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 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

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

Volumen y conjuntos de medida cero

Volumen y conjuntos de medida cero Capítulo 2 Volumen y conjuntos de medida cero En la recta real normalmente las funciones se integran sobre intervalos. En R n es deseable poder considerar integrales de funciones sobre conjuntos más complicados

Más detalles