Академический Документы
Профессиональный Документы
Культура Документы
Jos Barrientos en el siglo VIII D.C encotro los axiomas para que todos los procedimientos
matemticos usados sean vlidos se debe partir de una base que respalde cada
procedimiento, cada paso lgico usado, y 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.
Hay tres tipos de axiomas:
Los axiomas algebraicos
Los axiomas de orden
El axioma topolgico.
El primero, trata de las propiedades de suma, multiplicacin. La resta es una consecuencia de
la suma y la division de la multiplicacion; el segundo establece un orden para los
elementos de cada conjunto dado; el tercero trata sobre la nocin de continuidad.
Existe un conjunto que tiene estas propiedades.
Axioma fundamental
Existe un conjunto que se denota por que satisface los tres tipos de axiomas mencionados,
de orden, algebraicos y topolgicos.
El conjunto que cumple con estas propiedades se llama conjunto de los Nmeros Reales y
sern los axiomas de este conjunto, las bases de una rama muy importante de
la matemtica: el Anlisis matemtico.
Se puede observar que, usando el lenguaje lgico matemtico, los teoremas que se
demuestren, sern vlidos si los axiomas son vlidos, por lo que los teoremas sern del
tipo: Si el axioma Fundamental es cierto, entonces la afirmacin es cierta.
Axiomas Algebraicos
Los axiomas algebraicos, pudindose escribir como un todo, pueden ser subdivididos en dos
tipos: los de la adicin y de la multiplicacin.
1. Axiomas de la adicin
A1.1 Para todo , existe un nico elemento, tambin en , denotado por que llamamos la suma
de e .
A1.2 para todo .
A1.3 para todo .
A1.4 Existe un elemento de , denotado por tal que para todo .
A1.5 Para cada existe un tal que .
2. Axiomas de la multiplicacin
A2.1 Para todo , existe un nico elemento, tambin en , denotado por que llamaremos el
producto de e .
A2.2 para todo .
A2.3 para todo .
A2.4 Existe un elemento de , que denotaremos por tal que
A2.5 Para cada tal que no sea cero, existe un tal que .
Axiomas de orden
Los axiomas de orden establecen una relacin de "cantidad" (vase construccin de los
naturales). Esta relacin es del tipo mayor o igual. En realidad, cuando se construyen los
naturales, se dice que un nmero es menor que otro si est contenido en ste, es decir, si
su cardinalidad es menor o igual que otra.
Para establecer una relacin de orden, es necesario introducir el smbolo que nos dir si un
nmero es mayor o menor que otro. Para la igualdad se usa el smbolo que ya
conocemos.
Se dir que o slo si es menor que . O dicho de otra forma, si es mayor que .
De manera rigurosa, se puede decir que existe un conjunto tal que si y slo si .
Se dan a continuacin los axiomas de orden
O1.1 Si , entonces se cumple una y solamente una de las siguientes afirmaciones:
; ;
O1.2 Si y adems , entonces .
O1.3 Si , entonces para todo
O1.4 Si y , entonces .
Anlisis axiomtico
El axioma (1.2) dice geomtricamente que si est a la izquierda de y ste a su vez a la
izquierda de , entonces debe estar a la izquierda de . Esta interpretacin es bastante til.
(R,+, , ) es un cuerpo ordenado.
Axioma topolgico
Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto,
demostrar la existencia de un nmero irracional, como raz cuadrada de dos por ejemplo.
Para esto es necesario el Axioma topolgico que dice lo siguiente.
Toda sucesin creciente y acotada superiormente es convergente.
Anlisis axiomtico
Hay varios conceptos en esta breve afirmacin (pero muy importante), que deben
conocerse para entender el significado de este axioma. stos, son los
desucesin, creciente, acotado superiormente y convergencia.
RAZONES Y PROPORCIONES
1. RAZONES
La razn de dos nmeros resulta de dividir ambos nmeros. Por ejemplo la
razn de 7 a 4 se escribe 7/4 o 7:4 y se lee siete es a cuatro. El primer
trmino es el antecedente y el segundo consecuente.
2. PROPORCIONES.
Consiste en la igualdad entre 2 razones y se representa de dos maneras:
a/b=c/d o a:b::c:d
Y se lee a es a b como c es a d. Los puntos a y d se llaman extremos y los
puntos b y c se llaman medios.
PROPIEDADES.
A) En toda proporcin el producto de los medios es igual al producto de los
extremos.
ad=bc
B) En toda proporcin un MEDIO es igual al producto de los eztremos dividido
por el otro MEDIO.
b= adc
C) En toda proporcin un EXTREMO Es igual al producto de los medios
dividido por el otro EXTREMO.
a=bcd
2.- si
a
---b
3
----8
calcular
4a + b3
-------------4a - b3
6. Si:
5a c = 48 y
a
b
c
----- = ----- = ----3
5
7
hallar el valor de a + b + c
8. Si: a + b c = 3 y
3
5
7
-- = ---- = --a
b
c
hallar el valor de a b + c
9. Dos nmeros son entre s como 3 es a 7 si la suma de sus cuadrados es 1450, hallar
el mayor.
BA=2 y
A2
B2
------ = -----16
25
hallar el valor de:
5
3B
-------------------A.B
10. Si