INTRODUCCION

o. d eM
1.1. COMENTARIOS INICIALES

Denicin y demostracin son en consecuencia, las dos operaciones funo o damentales mediante las cuales se desarrolla una teor deductiva. a Dentro del desarrollo axiomtico griego, las nociones y principios se consa tru con fundamentacin en el mundo exterior, es decir, se pretend que an o a 1

Un

Mediante la demostracin, se establecen nuevas proposiciones o relaciones o entre los objetos a partir de las relaciones dadas como axiomas; luego se hace necesario nombrar o denir los nuevos objetos que verican estas propiedades; es as como la demostracin y la denicin corren de la mano. o o

ive

rsid ad d

Un sistema axiomtico es la forma acabada que toma hoy una teor a a deductiva. Es un sistema donde todos los trminos u objetos no denidos e y las proposiciones no demostradas se enuncian expl citamente, siendo estas ultimas, jadas como hiptesis a partir de las cuales pueden construirse o las dems proposiciones del sistema, siguiendo unas reglas lgicas perfecta y a o expresamente determinadas. El encadenamiento lgico que se hace a partir o e de las hiptesis, constituye la demostracin. La necesidad de trminos no o o denidos y proposiciones no demostradas se debe a que es imposible llevar la denicin y la demostracin indenidamente. o o

eA

ntio q

uia

,D

ept

atem atic

as

CAP ITULO 1

CAP ITULO 1. INTRODUCCION

los axiomas respondieran a la realidad y fueran as mismo auto-evidentes; este tipo de axiomticas se han denominado genticas o materiales, aqu los a e axiomas tienen un contenido y un sentido. En la geometr desarrollada por Euclides, los trminos primitivos como a e son: punto, recta, relaciones de incidencia, orden y congruencia tienen un contenido materiale intuitivo evidente, sin embargo, en el desarrollo de su fundamentacin se prescinde de este desarrollo material e intuitivo. o En oposicin a la axiomtica material, se estructura lo que se ha deo a nominado un sistema axiomtico formal, en el cual los elementos primitivos a carecen en absoluto de contenido y son las piezas de un puro juego sin sentido material en s mismo. El sentido viene denido impl citamente por las reglas del juego constru das por los axiomas y las reglas lgicas de demostracin. o o En un sistema formal, los axiomas no tienen caracter sticas de autoevidentes, son simplemente premisas, puntos de partida para el desarrollo de resultados posteriores. En este sentido, de las proposiciones que se concluyen de los axiomas por medio de reglas lgicas, diremos que son formalmente o vlidas, es decir, que existe una liacin lgica entre los axiomas y dichas a o o conclusiones. De otra manera, podemos entender la verdad matemtica como una a verdad implicada, donde el antecedente est constitu por los axiomas y el a do consecuente por las conclusiones. En s ntesis, una teor deductiva bien estructurada, debe cumplir las sia guientes condiciones: 1. Enunciar expl citamente los trminos primeros, con ayuda de los cuales e se propone denir todos los otros. 2. Enunciar expl citamente las proposiciones primeras, con ayuda de las cuales se propone demostrar todas las dems. Estas proposiciones se dea o nominan axiomas, la eleccin de estas proposiciones llamadas axiomas es en gran medida arbitraria, dependiendo en gran parte de los gustos del autor que esta desarrollando la teor en general el autor busca que a, sean simples y no demasiados numerosos.

Un

ive

rsid ad d

eA

ntio q

uia

,D

ept

o. d

eM

atem atic

as

 1.2. METODOS DE DEMOSTRACION Los axiomas deben vericar a su vez tres propiedades:

Consistencia: se reere a que no hallan dos teoremas deducibles a partir de los axiomas y sean contradictorios.. Suciencia: se reere al hecho de que todo teorema sea deducible a partir de los axiomas y solo de ellos. Independencia: por razones de econom tambin es deseable a e que sean independientes, es decir, que ninguno de ellos sea deducibles de los otros. Las dos primeras (consistencia y suciencia) son imprescindibles en una teor deductiva y la tercera (independencia) es deseable, es dea cir, la condicin de independencia entre los axiomas, no es requisito o indispensable en el desarrollo de una teor axiomtica, simplemente a a asegura que la teor tenga el m a nimo de supuestos tericamente neceo sarios (axiomas). En la prctica, esta condicin no se respeta, ya que no a o introduce contradicciones y permite agilizar el desarrollo de la teor a. 3. Que las relaciones establecidas entre los trminos sean unicamente e relaciones lgicas, permaneciendo independiente del sentido concreto o que pueda darse a los trminos. e 4. Que en las demostraciones slo intervengan estas relaciones, lo que o prohibe tomar prestado algoa la consideracin de las guras. o

Hemos dicho que en matemticas la verdad esta constitu como la a da validez de una implicacin de la forma H T , donde H es el conjunto o de hiptesis y T la conclusin a la cual se desea llegar. Esta implicacin, o o o esta regida por un principio losco que establece que: De la verdad no o se puede seguir la falsedad. Este principio constituye la fundamentacin del o mtodo de demostracin denominado directo, el cual consiste en partir de e o unas proposiciones que se admiten como ciertas, denominadas premisas, llegar mediante una cadena de implicaciones lgicas, a una proposicin nal o o llamada conclusin o tsis. o e

Un

ive

rsid ad d

1.2.

METODOS DE DEMOSTRACION

eA

ntio q

uia

,D

ept

o. d

eM

atem atic

as

CAP ITULO 1. INTRODUCCION

Un

ive

Este mtodo es uno de los clsicos en las demostraciones matemticas y en e a a particular, en la Geometr frecuentemente se usa esta forma de razonamiento a en la demostracin de los teoremas. o

rsid ad d

3. Establecer la conclusin deseada como una inferencia lgica deducida o o de las premisas originales.

eA

2. De esta nueva premisa, junto con las premisas dadas, deducir una contradiccin. o

ntio q

1. Introducir la negacin de la conclusin deseada como una nueva premisa o o (axioma).

uia

,D

Cuando en una demostracin se establece una implicacin de la forma o o P Q Q, por el contrarrec proco podemos establecer como vlida a la proposicin Q Q P . Esta implicacin tiene como antecedente una o o proposicin verdadera denominada tercero excluido y, por tanto, de dicha o implicacin se puede concluir que P es verdadera. Esta situacin permite o o estructurar otro mtodo de demostracin indirecto llamado Reduccin al e o o absurdo Mtodo de contradiccin. Para la aplicacin del mtodo se utio e o o e lizan los siguientes pasos:

ept

o. d

eM

atem atic

Se puede establecer una equivalencia entre las proposiciones H T y T H llamada esta ultima, el contrarrec proco de la proposicin inicial. o o Este hecho permite establecer un mtodo indirecto de demostracin, denomie nado mtodo de demostracin por el contrarrec e o proco. El mtodo consiste en e demostrar T H, en lugar de H T . La demostracin de T H o generalmente se hace usando el mtodo directo, o sea, asumiendo la negacin e o de la tesis (T ) para concluir la negacin de la hiptesis (H). o o Se dice que dos proposiciones son contradictorias cuando una es la negacin o de la otra. Una contradiccin, entonces, es la conjuncin de una proposio o cin y su negacin (Q Q), por tanto, una contradiccin siempre ser una o o o a proposicin falsa. o

as