Teora de conjuntos

Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza: "dada una parte propia de los mismos, sta contiene un nmero de elementos menor que todo el conjunto". Es decir, no puede establecerse una biyeccin entre una parte propia del conjunto finito y todo el conjunto. Sin embargo, esa propiedad "intuitiva" de los conjuntos finitos no la tienen los conjuntos infinitos, y formalmente se dice que: Un conjunto es infinito si existe un subconjunto propio de , es decir, un subconjunto tal que , tal que existe una biyeccin entre y .

La idea de cardinalidad de un conjunto se basa en la nocin anterior de biyeccin. De dos conjuntos entre los que se puede establecer una biyeccin se dice que tienen la misma cardinalidad. Para un conjunto finito su cardinalidad puede representarse por un nmero natural. Por ejemplo, el conjunto {manzana, pera, durazno} tiene 3 elementos. Esto significa de modo ms formal que se puede establecer una biyeccin entre tal conjunto y el nmero 3 que es el conjunto {0,1,2}:

Dicho de otra forma, es posible hacer parejas (0, manzana), (1, pera), (2, durazno) de modo que cada elemento de los dos conjuntos se utilice exactamente una vez. Cuando es posible establecer tal relacin "uno a uno" entre dos conjuntos se dice que ambos conjuntos tienen la misma cardinalidad, lo cual, para conjuntos finitos, equivale a que tengan el mismo nmero de elementos.

Primera definicin positiva de conjunto infinito

La primera definicin positiva de conjunto infinito fue dada por Georg Cantor y se basa en la siguiente observacin: Si un conjunto S es finito y T es un subconjunto propio, no es posible construir una biyeccin entre S y T. Por ejemplo, si S = {1,2,3,4,5,6,7,8} y T = {2,4,6,8} no es posible construir una biyeccin entre S y T, porque de ser as tendran la misma cardinalidad (el mismo nmero de elementos). Un conjunto es infinito si es posible encontrar un subconjunto propio del mismo que tenga la misma cardinalidad que el conjunto original. Consideremos el conjunto de los nmeros naturales N={1,2,3,4,5,...}, el cual es un conjunto infinito. Para verificar tal afirmacin es necesario encontrar un subconjunto propio y construir una biyeccin entre ambos. Para este caso, consideremos el conjunto de enteros positivos pares P={2,4,6,8,10,...}. El conjunto P es un subconjunto propio de N, y la regla de asignacin es una biyeccin:

ya que a todo elemento de N le corresponde un nico elemento de P y viceversa.

Nmeros ordinales infinitos

Artculo principal: Nmero ordinal (teora de conjuntos).

Los nmeros ordinales sirven para notar una posicin en un conjunto ordenado (primer, segundo, tercer elemento ...). El ejemplo ms elemental es el de los nmeros naturales, que se definen rigurosamente as: Se nota el conjunto vaco:

se nota el conjunto que slo contiene :

luego se nota el conjunto que slo contiene y :

Y as sucesivamente:

Por construccin, 0 est incluido en 1, quin a su vez est incluido en 2, ya que obviamente:

La inclusin permite convertir a los ordinales en un conjunto bien ordenado (dos elementos distintos siempre se pueden comparar, y aadiendo la igualdad dara un orden total) entre estos conjuntos que se prefiere, por costumbre, escribir "<", lo que da las relaciones 0 < 1 < 2 < 3. Decir que un ordinal es menor (estrictamente) que otro significa, cuando se les considera a ambos como conjuntos, que est incluido en el otro. Si a y b son ordinales, entonces aUb, la unin de los conjuntos, tambin es un ordinal. En particular, si son ordinales finitos (conjuntos finitos) correspondientes a los naturales a y b, entonces aUb corresponde al mayor de los dos, a o b. En general, si los conjuntos ai son ordinales, donde i toma todos los valores de un conjunto I, entonces a = Uai tambin lo

ser. Y si el conjunto I no es finito, tampoco lo ser a. As obtendremos ordinales (o sea nmeros) infinitos. Acabamos de caer en una "trampa", al hablar de conjunto finito sin definir el concepto. Para definirlo rigurosamente, debemos compararlo con los ordinales. Dos conjuntos bien ordenados A y B son isomorfos (con relacin al orden) si existe una biyeccin f entre ambos que respeta el orden: si a < a' en A, entonces f(a) < f(a) en B. Resulta obvio constatar que si A es un conjunto ordenado con n elementos (n entero natural) entonces A es isomorfo an = {0, 1, 2, ..., n-1}. Basta con renombrar cada elemento de A para obtener A = {a0, a1, a2, ..., an-1}. Un isomorfismo es meramente un cambio de apelacin. Diremos que un ordinal es finito si cada una de sus partes no vacas tiene un elemento mximo. Por lo tanto todo natural es un ordenal finito. La intuicin nos dice que no hay otros ordenales finitos. Lgicamente, diremos que un conjunto ordenado es finito si es isomorfo a un ordinal finito, o sea a un natural. Para introducir los ordinales infinitos, es preciso dar ahora la definicin exacta de un ordinal: Un conjunto A totalmente ordenado (por la inclusin) es un ordinal si y slo si cada elemento de A es tambin un subconjunto de A Ya vimos que es el caso para los naturales: Por ejemplo, el conjunto 2 = {0, 1} admite 1= {0}, como elemento y por lo tanto tambin como subconjunto. Todo conjunto bien ordenado es isomorfo a un ordinal. Esto es obvio en el caso finito, y se muestra por induccin transfinita que lo es en el caso infinito. O sea, renombrando los elementos de un conjunto bien ordenado siempre obtenemos un ordinal.

Primer ordinal infinito

Ya hemos visto que una unin cualquiera de ordinales es un ordinal. Si tomamos una unin finita de ordinales finitos, fabricamos un ordinal finito. Para obtener el primer ordinal infinito tenemos que reunir un nmero no finito de ordinales finitos. Hacindolo, siempre caemos en el mismo conjunto, construido al reunir todos los ordinales finitos, es decir los naturales. El conjunto de todos los naturales, , es pues el primer ordinal infinito, lo que no debera sorprender, y lo notamos en este contexto (omega). Para visualizar los ordinales, resulta muy prctico representar cada uno por un punto de una sucesin creciente convergente, como por ejemplo un = 1 - 1/(n+1). Esto da algo semejante a: X__________X_________X_______X______X______X_____X____X___X__X_ X_XXX........

Escojamos un punto de la sucesin, y miremos cuantos puntos estn ms a la izquierda. En el ejemplo, hay cuatro, y por lo tanto se trata de u4, lo que corresponde al ordinal 4. Para representar el ordinal w, resulta natural aadir a la sucesin previa un punto 'O' situado exactamente en el lmite de la sucesin: X__________X_________X_______X______X______X_____X____X___X__X_ X_XXX...O A la izquierda de uw hay una infinidad de puntos, por lo tanto w es infinito. Pero si elegimos a cualquier otro punto de la sucesin a su izquierda, ya no es el caso, lo cual prueba que w es el primer ordinal infinito. Despus de w llega w+1, w+2 ... que se representan aadiendo a la derecha uno dos o ms puntos, inicialmente distantes, y luego ms cercanos entre s: X________X________X_______X______X______X_____X____X___X__X_X_ XXX...O_______X_____X El ltimo punto dibujado corresponde a w+2. Ms generalmente, para sumar dos ordinales A y B se cambian los nombres de los elementos para que sean todos distintos, luego se juntan los conjuntos A y B, poniendo B a la derecha de A es decir imponiendo que cada elemento de B sea mayor que todos los de A. As hemos construido w+1, ... y as podemos construir 1+w: Notemos Y el elemento de 1, y X los de w: Y__________X__________X_________X_______X______X______X_____X___ _X___X__X_X_XXX... Salta a la vista que w y 1+w son muy parecidos. De hecho la funcin x x - 1 realiza un isomorfismo entre ellos (1+w tiene dos elementos llamados 0: 0A y 0B. El primero hace el papel de -1 en la funcin). Por lo tanto corresponden al mismo ordinal: 1+w = w. Mas no es el caso de w+1, que es distinto de w porque su el conjunto w+1 tiene un elemento mximo (el O del dibujo) mientras que el conjunto w no lo tiene (el lmite de los naturales no es un natural). El punto w (el O del dibujo) no tiene antecesor, es decir que no existe un n tal que n+1=w: se dice que w es un ordinal lmite. Cero tiene tambin esta propiedad pero no merece esta apelacin. Como w+1 1+w, la adicin no es conmutativa en los ordinales. Se construye del mismo modo w + w que se nota lgicamente 2w. La multiplicacin se define a partir de la adicin como para los naturales. Una vez que se ha representado nw, con n natural, no resulta demasiado difcil imaginar lo que ser w.w, escrito w2. Luego se puede definir wn, con n natural, y, tomando el lmite, ww, tiene tantos elementos como la recta real.

La sucesin

tiene como lmite

Nmeros cardinales infinitos

Artculo principal: Nmero cardinal (teora de conjuntos).

El cardinal de un conjunto es el nmero de elementos que contiene. Esta nocin es por lo tanto distinta del ordinal, que caracteriza el lugar de un elemento en una sucesin. "Cinco" difiere de "quinto" aunque obviamente existe una relacin entre ambos. Se dice que dos conjuntos tienen el mismo cardinal si existe una biyeccin entre ellos. Contrariamente a los ordinales, esta biyeccin no tiene que respetar el orden (adems los conjuntos no tienen que ser ordenados). Como ya tenemos un surtido de conjuntos -los ordinales- veamos sus tamaos (o sea sus cardinales) respectivos. No es ninguna sorpresa que los ordinales finitos tambin son cardinales: entre dos conjuntos con n y m elementos, m y n distintos, no puede haber biyeccin, por lo tanto tienen cardinales distintos. Pero no es el caso con los ordenales infinitos: Por ejemplo, y estn en biyeccin por la funcin:

y , tal biyeccin no respeta el orden, por eso dos ordinales distintos pueden corresponder a un mismo cardinal. Se suele notar |A| el cardinal de A. Se llama (alef0) el cardinal de w, o sea del conjunto de los naturales (donde alef es la primera letra del alfabeto hebreo). Si A y B son conjuntos, entonces , donde x designa el producto cartesiano de los conjuntos, y "" es el producto de los cardinales definidos por esta frmula. El conjunto de las partes de un conjunto A, P(A) est en biyeccin con el conjunto de las funciones de A hacia {0,1}, conjunto que de escribe 2A, como caso particular de YX que denota el conjunto de las aplicaciones de X hacia Y. El cardinal de R, conjunto de los reales, es por lo tanto 2alef0, porque R est en biyeccin con las partes de N, por medio de la escritura decimal de los reales. No se puede decidir, con los axiomas clsicos (los de la teora de los conjuntos, fundamentos de la matemtica), si existe un cardinal mayor que alef0 y menor que 2alef0, es decir si existe un conjunto con ms elementos que N pero con menos elementos que R. La hiptesis del continuo, que es un axioma adicional, afirma que no.

Anlisis matemtico
Anlisis estndar u ordinario

Un conjunto de nmeros reales S es acotado superiormente si existe un nmero c (la cota) tal que c es mayor que todo elemento de S (Por ejemplo, si S={ ; 7 ; } entonces S es un conjunto acotado, ya que el nmero c=10 cumple que <10, 7<10, <10). Cuando un conjunto no es acotado, para cualquier nmero c es posible encontrar de modo que c < x. El concepto de infinito se introduce como una cota especial para este tipo de conjuntos. Este concepto de infinito se representa con el smbolo . Tambin es utilizado en el Anlisis matemtico cuando se quiere expresar que los trminos de una sucesin ordenada, o los valores que toma una funcin al tomar la variable dependiente valores cercanos a uno fijado previamente "diverge" ("tiende a infinito", o su lmite es infinito). En este contexto, se considera para representar al lmite que tiende a infinito y al lmite cuando tiende a 0; y no al nmero 0). Para recordar las reglas de lmite se suele entonces acudir a las siguientes reglas nemotecnias: (aqu "x" representa un n real cualquiera)

, Si Si

, entonces

y y

. .

Las identidades anteriores son perfectamente formalizables en el anlsis no-estndar asociado a los nmeros hiperreales. Lmites indeterminados (no es posible determinar a priori su valor como en el resto de los ejemplos, no hay un valor asignado):

Anlisis no-estndar

Artculo principal: Anlisis no-estndar.

El anlisis no-estndar amplia la teora de los nmeros reales. Desde el punto de vista lgico los nmeros reales pueden ser entendidos como un lenguaje formal en el que se da por supuesto la existencia de ciertos objetos y en el cual se puede deducir la existencia de otros objetos. En trminos de lenguajes formales el anlisis no-estndar es una extensin lgica de la teora ordinaria de los nmeros reales que adems es conservadora (en el sentido que sus teoremas deducibles coinciden con los deducibles en la teora ordinaria de los nmeros reales). Si bien esta extensin parece antieconmica desde el punto de vista de la navaja de Ockham, ya que la complicacin introducida no altera la clase de teoremas bsicos sobre los nmeros reales ordinarios, realmente permite hacer demostraciones ms breves, derivar resultados ms fcilmente que en la teora ordinaria y frecuentemente ms intuitiva en trminos lgicos. En el seno del anlisis no estndar se introduce un predicado nuevo st() y tres nuevos axiomas que describen el uso de dicho predicado. Gracias a ese predicado el conjunto de nmeros descritos por el lenguaje forman se puede dividir en "elementos estndar" para los cuales (r es estndar si st(r) es cierto) y "elementos no estndar" (r es no estndar si st(r) es cierto). Los elementos estndar tienen esencialmente las mismas propiedades que los nmeros reales ordinarios, mientras que los elementos no estndar incluyen nmeros especiales algunos de los cuales como infinitesimales o como nmeros ilimitados (infinitos). La ventaja de la estructura lgica del anlisis no estndar es que se pueden usar dichos nmeros y ser empleados en deducciones sin inconsistencia alguna (a diferencia de las reglas heursticas del clculo infinitesimal tradicional antes de la formalizacin del siglo XIX). En el anlisis no estndar pueden definirse nmeros que intuitivamente se comportan como nmeros infinitos gracias a al predicado st() " es estndar". Por ejemplo un nmero ilimitado r satisface que "para cualquier nmero e del conjunto y cualquier nmero natural estndar resulta que ne < r", formalmente:

Obviamente el nmero r no puede ser estndar, ya que para nmeros estndar se tiene que "para cualquier nmero e y cualquier r existe un natural tal que ne > r, formalmente:

Ntese que en esta expresin no aparece el predicado "estndar" st(), y por tanto es formalizable en la teora ordinaria, mientras que la nocin de nmero ilimitado no es formalizable en la teora ordinaria por carecer esta teora del predicado st(). Anlogamente en el anlisis no-estndar pueden definirse nmeros infinitesimales, ms pequeos en valor absoluto que cualquier nmero estndar positivo. De hecho el inverso de un nmero ilimitado es siempre un nmero infinitesimal.

Lmite infinito
Observemos la funcin f(x)=1/x2 para valores de x positivos muy grandes.
x 100 1.000 10.000 100.000 f(x) 1,0x10-4 1,0x10-6 1,0x10-8 1,0x10-10

Si tomamos x cada vez mayor, f(x) est cada vez ms cerca de 0. Si x es suficientemente grande podemos conseguir que f(x) se acerque a 0 tanto como queramos. Decimos que f(x) tiende a 0 cuando x tiende a infinito.

1.000.000 1,0x10-12

Veamos a continuacin las definiciones precisas de cada uno de los lmites que involucran al infinito.

Definicin
Lmite infinito Caso 1:

limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) > A. El lmite de f(x) cuando x->a es infinito positivo, si para cualquier nmero positivo A (tan grande como se quiera), podemos encontrar un nmero tal que, para todos los x dentro del entorno reducido de a de radio se cumple que f(x) es mayor que A. En otras palabras, si para cualquier nmero positivo A que consideremos, existe un entorno reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede hacerse mayor que cualquier nmero, con tal de que x se acerque lo suficiente a a. Por eso se dice que el lmite de f(x) cuando x tiende a a es +inf.

Caso 2:

limx->af(x) = -inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) < -A.

Caso 3:

limx->+inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) > A.

Para cualquier nmero positivo A (por grande que sea), es posible encontrar un nmero positivo B tal que para todos los x mayores que B, f(x) es mayor que A. Es decir que f(x) puede ser mayor que cualquier nmero, si x es lo suficientemente grande.

Caso 4

limx->+inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) < -A.

Caso 5:

limx->-inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) > A.

Caso 6:

limx->-inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) < -A.

Caso 7:

limx->+inff(x) = b <=> para todo > 0 existe B > 0 / para todo x > B f(x) pertenece al Eb,.

Caso 8:

limx->-inff(x) = b <=> para todo > 0 existe B > 0 / para todo x < -B f(x) pertenece al Eb,.