Nombre: ZAMBRANO RODRGUEZ LUIS DAVID Docente: ING. ARCESIO ORTIZ Carrera: 2 do ING MECNICA Materia: DIBUJO TECNICO
AXIOMA Los axiomas son verdades incuestionables universalmente vlidas y evidentes, que se utilizan a menudo como principios en la construccin de una teora o como base para una argumentacin. La palabra axioma deriva del sustantivo griego, que significa "lo que parece justo" o "lo que se considera evidente, sin necesidad de demostracin". El trmino viene del verbo griego (axioein), que significa "valorar", que a su vez procede de (axios): "valioso", "vlido" o "digno". Entre los filsofos griegos antiguos, un axioma era lo que pareca verdadero sin necesidad de prueba alguna. En muchos contextos, axioma es sinnimo de postulado, ley o principio. Un sistema axiomtico es el conjunto de axiomas que definen una determinada teora y que constituyen las verdades ms simples de las cuales se demuestran los nuevos resultados de esa teora. Los sistemas axiomticos tienen un papel importante en las ciencias exactas, sobre todo en Matemticas y en Fsica, y los resultados demostrados en mltiples teoras de estas ciencias generalmente se llaman teoremas o leyes. Entre las diversas axiomticas de la Matemtica y de la Fsica ganaron notoriedad los principios de Euclides en Geometra clsica, los axiomas de Peano en Aritmtica, las leyes de Newton en Mecnica clsica y los postulados de Einstein en la Teora de la relatividad. Existen sistemas axiomticos en muchas otras ciencias. Por ejemplo, en Teora de la comunicacin, Paul Watzlawick y sus colegas presentaron los axiomas de la comunicacin, que definen los efectos conductuales de la comunicacin humana.
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. GEOMETRA NO EUCLIDIANA 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 espacio tiempo, siendo mayor la curvatura cerca de las concentraciones de masa, lo cual es percibido como un campo gravitatorio atractivo.
Los modelos de geometra no euclidiana son modelos matemticos de geometra que no cumplen el quinto postulado de Euclides, el que establece que dos rectas paralelas son equidistantes. En los modelos geomtricos hiperblicos (geometra hiperblica), dos rectas paralelas son divergentes; y en modelos geomtricos elpticos (geometra elptica), no existen lneas paralelas que pasen por un punto exterior. La geometra euclidiana se fundamenta en la nocin de "plano euclidiano". El equivalente en geometra elptica es una esfera, donde las lneas son circunferencias (por ejemplo la lnea del ecuador o los meridianos del globo terrqueo), y puntos opuestos uno del otro son identificados (considerados ser el mismo). La pseudoesfera tiene la curvatura apropiada para modelar la geometra hiperblica.