Professional Documents
Culture Documents
LOS NUMEROS
REALES.
1. Axiom
atica y consecuencias.
1.1. Definici
on de cuerpo conmutativo.
Se dice que el conjunto A, dotado de dos operaciones internas + y , tiene estructura
algebraica de cuerpo conmutativo, si:
i) La operaci
on + verifica las propiedades: asociativa, conmutativa, existencia de
elemento neutro 0 y existencia de elemento opuesto.
ii) La operaci
on verifica las propiedades: asociativa, conmutativa, distributiva respecto a la operaci
on +, existencia de elemento unidad 1 y existencia de elemento inverso
para todo elemento diferente del 0.
1.2. Definici
on de relaci
on de orden en un conjunto.
Se dice que una relaci
on R en un conjunto A es de orden si cumple las propiedades:
i) Reflexiva: xRx x A.
ii) Antisimetrica: si xRy y yRx, entonces x = y x, y A.
iii) Transitiva: si xRy y yRz, entonces xRz x, y, z A.
1.3. Definici
on de conjunto acotado.
Sea B un conjunto con una relaci
on de orden y sea A B.
Se dice que k B es una cota superior (resp. inferior) de A si x k (resp. x k)
x A.
Se dice que A est
a acotado superiormente (resp. inferiormente) en B si tiene cotas
superiores (resp. inferiores). Se dice que A est
a acotado si lo est
a superior e inferiormente.
Se llama supremo (o extremo superior) de A a la menor de todas sus cotas superiores;
si el supremo de A pertenece a A, entonces se dice que es un m
aximo de A. Se llama
nfimo (o extremo inferior) de A a la mayor de todas las cotas inferiores; si el nfimo de
A pertenece a A, entonces se dice que es un mnimo de A.
1.4. Axiom
atica o caracterizaci
on del conjunto R de los n
umeros reales.
Primer axioma: (R, +, ) tiene estructura algebraica de cuerpo conmutativo.
umeros
Segundo axioma: R contiene un subconjunto R+ , llamado el conjunto de los n
reales estrictamente positivos, tal que:
i) 0
/ R+ .
ii) si x R, entonces: o bien x R+ , o bien x = 0, o bien x R+ .
iii) si x, y R+ , entonces: x + y R+ y x y R+ .
Se define en R la relaci
on de orden de la siguiente manera: x y y x
+
R {0}.
Tercer axioma o axioma del supremo: Todo conjunto no vaco de n
umeros reales
acotado superiormente tiene supremo.
1.5. Consecuencias.
R es arquimediano: N no est
a acotado superiormente en R.
Q e I son densos en R: entre dos n
umeros reales hay infinitos n
umeros racionales
e infinitos n
umeros irracionales.
Existencia de raz n-esima positiva u
nica.
Typeset by AMS-TEX
1