Infinito

El smbolo de infinito (Unicode U+221E), tambin llamado lemniscata, en diferentes fuentes. Para el canal de televisin por cable, vase Infinito (canal de televisin). El concepto de infinito aparece en varias ramas de la filosofa,1 la matemtica y la astronoma,2 en referencia a una cantidad sin lmite o final, contrapuesto al concepto de finitud.3 En matmaticas el infinito aparece de diversas formas: en geometra, el punto al infinito en geometra proyectiva y el punto de fuga en geometra descriptiva; en anlisis matemtico, los lmites infinitos, o lmites al infinito; y en teora de conjuntos como nmeros transfinitos. 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 decimos que: Un conjunto subconjunto y . es infinito si existe un subconjunto propio tal que de , es decir, un entre

, tal que existe una biyeccin

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={0,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={0,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 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

: y :

el conjunto que slo contiene

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_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_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 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 + 1 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 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

. .

Lmites indeterminados (no es posible determinar a priori su valor como en el resto de los ejemplos, no hay un valor asignado):

Infinito en informtica De manera relacionada con el infinito para nmeros reales, algunos lenguajes de programacin admiten un valor especial que recibe el nombre de infinito: valor que se puede obtener como resultado de ciertas operaciones matemticas no realizables, tales como las descritas en el punto anterior u operaciones tericamente posibles, pero demasiado complejas para su trabajo en el ordenador/lenguaje en cuestin. En otros lenguajes simplemente se producira un error. Historia:El smbolo de infinito

John Wallis fue el primer matemtico en usar el smbolo de infinito en sus obras. Los orgenes del smbolo de infinito son inciertos. Dado que la forma se asemeja a la curva lemniscata (del latn lemniscus, es decir cinta), se ha sugerido que representa un lazo cerrado. Tambin se cree posible que la forma provenga de otros smbolos alqumicos o religiosos, como por ejemplo ciertas representaciones de la serpiente urboros. El matemtico John Wallis fue el primero en usar el smbolo para representar al infinito en su tratado De sectionibus conicus en 1655. Se ha querido ver tambin una banda de Mbius en su forma, aunque el smbolo se us durante cientos de aos antes de que August Mbius descubriera la banda que lleva su nombre. El smbolo de infinito se representa en Unicode con el carcter (U+221E). Cronologa4 Ao Acontecimiento

350 d.C. Aristteles rechaza un infinito real. 1639 1655 Grard Desargues introduce la idea del infinito en la geometra. Se atribuye a John Wallis haber sido el primero en utilizar el smbolo para el infinito.

1874

Georg Cantor especifca, en la teora de conjuntos, distintos rdenes de de infinito.

http://es.wikipedia.org/wiki/Infinito

Funciones trigonomtricas
Fecha de primera versin: 09-04-98 Fecha de ltima actualizacin: 14-11-00

Si construimos diferentes tringulos rectngulos cuyos ngulos sean iguales pero con lados de tamaos diferentes y calculamos las relaciones entre sus lados, veremos que las relacione son independiente del tamao del tringulo.

A la relacin BC/AC se le llama seno

La grfica de la funcin seno es A la relacin AB/AC se le llama coseno.

La grfica de la funcin coseno es A la relacin BC/AB se le llama tangente.

La grfica de la funcin tangente es A la relacin AC/BC se le llama cosecante (es la reciproca del seno).

La grfica de la funcin cosecante es A la relacin AC/AB se le llama secante (es la reciproca del coseno).

La grfica de la funcin secante es A la relacin AB/BC se le llama cotangente (es la reciproca de la tangente).

La grfica de la funcin cotangente es La propiedad ms importante de estas funciones es la periodicidad (sus valores se repiten cada cierto intervalo). Como en la Naturaleza hay muchos fenmenos peridicos (el movimiento de los planetas, el movimiento circular, las vibraciones, etc.) estas funciones aparecen muy frecuentemente.

Funciones inversas de las funciones trigonomtricas

La funciones inversas de las funciones trigonomtricas son: arcoseno, arcocoseno, arcotangente, arcocosecante, arcosecante y arcocotangente.

La grfica de la funcin arcoseno es:

La grfica de la funcin arcocoseno es:

La grfica de la funcin arcotangente es:

La grfica de la funcin arcocosecante es:

La grfica de la funcin arcosecante es:

La grfica de la funcin arcocotangente es:

La funciones inversas de las funciones trigonomtricas son: arco seno, arco coseno, arco tangente, arco cosecante, arco secante y arco cotangente.
http://www.telefonica.net/web2/lasmatematicasdemario/Analisis/Funciones/Funtri.htm