Está en la página 1de 12

CONSTRUCCIN GEOMTRICA

La Tradicin Euclidiana quiere que toda construccin geomtrica sea realizada con regla no graduada y comps. Esto est relacionado con la concepcin griega de nmero real que era enteramente geomtrica, de hecho esta concepcin ya constitua una clasificacin de los nmeros reales; pues haban encontrado nmeros como TE que no podan construirse usando solamente regla y comps. La construccin de nmeros con regla (no graduada) y comps, significa determinar la longitud x de un segmento de recta, a partir de las longitudes a, b, c, ... dados de otros segmentos de recta, mediante un proceso finito del uso de la regla y el comps. As, un nmero real se denominar constructible (con regla y comps) si representa la longitud de un segmento de recta, obtenido despus de un nmero finito de construcciones geomtricas con regla y comps. Estas construcciones evidentemente se refieren a trazar rectas, trazar circunferencias, interceptar rectas, interceptar una recta y una circunferencia, interceptar dos circunferencias; que las llamaremos operaciones de construccin. Diremos que un punto (P,Q) del Plano Cartesiano XY es constructible, si cada coordenada de dicho punto es un nmero constructible.

EJEM PLO : Si OA = a y AB = b, entonces podemos construir OB

con OB = a + b.

Para construir los segmentos de la longitud ab y ab necesitamos recordar algunas construcciones que pasaremos a describir: 1) Por un punto P exterior a una recta L trazar una recta paralela a L. Con centro en P trazamos una circunferencia que corta en A a la recta L. Con el mismo radio y con centro en A trazamos otra circunferencia que corta a L en el punto B. Con el mismo radio y con centro en el punto B trazamos otra circunferencia que corta a la primera en el punto Q. La recta PQ es paralela a L.

2) Por un punto P trazar una perpendicular a una recta L. Con centro en P trazamos una circunferencia que corte . a L en los puntos A y B; luego trazamos arcos de circunferencias del mismo radio con centros en A y B; para obtener el punto Q. La recta PQ es perpendicular a L.

3) Divisin de un segmento en partes iguales

Para dividir un segmento de recta OA en m partes iguales, trazamos una semi-recta OZ y sobre ella construimos con el comps los segmentos OP1, P1P2, P2P3, ,Pm-1Pm, todos de la misma longitud. Luego trazamos el segmento PmA y por cada P i , 1 i m - 1 trazamos paralelas al segmento PmA; los cuales determinarn A1 y A2 Am-1 en OA que dividirn OA en m partes iguales.

4) Construccin de un segmento cuya longitud es la media geomtrica de las longitudes de dos segmentos dados Sean OA = a, AB = b las longitudes de dos segmentos, deseamos construir un segmento cuya longitud sea igual a ab. Trazamos una circunferencia de dimetro OB y luego por el punto A trazamos una perpendicular a OB que corta en H a la circunferencia. Entonces AH = ab

Definicin: Denotamos por F el conjunto de todos los nmeros constructibles, F es cerrado con las multiplicacin y divisin. Un conjunto como F con esas propiedades, se denomina un campo; es claro que el conjunto R de los nmeros reales y el subconjunto Q R de los nmeros racionales son campos. Si tomamos un segmento OA de longitud 1; vemos que todos los nmeros racionales son tambin constructibles, as que Q F Adems como 2 es la longitud de la hipotenusa de un tringulo rectngulo de catetos de longitud 1, entonces tenemos que 2 F como sabemos que 2 Q, entonces concluimos que Q F (contenido propiamente). operaciones de adicin, resta,

Tambin podemos concluir que todos los puntos (r, s) del plano XY, cuyas coordenadas son nmeros racionales, son puntos constructibles. En efecto, construyamos el punto (r, s), donde r=pq , s=ab en p, q, a, b Z Es suficiente con construir los puntos pq, 1 y 1,ab

CONSTRUCCIN AXIOMTICA

NMEROS NATURALES Histricamente, se han realizado propuestas para axiomatizar la nocin habitual de nmeros naturales, de entre las que destacan las de Peano y la construccin a partir de la teora de conjuntos. Los axiomas de Peano rigen la estructura nmeros naturales sin necesidad de otra teora (por ejemplo, la de conjuntos) ni de las nociones aritmticas de suma o equivalencia. Requiere, eso s, de la nocin previa de sucesor. Los cinco axiomas de Peano son: 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 de nmeros A, y adems siempre se verifica que: dado un nmero natural cualquiera que est en A, su sucesor tambin pertenece a A; entonces A es precisamente el conjunto de todos los nmeros naturales. Este es el axioma de induccin, que captura la idea de induccin matemtica. En teora de conjuntos se define al conjunto de los nmeros naturales como el mnimo conjunto que es inductivo. La idea es que se pueda contar haciendo una biyeccin desde un nmero natural hasta el conjunto de objetos que se quiere contar. Es decir, para dar la definicin de nmero 2, se requiere dar un ejemplo de un conjunto que contenga precisamente dos elementos. Esta definicin fue proporcionada por Bertrand Russell, y ms tarde simplificada por Von Neumann quien propuso que el candidato para 2 fuera el conjunto que contiene solo a 1 y a 0. Formalmente, un conjunto x se dice que es un nmero natural si cumple 1. Para cada ,

2. La relacin

es un orden total estricto en x

3. Todo subconjunto no vaco de x tiene elementos mnimo y mximo en el orden Se intenta pues, definir un conjunto de nmeros naturales donde cada elemento respete las convenciones anteriores. Primero se busca un conjunto que sea el representante del 0, lo cual es fcil ya que sabemos que con el uso del concepto de sucesor. Se define-segn Halmos- entonces que el conjunto vaco es un nmero natural que se denota por 0 y que cada nmero natural n tiene un sucesor denotado como n expresiones:
+

no contiene

elementos. Luego se definen los siguientes elementos de una manera ingeniosa

. Estas ideas quedan formalizadas mediante las siguientes

De esta manera, cada elemento de algn nmero natural es un nmero natural; a saber, un antecesor de l. Por ejemplo: Por definicin 0 = {} (lo cual refuerza el hecho de que 0 no tiene antecesores) 1 es el sucesor de 0, entonces 2 es el sucesor de 1, pero 1 es {0}, entonces

y en general

Esto permite establecer una relacin de orden entre los elementos del conjunto a pesar de que un conjunto es por naturaleza un agregado de elementos desordenados. Se define esta relacin mediante la expresin

es decir que un nmero a es menor o igual que b si y slo si b contiene a todos los elementos de a. Tambin se puede usar otra definicin ms inmediata a partir del hecho de que cada nmero natural consta de sus antecesores. As si y slo si .

sa es la construccin formal de los naturales que garantiza su existencia como conjunto a la luz del desarrollo axiomtico Zermelo-Fraenkel. El postulado de los conjuntos infinitos asegura la validez de la tcnica de demostracin conocida como induccin matemtica.

NMEROS RACIONALES Si se necesita adems dividir, surgen los nmeros racionales (o fraccionarios, o quebrados), Q = {... 1/2, 5/3, 8/10, 238476/98745, ...... } Los racionales se obtienen a partir de los enteros aadiendo los inversos para la multiplicacin. La suma de dos racionales a/b y c/d se define como a/b+c/d=(ad+cb)/bd. El producto de dos racionales a/b y c/d se define como ac/bd. Dos nmeros racionales a/b y c/d son iguales si y slo si ad=bc. (En todo lo anterior, a, b, c y d denotan nmeros enteros) Un nmero racional se dice que est expresado mediante una fraccin irreducible si el numerador y el denominador no tienen factores comunes. De este modo, el conjunto de los racionales, con las operaciones de suma y producto tiene estructura de cuerpo conmutativo.

En Q se pueden resolver todas las ecuaciones lineales, es decir, aqullas de la forma ax+b=0, con a y b racionales. En Q se puede definir un orden total compatible con las operaciones suma y producto definidas anteriormente y que extienda el orden existente en en . Para ello basta con definirlo como sigue: Dados dos nmeros racionales a/b y c/d, donde b y c son enteros positivos (esto siempre puede conseguirse, por ejemplo, si b es negativo basta con multiplicar a y b por -1 para obtener un nmero racional igual que el dado pero con denominador positivo), se dice que si y slo si respecto del orden existente en el y

conjunto de los enteros. Por tanto Q con dicho orden es un conjunto totalmente ordenado. NMEROS IRRACIONALES Hay nmeros que no son racionales, es decir que no pueden ser expresados como cociente de dos nmeros enteros. Por ejemplo, piensa en el nmero cuya representacin decimal es 0.1234567891011121314151617181920........ claramente, esta representacin decimal no es exacta ni peridica, por tanto no puede corresponderse con ningn nmero racional. Veamos otros ejemplos. 2

Se trata de un ejemplo tpico de nmero no racional con una demostracin muy sencilla de que, en efecto, no puede ser racional

En el siguiente recuadro puedes ver las primeras 100 cifras decimales de 2. Adems se muestra una manera de construir el nmero 2 sobre la recta real con regla y comps y finalmente se da una serie de nmeros racionales que converge hacia 2.

NMEROS REALES En matemticas, los nmeros reales (designados por R) incluyen tanto a los nmeros racionales (positivos y negativos y el cero) como a los nmeros irracionales (trascendentes, algebraicos), que no se pueden expresar de manera fraccionaria y tienen infinitas cifras decimales no peridicas, tales como: .

Los nmeros reales pueden ser descritos y construidos de varias formas, algunas simples aunque carentes del rigor necesario para los propsitos formales de matemticas y otras ms complejas pero con el rigor necesario para el trabajo matemtico formal. Existen diferentes formas de construir el conjunto de los nmeros reales a partir de axiomas, siendo la caracterizacin ms comn mediante las siguientes tres propiedades:

Un conjunto las siguientes tres condiciones: 1. 2. Si Si es un campo.

es el conjunto de los nmeros reales si satisface

es un conjunto totalmente ordenado y el orden es compatible con las operaciones del campo: entonces y entonces ; .

3. El conjunto K es completo: satisface el axioma del supremo: Todo conjunto no vaco y acotado superiormente tiene un supremo. Las primeras dos condiciones definen el concepto de campo ordenado, mientras que la tercera propiedad es de naturaleza topolgica y es la que diferencia al conjunto de los nmeros reales de todos los dems campos ordenados. Hay que hacer notar que, en principio pueden existir diferentes conjuntos que satisfagan las mismas condiciones y que podran ser diferentes al conjunto de los nmeros reales, pero un teorema establece que si eso sucediera, ambas estructuras seran esencialmente la misma. En vista de lo anterior podemos hablar de el conjunto de los nmeros reales (y no de un conjunto de nmeros reales) y estableciendo su unicidad se puede usar el smbolo para representarlo.

Al enunciar la tercera propiedad en ocasiones se especifica que

es

completo en el sentido de Dedekind, pues existen otros axiomas que se pueden usar y que, asumiendo las primeras dos condiciones, todos son lgicamente equivalentes. Algunos de estos son: (Cauchy) El conjunto K cumple que cualquier sucesin de Cauchy es convergente. (Bolzano-Weierstrass) El conjunto K cumple que cualquier sucesin acotada tiene una subsucesin convergente. Cualquier sucesin decreciente de intervalos cerrados tiene interseccin no vaca. Cada una de las primeras dos propiedades mencionadas al inicio de la seccin corresponden a su vez a otra serie de axiomas, de modo que si se hace un desglose, puede caracterizarse el conjunto de los nmeros reales como un conjunto que satisfaga la siguiente lista de axiomas. 1. Si 2. Si 3. Si suma) 4. Existe 5. Para cada aditivo) 6. Si 7. Si 8. Si multiplicacin) 9. Existe multiplicativo) 10. Para cada (Inverso multiplicativo) existe un elemento tal que de manera que para cualquier (Neutro , entonces , entonces , entonces (Cerradura en la multiplicacin) (Conmutatividad en la multiplicacin) (Asociatividad en la de manera que existe un elemento para todo tal que (Neutro aditivo) (Inverso , entonces , entonces , entonces (Cerradura en la suma) (Conmutatividad en la suma) (Asociatividad en la

11. Si 12. Si 13. Si 14. Si 15. Si multiplicacin) 16. Si , y

, entonces

(Distributividad de la

multiplicacin en la suma) , entonces se cumple slo una de estas: (Tricotoma)

entonces

(Transitividad) (Monotona en la suma)

, entonces y , entonces

(Monotona en la , entonces

es un conjunto no vaco acotado superiormente en tiene supremo en (Axioma del supremo)

Los axiomas del 1 al 15 corresponden a la estructura ms general de cuerpo ordenado. El ltimo axioma es el que distingue ordenados como . de otros cuerpos