FUNDAMENTOS. TEMA PRIMERO Conjuntos de nmeros naturales El 1 es un nmero natural. Todo nmero natural n tiene un sucesor n* .
n* . El 1 no es el sucesor de ningn nmero natural. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. Si el 1 pertenece a un conjunto K de nmeros naturales, y dado un elemento cualquiera n de K, el sucesor n* tambin pertenece al conjunto K, entonces todos los nmeros naturales pertenecen a ese conjunto K. (Principio de induccin).
enteros Es el mnimo conjunto que incluye al conjunto de los nmeros naturales y en el que las ecuaciones a + x = b tienen siempre solucin nica cualesquiera que sean los nmeros naturales a y b. racionales Es el mnimo conjunto que incluye al conjunto de los nmeros enteros y en el que las ecuaciones a x = b tienen siempre solucin nica, cualesquiera que sean los nmeros enteros a y b (excepto si a es el nmero 0). reales Es el mnimo conjunto que incluye al conjunto de los nmeros racionales y en el que las sucesiones crecientes acotadas tienen lmite. complejos Es el mnimo conjunto que incluye al conjunto de los nmeros reales y en el que las ecuaciones x2 + a = 0 tienen siempre solucin, cualquiera que sea el nmero a. Operaciones y sus propiedades. Conmutativa: a*b = b*a a,b Asociativa: a*(b*c) = (a*b)*c a,b,c Elemento neutro e: a*e = e*a a (Entre nmeros el neutro de la suma es 0, el del producto 1) Elementos simtricos: a,b son simtricos sii a*b = b*a = e (Si la operacin es la suma se llaman opuestos; si el producto, inversos). Distributiva: * es distributiba respecto a sii a*(bc) = (a*b)(a*c), a,b,c (Prototipo: entre nmeros la multiplicacin es distributiva respecto de la suma)
Estructuras algebraicas (distinguen conjuntos con una o varias operaciones en funcin de las propiedades de las operaciones) grupo (prototipo: el grupo de restos mdulo n dentro del conjunto de los naturales, siendo n un nmero natural cualquiera previamente fijado) (Hay que notar que los nmeros naturales no forman grupo, debido a la no existencia de opuestos) Una operacin asociativa, con neutro y con opuestos Si la operacin es adems conmutativa el grupo es conmutativo (el nombre de grupo abeliano suele reservarse para grupos conmutativos en que la operacin es precisamente la suma) anillo (prototipo: el anillo unitario conmutativo de los nmeros enteros) Grupo abeliano en el que adems se ha definido la multiplicacin La multiplicacin es asociativa y distributiva respecto de la suma Si adems hay elemento neutro para la multiplicacin el anillo es unitario Si adems la multiplicacin es conmutativa el anillo es unitario conmutativo cuerpo (prototipos: racionales, reales, complejos son cuerpos) Anillos unitarios en los que cada elemento excepto el 0 tiene su inverso. Si adems el anillo es conmutativo, el cuerpo es un cuerpo conmutativo. (En ingls la palabra correspondiente a cuerpo conmutativo es field, que en castellano se traduce como campo; pero la palabra campo se emplea a veces en otro sentido). NOTA: como se ver a lo largo del curso, estas estructuras bsicas no son las nicas. Una estructura de gran importancia prctica es la de espacio lineal o vectorial, bsicamente un grupo abeliano sobre el que operan de manera doblemente distributiva los elementos de un cuerpo. (Captulo 3) El mtodo de induccin. Se basa en el quinto axioma de Peano y se aplica a conjuntos numerables. Si el primer elemento tiene una propiedad P y si cuando un elemento la tiene tambin la tiene el siguiente , entonces la tienen todos los elementos del conjunto. (El solo razonamiento inductivo es inacabable y por tanto inconcluyente ; pero el axioma da por buena la extensin a todos los elementos de un conjunto infinito numerable).
Nmeros reales. El cuerpo de los nmeros reales Los nmeros reales se pueden sumar y multiplicar entre s. La suma y la multiplicacin son asociativas y conmutativas, y la multiplicacin es distributiva respecto de la suma. El 0 es neutro para la suma; el 1 es neutro para la multiplicacin. a + b = b + a: a + (b + c) = (a + b) + c ab=ba a (b c) = (a b) c
a (b + c) = a b + a c a+0=a a1=a
La ecuacin a + x = 0 tiene solucin nica para cada a (que es a) La ecuacin a x = 1 tiene solucin nica para cada a (que es a1) (excepto si a es 0) Propiedades de orden de los nmeros reales. Nmeros positivos y nmeros negativos De cada dos nmeros opuestos uno de ellos, y slo uno, es positivo (excepto en el caso del 0, opuesto de s mismo y que no se considera ni positivo ni negativo). La suma de dos nmeros positivos es otro nmero positivo. El producto de dos nmeros positivos es otro nmero positivo. Ordenacin El nmero a se considera mayor que el nmero b si la diferencia a b es positiva. Dados dos nmeros distintos, a y b, necesariamente uno de ellos es mayor que el otro. Se pueden representar los nmeros sobre una recta si sobre ella se fijan dos marcas distintas, una para el 0 y otra para el 1, situando los dems nmeros con relacin a las marcas de referencia. Valor absoluto. El valor absoluto de un nmero positivo es l mismo: x = x si x es positivo El valor absoluto de un nmero negativo es su opuesto: x = x si x es negativo
El valor absoluto de 0 es 0.
(El valor absoluto nunca es negativo; hay que tener en cuenta que x no indica negativo, sino opuesto de x; as que si x es negativo entonces x es positivo). Postulado de continuidad Una cota superior de un conjunto de nmeros es otro nmero no inferior a los del conjunto. Si un conjunto de nmeros tiene una cota superior, tiene infinitas; entre todas ellas hay una menor que todas las dems (Postulado de continuidad) De manera equivalente: Dados dos conjuntos no vacos de nmeros reales tales que todos los nmeros del primero son menores que cada uno de los del segundo, hay algn nmero intermedio, es decir, que no es ni menor que alguno de los del primero ni mayor que alguno de los del segundo. Si se pueden encontrar nmeros de uno y otro conjunto, uno de cada, con diferencias tan pequeas como se quiera, entonces hay un intermedio nico. Postulado de Arqumedes: dados dos nmeros positivos distintos, la suma del menor de ellos consigo mismo un nmero finito de veces llega a superar al mayor. (NOTA: en realidad se trata de una propiedad ligada al postulado de continuidad; llamarla postulado recuerda la importancia capital que tiene en la teora de nmeros reales y en cierto modo responde a razones histricas). Dado un nmero real siempre hay algn nmero natural mayor. No hay nmeros infinitamente grandes. Dado un nmero real positivo siempre hay algn otro nmero positivo menor. No hay nmeros infinitamente pequeos. Entre cada dos nmeros reales siempre hay otro nmero real y por consiguiente una infinidad de ellos. No hay nmeros infinitamente prximos (si dos nmeros son distintos, entre ellos hay infinitos nmeros)
Intervalos y entornos Si a y b son dos nmeros reales distintos y de ellos a es el menor, hay infinitos nmeros, distintos entre s y distintos tanto de a como de b, que son mayores que a y menores que b. El conjunto de todos ellos es el intervalo abierto (a,b). Entorno de un nmero es un intervalo abierto que contiene al nmero (o un conjunto que contiene algn intervalo abierto que contiene al nmero). Entornos de : Para cualquier nmero a, el conjunto de nmeros mayores que a es un entorno de +, y el conjunto de nmeros menores que a es un entorno de . Valor absoluto y entornos Las desigualdades 2 < x < 2 desigualdad x < 2 tomadas conjuntamente equivalen a la
Y la desigualdad x + 3 < 2 equivale a las desigualdades 2 < x + 3 < 2 tomadas conjuntamente, y por tanto a 5 < x < 1 El intervalo (2,6) se define mediante las desigualdades 2 < x < 6 tomadas conjuntamente, que equivalen a 2 < x 4 < 2 o bien x 4 < 2 Y x 1 < 0,2 equivale a 0,2 < x 1 < 0,2 y tambin a 0,8 < x < 1,2, que corresponde al intervalo abierto (0,8 , 1,2)
Separacin: Dados dos nmeros distintos, hay entornos, uno de cada nmero, sin puntos comunes. Para cualquier nmero, hay entornos, uno del nmero y otro de +, sin puntos comunes. Para cualquier nmero, hay entornos, uno del nmero y otro de , sin puntos comunes. Hay entornos, uno de + y otro de , sin puntos comunes.
Topologa El sistema de entornos permite establecer ciertas propiedades de separacin y posicin de los numeros reales (anlisis situs o topologa). La unin de intervalos abiertos es un intervalo abierto; la interseccin de una cantidad finita de intervalos abiertos es tambin un intervalo abierto. NOTA 1: la interseccin de todos los intervalos de la familia {(0,
1 )}n=1,2,3, , que son en n
nmero infinito, no contiene ningn elemento y por tanto es el conjunto vaco que se considera por definicin un intervalo abierto; pero la de todos los intervalos de la familia {(
1 1 , )} n=1,2,3, contiene solamente el nmero 0, que no forma l solo un intervalo abierto). n n
El conjunto de todos los nmeros reales, unin de la familia {(p,p+1)}p=,3,2,1,0, 1, 2 , 3, es un abierto, y es por definicin un intervalo abierto; de hecho se le considera como uno de los entornos de cualquiera de los nmeros). NOTA 2: cualquier sistema de subconjuntos tales que y R pertenecen al B C sistema y que la unin numerable y la interseccin finita de elementos del A B sistema es del sistema se considera como un conjunto de entornos y permite establecer la correspondiente topologa. Los intervalos abiertos son un tipo A de abiertos y dan lugar a la topologa usual de R. Si A y B son entornos de p , entonces la interseccin de A y B contiene algn entorno de p. Y q p si q est en un entorno de p, entonces algn entorno de q est contenido en el de p. (Las figuras corresponden a entornos planos; pero se puede hacer la representacin correspondiente a la recta mediante intervalos o al espacio mediante esferas).
Punto de acumulacin: P es punto de acumulacin del conjunto A si cada entorno de P contiene algn punto de A distinto del propio P. Punto de adherencia: P es punto de adherencia del conjunto A si cada entorno de P contiene algn punto de A. Punto aislado. P es aislado en A si es de A y algn entorno de P no contiene ms puntos de A que el propio P. Los puntos del conjunto y los puntos de acumulacin son puntos de adherencia; los puntos del conjunto que no son de acumulacin son aislados; los puntos de acumulacin que no son del conjunto son puntos frontera).
NOTA 3: el hecho de que dados dos reales distintos haya entornos (uno de cada) sin elementos comunes es una peculiaridad de ( ) ( ) los nmeros reales, y es esencial en los problemas de continuidad y lmites. NOTA 4: tiene gran ventaja considerar la continuidad y los lmites desde la ptica de la topologa y considerarlos en trminos de entornos.