IRMA ZULAY CEVALLOS AVILEZ

PT-22 1

Axioma

En matemtica, 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 entre las consideradas verdades evidentes porque permiten deducir las dems frmulas. La presentacin tradicional de la geometra euclidiana se hace en un formato axiomtico. Un sistema axiomtico es aqul que, a partir de un cierto nmero de proposiciones que se presuponen evidentes (conocidas comoaxiomas) y mediante deducciones lgicas, genera nuevas proposiciones cuyo valor de verdad es tambin lgico. Los axiomas son ciertas frmulas en un lenguaje que son

universalmente vlidas, esto es, frmulas que son satisfechas por cualquier estructura y por cualquier funcin variable. En trminos coloquiales, son enunciados que son verdaderos en cualquier mundo posible, bajo cualquier interpretacin posible y con cualquier asignacin de valores. Usualmente se toma como axiomas un conjunto mnimo de tautologas que son suficientes para probar una teora.
Ejemplo En el clculo proposicional es comn tomar como axiomas lgicos todas las frmulas siguientes, donde , , y pueden ser cualquier frmula en el lenguaje: 1. 2. 3. Cada uno de estos patrones es un esquema de axiomas, una regla para generar un nmero infinito de axiomas. Por ejemplo, si p, q, y r son variables proposicionales, entonces y son instancias del esquema 1 y por lo tanto son axiomas. Puede probarse que con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, alguien puede probar todas las tautologas del clculo proposicional, tambin puede probarse que ningn par de estos esquemas es suficiente para probar todas las tautologas utilizando modus ponens. Este conjunto de esquemas axiomticos tambin es utilizado en el clculo de predicados pero son necesarios ms axiomas lgicos. Ejemplo: Sea un lenguaje de primer orden. Para cada variable , la frmula es universalmente valida. Esto significa que, para cualquier smbolo variable , la frmula puede considerarse un axioma. Para no caer en la vaguedad o en una serie infinita de "nociones primitivas", primeramente se necesita ya sea una idea de lo que queremos decir con o definir un uso puramente formal y sintctico del smbolo , y de hecho, la lgica matemtica lo hace. Ejemplo: Otro ejemplo interesante, es el de la instanciacin universal. Para una frmula en un lenguaje de primer orden , una variable y un trmino que es sustituible por en , la frmula es vlida universalmente. En trminos informales, este ejemplo nos permite afirmar que si conocemos que una cierta propiedad se cumple para toda y que si es un objeto particular en nuestra estructura, entonces deberamos ser capaces de afirmar . De nuevo, estamos afirmando que la frmula es vlida, esto es, debemos ser capaces de dar una prueba de este hecho, o mejor dicho, una meta prueba. De hecho, estos ejemplos son meta teoremas de nuestra teora de la lgica matemtica ya que nos referimos meramente al concepto de demostracin en s. Adems de esto, tambin podemos tener una generalizacin existencial: GEOTRIA ING. HCT LARA GAVILANEZ OR

IRMA ZULAY CEVALLOS AVILEZ Esquema axiomtico: Para una frmula en un lenguaje de primer orden

PT-22 , una 2

variable y un trmino que es sustituible por en , la es universalmente vlida. Los axiomas de Peano o postulados de Peano son un conjunto de axiomas aritmticos ideados por Giuseppe Peano en el siglo XIX. Estos axiomas se han utilizado prcticamente sin cambios en diversas investigaciones matemticas, incluyendo cuestiones acerca de la consistencia y completitud de la aritmtica y la teora de nmeros. Los cinco axiomas o postulados de Peano son los siguientes: 1. El 1 es un nmero natural. 2. Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural. 3. El 1 no es el sucesor de ningn nmero natural. 4. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. 5. Si el 1 pertenece a un conjunto, y dado un nmero natural cualquiera, el sucesor de ese nmero tambin pertenece a ese conjunto, entonces todos los nmeros naturales pertenecen a ese conjunto. Este es el axioma de induccin, y captura la idea de induccin matemtica. Hay un debate sobre si considerar al 0 como nmero natural o no. Generalmente se decide en cada caso, dependiendo de si se lo necesita o no. Cuando se resuelve incluir al 0, entonces deben hacerse algunos ajustes menores: 1. El 0 es un nmero natural. 2. Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural. 3. El 0 no es el sucesor de ningn nmero natural. 4. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. 5. Si el 0 pertenece a un conjunto, y dado un nmero natural cualquiera, el sucesor de ese nmero tambin pertenece a ese conjunto, entonces todos los nmeros naturales pertenecen a ese conjunto.

Postulado
Un postulado es una proposicin que no es evidente por s misma ni est demostrada, 1 pero que se acepta ya que no existe otro principio al que pueda ser referida. Es diferente de un axioma que, en un sistema hipottico-deductivo, es toda proposicin que no se deduce de otra, sino que constituye una regla general de pensamiento lgico, por oposicin a los postulados.2 Tambin se denomina postulado a los principios sustentados por una determinada persona, un grupo, o una organizacin.Por ejemplo, en filosofa o psicologa, los diferentes enfoques o escuelas suelen diferenciarse en una serie de proposiciones de carcter filosfico. A estas se les llama postulados, como definiciones de carcter opcional que delimitan una concepcin de cada disciplina (tipo de mtodo que utiliza, concepcin de su objeto de estudio, etc.) As, la cognicin, modificacin de conducta o Gestalt tienen distinto punto de partida sobre qu es la mente, la personalidad o la conducta y, a partir de estos postulados, se desarrollo toda la teora. Toda ciencia suele tener unos puntos de partida de carcter filosfico; incluso la fsica, al considerar que existen reglas constantes que podemos definir. Euclides plante cinco postulados en su sistema: 1. Dados dos puntos se puede trazar una y solo una recta que los une. 2. Cualquier segmento puede prolongarse de manera continua en cualquier sentido. 3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio. 4. Todos los ngulos rectos son iguales. GEOTRIA ING. HCT LARA GAVILANEZ OR

IRMA ZULAY CEVALLOS AVILEZ

PT-22 3

5. Si una recta, al cortar a otras dos, forma ngulos internos menores a dos ngulos rectos, esas dos rectas prolongadas indefinidamente se cortan del lado en el que estn los ngulos menores que dos rectos. Este ltimo postulado, que es conocido como el postulado de las paralelas, fue reformulado como: 5. Por un punto exterior a una recta, se puede trazar una nica paralela a la recta dada. Este postulado parece menos obvio que los otros cuatro, y muchos gemetras, incluidoel propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negndolo, surgieron dos nuevas geometras: laelptica, tambin llamada geometra de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperblica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada). Los postulados son frmulas especficas de una teora y se aceptan solamente por acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo, losnmeros naturales y los nmeros enteros pueden poseer los mismos axiomas, sin embargo, los postulados expresan lo que es esencial de una estructura, o un conjunto de estru cturas. Los postulados, a diferencia de los axiomas lgicos, no son tautologas. Cualquier teora matemtica moderna se fundamenta en un conjunto de postulados y aunque se pensaba que, en principio, cualquier teora poda ser axiomatizada y formalizada, posteriormente esto se demostr imposible. En matemtica, son clebres los postulados de Euclides, expuestos en los Elementos, el tratado fundamental de la geometra clsica. Siglos despus, cuando fue cuestionado el quinto postulado de Euclides, surgi la llamada geometra no euclidiana. Existen otros, como el postulado de Bertrand referente a los nmeros primos, o los postulados de Cauchy, enunciados por el matemtico Augustin Louis Cauchy referentes a vectores.

Teorema
Esta imagen muestra la relacin entre las cadenas de caracteres, las frmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las frmulas bien formadas. Un teorema es una afirmacin que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la matemtica. Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusin, una afirmacin matemtica, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relacin que existe entre la hiptesis y la te sis o conclusin. Se llamar corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado. Terminologa En matemtica una afirmacin debe ser interesante o importante dentro de la comunidad matemtica para ser considerada un teorema. Las afirmaciones menos importantes se denominan:  Lema: una afirmacin que forma parte de un teorema ms amplio. El lema de Gauss y el lema de Zorn, por ejemplo, son considerados demasiado imp ortantes per se para algunos autores, por lo cual consideran que la denominacin lema no es adecuada. GEOTRIA ING. HCT LARA GAVILANEZ OR

IRMA ZULAY CEVALLOS AVILEZ

 Corolario: una afirmacin que sigue inmediatamente a

PT-22 4

un teorema. Una proposicin A es un corolario de una proposicin o teorema B si A puede ser deducida sencillamente de B.  Proposicin: una afirmacin o resultado no asociado a ningn teorema en particular. Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se denomina conjetura o hiptesis. Por ejemplo: la conjetura de Goldbach o la hiptesis de Riemann. Teoremas dentro de la lgica matemtica Un teorema requiere de un marco lgico; este marco consistir en un conjunto de axiomas (sistema axiomtico) y un proceso de inferencia, el cual permite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente. En lgica matemtica y lgica proposicional, cualquier afirmacin demostrada se denomina teorema. Ms concretamente en lgica matemtica se llama demostracin a una secuencia finita de frmulas bien formadas (frmulas lgicas bien formadas) F1, ...,Fn, tales que cada Fi es o bien un axioma o bien un teorema que se sigue de dos frmulas anteriores Fj y F k (tales que j<i y k<i) mediante una regla de deduccin. Dada una demostracin como la anterior si el elemento final Fn no es un axioma entonces es un teorema. Resumiendo lo anterior puede decirse formalmente, un teorema es una frmula bien formada, que no es un axioma, y que puede ser el elemento final de alguna demostracin, es decir, un teorema es una frmula lgica bien formada para la cual existe una demostracin.

Corolario

Un corolario (del latn corollarium, n. = la adicin, el regaldo; gnero: neutro; plural: corolarios) es un trmino que se utiliza en las matemticas y en la lgica, para designar la evidencia de unteorema o definicin ya demostrada, sin necesidad de tener que invertir esfuerzo adicional en su demostracin. A menudo se trata de una inferencia, si bien la distincin entre teorema y corolario es tan subjetiva como entre lema y teorema.

Ejemplo
A la afirmacin: La suma de los ngulos interiores de un tringulo es igual a 180. Le sigue el corolario. En un tringulo rectngulo la suma de los dos ngulos contiguos a la hipotenusa es igual a 90. Dado que la hipotenusa es la arista que se encuentra "frente" al ngulo de 90, la suma de los ngulos del tringulo contiguos a la misma es igual a 180 - 90 = 90.

Punto
La interseccin de los ejes de coordenadas cartesianas es un punto llamado origen. En geometra, el punto es uno de los entes fundamentales, junto con la recta y el plano. Son considerados conceptos primarios, o sea, que slo es posi le describirlos en b relacin con otros elementos similares. Se suelen describir apoyndose en los postulados caractersticos, que determinan las relaciones entre los entes geomtricos fundamentales. El punto es una figura geomtrica adimensional: no tiene longitud, rea, volumen, ni otro ngulo dimensional. No es un objeto fsico. Describe una posicin en el espacio, determinada respecto de un sistema de coordenadas preestablecido.

Historia
GEOTRIA ING. HCT LARA GAVILANEZ OR

IRMA Z

El p d p , m g m i , g l ig p i g i g d l g m , mpil d l d p Euclid u d L El m , d d una d inici n d punto xcluy nte: lo ue no tiene ninguna parte. El punto, en la geometra cl ica e asa en la idea de ue era un concepto intuitivo, el ente geom trico sin dimensiones, y slo era necesario asumir la nocin de punto. Esa cuestin ue anali ada por . . W itehead en: na investigacin sobre los principios naturales de conocimiento n Inquiry oncerning the Principles of atural Knowledge), y El concepto de la aturaleza The concept of ature). En estos libros se expone la relacin de inclusin. En Proceso y ealidad Process and eality) Whitehead propone un nuevo enfoque basado en la relacin de conexin topolgica. Tambi n . J. chmidt plantea una visin totalmente distinta del punto geom trico.

epresentacin grfica En algunos textos de geometra se suele utilizar una pequea cruz +), crculo o), cuadrado o tringulo. En relacin a otras figuras, suelen representarse con un pequeo segmento perpendicular cuando pertenece a una recta, semirrecta o segmento. los puntos se les suele nombrar con una letra may scula: , , , etc. a las rectas con letras minsculas, y a los ngulos con letras griegas). La forma de representar un punto mediante dos segmentos que se cortan una pequea cruz +) presupone que el punto es la interseccin. uando se representa con un pequeo crculo, circunferencia, u otra figura geom trica, presupone que el punto es su centro. eterminacin geom trica n punto puede determinarse con diversos sistemas de referencia: En el sistema de coordenadas cartesianas, se determina mediante las distancias ortogonales a los ejes principales, que se indican con dos letras o nmeros: x, y) en el plano; y con tres en el espacio x, y, z). En coordenadas polares, mediante su distancia al centro y la medida angular respecto del eje de referencia: r, ). En coordenadas esfricas, mediante su distancia al centro y la medida angular respecto de los ejes de referencia: r, , ) En coordenadas cilndricas, mediante coordenadas radial, acimutal y altura: , , z). Tambin se pueden emplear sistemas de coordenadas elpticas, parablicas, esferoidales, toridales, etc.

Puntos, rectas y planos: posiciones relativas En funcin de sus posiciones relativas, existen dos tipos de puntos: colineales y coplanarios. Los denominados colineales son aquellos contenidos en una recta, no importando cuantos puntos sean mientras estn alineados y dentro de la recta. e denominan puntos coplanarios a aquellos que estn contenidos en un mismo plano.

Una recta es una sucesin infinita de puntos, situados en una misma direccin. Una recta tiene una sola dimensin: la longitud . Las rectas se nombran mediante dos de sus puntos o por una letra minscula. os puntos determinan una recta. Una recta indica una direccin y dos sentidos contrarios. En geometra euclidiana, la recta o lnea recta, es el ente ideal que se extiende en una misma direccin, existe en una sola dimensin y contiene infinitos puntos; est compuesta de infinitos segmentos el fragmento de lnea ms corto que une dos puntos). Tambin se describe como la sucesin continua e indefinida de puntos en una sola dimensin, o sea, no posee principio ni fin. Es uno de los entes geomtricos fundamentales, junto al punto y el plano. on considerados conceptos GEOTRIA ING. HCT OR LARA GAVILANEZ

Recta

 $ & & $ ! % $ !  # " !                  ( $ $ 4 $ $ $ % 1  6 5 0 $

              
AY CEVALLOS AVILEZ

PT-22 5

'

# 2

) 

IRMA ZULAY CEVALLOS AVILEZ

PT-22 6

apriorsticos ya que su definicin slo es posible a partir de la descripcin de las caractersticas de otros elementos similares. As, es posible elaborar definiciones basndose en los Postulados caractersticos que determinan relaciones entre los entes fundamentales. Las rectas se suelen denominar con una letra minscula. Las lneas rectas pueden ser expresadas mediante unaecuacin del tipo y = m x + b, donde x, y son variables en un plano. En dicha expresin m es denominada la "pendiente de la recta" y est relacionada con la inclinacin que toma la recta respecto a un par de ejes que definen el plano. Mientras que b es el denominado "trmino independiente" u "ordenada al origen" y es el valor del punto en el cual la recta corta al eje vertical en el plano. Definiciones y postulados de Euclides relacionados con la recta Euclides, en su tratado denominado Los Elementos,1 establece varias definiciones relacionadas con la lnea y la lnea recta: Una lnea es una longitud sin anchura (Libro I, definicin 2). Los extremos de una lnea son puntos (Libro I, definicin 3). Una lnea recta es aquella que yace por igual respecto de los puntos que estn en ella (Libro I, definicin 4). Tambin estableci dos postulados relacionados con la lnea recta: Por dos puntos diferentes slo pasa una lnea recta (Libro I, postulado 1). Si una recta secante corta a dos rectas formando a un lado ngulos interiores, la suma de los cuales es menor que dos ngulos rectos: las dos rectas, suficientemente alargadas, se cortarn en el mismo lado (Libro I, quinto postulado).

  

 

Caractersticas de la recta
  

Algunas de las caractersticas de la recta son las siguientes: La recta se prolonga al infinito en ambos sentidos. La distancia ms corta entre dos puntos est en una lnea recta, en la geometra euclidiana. La recta es un conjunto de puntos situados a lo largo de la interseccin de dos planos.

Geometra analtica de la recta en el plano

La Geometra analtica consiste en emplear operaciones de clculo para resolver problemas de geometra. En un plano, podemos representar una rect mediante una a ecuacin, y determinar los valores que cumplan determinadas condiciones, por ejemplo, las de un problema de geometra.

Ecuacin de la recta
En una recta, la pendiente es siempre constante. Se calcula mediante la ecuacin:

Se puede obtener la ecuacin de la recta a partir de la frmula de la pendiente (ecuacin punto-pendiente):

sta forma de obtener la ecuacin de una recta se suele utilizar cuando se conocen su pendiente y las coordenadas de uno de sus puntos, o cuando se conocen slo los dos puntos, por lo que tambin se le llama ecuacin de la recta conocidos dos puntos, y se l e GEOTRIA ING. HCT LARA GAVILANEZ OR

IRMA ZULAY CEVALLOS AVILEZ

PT-22 7

debe a ean Baptiste Biot. La pendiente m es la tangente de la recta con el eje de abscisas X. La ecuacin de la recta que pasa por el punto dada m es: y tiene la pendiente

Ejemplo
La ecuacin de la recta que pasa por el punto A (2, 4) y que tiene una pendiente de 1 / 3. Al sustituir los datos en la ecuacin, resulta lo siguiente:

Forma simplificada de la ecuacin de la recta

Si se conoce la pendiente m, y el punto donde la recta corta al eje de ordenadas es ( , b), 0 podemos deducir, partiendo de la ecuacin general de la recta,y y1 = m(x x1):

sta es la segunda forma de la ecuacin de la recta y se utiliza cuando se conoce la pendiente y la ordenada al origen, que llamaremosb. Tambin se puede utilizar esta ecuacin para conocer la pendiente y la ordenada al origen a partir de una ecuacin dada.

Plano
En geometra, un plano es el ente ideal que slo posee dos dimensiones, y contiene infinitos puntos y rectas; es uno de los entes geomtricos fundamentalesjunto con el punto y la recta. Solamente puede ser definido o descrito en relacin a otros elementos geomtricos similares. Se suele describir apoyndose en lospostulados caractersticos, que determinan las relaciones entre los entes geomtricos fundamentales. . Cuando se habla de un plano, se est haciendo referencia a la superficie geomtrica que no posee volumen (es decir, que es slo bidimensional) y que posee un nmero infinito de rectas y puntos que lo cruzan de un lado al otro. Sin embargo, cuando el trmino se utiliza en plural, se est hablando de aquel material que es elaborado como una representacin grficade superficies de diferente tipo. Los planos son especialmente utilizados en ingeniera, arquitectura y diseo ya que sirven para diagramar en una superficie plana otras superficies que son regularmente tridimensionales. Un plano queda definido por los siguientes elementos geomtricos: Tres puntos no alineados. Una recta y un punto exterior a ella. Dos rectas paralelas. GEOTRIA ING. HCT LARA GAVILANEZ OR

  

IRMA ZULAY CEVALLOS AVILEZ



PT-22 8

Dos rectas que se cortan. Los planos suelen nombrarse con una letra del alfabeto griego. Suele representarse grficamente, para su mejor visualizacin, como una figura delimitada por bordes irregulares (para indicar que el dibujo es una parte de una superficie infinita). Ecuacin del plano Un plano queda definido por los siguientes elementos geomtricos: un punto y dos vectores Punto P = (x1, y1, z1) Vector u = (a 1, b1, c1) Vector v = (a2, b2, c2)

sta es la forma vectorial del plano, sin embargo la forma ms utilizada es lareducida, resultado de igualar a cero el determinante formado por los dos vectores y el punto genrico X = (x, y, z) con el punto dado. De esta manera la ecuacin del plano es:

Donde (A, B, C) es un vector perpendicular al plano, coincide con el producto vectorial de los vectores u y v. la frmula para hallar la ecuacin cuando no est en el origen es:

Posicin relativa entre dos planos Si tenemos un plano 1 con un punto A y un vector normal 1, y tambin tenemos un plano 2 con un punto B y un vector normal 2. Sus posiciones relativas pueden ser:  Planos coincidentes: la misma direccin de los vectores normales y el punto A pertenece al plano 2.  Planos paralelos: si tienen la misma direccin los vectores normales y el punto A no pertenece al plano 2.  Planos secantes: si los vectores normales no tienen la misma direccin.

GEOTRIA

ING. HCT LARA GAVILANEZ OR