SISTEMAS AXIOMTICOS

MATEMTICAS.

QUE

APARECEN

EN

LAS

Un axioma no se considera como una verdad

indubitable,
y
una
teora
axiomtica
est
indirectamente relacionada con la realidad. No slo la
geometra, sino muchas otras teoras matemticas han
sido axiomatizadas, y el mtodo axiomtico se ha
convertido en una poderosa herramienta para la
investigacin matemtica, as como un medio de
organizar el inmenso campo del conocimiento
matemtico. El anlisis de la lgica es uno de los
principales temas de las investigaciones sobre los
fundamentos de las matemticas. Por lo tanto, es
importante saber que las teoras axiomticas son
consistentes. La manera ms simple para demostrar la
consistencia de una teora axiomtica es proporcionar
un modelo para ello.

1.Qu otros sistemas axiomticos consistentes

aparecen en las matemticas? Tenemos el mtodo
axiomtico para definir la medida, es decir, que una
medida es una funcin definida sobre ciertos
subconjuntos de un conjunto E que satisface una lista
de propiedades.

La Teora de la medida se cre para disponer de un

anlisis detallado de la nocin de longitud de los
subconjuntos de puntos de la recta real y, de forma
ms general, rea y volumen de subconjuntos de
espacios Eucldeos. En particular, esta teora nos
brinda una respuesta sistemtica relativa sobre qu
subconjuntos de R, se les puede asociar una longitud.
Como se comprob al desarrollar la teora de
conjuntos, es imposible asociar una longitud a
cualquier subconjunto de R de tal manera que se
cumplan las propiedades de invariancia por traslacin
y de aditividad con respecto a la unin conjuntos. Estos
conjuntos se llaman no medibles.

Otro sistema axiomtico es el de Riemann, el cual se

visualiza en el mundo fsico que nos rodea, donde las rectas,
los ngulos, los tringulos y el concepto de distancia se
acomodan a lo que dictamina la geometra de Riemann.
En la concepcin de Riemann, las rectas originadas
cuando el punto Q se desplaza a la derecha, vuelven a
salir por la izquierda. As mismo las rectas RP
originadas cuando R se mueve a la izquierda, vuelven a
salir por la dere
cha. En ningn caso las rectas que pasan por el punto
exterior P, se vuelven paralelas a la recta L. En la
geometra Euclidiana , vimos que estas rectas tienden a una
recta nica, la recta paralela a L que pasa por P. En las
geometras no euclidianas, segn como se muevan las rectas,
ellas se aproximan a dos rectas distintas.

Todas las perpendiculares a una recta dada, se

encuentran en un punto,por ejemplo los meridianos son
perpendiculares al Ecuador y se encuentran en el Polo Norte.
Estas rectas en la geometra euclidianas seran paralelas.

Dos rectas encierran una superficie. Como es el caso de

dos meridianos consecutivos de la tierra que encierran lo que
se llama un huso horario, que ocurren en la asignacin de la
hora en referencia al meridiano de Greenwich.

Dados tres puntos arbitrarios C, D, E, distintos en una

recta,
hay
tres
casos
que
se
cumplen
simultneamente, a saber: a) D est entre E y C; b) C
est entre D y E; c) E est entre C y D. En la geometra
euclidiana, dados tres puntos en la misma recta, slo uno de
ellos est en medio de los otros dos. En la grfica slo B est
entre A y C.

Dos tringulos semejantes son tambin congruentes.

Este resultado lo comparte con la geometra hiperblica.

La distancia entre dos puntos, digamos P y C, es la

longitud del arco de circunferencia mxima que los
contiene. En general la distancia entre dos puntos se mide
con el arco de circunferencia mxima que pasa por ellos. Las
rectas ENCD y MNPD se encuentran en N y D. Los puntos N y
D se llaman antpodas. En la geometra euclidiana, los arcos
se asemejan a los segmentos de recta.

La suma de los ngulos interiores de un tringulo

esfrico es mayor que dos rectos, como se ve en el

tringulo ABP. Debido a que nuestras rectas son

circunferencias mximas, un tringulo est formado por arcos
de tres de ellas. Uno de estos tringulos se muestra en la
figura como ABP. Puesto que los ngulos en A y B, por ser
rectos, miden 180, es evidente que la suma de sus tres
ngulos sea ms de 180. Este resultado vale para todos los
tringulos esfricos.

http://www.matematicasyfilosofiaenelaula.info/Epistemologia
%202009/Geometria%20de%20Riemann.pdf
Agrego un Teorema importante dentro de la geometra
proyectiva, conocido como el Teorema de Desargues.
Sean y dos tringulos que yacen en un mismo
plano; si las lneas , y son concurrentes, los puntos
de interseccin de los lados correspondientes de los dos
tringulos estn alineados, y recprocamente.

P=ABAB(AB interseccin A'B')

Q=BCBC

R=CACA

Sin embargo este teorema no est bien enunciado para el

plano Euclideano, pues es posible que las rectas AB y AB no
se intersecten, o tampoco los otros dos pares de rectas. A

este enunciado habra que agregarle algo as para que fuera

un teorema completo.
Sean ABC y ABC [...] , entonces si existen los siguientes
puntos sern colineales.[...]
De no existir uno de los puntos pero s los otros dos ocurrira
que [...]
En la Geometra proyectiva se cree que el comportamiento de
las rectas paralelas es idntico al de dos rectas que se
intersectan, pero en lugar de intersectarse en un punto a
nuestro alcance, es como si se intersectara en un punto al
infinito.

Bibliografa consultada:
Teora de la Medida, Carmen Martnez-Adame.
http://www.matetam.com/de-consulta/books/introducciongeometria-proyectiva/pasa-cuando-p-no-existe
1. Sea X

un conjunto no numerable, y sea

S={ E X : E o Ec es a lo msnumerable } . Entonces

es la -

lgebra generada por los conjuntos de un punto de

2. Si es una funcin aditiva, no negativa, con valores en

los reales extendido, definida sobre un anillo
que existe al menos un

E R , tal que

y tal

( E ) < , entonces

( )=0 .

3. Sea {a n } una sucesin de nmeros reales no negativos,

A N

, definimos

( A )= an
n A

. Entonces :P ( N ) es

una medida ( P( X ) es el conjunto potencia de X).

4. Toda medida finitamente aditiva es montona.
5. La unin numerable de conjuntos nulos es otra vez un
conjunto nulo.
6. Todo subconjunto numerable de
Lebesgue igual a cero.

tiene medida de

7. Si f : R R es continua p.c.t., entonces

funcin medible.

es una

8. Sea {f n } una sucesin de funciones medibles de valores

reales sobre un espacio de medida {X , S , } , entonces el
conjunto A={x X :f n (x ) } es medible.

Tenemos por ejemplo los axiomas en la geometra proyectiva,

sabemos que cualquier geometra dada puede deducirse de
un conjunto apropiado de axiomas, las Geometras
proyectivas se caracterizan por el axioma "elptico paralelo",
que dos aviones siempre se renen en una sola lnea, o en el
avin, las dos lneas siempre se renen en un solo punto. En
otras palabras, no hay cosas tales como lneas paralelas o
planos de la geometra proyectiva. Se han propuesto muchos
otros conjuntos de axiomas para la geometra proyectiva.
Axiomas de Whitehead
Estos axiomas se basan en Whitehead, "los axiomas de la
geometra proyectiva". Hay dos tipos, los puntos y lneas, y
una relacin "incidencia" entre los puntos y lneas. Los tres
axiomas son:

G1: Cada lnea contiene al menos 3 puntos

G2: Cada dos puntos, A y B, se encuentran en una lnea
nica, AB.

G3: Si las lneas AB y CD intersecan, entonces tambin lo

hacen las lneas AC y BD.
Se supone que cada lnea, para contener por lo menos 3
puntos ,elimina algunos casos generados. Los espacios que
cumplan estos tres axiomas o bien tienen un mximo de una
lnea, o son espacios proyectivos de alguna dimensin ms de
un anillo de divisin o son planos no Desarguesianos.
Se pueden aadir otros axiomas que restringen la dimensin o
el anillo de coordenadas. Por ejemplo, la geometra de Coxeter
proyectiva, referencias Veblen en los tres axiomas ms arriba,
junto con otros 5 axiomas que hacen la dimensin 3 y el anillo
de coordenadas de un campo conmutativo de la caracterstica
no 2.

Axiomas utilizando una relacin ternaria

Uno puede perseguir axiomatizacin postulando una relacin
ternaria, para indicar que tres puntos estn alineados. Una
axiomatizacin se puede escribir en trminos de esta relacin,
as:

C0:
C1: Si A y B son dos puntos tales que y luego
C2: Si A y B son dos puntos a continuacin, hay un tercer
punto C de tal manera que

C3: Si A y C son dos puntos, B y D tambin, con, pero no

a continuacin, hay un punto F tal que y.
Por dos puntos diferentes, A y B, la lnea AB se define como un
conjunto de todos los puntos de C para los que. Los axiomas
C0 y C1, despus, una formalizacin de G2, C2 y C3 de G1
para G3.
El concepto de la lnea generaliza a planos ms elevados y
subespacios dimensionales. Un subespacio, ABXY puede por lo
tanto ser de forma recursiva define en trminos de la
subespacio ABX como que contiene todos los puntos de todas
las lneas YZ, como Z rangos de ms de ABX. Colinealidad
luego se generaliza a la relacin de la "independencia". Un
conjunto {A, B, Z} de puntos es independiente, si {A, B, Z} es
un subconjunto mnimo de generacin para el subespacio
ABZ.
Los axiomas proyectivos pueden complementarse con otros
axiomas postulan lmites a la dimensin del espacio. La
dimensin mnima se determina por la existencia de un
conjunto independiente del tamao requerido. Para las
dimensiones ms bajas, las condiciones pertinentes pueden
indicarse en forma equivalente como sigue. Un espacio
proyectivo es de:

al menos dimensin 0 si tiene al menos 1 punto,

al menos dimensin 1 si tiene al menos 2 puntos
distintos,

al menos dimensin 2 si tiene al menos 3 puntos no

colineales,

al menos dimensin 3 si tiene al menos 4 puntos no

coplanares.
La dimensin mxima tambin se puede determinar de una
manera similar. Para las dimensiones ms bajas, asumen las
siguientes formas. Un espacio proyectivo es de:

a lo sumo dimensin 0 si no tiene ms de 1 punto,

a lo sumo dimensin 1 si no tiene ms de 1 lnea,
a lo sumo dimensin 2 si no tiene ms de 1 avin,
y as sucesivamente. Es un teorema general que todas las
lneas coplanares se cruzan el principio muy Geometra
proyectiva fue originalmente destinado a encarnar. Por lo
tanto, la propiedad puede ser equivalente declar que todas
las lneas se cruzan entre s.
En general se supone que los espacios proyectivos son de por
lo menos la dimensin 2 - En algunos casos, si la atencin se
centra en los planos proyectivos, una variante del M3 puede
postularse. Los axiomas de, por ejemplo, incluyen,, y. Axiom
vuelve vacuamente verdadero bajo y por lo tanto no es
necesario en este contexto.
Axiomas de planos proyectivos
En la geometra de incidencia, la mayora de los autores dan
un tratamiento que abarca el plano PG Fano como el plano
proyectivo finito mnimo. Un sistema axiomtico que logra
esto es como sigue:

Los dos puntos distintos se encuentran en una lnea

nica.

Las dos lneas distintas se renen en un punto nico.

Existen al menos cuatro puntos de los cuales tres son no

alineados.
Fuentes de consulta:
http://docsetools.com/articulosutiles/article_113451.html
Heyting, University of Amsterdam, Netherlands
Los Contraejemplos de la Hiptesis de Riemann y su ...
https://books.google.com.mx/books?isbn=1105855015
http://es.wikipedia.org/wiki/Teor
%C3%ADa_de_conjuntos_de_Von_Neumann-Bernays-G
%C3%B6del
http://cipri.info/resources/ARTAxiomatica_Clases_Conjuntos.pdf