Introducción a la Inducción Matemática Seminario de Matemáticas

Documentos relacionados
Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

DE LOS NÚMEROS NATURALES Y ENTEROS

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R.

Funciones y Cardinalidad

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

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

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

Conjuntos, relaciones y funciones Susana Puddu

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Espacios topológicos. 3.1 Espacio topológico

Inducción Matemática. Departamento de Matemáticas. Inducción Matemática p. 1/31

1. Números reales. Análisis de Variable Real

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002

Estructuras Algebraicas

(TALF- ITIS- C) Clase 3 5 de Octubre de 2010

Subespacios Vectoriales

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45

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

Seminario de problemas-eso. Curso Hoja 10

Ejercicios resueltos. 4 continua en R luego continua en cualquier. , [ 1,1] = 0 que equivale a decir 1,1

1 Conjuntos y propiedades de los números naturales

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

1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS.

Matrices y determinantes. Sistemas de ecuaciones lineales

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

520142: ALGEBRA y ALGEBRA LINEAL

Demostración Sencilla del Ultimo Teorema de Fermat Posible Demostración maravillosa de la que hablaba Pierre de Fermat

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

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

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

Una operación interna: Suma Una operación externa: Multiplicación por un escalar

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia

Conjuntos finitos y conjuntos numerables

UNIDAD IV DISTANCIA ENTRE DOS PUNTOS

Cálculo Diferencial: Enero 2016

Derivadas Parciales (parte 2)

Análisis Matemático I: Numeros Reales y Complejos

Un subconjunto no vacío H de un espacio vectorial V es un subespacio de V si se cumplen las dos reglas de cerradura:

ESTALMAT-Andalucía Actividades 06/07

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

GRAMATICAS LIBRES DEL CONTEXTO

Teoría de Conjuntos y Conjuntos Numéricos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 2: Lunes 18 Viernes 22 de Marzo. Contenidos

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.

Introducción a la Lógica

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

Introducción a los espacios vectoriales

TEORÍA DE CONJUNTOS A ={ 1, 2, 3, 4, 5, 6 }

PROGRAMA DE MATEMÁTICA DIVERSIFICACIÓN CIENTÍFICA SEGUNDO AÑO DE BA CHILLERATO REFORMULACIÓN 2006 AJUSTE 2010 INTRODUCCIÓN

El conjunto de las operaciones de simetría que se pueden aplicar a una molécula tienen las propiedades de un grupo matemático.

Tipos algebraicos y abstractos. Algoritmos y Estructuras de Datos I. Tipos algebraicos

Reconocer y utilizar las propiedades sencillas de la topología métrica.

Espacios conexos. Capítulo Conexidad

NÚMEROS COMPLEJOS 1.1. INTRODUCCIÓN 1.2. OPERACIONES CON COMPLEJOS

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

DEPARTAMENTO DE MATEMATICAS Y FISICA Matemáticas Discreta

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

Traza de una Matriz Cuadrada

La Geometría del triángulo TEMA 4

Unidad Temática 2 Probabilidad

Carlos A. Rivera-Morales. Precálculo 2

IIC2213. IIC2213 Teorías 1 / 42

1. Naturales, enteros, racionales y reales

Operaciones con conjuntos (ejercicios)

Espacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1

Problemas de Espacios Vectoriales

1. Sucesiones y redes.

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

Demostraciones con números primos (ejercicios)

Ejercicios (Números reales)

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Espacios Vectoriales

Derivadas parciales Derivadas direccionales Derivadas parciales de orden superior. Derivadas parciales y direccionales

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

LOS AXIOMAS DE PEANO Y EL PRINCIPIO DE INDUCCIÓN MATEMÁTICA

Ángulos formados por dos rectas paralelas y una secante

Subconjuntos notables de un Espacio Topológico

8. Geometrías no euclidianas. Modelo de Poincaré de la Geometría Hiperbólica

NOCIONES PRELIMINARES (*) 1

Formulación del problema de la ruta más corta en programación lineal

Definición de la matriz inversa

Conjuntos. () April 4, / 32

Seminario de problemas-bachillerato. Curso Hoja 8

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

Espacios Vectoriales

3. 2. Pendiente de una recta. Definición 3. 3.

Algebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21

Universidad Nacional de Colombia Departamento de Matemáticas Álgebra Lineal - Grupo 5 Resumen Unidad n 3

R no es enumerable. Por contradicción, supongamos que existe una biyección f : N! R. diagonalización de Cantor. Para cada i 2 N:

2. Los números naturales, enteros y racionales 1

La carrera geométrica

Grupos y Subgrupos El concepto de grupo Sea G un conjunto no vacío y sea G G G

CAPÍTULO 1. FUNDAMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS

GUÍAS DE ESTUDIO. Programa de alfabetización, educación básica y media para jóvenes y adultos

Definición 1.1 Sea G = (V, A) un grafo no dirigido. G se denomina árbol si es conexo y no contiene ciclos.

Transcripción:

Introducción a la Inducción Matemática Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 15 de marzo de 2013 Julio A. Hurtado A. Departamento de Sistemas 1 / 27

Agenda Motivación Julio A. Hurtado A. Departamento de Sistemas 2 / 27

Inducción Matemática Julio A. Hurtado A. Departamento de Sistemas 3 / 27

Naturales Versus Reales 1. Qué tienen de particular los números naturales sobre los números reales? 2. Qué significa? Julio A. Hurtado A. Departamento de Sistemas 4 / 27

PIS Generalización del Principio de Inducción Ejemplos del Principio de Inducción Principio del Buen Orden - PBO 1. Todo subconjunto no vacío de los naturales tiene un menor elemento. 2. Si A A N x x y, y A Julio A. Hurtado A. Departamento de Sistemas 5 / 27

PIS Generalización del Principio de Inducción Ejemplos del Principio de Inducción Teorema. Principio de Inducción Simple Sea A N. Si A cumple con: 1. 0 A 2. Si n A n + 1 A Entonces A = N Julio A. Hurtado A. Departamento de Sistemas 6 / 27

PIS Generalización del Principio de Inducción Ejemplos del Principio de Inducción Demostración por contradicción 1. Sea el conjunto A N (Cumple con el PIS) 2. Supongamos que A N (Negamos la hipótesis) 3. El conjunto B = N A cumple con B N y con BA (2) 4. b B b x, x B y b 0, ya que 0 A (PBO) 5. Dado que b 1 N y b 1 / B entonces b 1 A (4) 6. Por el PIS en A, entonces b A lo que contradice (4) 7. La contradicción ocurre por la suposición en (2) por tanto se cumple que A = N Julio A. Hurtado A. Departamento de Sistemas 7 / 27

PIS Generalización del Principio de Inducción Ejemplos del Principio de Inducción Ejemplo 1. El menor número natural Demostrar que 0 es el menor número natural 1 1 Considerando que 0 pertenece a los naturales Julio A. Hurtado A. Departamento de Sistemas 8 / 27

PIS Generalización del Principio de Inducción Ejemplos del Principio de Inducción Principio de Inducción Simple Generalizado Sea P una propiedad cualquiera sobre los elementos de N. Si se cumple que: 1. P(0) es verdadero, es decir, 0 cumple la propiedad en P 2. P(n) P(n + 1), es decir, cada vez que n cumple la propiedad n + 1 también la cumple. Entonces todos los elementos de N cumplen la propiedad P. Julio A. Hurtado A. Departamento de Sistemas 9 / 27

PIS Generalización del Principio de Inducción Ejemplos del Principio de Inducción Ejemplos 1. Demuestre que para todo número natural n se cumple que 7 n 2 n es múltiplo de 5 2. Demuestre que para todo número natural n > 4 se cumple que n! > 2 n 3. Demuestre que para todo i 1, j 1, cualquier tablero de dimensiones 2i 3j (al que no le falta ningún casillero), se puede cubrir con trominós rectos. Un trominó recto es una figura formada 3 cuadrados formando ángulo recto. Julio A. Hurtado A. Departamento de Sistemas 10 / 27

Principio de Inducción Por Curso de Valores- PICV Sea A N. Si se cumple que n N : entonces A = N. k < n, k A n A Julio A. Hurtado A. Departamento de Sistemas 11 / 27

Principio de Inducción Por Curso de Valores Generalizado- PICVG Sea P una propiedad cualquiera sobre elementos de N. Si se cumple que: k < n, k A, P(k) es verdadero P(n) es verdadero entonces P es verdadero n N. Julio A. Hurtado A. Departamento de Sistemas 12 / 27

Principio de Inducción Por Curso de Valores Generalizado- PICVG Ejemplo: Demostrar que, si la Universidad del Cauca tiene una cantidad infinita de estampillas de 4 y 7 pesos, puede hacer cualquier cobro de cantidad igual o superior a 18 pesos. Julio A. Hurtado A. Departamento de Sistemas 13 / 27

La inducción también puede verse como un método de contrucción, por ejemplo el conjunto de los N puede ser definido a partir de un elemento base y el operador sucesor(agregar 1). La estructura que los describe sería dada por: 1. El 0 N 2. Si n N entonces n + 1 N 3. Todos los número naturales y sólo ellos se obtienen a partir de las reglas 1 y 2. Podrían otros conjuntos definirse así? Julio A. Hurtado A. Departamento de Sistemas 14 / 27

Marco de Trabajo de la 1. Un conjunto de elementos base (Puede ser infinito). 2. Un conjunto de reglas de construcción de nuevos elementos del conjunto a partir de los elementos que ya pertenecen. 3. Se asume la frase que todos los elementos del conjunto y sólo ellos se obtienen a partir de las reglas de construcción definidas. Julio A. Hurtado A. Departamento de Sistemas 15 / 27

Definiciones estructurales de funciones y operadores Se aprovecha el carácter constructivo para definir operadores sobre los elementos. Son conocidas como definiciones recursivas. Ejemplo simple: el factorial 1. 0! = 1 2. (n + 1)! = (n + 1).n! Julio A. Hurtado A. Departamento de Sistemas 16 / 27

Caso de Estudio: Las listas Sea L N el conjunto de todas las listas de naturales: 1. L N 2. Si k N y L L N L k L N Esta definición entrega una noción para la igualdad de las listas cuál es? Se pueden plantear propiedades y demostrarlas por inducción - Ejemplo, igualdad de elementos y enlaces. Julio A. Hurtado A. Departamento de Sistemas 17 / 27

Operadores sobre listas: El largo de una lista La función L : L N N 1. = 0 2. L k = L + 1, siendo L = L k, k N Julio A. Hurtado A. Departamento de Sistemas 18 / 27

Operadores sobre listas: La suma de los elementos de una lista La función Sum(L) : L N N 1. Sum( ) = 0 2. Sum(L k) = Sum(L ) + k, siendo L = L k, k N Julio A. Hurtado A. Departamento de Sistemas 19 / 27

Operadores sobre listas: La cabecera de la lista La función Cab(L) : L N { } N 1. Cab( k) = k, siendo L = k, k N 2. Cab(L k) = Cab(L ), siendo L = L k, L Julio A. Hurtado A. Departamento de Sistemas 20 / 27

Operadores sobre listas: El máximo de una lista La función Max(L) : L N { 1} N 1. Max( ) = 1 2. Max(L k) = { Max(L ) para Max(L ) k) k para k > Max(L ) Julio A. Hurtado A. Departamento de Sistemas 21 / 27

Operadores sobre listas: El sufijo de una lista La función Sufijo(L) : L N { } L N 1. Sufijo( k) =, siendo L = k, k N 2. Sufijo(L k) = Sufijo(L ) k, siendo L = L k, L Julio A. Hurtado A. Departamento de Sistemas 22 / 27

Propiedades de las listas 1. L L N se cumple que Sum(L) 0 2. L L N se cumple que Max(L) Sum(L) 3. L L N se cumple que Sum(L) = Cab(L) + Sum(Sufijo(L)) 4. L 1, L 2 L N, L 1, L 2 se cumple L 1 = L 2 Sufijo(L 1 ) = Sufijo(L 2 ) y Sum(L 1 ) = Sum(L 2 ) Julio A. Hurtado A. Departamento de Sistemas 23 / 27

Caso de Estudio: Árboles Binarios SeaA N el conjunto de todos los árboles binarios con números naturales definido por: 1. () A N, en éste caso es un árbol trivial nulo (nodo nulo) 2. k N, ((), k, ()) A N, en éste caso es un árbol trivial (un nodo raíz) y k es el valor de la raíz. 3. Sean I, D A N, k N (I, k, D) A N, en éste caso es un árbol no trivial donde k es el valor de la raíz e I y D son los hijos(sub-árboles). Julio A. Hurtado A. Departamento de Sistemas 24 / 27

Heap Motivación (Árbol Pila) Los números naturales sobre el Heap cumplen la siguiente propiedad: para cada nodo X en el árbol, el valor de X es tan grande como el valor más grande de sus hijos. 50 20 15 8 17 12 9 Julio A. Hurtado A. Departamento de Sistemas 25 / 27

Heap Motivación (Árbol Pila) Demostrar por inducción que si un árbol binario completo presenta la propiedad del Heap, entonces el valor en la raíz del árbol es igual o superior al valor de cada nodo del árbol. Julio A. Hurtado A. Departamento de Sistemas 26 / 27

Introducción a la Inducción Matemática Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 15 de marzo de 2013 Julio A. Hurtado A. Departamento de Sistemas 27 / 27