Dia Por A Man Um Eros Reales

Conjuntos numricos La matemtica es una ciencia deductiva Axiomtica de los nmeros reales
Introduccin a los nmeros reales
Grado en Matemticas Curso 2009-2010
ndice
1
Conjuntos numricos Tienen nombre Y cuatro operaciones bsicas La matemtica es una ciencia deductiva Teoremas y demostraciones Mtodos de demostracin Axiomtica de los nmeros reales El axioma fundamental Los primeros teoremas El valor absoluto
Tienen nombre Y cuatro operaciones bsicas
Conjuntos numricos
Los nombres de los conjuntos numricos
Conjuntos numricos
Naturales representados con 0,1,2,3,4,. . .
Conjuntos numricos
Naturales representados con N 0,1,2,3,4,. . . Enteros representados con Z 0,1,-1,2,-2,3,-3,4,-4. . .
Conjuntos numricos
Naturales representados con N 0,1,2,3,4,. . . Enteros representados con Z 0,1,-1,2,-2,3,-3,4,-4. . . Racionales representados con Q los cocientes p /q donde p , q Z y q
= 0.
Conjuntos numricos
Naturales representados con N 0,1,2,3,4,. . . Enteros representados con Z 0,1,-1,2,-2,3,-3,4,-4. . . Racionales representados con Q los cocientes p /q donde p , q Z y q = 0. Reales representados con R son los ms complicados y hay varias formas de denirlos se corresponden con los decimales innitos 1,065123123123..., 3,141592653589793..., -1,414213562373095
Conjuntos numricos
Naturales representados con N 0,1,2,3,4,. . . Enteros representados con Z 0,1,-1,2,-2,3,-3,4,-4. . . Racionales representados con Q los cocientes p /q donde p , q Z y q = 0. Reales representados con R son los ms complicados y hay varias formas de denirlos se corresponden con los decimales innitos 1,065123123123..., 3,141592653589793..., -1,414213562373095 Complejos representados con C son de la forma a + bi donde a, b R y la i es un smbolo
Conjuntos numricos
Naturales representados con N 0,1,2,3,4,. . . Enteros representados con Z 0,1,-1,2,-2,3,-3,4,-4. . . Racionales representados con Q los cocientes p /q donde p , q Z y q = 0. Reales representados con R son los ms complicados y hay varias formas de denirlos se corresponden con los decimales innitos 1,065123123123..., 3,141592653589793..., -1,414213562373095 Complejos representados con C son de la forma a + bi donde a, b R y la i es un smbolo En la lista anterior cada conjunto incluye a los que le preceden (eventualmente, mediante identicaciones adecuadas de los elementos)
Las cuatro operaciones

En cada conjuntos pueden realizarse las cuatro operaciones: sumar, restar, multiplicar y dividir. Son operaciones binarias: a partir de una pareja de elementos del conjunto generan un nuevo elemento en el conjunto.

En cada conjuntos pueden realizarse las cuatro operaciones: sumar, restar, multiplicar y dividir. Son operaciones binarias: a partir de una pareja de elementos del conjunto generan un nuevo elemento en el conjunto. No todas pueden realizarse para cualquier pareja de elementos

En cada conjuntos pueden realizarse las cuatro operaciones: sumar, restar, multiplicar y dividir. Son operaciones binarias: a partir de una pareja de elementos del conjunto generan un nuevo elemento en el conjunto. No todas pueden realizarse para cualquier pareja de elementos La suma siempre es posible.

En N la resta no puede hacerse para todas las parejas. En Z, Q, R y C siempre es posible.

En N la resta no puede hacerse para todas las parejas. En Z, Q, R y C siempre es posible. La resta es la operacin inversa de la suma: a + x = b.

En cada conjuntos pueden realizarse las cuatro operaciones: sumar, restar, multiplicar y dividir. Son operaciones binarias: a partir de una pareja de elementos del conjunto generan un nuevo elemento en el conjunto. No todas pueden realizarse para cualquier pareja de elementos La suma siempre es posible. El producto siempre es posible.

En Z el cociente puede hacerse ciertas parejas. En Q, R y C siempre es posible.

En Z el cociente puede hacerse ciertas parejas. En Q, R y C siempre es posible. Cociente es la operacin inversa del producto: ax = b .
Propiedades de suma y producto

Conmutativa a + b
=
b + a,
= =
ab
ba
Asociativa (a + b ) + c (a b ) c Distributiva (a + b ) c
a + (b + c ), = a (b c ) ac
+b
Neutros suma: el 0 pues a + 0 = a, producto: el 1 pues a 1 = a Simtricos suma: simtrico de a es a pues a + (a) = 0, producto: simtrico de a = 0 es 1/a pues a (1/a) = 1 En adelante escribiremos ab en lugar de a b . En C se opera formalmente como en R y polinomios arbitrarios en el smbolo i con el convenio de que i 2 = 1
Teoremas y demostraciones Mtodos de demostracin
La matemtica es una ciencia deductiva

En las ciencias inductivas el corpus de la teora se construye a partir de la sistematizacin de fenmenos aislados, buscando leyes que expliquen los fenmenos que se analizan y que permitan hacer predicciones sobre esos mismos fenmenos. Sus conclusiones pueden variar con el tiempo.

En las ciencias inductivas el corpus de la teora se construye a partir de la sistematizacin de fenmenos aislados, buscando leyes que expliquen los fenmenos que se analizan y que permitan hacer predicciones sobre esos mismos fenmenos. Sus conclusiones pueden variar con el tiempo. Las matemticas son deductivas: parten de unos axiomas precisos y construyen sobre ellos, respetando ciertas leyes o reglas de juego, conocimiento intemporal. El punto de partida puede inspirarse en la realidad fsica o mental, pero a partir de ah inicia el vuelo libremente, despojndose de lo accesorio, creando nuevos conocimientos a travs de los teoremas.

En las ciencias inductivas el corpus de la teora se construye a partir de la sistematizacin de fenmenos aislados, buscando leyes que expliquen los fenmenos que se analizan y que permitan hacer predicciones sobre esos mismos fenmenos. Sus conclusiones pueden variar con el tiempo. Las matemticas son deductivas: parten de unos axiomas precisos y construyen sobre ellos, respetando ciertas leyes o reglas de juego, conocimiento intemporal. El punto de partida puede inspirarse en la realidad fsica o mental, pero a partir de ah inicia el vuelo libremente, despojndose de lo accesorio, creando nuevos conocimientos a travs de los teoremas. Los axiomas de partida pueden ser diferentes. Y consecuentemente diferentes pueden ser tambin los teoremas de ellos deducidos. Pero incluso se puede tomar como axioma lo que en otras construcciones es un teorema.
El conocimiento no se basa en la experiencia, que puede ser engaosa.
Se basa en los teoremas que crean conocimiento seguro, no discutible.

Los nmeros de la forma n2 n + 17 al variar n N son primos.

Los nmeros de la forma n2 n + 17 al variar n N son primos. Si n es primo entonces 2n 1 tambin es primo


Si n es par entonces n2 tambin es par


Si n es par entonces n2 tambin es par Si n es compuesto entonces 2n 1 tambin es compuesto

Los nmeros de la forma n2 n + 17 al variar n N son primos. Si n es primo entonces 2n 1 tambin es primo Todo nmero par es suma de dos primos

Si n es par entonces n2 tambin es par Si n es compuesto entonces 2n 1 tambin es compuesto
Teoremas y demostraciones
El conocimiento se desarrolla con los teoremas.
El conocimiento se desarrolla con los teoremas. Los teoremas se basan en las verdades aceptadas en los axiomas o en teoremas anteriormente demostrados a partir de los axiomas. Es la cadena del conocimiento matemtico.
El conocimiento se desarrolla con los teoremas. Los teoremas se basan en las verdades aceptadas en los axiomas o en teoremas anteriormente demostrados a partir de los axiomas. Es la cadena del conocimiento matemtico. En un teorema hay tres elementos Hiptesis Es un enunciado que se asume como cierto
El conocimiento se desarrolla con los teoremas. Los teoremas se basan en las verdades aceptadas en los axiomas o en teoremas anteriormente demostrados a partir de los axiomas. Es la cadena del conocimiento matemtico. En un teorema hay tres elementos Hiptesis Es un enunciado que se asume como cierto Tesis Es un enunciado cuya certeza se desconoce, pero se sospecha como cierto
El conocimiento se desarrolla con los teoremas. Los teoremas se basan en las verdades aceptadas en los axiomas o en teoremas anteriormente demostrados a partir de los axiomas. Es la cadena del conocimiento matemtico. En un teorema hay tres elementos Hiptesis Es un enunciado que se asume como cierto Tesis Es un enunciado cuya certeza se desconoce, pero se sospecha como cierto Demostracin Es el proceso que permite obtener la certeza de la tesis a partir de la certeza de la hiptesis. Para realizarlo se hace uso de los axiomas o de otros teoremas anteriormente establecidos.
Mtodos de demostracin
Directo. H T . Ejemplo: Si n es par entonces n2 es par.
Directo. H T . Ejemplo: Si n es par entonces n2 es par. Recproco. El de H T es T H . Recproco del ejemplo precedente: Si n2 es par entonces n es par.
Directo. H T . Ejemplo: Si n es par entonces n2 es par. Recproco. El de H T es T H . Recproco del ejemplo precedente: Si n2 es par entonces n es par. Contrarecproco. H T es equivalente a noT noH Ejemplo: Si a R es un nmero irracional entonces a tambin es irracional.
Directo. H T . Ejemplo: Si n es par entonces n2 es par. Recproco. El de H T es T H . Recproco del ejemplo precedente: Si n2 es par entonces n es par. Contrarecproco. H T es equivalente a noT noH Ejemplo: Si a R es un nmero irracional entonces a tambin es irracional. Reduccin al absurdo. Para probar la veracidad de una proposicin A, consiste en suponer noA y construir una proposicin C de modo que C y noC son ciertas. Ejemplo: 2 es irracional.
El axioma fundamental Los primeros teoremas El valor absoluto
El axioma de los nmeros reales

Axioma Existe un cuerpo totalmente ordenado y completo que recibe el nombre de cuerpo de los nmeros reales y se denota por R.

Axioma Existe un cuerpo totalmente ordenado y completo que recibe el nombre de cuerpo de los nmeros reales y se denota por R. Cuerpo: dos operaciones internas en
1 2 3 4 5 6
R la suma y el producto:
x (yz ) = (xy )z x R 0. Notacin x
= = =
Asociativa: x
+ (y + z ) = (x + y ) + z , +y =
Conmutativa: x
Existe 0 R tal que x
+ x,
xy x,
=
yx
x R existe x R tal que x Existe 1 R, 1 = 0 tal que 1x
+0=
+x =
x R con x = 0 existe x R tal que xx Notacin x = x 1 , x R Distributiva (x

+ y )z =
1.
xz
+ yz .

Axioma Existe un cuerpo totalmente ordenado y completo que recibe el nombre de cuerpo de los nmeros reales y se denota por R.
R denotada con que cumple

1 2 3 4 5 6
Totalmente ordenado signica que existe una relacin binaria en Reexiva: x x Antisimtrica: si x y y tambin y x , entonces x
=
Transitiva: si x y y tambin y z , entonces x z Si x y entonces x

+z
Para cada pareja x , y R se cumple x y o bien y x y

+z
para todo z R
Si x y entonces xz yz siempre que 0 < z (0 z y z
0)

Axioma Existe un cuerpo totalmente ordenado y completo que recibe el nombre de cuerpo de los nmeros reales y se denota por R. Completo signica que todo conjunto A R acotado superiormente y no vaco tiene supremo. A si dice que est acotado superiormente si existe b R tal que a b , a A
R se dice supremo de A si a , a A y cualquier otro b R con la propiedad de que a b , a A necesariamente cumple que b .
Teorema En R se verican las siguientes propiedades:

1 2
Los elementos neutros son nicos. Las frmulas a = b y a b 0 son equivalentes. 1 Si b = 0 tambin lo son a = b y a = 1. b c < 0 equivale a c > 0. a0 = 0 para todo a R.
(1)a = =
3 4 5 6 7 8 9
a y por tanto (a)b
(ab ).
Si a b y c d entonces a + c b + d. a b a b. Si c < 0 entonces a b y ac bc son equivalentes. Si a = 0 entonces aa > 0; en particular 1 > 0. 1 1 1 a > 0 > 0. Si b > 0 entonces a b . a a b
10
Denicin Un subconjunto no vaco A R se dice acotado inferiormente si existe M R tal que M a para todo a A. Cualquier valor M que cumpla la relacin anterior se llama una cota inferior de A. Si existe R que es cota inferior de A y adems cumple que M para cualquier otra cota inferior M de A, entonces se llama nmo de A y se denota en la forma = nf A. Teorema Si en un cuerpo ordenado se verica el axioma del supremo, entonces todo subconjunto no vaco acotado inferiormente tiene nmo.
Denicin Un conjunto I R se llama inductivo si cumple las siguientes condiciones: 0 I. Si x I entonces x Denicin
+1
I.
N :=
{I
donde I es un conjunto inductivo de
R}.
Cualquier subconjunto S N que satisfaga las siguientes propiedades

1 2
Teorema (Mtodo de induccin)
0 S, si n S entonces n + 1 S,
=
verica que S
N.
Enteros y racionales subconjuntos de
Denicin El conjunto de los nmeros enteros Z y el de los nmeros racionales Q estn denidos del siguiente modo:
1 2
m denota indistintamente como o como m/n. n Teorema (Propiedad arquimediana)
Z := {n R : n N, o bien n N} 1 1 Q := {m n : m Z y n N \ {0}}. El nmero real m n
se
El cuerpo R tiene la propiedad arquimediana, es decir, dados x , y R, con 0 < y , existe n N tal que x < ny .
La parte entera
Teorema Todo subconjunto no vaco A de
N tiene primer elemento.
Corolario Para cada x R existe un nico nmero entero m que verica m x < m + 1. Denicin Sea x R, el nico nmero entero m que verica m x <m+1 se llama parte entera de x y se denota con [x ], es decir [x ] := m.
Densidad en
Teorema Si x , y R, con x < y , entonces existe r Q tal que x < r < y . Teorema Existe un nmero R \ Q tal que 2
=
2. Adems
= sup{0 r Q : r 2 < 2} Teorema Si x , y R, x < y , entonces existe z R\Q tal que x < z < y .
El valor absoluto
Denicin |x | := x si x 0 x si x < 0
Teorema Para cada par de elementos x , y de

1 2
R se cumplen:
=
|x | = | x | 0
y |x | > 0 si x
0. |x | = m ax{x , x }
4 5 6
|xy | = |x ||y |. 1 1 = . x |x | |x | a a x a |x
+ y|
|x | + |y | (desigualdad triangular).
|x | |y | |x y |
J. M. Mira; B. Cascales y S. Snchez-Pedreo http://ocw.um.es/ciencias/analisis-matematico-i

Dia Por A Man Um Eros Reales

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Dia Por A Man Um Eros Reales

Enviado por

Direitos autorais:

Formatos disponíveis

Conjuntos numricos La matemtica es una ciencia deductiva Axiomtica de los nmeros reales

Introduccin a los nmeros reales

Grado en Matemticas Curso 2009-2010

Introduccin a los nmeros reales

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

En N la resta no puede hacerse para todas las parejas. En Z, Q, R y C siempre es posible.

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

En Z el cociente puede hacerse ciertas parejas. En Q, R y C siempre es posible.

Introduccin a los nmeros reales

Tienen nombre Y cuatro operaciones bsicas

Las cuatro operaciones

Tienen nombre Y cuatro operaciones bsicas

Propiedades de suma y producto

Teoremas y demostraciones Mtodos de demostracin

La matemtica es una ciencia deductiva

Introduccin a los nmeros reales

Teoremas y demostraciones Mtodos de demostracin

La matemtica es una ciencia deductiva

Introduccin a los nmeros reales

Teoremas y demostraciones Mtodos de demostracin

La matemtica es una ciencia deductiva

Teoremas y demostraciones Mtodos de demostracin

La matemtica es una ciencia deductiva

El conocimiento no se basa en la experiencia, que puede ser engaosa.

Se basa en los teoremas que crean conocimiento seguro, no discutible.

Introduccin a los nmeros reales

Teoremas y demostraciones Mtodos de demostracin

La matemtica es una ciencia deductiva

El conocimiento no se basa en la experiencia, que puede ser engaosa.

Se basa en los teoremas que crean conocimiento seguro, no discutible.

Introduccin a los nmeros reales

Teoremas y demostraciones Mtodos de demostracin