Inducción matemática

La inducción matemática es un método de demostración que se utiliza cuando se trata de establecer la veracidad de una lista infinita de proposiciones.

El método es bastante natural para usarse en una variedad de situaciones en la ciencia de la computación.

Los números naturales se definen de manera inductiva. Es decir, incluso hablando muy informalmente, al describir los números naturales no podemos nombrar a todos los números naturales puesto que son infinitos, lo que hacemos normalmente es decir algo como “1 es un número natural, también 2 y 3 y 4 y así te sigues, si le sumas 1 a un número natural te da otro número natural”.

Base Inducción Matemática

Analogía de los Dominós

Si ponemos todos nuestros dominós parados en una fila, necesitamos sólo asegurarnos de dos cosas para que se caigan:

a) Que exista al menos un dominó que se caiga.

b) Que si un dominó cae, empuja al siguiente.

Para la primera parte, no tiene que ser el primer dominó. Si tiramos el primero, queremos que se caigan todos; pero si tiramos el segundo o el tercero o el quinto, queremos que se caigan todos después el que tiramos.

Para la segunda parte tenemos que asegurarnos que la distancia entre cada dos dominós no sea demasiada o que estén en el ángulo correcto, porque si uno solo no empuja al que sigue, entonces no se van a caer todos.

Los números naturales son como un conjunto infinito pero ordenado de dominós, donde cada dominó tiene escrito un número. Las pruebas por inducción son como ordenar nuestros dominós parados en una fila y ver si es posible empujar alguno para que se caigan todos.

a) El caso base es asegurarse de que exista un primer dominó que se caiga.

b) El paso inductivo es suponer que si cumple para algún entero, cumple para el siguiente. Como sabemos que cumple para el caso base, entonces cumple para el siguiente; como cumple para el siguiente, cumple a su vez para su siguiente y así sucesivamente cumplen todos los enteros a partir del caso base.

Ejemplo:

Comprobamos con 1

1 + 1 = 1

2 = 1

Comprobar con k

K + 1 = k

Comprobar con k + 1

K + 1 + 1 = k + 1

Inducción Matemática

K + k + 1 + 1

2k + 2

Ejercicio:

Formula

2n = n(n + 1)

Comprobar con 1

2(1) = 1 (1 + 1)

2 = 2

Comprobar con k

2k = k (k + 1)

Comprobar con k + 1

2 (k + 1) = k + 1 (k + 1 + 1)

2 (k + 1) = (k + 1) (k + 2)

Inducción Matemática

2 (k + 1) + k (k + 1)

(k + 1) (k + 2)

Comentarios

Entradas populares de este blog

Grafos

En matemáticas y en ciencias de la computación, la teoría de grafos estudia las propiedades de los grafos. Un grafo es un conjunto, no vacío, de objetos llamados vértices (o nodos) y una selección de pares de vértices, llamados aristas (edges en inglés) que pueden ser orientados o no. Típicamente, un grafo se representa mediante una serie de puntos (los vértices) conectados por líneas (las aristas). Complementos del Grafo Tipos de Grafos Un grafo dirigido o grafo orientado, es un tipo de grafo en el cual el conjunto de las aristas tiene una dirección definida, a diferencia del grafo generalizado, en el cual la dirección puede estar especificada o no. Grafo simple o simplemente grafo es aquel que acepta una sola una arista uniendo dos vértices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la única que une dos vértices específicos. Es la definición estándar de un grafo. No contiene aristas paralelas, lazos ni aristas dirigidos. Un grafo se dice conexo si, p...

Grado de vértice

El grado de un vértice se puede definir como la cantidad de aristas que parten desde o hacia un mismo vértice Rutas y Circuitos de Euler Ruta de Euler: Una ruta o camino de Euler es una trayectoria que contiene todas las aristas del grafo y recorre una arista exactamente una vez Condiciones: El Grafo debe de ser conexo Exactamente 2 vértices son de grado impar, todos los demás deben de ser de grado par Se comienza en uno de los vértices de grado impar y se termina en el otro vértice impar Circuito de Euler Un circuito de Euler es un Camino de Euler con la diferencia que empieza y termina en el mismo vértice es decir es un camino cerrado que recorre cada arista exactamente una vez Condiciones: El grafo es conexo Todos los vértices son de grado par Se comienza y se termina en el mismo vertice Ciclos y Caminos Hamiltonianos Un camino hamiltoniano, en el campo matemático de la teoría de grafos, es un camino de un grafo, una sucesión de aristas adyacentes, que visita todos los ...

Árboles

Definición Desde el punto de vista conceptual, un árbol es un caso particular de grafo, es un objeto que comienza con una raíz y se extiende en ramificaciones o lineas que terminan en un nodo. Representan la estructura no-lineal y dinámica de datos más importante en computación. Dinámica porque puede cambiar durante la ejecución de un programa y no-lineal porque a cada elemento del árbol pueden seguirle varios elementos. Un árbol es una estructura jerárquica aplicada a un conjunto de elementos llamados nodos, uno de los cuales es conocido como raíz. Además, se crea una relación o parentesco entre los nodos que da lugar a términos como padre, hijo, hermano, antecesor, sucesor, ancestro. En ciencias de la computación, un árbol es una estructura de datos comúnmente usada, que emula la estructura de un árbol con un conjunto de nodos conectados. Cada uno de los nodos de un árbol tiene cero o más nodos hijos, que están por debajo de él (en ciencias de la computació...

Matematica Discreta Proyecto UMG

Buscar este blog