CAP ITULO 1 INTRODUCCION

atem
1.1. COMENTARIOS INICIALES
Denici on y demostraci on son en consecuencia, las dos operaciones fundamentales mediante las cuales se desarrolla una teor a deductiva. Dentro del desarrollo axiom atico griego, las nociones y principios se constru an con fundamentaci on en el mundo exterior, es decir, se pretend a que 1

Un iv

Mediante la demostraci on, se establecen nuevas proposiciones o relaciones 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 demostraci on y la denici on corren de la mano.

ersi

dad

de

Un sistema axiom atico es la forma acabada que toma hoy una teor a deductiva. Es un sistema donde todos los t erminos u objetos no denidos y las proposiciones no demostradas se enuncian expl citamente, siendo estas u ltimas, jadas como hip otesis a partir de las cuales pueden construirse las dem as proposiciones del sistema, siguiendo unas reglas l ogicas perfecta y expresamente determinadas. El encadenamiento l ogico que se hace a partir de las hip otesis, constituye la demostraci on. La necesidad de t erminos no denidos y proposiciones no demostradas se debe a que es imposible llevar la denici on y la demostraci on indenidamente.

An tio

qui

a, D

ept

o. d

eM

atic

as

CAP ITULO 1. INTRODUCCION, JAIME ESCOBAR A.

los axiomas respondieran a la realidad y fueran as mismo auto-evidentes; este tipo de axiom aticas se han denominado gen eticas o materiales, aqu los axiomas tienen un contenido y un sentido. En la geometr a desarrollada por Euclides, los t erminos primitivos como son: punto, recta, relaciones de incidencia, orden y congruencia tienen un contenido materiale intuitivo evidente, sin embargo, en el desarrollo de su fundamentaci on se prescinde de este desarrollo material e intuitivo. En oposici on a la axiom atica material, se estructura lo que se ha denominado un sistema axiom atico formal, en el cual los elementos primitivos 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 l ogicas de demostraci on. 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 l ogicas, diremos que son formalmente v alidas, es decir, que existe una liaci on l ogica entre los axiomas y dichas conclusiones.

2. Enunciar expl citamente las proposiciones primeras, con ayuda de las cuales se propone demostrar todas las dem as. Estas proposiciones se denominan axiomas, la elecci on de estas proposiciones llamadas axiomas es en gran medida arbitraria, dependiendo en gran parte de los gustos del autor que esta desarrollando la teor a, en general el autor busca que sean simples y no demasiados numerosos.

Un iv

1. Enunciar expl citamente los t erminos primeros, con ayuda de los cuales se propone denir todos los otros.

ersi

dad

En s ntesis, una teor a deductiva bien estructurada, debe cumplir las siguientes condiciones:

de

An tio

De otra manera, podemos entender la verdad matem atica como una verdad implicada, donde el antecedente est a constitu do por los axiomas y el consecuente por las conclusiones.

qui

a, 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 a tambi en es deseable 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 a deductiva y la tercera (independencia) es deseable, es decir, la condici on de independencia entre los axiomas, no es requisito indispensable en el desarrollo de una teor a axiom atica, simplemente asegura que la teor a tenga el m nimo de supuestos te oricamente necesarios (axiomas). En la pr actica, esta condici on no se respeta, ya que no introduce contradicciones y permite agilizar el desarrollo de la teor a. 3. Que las relaciones establecidas entre los t erminos sean u nicamente relaciones l ogicas, permaneciendo independiente del sentido concreto que pueda darse a los t erminos.

1.2.

METODOS DE DEMOSTRACION

Hemos dicho que en matem aticas la verdad esta constitu da como la validez de una implicaci on de la forma H T , donde H es el conjunto de hip otesis y T la conclusi on a la cual se desea llegar. Esta implicaci on, esta regida por un principio los oco que establece que: De la verdad no se puede seguir la falsedad. Este principio constituye la fundamentaci on del m etodo de demostraci on denominado directo, el cual consiste en partir de unas proposiciones que se admiten como ciertas, denominadas premisas, llegar mediante una cadena de implicaciones l ogicas, a una proposici on nal llamada conclusi on o t esis.

Un iv

ersi

dad

de

An tio

4. Que en las demostraciones s olo intervengan estas relaciones, lo que prohibe tomar prestado algoa la consideraci on de las guras.

qui

a, D

ept

o. d

eM

atem

atic

as

CAP ITULO 1. INTRODUCCION, JAIME ESCOBAR A.

2. De esta nueva premisa, junto con las premisas dadas, deducir una contradicci on. 3. Establecer la conclusi on deseada como una inferencia l ogica deducida de las premisas originales.

Un iv

ersi

Este m etodo es uno de los cl asicos en las demostraciones matem aticas y en particular, en la Geometr a frecuentemente se usa esta forma de razonamiento en la demostraci on de los teoremas.

dad

de

An tio

qui

1. Introducir la negaci on de la conclusi on deseada como una nueva premisa (axioma).

a, D

Cuando en una demostraci on se establece una implicaci on de la forma P Q Q, por el contrarrec proco podemos establecer como v alida la proposici on Q Q P . Esta implicaci on tiene como antecedente una proposici on verdadera denominada tercero excluido y, por tanto, de dicha implicaci on se puede concluir que P es verdadera. Esta situaci on permite estructurar otro m etodo de demostraci on indirecto llamado Reducci on al absurdo o M etodo de contradicci on. Para la aplicaci on del m etodo se utilizan los siguientes pasos:

ept

o. d

eM

atem

atic

Se puede establecer una equivalencia entre las proposiciones H T y on inicial. T H llamada esta u ltima, el contrarrec proco de la proposici on, denomiEste hecho permite establecer un m etodo indirecto de demostraci nado m etodo de demostraci on por el contrarrec proco. El m etodo consiste en demostrar T H , en lugar de H T . La demostraci on de T H generalmente se hace usando el m etodo directo, o sea, asumiendo la negaci on de la tesis (T ) para concluir la negaci on de la hip otesis (H ). Se dice que dos proposiciones son contradictorias cuando una es la negaci on de la otra. Una contradicci on, entonces, es la conjunci on de una proposici on y su negaci on (Q Q), por tanto, una contradicci on siempre ser a una proposici on falsa.

as