Axioma

A veces se compara a los axiomas con semillas, porque de ellos surge toda la teora de la cual son axiomas.

Un axioma es una proposicin que se considera evidente y se acepta sin requerir

demostracin previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de
otras), sino que constituye una regla general de pensamiento lgico (por oposicin a
los postulados).1
En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se
acepta sin demostracin, como punto de partida para demostrar otras frmulas.
Tradicionalmente los axiomas se eligen de las consideradas afirmaciones evidentes, porque
permiten deducir las dems frmulas.
En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien
formada (planteada) de un lenguaje formal utilizada en unadeduccin para llegar a
una conclusin.
En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.
La palabra axioma proviene del sustantivo griego , que significa lo que parece justo
o, que se le considera evidente, sin necesidad de demostracin. El trmino viene del verbo
griego (axioein), que significa valorar, que a su vez procede de (axios):
valioso o digno. Entre los filsofos griegos antiguos, un axioma era lo que pareca
verdadero sin necesidad de prueba alguna.

Lgica
Artculo principal: Lgica proposicional

La lgica del axioma es partir de una premisa calificada de verdadera por s misma (el
axioma), y de sta inferir otras proposiciones por medio del mtodo deductivo, de lo cual se
obtienen conclusiones coherentes con el axioma. A partir de los axiomas, y de reglas de
inferencia, han de deducirse todas las dems proposiciones de una teora dada.

Axioma lgico
Los axiomas son ciertas frmulas en un lenguaje formal que son universalmente vlidas, esto
es frmulas satisfechas por cualquier estructura y por cualquier funcin variable. En trminos
coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier
interpretacin posible, con cualquier asignacin de valores. Comnmente se toma como
axioma un conjunto mnimo de tautologas suficientes para probar una teora.

Matemticas
Para que todos los procedimientos matemticos usados sean vlidos se debe partir de una
base

que

respalde

cada

procedimiento,

cada

paso

lgico

usado,

debe,

en

consecuencia, demostrarse cada afirmacin no trivial. Son estas demostraciones los pilares
fundamentales de toda rama de las matemticas, ya que sin ellos puede ponerse en duda la
veracidad de cualquier afirmacin.
Las afirmaciones a las que se hace referencia se llaman axiomas. Sern, por lo tanto,
afirmaciones que se aceptan como verdaderas debido a su trivialidad, pudiendo en ocasiones
ser demostradas cuando no lo son.
El otro tipo de afirmaciones a las que se hace referencia diciendo: afirmacin no trivial, son
los teoremas, que son ya, afirmaciones no tan triviales y muchas veces poco intuitivas. Estas
afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostrados.
Una consecuencia inmediata de un teorema se llamar corolario.
Muchas partes de la matemtica estn axiomatizadas, lo que significa que existe un conjunto
de axiomas de los cuales es posible deducir todas las verdades de esa parte de la
matemtica. Por ejemplo, de los axiomas de Peano es posible deducir todas las verdades de
la aritmtica (y por extensin, de otras partes de la matemtica).
El formalismo surgido como consecuencia de la crisis fundacional de principios del siglo XX
dio lugar al llamado programa de Hilbert. Dicho programa abogaba por la formalizacin de
diferentes ramas de las matemticas mediante un conjunto de axiomas explcitos, en general
formulados en lenguajes formales de primer orden. Eso significa que junto con los axiomas
lgicos ordinarios de una teora de primer orden se introducan smbolos extralgicos (para
constantes, funciones y predicados) y ciertos axiomas matemticos que usaban dichos signos
que restringan su comportamiento. Cada teora matemtica necesita un conjunto diferente de
signos extralgicos, por ejemplo la aritmtica de primer orden requiere la funcin siguiente y
una constante que designe al primer de los nmeros naturales (a partir de esos dos signos
nuevos una constante y una funcin, son definibles la suma, la multiplicacin, la relacin de
orden menor o igual y todas las nociones necesarias para la aritmtica).
El programa de Hilbert hizo concebir la posibilidad de unas matemticas en que la propia
consistencia de axiomas escogidos fuera verificable de manera relativamente simple. Sin
embargo, el teorema de incompletitud de Gdel y otros resultados mostraron la inviabilidad del
programa de Hilbert para los fines con los que fue propuesto.

Limitaciones de los sistemas axiomticos

A mediados del siglo XX, Kurt Gdel demostr sus famosos teoremas de incompletitud. Estos
teoremas mostraban que aunque un sistema de axiomas recursivos estuvieran bien definidos

y fueran consistentes, los sistemas axiomticos con esos sistemas de axiomas adolecen de
limitaciones graves. Es importante, notar aqu la restriccin de que el sistema de axiomas
sea recursivamente enumerable, es decir, que el conjunto de axiomas forme un conjunto
recursivamente enumerable dada una codificacin o gdelizacin de los mismos. Esa
condicin tcnica se requiere ya que si el conjunto de axiomas no es recursivo entonces
la teora ni siquiera ser decidible.
Con esa restriccin Gdel demostr, que si la teora admite un modelo de cierta complejidad
siempre hay una proposicin P verdadera pero no demostrable. Gdel prueba que en
cualquier sistema formal que incluya aritmtica puede generarse una proposicin P mediante
la cual se afirme que este enunciado no es demostrable.

Sistema axiomtico
En lgica y matemticas, un sistema axiomtico consiste en un conjunto de axiomas que se
utilizan, mediante deducciones, para demostrar teoremas. Ejemplos de sistemas axiomticos
deductivos son la geometra euclidiana compilada por Euclides en los Elementos1 y el sistema
axiomtico de la lgica proposicional.

Historia
El primer intento se remonta a la axiomatizacin de los Elementos de Euclides (siglo IV-III
a.C.), aplicado a la geometra plana. Euclides enuncia cinco postulados y cinco nociones
comunes

(axiomas),

de

los

que

deduce

sus

teoremas geomtricos.

Al

mismo

tiempo, Aristteles aporta el primer enfoque de la lgica formal en el rganon, recogiendo

diversos axiomas de Platn y otros filsofos.
En matemticas, sin embargo, el primer intento de axiomatizacin lleg en 1888,
cuando Richard Dedekind propuso un conjunto de axiomas sobre los nmeros. 2 Al ao
siguiente,Giuseppe Peano retoma los trabajos de Dedekind y expone sus axiomas aritmticos.
Gottlob Frege, en 1884, con su obra Die Grundlagen der Arithmetik y la posterior Grundsetze
der Arithmetik, trata de reducir la aritmtica a la lgica. Bertrand Russell en su intento de 1901
descubri la paradoja del mismo nombre: paradoja de Russell, y para resolverla trabaj
con Alfred North Whitehead, en Principia Mathematica. En 1899, David Hilbert reformula los
axiomas de la geometra, y tambin explica los conceptos que Euclides dej implcitos, por

ejemplo, Euclides no dice que hay al menos tres puntos en el plano, o que hay al menos un
punto en el plano que no pertenece a la lnea, etc.
En el Congreso celebrado en 1900, David Hilbert plante varios problemas, entre los que
inclua la demostracin de la consistencia de los axiomas de las matemticas y la
axiomatizacin de la fsica. En 1931, Kurt Gdel demostr que cualquier sistema axiomtico
equivalente a los axiomas de Peano es incompleto y que si este sistema es consistente, no se
puede utilizar para probar su consistencia (teorema de incompletitud de Gdel).

Sistemas axiomticos formales e informales

Un sistema axiomtico puede tener expresados sus axiomas de manera formal o de manera
informal:

Una axiomatizacin formal usa un lenguaje formal y en l cada axioma es una

cadena finita de signos en el alfabeto del lenguaje formal, siguiendo reglas combinatorias
que hacen de la secuencia una frmula bien formada.

Una axiomatizacin informal usa una lengua natural formalizada y definiciones no

ambiguas, los libros de matemtica y otras disciplinas formales normalmente redactan los
axiomas de esta manera.

Los sistemas de axiomas formales son ms sencillos de estudiar y son preferibles para
caracterizar las propiedades de los sistemas matemticos. En particular admiten una
caracterizacin semntica muy clara en la teora de modelos y sus propiedades deductivas
pueden ser tratadas en la teora de la demostracin. Por el contrario, las axiomatizaciones
informales slo son tiles cuando se tiene un modelo concreto en mente y se pretenden
buscar propiedades que se cumplen en el modelo.

Componentes
de
un
sistema
axiomtico
formal

Un

sistema

axiomtico

formal

consta de los siguientes elementos:

Un alfabeto S para construir

expresiones

formales

que

incluye:

Un
smbolos

conjunto

de

para conectivas

lgicas, cuantificadores

Un
smbolos

conjunto
para

de

designar

variables

Un conjunto de smbolos para constantes (que tendrn en un modelo una

interpretacin fija).

Un conjunto de smbolos que sern interpretados como funciones.

Un conjunto de smbolos que sern interpretados como relaciones.

Una gramtica formal que incluir:

Reglas de buena formacin, que reproducen la "morfologa" del lenguaje

formal.

Reglas de inferencia que permitirn deducir unas proposiciones de otras, estas

reglas reproducen la "sintaxis" del lengua formal.

Un conjunto de axiomas inicial, o expresiones bien formadas son el punto de partida

de cualquier deduccin.

Para el conjunto de expresiones bien formadas exresadas en el lenguaje formal anterior

puede definirse una S-estructura en la que a cada variable constante o cada ocurrencia libre
de una variable reciba un valor dentro del modelo (es decir, las constantes y variables libres
sern conjuntos preasignados de la S-estructura). Las funciones y relaciones sern definidas
como funciones y relaciones matemticas dentro de la S-estructura. Una vez definidas las
constantes, variables libres, funciones y relaciones resulta trivial atribuir un significado
concreto a las expresiones del lenguaje formal en la S-estructura.

Modelos para un sistema axiomtico formal

Si un conjunto de proposiciones (frmulas bien formadas) de un sistema axiomtico formal
admiten una S-estructura donde se satisfacen, entonces se dice que dicha estructura es un
modelo para el conjunto de proposiciones. Un sistema de axiomas que admite un modelo es
un sistema de axiomas consistente. Un sistema formal bien construido satisface "teorema de
validez" que viene a afirmar que cualquier proposicin deducible de los axiomas o teorema del
sistema axiomtico, se satisface tambin, en todos los modelo que sean un modelo en el que
se satisfacen los axiomas. La propiedad recproca no siempre se cumple, una proposicin que
se satisface en todos los modelos de una teora no tiene porqu ser deducible del sistema de
axiomas. Este ltimo punto es ilustrado por los teoremas de incompletitud de Gdel, que viene
a afirmar que una sistema formal de ciertos sistemas matemticos con un conjunto de
axiomas que satisface determinada propiedad formal (ser un recursivamente enumerables)
admitir un modelo en el que algunas proposiciones sern ciertas pero no sern deducibles.
Es decir, la teora asociada al sistema axiomtico formal ser esencialmente incompleta.

Ejemplos
La teora de grupos es un sistema axiomtico se puede basar en el siguiente conjunto de tres
axiomas G1, G2 y G3:
(G1) para todo x, y y z:
(G2) para todo x:
(G3) para todo x, existe un y tal que
Este conjunto de axiomas no es nico, ya que pueden ser substituidos por otros
equivalentes. En teora de grupos el asunto importante es que el conjunto de
teoremas sean los mismos en dos axiomatizaciones diferentes. Eso implica que
las dos clase de modelos que satisfacen los dos sistemas de axiomas coindiden.

Los tres axiomas anteriores pueden escribirse sin usar ninguna lengua natural
usando slo smbolos de una lenguaje de primer orden como:
(G1)
(G2)
(G3)
Donde f debe interpretarse como la funcin definida sobre GxG que
da un elemento de G dando operacin de grupo, xi son signos de
variables (puede definirse una coleccin infinita numeralbe de las
mismas) y c1 es una constante que requiere la teora que se
interpretar como el elemento neutro (es decir, los axiomas postulan
que dicho elemento existe).

Geometra no euclidiana

Los tres tipos de geometras homogneas posibles, adems de la geometra euclidea de curvatura nula,
existen la geometra elptica de curvatura positiva, y la geometra hiperblica de curvatura negativa. Si se
consideran geometras no-eucldeas homogneas entonces existe una infinidad de posibles geometras,
descritas por las variedades riemannianas generales.

Se denomina geometra no euclidiana o no eucldea, a cualquier forma de geometra cuyos

postulados y propiedades difieren en algn punto de los establecidos por Euclides en su
tratado Elementos. No existe un solo tipo de geometra no eucldea, sino muchos, aunque si
se restringe la discusin a espacios homogneos, en los que la curvatura del espacio es la
misma en cada punto, en los que los puntos del espacio son indistinguibles pueden
distinguirse tres tipos de geometras:

La geometra euclidiana satisface los cinco postulados de Euclides y tiene curvatura

cero.

La geometra hiperblica satisface slo los cuatro primeros postulados de Euclides y

tiene curvatura negativa.

La geometra elptica satisface slo los cuatro primeros postulados de Euclides y

tiene curvatura positiva.

Todos estos son casos particulares de geometras riemannianas, en los que la curvatura es
constante, si se admite la posibilidad de que la curvatura intrnseca de la geometra vare de
un punto a otro se tiene un caso de geometra riemanniana general, como sucede en la teora
de la relatividad general donde la gravedad causa una curvatura no homognea en el espaciotiempo, siendo mayor la curvatura cerca de las concentraciones de masa, lo cual es percibido
como un campo gravitatorio atractivo.

Historia
El primer ejemplo de geometra no euclidiana fue la hiperblica, teorizada inicialmente
por Immanuel Kant, formalizada posterior e independientemente por varios autores a
principios

del siglo

XIX tales

como Carl

Friedrich

Gauss, Nikoli

Lobachevski, Jnos

Bolyai y Ferdinand Schweickard.

Los desarrollos de geometras no eucldeas se gestaron en sus comienzos con el objetivo de
construir modelos explcitos en los que no se cumpliera el quinto postulado de Euclides.
La geometra Euclideana haba sido desarrollada por los griegos y expuesta por Euclides en la
obra Los elementos. En su primera obra publicada, "Pensamientos sobre la verdadera
estimacin de las fuerzas vivas" (Gedanken von der wahren Schtzung der lebendigen Krfte
und Beurteilung der Beweise derer sich Herr von Leibniz und anderer Mechaniker in
dieser Streitsache bedient haben) (1746), Immanuel Kant considera espacios de ms de tres
dimensiones y afirma:
Una ciencia de todas estas posibles clases de espacio sera sin duda la empresa ms elevada que
un entendimiento finito podra acometer en el campo de la Geometra... Si es posible que existan
extensiones con otras dimensiones, tambin es muy probable que Dios las haya trado a la
existencia, porque sus obras tienen toda la magnitud y variedad de que son capaces.

Esas posibles geometras que Kant entrev son las que hoy se llaman geometras euclidianas
de dimensin mayor que 3.
Por otra parte, ya desde la antigedad se consider que el quinto postulado del libro de
Euclides no era tan evidente como los otros cuatro pues, al afirmar que ciertas rectas (las
paralelas) no se cortarn al prolongarlas indefinidamente, habla de una construccin mental
un tanto abstracta. Por eso durante muchos siglos se intent sin xito demostrarlo a partir de
los otros cuatro. A principios del siglo XIX, se intent demostrarlo por reduccin al absurdo,
suponiendo que es falso y tratando de obtener una contradiccin. Sin embargo, lejos de llegar
a un absurdo se encontr que existan geometras coherentes diferentes de la eucldea. Se
haba descubierto as la primera geometra no eucldea (en concreto el primer ejemplo que se
logr era una geometra llamada hiperblica).

Geometras de curvatura constante

Geometra hiperblica

Modelo del disco Poincar para la geometra hiperblica con una teselacin {3,7} de rombos truncados.
Artculo principal: Geometra hiperblica

A principios del siglo XIX, y de modo independiente, Gauss (1777-1855), Lobachevsky (17921856), Jnos Bolyai y Ferdinand Schweickard lograron construir la geometra hiperblica, a
partir del intento de negar el quinto postulado de Euclides y tratar de obtener una
contradiccin. En lugar de obtener una contradiccin lo que obtuvieron fue una curiosa
geometra en la que los tres ngulos de un tringulo sumaban menos de 180 sexagesimales
(en la geometra eucldea los ngulos de cualquier tringulo suman siempre exactamente
180).
La

naturalidad

de

esta

geometra

qued

confirmada

finales

del

siglo,

cuando Beltrami demostr que la geometra hiperblica coincide con la geometra intrnseca
de cierta superficie y Klein dio la interpretacin proyectiva de la geometra hiperblica. Ambos
resultados prueban que es tan consistente como la Geometra eucldea (es decir, si la
geometra hiperblica lleva a alguna contradiccin, entonces la geometra eucldea tambin).
Algunos afirman que Gauss fue el primero en considerar la posibilidad de que la geometra del
Universo no fuera la eucldea. Sabiendo que en la geometra hiperblica la suma de los
ngulos de cualquier tringulo es menor que dos rectos, se dice que subi a la cima de
tres montaas con un teodolito, aunque la precisin de sus instrumentos no fue suficiente para
decidir la cuestin con tal experimento. Sin embargo, otros afirman que cuando escribi que

trataba de corregir los efectos de posibles curvaturas se refera a corregir el efecto de la

curvatura terrestre en los estudios cartogrficos que estaba realizando.

Geometra elptica

La

esfera

es

un

modelo

de

geometra

elptica

bidimensional,

losmeridianos resultan

ser lneas

geodsicas mientras que los paralelosson lneas de curvatura no mnima.

Artculo principal: Geometra elptica

La geometra elptica es el segundo tipo de geometra no-eucldea homognea, es decir,

donde cualquier punto del espacio resulta indistinguible de cualquier otro. Una variedad de
Riemann de curvatura positiva constante es un ejemplo de geometra elptica. Un modelo
clsico de geometra elptica n-dimensional es la n-esfera.
En la geometra elptica las lneas geodsicas tienen un papel similar a las lneas rectas de la
geometra eucldea, con algunas importanes diferencias. Si bien la mnima distancia posible
entre dos puntos viene dada por una lnea geodsica, que adems son lneas de curvatura
mnima, el quinto postulado de Eucldes no es vlido para la geometra elptica, ya que dada
una "recta" de esta geometra (es decir, una lnea geodsica) y un punto no contenido en la
misma no se puede trazar ninguna geodsica que no corte a la primera.

Geometra eucldea
Artculo principal: Geometra eucldea

La geometra eucldea es claramente un caso lmite intermedio entre la geometra elptica y la

geometra hiperblica. De hecho la geometra eucldea es una geometra de curvatura nula.
Puede demostrarse que cualquier espacio geomtrico o variedad de Riemann cuya curvatura
es nula es localmente isomtrico al espacio eucldeo y por tanto es un espacio eucldeo o
idntico a una porcin del mismo.

Aspectos matemticos
Artculo principal: Espacio maximalmente simtrico

Los espacios de curvatura constante el tensor de curvatura de Riemann viene dado en

componentes por la siguiente expresin:

donde

es el tensor mtrico expresado en coordenadas curvilneas cualesquiera. En tensor

de Ricci

y la curvatura escalar son proporcionales respectivamente al tensor mtrico y a

la curvatura:

y donde

es la dimensin del espacio.

Otro aspecto interesante es que tanto en la geometra hiperblica, como en la geometra

elptica homogneas el grupo de isometra del espacio completo es un grupo de Lie de
dimensin

, que coincide con la dimensin del grupo de isometra de un espacio

Euclideo de dimensin n (aunque los tres grupos son diferentes).

Geometras de curvatura no constante

Geometra riemanniana general

A propuesta de Gauss, la disertacin de Riemann vers sobre la hiptesis de la Geometra. En
su tesis, Riemann considera las posibles geometras que infinitesimalmente (i.e. en regiones
muy pequeas) sean eucldeas, cuyo estudio se conoce hoy en da como geometras
riemannianas. Estas geometras resultan en general no-homogneas: algunas de las
propiedades del espacio pueden diferir de un punto a otro, en particular el valor de la
curvatura.
Para el estudio de estas geometras Riemann introdujo el formalismo del tensor de curvatura y
demostr que la geometra eucldea, la geometra hiperblica y la geometra elptica son
casos particulares de geometras riemanninanas, caracterizadas por valores constantes
del tensor de curvatura. En una geometra riemanninana general, el tensor de curvatura tendr
valores variables a lo largo de diferentes puntos de dicha geometra.
Eso hace que la geometra no sea homognea, y permite distinguir unos puntos de otros. Esto
es relevante en la teora de la relatividad general, ya que en principio es posible hacer

experimentos de medicin de distancias y ngulos que permitan distinguir unos puntos del
espacio de otros, tal como especifican numerosos experimentos mentales imaginados por
Einstein y otros en los que un experimentador encerrado en una caja puede realizar
experimentos para decidir la naturaleza del espacio-tiempo que le rodea.
Finalmente un aspecto interesante de la geometra riemanniana es que si la curvatura no es
constante entonces el grupo de isometra del espacio tiene dimensin estrictamente menor
que

siendo

la dimensin del espacio. En concreto segn la relatividad general un

espacio-tiempo con una distribucin muy irregular de la materia podra tener un grupo de
isometra trivial de dimensin 0.

Geometra del espacio-tiempo y teora de la relatividad

Artculo principal: Curvatura del espacio-tiempo

Basndose en la ideas y resultados de Riemann, hacia 1920 Einstein aborda en su Teora de

la Relatividad general la cuestin de la estructura geomtrica del Universo. En ella muestra
cmo la geometra del espacio-tiempo tiene curvatura, que es precisamente lo que se observa
como campo gravitatorio, y cmo, bajo la accin de la gravedad, los cuerpos siguen las lneas
ms rectas posibles dentro de dicha geometra, lneas que se denominan geodsicas.
Adems, la Ecuacin de Einstein afirma que para cada observador, la curvatura media del
espacio coincide, salvo un factor constante, con la densidad observada, dando cumplimiento
as a la fantstica visin de Gauss: la geometra desentraada por los griegos es la estructura
infinitesimal del espacio; al generalizar dicha estructura geomtrica, tiene curvatura.