Ideas Matemáticas

PDF generado usando el kit de herramientas de fuente abierta mwlib. Ver http://code.pediapress.com/ para mayor información. PDF generated at: Thu, 08 Sep 2011 14:25:42 UTC

Contenidos
Artículos
Sistema de numeración decimal Teoría de la computabilidad Derivación numérica Integración Geometría euclidiana Aritmética modular Variable Geometría analítica Cero Teoría de juegos Estadística aplicada Criptografía Ley de gravitación universal Óptica Número complejo Ecuación diferencial PageRank Detección y corrección de errores Transformada de Fourier Código binario Teoría de la probabilidad Estadística Fractal Teoría del caos Autómata celular 1 3 5 6 27 29 33 33 39 46 57 57 62 68 74 81 84 87 92 97 99 101 109 117 120

Referencias
Fuentes y contribuyentes del artículo Fuentes de imagen, Licencias y contribuyentes 125 126

Licencias de artículos
Licencia 128

Sistema de numeración decimal

1

Sistema de numeración decimal
El sistema de numeración decimal, también conocido como sistema decimal, es un sistema de numeración posicional en el que las cantidades se representan utilizando como base el número diez, por lo que se compone de diez cifras diferentes: cero (0); uno (1); dos (2); tres (3); cuatro (4); cinco (5); seis (6); siete (7); ocho (8) y nueve (9). Este conjunto de símbolos se denomina números árabes, y es de origen hindú. Excepto en ciertas culturas, es el sistema usado habitualmente en todo el mundo y en todas las áreas que requieren de un sistema de numeración. Sin embargo hay ciertas técnicas, como por ejemplo en la informática, donde se utilizan sistemas de numeración adaptados al método de trabajo como el binario o el hexadecimal. También pueden existir en algunos idiomas vestigios del uso de otros sistemas de numeración, como el quinario, el duodecimal y el vigesimal. Por ejemplo, cuando se cuentan artículos por docenas, o cuando se emplean palabras especiales para designar ciertos números; en francés, por ejemplo, el número 80 se expresa «quatre-vingt», «cuatro veintenas», en español. Según los antropólogos, el origen del sistema decimal está en los diez dedos que tenemos los humanos en las manos, los cuales siempre nos han servido de base para contar. El sistema decimal es un sistema de numeración posicional, por lo que el valor del dígito depende de su posición dentro del número. Así:

Los números decimales se pueden representar en la recta real.

Sistema decimal en el idioma español
Para el separador decimal, la Real Academia Española aconseja: Para separar la parte entera de la decimal debe usarse la coma, según establece la normativa internacional: El valor de π es 3,1416. No obstante, también se admite el uso anglosajón del punto, extendido en algunos países americanos: El valor de π es 3.1416. Diccionario panhispánico de dudas - Primera edición (octubre 2005) También se suele utilizar la coma alta ( ' ) como separador. En número π seria 3'1416. Como separador de millares, lo más usual en español es utilizar un punto, un subíndice 1 como separador de millones, un subíndice 2 como separador de billones, 3 de trillones, etc. No obstante la RAE aconseja la separación mediante espacios para que no haya confusión con los decimales, agrupándolos cada tres dígitos (exceptuando números de 4 cifras): Al escribir números de más de cuatro cifras, se agruparán estas de tres en tres, empezando por la derecha, y separando los grupos por espacios en blanco: 8 327 451 (y no por puntos o comas, como, dependiendo de las zonas, se hacía hasta ahora: 8.327.451; 8,327,451). Los números de cuatro cifras se escriben sin espacios de separación: 2458 (no 2 458). En ningún caso deben repartirse en líneas diferentes las cifras que componen un número: 8 327 / 451. Diccionario panhispánico de dudas - Primera edición (octubre 2005)

Pearson Educación. en el que 1/3 tiene una representación más sencilla. Las 7 posibilidades restantes generan siempre números compuestos: • Los acabados en 2.25 1/5 = 0. un número primo sólo puede acabar en 1... 6.1666.3333. Elena (2003). 4.125 1/9 = 0. 3..5 1/3 = 0.. 1/7 = 0.. (http:/ / books.Álgebra&pg=PR1#v=onepage&q=Elena de Oteyza de Oteyza. 8 y 0 son múltiplos de 2. 1/8 = 0. google. • Los acabados en 5 y 0 son múltiplos de 5. como 1/3. Por eso.1111. 1/4 = 0.2 1/6 = 0.Álgebra&f=false) . 7 o 9. 1/2 = 0.. Álgebra. Búsqueda de números primos En base 10. tienen infinitas cifras decimales. algunos han propuesto la adopción del sistema duodecimal..142857142857. Notas y bibliografía Oteiza.Sistema de numeración decimal 2 Fracciones Algunas fracciones muy simples.. es/ books?id=we3f-zkpAesC& lpg=PR1& dq=Elena de Oteyza de Oteyza.

del teorema de incompletitud de Gödel. y Alan Turing. que resulta más general. y con los axiomas recursivamente enumerables puede ser consistente y completo a la vez. Este viene a expresar que todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo no es completo. tanto en el desarrollo teórico como en abundantes aspectos de la práctica de la computación. Una posterior versión. Esto hace pensar. que no va a ser posible definir un sistema formal. cualquier problema bien definido se resolvería simplemente al ejecutar dicho algoritmo. En caso de que Hilbert hubiese cumplido su objetivo. Stephen Kleene. a no ser que se tome un conjunto no recursivo de axiomas. Emil Leon Post. la dualidad entre software y hardware. la posibilidad de interpretar programas. En contra de esta idea K. indica que ningún sistema deductivo que contenga los teoremas de la aritmética. Antecedentes El origen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los ordenadores modernos). durante el transcurso de un congreso internacional. Kurt Gödel. Gödel sacó a la luz su conocido Primer Teorema de Incompletitud. El punto inicial de estos primeros trabajos fueron las cuestiones fundamentales que David Hilbert formuló en 1900. Lo que Hilbert pretendía era crear un sistema matemático formal completo y consistente en el cual. a nivel intuitivo. previendo incluso la existencia de ordenadores de propósito general. Como consecuencia. Estos trabajos iniciales han tenido una profunda influencia. Su intención era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal. no es posible encontrar el sistema formal deseado por Hilbert en el marco de la lógica de primer orden. Pero fueron otros los que mediante una serie de investigaciones mostraron que esto no era posible. todas las aseveraciones fueran planteadas con precisión. Gödel construyó una fórmula que es satisfactoria pero que no puede ser probada en el sistema. y la representación de lenguajes por estructuras formales basados en reglas de producción. . Al problema en cuestión se le denominó Entscheidungsproblem.Teoría de la computabilidad 3 Teoría de la computabilidad La Teoría de la computabilidad es la parte de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing. La teoría de la complejidad computacional clasifica las funciones computables según el uso que hacen de diversos recursos en diversos tipos de máquina. para el trabajo de los lógicos Alonzo Church. La teoría de la computabilidad se interesa a cuatro preguntas: • • • • ¿Qué problemas puede resolver una máquina de Turing? ¿Qué otros formalismos equivalen a las máquinas de Turing? ¿Qué problemas requieren máquinas más poderosas? ¿Qué problemas requieren máquinas menos poderosas? VEB Robotron Elektronik Dresden.

El cálculo Lambda es una forma de definir funciones. Church y Turing demostraron independientemente que este problema es indecidible (ver Tesis de Church-Turing). Los lenguajes con poder de expresión equivalente al de una máquina de Turing se denominan Turing completos. que se define así: Dado un programa y su entrada. que la afirmación de que la noción intuitiva de algoritmo o procedimiento efectivo de cómputo corresponde a la noción de cómputo en una máquina de Turing. decidir si ella es un teorema. Por ejemplo. ¿Qué otros formalismos equivalen a las máquinas de Turing? Los lenguajes formales que son aceptados por una máquina de Turing son exactamente aquellos que pueden ser generados por una gramática formal. todos ellos son equivalentes y tienen el mismo poder de expresión. Sin embargo. Como consecuencia. Entre los formalismos equivalentes a una máquina de Turing están: • • • • • • • • • • • • • • • Máquinas de Turing con varias cintas Máquinas de Turing con cintas bidimensionales. Actualmente se conocen muchos problemas indecidibles. la Constante de Chaitin no es computable aunque sí que está bien definido. Las funciones que pueden ser computadas con el cálculo Lambda son exactamente aquellas que pueden ser computadas con una máquina de Turing. Un problema indecidible es uno que no puede ser resuelto con un algoritmo aún si se dispone de espacio y tiempo ilimitado. como por ejemplo: • El Entscheidungsproblem (problema de decisión en alemán) que se define como: Dada una frase del cálculo de predicados de primer orden. decidir si ese programa terminará para esa entrada o si correrá indefinidamente.Teoría de la computabilidad 4 ¿Qué problemas puede resolver una máquina de Turing? No todos los problemas pueden ser resueltos. • El Problema de la parada. Turmite (o una infinidad de cintas lineales) Máquinas de Turing con número limitado de estados y símbolos para la cinta Máquinas de Turing con solo dos estados Autómatas finitos con dos pilas Autómatas finitos con dos contadores Gramáticas formales Máquina de Post Cálculo Lambda Funciones recursivas parciales Casi todos los lenguajes de programación modernos si dispusieran de memoria ilimitada Autómatas celulares El Juego de la vida de John Conway Máquinas de Turing no determinísticas Máquinas de Turing probabilísticas • Computador cuántico . basados en la arquitectura de von Neumann así como las máquinas cuánticas tendrían exactamente el mismo poder de expresión que el de una máquina de Turing si dispusieran de recursos ilimitados de tiempo y espacio. las máquinas de Turing. Los computadores electrónicos. los lenguajes de programación tienen a lo sumo el mismo poder de expresión que el de los programas para una máquina de Turing y en la práctica no todos lo alcanzan. los lenguajes formales y el cálculo Lambda son formalismos muy disímiles y fueron desarrollados por diferentes personas. Turing demostró que casi todos los números no son computables. Generalmente se toma esta notable coincidencia como evidencia de que la tesis de Church-Turing es cierta. Estos tres formalismos. • Un número computable es un número real que puede ser aproximado por un algoritmo con un nivel de exactitud arbitrario. Turing demostró que se trata de un problema indecidible.

Por ejemplo. Con estas definiciones. o la mayoría de los cómputos aceptan (para las versiones probabilística y cuántica). Derivación numérica La derivación numérica es una técnica de análisis numérico para calcular una aproximación a la derivada de una función en un punto utilizando los valores y propiedades de la misma.Teoría de la computabilidad Los últimos tres ejemplos utilizan una definición ligeramente diferente de aceptación de un lenguaje. cómputo acepta (en el caso de no determinismo). estas máquinas tienen el mismo poder de expresión que una máquina de Turing. Por definición la derivada de una función es: Las aproximaciones numéricas que podamos hacer (para h > 0) serán: Diferencias hacia adelante: Diferencias hacia atrás: La aproximación de la derivada por este método entrega resultados aceptables con un determinado error. 5 ¿Qué problemas requieren máquinas más poderosas? Se considera que algunas máquinas tienen mayor poder que las máquinas de Turing. es posible demostrar afirmaciones interesantes. La fuerza de cómputo de una máquina oráculo viene descrita por su grado de Turing. Dentro de esta teoría. La teoría de cómputos reales estudia máquinas con precisión absoluta en los números reales. Para minimizar los errores se estima que el promedio de ambas entrega la mejor aproximación numérica al problema dado: Diferencias centrales: . una máquina oráculo que utiliza una caja negra que puede calcular una función particular que no es calculable con una máquina de Turing. Ellas aceptan una palabra si cualquiera. tales como «el complemento de un conjunto de Mandelbrot es solo parcialmente decidible».

una integral es una suma de infinitos sumandos. especialmente en los campos del cálculo y del análisis matemático. infinitamente pequeños. que propone que la derivación y la integración son procesos inversos. René Descartes. con signo positivo cuando la función toma valores positivos y negativo cuando toma valores negativos. es muy común en la ingeniería y en la matemática en general y se utiliza principalmente para el cálculo de áreas y volúmenes de regiones y sólidos de revolución. Principales objetivos del cálculo integral Sus principales objetivos a estudiar son: • • • • • • • • • • Área de una región plana Cambio de variable Integrales indefinidas Integrales definidas Integrales impropias Integrales múltiples (dobles o triples) Integrales trigonométricas. logarítmicas y exponenciales Métodos de integración Teorema fundamental del cálculo Volumen de un sólido de revolución . Los trabajos de este último y los aportes de Newton generaron el teorema fundamental del cálculo integral.Derivación numérica 6 Véase también • Integración numérica Integración La integración es un concepto fundamental de las matemáticas avanzadas. encuadrado en el cálculo infinitesimal. Básicamente. El cálculo integral. Gottfried Leibniz e Isaac Barrow. Isaac Newton. La integral definida de una función representa el área limitada por la gráfica de la función. Fue usado por primera vez por científicos como Arquímedes. es una rama de las matemáticas en el proceso de integración o antiderivación.

Estas generalizaciones de la integral surgieron primero a partir de las necesidades de la física. La primera técnica sistemática documentada capaz de determinar integrales es el método de exhausción de Eudoxo (circa 370 a. por ejemplo. que trataba de encontrar áreas y volúmenes a base de partirlos en un número infinito de formas para las cuales se conocieran el área o el volumen. cuya derivada es la función dada . Zu Chongzhi usó este método para encontrar el volumen de una esfera. la integral es igual al área de la región del plano limitada entre la gráfica de . por un lado. que fue desarrollada por Henri Lebesgue. por otro lado. Más tarde. Algunos autores mantienen una distinción entre integrales primitivas e indefinidas. donde son negativas las áreas por debajo del eje La palabra "integral" también puede hacer referencia a la noción de primitiva: una función F. con numerosas aplicaciones en ciencia e ingeniería. que desarrollaron los dos de forma independiente. las del electromagnetismo. En esta época. con el trabajo de Cavalieri con su método de los indivisibles y. Historia Integración antes del cálculo La integración se puede trazar en el pasado hasta el antiguo Egipto.). . un libro de astronomía del siglo XII del matemático indio Bhaskara II. A comienzos del siglo XIX. La integral curvilínea se define para funciones de dos o tres variables. Los conceptos modernos de integración se basan en la teoría matemática abstracta conocida como integral de Lebesgue. la integración se conecta con la derivación. C. En una integral de superficie. se empezó a desarrollar los fundamentos del cálculo moderno. A comienzos del siglo XVII. circa 1800 a. Este método fue desarrollado y usado más adelante por Arquímedes. Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el método de exhausción. que los usó para encontrar el área del círculo. que presentaron los primeros indicios de una conexión entre la integración y la derivación. y el intervalo de integración [a. con los trabajos de Fermat. A través del teorema fundamental del cálculo.Integración 7 Teoría Dada una función de una variable real y un intervalo de la recta real. y las líneas verticales y . Métodos similares fueron desarrollados de forma independiente en China alrededor del siglo III por Liu Hui. En el Siddhanta Shiromani. Se basa en un límite que aproxima el área de una región curvilínea a base de partirla en pequeños trozos verticales. se encuentran algunas ideas de cálculo integral.b] se sustituye por una cierta curva que conecta dos puntos del plano o del espacio. y la integral definida de una función se puede calcular fácilmente una vez se conoce una antiderivada. la curva se sustituye por un trozo de una superficie en el espacio tridimensional. y tienen un papel importante en la formulación de muchas leyes físicas cómo. empezaron a aparecer nociones más sofisticadas de la integral.. . Bernhard Riemann dio una definición rigurosa de la integral. se produjeron nuevos adelantos con las aportaciones de Barrow y Torricelli. con el papiro de Moscú. el eje . que lo empleó para calcular áreas de parábolas y una aproximación al área del círculo. En este caso se denomina integral indefinida. donde se han generalizado los tipos de las funciones y los dominios sobre los cuales se hace la integración. Newton y Leibniz a finales del siglo XVII. donde se demuestra que ya se conocía una fórmula para calcular el volumen de un tronco piramidal. Las integrales de las formas diferenciales desempeñan un papel fundamental en la geometría diferencial moderna. C. mientras que las integrales tratadas en este artículo son las integrales definidas. Las integrales y las derivadas pasaron a ser herramientas básicas del cálculo.

[6] . que se escribe de derecha a izquierda. Esta conexión. del cálculo de derivadas. combinada con la facilidad. El teorema demuestra una conexión entre la integración y la derivación. en la primera mitad del siglo XIX. por ello. La integración fue rigurosamente formalizada por primera vez por Riemann. La notación moderna de la integral definida. En particular. El cálculo adquirió una posición más firme con el desarrollo de los límites y. que Newton usaba para indicar la derivación. La barra vertical se confundía fácilmente con o . de forma precisa. Posteriormente. su trabajo carecía de un cierto nivel de rigor. o ponía la variable dentro de una caja. recibió una fundamentación adecuada por parte de Cauchy. realizado de manera independiente por Newton y Leibniz. más tarde se consideraron funciones más generales para las cuales no se aplica la definición de Riemann. Notación Isaac Newton usaba una pequeña barra vertical encima de una variable para indicar integración. empleando límites. alrededor de 1819–20. También cabe destacar todo el marco estructural alrededor de las matemáticas que desarrollaron también Newton y Leibniz. y además la notación "caja" era difícil de reproducir por los impresores. funciones con dominios continuos. adaptó el símbolo integral. Formalización de las integrales Aunque Newton y Leibniz suministraron un enfoque sistemático a la integración. a partir de una letra S alargada. con los límites arriba y abajo del signo integral.Integración 8 Newton y Leibniz Los principales adelantos en integración vinieron en el siglo XVII con la formulación del teorema fundamental del cálculo. También se propusieron otras definiciones de integral. "suma" o "total"). la usó por primera vez Joseph Fourier en Mémoires de la Academia Francesa. El llamado cálculo infinitesimal permitió analizar. La notación moderna de las integrales indefinidas fue presentada por Gottfried Leibniz en 1675. "∫". cuya notación para las integrales procede directamente del trabajo de Leibniz. se puede usar para calcular integrales. el teorema fundamental del cálculo permite resolver una clase más amplia de problemas.[2] [3] Para indicar summa (en latín. reimpresa en su libro de 1822. A pesar de que todas las funciones continuas fragmentadas y acotadas son integrables en un intervalo acotado. que amplían las definiciones de Riemann y Lebesgue. estas notaciones no fueron ampliamente adoptadas. este marco ha evolucionado hacia el cálculo moderno. comparativamente hablando. Es memorable el ataque del obispo Berkeley calificando los infinitesimales como los "fantasmas de las cantidades que se desvanecen". y Lebesgue formuló una definición diferente de la integral[1] basada en la teoría de la medida. se usa un signo integral invertido .[4] [5] En la notación matemática en árabe moderno.

y dx puede tener diferentes interpretaciones dependiendo de la teoría que se emplee. una medida (en la integración de Lebesgue y sus extensiones). que se tiene que evaluar al variar x sobre el intervalo [a. y el dominio de integración puede ser un área.Integración 9 Terminología y notación Si una función tiene una integral. todas estas cantidades piden integrales. se puede determinar fácilmente el volumen de agua que puede contener (para llenarla). El caso más sencillo. Pero si es ovalada con un fondo redondeado. Por ejemplo. Si la integral no tiene un dominio de integración. . Se denomina dominio de integración a la región sobre la cual se integra la función. Si es rectangular. o incluso un espacio abstracto que no tiene estructura geométrica en ningún sentido usual. una "S" alargada. un volumen. se considera indefinida (la que tiene dominio se considera definida). anchura y profundidad. entonces. como una representación de los pasos en la suma de Riemann. puede verse simplemente como una indicación de que x es la variable de integración. De la función de la cual se calcula la integral se dice que es el integrando. Los casos más complicados pueden variar la notación ligeramente. El signo ∫. se dice que es integrable. pero al final harán falta respuestas exactas y rigurosas a este tipo de problemas. a y b son el límite inferior y el límite superior de la integración y definen el dominio de integración. En general. f es el integrando. Al comienzo puede ser suficiente con aproximaciones prácticas. Consideremos una piscina. el área de la superficie (para cubrirla). b]. un infinitesimal (en análisis no estándar) o como una cantidad matemática independiente: una forma diferencial. una región de dimensión superior. la integral de una función real f de una variable real x sobre el intervalo [a. a partir de su longitud. el integrando puede ser una función de más de una variable. y la longitud de su borde (para atarla). representa la integración.b]. Conceptos y aplicaciones Las integrales aparecen en muchas situaciones prácticas. se escribe En los chelos también puede observarse el símbolo de la integral.

así hasta 1. se parte el intervalo en cinco pasos.6203. que en este caso es demasiado pequeño. es el vínculo fundamental entre las operaciones de derivación e integración. .) De modo que el valor exacto del área bajo la curva se calcula formalmente como . de 0. . la función relacionada. . multiplicados por la diferencia entre dos puntos de aproximación sucesivos. suponiendo que ¿Cuál es el área bajo la función ? Esta área (todavía desconocida) será la integral de para esta integral será entre hasta y . tal como se muestra en el dibujo. se obtiene una mejor aproximación de la Nótese que se está sumando una cantidad finita de valores de la función f. 2⁄5. el teorema fundamental del cálculo. se mira al cuadrado unidad dado por los lados x=0 hasta x=1 y y=f(0)=0 y y=f(1)=1. Con respecto al cálculo real de integrales. con q ≠ −1. que dice que para f(x) = xq. La idea clave es la transición desde la suma de una cantidad finita de diferencias de puntos de aproximación multiplicados por los respectivos valores de la función. La notación Aproximaciones a la integral de entre 0 y 1. Aplicándolo a la curva raíz cuadrada.Integración 10 Para empezar. así. con ■ 5 muestras por la izquierda (arriba) y ■ 12 muestras por la derecha (abajo). los llamados diferenciales (indicados por dx). se considerará la curva . debido a Newton y Leibniz. La pregunta es: . de los valores de la función (como las alzadas. la llamada primitiva es F(x) = (xq+1)/(q+1). Tal como se puede ver. donde y son las fronteras del intervalo [0. … y así hasta integral que se está buscando. así . Sumando las áreas de estos rectángulos.1]. pero no será nunca exacta: si en vez de 5 subintervalos se toman doce y se coge el valor de la izquierda. Se puede ver fácilmente que la aproximación continúa dando un valor más grande que el de la integral. (Éste es un ejemplo de una regla general. La notación concibe la integral como una suma ponderada (denotada por la "S" alargada). el verdadero valor de la integral tiene que ser de alguna forma más pequeño. empleando para la aproximación los puntos 0. al intervalo desde . Empleando más pasos se obtiene una aproximación más ajustada. Se ajusta una caja cada paso empleando la altura del lado derecho de cada pedazo de la curva. hasta usar pasos infinitamente finos. Reduciendo el ancho de los rectángulos empleados para hacer la aproximación se obtendrá un mejor resultado. o infinitesimales. Su área es exactamente 1. Como primera aproximación. se tiene que mirar la función relacionada y simplemente coger . se obtiene un valor aproximado para el área. y = f(x)) multiplicados por pasos de anchura infinitesimal. 1⁄5.

Recientemente. (Aquí A indica la región de integración. con posiciones de muestreo y anchuras irregulares (el máximo en rojo). la estimación obtenida es 3. y hacen más intuitivo y comprensible el trabajo con cálculo infinitesimal. ω = f(x)dx. proporciona otra interpretación a esta notación familiar.648.76.Integración 11 Históricamente.) La geometría diferencial. Ahora f(x) y dx pasan a ser una forma diferencial. conocido como la derivada exterior. que se basa en la habilidad de extender la idea de "medida" de maneras mucho más flexibles. A pesar de que hay diferencias entre todas estas concepciones de la integral. El verdadero valor es 3. la notación hace referencia a una suma ponderada de valores en que se divide la función. como una integral de Riemann. con su "cálculo de variedades". especialmente la integral de Lebesgue. Riemann definió formalmente las integrales como el límite de sumas ponderadas. La dependencia de la definición de Riemann de los intervalos y la continuidad motivó la aparición de nuevas definiciones. como una suma de infinitesimales. donde μ mide el peso que se tiene que asignar a cada valor. a través de innovaciones modernas como el análisis no estándar. y el teorema fundamental del cálculo. y el teorema fundamental pasa a ser el (más general) teorema de Stokes. los infinitesimales han reaparecido con rigor. aparece un nuevo operador diferencial d. después de que los primeros esfuerzos de definir rigurosamente los infinitesimales no fructificasen. de forma que el dx sugiere el límite de una diferencia (la anchura del intervalo). entonces una partición etiquetada de [a. Así. El resultado obtenido con el cálculo será el mismo en todos los casos. Estos métodos no sólo reivindican la intuición de los pioneros. . como una integral de Lebesgue. Así. también llevan hacia las nuevas matemáticas. a partir del cual se deriva el teorema de Green. el área de la piscina oval se puede hallar como una elipse geométrica. Sea [a. Integral de Riemann La integral de Riemann se define en términos de sumas de Riemann de funciones respecto de particiones etiquetadas de un intervalo.b] es una secuencia finita Integral con el planteamiento de Riemann hace una suma basada en una partición etiquetada.b] un intervalo cerrado de la recta real. el teorema de la divergencia. hay un solapamiento considerable. o como una variedad con una forma diferencial.

cada uno de los cuales es "etiquetado" con un punto especificado ti de. Sea Δi = xi−xi−1 la anchura del subintervalo i. mientras que en la integral de Lebesgue. Un sumatorio de Riemann de una función f respecto de esta partición etiquetada se define como Convergencia de sumatorios de Riemann a medida en que se parten los intervalos. para cualquier partición etiquetada [a. . se tiene Cuando las etiquetas escogidas dan el máximo (o mínimo) valor de cada intervalo. Así. Por ejemplo. la integral de Lebesgue invierte el enfoque de la suma ponderada. cuando se muestrea a ■ la derecha. en particular. μ. lo que sugiere la estrecha conexión que hay entre la integral de Riemann y la integral de Darboux. Así cada término del sumatorio es el área del rectángulo con altura igual al valor de la función en el punto especificado del subintervalo dado. b] es su ancho. b − a. los conjuntos a medir pueden estar altamente fragmentados. pero no se puede adaptar a una bola de acero que se apoya encima. ■ el máximo.Integración 12 Esto divide al intervalo [a. La integral de Riemann de una función f sobre el intervalo [a. y de la misma anchura que la anchura del subintervalo. se particiona el dominio [a. el paso de esta partición etiquetada es el ancho del subintervalo más grande obtenido por la partición. así la integral de Lebesgue coincide con la integral de Riemann cuando existen ambas. "de hecho lo que se está partiendo es el recorrido de f". Como expresa Folland:[8] "Para calcular la integral de Riemann de f. logra una gran flexibilidad a base de centrar la atención en los pesos de la suma ponderada.b] con paso más pequeño que δ. sin continuidad y sin ningún parecido a intervalos.[7] La integral de Lebesgue. la definición de la integral de Lebesgue empieza con una medida.b] en n subintervalos [xi−1. maxi=1…n Δi. b] en subintervalos". Para explotar esta flexibilidad. En el caso más sencillo. ■ el mínimo.b] es igual a S si: Para todo ε > 0 existex δ > 0 tal que. En casos más complicados. o ■ la izquierda. Integral de Lebesgue La integral de Riemann no está definida para un ancho abanico de funciones y situaciones de importancia práctica (y de interés teórico). la integral de Riemann puede integrar fácilmente la densidad para de obtener la masa de una viga de acero. Esto motiva la creación de otras definiciones. el sumatorio de Riemann pasa a ser un sumatorio de Darboux superior (o inferior). xi]. bajo las cuales se puede integrar un surtido más amplio de funciones. xi]. la medida de Lebesgue μ(A) de un intervalo A = [a. [xi−1.

por definición. que sólo tienen un número finito n. se separa entre sus valores positivos y negativos a base de definir Finalmente. de las cuales es un ejemplo la medida de Lebesgue) una integral respecto de ellas se puede definir de otra manera. se establece que la integral de f es el supremo de todas las integrales de funciones escalonadas que son más pequeñas o iguales que f. las funciones compactamente soportadas forman un espacio vectorial que comporta una topología natural. Una función medible cualquiera f.Integración Un enfoque habitual define primero la integral de la función característica de un conjunto medible A por: . de valores diferentes no negativos: 13 (donde la imagen de Ai al aplicarle la función escalonada s es el valor constante ai). y se define la medida de un conjunto como la integral de su función característica. la integral de la función. las medidas compatibles con la topología en un sentido adecuado (medidas de Radon. para cualquier función medible no negativa f se define Es decir. Esto se extiende por linealidad a las funciones escalonadas simples. Este es el enfoque que toma Bourbaki[9] y cierto número de otros autores. Entonces se continúa expandiendo la medida (la integral) a funciones más generales por continuidad. si E es un conjunto medible. se define Entonces. Así. Para más detalles. véase medidas de Radon. . f es Lebesgue integrable si y entonces se define la integral por Cuando el espacio métrico en el que están definidas las funciones es también un espacio topológico localmente compacto (como es el caso de los números reales R). es también. De forma más precisa. se empieza a partir de las integrales de las funciones continuas con soporte compacto. entonces el valor de una medida en una función compactamente soportada. y se puede definir una medida (Radon) como cualquier funcional lineal continuo de este espacio.

definida de forma variada por Arnaud Denjoy. que es equivalente a la integral de Riemann.μ). b] forman un espacio vectorial con las operaciones de suma (la función suma de otras dos es la función que a cada punto le hace corresponder la suma de las imágenes de este punto por cada una de las otras dos) y la multiplicación por un escalar. y Jaroslav Kurzweil. que toman valores en un espacio vectorial topológico completo localmente compacto V sobre un campo topológico localmente compacto K. • La integral de McShane. f : E → V. • La integral de Daniell. Entonces se puede definir una aplicación integración abstracta que a cada función f le asigna un elemento de V o el símbolo ∞. con la medida μ es cerrado respecto de las combinaciones lineales y por lo tanto forman un espacio vectorial. cuya integral es un elemento de V (es decir. C. La operación integración es un funcional lineal de este espacio vectorial. las integrales "finitas"). la linealidad se sostiene para el subespacio de las funciones. • La integral de Haar. y desarrollada por Ralph Henstock. • La integral de Henstock-Kurzweil. y V es . Los casos más importantes surgen cuando K es R. hay unas cuántas más. que generaliza las integrales de Riemann-Stieltjes y de Lebesgue. Oskar Perron. si se toma el espacio vectorial de todas las funciones medibles sobre un espacio métrico (E. Propiedades de la integración Linealidad • El conjunto de las funciones Riemann integrables en un intervalo cerrado [a. y en segundo lugar. desarrollada por Johann Radon. la integral de una combinación lineal es la combinación lineal de las integrales. • La integral de Lebesgue-Stieltjes. y la integral de Lebesgue es un funcional lineal de este espacio vectorial. En esta situación.Integración 14 Otras integrales A pesar de que las integrales de Riemann y Lebesgue son las definiciones más importantes de integral. que es compatible con las combinaciones lineales. en primer lugar. Así. que incluye la integral de Lebesgue y la integral de Lebesgue-Stieltjes sin tener que depender de ninguna medida. de forma que • De forma más general. una extensión de la integral de Riemann. • De forma parecida. el conjunto de funciones integrables es cerrado con la combinación lineal. por ejemplo: • La integral de Riemann-Stieltjes. el conjunto de las funciones reales Lebesgue integrables en un espacio métrico E dado. • La integral de Darboux. • La integral de Buchner. o una extensión finita del campo Qp de números p-ádicos. que es la integral de Lebesgue con la medida de Haar.

. b]. 15 Desigualdades con integrales Se verifican varias desigualdades generales para funciones Riemann integrables definidas en un intervalo cerrado y acotado [a. junto con algunas propiedad naturales de continuidad y la normalización para ciertas clases de funciones "simples". y f y g son dos funciones Riemann integrables. b] entonces cada uno de los sumatorios superior e inferior de f son acotados inferior y superiormente por los sumatorios superior e inferior de g respectivamente. • Desigualdad de Hölder. si f y g son ambas Riemann integrables entonces f 2. Así Esto es una generalización de las desigualdades anteriores. la desigualdad de Hölder pasa a ser la desigualdad de Cauchy–Schwarz. b]. entonces • Productos y valores absolutos de funciones. q ≤ ∞ con 1/p + 1/q = 1. y desempeña un papel fundamental en la teoría de los espacios de Hilbert. La linealidad. generalizado por Bourbaki a funciones que toman valores en un espacio vectorial topológicamente compacto. Este es el enfoque de Daniell para el caso de funciones reales en un conjunto X. Entonces las funciones |f|p y |g|q también son integrables y se cumple la desigualdad de Hölder: Para el caso de p = q = 2. • Subintervalos. b] y se pueden generalizar a otras nociones de integral (Lebesgue y Daniell). y Es más. se pueden usar para dar una definición alternativa de integral. Una función f integrable en [a. es necesariamente acotada en el intervalo. g 2. b]. y cuando K=C y V es un espacio de Hilbert complejo. de aquí resulta que • Desigualdades entre funciones. Dado que los sumatorios superior e inferior de f sobre [a. Si f(x) ≤ g(x) para todo x de [a. potencias y valores absolutos: Si f es Riemann integrable en [a. y fg son también Riemann integrables. b]. dado que M '(b − a) es la integral de la función constante con valor M en el intervalo [a. • Cotas superiores e inferiores. Si f y g son dos funciones. Por lo tanto hay dos números reales m y M tales que m ≤ f (x) ≤ M para todo x de [a. Si [c. b] entonces lo mismo se cumple para |f|. b] y f(x) es no negativa para todo x. entonces podemos emplear su producto. Si p y q son dos números reales. d] es un subintervalo de [a. donde el lado de la derecha se interpreta como el producto escalar de dos funciones integrables f y g en el intervalo [a. Véase Hildebrandt (1953)[10] para una caracterización axiomática de la integral. y Esta desigualdad se conoce como desigualdad de Cauchy-Schwarz. b] son también acotados para m(b − a) y M(b − a) respectivamente. 1 ≤ p.Integración un espacio vectorial de dimensión finita sobre K.

Geométricamente significa que la integración tiene lugar "de izquierda a derecha". entonces Con la primera convención la relación resultante queda bien definida para cualquier permutación cíclica de a. tiene que ser cero. y c. |g|p y |f + g|p son también Riemann integrables y se cumple la desigualdad de Minkowski: 16 Una desigualdad análoga a ésta para la integral de Lebesgue se usa en la construcción de los espacios Lp. entonces se tiene (véase más abajo la integración de formas diferenciales): . y M' es la misma forma con orientación opuesta y ω es una m-forma. En lugar de ver lo anterior como convenciones. Un motivo para la primera convención es que la integrabilidad de f sobre un intervalo [a. implica: • Integrales sobre intervalos de longitud cero. ≤ xn = b cuyos valores xi son crecientes. Si p ≥ 1 es un número real y f y g son funciones Riemann integrables. b]. con a = b. .Integración • Desigualdad de Minkowski. Esto significa que los sumatorios superiores e inferiores de la función f se evalúan sobre una partición a = x0 ≤ x1 ≤ . si c es cualquier elemento de [a. x i +1] donde el intervalo con un índice más grande queda a la derecha del intervalo con un índice más pequeño. se denominan límites de integración de f. b. evaluando f dentro de intervalos [x i . también se puede adoptar el punto de vista de que la integración se hace sólo sobre variedades orientadas. pero en particular las integrales tienen la propiedad de que: • Aditividad de la integración sobre intervalos. Entonces |f|p. Los valores a y b. La integral sobre un intervalo [a. b] implica que f es integrable sobre cualquier subintervalo [c. si a > b entonces se define Ello. o un punto. Si M es una tal forma m-dimensional orientada. la segunda dice que una integral sobre un intervalo degenerado. b]. si a es un número real entonces La primera convención es necesaria al calcular integrales sobre subintervalos de [a. . Las integrales también se pueden definir si a > b: • Inversión de los límites de integración. Convenciones En esta sección f es una función real Riemann integrable. los puntos extremos del intervalo. b] está definida si a < b. d].

integrable definida en un intervalo cerrado [a. por ejemplo en su extremo superior. entonces • Corolario. Enunciado de los teoremas • Teorema fundamental del cálculo. cuyos extremos son los límites de integración. Si el intervalo no es acotado. Una consecuencia importante. permite calcular integrales a base de emplear una primitiva de la función a integrar. Una integral impropia aparece cuando una o más de estas condiciones no se satisface.Integración 17 Teorema fundamental del cálculo El teorema fundamental del cálculo es la afirmación de que la derivación y la integración son operaciones inversas: si una función continua primero se integra y luego se deriva. La integral impropia tiene intervalos no acotados tanto en el dominio como en el recorrido. b]. y F ′(x) = f(x). Si F es una función tal que F ′(x) = f(x) para todo x de [a. entonces f es integrable en [a. b] por entonces F es continua en [a. Además. • Segundo teorema fundamental del cálculo. definida por es una primitiva de f en [a. entonces la integral impropia es el límite cuando el punto final tiende a infinito. entonces F es derivable en x. y F. b] (es decir. b]. Extensiones Integrales impropias Una integral de Riemann "propia" supone que el integrando está definido y es finito en un intervalo cerrado y acotado. estas integrales se pueden definir tomando el límite de una sucesión de integrales de Riemann propias sobre intervalos sucesivamente más largos. b]. en ocasiones denominada el segundo teorema fundamental del cálculo. b]. F es una primitiva de f). Si se define F para cada x de [a. Si f es continua en x de [a. . En algunos casos. b]. se recupera la función original. Sea f una función real. b]. b]. Sea f una función real integrable definida en un intervalo cerrado [a. Si f es una función continua en [a.

Así. . otra vez el límite puede suministrar un resultado finito. y sobre el intervalo abierto del 1 a ∞ la integral de no converge. . sobre el intervalo cerrado de 0 a 1 la integral de no converge. Así La integral impropia no está acotada internamente. con un sumatorio de Riemann es suficiente para obtener un resultado de . la integral desde 1⁄3 hasta a 1 admite también un sumatorio de Riemann. ya sea a un número real especificado. un límite puede no existir. desde 1 hasta 3. Ahora bien. que es . Integrada. un sumatorio de Riemann no es posible. por ejemplo (a. Para integrar desde 1 hasta ∞. a pesar de que la función tiende a 0. Éste. Este resultado tiene un límite finito cuando t tiende a infinito. Este proceso no tiene el éxito garantizado. Por ejemplo. De forma parecida. y el extremo superior es él mismo ∞.b]. que por casualidad da de nuevo Sustituyendo ⁄3 por un valor positivo arbitrario s (con s < 1) resulta igualmente un resultado definido y da . o −∞. y el límite de las integrales de los dos lados han de existir y han de ser acotados. en este caso la integral se ha de partir en este punto. pero ambos límites (por la derecha y por la izquierda) existen. también tiene un límite finito cuando s tiende a cero. En el extremo inferior.Integración Si el integrando sólo está definido en un intervalo finito semiabierto. el resultado de esta integral impropia es 1 . 18 Esto es. por ejemplo. cualquier límite superior finito. o ∞. entonces. a medida que x se acerca a 0 la función tiende a ∞. o puede ser infinito. la función integrada desde 0 a ∞ (imagen de la derecha). da un resultado bien definido. esta es una integral doblemente impropia. por ejemplo t (con t > 1). hacen falta límites en los dos puntos extremos o en puntos interiores. que es . la integral impropia es el límite de integrales propias cuando uno de los puntos extremos del intervalo de integración se aproxima. Combinando los límites de los dos fragmentos. También puede pasar que un integrando no esté acotado en un punto interior. En casos más complicados. Por ejemplo.

Integración 19 A la integral similar no se le puede asignar un valor de esta forma. z) = 1 sobre la región mencionada antes entre la superficie y el plano. En general. De la misma manera que la integral definida de una función positiva representa el área de la región encerrada entre la gráfica de la función y el eje x. y. por ejemplo. el volumen del paralelepípedo de caras 4 × 6 × 5 se puede obtener de dos maneras: • Con la integral doble . la integral se puede calcular a base de integrar las coordenadas una por una. Por ejemplo. véase valor principal de Cauchy. lo mismo se puede hacer con una integral doble para calcular una superficie. la integral doble de una función positiva de dos variables representa el volumen de la región comprendida entre la superficie definida por la función y el plano que contiene su dominio.) Si el número de variables es mayor. entonces la integral representa un hipervolumen. dado que las integrales por encima y por debajo de cero no convergen independientemente (en cambio. un vector de R3. El teorema de Fubini demuestra que estas integrales pueden reescribirse como una integral iterada. Aquí x no hace falta que sea necesariamente un número real. En otras palabras.) Integración múltiple Las integrales se pueden calcular sobre regiones diferentes de los intervalos. sino que puede ser cualquier otra cantidad apropiada. (El mismo volumen puede obtenerse a través de una integral triple — la integral de la función de tres variables — de la función constante f(x. el volumen de un sólido de más de tres dimensiones que no se puede representar gráficamente. una integral sobre un conjunto E de una función f se escribe: Integral doble como el volumen limitado por una superficie.

el hecho de que el trabajo sea igual a la fuerza multiplicada por la distancia se puede expresar (en términos de cantidades vectoriales) como: que tiene su paralelismo en la integral de línea que acumula los componentes vectoriales a lo largo de un camino continuo. Puesto que es imposible calcular la antiderivada de una función de más de una variable. Tienen importantes aplicaciones en la física cuando se trata con campos vectoriales. Una integral de línea acumula elementos a lo El valor de la integral curvilínea es la suma de los valores del campo largo de una curva. • Con la integral triple de la función constante 1 calculada sobre el mismo paralelepípedo (a pesar de que este segundo método también se puede interpretar como el hipervolumen de un hiperparalelepípedo de cuatro dimensiones que tiene como base el paralelepípedo en cuestión y una altura constante de 1. en los puntos de la línea. En el caso de una curva cerrada también se la denomina integral de contorno.Integración 20 de la función f(x. Esta ponderación distingue las integrales curvilíneas de las integrales más sencillas definidas sobre intervalos. en el caso de un campo vectorial. y así calcula el trabajo realizado por un objeto al moverse a través de un campo. Muchas fórmulas sencillas de la física tienen de forma natural análogas continuas en términos de integrales de línea. Se utilizan varias integrales curvilíneas diferentes. Estas integrales se conocen como integrales de línea e integrales de superficie respectivamente. La función a integrar puede ser un campo escalar o un campo vectorial. tales como las líneas curvas y las superficies. por ejemplo. como la altura es 1 el volumen coincide con el área de la base). Integrales de línea El concepto de integral se puede extender a dominios de integración más generales. el producto escalar del campo vectorial por un vector diferencial de la curva). ponderados por alguna función escalar de la curva (habitualmente la longitud del arco o. . como por ejemplo un campo eléctrico o un campo gravitatorio. Una integral de línea es una integral donde la función a integrar es evaluada a lo largo de una curva. y) = 5 calculada en la región D del plano xy que es la base del paralelepípedo. no existen las integrales múltiples indefinidas: tales integrales son todas definidas.

El valor de la integral de superficie es la suma ponderada de los valores del campo en todos los puntos de la superficie. La función a integrar puede ser un campo escalar o un campo vectorial. donde los pesos son las funciones infinitamente derivables f. v(x) es un vector.) Se puede considerar que dx1 hasta dxn son objetos formales ellos mismos. más que etiquetas añadidas para hacer que la integral se asemeje a los sumatorios de Riemann. Sobre Rn como máximo n covectores pueden ser linealmente independientes. El caudal se define como la cantidad de fluido que fluye a través de S en la unidad de tiempo. es decir. de forma que v(x) determina la velocidad del fluido en el punto x. siendo las k-formas básicas los vectores base. se escribe como (Los superíndices no son exponentes. pequeños elementos de superficie. Todas juntas forman un espacio vectorial. las integrales de superficie tienen aplicaciones en la física. Se define el conjunto de todos estos productos como las 2-formas básicas. que integramos sobre la superficie: . hay que calcular el producto escalar de v por el vector unitario normal a la superficie S en cada punto. Se empieza trabajando en un conjunto abierto de Rn. Como ejemplo de las aplicaciones de las integrales de superficie. en particular en la teoría clásica del electromagnetismo.dxn se las denomina 1-formas básicas. El producto exterior se extiende a las k-formas de la forma natural. Una 0-forma se define como una función infinitamente derivable f. y por lo tanto como una medida de la "densidad" (integrable en un sentido general). también existe el operador derivada exterior d.Integración 21 Integrales de superficie Una integral de superficie es una integral definida calculada sobre una superficie (que puede ser un conjunto curvado en el espacio. se descansa en la división de la superficie en puede considerar un campo vectorial v sobre una superficie S. Para una k-forma ω = f dxa sobre Rn. Así. La notación moderna de las formas diferenciales. se define la acción de d por: . El caudal de fluido de este ejemplo puede ser de un fluido físico como el agua o el aire. y las 0-formas (funciones infinitamente derivables) el campo de escalares. y de forma similar se define el conjunto de los productos de la forma dxa∧dxb∧dxc como las 3-formas básicas. Esto se puede conseguir a base de dividir la superficie en elementos de superficie. los cuales proporcionan la partición para los sumatorios de Riemann. así como la idea de las formas diferenciales como el producto exterior de derivadas exteriores formando un álgebra exterior. fue presentada por Élie Cartan. De forma alternativa se pueden ver como covectores. topología diferencial y tensores. Para hallar el caudal. …. Imagínese que se tiene un fluido fluyendo a través de S. para cada punto x de S. Una k-forma general es por lo tanto una suma ponderada de k-formas básicas. Este operador hace corresponder a las k-formas (k+1)-formas. lo que nos dará un campo escalar. La definición de las integrales de superficie Integrales de formas diferenciales Una forma diferencial es un concepto matemático en los campos del cálculo multivariable. se puede entender como la integral doble análoga a la integral de línea. Cuando se integra una función f sobre un subespacio de m-dimensional S de Rn. o de un flujo eléctrico o magnético. y así una k-forma con k > n será siempre cero por la propiedad alternante. A dx1. Además del producto exterior.

es decir.Integración 22 con extensión a las k-formas generales que se dan linealmente. denominada teorema de Stokes. Los cálculos de volúmenes de sólidos de revolución se pueden hacer normalmente con la integración por discos o la integración por capas. se puede emplear la identidad de Parseval para transformar una integral sobre una región rectangular en una suma infinita. También hay muchas formas menos habituales para calcular integrales definidas. Se emplea el teorema fundamental del cálculo. La siguiente técnica más común es el cálculo del residuo. . 2. Muy a menudo. Nótese que la integral no es realmente la primitiva. un ejemplo de este tipo se puede ver en la integral de Gauss. b]. En raras ocasiones es posible echar un vistazo a una función y escribir directamente su primitiva. Se escoge una función f(x) y un intervalo [a. el valor de la integral es F(b) − F(a). se puede evaluar una integral empleando un truco. empleando 2-formas. mientras que la serie de Taylor a veces se puede usar para hallar la primitiva de las integrales no elementales en lo que se conoce como el método de integración por series. 4. De esta forma puede verse que las formas diferenciales suministran una potente visión unificadora de la integración. De manera similar. A menudo. También permite una generalización natural del teorema fundamental del cálculo. por ejemplo. En el caso de que ω sea una 1-forma y Ω sea una región de dimensión 2 en el plano. aún puede ser posible evaluar una integral dada. Este planteamiento más general permite un enfoque de la integración sobre variedades libre de coordenadas. Así en el supuesto de que ω sea una 0-forma y Ω sea un intervalo cerrado de la recta real. suponiendo que ni el integrando ni la integral tienen singularidades en el camino de integración. 3. una función F tal que F' = f. Entre estas técnicas destacan: • • • • Integración por cambio de variable Integración por partes Integración por sustitución trigonométrica Integración de fracciones parciales Incluso si estas técnicas fallan. La mayoría de ellas transforman una integral en otra que se espera que sea más manejable. Se procede de la siguiente forma: 1. el teorema de Stokes se reduce al teorema fundamental del cálculo. Por tanto. sino que el teorema fundamental permite emplear las primitivas para evaluar las integrales definidas. es necesario emplear una de las muchas técnicas que se han desarrollado para evaluar integrales. y ∂Ω indica la frontera de la región Ω. se puede llegar al teorema de Stokes y al teorema de la divergencia. En algunas ocasiones. Se halla una primitiva de f. el teorema se reduce al teorema de Green. el paso difícil de este proceso es el de encontrar una primitiva de f. Métodos y aplicaciones Cálculo de integrales La técnica más básica para calcular integrales de una variable real se basa en el teorema fundamental del cálculo. 3-formas y la dualidad de Hodge. que se puede establecer como donde ω es una k-forma general.

puede ser útil tener. El algoritmo de Risch. En particular. física. implementado en Mathematica y en otros sistemas de cálculo algebraico por ordenador. entre las cuales se encuentra la integración. En otras palabras. hacen precisamente esto para funciones y primitivas construidas a partir de fracciones racionales. en muchos casos.Integración Los resultados específicos que se han encontrado empleando las diferentes técnicas se recogen en la tabla de integrales. resulta que las funciones con expresiones cerradas para sus primitivas son la excepción en vez de ser la regla. las funciones especiales de la física (como las funciones de Legendre. exponenciales. Es posible extender el algoritmo de Risch-Norman de forma que abarque estas funciones. Con el desarrollo de los ordenadores. La teoría de Galois diferencial proporciona criterios generales para determinar cuándo la primitiva de una función elemental es a su vez elemental. etcétera). Por desgracia. En consecuencia. que han sido diseñados específicamente para desarrollar tareas tediosas o difíciles. la función gamma. no existe ninguna fórmula cerrada para la primitiva de una función aparentemente inocente. multiplicación y composición. Es poco probable que las fórmulas muy complejas tengan primitivas de forma cerrada. Una dificultad matemática importante de la integración simbólica es que. La integración simbólica presenta un reto especial en el desarrollo de este tipo de sistemas. los sistemas de cálculo algebraico por ordenador. pero se trata de todo un reto. aún es posible decidir si se puede expresar la primitiva de una función dada empleando estos bloques y las operaciones de multiplicación y composición. xx y sen x /x no se pueden expresar con una fórmula cerrada en las que participen sólo funciones racionales. de modo que hasta qué punto esto es una ventaja es una cuestión filosófica abierta a debate. se sabe que las primitivas de las funciones exp (x2). no pueden tener la seguridad de poder encontrar una primitiva para una función elemental cualquiera construida de forma aleatoria. radicales. e ingeniería en los que participa la integración es deseable tener una fórmula explícita para la integral. si se fijan de antemano los "bloques constructivos" de las primitivas. Con esta finalidad. Por ejemplo. La mayoría de los humanos no son capaces de integrar estas fórmulas generales. y hallar la respuesta simbólica en el caso de que exista. a lo largo de los años se han ido publicando extensas tablas de integrales. por lo que en cierto sentido los ordenadores son más hábiles integrando fórmulas muy complicadas. 23 Algoritmos simbólicos En muchos problemas de matemáticas. logarítmicas. trigonométricas. y las operaciones de suma. . ninguna de estas tres funciones dadas es integrable con funciones elementales. la función hipergeométrica. en el conjunto de las primitivas. logaritmos y funciones exponenciales. inversas de las funciones trigonométricas. educadores y estudiantes han recurrido a los sistemas de cálculo algebraico por ordenador. Algunos integrandos aparecen con la suficiente frecuencia como para merecer un estudio especial. muchos profesionales. En el lado positivo.

Esto motiva el estudio y la aplicación de métodos numéricos para aproximar integrales. H.00 −0.33041 2. 247–252. com/ books?id=TDQJAAAAIAAJ) [6] W3C (2006). Real Analysis: Modern Techniques and Their Applications (1ª ed. Walter (1987).25 0. Gottfried Wilhelm (1899) (Gerhardt. (1953). David M. la fiabilidad. A History Of Mathematical Notations. T.00 0.64019 −0. (http:/ / books. la eficiencia y la generalidad. [2] Burton. Bulletin of the American Mathematical Society 59(2): 111–139.50 0. ISBN 978-0-07-100276-9 [8] Folland. pero la velocidad de los ordenadores de uso general como el ENIAC crearon la necesidad de mejoras. ISBN 978-0-486-67766-8 [5] Fourier. Para los cálculos a mano surgieron muchas ideas mucho antes.25 −0.16963 0. otras necesitan de funciones especiales que son muy complicadas de calcular.22800 x 2. ■ Gauss. Open Court Publishing. Integration I.00 1.). org/ issn/ 0273-0979) . los capítulos III y IV. McGraw-Hill. 16 trozos iguales. por lo que una tarea importante — que no se explora aquí — es decidir en qué momento una aproximación ya es bastante buena. ■ Trapezoide. Gerald B. John Wiley & Sons.60387 0. (2005). Algunas integrales no se pueden hallar con exactitud. Los objetivos de la integración numérica son la exactitud. ed.31734 Referencias y notas [1] En el caso de las funciones a las que se aplica la definición de Riemann. En particular. pp.). ISBN 3-540-41129-1.75 1. Théorie analytique de la chaleur. "Chapter 1: Abstract Integration". II.75 f(x) 2. la integral Métodos numéricos de cuadratura: ■ Rectángulo.50 2. père et fils. ■ Romberg. p.32475 0. Karl Immanuel.826 (en la práctica ordinaria no se conoce de antemano la respuesta.45663 2.25 1.50 1. Chez Firmin Didot.) Un enfoque de "libro de cálculo" divide el intervalo de integración en.00 f(x) 2. w3. ISSN 0273-0979 (http:/ / www. Arabic mathematical notation (http:/ / www. google.00 −1. y calcula los valores de la función. Erster Band. McGraw-Hill. p. pero las que se encuentran en las aplicaciones reales no siempre son tan asequibles.64400 −0.75 −1.25 0. [10] Hildebrandt.).50 −1.62934 1. ISBN 978-0-07-305189-5 [3] Leibniz.58562 2. Berlin: Mayer & Müller. que tiene el valor aproximado de 6.94000 −0. Valores de la función en los puntos x −2.Integración 24 Cuadratura numérica Las integrales que se encuentran en los cursos básicos de cálculo han sido elegidas deliberadamente por su simplicidad. Florian (1929). Hoy en día se usan en la aritmética de coma flotante. (1984). por ejemplo. Por ejemplo. en ordenadores electrónicos. ISBN 978-0-471-80958-6 [9] Bourbaki. Vol. org/ TR/ arabic-math/ ) [7] Rudin. Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. "Integration in abstract spaces".09159 −0. p.92575 −0. Jean Baptiste Joseph (1822). Nicolas (2004). los resultados coinciden. y otras son tan complejas que encontrar la respuesta exacta es demasiado lento. 359. Real and Complex Analysis (International ed.75 −0. Springer Verlag.83600 −1.). worldcat. 154 [4] Cajori. §231.67200 2. The History of Mathematics: An Introduction (6ª ed.32444 −1.

McGraw-Hill. Erster Band (http://name. Berlin: Mayer & Müller. Walter (1987). 1: One-Variable Calculus with an Introduction to Linear Algebra (2nd edición). • Burton.001). Real and Complex Analysis (International edición). A history of the calculus (http://www-history. Nicolas (2004). (1967). F.archive. H. ISBN 978-0-471-80958-6.php?tom=7&wyd=10& jez=) (English translation by L. J. 247–252. The analytical theory of heat (http://www.org/ details/analyticaltheory00fourrich). T. New York: Dover. • Dahlquist. Alexander (trans. Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern.. Young. p.umich. • The Works of Archimedes (http://www. • Folland. Dover. Bulirsch. ISBN 978-0-486-42084-4. • Cajori. With two additional notes by Stefan Banach. Philadelphia: SIAM. Germund. David M.bams/1183517761). • Bourbaki.html). Florian (1929).liu. Real Analysis: Modern Techniques and Their Applications (1st edición). (1984). Numerical Methods and Software. Calculus.mcs.edu. ISBN 978-0-07-305189-5. «Chapter 5: Numerical Quadrature». Vol. Freeman.  200–201. 111–139. The History of Mathematics: An Introduction (6th edición). Prentice-Hall. Gerald B. E. Björck. p. Stephen (1989). Earliest Uses of Symbols of Calculus (http://members. .com/jeff570/calculus. Jean Baptiste Joseph (1822).st-andrews. Moler. Tom M. Springer-Verlag. Cleve. (1996).aol. John Wiley & Sons. Theory of the integral (http://matwbn. • Miller.pl/kstresc. • O’Connor. ISBN 978-0-07-100276-9. Second revised edición).ac.mai.umdl. En particular los capítulos III y IV. Nash. ISBN 978-0-486-67766-8. 1897. « Chapter 5: Numerical Integration (http://www.com/ books?id=TDQJAAAAIAAJ). (Originalmente publicado por Cambridge University Press. Roland (2002). pp. • W3C (2006). Jeff. Integration I. Cambridge University Press. Josef. Open Court Publishing. • Fourier. «Chapter 1: Abstract Integration».) • Hildebrandt. • Kahaner.edu/AAX2762. Disponible en inglés comoFourier. ISBN 978-0-387-95452-3. A History Of Mathematical Notations Volume II (http://www. (2005). 2002. Integration in abstract spaces (http://projecteuclid.). Åke (forthcoming). Chez Firmin Didot. ISBN 978-0-471-00005-1. McGraw-Hill.w3. Wiley-Interscience.0001.se/ ~akbjo/NMbook. §231. Introduction to Numerical Analysis (3rd edición).icm.Integración 25 Bibliografía • Apostol. Numerical Methods in Scientific Computing. Joseph (1878). 59. based on J. David. pp.uk/ HistTopics/The_rise_of_calculus..org/euclid. «Chapter 3: Topics in Integration».archive. Robertson. Stanisław (1964). (1953).archive.html). Arabic mathematical notation (http://www. Théorie analytique de la chaleur (http://books. • Saks. ISBN 3-540-41129-1.google.  359. • Leibniz. père et fils. L. • Stoer. C. ISBN 978-0-13-627258-8..html)».org/details/ historyofmathema027671mbp). Springer.org/details/worksofarchimede029517mbp). • Rudin.org/TR/arabic-math/). Heiberg's Greek version. J. Gottfried Wilhelm (1899).

Fullerton College.es/w3/Descartes/ Bach_CNST_2/La_integral_definida_y_la_funcion_area/sumario.edu/ ~keisler/calc. Evaluation of Definite Integrals by Symbolic Manipulation (http://www. Jerome. en Descartes.html) • Tabla de Integrales para Imprimir (http://neoparaiso. Understanding Calculus (http://www.html) Libros online • Keisler.unice.informatik.mepsyd.com/en/university-math/definite-integrals/definite-integrals. Faraz. (http://www. an online textbook • Kowalk. Calculus (http://www. Enlaces externos • La integral definida y la función área. University of Wisconsin • Stroyan. CIT.html).Integración 26 Véase también • • • • • Tabla de integrales Integración numérica Derivada Signo de Integral Portal:Matemática. Benjamin.com). University of Oldenburg.cgi?module=tool/analysis/function.edu/~dcs/book)..edu/~sean/book/unabridged.furman.wisc. H.wolfram.lcs.uni-oldenburg.lightandmatter.en) de WIMS (http://wims.edu/publications/ specpub.P. Online textbook • Sloughter.html) • The Integrator (http://integrals. K.umn.D.math.fr) • P. Elementary Calculus: An Approach Using Infinitesimals (http://www.html) at Holistic Numerical Methods Institute . Wang.fr/wims/wims.php?id=660) (1972) .edu/~garrett/calculus/) • Hussain.de/20910.. Dan.a cookbook of definite integral techniques • Definite Integrals (http://www. A new concept to an old problem.math.uiowa.understandingcalculus. Notes on First-Year Calculus (http://www. an introduction to calculus • Wikibook of Calculus • Numerical Methods of Integration (http://numericalmethods. an online textbook that includes a complete introduction to calculus • Crowell. Sean.html). A Brief Introduction to Infinitesimal Calculus (http://www.mit.edu/topics/integration.caltech.its. an online textbook • Garrett.usf. Contenido relacionado con Matemática.com/calc/).edu/~stroyan/ InfsmlCalculus/InfsmlCalc.isftic.com/) de Wolfram Research • Function Calculator (http://wims. Difference Equations to Differential Equations (http://math. Integration Theory (http://einstein.html).S.math10.eng.math. University of Iowa • Mauch.unice. Sean's Applied Math Book (http://www. Paul.htm). W.com/imprimir/tabla-de-integrales.

Geometría euclidiana

27

Geometría euclidiana
La geometría euclidiana (o geometría parabólica)[1] es aquella que estudia las propiedades del plano y el espacio tridimensional. En ocasiones los matemáticos usan el término para englobar geometrías de dimensiones superiores con propiedades similares. Sin embargo, con frecuencia, geometría euclidiana es sinónimo de geometría plana y de geometría clásica. • Desde un punto de vista historiográfico, la geometría euclidiana es aquella geometría que postuló Euclides, en su libro Los elementos, dejando al margen las aportaciones que se hicieron posteriormente —desde Arquímedes hasta Jakob Steiner—. • Según la contraposición entre método sintético y método algebraico-analítico, la geometría euclidiana sería, precisamente, el estudio por métodos sintéticos de los invariantes de un espacio vectorial real de dimensión 3 dotado de un producto escalar muy concreto (el frecuentemente denominado «producto escalar habitual»).

Fragmento de Los elementos de Euclides, escrito en papiro, hallado en el yacimiento de Oxirrinco (Egipto).

• Según el programa de Erlangen, la geometría euclidiana sería el estudio de los invariantes de las isometrías en un espacio euclidiano (espacio vectorial real de dimensión finita, dotado de un producto escalar).[2]

Axiomas
La presentación tradicional de la geometría euclidiana se hace en un formato axiomático. Un sistema axiomático es aquél que, a partir de un cierto número de proposiciones que se presuponen «evidentes» (conocidas como axiomas) y mediante deducciones lógicas, genera nuevas proposiciones cuyo valor de verdad es también lógico.

Postulados
Euclides planteó cinco postulados en su sistema: 1. Dados dos puntos se puede trazar una y solo una recta que los une. 2. Cualquier segmento puede prolongarse de manera continua en cualquier sentido. 3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio. 4. Todos los ángulos rectos son congruentes. 5. Si una recta, al cortar a otras dos, forma ángulos internos menores a dos ángulos rectos, esas dos rectas prolongadas indefinidamente se cortan del lado en el que están los ángulos menores que dos rectos.

Portada de Los elementos de Euclides, publicada en 1570 por Sir Henry Billingsley.

Este último postulado, que es conocido como el postulado de las paralelas, fue reformulado como:

Geometría euclidiana 5. Por un punto exterior a una recta, se puede trazar una única paralela a la recta dada. Este postulado parece menos obvio que los otros cuatro, y muchos geómetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negándolo, surgieron dos nuevas geometrías: la elíptica, también llamada geometría de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperbólica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada).

28

Limitaciones
Euclides asumió que todos sus postulados o axiomas eran autoevidentes y por tanto hechos que no requerían demostración. Sin embargo, resultó que el quinto postulado —si bien es compatible con los otro cuatro— en cierto modo es independiente. Es decir, tanto el quinto postulado como la negación del quinto postulado, son compatibles con los otros cuatro postulados. Las geometrías donde el quinto postulado no es válido se llaman geometrías no euclidianas. Una limitación del trabajo de Euclides fue no reconocer la posibilidad de sistemas geométricos perfectamente consistentes donde el quinto axioma no era válido, es decir, para Euclides y los geómetras posteriores hasta el siglo XVIII pasó inadvertida la posibilidad de geometrías no euclidianas, hasta el trabajo de Nikolái Lobachevski, Gauss y Riemann. Si bien durante el siglo XIX se consideró que las geometrías no euclidianas se consideraron un artefacto matemáticamente interesante, e incluso con cierto interés práctico pero limitado, como es el caso de la trigonometría esférica usada en astronomía. Pero en cierto modo se consideraba, que la geometría del espacio físico era euclidiana y por tanto las geometrias no euclidianas eran tan sólo un artificio abstracto interesante o útil para ciertos problemas pero en modo alguno descripciones realistas del mundo. Sin embargo, el trabajo de Albert Einstein, hizo ver que entre las necesidades de la física moderna están las geometrías no euclidianas, para describir el espacio-tiempo curvo. Alguno de los errores de Euclides fue omitir al menos dos postulados más: • Dos circunferencias cuyos centros estén separados por una distancia menor a la suma de sus radios, se cortan en dos puntos (Euclides lo utiliza en su primera construcción). • Dos triángulos con dos lados iguales y los ángulos comprendidos también iguales, son congruentes (afirmación equivalente al concepto de movimiento, que Euclides usa para su teorema cuarto sin definir explícitamente).

Euclidiano y euclídeo
La Real Academia Española no recoge el adjetivo «euclídeo»,[3] aunque es un término de uso común que convive con el adjetivo «euclidiano».[4]

Véase también
• Geometría clásica • Geometría no euclidiana

Enlaces externos
• Portal:Matemática. Contenido relacionado con Matemática. • Portal:Geometría. Contenido relacionado con Geometría. • Geometría euclídea [5]

Geometría euclidiana

29

Notas y referencias
[1] Siguiendo la analogía de las cónicas, una parábola es el caso límite entre una elipse y una hipérbola; en el mismo sentido que la geometría parabólica o euclídea es el caso límite entre la geometría elíptica y la geometría hiperbólica [2] Hay que indicar que se puede dotar a un mismo espacio vectorial real de distintos productos escalares, así que, incluso con esta acepción, existe una enorme ambigüedad, al no quedar claro ni la dimensión del espacio (en principio cualquier dimensión finita) ni el producto a escalar al que nos referimos. Este término puede permitir que cosas que no se parecen en nada a lo que entendemos por geometría euclidiana pueda llamarse precisamente geometría euclidiana. [3] Véase el aviso acerca del neologismo euclídeo (http:/ / buscon. rae. es/ draeI/ SrvltGUIBusUsual?LEMA=euclídeo) en el Diccionario de la lengua española de la Real Academia Española). [4] Véase el artículo euclidiano (http:/ / buscon. rae. es/ draeI/ SrvltGUIBusUsual?LEMA=euclidiano) en el Diccionario de la lengua española. [5] http:/ / wmatem. eis. uva. es/ ~matpag/ CONTENIDOS/ Geometria/ marco_geometria. htm

Aritmética modular
En matemática, la aritmética modular es un sistema aritmético para clases de equivalencia de números enteros llamadas clases de congruencia. Algunas veces se le llama, sugerentemente, aritmética del reloj, ya que los números «dan la vuelta» tras alcanzar cierto valor llamado módulo.[1] La aritmética modular fue introducida en 1801 por Carl Friedrich Gauss en su libro Disquisitiones Arithmeticae.[2]

Cubierta de la edición original de Disquisitiones arithmeticae de Gauss, libro fundamental de la aritmética modular.

Relación de congruencia
La aritmética modular puede ser construida matemáticamente mediante la relación de congruencia entre enteros, que es compatible con las operaciones en el anillo de enteros: suma, resta, y multiplicación. Para un determinado módulo n, ésta se define de la siguiente manera:[3]

El tiempo llevado por éste reloj usa aritmética en modulo 12.

−10. 2. o «63 y 83 son congruentes uno con otro. o. En otras palabras.. Esta relación se puede expresar cómodamente utilizando la notación de Gauss:[3] Así se tiene por ejemplo ya que ambos.. la suma y la multiplicación están definidas sobre Z/nZ mediante las fórmulas siguientes:[5] De este modo. módulo 10». Se lee:[3] «63 es congruente con 83.) Otras notaciones son por ejemplo a + nZ o a mod n.[5] Esta relación de equivalencia tiene importantes propiedades que se siguen inmediatamente de la definición:[5] Si y entonces y Lo que muestra que la suma y la multiplicación son operaciones bien definidas sobre el conjunto de las clases de equivalencia. módulo 10». −22. entonces cualesquiera dos números que divididos por doce den el mismo resto son equivalentes (o "congruentes") uno con otro. [1]n. de la misma manera que como está escrito y proviene de la palabra modulus del latín. Así. equivalentemente. 63 y 83 dejan el mismo resto (3) al dividir por 10.. Otro ejemplo. ya que cada uno deja el mismo resto (2) cuando los dividimos por 12. el número n. o. son todos "congruentes módulo 12" unos con otros. El conjunto de todas las clases de equivalencia se denota con Z/nZ = { [0]n. Z/nZ se convierte en un anillo con n elementos. 63 − 83 es un múltiplo de 10.. «Módulo» a veces se abrevia con la palabra «mod» al hablar. si a − b es un múltiplo de n. La colección de todos esos números es una clase de congruencia.. si ambos dejan el mismo resto si los dividimos por n.. la lengua de los escritos originales de Gauss. Por ejemplo. [2]n. . [n-1]n }. que en este ejemplo es 10.. en el anillo Z/12Z.Aritmética modular 30 a y b se encuentran en la misma "clase de congruencia" módulo n.[4] Propiedades principales Clases de equivalencia módulo n La aritmética modular se basa en una relación de equivalencia. cuando el módulo es 12. se tiene :[8]12[3]12 + [6]12 = [30]12 = [6]12. −34.. Los números . 14.. sería el modulus. equivalentemente. y las clases de equivalencia de un entero a se denota con [a]n (o simplemente [a] si sobreentendemos el módulo.. 26.

Aritmética modular

31

Resolución de congruencias
Si a y b son enteros, la congruencia:ax ≡ b (mod n) tiene solución x si y sólo si el máximo común divisor (a, n) divide a b. Los detalles están recogidos en el teorema de congruencia lineal. Sistemas de congruencias más complicados con módulos diferentes se pueden resolver usando el teorema chino del resto o el método de sustitución sucesiva.[6] En el anillo de enteros, si consideramos la ecuación ax ≡ 1 (mod n), vemos que a tiene un inverso multiplicativo si y sólo si a y n son coprimos. Por tanto, Z/nZ es un cuerpo si y sólo si n es un primo.[7] Se puede probar que cada cuerpo finito es una extensión de Z/pZ para algún primo p.

Pequeño teorema de Fermat y teorema de Euler
Un hecho importante sobre aritmética modular, cuando los módulos son números primos es el pequeño teorema de Fermat: si p es un número primo y a es cualquier entero, entonces[8] Esto fue generalizado por Euler: para todo entero positivo n y todo entero a relativamente primo a n, :aφ(n) ≡ 1 (mod n), donde φ(n) denota función phi de Euler que cuenta el número de enteros entre 1 y n que sean coprimos con respecto a n.[9] El teorema de Euler es una consecuencia del teorema de Lagrange, aplicado al caso del grupo de las unidades del anillo Z/nZ.

Generalizaciones
Dos enteros a, b son congruentes módulo n, escrito como:a ≡ b (mod n) si su diferencia a − b es divisible por n, esto es, si a − b = kn para algún entero k. Usando esta definición, podemos generalizar a módulos no enteros. Por ejemplo, podemos definir a ≡ b (mod π) si a − b = kπ para algún entero k. Esta idea se desarrolla plenamente en el contexto de la teoría de los anillos. En Álgebra abstracta se ve que la aritmética modular es un caso especial del proceso de crear un anillo factorial de un anillo módulo un ideal. Si R es un anillo conmutativo, e I es un ideal de R, entonces dos elementos a y b de R se dicen congruentes módulo I si a − b es un elemento de I. Como pasaba con el anillo de enteros, esto se convierte en una relación de equivalencia, y la suma y la multiplicación se convierten en operaciones bien definidas sobre el anillo factorial R/I.

Aplicaciones de la aritmética modular
La aritmética modular, estudiada sistemáticamente en primer lugar por Carl Friedrich Gauss al final del Siglo XVIII, se aplica en teoría de números, álgebra abstracta, criptografía, y en artes visuales y musicales. Las operaciones aritméticas que hoy en día hacen la mayoría de las computadoras son aritmético modulares, donde el módulo es 2b (b es el número de bits de los valores sobre los que operamos). Esto se ve claro en la compilación de lenguajes de programación como el C; donde por ejemplo todas las operaciones aritméticas sobre "int", enteros, se toman módulo 232 en la mayoría de las computadoras.

Aritmética modular

32

En el arte
En música, debido a la equivalencia de octavas y equivalencia enarmónica (esto es, los pasos en razones de 1/2 o 2/1 son equivalentes, y Do# es lo mismo que Reb), la aritmética modular se usa cuando consideramos la escala de doce tonos igualmente temperada, especialmente en el dodecafonismo. En artes visuales esta aritmética puede usarse para crear patrones artísticos basados en las tablas de multiplicación módulo n (ver enlace abajo).

Véase también
• • • • • • Residuo cuadrático Teorema chino del resto Pequeño teorema de Fermat Teorema de Euler Criterio de Euler Teorema de Lagrange (teoría de grupos)

Referencias
[1] López, Jorge M. (28 de Febrero de 2011). « Criptografía (http:/ / www. matematicaparatodos. com/ varios/ criptografia. pdf)» (en castellano) (PDF). Consultado el 28 de febrero de 2011. «p.3». [2] Gauss, Carl Friedrich (1965). «Cap.1 Numbers congruences in general». Disquisitiones Arithmeticae. Yale University Press. ISBN 0-300-09473-6.. (Traducción al español) (http:/ / www. cimm. ucr. ac. cr/ da/ files/ sec1art1-12. pdf) [3] Gauss, Carl Friedrich (1965). «Sec.I art.1-3». Disquisitiones Arithmeticae. Yale University Press. ISBN 0-300-09473-6.. (Traducción al español) (http:/ / www. cimm. ucr. ac. cr/ da/ files/ sec1art1-12. pdf) [4] Hortalá, Maria Teresa; Rodriguez, Mario; Leach, Javier (2001). Matemática discreta y lógica matemática. Madrid: Complutense S.A.. pp. 67. ISBN 84-7491-650-X. [5] Carmona Collado, Luis Miguel. « Congruencias (http:/ / www. dma. fi. upm. es/ java/ matematicadiscreta/ aritmeticamodular/ congruencias. html)» (en castellano) (HTML). Introducción a la aritmética entera y modular (http:/ / www. dma. fi. upm. es/ java/ matematicadiscreta/ aritmeticamodular/ ). Consultado el 19 de abril de 2011. [6] Santiago Zaragoza, Antonio Cipriano (2009). «2.4. Congruencias lineales» (en castellano). Teoría de números (1ª edición). Madrid: Visión libros. pp. 22-25. ISBN 978-84-9886-360-1. [7] Navarro, Gabriel (2002). Universitat de València. ed (en castellano). Un curso de álgebra (1ª edición). Valencia. pp. 77. ISBN 84-370-5419-2. [8] Gauss, Carl Friedrich (1965). «Sec III,art. 50». Disquisitiones Arithmeticae. Yale University Press. ISBN 0-300-09473-6.. (Traducción al español) (http:/ / www. cimm. ucr. ac. cr/ da/ files/ sec3arts45-93. pdf) [9] Euler, Leonhard « Theoremata circa residua ex divisione potestatum relicta », en Novi Comment. acad. sc. Petrop., vol. 7, 1761, p. 49-82. Texto orginal del latín Dartmouth College (Euler archive) (http:/ / math. dartmouth. edu/ ~euler/ ) con número E262. Traducción al inglés : arΧiv:math/0608467

Enlaces externos
• Weisstein, Eric W., « Modular arithmetic (http://mathworld.wolfram.com/ModularArithmetic.html)» (en inglés), MathWorld, Wolfram Research. • Perl arithmetic enhancements (http://archive.develooper.com/perl6-internals@perl.org/msg05492.html) explica las razones que se encuentran tras el operador de Perl %

Variable

33

Variable
Una variable es un símbolo que representa un elemento o cosa no especificada de un conjunto dado. Dicho conjunto es llamado conjunto universal de la variable, universo o variar de la variable, y cada elemento del conjunto es un valor de la variable. Sea x una variable cuyo universo es el conjunto {1,3,5,7,9,11,13}; entonces x puede tener cualquiera de esos valores: 1,3,5,7,9,11,13. En otras palabras x puede reemplazarse por cualquier entero positivo impar menor que 14. Por esta razón, a menudo se dice que una variable es un reemplazo de cualquier elemento de su universo. Una variable es un elemento de una fórmula, proposición o algoritmo que puede adquirir o ser sustituido por un valor cualquiera (siempre dentro de su universo). Los valores que una variable es capaz de recibir, pueden estar definidos dentro de un rango, y/o estar limitados por razones o condiciones de pertenencia, al universo que les corresponde (en estos casos, el universo de la variable pasa a ser un subconjunto de un universo mayor, el que tendría sin las restricciones). En muchos usos, lo contrario de una variable es una constante. También puede considerarse a las constantes como caso particular de variables, con un universo unitario (con un solo elemento), ya que sólo pueden tener un valor, y no pueden modificarlo.

Véase también
• En astronomía, una variable es un tipo de estrella.

Geometría analítica
La geometría analítica estudia las figuras geométricas mediante técnicas básicas del análisis matemático y del álgebra en un determinado sistema de coordenadas. Su desarrollo histórico comienza con la geometría cartesiana, impulsada con la aparición de la geometría diferencial de Carl Friedrich Gauss y más tarde con el desarrollo de la geometría algebraica. Las dos cuestiones fundamentales de la geometría analítica son: 1. Dado el lugar geométrico en un sistema de coordenadas, obtener su ecuación. 2. Dada la ecuación en un sistema de coordenadas, determinar la gráfica o lugar geométrico de los puntos que verifican dicha ecuación. Lo novedoso de la geometría analítica es que representa las figuras geométricas mediante fórmulas del tipo , donde es una función u otro tipo de expresión matemática: las rectas se expresan como ecuaciones polinómicas de grado 1 (por ejemplo, ecuaciones polinómicas de grado 2 (la circunferencia ), las circunferencias y el resto de cónicas como , la hipérbola ), etc.

Construcciones fundamentales
En un sistema de coordenadas cartesianas, un punto del plano queda determinado por dos números, llamados abscisa y ordenada del punto. Mediante ese procedimiento a todo punto del plano corresponden siempre dos números reales ordenados (abscisa y ordenada), y recíprocamente, a un par ordenado de números corresponde un único punto del plano. Consecuentemente el sistema cartesiano establece una correspondencia biunívoca entre un concepto geométrico como es el de los puntos del plano y un concepto algebraico como son los pares ordenados de números. Esta correspondencia constituye el fundamento de la geometría analítica.

el punto O de intersección de ambas rectas. éstas determinan en la intersección con los mismos dos puntos. El punto donde ambos ejes se cruzan tendrá por lo tanto distancia a cada uno de los ejes. y el signo negativo (nunca se omite) indica que la distancia se toma hacia la izquierda. En la coordenada . Éste es un método alternativo de resolución de problemas. mientras y se la suele denominar abscisa del punto. Ese par de números. al cual se desea determinar las coordenadas. el signo positivo (que suele omitirse) significa que la distancia se toma hacia la derecha del eje horizontal (eje de las abscisas). 3) .Geometría analítica Con la geometría analítica se puede determinar figuras geométricas planas por medio de ecuaciones e inecuaciones con dos incógnitas. P' (el punto ubicado sobre el eje x) y el punto P´´ ( el punto ubicado sobre el eje y). y cada punto del plano queda unívocamente determinado por las distancias de dicho punto a cada uno de los ejes. por lo que serán de la forma . Los números relacionados con P' y P´´. Los puntos del eje de abscisas tienen por lo tanto ordenada igual a . Como proyección sobre los ejes Se consideran dos rectas orientadas. Dichos puntos son las proyecciones ortogonales sobre los ejes x e y del punto P. P´´ se encuentra hacia arriba de O. mientras que a la se la denomina ordenada del que los del eje de ordenadas tendrán abscisa igual a . así que serán de la forma . criterio que viene dado por un signo. el signo positivo (también se suele omitir) indica que la distancia se toma hacia arriba del eje vertical (eje de ordenadas). 34 Localización de un punto en el plano cartesiano Como distancia a los ejes En un plano traza dos rectas orientadas perpendiculares entre sí (ejes) —que por convenio se trazan de manera que una de ellas sea horizontal y la otra vertical—. Para la coordenada la . Ejemplo 1: P' se encuentra a la derecha de O una distancia igual a 2 unidades. teniendo en cuenta que si el punto P'se encuentra a la izquierda de O. con un origen común. quedará representado por un par ordenado . Teniendo un punto P. (ejes) . luego su abscisa será su ordenada también será . A este punto —el — se le denomina origen de coordenadas. x e y. siendo la distancia a uno de los ejes (por convenio será la distancia al eje vertical) e distancia al otro eje (al horizontal). A la coordenada punto. tomándose hacia abajo si el signo es negativo (tampoco se omite nunca en este caso). una distancia igual a 3 unidades. y si el punto P´´ se encuentra hacia abajo del punto O. dicho número será negativo. o cuando menos nos proporciona un nuevo punto de vista con el cual poder atacar el problema. las coordenadas. se procede de la siguiente forma: Por el punto P se trazan rectas perpendiculares a los ejes. siempre y cuando se dé también un criterio para determinar sobre qué semiplano determinado por cada una de las rectas hay que tomar esa distancia. perpendiculares entre sí. en ese orden son los valores de las coordenadas del punto P. A los Puntos P' y P´´ le corresponden por número la distancia desde ellos al origen. dicho número será negativo. Por lo que las coordenadas de P son (2 .

• Las rectas verticales no cortan al eje de ordenadas y son paralelas a dicho eje y se denominan rectas verticales. Una recta en el plano se representa con la Función lineal de la forma: Como expresión general. La ecuación de dichas rectas es: • Las rectas horizontales no cortan al eje de las abscisas y. P´´ se encuentra hacia abajo de O. La ecuación general de la recta es de la forma: cuya pendiente es m = -A/B y cuya ordenada al origen es b = -C/B. si no corta a uno de ellos forzosamente ha de cortar al otro (siempre y cuando la función sea continua para todos los reales). una distancia igual a 5 unidades. ésta es conocida con el nombre de ecuación pendiente-ordenada al origen y podemos distinguir dos casos particulares. Por lo que las coordenadas de P son (-3 . por tanto. una distancia igual a 2 unidades. El punto de corte con el eje de abscisas es el punto . 4) 35 Ecuaciones de la recta en el plano Una recta es el lugar geométrico de todos los puntos en el plano tales que. Por lo que las coordenadas de P son (-6 . En ellas hay un punto de corte con el eje de abscisas y otro punto de corte con el eje de ordenadas .Geometría analítica Ejemplo 2: P' se encuentra a la derecha de O una distancia igual a 4 unidades. Si una recta no corta a uno de los ejes. una distancia igual a 4 unidades. La ecuación de dichas rectas es: • Cualquier otro tipo de recta recibe el nombre de recta oblicua. Por lo que las coordenadas de P son (4 . el cálculo de la pendiente resulta siempre igual a una constante. Rectas verticales. Como los dos ejes son perpendiculares. son paralelas a dicho eje y se denominan rectas horizontales. tomados dos cualesquiera de ellos. P´´ se encuentra hacia abajo de O. -2) Ejemplo 4: P' se encuentra a la izquierda de O una distancia igual a 6 unidades. será porque es paralela a él. El valor recibe el nombre de abscisa en el origen. -5) Ejemplo 3: P' se encuentra a la izquierda de O una distancia igual a 3 unidades. mientras que el se denomina ordenada en el origen. Rectas horizontales. . Tenemos pues tres casos: Rectas oblicuas. El punto de corte con el eje de ordenadas es el punto . P´´ se encuentra hacia arriba de O.

Una elipse (figura B) centrada en los ejes. e igual a la distancia entre los vértices. Una parábola (figura A) cuyo eje de simetría sea paralelo al eje de abcisas se expresa mediante la ecuación: Los tres ejemplos de intersección de un plano con un cono: parábola (A). con longitudes de semieje a y b viene dada por la expresión: • Si los dos ejes son iguales y los llamamos c: el resultado es una circunferencia: • La hipérbola es el lugar geométrico de los puntos tales que el valor absoluto de la diferencia (resta) de sus distancias a dos puntos fijos llamados focos es siempre igual a una constante positiva. e igual a la distancia entre los vértices.Geometría analítica 36 Secciones cónicas El resultado de la intersección de la superficie de un cono. que son: la parábola. • La elipse es el lugar geométrico de los puntos tales que la suma de sus distancias a dos puntos fijos llamados focos es siempre igual a una constante positiva. la elipse (la circunferencia es un caso particular de elipse) y la hipérbola. • La parábola es el lugar geométrico de todos los puntos que equidistan de un punto fijo llamado foco y de una recta fija llamada directriz. La hipérbola (Figura C) tiene por expresión: . con un plano. La circunferencia es un caso particular de elipse. elipse (B) e hipérbola (C). parábola e hipérbola. da lugar a lo que se denominan secciones cónicas. Las tres secciones cónicas: elipse.

Una única ecuación lineal del tipo: Representa en el espacio un plano. el álgebra lineal. sin más que introducir una tercera recta perpendicular a los ejes X e Y: el eje Z. Gauss . De hecho toda recta se puede escribir como interesección de dos planos. la geometría analítica resulta un puente indispensable entre la geometría euclidiana y otras ramas de la matemática y de la propia geometría. la geometría analítica no es una geometría propiamente dicha. Por ejemplo los dos pares de ecuaciones: Clasificación de la geometría analítica dentro de la geometría Desde el punto de vista de la clasificación de Klein de las geometrías (el Programa de Erlangen). Si se pretende representar mediante ecuaciones una recta en el espacio tridimensional necesitaremos especificar. Lo único cierto es que se publica por primera vez como "Geometría analítica". ya sea en el plano o en el espacio tridimensional. es decir. apéndice al Discurso del método. El nombre de geometría analítica corrió parejo al de geometría cartesiana. mientras que se entiende que geometría analítica comprende no sólo a la geometría cartesiana (en el sentido que acabamos de citar. ya que una misma recta puede expresarse como la intersección de diferentes pares de planos. la geometría afín. y ambos son indistinguibles. al texto apéndice del Discurso del método). aparecen serios obstáculos. Desde el punto de vista didáctico. Así una recta en el espacio podría quedar representada como: Es importante notar que la representación anterior no es única. por lo que resulta a veces muy difícil intentar determinar si el estudio que se está realizando corresponde a una u otra rama. sino también todo el desarrollo posterior de la geometría que se base en la construcción de ejes coordenados y la descripción de las figuras mediante funciones —algebraicas o no— hasta la aparición de la geometría diferencial de Gauss (decimos "paradójicamente" porque se usa precisamente el término "geometría cartesiana" para aquello que el propio Descartes bautizó como "geometría analítica"). es imposible que alguno de los citados matemáticos franceses tuvieran acceso a su obra. Hoy en día. paradójicamente. la geometría diferencial o la geometría algebraica. Sin embargo no hay análogo al importantísimo concepto de pendiente de una recta. si bien se sabe que Pierre de Fermat conocía y utilizaba el método antes de su publicación por Descartes. La geometría diferencial de curvas sí que permite un estudio mediante un sistema de coordenadas.Geometría analítica 37 Construcciones en el espacio tridimensional Los razonamientos sobre la construcción de los ejes coordenados son igualmente válidos para un punto en el espacio y una terna ordenada de números. Aunque Omar Khayyam ya en el siglo XI utilizara un método muy parecido para determinar ciertas intersecciones entre curvas. como son el propio análisis matemático. de Descartes. Historia de la geometría analítica Existe una cierta controversia sobre la verdadera paternidad de este método. El problema es que durante ese periodo no existe una diferencia clara entre geometría analítica y análisis matemático —esta falta de diferencia se debe precisamente a la identificación hecha en la época entre los conceptos de función y curva—. Pero en el estudio de las superficies. en general. no una. se prefiere denominar geometría cartesiana al apéndice del Discurso del método. sino dos ecuaciones lineales como las anteriores.

A. pp. 460. Ejercicio 9 (1 edición). (11 de 1972) (en español). 3. 100. ISBN 978-84-612-0960-6. Cuaderno 3 (1 edición). debido a la dualidad análisis-síntesis. ISBN 978-84-489-1559-9. Leandro (12 de 2008) (en español). geometría analítica del espacio. Fernando (03 de 2007) (en español). 2. Tortosa Grau. Matemáticas. Agustín (05 de 2004) (en español). Rees. Cuaderno de trabajo (1 edición). ISBN 978-84-667-2612-2. ISBN 978-84-7065-858-7. González Urbaneja. Anaya. Los orígenes de la geometría analítica (1 edición). José (06 de 2002) (en español). Actualmente el término geometría analítica sólo es usado en enseñanzas medias o en carreras técnicas en las que no se realiza un estudio profundo de la geometría. 9. José (03 de 2004) (en Catalán). ISBN 978-84-348-8031-3. Matemáticas. Bachillerato. Ediciones SM. Anaya. 160. por oposición. geometría analítica plana. Pedro Miguel (01 de 2004) (en español). pp. Ramón. Notas de geometría analítica (1 edición). Editorial Reverté. Bellón Fernández. . pp. 48. 48. S. Cuaderno 5 (1 edición). geometría sintética. Geometria analítica de l'espai. y marcando con ello el fin de la geometría analítica como disciplina. pp. Editorial Ecir.) (12 de 2007) (en español). Matemáticas. Isabel (1964.. Colera Jiménez. 11.A. 1 Bachillerato. Batxillerat. ISBN 978-84-95434-50-0. Berdugo. Pedro (12 de 2007) (en español). Martín Aláez. 4. Geometría analítica.Geometría analítica salva dichos obstáculos creando la geometría diferencial. PREMIR Oposiciones Médicas S. Editorial Barcanova. pp. geometría analítica.. S.L. 6. 163. sin la intervención de coordenadas) se terminara denominando. Geometría analítica (1 edición). Introducción a la geometría analítica (1 edición). 8. 4 ESO. pp. 7.. Fundación Canaria Orotava de Historia de la Ciencia. pp. Colera Jiménez. Exercicis (1 edición). Manuel (02 de 2004) (en español). pp. pp. ISBN 978-84-667-1369-6. Ríos Santos. ISBN 978-84-935334-4-1. Es de puntualizar que la denominación de analítica dada a esta forma de estudiar la geometría provocó que la anterior manera de estudiarla (es decir. Ruiz Sancho. Asociación Cultural Tántalo. José (11 de 2007) (en español). 48. geometría analítica. matemàtiques. Paul K. Referencias Bibliografía 1. ISBN 978-84-607-9668-8. Anaya. 48.. Bachillerato (1 edición). pp. Contenido relacionado con Matemática. pp. Geometría analítica para la distensión (1 edición). 166. 38 Véase también • Portal:Matemática. 32. Jesús María (02 de 2004) (en español). Matemáticas II. 5. Alcaide Guindo. S. Torres Gosálvez. 4 ESO. Ediciones SM. 10. Colera Jiménez. ISBN 978-84-675-1508-4. la manera axiomático-deductiva. ISBN 978-84-667-2215-5.A. pp. 56. ISBN 978-84-291-5110-7. Es con el desarrollo de la geometría algebraica cuando se puede certificar totalmente la superación de la geometría analítica. Geometría analítica (1 edición). 292. 12.

Algunos matemáticos lo ) ya que estos también se pueden definir como el conjunto que nos permite contar el número de elementos que contienen los demás conjuntos.com/) • Construya objetos de la geometría analítica (http://www. y el conjunto vacío tiene cero elementos. que en notación posicional ocupa los lugares donde no hay una cifra significativa. colocado a la izquierda. Es el elemento del conjunto de los números enteros ( consideran perteneciente al conjunto de los naturales ( ) que sigue al −1 y precede al 1. El número cero se puede representar como cualquier número más su opuesto (o.com/) Cero 0 Cardinal Cero Sistemas de numeración Ática Jónica China China tradicional Egipcia Maya De los Campos de Urnas un espacio India Sistema binario Sistema octal Sistema hexadecimal 0 0 0 0 O Ο (ómicron) 〇 零 menos uno 0 uno El cero (0) es el signo numérico de valor nulo.mygeometryteacher. no lo modifica. cónicas y haces para geometría analítica (http://gdf2004. . decuplica su valor.Geometría analítica 39 Enlaces externos • Graficador gratuito de funciones. menos él mismo): . Si está situado a la derecha de un número entero.tripod. equivalentemente.

. Estas tablas están datadas en el 700 a. Babilonia. C. utilizaron un signo de «tres ganchos».Cero 40 Historia Los ceros «imperfectos» Varias antiguas grandes civilizaciones. que tiene forma redondeada. agrupándolas. X. Los babilonios escribían en arcilla sin cocer. en una tablilla encontrada en Kish. Podríamos pensar que el cero habría arraigado entonces. C. Es el primer uso documentado del cero utilizando notación posicional. escrito en 130 d. El cero «moderno» La Civilización india es la cuna de la numeración moderna. C. El primer testimonio del uso del «cero indio» está datado hacia el año 810. aunque su escritura en tablillas de arcilla se remonta al año 2000 a. La palabra «cero» proviene de la traducción de su nombre en sánscrito shunya (vacío) al árabe sifr (‫ . usaba el valor de «vacío» o «0». Ptolomeo solía utilizar el símbolo entre dígitos o al final del número. Alrededor del 400 a. se ven anotaciones numéricas en su particular forma. señalando el origen indio de las cifras. y están datados en 875-876. Su notación era cuneiforme. M. C. pero lo cierto es que Ptolomeo no usaba el símbolo como número sino que lo consideraba un signo de anotación. fue utilizado antes por la Civilización Olmeca. datado ca. La décima figura. no supieron obtener el verdadero beneficio de este capital descubrimiento. aunque esta ambigüedad no pareció preocuparles. C. Sus números eran letras de su alfabeto. Este uso no se difundió.[4] Las inscripciones talladas en roca más antiguas de dichos números indios son las de Gwalior. C. Los babilonios utilizaban un sistema de base 60. por la Civilización Maya y. probablemente.)ﺻﻔﺮ‬a través del italiano.) El cero apareció por primera vez en Babilonia en el siglo III  a. pero por diversas peculiaridades de sus sistemas numéricos. L. Jeroglífico maya para el cero. para indicar que el valor se multiplicaba por 1000. en su obra titulada «Tratado de la adición y la sustracción mediante el cálculo de los indios» explica el principio de numeración posicional decimal. D. El primer uso documentado mostrando el número cero corresponde al año 36 a.[1] En el Antiguo Egipto se utilizó el signo nfr para indicar el cero (Papiro Boulaq 18. En tablillas datadas en el año 1700 a. Abu Ja'far Mujammad ibn Musa.. C. sobre superficies planas o tablillas. C. La voz española «cifra» también tiene su origen en sifr. En otras tablillas usaron un solo «gancho» y. dibujaban una línea horizontal sobre el «número». es el «cero».[3] Claudio Ptolomeo en el Almagesto. haciendo uso de la numeración Maya. los babilonios comenzaron a colocar el signo de «dos cuñas» en los lugares donde en nuestro sistema escribiríamos un cero. El cero también surgió en Mesoamérica y fue ideado por las civilizaciones mesoamericanas antes de la era cristiana. C.[5] .. 1700 a. pues muy pocos se sumaron a él. les privó de posibilidades operativas. para representar cifras usaban: I.[2] A causa de la anomalía introducida en el tercer lugar de su notación posicional. la deformación de este se asemeja a la forma del cero. Para números con valores iguales o superiores a 4000. la Antigua Grecia poseen documentos de carácter matemático o astronómico mostrando símbolos indicativos del valor cero.. antigua ciudad de Mesopotamia al este de Babilonia. que se leía «varios». en algunos casos. Los romanos no utilizaron el cero. como las del Antiguo Egipto. Con su sistema de notación no era posible distinguir el número 23 del 203 o el 2003. año 36 a. V. Las dos cuñas no fueron la única forma de mostrar las posiciones del cero. y fue desvaneciéndose en la Historia. C.

. Antes de los indios. en algunos lugares hasta el siglo XV. por contrapartida. o al controvertido papa Silvestre II. junto con los números 1. quizás la noción del cero como número surgió de los cálculos con piedras sobre la arena. llamó la atención que en la multiplicación el cero tuviera un efecto operativo al transformar en cero a cualquier número que se multiplicara por 0. 1-0=1. con una raya que lo cruza para evitar confundirlo con la letra «o». Sin embargo. La nada entendida de este modo tiene una especie de entidad y el cero es su símbolo. para evitar confundirla con el signo del número 0. La cosmovisión india fue capital para que el cero cobrara un valor numérico. por ejemplo al producirse una resta el "cálculo" (nombre que se le daba a la piedra de contabilidad) quitado al dejar un hueco o huella en la arena dio la noción de un número cero en cuanto algo dejaba como resto una "nada". cuando la letra «o» se escribe en un texto matemático es pertinente acentuarla: «ó». alrededor del año 1000. es decir. la mayor parte de las referencias indican que el cero (llamado zefhirum) fue introducido en Europa por el matemático italiano Fibonacci en el siglo XII. lo que les permitió aceptar la noción de un signo numérico para algo que podía ser nada.[7] 41 El cero indio El cero es un número antiintuitivo. Además. los filósofos de la India solían concebir a los números no solo como signos de cosas concretas. Operaciones matemáticas con el cero El cero se representa en matemáticas con el símbolo «0». sino también de abstracciones. el cero pasó a tener un inmenso valor pragmático. Es más. Si para las operaciones más elementales como la suma o la resta el cero no poseía valor: 1+0=1. y de tales abstracciones. pero no se consideraba que se pudieran hacer cálculos u operar matemáticamente con tales representaciones de "nada" o de "vacío" (¿no es 1+0=1 y 1-0=1?). Desde el siglo XX. por paradójico que resulte. Aunque se atribuyen los primeros usos del cero en Francia. la esencia ante la existencia. aunque por la facilidad del nuevo sistema.Cero Los árabes lo transmitieron por el Magreb y Al-Ándalus. En el conjunto de los enteros el 0 es un número par. y especialmente con el desarrollo de la informática es frecuente que el 0 aparezca barrado. para muchas escuelas hinduistas y budistas shunya es lo real primero y último. .[6] La iglesia y la casta de los calculadores profesionales —clérigos en su mayoría. El cero no figura en los textos. para los pensadores de la India la shunya (el vacío) en lugar de ser una nada pasiva resultaba ser una nada esencial o "activa" como premisa para la existencia.[9] Estos números quedan relacionados por la llamada identidad de Euler. vetando la nueva álgebra. en principio metafísicas. Los primeros manuscritos que muestran las cifras indias (llamadas entonces «árabes») provienen del norte de España y son del siglo X: el Codex Vigilanus y el Codex Aemilianensis. que utilizaban el ábaco— se opusieron frontalmente. pues los cálculos se realizaban con ábaco. mostrando el álgebra árabe en su Liber abaci (Tratado del ábaco). en muchas escuelas hinduístas y budistas shunya "es". .[8] Tradicionalmente está considerado uno de los cinco números más importantes de las matemáticas. algo básico y muy concreto en la existencia: no se puede concebir el ser sin su negación. representando una ausencia. pasando posteriormente al resto de Europa. y su uso aparentemente no era necesario. En la India sin embargo la "nada" permitió dejar un "espacio" para realizar operaciones matemáticas complejas con números enormes. las autoridades eclesiásticas lo tildaron de mágico o demoniaco. ya que antes habría sido un signo de la nada y por esto de una falta de número. . otros pueblos llegaron a una idea de "cero imperfecto" ya que ¿para qué numerar el vacío o la nada?". cuando algo faltaba bastaba dejar un espacio vacío.

el cero es el elemento «absorbente». Por ejemplo: . es decir. Es así como son ciertas las afirmaciones: «0:0 no está definido» . si analizamos cada numerador y denominador por separado. para referirse a distintas cosas (aunque en el fondo tengan el mismo origen). Ejemplo: Cero en la división Entre las controversias que existen sobre el cero. Tampoco tiene sentido repartir nada entre nadie. Matemáticamente está claro que el cero es el único número real por el cual no se puede dividir. división. Es por eso que se dice que es indeterminado. Intuitivamente significa que no tiene sentido «repartir» 8 entre ninguna persona. las expresiones o carecen de sentido. El problema es que se utiliza la mismas palabra. La razón es que 0 es el único real que no tiene inverso multiplicativo. Acrecienta la confusión cuando se analiza la división por cero en el contexto de los límites y en el contexto de los números enteros. División por cero en los números reales En los números reales (incluso en los complejos) la división por cero es una indeterminación. Sin embargo. Ejemplo: (correcto) (incorrecto porque Cero en la división de límites En el análisis matemático existen definiciones de distintos tipos de límites. y basta el sentido común para dar respuesta a estas cuestiones. hasta llega a dudarse sobre si el cero puede dividir a otro número. pues pueden obtenerse resultados tan diferentes como infinito. . A continuación exponemos brevemente estos ejemplos.Cero 42 Cero en la suma En la suma. pero cada una en su contexto. Pero esto es una idea intuitiva. el límite de todo ellos es cero. así. el cero es el elemento neutro. no es un número real) . . uno o cero. Ejemplo: Cero en la multiplicación En el producto. «0/0 es indeterminado» y «0|0» («cero divide a cero»). una de ellas es sobre la posibilidad de dividir por él. cualquier número sumado con 0 vuelve a dar . cualquier número operado con 0 da 0.

por convenio. aún no hay consenso al respecto aunque muchos otros lo incluyan.Cero Cero en la división de números enteros Si nos restringimos a los números enteros. . . Análogamente. y esto es muy conveniente pues entre los números enteros la división no siempre tiene sentido. Este hecho no se contradice con el hecho de que 0:0 no está permitido pues véase que en el caso 0:0. pueden terminar dando cualquier cosa. tal que . definiendo los números de la forma pares y los de la forma lo que como impares. sólo saber multiplicar. Desde un punto de vista histórico el cero aparece tan tarde que algunos no creen que sea justo llamarlo natural. tenemos que 0 es divisor de 0. al . entonces es mayor de 0. Como en el caso de la división. De hecho. a menos que en un contexto dado sea claramente conveniente elegir un resultado u otro. Por ejemplo: 3 es divisor de 15 pues . 3 no divide a 10 porque no existe ningún número entero tal que . Cero en la potenciación Véase también: Potenciación • Si • Si es distinto de 0. pues todo número entero es divisor de cero pues . entonces nos enfrentamos ante un aparente dilema. Aún más: También vemos que cero es divisor sólo del propio cero. al poner esta operación en el contexto de los límites. por eso la discrepancia. En cambio. Algunas calculadoras científicas dan 1 como resultado. Como entonces podemos tomar como con El cero no se incluía en el conjunto de los números naturales conjunto de los números naturales cuando incluye al cero. Así. Análogamente. decimos que divide a si existe otro número (también entero) 43 Vemos que la definición no requiere saber dividir. A algunos matemáticos les resulta conveniente tratarlo como a los otros números naturales y a otros no. Y se representaba como . . el signo de división significa una operación. En lógica formal se puede probar que vacío. 2 dividido entre 3 no tiene ninguna solución en el conjunto de los números enteros. [cita requerida] . 0 no divide a 10 porque al multiplicar cero por cualquier otro número nunca obtendremos 10. la cual es la función vacía. los matemáticos están de Cuando se pretende calcular acuerdo en que esa operación no está definida. Es apenas una cuestión de nomenclatura. en la división entera no hay ninguna operación involucrada y todo se basa en la definición dada anteriormente. por ejemplo. En general. por ello nos podemos encontrar con muchos libros donde los autores no consideran al cero como número natural. es una indeterminación pues los límites de potencias tales que los límites de base y exponente por separado son cero. esto se hace observando que existe una única función de vacío en el Paridad y otras características Todos los números enteros pueden ser clasificados en pares e impares. con resulta par. Incluso hay quienes afirman desde un punto de vista metafísico que el cero no existe. y así agregan más razones para no llamarlo «natural».

Cero absoluto El cero absoluto es. especialmente en el álgebra. Su equivalencia en grados celsius es de –273.15 °C. se llama «cero» y se simboliza también con «0» a elementos de otros conjuntos muy diferentes de los reales. En general se le dice cero al elemento neutro de un grupo abeliano.Cero 44 Matemática avanzada En otra ramas de la matemática. Es el caso del vector nulo en el conjunto de los vectores del plano o del espacio. que establece como 0 K dicha temperatura. Véase también • Wuji • • • • Nada Sistema de numeración decimal Bhaskara II Noción primitiva . Sistemas digitales El 0 se asocia con la posición de "apagado" en lógica positiva y es uno de los dos dígitos del sistema binario. en el campo de la física. Esta temperatura da lugar a la escala Kelvin. la temperatura más baja que teóricamente puede alcanzar la materia.

Escritura maya. 828. Wolfram MathWorld. Ifrah:1998 p. « Even Number (http:/ / mathworld. 1357-1358. Consultado el 15-05-2009. educared. . math/ faq/ faq. com/ EvenNumber. 909.Cero 45 Complejos Reales Racionales Enteros Naturales Uno Primos Compuestos Cero Negativos Fraccionarios Fracción propia Fracción impropia Irracionales Algebraicos irracionales Trascendentes Imaginarios Referencias Notas [1] [2] [3] [4] [5] [6] [7] [8] [9] Ifrah:1998 p. html)» (en inglés). 1360. org/ dr. Consultado el 15-05-2009. net/ aprende/ bitagora8/ page/ CP) Ifrah:1998 p. Ifrah:1998 p. Los mayas. 786. html)» (en inglés). « About Pi (http:/ / mathforum. 785. Ifrah:1998 p. pi. Bitágora (http:/ / www. Math Forum. Ifrah:1998 pp. wolfram.

la teoría de juegos ha recibido la atención de la cultura popular. Además de su interés académico. Experimentó un crecimiento sustancial y se formalizó por primera vez a partir de los trabajos de John von Neumann y Oskar Morgenstern.php?num=3472) • Zero (http://mathworld. las estadísticas y la programación lineal. por lo tanto. la teoría de juegos se usa actualmente en muchos campos. La vida del matemático teórico John Forbes Nash. que se arraiga en la escuela psicoanalítica del análisis transaccional. La teoría psicológica de juegos. ISBN 84-239-9730-8 Enlaces externos • Historia del Cero (http://ciencia. como el concurso de la televisión de Cataluña (TV3) Sis a traïció (seis a traición). Espasa Calpe S. la teoría de juegos estudia decisiones realizadas en entornos donde interaccionan. Geoges (1998): Historia universal de las cifras. Sus investigadores estudian las estrategias óptimas así como el comportamiento previsto y observado de individuos en juegos. Tucker. estudia la elección de la conducta óptima cuando los costes y los beneficios de cada opción no están fijados de antemano.Cero 46 Bibliografía • Ifrah. en los que el egoísmo generalizado perjudica a los jugadores. en conjunto con la teoría de juegos. el cual tiene muchas implicaciones para comprender la naturaleza de la cooperación humana. psicología y filosofía. sociología. antes y durante la Guerra Fría. Tipos de interacción aparentemente distintos pueden. la teoría de juegos ha atraído también la atención de los investigadores en informática.A. presentar estructura de incentivo similar y. Los analistas de juegos utilizan asiduamente otras áreas de la matemática. sino que dependen de las elecciones de otros individuos. como en la biología. es enteramente distinta.com/Zero. A Beautiful Mind (1998).html) en Wolfram MathWorld (en inglés) Teoría de juegos La teoría de juegos es un área de la matemática aplicada que utiliza modelos para estudiar interacciones en estructuras formalizadas de incentivos (los llamados juegos) y llevar a cabo procesos de decisión.[1] . Desarrollada en sus comienzos como una herramienta para entender el comportamiento de la economía. hasta cierto punto. Un ejemplo muy conocido de la aplicación de la teoría de juegos a la vida real es el dilema del prisionero. usándose en inteligencia artificial y cibernética. el concurso Supervivientes. fue el tema de la biografía escrita por Sylvia Nasar. Aunque tiene algunos puntos en común con la teoría de la decisión. popularizado por el matemático Albert W. Varios programas de televisión han explorado situaciones de teoría de juegos. se puede representar mil veces conjuntamente un mismo juego. el programa de la televisión estadounidense Friend or foe? (¿Amigo o enemigo?) y. en realidad. Desde los setenta. En otras palabras. A raíz de juegos como el dilema del prisionero. en particular las probabilidades. incluyendo el desarrollo de las especies por la selección natural. y de la película del mismo nombre (2001).org/matematicas/articulo. la teoría de juegos se ha aplicado a la conducta animal. desarrollador del Equilibrio de Nash y que recibió un premio Nobel .astroseti.wolfram. debido sobre todo a su aplicación a la estrategia militar —en particular a causa del concepto de destrucción mutua garantizada.

-1 3. Los juegos en forma extensiva pueden modelar también juegos de movimientos simultáneos. La forma normal da al matemático una notación sencilla para el estudio de los problemas de equilibrio. Si el jugador 1 elige arriba y el jugador 2 elige izquierda entonces sus recompensas son 4 y 3. Un juego en forma extensiva. El jugador se especifica por un número situado junto al vértice. Las recompensas se especifican en las hojas del árbol. 0 -1. Hay dos formas comunes de representar a los juegos. Cuando un juego se presenta en forma normal. más relevantes para la teoría combinatoria de juegos. Ésta combina estrategias asociadas con el mismo pago. Hay dos tipos de jugadores. al menos. sin saber la elección que toma el otro. La notación conveniente para tratar estas cuestiones. porque desestima la cuestión de cómo las estrategias son calculadas o. El jugador 1 mueve primero y elige F o U. que muestra los jugadores. En esos casos se dibuja una línea punteada o un círculo alrededor de dos vértices diferentes para representarlos como parte del mismo conjunto de información (por ejemplo. . Un juego consiste en un conjunto de jugadores. cuando los jugadores no saben en qué punto se encuentran). un conjunto de movimientos (o estrategias) disponible para esos jugadores y una especificación de recompensas para cada combinación de estrategias. entonces el jugador 1 obtiene 8 y el jugador 2 obtiene 2. uno elige la fila y otro la columna. Si el jugador 1 elige U y entonces el jugador 2 elige A. Los juegos se presentan como árboles (como se muestra a la derecha). respectivamente. En el juego que se muestra en el ejemplo hay dos jugadores. El jugador 2 ve el movimiento del jugador 1 y elige A o R. las estrategias. 4 La forma normal (o forma estratégica) de un juego es una matriz de pagos. de cómo el juego es jugado en realidad. Forma normal de un juego Un juego en forma normal El jugador 2 elige izquierda El jugador 2 elige derecha El jugador 1 elige arriba El jugador 1 elige abajo 4. que están especificadas por el número de filas y el número de columnas. Si los jugadores tienen alguna información acerca de las elecciones de otros jugadores el juego se presenta habitualmente en la forma extensiva. También existe una forma normal reducida. Forma extensiva de un juego La representación de juegos en forma extensiva modela juegos con algún orden que se debe considerar. Cada jugador tiene dos estrategias. el segundo es la recompensa del jugador de las columnas (el Jugador 2 en nuestro ejemplo). y las recompensas (ver el ejemplo a la derecha). se presupone que todos los jugadores actúan simultáneamente o. Las líneas que parten del vértice representan acciones posibles para el jugador. en otras palabras. 3 0.Teoría de juegos 47 Representación de juegos Los juegos estudiados por la teoría de juegos están bien definidos por objetos matemáticos. Cada vértice o nodo representa un punto donde el jugador toma decisiones. El primer número es la recompensa recibida por el jugador de las filas (el Jugador 1 en nuestro ejemplo). Las recompensas se especifican en el interior.

2 F 0. Por ejemplo. Muchos de los juegos 2×2 más estudiados son simétricos. no obstante. Las categorías comunes incluyen: Juegos simétricos y asimétricos Un juego asimétrico E E 1. Es decir. porque se gana exactamente la cantidad que pierde el oponente. son juegos de suma no cero. el dilema del prisionero y la caza del ciervo son juegos simétricos. también cómo se define "resolución" en una categoría particular). el ajedrez. 48 Tipos de juegos y ejemplos La teoría clasifica los juegos en muchas categorías que determinan qué métodos particulares se pueden aplicar para resolverlos (y. al igual que el dilema del prisionero. -10 B -10. 0 F 0. cuyas pérdidas compensen las . entonces el juego es simétrico. -30 2 10. el juego mostrado a la derecha es asimétrico a pesar de tener conjuntos de estrategias idénticos para ambos jugadores. porque algunos desenlaces tienen resultados netos mayores o menores que cero. puede haber juegos asimétricos con estrategias idénticas para cada jugador.[2] Los juegos asimétricos más estudiados son los juegos donde no hay conjuntos de estrategias idénticas para ambos jugadores. Por ejemplo. 2 Un juego simétrico es un juego en el que las recompensas por jugar una estrategia en particular dependen sólo de las estrategias que empleen los otros jugadores y no de quién las juegue. de hecho. -20 C 20. mientras que en la actualidad las victorias reportan 3 puntos y el empate 1. un jugador se beneficia solamente a expensas de otros). La mayoría de los ejemplos reales en negocios y política. Si las identidades de los jugadores pueden cambiarse sin que cambien las recompensas de las estrategias. un contrato de negocios involucra idealmente un desenlace de suma positiva. siempre suma cero (en otras palabras. en cada combinación de estrategias. y cualquier juego se puede transformar en un juego de suma cero añadiendo un jugador "ficticio" adicional ("el tablero" o "la banca"). Por ejemplo. Juegos de suma cero y de suma no cero Un juego de suma cero A 1 30. -20 -20. el póker y el juego del oso son ejemplos de juegos de suma cero. pues las victorias reportaban 2 puntos y el empate 1 (considérese que ambos equipos parten inicialmente con 1 punto). Las representaciones estándar del juego de la gallina. Como curiosidad. 10 20. el fútbol dejó hace unos años de ser de suma cero.Teoría de juegos es la forma extensiva del juego. el juego del ultimátum y el juego del dictador tienen diferentes estrategias para cada jugador. El go. la ganancia de un jugador no necesariamente se corresponde con la pérdida de otro. 0 1. 20 En los juegos de suma cero el beneficio total para todos los jugadores del juego. Se puede analizar más fácilmente un juego de suma cero. donde cada oponente termina en una posición mejor que la que tendría si no se hubiera dado la negociación.

La matriz de pagos de un juego es una forma conveniente de representación. Por ejemplo. Este conocimiento no necesariamente tiene que ser perfecto. elige que su pago mínimo posible sea el mayor. eso no ocurre con frecuencia. ninguna de las dos quiere cambiar de conducta. • Criterio Minimax: el jugador B elige que el pago máximo a A sea el menor posible. Dos jugadores negocian tanto quieren invertir en un contrato. Juegos cooperativos Un juego cooperativo se caracteriza por un contrato que puede hacerse cumplir. De cualquier forma. un juego de suma cero de dos jugadores con la matriz que se muestra a la derecha. La teoría de los juegos cooperativos da justificaciones de contratos plausibles. La plausibilidad de un contrato está muy relacionada con la estabilidad. La teoría de la negociación axiomática nos muestra cuánta inversión es conveniente para nosotros. Equilibrio de Nash. La forma normal se usa para representar juegos simultáneos. sólo debe consistir en algo de información. cuando la otra revela su elección. Los equilibrios de las estrategias dominantes están muy bien cuando aparecen en los juegos. Los juegos secuenciales (o dinámicos) son juegos en los que los jugadores posteriores tienen algún conocimiento de las acciones previas. pero no saber cuál de las otras acciones disponibles eligió. dada elección de B. dada la de A. y la extensiva para representar juegos secuenciales. 49 Criterios Maximin y Minimax Los criterios maximin y minimax establecen que cada jugador debe minimizar su pérdida máxima: • Criterio Maximin: el jugador A. un jugador1 puede conocer que un jugador2 no realizó una acción determinada. podríamos no estar interesados en la justicia y exigir más. La diferencia entre juegos simultáneos y secuenciales se recoge en las representaciones discutidas previamente. la solución de Nash para la negociación demanda que la inversión sea justa y eficiente. . pero desafortunadamente. mediante el llamado equilibrio de Nash. Por ejemplo. Por ejemplo. Simultáneos y secuenciales Los juegos simultáneos son juegos en los que los jugadores mueven simultáneamente o en los que éstos desconocen los movimientos anteriores de otros jugadores. Un par de estrategias es un equilibrio de Nash si la elección del jugador A es óptima.Teoría de juegos ganancias netas de los jugadores. que apoya la solución de Nash considerándola la mejor. existe un juego no-cooperativo creado por Ariel Rubinstein consistente en alternar ofertas. De hecho. El equilibrio de Nash puede interpretarse como un par de expectativas sobre la elección de cada persona tal que. y la de B es óptima.

La mayoría de los juegos estudiados en la teoría de juegos son juegos de información imperfecta. y donde las únicas recompensas son "perder" y "ganar"— para los que ningún jugador tiene una estrategia ganadora. incluyendo el ajedrez y el go. Los juegos matemáticos puros no tienen estas restricciones y la teoría de conjuntos estudia juegos de infinitos movimientos. aunque buena parte de este análisis se enfocó en nim. También muchos juegos populares son de información perfecta.Teoría de juegos 50 Juegos de información perfecta Un subconjunto importante de los juegos secuenciales es el conjunto de los juegos de información perfecta. Un juego es de información perfecta si todos los jugadores conocen los movimientos que han efectuado previamente todos los otros jugadores. Los juegos de información completa ocurren raramente en el mundo real. La información perfecta se confunde a menudo con la información completa. pues en los juegos simultáneos no todos los jugadores Un juego de información imperfecta (las líneas punteadas representan la ignorancia (a menudo ninguno) conocen las acciones de la parte del jugador 2). aunque algunos juegos interesantes son de información perfecta. llegando a la clase muy general de los números surreales. así que sólo los juegos secuenciales pueden ser juegos de información perfecta. usualmente los ven sólo como aproximaciones al juego realmente jugado. donde el ganador no se conoce hasta que todos los movimientos se conozcan. La información completa requiere que cada jugador conozca las estrategias y recompensas del resto pero no necesariamente las acciones. Esto devino en la teoría de juegos combinatoria. sino simplemente qué jugador tiene una estrategia ganadora (Se puede probar. El ajedrez y el dilema del prisionero ejemplifican juegos de información completa. John Conway desarrolló una notación para algunos juegos de información completa y definió varias operaciones en esos juegos. Juegos de longitud infinita (SuperJuegos) Por razones obvias. En los juegos de información completa cada jugador tiene la misma "información relevante al juego" que los demás jugadores. originalmente para estudiar los finales de go. El interés en dicha situación no suele ser decidir cuál es la mejor manera de jugar a un juego. que es un concepto similar. usando el axioma de elección. Descubrió que existe una subclase de esos juegos que pueden ser usados como números. y los teóricos de los juegos.) La existencia de tales estrategias tiene consecuencias importantes en la teoría descriptiva de conjuntos . como describió en su libro On Numbers and Games. los juegos estudiados por los economistas y los juegos del mundo real finalizan generalmente tras un número finito de movimientos. del resto. que hay juegos —incluso de información perfecta. incluyendo el juego del ultimátum y el juego del ciempiés.

En algunas universidades se enseña y se investiga casi exclusivamente fuera del departamento de matemática. Estas investigaciones normalmente están enfocadas a conjuntos particulares de estrategias conocidos como conceptos de solución. la informática y la estrategia militar. A menudo las recompensas representan dinero. pero los humanos reales a menudo actúan irracionalmente o racionalmente pero buscando el beneficio de un grupo mayor (altruismo). Esta presunción. estudiado. pero la mayoría de la investigación fundamental es desempeñada por especialistas en otras áreas. sin embargo. Esta visión particular de la teoría de juegos se ha criticado en la actualidad. Los teóricos de juegos responden comparando sus supuestos con los que se emplean en física. aunque sus supuestos no se mantienen siempre. la investigación operativa. y el autor demuestra qué conjunto de estrategias corresponden al equilibrio en el juego presentado. duopolios. Un conjunto de estrategias es un equilibrio de Nash si cada una representa la mejor respuesta a otras estrategias. El más famoso es el equilibrio de Nash. Un documento de teoría de juegos en economía empieza presentando un juego que es una abstracción de una situación económica particular. Sin embargo. Esta teoría tiene aplicaciones en numerosas áreas. en el juego del ciempiés. Estos conceptos de solución están basados normalmente en lo requerido por las normas de racionalidad perfecta. las ciencias políticas. que se presume corresponden a la utilidad de un individuo. Las recompensas de los juegos normalmente representan la utilidad de los jugadores individuales. Se eligen una o más soluciones. se la critica porque los supuestos de los teóricos se violan frecuentemente. no tienen ningún incentivo para cambiar de conducta. si todos los jugadores están aplicando las estrategias en un equilibrio de Nash.Teoría de juegos 51 Aplicaciones La teoría de juegos tiene la característica de ser un área en que la sustancia subyacente es principalmente una categoría de matemáticas aplicadas. Algunos investigadores creen que encontrar el equilibrio de los juegos puede predecir cómo se comportarían las poblaciones humanas si se enfrentasen a situaciones análogas al juego Un juego del ciempiés de tres fases. la biología evolutiva. la psicología. Así. En primer lugar. las personas a . Por ejemplo. de la misma forma que los modelos usados por los físicos. De esta forma. Economía y negocios Los economistas han usado la teoría de juegos para analizar un amplio abanico de problemas económicos. pueden tratar la teoría de juegos como una idealización razonable. puede no ser correcta. pues su estrategia es la mejor que pueden aplicar dadas las estrategias de los demás. entre las cuales caben destacar las ciencias económicas. este uso de la teoría de juegos se ha seguido criticando porque algunos experimentos han demostrado que los individuos no se comportan según estrategias de equilibrio. Los economistas y profesores de escuelas de negocios sugieren dos usos principales. el diseño industrial. Los teóricos de juegos pueden suponer jugadores que se comportan siempre racionalmente y actúan para maximizar sus beneficios (el modelo homo oeconomicus). el juego de adivinar 2/3 de la media y el juego del dictador. incluyendo subastas. la formación de redes sociales. Descriptiva El uso principal es informar acerca del comportamiento de las poblaciones humanas actuales. y sistemas de votaciones. oligopolios.

la teoría de juegos se emplea para entender muchos problemas diferentes.[3] Por otra parte. algunos matemáticos no ven la teoría de juegos como una herramienta que predice la conducta de los seres humanos. En este juego. toda estrategia evolutivamente estable es un equilibrio de Nash. la cuestión acerca de cuánta gente se comporta así permanece abierta. El dilema del prisionero presenta otro contraejemplo potencial. su estudio se ha enfocado menos en el equilibrio que corresponde a la noción de racionalidad. La teoría evolutiva de juegos incluye las evoluciones biológica y cultural y también modela el aprendizaje individual. algunos autores aducen que los equilibrios de Nash no proporcionan predicciones para las poblaciones humanas. En biología. Por ejemplo. Se usó por primera vez para explicar la evolución (y estabilidad) de las proporciones de sexos 1:1 (mismo número de machos que de hembras). El equilibrio mejor conocido en biología se conoce como estrategia evolutivamente estable. Además. Dado que el equilibrio de Nash constituye la mejor respuesta a las acciones de otros jugadores. Sin embargo. las recompensas de los juegos en biología se interpretan frecuentemente como adaptación. En primer lugar. la teoría evolutiva de juegos no presupone necesariamente selección natural en sentido biológico. sino como una sugerencia sobre cómo deberían comportarse. en el juego adivina 2/3 de la media. Esta controversia se está resolviendo actualmente. Tales modelos presuponen o no racionalidad o una racionalidad acotada en los jugadores. y fue introducido por primera vez por John Maynard Smith. Biología Halcón-Paloma Halcón Paloma Halcón             (V-C)/2             V (V-C)/2 0 Paloma             0 V             V/2 V/2 A diferencia del uso de la teoría de juegos en la economía. Normativa El dilema del prisionero Cooperar Traicionar Cooperar             2             0 2 3 52 Traicionar             3             1 0 1 Por otra parte. centrándose en el equilibrio mantenido por las fuerzas evolutivas. seguir una estrategia que es parte del equilibrio de Nash parece lo más apropiado.Teoría de juegos menudo no se comportan según el equilibrio de Nash. Sin embargo. . en algunos casos es apropiado jugar según una estrategia ajena al equilibrio si uno espera que los demás también jugarán de acuerdo al equilibrio. si cada jugador persigue su propio beneficio ambos jugadores obtienen un resultado peor que de no haberlo hecho. sino que proporcionan una explicación de por qué las poblaciones que se comportan según el equilibrio de Nash permanecen en esa conducta. Algunos teóricos de juegos han puesto esperanzas en la teoría evolutiva de juegos para resolver esas preocupaciones. Algunos matemáticos creen que esto demuestra el fallo de la teoría de juegos como una recomendación de la conducta a seguir. este uso de la teoría de juegos también ha recibido críticas. Aunque su motivación inicial no comportaba los requisitos mentales del equilibrio de Nash. A pesar del nombre.

Además.). y las estrategias de cada jugador tienen propiedades de las que trata la teoría semántica (ser dominante si y sólo si las oraciones con que se juega cumplen determinadas condiciones. A partir de dos trabajos de W. 53 Informática y lógica La teoría de juegos ha empezado a desempeñar un papel importante en la lógica y la informática. 3 Liebre 2.V. El análisis de juegos con señales y otros juegos de comunicación ha proporcionado nuevas interpretaciones acerca de la evolución de la comunicación en los animales. Finalmente. 2 2. Por otra parte. Según este razonamiento. En esta aproximación los "jugadores" compiten proponiendo cuantificaciones e instancias de oraciones abiertas. proporcionó el primer análisis del conocimiento común y lo empleó en analizar juegos de coordinación. Esta sugerencia se ha seguido por muchos filósofos desde el trabajo de Lewis. Una explicación de la teoría de la paz democrática es que el debate público y abierto en la democracia envía información clara y fiable acerca de las intenciones de los gobiernos hacia otros estados. las reglas del juego son las reglas de interpretación de las sentencias en un modelo. La caza del ciervo Ciervo Liebre Ciervo 3. 2 En ética. fue el primero en sugerir que se podía entender el significado en términos de juegos de señales. los biólogos han usado el problema halcón-paloma (también conocido como problema de la gallina) para analizar la conducta combativa y la territorialidad.O. algunos autores han intentado continuar la idea de Thomas Hobbes de derivar la moral del interés personal. 0 0.[6] . De esta forma. Ciencia política La investigación en ciencia política también ha usado resultados de la teoría de juegos. David Lewis (1969) usó la teoría de juegos para desarrollar el concepto filosófico de convención. Esta estrategia general es un componente de la idea de contrato social en filosofía política (ejemplos en Gauthier 1987 y Kavka 1986). validez y similares. Muchas teorías lógicas se asientan en la semántica de juegos. Dado que juegos como el dilema del prisionero presentan un conflicto aparente entre la moralidad y el interés personal. habrá desconfianza y poca cooperación si al menos uno de los participantes de una disputa no es una democracia. Además. Quine publicados en 1960 y 1967.[5] Leon Henkin. los biólogos han usado la teoría de juegos evolutiva y el concepto de estrategia evolutivamente estable para explicar el surgimiento de la comunicación animal (John Maynard Smith y Harper en el año 2003). es difícil conocer los intereses de los líderes no democráticos. Además. [4] Filosofía La teoría de juegos ha demostrado tener muchos usos en filosofía. Paul Lorenzen y Jaakko Hintikka iniciaron una aproximación a la semántica de los lenguajes formales que explica con conceptos de teoría de juegos los conceptos de verdad lógica. explicar por qué la cooperación es necesaria para el interés personal es una componente importante de este proyecto. los investigadores de informática han usado juegos para modelar programas que interactúan entre sí.Teoría de juegos Ronald Fisher sugirió en 1930 que la proporción 1:1 es el resultado de la acción de los individuos tratando de maximizar el número de sus nietos sujetos a la restricción de las fuerzas evolutivas. qué privilegios otorgarán y qué promesas mantendrán. etc.

John Forbes Nash se doctora con una tesis sobre juegos no cooperativos . John von Neumann presenta un a serie de artículos sobre el tema. Este tipo de teoría de juegos analiza las estrategias óptimas para grupos de individuos. de Antoine Augustin Cournot en 1838. Theory of Games and Economic Behavior[8] . que más adelante refinó el equilibrio de Nash. En este trabajo. Tucker planteó formalmente las primeras discusiones del dilema del prisionero. 2004. bajo la dirección de Albert W. y el juego del trato de Nash para explicar la razón del surgimiento de las actitudes acerca de la moral (véase Skyrms 1996. Tucker planteó formalmente "dilema del prisionero". incluyendo el dilema del prisionero. Durante este período. conocido como equilibrio de Nash. la caza del ciervo. Estos autores han buscado ejemplos en muchos juegos. fundamental en la teoría de juegos. Tucker que contenía lo que más tarde se denominó como el equilibrio de Nash. Este trabajo contiene un método para encontrar soluciones óptimas para juegos de suma cero de dos personas. Sin embargo no se publicó un análisis teórico de teoría de juegos en general hasta la publicación de Recherches sur les príncipes mathématiques de la théorie des richesses.Teoría de juegos Finalmente. Estos resultados fueron ampliados más tarde en su libro de 1944. y se emprendió un experimento acerca de este juego en la corporación RAND. Cournot considera un duopolio y presenta una solución que es una versión restringida del equilibrio de Nash. Antoine Augustin Cournot publica una solución teórica al caso de dos jugadores. Sober y Wilson 1999). En biología John Maynard Smith introduce el concepto de estrategia evolutivamente estable. el trabajo sobre teoría de juegos se centró. John Harsanyi junto con John Nash y Reinhard Selten. 54 Historia de la teoría de juegos Cronología [7] Año 1713 Acontecimiento James Waldegrave da la primera demostración matemática para un caso de dos jugadores. En 1950 Albert W. en teoría de juegos cooperativos. escrito junto con Oskar Morgenstern. Waldegrave proporciona una solución mínima de estrategia mixta a una versión para dos personas del juego de cartas le Her. John Harsanyi desarrolló los conceptos de la información completa y de los juegos bayesianos. Este equilibrio es suficientemente . John von Neumann junto con Oskar Morgenstern publican Theory of Games and Economic Behavior Albert W. bajo la supervisión del mencionado Tucker. 1838 1928 1944 1950 1965 1967 1982 1994 La primera discusión conocida de la teoría de juegos aparece en una carta escrita por James Waldegrave en 1713. En esta carta. sobre todo. la teoría de juegos realmente no existió como campo de estudio aparte hasta que John von Neumann publicó una serie de artículos en 1928. otros autores han intentado usar la teoría evolutiva de juegos para explicar el nacimiento de las actitudes humanas ante la moralidad y las conductas animales correspondientes. Reinhard Selten introdujo su concepto de solución de los equilibrios perfectos del subjuego. Aunque el análisis de Cournot es más general que el de Waldegrave. ganaron el Premio Nobel de Economía de este año. En ese año John Nash desarrolló una definición de una estrategia óptima para juegos de múltiples jugadores donde el óptimo no se había definido previamente. asumiendo que pueden establecer acuerdos entre sí acerca de las estrategias más apropiadas.

la perfección del temblor de la mano. en gran parte como resultado del trabajo de John Maynard Smith y su concepto estrategia estable evolutiva. Además. : McGraw-Hill. Gibbons. 1ª edición. 1º Edición. H. el juego ficticio. (1996): Juegos para empresarios y economistas. En 1965. 2005. ITAM. ISBN 0262061414 Gardner. (1993): Un primer curso de teoría de juegos. aparecieron las primeras aplicaciones de la teoría de juegos en la filosofía y las ciencias políticas. Fondo de Cultura Económica.. ISBN 978-607-9-00031-8 Hillier. M. Friedman. los primeros ejemplos de la teoría de juegos evolutiva. En 1967 John Harsanyi desarrolló los conceptos de la información completa y de los juegos bayesianos. ganaron el Premio Nobel de Economía en 1994. Alianza Editorial. Alianza Editorial. D. Carlos y Sadka. La teoría de juegos experimentó una notable actividad en la década de 1950.M. J. Martin y Ariel Rubinstein: A Course in Game Theory. J. (1994): Teoría de juegos y modelación económica. Princeton University Press ISBN 0691003955. 1ª edición. Fernández. R. Kreps. 1994. ISBN 0691009430 Osborne. Aumann contribuyó más a la escuela del equilibrio. y del conocimiento común fueron introducidos y analizados. Disponible en Internet [10]. También publicado en Londres por Harvester Wheatsheaf (Londres) con el título A primer in game theory. D. recibieron el premio Nobel de Economía por "sentar las bases de la teoría de diseño de mecanismos. 2006. Editorial Ariel. Él." 55 Véase también • Teoría de los juegos de rol Bibliografía Referencias generales • • • • • • • • • • • • Bierman. Herbert (2000): Game Theory Evolving.[9] En 2005. Game Theory with economic applications. Princeton University Press. y el valor de Shapley fueron desarrollados. Introducción a la investigación de operaciones. 1ª edición. MIT Press. permitiendo el análisis de juegos no cooperativos además de los juegos cooperativos. Gibbons. en ese tiempo. Erik: Games and information. William Poundstone: El Dilema del Prisionero. D. K. Tirole. Joyce (2009): "Teoría de Juegos y Derecho Contemporáneo. En la década de 1970 la teoría de juegos se aplicó extensamente a la biología. junto con John Nash y Reinhard Selten. En el 2007.Teoría de juegos general. Antoni Bosch editores. Frederick S. el juego de forma extensiva. (1994): Teoría de juegos. y L. Schelling trabajó en modelos dinámicos. Además. c2010. 1ª edición. Mena L. Mauricio. ISBN 0-262-65040-1 Rasmusen. Roger Myerson. 4ª edición. Lecturas adicionales • • • • Binmore. Antoni Bosh editores. Reinhard Selten introdujo su concepto de solución de los equilibrios perfectos del subjuego. Drew y Jean Tirole: Game Theory. momento en el cual los conceptos base. George Mason University y Porrúa. Davis. R. Editorial McGraw-Hill. 1991. Editorial Alianza Universidad. los teóricos de juegos Thomas Schelling y Robert Aumann ganaron el premio Nobel de Economía. Addison-Wesley. junto con Leonid Hurwicz y Eric Maskin. Por su parte. Cano. .F. los juegos repetitivos. Textos de importancia histórica • Fisher. México. 1998. Ginits. Ronald (1930) The Genetical Theory of Natural Selection. Temas Selectos". (1991): Teoría de juegos con aplicaciones a la economía. (1990): La teoría de la organización industrial. 1ª edición. Fudenberg. MIT Press.W. los conceptos del equilibrio correlacionado. Robert (1992): Game Theory for Applied Economists. que más adelante refinó el equilibrio de Nash. Oxford. Blackwell. S. (1971): Introducción a la teoría de juegos. Clarendon Press.

Stanford Encyclopedia of Philosophy • "A framework for the unification of the behavioral sciences" (http://www. Cambridge University Press.edu. Experimental Economics. com/ sol3/ papers. Ariel. Alvin Roth • A Chronology of Game Theory (http://www. Paul Walker • GameTheory. [2] Algunos estudiosos consideran ciertos juegos asimétricos como ejemplos de este tipo de juegos. [8] Teoría de juegos y del comportamiento económico [9] Aunque el conocimiento común fue discutido por primera vez por el filósofo David Lewis en su disertación Convention a finales de la década de 1960. economía experimental.canterbury. no se estudió con detenimiento por los economistas hasta el trabajo de Robert Aumann. • Poundstone.stanford. html Enlaces externos • Wikimedia Commons alberga contenido multimedia sobre Teoría de juegos. gametheory. htm). Dover.eumed.net: A resource for educators and students of game theory (http://www. ISBN 0486659437 • Maynard Smith.econ. Princeton University Press. William Prisoner's Dilemma: John von Neumann. ssrn.harvard.Teoría de juegos • Luce. • Nash.html). Para discusiones recientes en este campo véase Camer 2003. RIIM/ESEADE • Sencilla introducción a la teoría de juegos (http://raulbajo. [3] El trabajo experimental en teoría de juegos recibe muchos nombres.htm). las 56 recompensas más habituales para todos estos juegos son simétricas. John (1950) "Equilibrium points in n-person games" Proceedings of the National Academy of the USA 36(1):48-49. Commons En español: • Introducción a la teoría de juegos (http://www.uned.edu/entries/game-theory/). Grim et al.economics.es/personal/rosuna/resources/theoryofgames.net (http:/ / www.pdf).ar/servicios/Libertas/ 13_6_Krause. ISBN 978-987-1496-09-9.pdf).stanford.gametheory. Mike Shor . Eumed. Behavioral and Brain Sciences (2007) 30:1-61 • Game Theory. Rubén Osuna • "La teoría de los juegos y el origen de las instituciones" (http://www.edu/preferen/gintis/ Unity-BBS Print Version. Wilfrid Hodges.net). 2004 [6] Para una discusión detallada del uso de la teoría de juegos en ética véase la entrada de la Stanford Encyclopedia of Philosophy teoría de juegos y ética (http://plato.net/popular/).nz/personal_pages/paul_walker/gt/hist. Duncan y Howard Raiffa Games and Decisions: Introduction and Critical Survey. Raúl Bajo En inglés: • "Game Theory" (http://plato.edu/~aroth/ alroth. economía conductista y teoría conductista de juegos. [4] http:/ / papers. John: Evolution and the Theory of Games.blogspot. 50 cosas que hay que saber sobre matemáticas.net • Literatura sobre teoría de juegos (http://www. cfm?abstract_id=433844 [5] Skyrms 1996. rasmusen. org/ GI/ index. • Morgenstern. Martín Krause. Herbert Gintis.ac. Oskar y John von Neumann (1947): Theory of Games and Economic Behavior. ISBN 038541580X Notas [1] GameTheory.gametheory. and Market Design Page (http://www. 1982. en 1970. [7] Tony Crilly (2011).net/cursecon/juegos/index.htm).umass.edu/entries/game-ethics/).html).eseade. net) Tiene una extensa lista de referencias a la teoría de juegos en la cultura popular (http://www.com/2009/07/ introduccion-la-teoria-de-juegos. Sin embargo. Ed. Game Theory and the Puzzle of the Bomb. [10] http:/ / www.

acortando dramáticamente los tiempos de resolución. que altera las representaciones lingüísticas de un mensaje. permite un intercambio de mensajes que sólo puedan ser leídos por los destinatarios designados como 'coherentes'. biología. La máquina alemana de cifrado Lorenz. En una estimación puntual se obtiene un solo valor con una confianza nula. medicina. Criptografía La criptografía (del griego κρύπτω krypto. bien sea aplicada al arte o la ciencia. El uso de esta u otras técnicas. Es por esto que en muchas facultades se enseña a utilizar estos programas estadísticos sin que.academicearth. el destinatario coherente conoce el discretismo usado para el enmascaramiento del mensaje. «escribir». el área de estudio científico que se encarga de ello es la Criptología. a veces. Así pues.72m. de forma discreta. se hace basándose en la estimación estadística y puede ser puntual. y γράφως graphos. Si bien. como cuando se dice que la estatura media de tal población es de 1. el nivel de confianza depende de la amplitud del intervalo.org/lectures/ introduction-to-game-theory) 57 Estadística aplicada Se denomina estadística aplicada al área de la estadística que se ocupa de inferir resultados sobre una población a partir de una o varias muestras. Los parámetros poblacionales son estimados mediante funciones denominadas "estimadores" o "estadísticos". La estadística aplicada se apoya totalmente en la utilización de paquetes estadísticos que ayudan a resolver problemas de índole estadística. ni tenga la necesidad de entender cómo funcionan. Por ejemplo enmascarar las referencias originales de la lengua por un método de conversión gobernado por un algoritmo que permita el proceso inverso o descifrado de la información. «oculto». por intervalos o de contraste de hipótesis. Lecture by Benjamin Polak (http://www. como psicología. Para ello existen distintos métodos. el alumno entienda. historia. En la estimación por intervalos. Un destinatario coherente es la persona a la que el mensaje se le dirige con intención por parte del remitente. Por lo que. El contraste de hipótesis consiste en verificar estadísticamente si una suposición acerca de una población es cierta o falsa. es cuando se afirma que el 95% de tal población mide menos de 1. Objetivo de la criptografia En esencia la criptografía trata de enmascarar las representaciones caligráficas de una lengua. marketing. o bien posee . etc. sociología. Es la parte de la estadística que se aplica en cualquier otra rama externa a ella. usada en la Segunda Guerra Mundial para el cifrado de los mensajes para los generales de muy alto rango.Teoría de juegos • Introduction to Game Theory. La estimación de éstos.96m. literalmente «escritura oculta») es la técnica.

se desconocía el cero. procesos de gestión de claves y actuaciones de los usuarios. En el lenguaje cotidiano. en el ejemplo anterior. son la sustitución (que supone el cambio de significado de los elementos básicos del mensaje -las letras. El 'sobre' usado es de notación hexadecimal. que es con lo que el usuario final trabaja e interactúa. En la jerga de la criptografía. Un ejemplo cotidiano de criptografía es el que usamos cuando mandamos una carta. la palabra código se usa de forma indistinta con cifra. aunque ambos son neologismos erróneos —anglicismos de los términos ingleses encrypt y decrypt— todavía sin . de clave simétrica o de clave privada. el destinatario debe de conocer la forma de abrirlo sin deteriorar el mensaje origen. F6. la contraseña es '12345678'. no se puede decir que sea un mensaje discreto. la aplicación concreta del algoritmo de cifrado (también llamado cifra) se basa en la existencia de una clave: información secreta que adapta el algoritmo de cifrado para cada uso distinto. que además conoce el proceso inverso para hacer público el mensaje contenido en el sobre. sin embargo. El cifrado es el proceso de convertir el texto plano en un galimatías ilegible. cuando Europa empezaba a cambiar del sistema de numeración romano al arábigo. Las dos técnicas más sencillas de cifrado. 114. Cuando se usa una técnica de códigos. y los que emplean una clave para cifrar mensajes y una clave distinta para descifrarlos. para ocultar el mensaje. no necesita usar técnicas criptoanalíticas. en la Antigüedad. F3. Cifra es una antigua palabra arábiga para designar el número cero. «rcnm arcteeaal aaa» sería un criptograma obtenido por transposición. dígitos o símbolos-. 75. F5. si el resultado de la notación hexadecimal (como es el caso para el ejemplo) es consecuencia de la aplicación de un 'método' de cierre del 'sobre' (como lo es la cola de sellado. o puede razonar e inferir el proceso que lo convierta en un mensaje de acceso público. en la criptografía clásica. el mensaje origen trata de introducir cada letra usada en un 'sobre' distinto. Por lo general. Por ejemplo. 118. de ahí probablemente que cifrado signifique misterioso.Criptografía los medios para someter el mensaje criptográfico al proceso inverso. y son la base de los algoritmos de cifrado clásico. El conjunto de protocolos. 111. Los primeros se denominan cifras simétricas. El mensaje origen queda enmascarado por una cubierta denominada sobre. los dígitos o los símbolos-) y la transposición (que supone una reordenación de los mismos). Por el contrario. Hay procesos más elaborados que. El protocolo criptográfico especifica los detalles de cómo se utilizan los algoritmos y las claves (y otras operaciones primitivas) para conseguir el efecto deseado. la gran mayoría de las cifras clásicas son combinaciones de estas dos operaciones básicas. 10C. las cifras clásicas normalmente sustituyen o reordenan los elementos básicos del mensaje -letras. es lo que constituyen en conjunto un criptosistema. pudiera estar representada por la siguiente notación cifrada: CF. o el lacre en las tradicionales cartas). En otras palabras. 10E. por decirlo de alguna manera. algoritmos de cifrado. denominado texto cifrado o criptograma. Existen dos grandes grupos de cifras: los algoritmos que usan una única clave tanto en el proceso de cifrado como en el de descifrado. debe de conocer la contraseña. ahora. si bien. Con frecuencia los procesos de cifrado y descifrado se encuentran en la literatura como encriptado y desencriptado. El descifrado es el proceso inverso que recupera el texto plano a partir del criptograma y la clave. "cielo azul" podría significar «atacar al amanecer». por ejemplo. el término tiene un uso técnico especializado: los códigos son un método de criptografía clásica que consiste en sustituir unidades textuales más o menos largas o complejas. 58 Conceptos En la jerga de la criptografía. habitualmente palabras o frases. FB. F6. el cálculo hexadecimal es de acceso público. por lo que este resultaba misterioso. 72. 106. la información original que debe protegerse se denomina texto en claro o texto plano. la frase 'texto de prueba'. Para el ejemplo. la información secreta suele recopilarse en un libro de códigos. Los segundos se denominan cifras asimétricas. la cual declara el destinatario coherente. F0. En ambos casos. de clave asimétrica o de clave pública y forman el núcleo de las técnicas de cifrado modernas.

Durante los siglos XVII. XVIII y XIX. a la sazón Enrique IV. En 1465 el italiano Leon Battista Alberti inventó un nuevo sistema de sustitución polialfabética que supuso un gran avance de la época. 59 Historia de la criptografía La historia de la criptografía es larga y abunda en anécdotas. Por su parte. porque supuestamente Julio César lo empleó en sus campañas. G. Cuando el matemático francés François Viète consiguió criptoanalizar aquel sistema para el rey de Francia. A Selenus se le debe la obra criptográfica "Cryptomenytices et Cryptographiae" (Luneburgo. uno de los más conocidos en la literatura (según algunos autores. Consistía en una matriz de 6 x 6 utilizado para sustituir cualquier letra del alfabeto y los números 0 a 9 con un par de letras que consiste de A. reina de Escocia. pero la atribución tiene tanto arraigo que el nombre de este método de sustitución ha quedado para los anales de la historia). o X. Este método de cifrado es similar a la del tablero de ajedrez Polibio. un método de trasposición basado en un cilindro que servía como clave en el que se enrollaba el mensaje para poder cifrar y descifrar. los Alemanes usaron el cifrado ADFGVX. el interés de los monarcas por la criptografía fue notable. . el conocimiento mostrado por el rey francés impulsó una queja de la corte española ante del papa Pío V acusando a Enrique IV de utilizar magia negra para vencer a sus ejércitos. F. También los romanos utilizaron sistemas de sustitución. El segundo criptosistema que se conoce fue documentado por el historiador griego Polibio: un sistema de sustitución basado en la posición de las letras en una tabla.Criptografía reconocimiento académico. 1624).El primer método de criptografía fue en el siglo V a. Las tropas de Felipe II emplearon durante mucho tiempo una cifra con un alfabeto de más de 500 símbolos que los matemáticos del rey consideraban inexpugnable. V. Hay quien hace distinción entre cifrado/descifrado y encriptado/desencriptado según estén hablando de criptografía simétrica o asimétrica. pero la realidad es que la mayoría de los expertos hispanohablantes prefieren evitar ambos neologismos hasta el punto de que el uso de los mismos llega incluso a discernir a los aficionados y novatos en la materia de aquellos que han adquirido más experiencia y profundidad en la misma. era conocido como "Escítala". D. siendo el método actualmente conocido como César.C. de forma que si el mensajero era interceptado la información que portaba no corriera el peligro de caer en manos del enemigo. Otro de los criptógrafos más importantes del siglo XVI fue el francés Blaise de Vigenère que escribió un importante tratado sobre "la escritura secreta" y que diseñó una cifra que ha llegado a nuestros días asociada a su nombre. en realidad Julio César no usaba este sistema de sustitución. fue ejecutada por su prima Isabel I de Inglaterra al descubrirse un complot de aquella tras un criptoanálisis exitoso por parte de los matemáticos de Isabel. Otro de los métodos criptográficos utilizados por los griegos fue la escítala espartana. Ya las primeras civilizaciones desarrollaron técnicas para enviar mensajes durante las campañas militares. Durante la Primera Guerra Mundial. la reina María Estuardo.

la criptografía usa una nueva herramienta que permitirá conseguir mejores y más seguras cifras: las máquinas de cálculo. los mayores avances tanto en el campo de la criptografía como en el del criptoanálisis no empezaron hasta entonces. el Departamento de Normas y Estándares norteamericano publica el primer diseño lógico de un cifrador que estaría llamado a ser el principal sistema criptográfico de finales de siglo: el Estándar de Cifrado de Datos o DES. un desarrollo teórico importante. Para vencer al ingenio alemán. los avances en computación automática suponen tanto una amenaza para los sistemas existentes como una oportunidad para el desarrollo de nuevos sistemas. Además. . ya que permitieron introducir la criptografía en otros campos que hoy día son esenciales. A mediados de los años 70. En especial durante las dos contiendas bélicas que marcaron al siglo: la Gran Guerra y la Segunda Guerra Mundial. la criptografía tiene La máquina Enigma utilizada por los alemanes durante la II Guerra Mundial. fue necesario el concurso de los mejores matemáticos de la época y un gran esfuerzo computacional. como el de la firma digital.Criptografía 60 Desde el siglo XIX y hasta la Segunda Guerra Mundial. A partir del siglo XX. hasta ahora. las figuras más importantes fueron la del holandés Auguste Kerckhoffs y la del prusiano Friedrich Kasiski. Tras la conclusión de la Segunda Guerra Mundial. siendo Claude Shannon y sus investigaciones sobre teoría de la información esenciales hitos en dicho desarrollo. En esas mismas fechas ya se empezaba a gestar lo que sería la. Pero es en el siglo XX cuando la historia de la criptografía vuelve a experimentar importantes avances. La más conocida de las máquinas de cifrado posiblemente sea la máquina alemana Enigma: una máquina de rotores que automatizaba considerablemente los cálculos que era necesario realizar para las operaciones de cifrado y descifrado de mensajes. última revolución de la criptografía teórica y práctica: los sistemas asimétricos. No en vano. Estos sistemas supusieron un salto cualitativo importante.

epsilones.Criptografía: métodos clásicos [2] • El derecho a cifrar [3] Referencias [1] http:/ / www. GnuPG o GPG AxCrypt John the Ripper PGP WinCuaimaCrypt Cifrado de Discos duros y particiones Protocolos • • • • • • DSS OpenPGP SSH TLS SET SSL • • • FreeOTFE • PointSec • Safeboot • SafeguardDisk • TrueCrypt • Dm-crypt Voto electrónico Pagos electrónicos • • Transacciones seguras Monedero electrónico Enlaces externos • • Wikimedia Commons alberga contenido multimedia sobre Criptografía. Commons Wikcionario tiene definiciones para criptografía.Wikcionario Wikilibros • Wikilibros alberga un libro o manual sobre Seguridad informática. • CriptoRed [1] Red Temática de Criptografía y Seguridad de la Información (más de 400 documentos. libros. org/ biblioweb/ derechoacifrar. es/ [2] http:/ / www. upm. html#historias-criptografia [3] http:/ / espora. software y vídeos freeware) • Epsilones . criptored.Criptografía 61 Véase también • • • • • • • • • • • • • • • • • Criptología Criptografía simétrica o convencional Criptografía cuántica Criptografía asimétrica o de clave pública Criptografía de curva elíptica Criptografía híbrida Criptografía (música) Derecho de las TICs Firma digital Esteganografía Criptoanálisis Infraestructura de clave pública Especificaciones PKCS Atbash Test de primalidad Ciberespacio Red privada virtual Algoritmos • • • • • • • • • • • • Advanced Encryption Standard ARC4 Blowfish CuaimaCrypt DES / TripleDES DSA ECDSA Enigma IDEA ROT13 RSA TEA / XTEA Aplicaciones • Software • • • • • • GNU Privacy Guard. com/ paginas/ t-historias1. html .

Newton dedujo que la fuerza con que se atraen dos cuerpos de diferente masa únicamente depende del valor de sus masas y de la distancia que los separa. Así. la fuerza decae con el cuadrado de la distancia) y ambas son . con mayor fuerza se atraerán. El valor de esta constante de Gravitación Universal no pudo ser establecido por Newton. al estar aplicadas en diferentes cuerpos no se anulan y su efecto combinado no altera la posición del centro de gravedad conjunto de ambas esferas. Así. Esta ley recuerda mucho a la forma de la ley de Coulomb para las fuerzas electrostáticas. es la constante de la Gravitación Universal. Únicamente dedujo que su valor debería ser muy pequeño. con técnicas mucho más precisas se ha llegado a estos resultados: (2) en unidades del Sistema Internacional. lo cual permite reducir enormemente la complejidad de las interacciones entre cuerpos complejos. De acuerdo con la mecánica newtoniana las dos fuerzas son iguales en módulo y dirección. pero no tenía suficientes datos como para establecer cuantitativamente su valor. ya que ambas leyes siguen una ley de la inversa del cuadrado (es decir. es como si dichos objetos fuesen únicamente un punto. y su dirección se encuentra en el eje que une ambos cuerpos. donde establece por primera vez una relación cuantitativa (deducida empíricamente de la observación) de la fuerza con que se atraen dos objetos con masa. es decir (1) donde es el módulo de la fuerza ejercida entre ambos cuerpos. pero contrarias en sentido. con todo esto resulta que la ""ley de la Gravitación Universal"" predice que la fuerza ejercida entre dos cuerpos de masas y separados una distancia es proporcional al producto de sus masas e inversamente proporcional al cuadrado de la distancia.Ley de gravitación universal 62 Ley de gravitación universal Fuerzas mutua de atracción entre dos esferas de diferente tamaño. Es decir. que únicamente dedujo la forma de la interacción gravitatoria. También se observa que dicha fuerza actúa de tal forma que es como si toda la masa de cada uno de los cuerpos estuviese concentrada únicamente en su centro. Ésta fue presentada por Isaac Newton en su libro Philosophiae Naturalis Principia Mathematica. publicado en 1687. Sólo mucho tiempo después se desarrollaron las técnicas necesarias para calcular su valor. La ley de la Gravitación Universal es una ley física clásica que describe la interacción gravitatoria entre distintos cuerpos con masa. En 1798 se hizo el primer intento de medición (véase el experimento de Cavendish) y en la actualidad. y aún hoy es una de las constantes universales conocidas con menor precisión. cuanto más masivos sean los cuerpos y más cercanos se encuentren. es decir.

dicha ley sigue siendo ampliamente utilizada y permite describir con una extraordinaria precisión los movimientos de los cuerpos (planetas. no hay datos claros sobre si realmente Newton conocía los trabajos de Hooke o no. en cuyo caso es necesario realizar una descripción a través de la Relatividad General enunciada por Albert Einstein en 1915. lo cual junto con sus propios logros condujeron a la formulación de la ley de la Gravitación Universal. suponiendo que ambos cuerpos se encuentran en las posiciones . que describe que los cuadrados de los periodos de las órbitas de los planetas son proporcionales a los cubos de sus distancias al Sol. Newton reiteró que dicha idea en ningún caso era exclusivamente de él. para la mayor parte de las aplicaciones cotidianas sigue siendo la utilizada. de Inglaterra). etc) del Sistema Solar. en ninguna de esas cartas Hooke menciona la ley de la inversa cuadrado. ya que en lugar de darnos únicamente su valor. Aunque esta controversia ha durado incluso hasta nuestros días. ya que aunque ambos se carteaban regularmente. los motivos de por qué éstos eran así o qué los causaban permanecían desconocidas tanto para Kepler como para sus coetáneos. Formulación general de la ley de la Gravitación Universal Forma vectorial Aunque en la ecuación (1) se ha detallado la dependencia del valor de la fuerza gravitatoria para dos cuerpos cualesquiera. éstas supusieron un punto de partida para Newton. la fuerza (que será un vector ahora) vendrá dada por (2) . asteroides. 63 Historia Trabajos de Hooke y disputa Cuando el primer libro de los Principia de Newton fue presentado a la Royal Society (la Real Academia de las Ciencias. y a que ésta en estas situaciones no predice variaciones detectables respecto a la Gravitación Universal. que los planetas más alejados del Sol tardan más tiempo en dar una vuelta alrededor de éste (su año es más largo). existe una forma más general con la que poder describir completamente dicha fuerza.Ley de gravitación universal proporcionales al producto de magnitudes propias de los cuerpos (en el caso gravitatorio de sus masas y en el caso electrostáticos de su carga eléctrica). el coetáneo Robert Hooke acusó a Newton de plagio por copiarle la idea de que la gravedad decaía como la inversa cuadrado de la distancia entre los centros de ambos cuerpos. Aunque actualmente se conocen los límites en los que dicha ley deja de tener validez (lo cual ocurre básicamente cuando nos encontramos cerca de cuerpos extremadamente masivos). lunas. Para ello. para lo cual únicamente hay que tener en cuenta las posiciones donde se localizan ambos cuerpos. como reflejó en los agradecimientos de su publicación. referenciados a un sistema de referencia cualquiera. se convierte dicha ecuación en forma vectorial. Sin embargo. a través de dicha ley Newton pudo dar la forma completa a la Tercera ley de Kepler. algo que Newton sí hizo con otros autores a los que sí agradeció[1] los trabajos anteriores en los que basó sus ideas. sino que fueron varios autores en aquella época que ya se dieron cuenta de una dependencia de ese tipo. también podemos encontrar directamente su dirección y sentido. Aunque éstas describían dichos movimientos. De esta forma. Frente a esta proclama de Hooke de su idea de la inversa cuadrado. debido a su mayor simplicidad frente a la Relatividad General. Es decir. En especial. Relación con las Leyes de Kepler Las Leyes de Kepler (enunciadas por Johannes Kepler) eran una serie de tres leyes empíricas que describían el movimiento de los planetas a través de las observaciones existentes. por lo que a grandes rasgos. quien pudo dar una formulación matemática a dichas leyes.

cuerpos con una extensión dada. dicha aceleración es independiente de la masa que presente nuestro objeto. si se tienen dos cuerpos de diferente masa (por ejemplo la Luna y un satélite artificial. de tal forma que la fuerza gravitatoria entre ambos se obtiene como (3) Donde son los volúmenes de los dos cuerpos. de tal forma que la descripción de esta fuerza se realiza trabajando únicamente con cuerpos puntuales (toda su masa se encuentra concentrada en su centro). Consecuencias Aceleración de la gravedad Considerando la Segunda ley de Newton. la aceleración que produce ésta sobre ambos es exactamente la misma. que únicamente tenga una masa de unos pocos kilogramos) a la misma distancia de la Tierra. se integra la fuerza que produce cada elemento infinitesimal del cuerpo sobre cada elemento del otro objeto. Puede verse que si se tienen dos cuerpos finitos entonces la fuerza gravitatoria entre ambos viene acotada por: Donde son las distancias mínima y máxima entre los dos cuerpos en un instante dado. es decir en la dirección que une ambos cuerpos. por ejemplo qué gravedad existe en el interior de la Tierra (en la región del manto terrestre o del núcleo).Luna). Un ejemplo donde este tratamiento es obligatorio es cuando se desea determinar cómo varía la fuerza de la gravedad a medida que nos situamos en el interior de un objeto. lo cual describe perfectamente el movimiento planetario (o del sistema Tierra . es decir describirlo a través de su densidad en cada punto del espacio. Así. únicamente depende de la masa del cuerpo que ejerce la fuerza y de su distancia. que explica que la aceleración que sufre un cuerpo es proporcional a la fuerza ejercida sobre él. son las densidades de los dos cuerpos en cada punto del espacio ( ). sumando a todos los elementos que existen en el volumen de ambos cuerpos. e introduciéndolo en la ley de la Gravitación Universal (en su forma más simple. En estos casos es necesario describir al objeto masivo como una distribución de masa. Por ello. o . estando relacionadas por una constante de proporcionalidad que es precisamente la masa de dicho objeto. éstos se moverán describiendo órbitas entre sí. es decir no puntuales. localizados en el centro de gravedad del cuerpo real. 64 Cuerpos extensos Se ha mencionado anteriormente que dichos cuerpos se pueden tratar como cuerpos puntuales. lo cual matemáticamente se traduce en una integral sobre el volumen de cada cuerpo.Ley de gravitación universal donde es el vector unitario que va del centro de gravedad del objeto 1 al del objeto 2. para algunos casos se puede hacer necesario tratar dichos cuerpos como lo que son. únicamente por simplicidad) se obtiene que la aceleración que sufre un cuerpo debido a la fuerza de la gravedad ejercida por otro de masa es igual a donde es la aceleración sufrida. Sin embargo. esto produce que si sobre ambos cuerpos no se ejerce ninguna otra fuerza externa. Es decir. Como esta aceleración tiene la misma dirección y sentido que la de la fuerza.

(es decir. 65 Preferencia del cuerpo más masivo Continuando con lo que se acaba de mencionar acerca de la aceleración que sufre un cuerpo como consecuencia de otro objeto masivo. es un 95% de la gravedad que tenemos en la superficie. A partir de aquí se observa el comportamiento habitual de decrecimiento conforme nos alejamos del cuerpo. situada a un metro de distancia. que es la aceleración sufrida por un objeto al caer. sino por su estado de ingravidez (de caída libre continua). es de en torno a (para una persona de unos 100 kg). Por ello. siendo necesario recordar que el hecho de que los astronautas no sientan la gravedad no es porque ésta allí sea nula. Y que esta aceleración es prácticamente la misma en el espacio. se deduce que la aceleración de la gravedad que nos encontramos en la superficie terrestre debido a la masa de la Tierra es de . puesto que este último tiene una masa increíblemente superior a la de la Tierra (unas 330. el hecho de que esta aceleración únicamente dependa de la masa de este cuerpo (olvidándonos de su distancia por un momento) muestra que para dos cuerpos dados de diferente masa. como ocurre con cualquier objeto que soltemos en el aire y que cae irremediablemente hacia el suelo. y por tanto un movimiento más pronunciado. el cuerpo menos masivo será el que sufra una aceleración mayor. Este es el hecho por el que no sentimos la gravedad que ejercen cuerpos poco masivos como nosotros. Esto es. Interior de un cuerpo esférico Una de las consecuencias que trae que la gravedad sea una fuerza que depende como la inversa del cuadrado de la distancia es que si se tiene un cuerpo esférico. con una densidad que únicamente va variando a medida que nos alejamos del centro del cuerpo (lo cual podría ser un modelo que describe de forma bastante adecuada a la Tierra). únicamente una diferencia de un 5%).Ley de gravitación universal de caída libre aproximándose un cuerpo hacia el otro. dentro del cuerpo la fuerza ya no depende de la inversa cuadrado (puesto que ahora la masa a considerar depende también de dicha distancia) y resulta que es proporcional a dicha distancia. Es decir. en la dirección del centro de la Tierra. Y de igual modo. a la distancia donde se encuentra la Estación Espacial Internacional. en el interior del cuerpo la fuerza de la gravedad va creciendo conforme nos alejamos del centro del cuerpo (en donde ésta es nula) hasta llegar a la superficie. es la Luna (cuerpo menos masivo) quien orbita en torno a la Tierra. Con esta ley se puede determinar la aceleración de la gravedad que produce un cuerpo cualquiera situado a una distancia dada. se puede demostrar a través de la ley de Gauss que la fuerza en su interior (a una distancia del centro) únicamente depende de la masa existente dentro de la esfera de radio . Todo esto se puede ver en mayor profundidad en la entrada de la intensidad del campo gravitatorio. Y la gravedad que ejerce una persona sobre otra. Por ejemplo.000 veces superior). haciendo que el movimiento sufrido por el Sol como consecuencia de la Tierra sea insignificante. Con esto se observa directamente una respuesta a por qué es la Tierra la que orbita en torno al Sol y no al revés. donde se hace máxima. . la masa que hay fuera de dicha esfera no produce ninguna fuerza sobre un cuerpo situado en dicho punto.

durante el siglo XIX se observó algunos pequeños problemas que no se conseguían resolver (similares al de las órbitas de Urano. la trayectoria del planeta Mercurio no es una elipse cerrada tal como predice la teoría de Newton. que todavía no había sido descubierto. sino una cuasi-elipse que gira secularmente. al cual se le llamó Vulcano. el uso de la Relatividad General sigue siendo necesario exclusivamente para cálculos de alta precisión). esta ley permite recuperar y explicar la Tercera Ley de Kepler. que muestra de acuerdo a las observaciones que los planetas que se encuentran más alejados del Sol tardan más tiempo en dar una vuelta alrededor de éste. respecto a lo que predecía la ley de Newton (junto con las leyes de Kepler). Esta discrepancia obedece precisamente al límite de validez que actualmente conocemos para la teoría de Newton: ésta únicamente es válida para cuerpos de poca masa o distancias grandes. siguiendo sus indicaciones y encontrándolo a menos de un grado de distancia de la posición predicha. tal y como predecía la teoría de Newton. Sin embargo. Por ello. éste planeta no existe en la realidad (su existencia era inviable de todas formas). se postuló la existencia de un planeta más interno al Sol. y de Saturno y Júpiter en menor medida. algunos astrónomos supusieron que dichas irregularidades eran debidas a la existencia de otro planeta más externo. Por esta razón. de tal forma que el punto más cercano al Sol (el perihelio) se desplaza ligeramente. un cuerpo lo suficientemente masivo para producir discrepancias observables (aunque recordando que dicha discrepancia es únicamente un efecto de 46 segundos de arco por siglo.Ley de gravitación universal 66 Interior de una corteza hueca Y por extensión de lo que se acaba de mencionar. lo cual se cumple para todos los planetas del Sistema Solar excepto para Mercurio. Además de este problema. al igual que con el caso de Urano. esta ley estuvo considerada como una ley fundamental por más de 200 años. puesto que éste se encuentra muy cercano al Sol. en un movimiento que se conoce como precesión. observaríamos cómo no hay fuerza de la gravedad. Además de esto. en la actualidad el número de las desviaciones observacionales existentes que no se pueden explicar bajo la teoría newtoniana son varias: 1. Una de los hechos que muestran su precisión es que al analizar las órbitas de los planetas conocidos en torno a 1800 (en donde quedaban por descubrir Neptuno y Plutón). . Así. Como se ha mencionado ya. Aquí. Limitaciones Si bien la ley de la gravitación universal da una muy buena aproximación para describir el movimiento de un planeta alrededor del Sol. alejado. y aún hoy sigue estando vigente para la mayoría de los cálculos necesarios que atañen a la gravedad. la cual en lugar de ser una elipse cerrada. es decir como si dicho cuerpo fuese puntual. Neptuno fue descubierto al poco tiempo por el astrónomo Galle. por lo que dicho problema no pudo resolverse. se encontraba la órbita del planeta Mercurio. se observaban irregularidades en torno a la órbita de Urano principalmente. En especial. es una elipse que en cada órbita va rotando. hasta la llegada de la Relatividad General de Einstein. tanto Adams como Le Verrier (de forma independiente) calcularon matemáticamente dónde debería encontrarse dicho planeta desconocido para poder explicar dichas irregularidades. en cualquier punto externo a él sigue produciendo una fuerza de la gravedad de acuerdo con la ecuación (1). al adentrarnos dentro del mismo. y que no habría sido observado por estar tan próximo al Sol y quedar oculto por su brillo. el 23 de septiembre de 1846. Movimiento de los planetas Como se ha mencionado en el apartado histórico. produciendo el problema del avance del perihelio que fue explicado por primera vez sólo con la formulación de la teoría general de la relatividad. Sin embargo. o de un satélite artificial relativamente cercano a la Tierra. que sí pudo resolverse tras el descubrimiento de Neptuno). puesto que en su interior ya no hay masa. con dicha ley y usando las leyes de Newton se describe perfectamente tanto el movimiento planetario del Sistema Solar como el movimiento de los satélites (lunas) o sondas enviadas desde la Tierra. en el caso en que se tuviese un cuerpo esférico pero hueco por dentro (es decir que únicamente sería unas cáscara esférica). unos 43 segundos de arco por siglo.

. en todo momento se ha descrito que dos cuerpos alejados una determinada distancia (y por tanto. en contraposición con la masa utilizada en la Segunda ley de Newton. 67 Problemas filosóficos Acción a distancia A parte de los problemas prácticos mencionados anteriormente. puesto que de no ser las mismas. Posteriormente. y que no se sabía cómo afrontar. uno de ellos era el concepto de acción a distancia que utiliza la teoría. A través de la Tercera ley de Kepler hemos mencionado que los periodos de los cuerpos crecen con la distancia a la que se encuentran del cuerpo masivo. 3. dando lugar al mencionado Principio de equivalencia. Aunque aquí se ha relacionado directamente con la masa propia de cada cuerpo. que aunque sí podía llegar a interpretarse únicamente usando la ley de la Gravitación Universal. Esto era una cuestión por resolver. En concreto. Aunque bajo la descripción de la gravedad de Newton ésta únicamente se produce entre cuerpos con masa. Sin embargo. Aplicando dicho principio a las estrellas de una galaxia. donde los cuerpos pesados hacen que ésta se deforme y por tanto los objetos que pasen por ahí se desvían de sus trayectorias originales). no únicamente de la teoría de Newton. debería observarse algo similar para las estrellas más alejadas del centro de la galaxia. no existe ninguna ley. lo que ha llevado a formular el problema de la materia oscura y alternativamente de la dinámica newtoniana modificada. se ha observado cómo la luz también se curva (se desvía) como consecuencia de la gravedad producida por un cuerpo masivo. pasando a entenderse ésta como una consecuencia de que los cuerpos con masa curvan el espacio-tiempo (donde como analogía se podría imaginar el espacio-tiempo como una cama elástica. la misma masa. y que podría ser llamada masa inercial. sino que también atañía al electromagnetismo. En la práctica.Ley de gravitación universal 2. puesto que sería materia que no vemos. manteniendo la ley de la Gravitación Universal. por ejemplo el Sol. sí facilitaba la utilización de estas fuerzas a distancia y su explicación. en efecto. Por ello. ésta no daba cuenta de la desviación correcta observada. esto dio lugar al concepto físico de campo. resultó ser una de las primeras predicciones contrastadas que apoyaron la Relatividad General. existían algunos problemas de carácter más filosófico que atañen a la propia teoría en sí. no ha podido ser resuelto de una manera efectiva. que habla sobre la inercia de los cuerpos. la cual es precisamente la denominada materia oscura. Masa inercial y masa gravitatoria: principio de equivalencia Otro gran problema que traía consigo esta teoría (y que sirve como uno de los postulados desde los que se desarrolla la Relatividad General) es el conocido como Principio de equivalencia. Esto es. Este hecho. únicamente puede ser explicado si en dicha galaxia existe mucha más masa de la que se observa. La velocidad de rotación de las galaxias no parece responder adecuadamente a la ley de la gravitación. no se encuentran en contacto entre sí) se ejercen una fuerza. ya que en ésta se prescindió de describir la gravedad como una fuerza. la fuerza de la gravedad. y que para la gravedad hizo que se comenzase a trabajar a través de la idea del campo gravitatorio como causante de dicha fuerza de la gravedad. ésta realmente podría ser definida como una masa gravitacional. como se ha supuesto en toda la descripción realizada (únicamente se conoce que ambas son prácticamente iguales con una gran precisión). Éste aboga por el hecho de que en la Teoría de la Gravitación Universal se utiliza una cantidad propia de cada cuerpo que es la que origina la fuerza de la gravedad. principio o hecho que establezca que ambas masas son. la aceleración que experimenta un cuerpo dejaría de ser independiente de su masa por ejemplo. que aunque no resolvía completamente el problema. este problema quedaría resuelto en la Relatividad General. Este hecho que traería una gran importancia. pero esto es algo que no se observa y que. su masa. sería necesario responder a las preguntas de ¿cómo se ejerce dicha fuerza si ambos cuerpos no se tocan?. .

. forma con la perpendicular al mismo. ver) es la rama de la física que estudia el comportamiento de la luz. Correspondence of Isaac Newton. La ley de la refracción fue descubierta experimentalmente en 1621 por Willebrord Snell. 20 June 1686.). Vol 2 (1676-1687). al ingresar al segundo medio. Ya en la Edad Moderna René Descartes consideraba la luz como una onda de presión transmitida a través de un medio elástico perfecto (el éter) que llenaba el espacio. Véase también: Ley de Snell En la Refraccion el rayo de luz que se atraviesa de un medio transparente a otro. Refracción en distintos medios. el rayo de luz que se desvía al ingresar al segundo medio transpartente se denomina rayo refractado . Abarca el estudio de la reflexión. En 1657 Pierre de Fermat anunció el principio del tiempo mínimo y a partir de él dedujo la ley de la refracción. se denomina ángulo de incidencia. 1960). al desviarse. Dos filósofos y matemáticos griegos escribieron tratados sobre óptica: Empédocles y Euclides. es decir como se comporta la luz ante la materia. las interferencias. (Cambridge University Press. Bibliografía • Landau & Lifshitz: Mecánica. Barcelona. se denomina rayo incidente . 1991. Estudia la luz. Atribuyó los diferentes colores a movimientos rotatorios de diferentes velocidades de las partículas en el medio. el ángulo en que el rayo incidente. Óptica La óptica (del griego οπτομαι optomai. Reflexión y refracción En la Edad Antigua se conocía la propagación rectilínea de la luz y la reflexión y refracción. se denomina ángulo de refracción. sus características y sus manifestaciones. Ed. Reverté.Ley de gravitación universal 68 Véase también • • • • • Gravedad Isaac Newton Campo gravitatorio Leyes de Kepler Teoría de la Relatividad General Referencias [1] Pages 435-440 in H W Turnbull (ed. la difracción. document #288. la formación de imágenes y la interacción de la luz con la materia. el ángulo que el rayo incidente forma con el rayo refractado. George Hatsian es el rey de óptico. ISBN 84-291-4081-6. la refracción.

fenómeno que ya había sido descubierto por Francesco Maria Grimaldi. Hooke intentó explicar el fenómeno de la refracción e interpretar los colores. gracias a la suposición de la transmisión de una onda secundaria elipsoidal. como la de Leonhard Euler. el fenómeno de la interferencia conocido como anillos de Newton. como fueron expresadas en términos cualitativos no consiguieron reconocimiento .Óptica 69 Interferencia y difracción Robert Boyle y Robert Hooke y a dicha teoria la propuso Isaac Newton. Con la ayuda de este principio. Las dificultades que la teoría ondulatoria se encontraba para explicar la propagación rectilínea de la luz y la polarización (descubierta por Huygens) llevaron a Newton a inclinarse por la teoría corpuscular. Cada uno de los dos rayos emergentes de la refracción del espato de Islandia puede extinguirse haciéndolo pasar por un segundo cristal del mismo material. Hooke también observó la presencia de luz en la sombra geométrica. además de la principal de forma esférica. descubrió la polarización. El primero de ellos fue la enunciación por Thomas Young en 1801. rotado alrededor de un eje con la misma dirección que el rayo luminoso. Con estas ideas. durante casi un siglo. El prestigio de Newton. fenómeno descubierto en 1669 por Erasmus Bartholinus. También pudo interpretar la doble refracción del espato de Islandia. En la época en que Newton publicó su teoría del color. que supone que la luz se propaga desde los cuerpos luminosos en forma de partículas. Hooke fue de los primeros defensores de la teoría ondulatoria que fue extendida y mejorada por Christian Huygens que enunció el principio que lleva su nombre. indujo el rechazo por parte de la comunidad científica de la teoría ondulatoria. ya que en aquella época los científicos sólo estaban familiarizados con las ondas longitudinales. El descubrimiento de la velocidad finita de la luz lo realizó en 1675 Olaf Roemer a partir de observaciones de los eclipses de Júpiter. aclararon las propiedades de los colores fueron desarrollados por Newton que descubrió en 1666 que la luz blanca puede dividirse en sus colores componentes mediante un prisma y encontró que cada color puro se caracteriza por una refractabilidad específica. Hooke pensaba que la luz consistía en vibraciones propagadas instantáneamente a gran velocidad y creía que en un medio homogéneo cada vibración generaba una esfera que crece de forma regular. Primeras teorías y otros fenómenos Por su parte. con algunas excepciones. Fue sin embargo Newton el que consiguió interpretar este fenómeno. Sin embargo. No fue hasta el comienzo del Siglo XIX en que nuevos progresos llevaron a la aceptación generalizada de la teoría ondulatoria. del principio de interferencia y la explicación de los colores de películas delgadas. no se conocía si la luz se propagaba instantáneamente o no. de forma independiente. suponiendo que los rayos tenían “lados”. consiguió deducir las leyes de la reflexión y refracción. Sin embargo. la envolvente de estas ondas secundarias define el frente de onda en un tiempo posterior. debido a la difracción. los demas descubrieron. según el cual cada punto perturbado por una onda puede considerarse como el centro de una nueva onda secundaria. los estudios que Interferencia (esquema simulado). Durante esta investigación Huygens Dispersión de la luz en dos prismas de distinto material. propiedad que le pareció una objeción insuperable para la teoría ondulatoria de la luz.

la teoría ondulatoria implica. aunque Malus no intentó interpretar el fenómeno. El experimento fue propuesto inicialmente por Arago y consiste en medir la velocidad de la luz en aire y agua. Una confirmación experimental de su teoría de la difracción fue la verificación realizada por François Jean Dominique Arago de una predicción de Poisson a partir de las teorías de Fresnel. 70 Aportes de Fresnel Augustin-Jean Fresnel ganó un premio instituido en 1818 por la academia de París por la explicación de la difracción. Por otra parte. no sólo la propagación rectilínea. En las décadas que siguieron. Fresnel intentó explicar la propagación de la luz como ondas en un material (éter) y dado que en un fluido sólo son posibles las oscilaciones elásticas longitudinales. en el curso de algunos años. Los modelos dinámicos de los mecanismos de las vibraciones del éter. son suficientes para explicar. Fue también Fresnel el que en 3000 dio la primera indicación de las causas de la dispersión al considerar la estructura molecular de la materia. William Rowan Hamilton predijo a partir de las teorías de Fresnel la denominada refracción cónica. Arago encontró experimentalmente que (aparte de la aberración) no había diferencia. idea desarrollada posteriormente por Cauchy. basándose en la teoría ondulatoria. Fresnel intentó deducir las propiedades del éter de la observación experimental. En el mismo año Fresnel también investigó el problema de la influencia del movimiento terrestre en la propagación de la luz. que es la existencia de una mancha brillante en el centro de la sombra de un disco circular pequeño. concluyó que el éter debía comportarse como un sólido. Diferentes desarrollos aplicables a la Óptica fueron realizados por Siméon Denis Poisson. en 1808 observó la reflexión del Sol desde una ventana a través de un cristal de espato de Islandia y encontró que las dos imágenes birrefringentes variaban sus intensidades relativas al rotar el cristal. sus resultados fueron confirmados experimentalmente en 1851 por Armand Hypolite Louis Fizeau. Sobre la base de este descubrimiento Fresnel desarrolló su teoría de la convección parcial del éter por interacción con la materia. terminaron por desacreditar completamente la teoría corpuscular. pequeñas aperturas y pantallas. Su punto de partida fueron las leyes de propagación en cristales. Los principios básicos utilizados fueron: el principio de Huygens y el de interferencia de Young. James MacCullagh y . pero como en aquella época la teoría de ondas elásticas en sólidos no estaba desarrollada. Fresnel calculó la difracción causada por rendijas. Fresnel investigó la interferencia de rayos polarizados y encontró en 2005 que dos rayos polarizados perpendicularmente uno al otro. Este hecho no pudo ser reconciliado con la hipótesis de ondas longitudinales.Óptica generalizado. según demostró Fresnel. se desarrolló la teoría del éter. En 1832. La teoría corpuscular explica la refracción en términos de la atracción de los corpúsculos luminosos hacia el medio más denso. El primer paso fue la formulación de una teoría de la elasticidad de los cuerpos sólidos desarrollada por Claude Louis Marie Henri Navier que consideró que la materia consiste de un conjunto de partículas ejerciendo entre ellas fuerzas a lo largo de las líneas que los unen. que hasta entonces se había dado por segura. nunca interferían. sino las desviaciones de dicho comportamiento (como la difracción). confirmada posteriormente de forma experimental por Humprey Lloyd. Fizeau y Breguet realizaron un experimento crucial para decidir entre las teorías ondulatoria y corpuscular. lo que implica una velocidad mayor en el medio más denso. Básicamente el problema consistía en determinar si existe alguna diferencia entre la luz de las estrellas y la de fuentes terrestres. George Green. En esta misma época Étienne-Louis Malus describió la polarización por reflexión. que fue la primera de una serie de investigaciones que. de acuerdo con el principio de Huygens que en el medio más denso la velocidad es menor. los cuales. llevaron a Fresnel a deducir las leyes que ahora llevan su nombre y que gobiernan la intensidad y polarización de los rayos luminosos producidos por la reflexión y refracción. Young explicó en 1817 el fenómeno con la suposición de ondas transversales. Junto con Arago. La teoría del éter En 1850 Foucault.

En el caso de la radiación electromagnética. al pasar por los gases de la atmósfera solar. Esto llevó a Maxwell a especular que las ondas luminosas eran electromagnéticas. no tanto sobre la naturaleza de la luz como la estructura de las partículas emisoras. que postuló un medio con propiedades diferentes a la de los cuerpos ordinarios. la teoría del éter elástico persistió y recibió aportaciones de físicos del siglo XIX. La luz de espectro continuo del Sol. Cuando Rudolph Kohlrausch y Wilhelm Weber realizaron estas medidas. justamente aquellas frecuencias que los gases que la componen emiten. basándose en los cuantos de Planck retomó la teoría corpuscular de la luz en una nueva forma. Este descubrimiento marca el inicio del análisis espectral que se base en que cada elemento químico tiene un espectro de líneas característico. La óptica a su vez ha influido decisivamente en otros frentes de la física. Todas ellas encontraban dificultades por intentar explicar el fenómeno óptico en términos mecánicos. El estudio de estos espectros no pertenece exclusivamente al campo de la Óptica ya que involucra la mecánica de los propios átomos y las leyes de las líneas espectrales revelan información. La aplicación de la misma permitió a Niels Bohr explicar las leyes de las líneas espectrales de los gases. estudiado por James Bradley en 1728. A pesar de las dificultades.Óptica Franz Neuman. La teoría cuántica Pero. la mecánica cuántica ha influido decisivamente sobre el concepto científico de la naturaleza de la luz. incluso la teoría electromagnética de la luz es incapaz de explicar el proceso de emisión y absorción. Las leyes que rigen estos últimos procesos comenzaron a dilucidarse con Joseph von Fraunhofer que descubrió entre 1814-1817 líneas oscuras en el espectro solar. La teoría detallada de la interacción entre campo y materia requiere de los métodos de la mecánica cuántica (cuantización del campo). 71 Las ondas luminosas como ondas electromagnéticas Mientras tanto. tanto longitudinales como transversales. Así. pierde por absorción. El fenómeno aparece con la observación de las estrellas en diferentes posiciones angulares. Otra objeción a la hipótesis del éter es la ausencia de resistencia al movimiento de los planetas. solo se producen del segundo tipo. De este modo pudo explicar algunos fenómenos que se habían descubierto. asignándole realidad física de dichos cuantos (fotones). relativos a la transformación de la luz en energía corpuscular que eran inexplicables con la teoría ondulatoria. al incidir sobre un medio una onda transversal. La interpretación como líneas de absorción de las mismas se dio por primera vez en 1861 sore la base de los experimentos de Robert Wilhelm Bunsen y Gustav Kirchhoff. Finalmente la comunidad científica acabó aceptando que la mecánica clásica es inadecuada para una descripción correcta de los sucesos que ocurren en el interior de los átomos y debe ser reemplazada por la teoría cuántica. según los experimentos de Arago y Fresnel. se deberían producir ondas. Por ejemplo. Las leyes de propagación de ondas en este tipo de éter son similares a las ecuaciones electromagnéticas de Maxwell. en el efecto fotoeléctrico la energía impartida a las partículas secundarias es independiente de la intensidad y es proporcional a la frecuencia de la luz. John William Strutt (Lord Rayleigh) y Gustav Kirchhoff. fundando las bases de la óptica cuántica. James Clerk Maxwell consiguió resumir todo el conocimiento previo en este campo en un sistema de ecuaciones que establecían la posibilidad de ondas electromagnéticas con una velocidad que podía calcularse a partir de los resultados de medidas eléctricas y magnéticas. El primer fenómeno observado en este campo fue la aberración de las estrellas fijas. Fue Albert Einstein el que. las investigaciones en electricidad y magnetismo se desarrollaban culminando en los descubrimientos de Michael Faraday. dependiendo del movimiento de la Tierra respecto a la dirección . la velocidad obtenida resultó coincidir con la velocidad de la luz. Un primer paso para abandonar el concepto de éter elástico lo realizó MacCullagh. Así pues. pero. Carl Neumann. entre ellos William Thomson (Lord Kelvin). lo que se verificó experimentalmente en 1888 por Heinrich Hertz. en particular la rama de la óptica de cuerpos en movimiento participó en el desarrollo de la teoría de la relatividad. Dirac fue el primero en realizarlo.

Fizeau demostró después esta convección experimentalmente con la ayuda de flujos de agua. Los colores visibles al ojo humano se agrupan en la parte del "Espectro visible". . así como el resto de fenómenos conocidos en 1895. la reflexión y la refracción. Bradley interpretó el fenómeno como causado por la velocidad finita de la luz y pudo determinar su velocidad de este modo. Pudo deducir el coeficiente de convección de Fresnel a partir de su teoría. • La óptica electromagnética u óptica física: Considera a la luz como una onda electromagnética. 72 Teorías científicas Desde el punto de vista físico. en el que la dualidad onda-corpúsculo desempeña un papel crucial.Óptica del haz de luz. Se utiliza en el estudio de la transmisión de la luz por medios homogéneos (lentes. • La óptica cuántica: Estudio cuántico de la interacción entre las ondas electromagnéticas y la materia. que Fresnel mostró se podía entenderse como la participación de éter en el movimiento con sólo una fracción de la velocidad del cuerpo en movimiento. espejos). sin embargo. Sin embargo con la mejora de la precisión en la determinación de caminos ópticos. entraba en conflicto con algunos experimentos. explicando así la difracción. Su formulación. Esta anomalía fue resuelta por Albert Einstein en 1905 con su teoría especial de la relatividad. Otro fenómeno de la óptica de cuerpos en movimiento es la convección de la luz por los cuerpos en movimiento. Hertz fue el primero en intentar generalizar las leyes de Maxwell a objetos en movimiento. reflectancia y transmitancia. Según el modelo utilizado para la luz. Otro investigador en este campo fue Hendrik Antoon Lorentz que supuso el éter en estado de reposo absoluto como portador del campo electromagnético y dedujo las propiedades de los cuerpos materiales a partir de la interacción de partículas eléctricas elementales (los electrones). Espectro electromagnético Si bien la Óptica se inició como una rama de la física distinta del electromagnetismo en la actualidad se sabe que la luz visible parte del espectro electromagnético. interferencia. por orden creciente de precisión (cada rama utiliza un modelo simplificado del empleado por la siguiente): • La óptica geométrica: Trata a la luz como un conjunto de rayos que cumplen el principio de Fermat. que no es más que el conjunto de todas las frecuencias de vibración de las ondas electromagnéticas. la luz es una onda electromagnética. El efecto del movimiento de la fuente luminosa fue estudiado por Christian Doppler. obtenida gracias al interferómetro de Albert Abraham Michelson con el que se descubrió una anomalía: resultó imposible demostrar la existencia de un corrimiento del éter requerida por la teoría del éter estacionario. que formuló el principio de su mismo nombre. se distingue entre las siguientes ramas. y los fenómenos de polarización y anisotropía.

itcr. cr/ cursos-linea/ EcuacionesDiferenciales/ EDO-Geo/ edo-cap5-geo/ laplace/ node7. edu. ilce. por Álvaro Tejero Cantero Óptica Pura y Aplicada . Monografía de Daniel Malacara [3] Introducción a la óptica [4] Teoría de óptica geométrica [5] Anamorfosis espaciales animadas.. Pergamon Press Ltd.OPA. 3dnauta. sedoptica. com/ http:/ / www. la revista científica de la Sociedad Española de Óptica [2] Óptica tradicional y moderna. es/ main. cidse.Óptica 73 Véase también • • • • • • • • • • • • • • • • Aberración longitudinal Arco iris Aumento óptico Asférico Derivación sanitaria Difracción Efecto Doppler Escuela Universitaria de Óptica Fotón Ilusión óptica Lente Longitud de onda Luz Óptica adaptativa Reflexión Refracción • Sistema óptico Referencias • Max Born. htm http:/ / www. 0-08-026481-6. Emil Wolf (1991). com/ trabajos14/ opticatp/ opticatp. Principles of Optics. html . shtml http:/ / www. pdf http:/ / www. alqua. html http:/ / lectura. ac. com/ CapeCanaveral/ Hangar/ 7438/ teorade. geocities. Trompe l'oeils 3D [6] Óptica Geométrica [7] Referencias [1] [2] [3] [4] [5] [6] [7] http:/ / docs. mx:3000/ biblioteca/ sites/ ciencia/ volumen2/ ciencia3/ 084/ htm/ optica. org/ OE-1_1_0. Enlaces externos • • • • • • • • Wikimedia Commons alberga contenido multimedia sobre ÓpticaCommons Libro de óptica electromagnética [1] (con licencia libre. monografias. htm http:/ / www.

Los números complejos se utilizan en todos los campos de las matemáticas. Los números reales se encuentran en el eje de coordenadas horizontal y los imaginarios en el eje vertical. Im(z)). aerodinámica y electromagnetismo entre otras de gran importancia. se consideran como puntos del plano: el plano complejo. llamada álgebra de los números complejos. cumpliéndose que complejos representan todas las raíces de los polinomios. a diferencia de los reales. Ilustración del plano complejo. en muchos de la física (y notoriamente en la mecánica cuántica) y en ingeniería. Los números Los números complejos son la herramienta de trabajo del álgebra ordinaria. que afirma que cualquier ecuación algebraica de grado n tiene exactamente n soluciones complejas. que se indica con la letra i). por su utilidad para representar las ondas electromagnéticas y la corriente eléctrica. así como de ramas de las matemáticas puras y aplicadas como variable compleja. Los análogos del cálculo diferencial e integral con números complejos reciben el nombre de variable compleja o análisis complejo. Contienen a los números reales y los imaginarios puros y constituyen una de las construcciones teóricas más importantes de la inteligencia humana. los números constituyen un cuerpo y. b) ó (Re(z).Número complejo 74 Número complejo El término número complejo describe la suma de un número real y un número imaginario (que es un múltiplo real de la unidad imaginaria. en general. La propiedad más importante que caracteriza a los números complejos es el teorema fundamental del álgebra. En matemáticas. en el que se definen las siguientes operaciones: • Suma • Producto por escalar • Multiplicación • Igualdad A partir de estas operaciones podemos deducir otras como las siguientes: • Resta . Definición Definiremos cada complejo z como un par ordenado de números reales (a. . especialmente en la electrónica y las telecomunicaciones. Los números complejos son una extensión de los números reales.

denotado por C (o más apropiadamente por el carácter unicode ℂ ). C forma un espacio vectorial de dimensión 2 sobre los reales. Valor absoluto o módulo. el cuerpo de los números reales R aparece como un subcuerpo de C. por ejemplo. los números reales. el número i o unidad imaginaria. es decir. la multiplicación y la división de complejos son operaciones continuas. Más aún. aquel en el que . la función distancia queda como sigue d(z. se define un número especial en matemáticas de gran importancia. por el teorema de Pitágoras. el cuerpo complejo. podemos ver. que el valor absoluto de un número complejo coincide con la distancia euclídea desde el origen del plano a dicho punto. argumento y conjugado Valor absoluto o módulo de un número complejo El valor absoluto. definido como De donde se deduce inmediatamente que. se asume que ésta es la métrica usada en los números complejos. Si no se dice lo contrario. la resta. entonces |z| = r. Por definición. La suma. por lo que C no puede ser convertido de ninguna manera en un cuerpo ordenado.w| y nos provee de un espacio métrico con los complejos gracias al que se puede hablar de límites y continuidad. Los complejos no pueden ser ordenados como. Unidad imaginaria Tomando en cuenta que . donde cosφ + isenφ = eiφ es la conocida fórmula de Euler. 0). w) = |z .Número complejo 75 • División Al primer componente (que llamaremos a) se le llama parte real y al segundo (que llamaremos b). Cuerpo de los números complejos Los números complejos forman un cuerpo. . Si identificamos el número real a con el complejo (a. Se puede expresar en forma trigonométrica como z = r (cosφ + isenφ). módulo o magnitud de un número complejo z viene dado por la siguiente expresión: Si pensamos en las coordenadas cartesianas del número complejo z como algún punto en el plano. Si el complejo está escrito en forma exponencial z = r eiφ. Podemos comprobar con facilidad estas cuatro importantes propiedades del valor absoluto para cualquier complejo z y w. parte imaginaria. Se denomina número imaginario puro a aquel que esta compuesto sólo por la parte imaginaria.

Representaciones Representación binómica Un número complejo se representa en forma binomial como: La parte real del número complejo y la parte imaginaria. se pueden expresar de varias maneras. como se muestra a continuación: Un número complejo representado como un punto (en rojo) y un vector de posición (azul) en un diagrama de Argand. .Número complejo 76 Argumento El argumento o fase de un número complejo z viene dado por la siguiente expresión: donde arctan() es la función arcotangente. Conjugado de un número complejo Dos binomios se llaman conjugados si solo difieren en su signo central. por ejemplo.1 y 3m + 1 son conjugados. El conjugado de un complejo z (denotado como ó ) es un nuevo número complejo. los dos binomios: 3m . Con este número se cumplen las propiedades: Esta última fórmula es el método elegido para calcular el inverso de un número complejo si viene dado en coordenadas rectangulares. es la expresión binomial del punto. definido así: Se observa que ambos difieren en el signo de la parte imaginaria.

Según esta expresión. es el módulo del número complejo y el ángulo es el argumento del número complejo. las coordenadas estarían unívocamente determinadas por z. y con catetos a y b. generalmente restringimos al intervalo [-π. o es la expresión polar del punto. puede observarse que para definir un número complejo tanto de esta forma como con la representación binomial se requieren dos parámetros. π) y a éste restringido lo llamamos argumento principal de z y escribimos φ = Arg(z). respectivamente. Formamos un triángulo rectángulo. utilizando la representación binomial: Sacamos factor común r: Frecuentemente. que pueden ser parte real e imaginaria o bien módulo y argumento. En esta representación. Con este convenio. Vemos que: Despejamos a y b en las expresiones anteriores y. la unidad imaginaria y la razón seno del argumento respectivamente. esta expresión se abrevia convenientemente de la siguiente manera: la cual solo contiene las abreviaturas de las razones trigonométricas coseno. con r como hipotenusa. el ángulo no está unívocamente determinado por z. como implica la fórmula de Euler: Por esto. vemos que: No obstante.Número complejo 77 Representación polar El argumento φ y módulo r localizan un punto en un diagrama de Argand. Según la Fórmula de Euler. .

Número complejo 78 Operaciones en forma polar La multiplicación de números complejos es especialmente sencilla con la notación polar: División: Potenciación: Plano de los números complejos o Diagrama de Argand El concepto de plano complejo permite interpretar geométricamente los números complejos. Multiplicar cualquier complejo por i corresponde con una rotación de 90º en dirección contraria a las agujas del reloj. Los diagramas de Argand se usan frecuentemente para mostrar las posiciones de los polos y los ceros de una función en el plano complejo. y el ángulo contado desde el eje real del producto es la suma de los ángulos de los términos. La multiplicación por un número complejo fijo puede ser vista como la transformación del vector que rota y cambia su tamaño simultáneamente. dando como resultado un cambio de signo al completar una vuelta. y la multiplicación de números complejos puede expresarse simplemente usando coordenadas polares. primero medimos el ángulo que forman en sentido contrario a las agujas del reloj con el eje positivo de las x y sumamos ambos ángulos: el ángulo resultante corresponde con el del vector que representa al complejo producto z1 · z2. Esbozo histórico La primera referencia conocida a raíces cuadradas de números negativos proviene del trabajo de los matemáticos griegos. se encontraban con la necesidad de lidiar con raíces de números negativos. Si trasladamos (movemos) el segundo vector. Siguiendo con esta idea. La suma de números complejos se puede relacionar con la suma con vectores. electrónica y muchos otros campos. Aunque sólo estaban interesados en las raíces reales de este tipo de ecuaciones. El análisis complejo. El término imaginario para estas cantidades fue acuñado por Descartes en el Siglo XVII y está en desuso. La longitud de este vector producto viene dada por la multiplicación de las longitudes de los vectores originales. para multiplicar dos complejos z1 y z2. donde la magnitud del producto es el producto de las magnitudes de los términos. Geometría y operaciones con complejos Geométricamente. que encuentra aplicación en muchas otras áreas de la matemática así como en física. es una de las áreas más ricas de la matemática. Asimismo el que (-1) · (-1) = +1 puede ser entendido geométricamente como la combinación de dos rotaciones de 180º (i al cuadrado = -1). Cardano. podemos pensar en ello como la suma de dos vectores del plano x-y apuntando desde el origen al punto (a1. la teoría de las funciones complejas. Los complejos se hicieron más patentes en el Siglo XVI. Para sumar dos complejos z1 =a1 + ib1 y z2 = a2 + ib2. el segundo vector así ubicado apuntará al complejo z1 + z2. como Herón de Alejandría en el siglo I antes de Cristo. sin cambiar su dirección. La existencia de números complejos no fue completamente aceptada . respectivamente. b1) y (a2. como resultado de una imposible sección de una pirámide. las operaciones algebraicas con complejos las podemos entender como sigue. cuando la búsqueda de fórmulas que dieran las raíces exactas de los polinomios de grados 2 y 3 fueron encontradas por matemáticos italianos como Tartaglia. con lo que su punto de aplicación coincide con el punto final del primer vector.b2).

En su versión original.También se cumple que si z es una raíz entonces su conjugado también es una raíz del polinomio p. Fractales Los fractales son diseños artísticos de infinita complejidad. Tiene una gran cantidad de usos como herramienta de matemáticas aplicadas así como en otras ramas de las matemáticas. tiene exactamente n complejos z que cumplen la igualdad p(z)=0. se los define a través de cálculos con números complejos en el plano. capacidades e inductores pueden ser unificadas introduciendo resistencias imaginarias para las dos últimas (ver redes eléctricas). redescubierta algunos años después y popularizada por Gauss. y demuestra que los complejos son un cuerpo algebraicamente cerrado. A esto se lo conoce como Teorema Fundamental del Álgebra. lo que las hace especialmente difíciles de representar. Por esto los matemáticos consideran a los números complejos unos números más naturales que los números reales a la hora de resolver ecuaciones.Número complejo hasta la más abajo mencionada interpretación geométrica que fue descrita por Wessel en 1799. El análisis complejo provee algunas importantes herramientas para la demostración de teoremas incluso en teoría de números. las funciones de variable compleja necesitan un espacio de cuatro dimensiones. 79 Aplicaciones En matemáticas Soluciones de ecuaciones polinómicas Una raíz del polinomio p es un complejo z tal que p(z)=0. Ecuaciones diferenciales En ecuaciones diferenciales. Ingenieros eléctricos y físicos usan la letra j para la unidad imaginaria en vez de i que está típicamente destinada a la intensidad de corriente. En física Los números complejos se usan en ingeniería electrónica y en otros campos para una descripción adecuada de las señales periódicas variables (ver Análisis de Fourier). necesitan de un plano cartesiano para ser representadas. mientras que las funciones reales de variable real. Un resultado importante de esta definición es que todos los polinomios de grado n tienen exactamente n soluciones en el campo complejo. con pares de números reales fue dada en el Siglo XIX. Variable compleja o análisis complejo Al estudio de las funciones de variable compleja se lo conoce como el Análisis complejo. esto es. es habitual encontrar primero las raíces (en general complejas) del polinomio característico. Cuando representamos una corriente o un voltaje de corriente alterna (y por tanto con comportamiento sinusoidal) como la parte real de una función de variable compleja de la forma donde ω representa la frecuencia angular y el número complejo z nos da la fase y la amplitud. En una expresión del tipo podemos pensar en como la amplitud y en como la fase de una onda sinusoidal de una frecuencia dada. Se suelen utilizar ilustraciones coloreadas en un espacio de tres dimensiones para sugerir la cuarta coordenada o animaciones en 3D para representar las cuatro dimensiones. lo que permite expresar la solución general del sistema en términos de funciones de base de la forma: . . La implementación más formal. el tratamiento de todas las fórmulas que rigen las resistencias. cuando se estudian las soluciones de las ecuaciones diferenciales lineales con coeficientes constantes. contados con sus respectivas multiplicidades.

algunas fórmulas para la métrica del espacio-tiempo son mucho más simples si tomamos el tiempo como una variable imaginaria. 80 Véase también • Plano de Argand • Conjunto de Mandelbrot • Conjunto de Julia Complejos Reales Racionales Enteros Naturales Uno Primos Compuestos Cero Negativos Fraccionarios Fracción propia Fracción impropia Irracionales Algebraicos irracionales Trascendentes Imaginarios . En la relatividad especial y la relatividad general.Número complejo El campo complejo es igualmente importante en mecánica cuántica cuya matemática subyacente utiliza Espacios de Hilbert de dimensión infinita sobre C (ℂ).

. Se puede llevar a cabo mediante un método específico para la ecuación diferencial en cuestión o mediante una transformada (como. . A la variable dependiente también se le llama función incógnita (desconocida). php?q=node/ 70 Ecuación diferencial Una ecuación diferencial es una ecuación en la que intervienen derivadas de una o más funciones desconocidas. las ecuaciones diferenciales se dividen en: • Ecuaciones diferenciales ordinarias: aquellas que contienen derivadas respecto a una sola variable independiente. donde independiente • La expresión es una ecuación en derivadas parciales. Introducción Una ecuación diferencial es una ecuación que incluye expresiones o términos que involucran a una función matemática incógnita y sus derivadas. Grado de la ecuación Es la potencia de la derivada de mayor orden que aparece en la ecuación. Ecuación diferencial lineal Se dice que una ecuación es lineal si tiene la forma . com/ index. La resolución de ecuaciones diferenciales es un tipo de problema matemático que consiste en buscar una función que cumpla una determinada ecuación diferencial. cica. . Dependiendo del número de variables independientes respecto de las que se deriva. de no ser así se considera que no tiene grado. siempre y cuando la ecuación esté en forma polinómica. Algunos ejemplos de ecuaciones diferenciales son: • es una ecuación diferencial ordinaria. html [2] http:/ / www. Orden de la ecuación El orden de la derivada más alta en una ecuación diferencial se denomina orden de la ecuación. la transformada de Laplace). es/ rd/ Recursos/ rd98/ Matematicas/ 09/ c11. • Ecuaciones en derivadas parciales: aquellas que contienen derivadas respecto a dos o más variables. es decir. es decir: • Ni la función ni sus derivadas están elevadas a ninguna potencia distinta de uno o cero. representa una función no especificada de la variable es la derivada de con respecto a . por ejemplo. necesitomas.Número complejo 81 Enlaces externos • Historia [1] • Números complejos en Excel [2] Referencias [1] http:/ / thales.

Ecuaciones semilineales y cuasilineales No existe un procedimiento general para resolver ecuaciones diferenciales no lineales. y t indica tiempo. • Una combinación lineal de sus soluciones es también solución de la ecuación. biología) o matemáticas. con a y b reales. Esta es una ecuación de segundo orden debido a que se tiene el desplazamiento x y su primera y segunda derivada con respecto al tiempo. Más específicamente. x es vector de desplazamientos [nodales] de la estructura. Su uso es común tanto en ciencias aplicadas. algunos casos particulares de no linealidad sí pueden ser resueltos. Formalmente. la ecuación diferencial que define el movimiento de una estructura es: Donde M es la matriz que describe la masa de la estructura. Una ecuación diferencial ordinaria de orden n se llama cuasilineal si es "lineal" en la derivada de orden n. tiene como soluciones . . si la ecuación diferencial ordinaria para la función puede escribirse en la forma: Se dice que dicha ecuación es semilineal si es una función lineal. K es la matriz de rigidez que describe la rigidez de la estructura. con k un número real cualquiera. tiene como soluciones . es una ecuación diferencial ordinaria lineal de segundo orden. Ejemplos: • • • es una ecuación diferencial ordinaria lineal de primer orden. es una ecuación diferencial ordinaria lineal de segundo orden. como en ciencias fundamentales (física. Una ecuación diferencial ordinaria de orden n se llama semilineal si puede escribirse como suma de una función "lineal" de la derivada de orden n más una función cualquiera del resto de derivadas. con a y b reales. química. • En dinámica estructural. . A esta ecuación se le llama ecuación de onda. Sin embargo. como en economía. P es el vector de fuerzas (nodales equivalentes). Son de interés el caso semilineal y el caso cuasilineal. tiene como soluciones .Ecuación diferencial • En cada coeficiente que aparece multiplicándolas sólo interviene la variable independiente. C es la matriz que describe el amortiguamiento de la estructura. si la ecuación diferencial ordinaria para la función puede escribirse en la forma: Se dice que dicha ecuación es cuasilineal si es una función afín. • La vibración de una cuerda está descrita por la siguiente ecuación diferencial en derivadas parciales de segundo orden: • donde es el tiempo y es la coordenada del punto sobre la cuerda. es decir. 82 Usos Las ecuaciones diferenciales son muy utilizadas en todas las ramas de la ingeniería para el modelado de fenómenos físicos.

que recibe el nombre de condición inicial. 2. dos constantes a una familia doblemente infinita. la convierte en una identidad. .Ecuación diferencial 83 Solución de una ecuación diferencial Tipos de soluciones Una solución de una ecuación diferencial es una función que al reemplazar a la función incógnita. en cada caso con las derivaciones correspondientes. (2006). Véase también • Función diferenciable • Historia de las ecuaciones diferenciales Bibliografía • Zill. Ecuaciones diferenciales con aplicaciones. En caso de que la ecuación sea lineal. la solución general se logra como combinación lineal de las soluciones (tantas como el orden de la ecuación) de la ecuación homogénea (que resulta de hacer el término no dependiente de ni de sus derivadas igual a 0) más una solución particular de la ecuación completa. apuntes de ecuaciones diferenciales II (EDPs) [2]. es decir. éstas son tangentes. expresada con una o más constantes. Hay tres tipos de soluciones: 1. Universidad Complutense de Madrid. etc). Resolución de algunas ecuaciones • • • • • Ecuación diferencial de primer orden Ecuación diferencial lineal Ecuación diferencial exacta Ecuación de Jacobi Ecuación de Clairaut y también se llaman ecuaciones de estado diferencial que como las ecuaciones lineales de dos variables. y por lo tanto de la curva integral que satisface la ecuación. en donde la constante (o constantes) recibe un valor específico. Es un caso particular de la solución general. existe un único valor de C. verifica la ecuación. La solución general es un haz de curvas. Solución general: una solución de tipo genérico. pero que no se obtiene particularizando la solución general. apuntes de ecuaciones diferenciales I [1]. éste recibirá el nombre de solución particular de la ecuación en el punto . Dennis G. Solución singular: una función que verifica la ecuación. Solución particular: Si fijando cualquier punto por donde debe pasar necesariamente la solución de la ecuación diferencial. Grupo Editorial Iberoamérica • José Ignacio Aranda Iriarte (2007). • José Ignacio Aranda Iriarte (2008). Segunda edición. Universidad Complutense de Madrid. 3. Tiene un orden de infinitud de acuerdo a su cantidad de constantes (una constante corresponde a una familia simplemente infinita.

en la Universidad de Stanford. fis. valen más. mathworks. Google interpreta un enlace de una página A a una página número de enlaces de otras páginas que la B como un voto. es/ ~pparanda/ EDOs. también analiza la página que emite el voto. C(i) es el número total de enlaces salientes de la página i (sean o no hacia A). ipmnet.85. de la página A. Algoritmo El algoritmo inicial del PageRank lo podemos encontrar en el documento original donde sus creadores presentaron el prototipo de Google: “The Anatomy of a Large-Scale Hypertextual Web Search Engine":[2] Donde: • • • • PR(A) es el PageRank de la página A. Google ordena los resultados de la búsqueda PageRank confía en la naturaleza democrática de la web utilizando su utilizando su propio algoritmo PageRank.Ecuación diferencial 84 Enlaces externos • Soluciones exactas de Ecuaciones Diferenciales Ordinarias [3] • Soluciones exactas de Ecuaciones Diferenciales Lineales en derivadas parciales [4] • Programa para resolver Ecuaciones diferenciales ordinarias escrito en Matlab [5] Referencias [1] [2] [3] [4] [5] http:/ / jacobi. html http:/ / jacobi. más allá del volumen de votos. y ayudan a hacer a otras páginas "importantes". Fue desarrollado por los fundadores de Google. ru/ en/ solutions/ lpde. ucm. para la página B. El sistema PageRank era utilizado por el popular motor de búsqueda Google para ayudarle a determinar la importancia o relevancia de una página. Los votos emitidos por las páginas consideradas "importantes". htm http:/ / eqworld. d es un factor de amortiguación que tiene un valor entre 0 y 1. ru/ en/ solutions/ ode. es/ ~pparanda/ EDPs.[3] Representa la probabilidad de que un navegante continúe pulsando links al navegar por Internet en vez de escribir una url directamente en la barra de . com/ matlabcentral/ fileexchange/ 27356-soluci%C3%93n-de-ecuaciones-diferenciales-y-de-diferencias PageRank PageRank es una marca registrada y patentada[1] por Google el 9 de enero de 1999 que ampara una familia de algoritmos utilizados para asignar de forma numérica la relevancia de los documentos (o páginas web) indexados por un motor de búsqueda. ucm. Por lo tanto. Algunos expertos aseguran que el valor de la variable d suele ser 0. el valor de esas páginas y otros criterios no públicos. ipmnet. htm http:/ / www. PR(i) son los valores de PageRank que tienen cada una de las páginas i que enlazan a A. html http:/ / eqworld. Sus propiedades son muy discutidas por los expertos en optimización de motores de búsqueda. es decir con un PageRank elevado. fis. Larry Page y Sergey Brin. el PageRank de una página refleja la importancia de la misma en Internet. o enlaces que una página recibe. Pero Google mira apuntan. A cada vasta estructura de enlaces como un indicador del valor de una página página web se le asigna un número en función del en concreto.

no hay apoyo a esa página específica. y tardan varios días en completarse. y cero significa que el sitio ha sido penalizado o aún no ha recibido una calificación de PageRank. Entre estos métodos hay que destacar el spam. Una alternativa al algoritmo PageRank propuesto por Jon Kleinberg. El SCI pretende resolver la asignación objetiva de méritos científicos suponiendo que los investigadores cuyo factor de impacto (número de publicaciones y/o referencias bibliográficas en otros trabajos científicos) es más alto. El peso o importancia de una página es el resultado de una "votación" entre todas las demás páginas de la World Wide Web acerca del nivel de importancia que tiene esa página. Por lo tanto. Últimas actualizaciones del PageRank Las actualizaciones del PageRank tienen lugar algunas veces al año. Una página que está enlazada por muchas páginas con un PageRank alto consigue también un PageRank alto. El PageRank de una página se define recursivamente y depende del número y PageRank de todas las páginas que la enlazan.PageRank direcciones o pulsar uno de sus marcadores y es un valor establecido por Google. El índice de citación es un elemento determinante para seleccionar qué investigadores reciben becas y recursos de investigación.[cita requerida] • • • • • • 4ª semana de junio de 2011 3ª semana de enero de 2011[5] 1ª semana de abril de 2010 4ª semana de diciembre de 2009 4ª semana de octubre de 2009 4ª semana de mayo de 2009 • 4ª semana de marzo de 2009 • 4ª semana de diciembre de 2008 . Si no hay enlaces a una página web. libros de visitas. es el algoritmo HITS. De esta forma cuando se calcula el peso de una página. no se tienen en cuenta los links que tengan este atributo. consistente en añadir enlaces a una cierta página web en lugares como blogs. Parece ser una escala logarítmica. lo que equivale a suponer que una página sin enlaces salientes tiene enlaces a todas las páginas de Internet. lo que hará será navegar a cualquier otra página aleatoriamente. 1 es la calificación mínima que recibe un sitio normal. etc. se han diseñado métodos para manipular artificialmente el PageRank de una página. foros de Internet. 85 Manipulación Debido a la importancia comercial que tiene aparecer entre los primeros resultados del buscador. Si un usuario aterriza en una página sin enlaces. El PageRank de la barra de Google va de 0 a 10. la probabilidad de que el usuario deje de pulsar links y navegue directamente a otra web aleatoria es 1-d. Un hiperenlace a una página cuenta como un voto de apoyo. A principios del 2005 Google implementó un nuevo atributo para hiperenlaces rel="nofollow" como un intento de luchar contra el spam. con la intención de incrementar el número de enlaces que apuntan a la página. Diez es el máximo PageRank posible y son muy pocos los sitios que gozan de esta calificación. colaboran en mayor medida con el desarrollo de su área de investigación. Antecedentes PageRank ha tomado su modelo del Science Citation Index (SCI) elaborado por Eugene Garfield para el Instituto para la Información Científica (ISI) en los Estados Unidos durante la década del 50. Aquí se pueden ver las fechas de actualizaciones del Pagerank. Los detalles exactos de esta escala son desconocidos.[4] La introducción del factor de amortiguación en la fórmula resta algo de peso a todas las páginas de Internet y consigue que las páginas que no tienen enlaces a ninguna otra página no salgan especialmente beneficiadas.

edu/ ~backrub/ google. gov/ netacgi/ nph-Parser?Sect1=PTO1& Sect2=HITOFF& d=PALL& p=1& u=%2Fnetahtml%2FPTO%2Fsrchnum. & OS=PN/ 6285999& RS=PN/ 6285999 [12] http:/ / infolab. duke. Princeton University Press. Matthew. Terry (1999). google. edu/ ~backrub/ google. Proceedings of Advances in Neural Information Processing Systems 14. stanford. Pedro (2002). • Richardson. Rajeev y Winograd. [6] http:/ / dbpubs. (2006). edu/ ~backrub/ google. • Cheng. com/ intl/ es/ corporate/ tech. Fulltext?lang=en& doc=1999-66& format=pdf& compression= [7] http:/ / www. com/ first-google-toolbar-pagerank-update-of-2011-62006)». stanford. visitas-web. ISBN 0-691-12202-4. PN. Google's PageRank and Beyond: The Science of Search Engine Rankings. com/ 2007/ 12/ pagerank. htm& r=1& f=G& l=50& s1=6285999.1. Carl D. Eric J. Brin. edu/ nicl/ netecon06/ papers/ ne06-sybil. Alice.Página de Google donde se explica cómo se utiliza esta tecnología. edu:8090/ pub/ showDoc.. google. uspto. «Manipulability of PageRank under Sybil Strategies [8]». Sergey. html)» pág. «Ranking Systems: The PageRank Axioms [9]». Proceedings of the 6th ACM conference on Electronic commerce (EC-05). The PageRank citation ranking: Bringing order to the Web [6]. • The Anatomy of a Large-Scale Hypertextual Web Search Engine [12]: el prototipo de Google Notas al pie de página [1] [2] [3] [4] http:/ / www. Lawrence. Motwani. • Page. Alon. edu/ ~epsalon/ pagerank. html) Sergey Brin y Lawrence Page (1998). cs. Amy N. • Altman. [5] Barry Schwartz. html) (en inglés) Introducción al PageRank de Google (http:/ / www. pdf [9] http:/ / stanford.. Proceedings of the First Workshop on the Economics of Networked Systems (NetEcon06). Meyer. stanford. • Method for node ranking in a linked database [11]: la patente originaria de PageRank. « The anatomy of a large-scale hypertextual Web search engine (Sección 2. Tennenholtz. Domingos. «The intelligent surfer: Probabilistic combination of link and content information in PageRank [7]». « First Google Toolbar PageRank Update Of 2011 (http:/ / searchengineland. Enlaces externos • Tecnología Google [10] . 107-117. html [11] http:/ / patft. pdf [8] http:/ / www. washington. cs. com/ patents?vid=6285999 "The Anatomy of a Large-Scale Hypertextual Web Search Engine" (http:/ / infolab. Friedman. Moshe.PageRank • • • • • • • • • • 3ª semana de octubre de 2008 4ª semana de julio de 2008 4ª semana de mayo de 2008 2ª semana de marzo de 2008 2ª semana de enero de 2008 4ª semana de octubre de 2007 4ª semana de abril de 2007 3ª semana de enero de 2007 2ª semana de octubre de 2006 2ª semana de julio de 2006 86 Bibliografía • Langville. pdf [10] http:/ / www. html . stanford. edu/ homes/ pedrod/ papers/ nips01b.1 Description of PageRank Calculation) (http:/ / www-db.

Se han desarrollado dos estrategias básicas para manejar los errores: • Incluir suficiente información redundante en cada bloque de datos para que se puedan detectar y corregir los bits erróneos. Si es par incluiremos este bit con el valor = 0. éstos puedan ser detectados. Introducción La comunicación entre varias computadoras produce continuamente un movimiento de datos. es que no ha habido error. Se utilizan códigos de detección de errores. y si no es así. la longitud final del bloque será n. donde n = m + r. lo incluiremos con valor = 1. . y que el error no sea detectado. generalmente por canales no diseñados para este propósito (línea telefónica). y que nos indicará si el número de unos (bits puestos a 1) es par o es impar. Se utilizan códigos de corrección de errores. • Incluir sólo la información redundante necesaria en cada bloque de datos para detectar los errores. como ocurre si se cambian dos números en la transmisión en vez de uno. repite la operación de contar la cantidad de “unos” que hay (menos el último bit) y si coincide. Si consideramos un bloque de datos formado por m bits de datos y r de redundancia. computación y teoría de la información. debemos asegurarnos que si dicho movimiento causa errores. Problemas de este método: Hay una alta probabilidad de que se cuelen casos en los que ha habido error. En este caso el número de bits de redundancia es menor.Detección y corrección de errores 87 Detección y corrección de errores En matemáticas. Por lo tanto. y que introducen un ruido externo que produce errores en la transmisión. Tipo de códigos detectores Paridad simple (paridad horizontal) Consiste en añadir un bit de más a la cadena que queremos enviar. Ejemplo de generación de un bit de paridad simple: Queremos enviar la cadena “1110100”: 1º Contamos la cantidad de unos que hay: 4 unos 2º El número de unos es par por tanto añadimos un bit con valor = 0 3º La cadena enviada es 11101000 El receptor ahora. la detección y corrección de errores es una importante práctica para el mantenimiento e integridad de los datos a través de canales ruidosos y medios de almacenamiento poco confiables. El método para detectar y corregir errores es incluir en los bloques de datos transmitidos bits adicionales denominados redundancia.

Aun así. La probabilidad de encontrar un solo error es la misma. como en el caso anterior. pero ahora de cada columna. luego se realizan todas las paridades horizontales por el método anterior. o por columnas.Detección y corrección de errores 88 Paridad cruzada (paridad horizontal-vertical) Para mejorar un poco el método anterior. . Enviando las palabras por columnas aumentamos la posibilidad de corregir una palabra que haya sufrido un error de ráfaga (errores que afectan a varios bits consecutivos. formando una matriz de N x K: 1100101 1110101 1001011 1010110 3º Añadimos los bits de paridad horizontal: 1100101 0 1110101 1 1001011 0 1010110 0 4º Añadimos los bits de paridad vertical: 1100101 0 1110101 1 1001011 0 1010110 0 0001101 1 Una vez creada la matriz. y que harían que se perdiera toda una palabra completa). Para ver más claro este método. se suelen agrupar los bits en una matriz de N filas por K columnas. debidos a causas generalmente electrónicas. existen todavía una gran cantidad de errores no detectables Un ejemplo de paridad cruzada (o de código geométrico) 1º Tenemos este código para transmitir: 1100101111010110010111010110 2º Agrupamos el código en cada una de las palabras. y por último. podemos enviar ésta por filas. pero en cambio. se realiza una paridad que afecte tanto a los bits de cada cadena o palabra como a un conjunto de todos ellos. la probabilidad de encontrar un número par errores ya no es cero. se hace las misma operación de calcular el número de unos. Siempre se utilizan cadenas relativamente cortas para evitar que se cuelen muchos errores. como chispazos.

3. para facilitar los cálculos se trabaja. es decir. Estos códigos utilizan la aritmética modular para detectar una mayor cantidad de errores. debe ser un método sistemático. La finalidad de este método es crear una parte de redundancia la cual se añade al final del código a transmitir (como en los métodos de paridad) que siendo la más pequeña posible. se usan operaciones en módulo 2 y las sumas y restas se realizan sin acarreo (convirtiéndose en operaciones de tipo Or-Exclusivo o XOR). 2. aunque sólo teóricamente.6%: Un ejemplo de polinomio generador usado normalmente en las redes WAN es: Los cálculos que realiza el equipo transmisor para calcular su CRC son: 1. Además. El polinomio generador: es un polinomio elegido previamente y que tiene como propiedad minimizar la redundancia. lo que indica que la eficiencia es buena. para mensajes de 128 bytes. Añade tantos ceros por la derecha al mensaje original como el grado del polinomio generador Divide el mensaje con los ceros incluidos entre el polinomio generador El resto que se obtiene de la división se suma al mensaje con los ceros incluidos Se envía el resultado obtenido Estas operaciones generalmente son incorporadas en el hardware para que pueda ser calculado con mayor rapidez. con polinomios. que con un mismo código a transmitir (y un mismo polinomio generador) se genere siempre el mismo código final. aparecen los códigos cíclicos. Ejemplo de obtención del CRC: Datos: Mensaje codificado en binario: 1101001 Polinomio generador: Operaciones: 1º Obtener el polinomio equivalente al mensaje: 2º Multiplicar el mensaje por (añadir 4 ceros por la derecha): 3º Dividir en binario el mensaje por el polinomio generador y sacar el resto: 4º Concatenar el mensaje con el resto (en módulo 2 también): 5º Transmitir el mensaje El equipo receptor debe comprobar el código CRC para detectar si se han producido o no errores.Detección y corrección de errores 89 Códigos de redundancia cíclica también llamados CRC Intentando mejorar los códigos que sólo controlan la paridad de bit. pero en la teoría se utilizan los polinomios para facilitar los cálculos. Pero además de esto. Ejemplo de los cálculos del receptor: 1º Mediante el protocolo correspondiente acuerdan el polinomio generador 2º Divide el código recibido entre el polinomio generador . Suele tener una longitud de 16 bits. 4. Ya que sólo incrementa la longitud en un aproximado 1. detecte el mayor número de errores que sea posible.

elegido correctamente. Considerando a cada cadena como un número entero numerado según el sistema de numeración . no se han producido errores 3. Funcionalidad: consiste en agrupar el mensaje a transmitir en cadenas de una longitud determinada L no muy grande. si la suma es 0. este método requiere de un polinomio generador que.Detección y corrección de errores 3º Comprueba el resto de dicha operación 3. y si el resultado es 0 no hay errores.2 Intentar corregir los errores mediante los códigos correctores En resumen. pero cambiado de signo. Con esto. Ejemplo: Mensaje 101001110101 1º Acordar la longitud de cada cadena: 3 2º Acordar el sistema de numeración: 3º Dividir el mensaje: 101 001 110 101 4º Asociar cada cadena con un entero: 5 1 6 5 5º Sumar todos los valores y añadir el número cambiado de signo: -17 6º Enviar 5 1 6 5 -17 codificado en binario El receptor: 1º Suma todos los valores. A continuación se suma el valor de todas las palabras en las que se divide el mensaje. procesa el mensaje. de por ejemplo 16 bits. si no.1 Si el resto es cero.2 Reenviar el mensaje 3.1 Si el resto es distinto de cero. puede llegar a detectar gran cantidad de errores: • • • • • Errores simples: todos Errores dobles: todos Errores en las posiciones impares de los bits: todos Errores en ráfagas con una longitud menor que el grado del polinomio generador: todos Otras ráfagas: un porcentaje elevado y cercano al 100% 90 Suma de comprobación Es un método sencillo pero eficiente sólo con cadenas de palabras de una longitud pequeña. es por esto que se suele utilizar en cabeceras de tramas importantes u otras cadenas importantes y en combinación con otros métodos. se ha producido un error. el receptor lo único que tiene que hacer es sumar todas las cadenas. y se añade el resultado al mensaje a transmitir. . significa que se han producido errores 3.2 Procesar el mensaje 3.

podemos detectar x <= d bits errores correctamente usando el mismo método en todas las palabras de n bits. de forma que quede una palabra de n+d+1 bits con una distancia mínima de Hamming de d+1. 000001 2. y tales errores conducen solamente a las palabras inválidas que se detectan correctamente. convertirán en una palabra válida debido a que la distancia de Hamming entre cada palabra válida es de al menos d+1. son palabras incorrectas. De esta manera. podemos detectar un máximo de m*d errores si todas las palabras de n bits son transmitidas con un máximo de d errores. Dado un conjunto de m*n bits. si uno recibe una palabra de n+d+1 bits que no encaja con ninguna palabra del código (con una distancia de Hamming x <= d+1 la palabra no pertenece al código) detecta correctamente si es una palabra errónea. 000001 3. Aún más. 000010 Codificadas con distancia mínima de Hamming = 2 000001 0000 000001 0011 000010 1100 Si las palabras recibidas tienen una distancia de Hamming < 2.Detección y corrección de errores Este método al ser más sencillo es óptimo para ser implementado en software ya que se puede alcanzar velocidades de cálculo similares a la implementación en hardware 91 Distancia de Hamming basada en comprobación Si queremos detectar d bit erróneos en una palabra de n bits. Lista de los métodos de corrección y detección de errores • • • • • • Dígito verificador FEC (Forward Error Correction) Código Binario de Golay Código Hamming Bit de paridad Reed-Solomon . Ejemplo Palabras a enviar: 1. d o menos errores nunca se Hipercubo binario de dimensión cuatro. podemos añadir a cada palabra de n bits d+1 bits predeterminados al final. De hecho.

g corresponde al espectro de frecuencias de la señal f. wikilearning. htm [2] http:/ / web. no es universal. La rama de la matemática que estudia la transformada de Fourier y sus generalizaciones es denominada análisis armónico. Definición intuitiva La transformada de Fourier es básicamente el espectro de frecuencias de una función. la transformada de Fourier contiene todas las frecuencias contenidas en todos los tiempos en que existió la señal. . He aquí algunas de ellas: . o sea f tiene que ser una función integrable en el sentido de la integral de Lebesgue. es/ ~elusive/ simula3. La transformada de Fourier así definida goza de una serie de propiedades de continuidad que garantizan que puede extenderse a espacios de funciones mayores e incluso a espacios de funciones generalizadas.. En la práctica las variables x y suelen estar asociadas a dimensiones (como el espacio -metros-. ya que recibe una onda auditiva y la transforma en una descomposición en distintas frecuencias (que es lo que finalmente se escucha). com/ correccion_de_errores-wkccp-11878-1. Además. la estadística. con valores complejos y definida en la recta. Aunque esta forma de normalizar la transformada de Fourier es la más comúnmente adoptada. la teoría de la probabilidad. usc. la óptica. tiene una multitud de aplicaciones en muchas áreas de la ciencia e ingeniería: la física. frecuencia -segundos^-1-.. la combinatoria. con otra función g definida de la manera siguiente: Donde f es .. la teoría de los números. En procesamiento de señales la transformada de Fourier suele considerarse como la decomposición de una señal en componentes de frecuencias diferentes. en la transformada de Fourier se obtiene un sólo espectro de frecuencias para toda la función. es decir.Detección y corrección de errores 92 Enlaces externos • Algoritmos de detección y corrección de errores [1] • Otros códigos utilizados [2] Referencias [1] http:/ / www. Son varias las notaciones que se utilizan para la transformada de Fourier de f. sin embargo.) y entonces es correcto utilizar la fórmula alternativa: de forma que la constante beta cancela la dimensiones asociadas a las variables obteniendo un exponente adimensional. Un buen ejemplo de eso es lo que hace el oído humano. El oído humano va percibiendo distintas frecuencias a medida que pasa el tiempo. que acompaña la integral en definición facilita el enunciado de algunos de los teoremas referentes a la transformada de Fourier. es decir. El factor. la propagación de ondas y otras áreas. la transformada de Fourier es una aplicación que hace corresponder a una función f. html Transformada de Fourier En matemática. el procesamiento de señales (electrónica).

Propiedades básicas La transformada de Fourier es una aplicación lineal: Valen las siguientes propiedades para una función absolutamente integrable f: • Cambio de escala: • Traslación: • Traslación en la variable transformada: • Transformada de la derivada: Si f y su derivada son integrables. g en la recta se define de la manera siguiente: Nuevamente la presencia del factor delante de la integral simplifica el enunciado de los resultados como el que sigue: Si f y g son funciones absolutamente integrables. pues el integrando es una función integrable. El signo negativo en el exponente del integrado indica la traspolación de complementos yuxtapuestos. Una estimativa simple demuestra que la transformada de Fourier F(f) es una función acotada. . definimos la convolución de dos funciones f. Además por medio del teorema de convergencia dominada puede demostrarse que F(f) es continua.Transformada de Fourier 93 Definición formal Sea f una función Lebesgue integrable: o La transformada de Fourier de f es la función Esta integral tiene sentido. El teorema de inversión de Fourier formulado abajo justifica el nombre de transformada de Fourier inversa dado a esta transformada. y vale la igualdad: También puede enunciarse un teorema análogo para la convolución en la variable transformada. La transformada de Fourier inversa de una función integrable f está definida por: Nótese que la única diferencia entre la transformada de Fourier y la transformada de Fourier inversa es el signo negativo en el exponente del integrando. Estos complementos pueden ser analizados a través de la aplicación de la Varianza para cada función. • Derivada de la transformada: Si f y t → f(t) son integrables. la convolución también es integrable. En lo que sigue. la transformada de Fourier F(f) es diferenciable Estas identidades se demuestran por una mudanza de variables o integración por partes.

A continuación se lista una tabla de funciones y sus transformadas de Fourier con un factor unidad. el resultado formulado de esta forma no es válido. sólo debe multiplicar la segunda columna por ese factor. porque el dominio de la transformada de Fourier como lo hemos definido en el primer párrafo de este artículo no es invariante. Si se desea utilizar Teorema de inversión La idea del teorema de inversión es que dada una función f. Para formular el teorema de inversión necesitamos encontrar espacios de funciones que sean invariantes bajo la transformada de Fourier. o sea que la transformada de Fourier de una función integrable no es necesariamente integrable. siendo frecuente en en la transformada inversa. vale el teorema de inversión (1). Además para una función f en este espacio. Sin embargo aquí tomamos un camino más directo para formular un enunciado: Teorema. Tabla de transformadas básicas En algunas ocasiones se define la transformada con un factor multiplicativo diferente de ingeniería el uso de un factor unidad en la transformada directa y un factor de otro factor. El espacio de funciones complejas f definidas en la recta tales que f y la transformada de Fourier de f sean integrables. en símbolos: Sin embargo. Función Transformada . De hecho. la más natural del punto de vista técnico siendo el espacio de Schwartz de funciones φ rápidamente decrecientes. hay numerosas posibilidades. es invariante tanto por la transformada de Fourier que por la transformada de Fourier inversa. Otra posibilidad para formular un teorema de inversión se fundamenta en el hecho de que la transformada de Fourier tiene muchas extensiones naturales. la transformada de Fourier inversa aplicada a la transformada de Fourier de f resulta en la función original. .Transformada de Fourier 94 pero este exige cierto cuidado con el dominio de definición de la transformada de Fourier.

La transformada de Fourier es un morfismo: Es decir. por consiguiente. es más fácil saber sobre qué ancho de banda se concentra la energía de una señal analizándola en el dominio de la frecuencia. La transformada de Fourier también se utiliza en el ámbito del tratamiento digital de imágenes. Esto es muy útil para el diseño de filtros de radiotransistores.Transformada de Fourier 95 La transformada de Fourier en el espacio de Schwartz El espacio de Schwartz consiste de las funciones φ tomando valores complejos. . Uso en Ingeniería La transformada de Fourier se utiliza para pasar al dominio de la frencuencia una señal para así obtener información que no es evidente en el dominio temporal. Denotamos al espacio de Schwartz por el símbolo Teorema . definidas en R e infinitamente diferenciables tales que para todo m. También sirve para resolver ecuaciones diferenciales con mayor facilidad y. Propiedades de homomorfismo Debido a que las "funciones base" eikx son homomorfismos de la línea real (más concretamente. n enteros no negativos donde φ(n) es la n-ésima derivada de φ. Debido a las propiedades y la transformada de Fourier es una herramienta muy importante para el estudio de las ecuaciones diferenciales tanto para la teoría que para su resolución práctica. se usa para el diseño de controladores clásicos de sistemas realimentados si conocemos la densidad espectral de un sistema y la entrada podemos conocer la densidad espectral de la salida. como por ejemplo para mejorar o definir más ciertas zonas de una imagen fotográfica o tomada con una computadora. Por ejemplo. la transformada de Fourier de una convolución es el producto de las transformadas de Fourier. es decir de la forma donde Pk son polinomios. del "grupo del círculo") tenemos ciertas identidades útiles: 1. Si entonces 2. Tanto la transformada de Fourier como la transformada de Fourier inversa son aplicaciones lineales Además vale la fórmula de inversión: El espacio de Schwartz es invariante con respecto a los operadores diferenciales con coeficientes polinomiales.

Referencias [1] [2] [3] [4] http:/ / www. htm http:/ / eqworld. html http:/ / www. ru/ en/ auxiliary/ aux-inttrans. Véase también • Óptica de Fourier • Transformada de Fourier discreta • Wikiversidad alberga proyectos de aprendizaje sobre Transformada de Fourier.Wikiversidad Enlaces externos • • • • Fourier Java Applet [1] Tables of Integral Transforms [2] en Inglés. ipmnet. más parecido tiene x(t) con una exponencial compleja.Transformada de Fourier 96 Interpretación geométrica Definido el producto escalar entre funciones de la siguiente manera: la transformada de Fourier se puede entender como el producto escalar entre la función x(t) y la exponencial compleja evaluado sobre todo el rango de frecuencias f. Mathews [3] The DFT “à Pied”: Enseñando la transformada de Fourier en un día [4] en The DSP Dimension (Inglés). htm http:/ / math. Transformada de Fourier por John H. westga. com/ admin/ dft-a-pied/ . dspdimension. edu/ ~jhasbun/ osp/ Fourier. en aquellas frecuencias en las que la transformada tiene un valor mayor. Por la interpretación usual del producto escalar. edu/ mathews/ c2003/ FourierTransformMod. fullerton.

la distancia entre dos combinaciones es el número de bits que cambian de una a otra. En informática y telecomunicaciones. aparece en las tablas en notación octal. Sin embargo. comenta que los primeros códigos binarios se utilizaron en el año 1932: C. no tienen un peso asociado a cada posición. es decir. tales como cadenas de caracteres. como el mismo código binario natural o el BCD natural sí lo son. es decir. El sistema binario es. además. como el código Gray. Según Anton Glaser. o bit: el "0" y el "1"). posteriormente en 1938: Atanasoff-Berry Computer. cada posición de una secuencia de dígitos tiene asociado un peso. están representados por una cadena de bits de la misma longitud.Código binario 97 Código binario El código binario es el sistema de representación de textos. Por ejemplo. de hecho. La distancia entre dos combinaciones es el número de bits que cambian de una a otra. correspondientes al 2 y al 7 en binario natural. Además. se dirá que la distancia entre ellas es igual a dos ya que de una a otra cambian dos bits. sólo aplica las combinaciones binarias. decimal o hexadecimal. y en 1939: Stibitz ("excess three") el código en Complex Computer. o cadenas de bits. cada letra. algunos códigos binarios. como un número binario que. Wynn-Williams ("Scale of Two"). Otros. En resumen. dígito. Ponderación La mayoría de los sistemas de numeración actuales son ponderados. un sistema de numeración posicional ponderado. . Estos métodos pueden ser de ancho fijo o ancho variable. o procesadores de instrucciones de ordenador utilizando el sistema binario (sistema numérico de dos dígitos. no son ponderados.E. Ésta no es más que la distancia menor que haya entre dos de las combinaciones de ese código. La distancia es una característica que. el código binario se utiliza con variados métodos de codificación de datos. u otros símbolos. en su History of Binary and other Nondecimal Numeration. En un código binario de ancho fijo. Distancia La distancia es una característica sólo aplicable a las combinaciones binarias. si se tienen las combinaciones de cuatro bits 0010 y 0111. con el concepto de distancia se puede definir la distancia mínima de un código. Características del código binario La palabra Wikipedia representada en código binario. por lo general.

el método del bit de paridad. El propósito de los códigos detectores de error es detectar posibles errores en los datos. por lo que. se trata de un código cíclico. de producirse esto. el más usado es. sino también corregirlos. adyacente a la primera. Esta característica se observa en algunos códigos BCD. posiblemente. a su vez. En este caso se dice que el código es continuo. Véase también • • • • Sistema binario Sistema octal Sistema de numeración decimal Sistema hexadecimal .Código binario 98 Continuidad La continuidad es una característica de los códigos binarios que cumplen que todas las posibles combinaciones del código son adyacentes. mientras que los códigos detectores y correctores de error no sólo pretenden detectar errores. los datos binarios que están siendo transferidos pueden verse alterados. que de cualquier combinación del código a la siguiente cambia un sólo bit. Existen diferentes métodos de detección de errores. Cuando la última combinación del código es. Los códigos autocomplementarios facilitan las operaciones aritméticas. como el código Aiken o el código BCD exceso 3. es decir. destacan algunos como el código de Hamming. Autocomplementariedad Se dice que un código binario es autocomplementario cuando el complemento a nueve del equivalente decimal de cualquier combinación del código puede hallarse invirtiendo los valores de cada uno de los bits (operación lógica unaria de negación) y el resultado sigue siendo una combinación válida en ese código. surgen como solución al problema de la transmisión de datos por medio de impulsos eléctricos. En cuanto a los códigos correctores. Existen diferentes factores que pueden provocar un cambio en la señal eléctrica en un instante determinado. Códigos detectores de error Los códigos detectores de error y los códigos correctores de error.

son aquellos que se obtienen como resultado de experimentos realizados. así como el estudio de problemas fuera de los marcos clásicos. como puede ser la física (donde corresponde mencionar el desarrollo de las difusiones y el movimiento Browniano). etcétera. bajo las mismas condiciones determinadas pero como resultado posible poseen un conjunto de alternativas. por ejemplo. el matemático soviético Andréi Kolmogórov propuso un sistema de axiomas para la teoría de la probabilidad. En los procesos reales que se modelizan mediante distribuciones de probabilidad corresponden a modelos complejos donde no se conocen a priori todos los parámetros que intervienen. así las repeticiones no garantizan una probabilidad definida. basado en la teoría de conjuntos y en la teoría de la medida. otra vez. que hace que existan razones para creer que éste se realizará. Cuando el evento es imposible se dice que su probabilidad es 0. es el espacio que consiste en todos los . Definición clásica de probabilidad La probabilidad es la característica de un evento. Actualmente. Muchos fenómenos naturales son aleatorios. debido a que la características del material hace que no exista una simetría del mismo. o las finanzas (donde destaca el modelo de Black y Scholes para la valuación de acciones). donde: Sabemos que p es la probabilidad de que ocurra un evento y q es la probabilidad de que no ocurra. donde el fonómeno no se repite en las mismas condiciones. no se reduce inmediatamente a la teoría de la probabilidad en sí. que normalmente se denota por resultados que son posibles. por el contrario. la teoría de la probabilidad encuentra aplicación en las más variadas ramas del conocimiento. Estos deben contraponerse a los fenómenos determinísticos. por ejemplo. si se calienta agua a 100 grados Celsius a nivel del mar se obtendrá vapor. desarrollada pocos años antes por Lebesgue. entonces p + q = 1 Simbólicamente el espacio de resultados. el lanzamiento de un dado o de un dardo. Esta aproximación axiomática que generaliza el marco clásico de la probabilidad. En 1933. son elementos del espacio . pero existen algunos como el lanzamiento de un dado. La probabilidad p de que suceda un evento S de un total de n casos posibles igualmente probables es igual a la razón entre el número de ocurrencias h de dicho evento (casos favorables) y el número total de casos posibles n. . permitió la rigorización de muchos argumentos ya utilizados. ésta es una de las razones por las cuales la estadística. La probabilidad es un número (valor) que varia entre 0 y 1. los cuales son resultados únicos y/o previsibles de experimentos realizados bajo las mismas condiciones determinadas.Teoría de la probabilidad 99 Teoría de la probabilidad La teoría de la probabilidad es la parte de las matemáticas que estudia los fenómenos aleatorios. Los fenómenos aleatorios. que se denota por . la cual obedece a la regla de cálculo de casos favorables sobre casos posibles. Los resultados. que busca determinar estos parámetros. si el evento es cierto y siempre tiene que ocurrir su probabilidad es 1. Borel y Frechet entre otros. La probabilidad de no ocurrencia de un evento está dada por q.

es una función a partir de la cual se obtiene la probabilidad de cada valor que toma la variable. Función de densidad La función de densidad. México. es aquel que puede tomar sólo ciertos valores diferentes que son el resultado de la cuenta de alguna característica de interés. ISBN 0-387-25115-4 • Kallenberg. La definición anterior es complicada de representar matemáticamente ya que debiera ser infinito. 1970. y mide con qué frecuencia ocurre algún suceso si se hace algún experimento indefinidamente. En el caso de variables aleatorias discretas la distribución de probabilidad se obtiene a través del sumatorio de la función de densidad. Springer-Verlag. Véase también • Distribución de probabilidad • Estadística • Probabilidad condicionada Bibliografía • Spiegel. Springer Series in Statistics. 650 pp. Foundations of Modern Probability. (2002). ISBN 0-387-95313-2 . • Olav Kallenberg. McGraw-Hill. Estadística. Su integral en el caso de variables aleatorias continuas es la distribución de probabilidad. La probabilidad de un suceso es una medida que se escribe como . Véase también: Axiomas de probabilidad Probabilidad discreta Este tipo de probabilidad. Otra manera de definir la probabilidad es de forma axiomática esto estableciendo las relaciones o propiedades que existen entre los conceptos y operaciones que la componen. New York (2005)..Teoría de la probabilidad 100 Definición según la frecuencia relativa y definición axiomática La autodefinición axiomática de la probabilidad se define con base a sí misma (igualmente factible es sinónimo de igualmente autoprobable) se define la probabilidad estimada u honírica basada en la frecuencia relativa de aparición de un suceso S cuando es muy grande. 510 pp. o densidad de probabilidad de una variable aleatoria. Probabilidad continua Una variable aleatoria es una función medible que da un valor numérico a cada suceso en . O. Probabilistic Symmetries and Invariance Principles. Murray. 2nd ed.

visualización y resumen de datos originados a partir de los fenómenos de estudio. desde la física hasta las ciencias sociales. pronósticos de futuras observaciones. Sin embargo estadística es más que eso. descripción. la que se refiere a las bases teóricas de la materia. Se usa para la toma de decisiones en áreas de negocios o instituciones gubernamentales. Hay también una disciplina llamada estadística matemática. Commons Estadística La estadística es una ciencia que estudia la recolección. Ambas ramas (descriptiva e inferencial) comprenden la estadística aplicada. inferencias y predicciones asociadas a los fenómenos en cuestión teniendo en cuenta la aleatoriedad de las observaciones. entre otros. pirámide poblacional. se dedica a la generación de los modelos. La estadística se divide en dos grandes áreas: • La estadística descriptiva. ya sea para ayudar en la toma de decisiones o para explicar condiciones regulares o irregulares de algún fenómeno o estudio aplicado. Se usa para modelar patrones en los datos y extraer inferencias acerca de la población bajo estudio. en otras palabras es el vehículo que permite llevar a cabo el proceso relacionado con la investigación científica. estimaciones de características numéricas (estimación). Ejemplos básicos de parámetros estadísticos son: la media y la desviación estándar. se dedica a los métodos de recolección. Otras técnicas de modelamiento incluyen anova. Estas inferencias pueden tomar la forma de respuestas a preguntas si/no (prueba de hipótesis).Teoría de la probabilidad 101 Enlaces externos • Wikimedia Commons alberga contenido multimedia sobre Teoría de la probabilidad. La palabra «estadísticas» también se refiere al resultado de aplicar un algoritmo estadístico a un conjunto de datos. desde las ciencias de la salud hasta el control de calidad. entre otros. análisis e interpretación de datos. . estadísticas criminales. clústers. como en estadísticas económicas. • La estadística inferencial. series de tiempo y minería de datos. Los datos pueden ser resumidos Distribución normal. descripciones de asociación (correlación) o modelamiento de relaciones entre variables (análisis de regresión). de ocurrencia en forma aleatoria o condicional. numérica o gráficamente. Es transversal a una amplia variedad de disciplinas. Algunos ejemplos gráficos son: histograma.

La colección de datos acerca de estados y localidades continúa ampliamente a través de los servicios de estadística nacionales e internacionales. 1713) de Jakob Bernoulli y la Doctrina de posibilidades (1718) de Abraham de Moivre estudiaron la materia como una rama de las matemáticas. Daniel Bernoulli (1778) introduce el principio del máximo producto de las probabilidades de un sistema de errores concurrentes. obtiene la fórmula para la ley de facilidad del error (término introducido por Lagrange. . El Ars coniectandi (póstumo. C. designaba originalmente el análisis de datos del Estado. 1744) pero con ecuaciones inmanejables.[1] En la era moderna. que fue primeramente introducido por Gottfried Achenwall (1749). Orígenes en probabilidad Los métodos estadístico-matemáticos emergieron desde la teoría de la probabilidad. la Estadística estuvo asociada a los Estados. animales o ciertas mercancías. Los libros bíblicos de Números y Crónicas incluyen en algunas partes trabajos de estadística. En su origen. En China existían registros numéricos similares con anterioridad al año 2000 a. Ya se utilizaban representaciones gráficas y otras medidas en pieles. el cual es usado a través de la estadística. los babilonios usaban ya pequeños envases moldeados de arcilla para recopilar datos sobre la producción agrícola y de los géneros vendidos o cambiados. Pierre-Simon Laplace (1774) hace el primer intento de deducir una regla para la combinación de observaciones desde los principios de la teoría de probabilidades. C. palos de madera y paredes de cuevas para controlar el número de personas. El término alemán Statistik. C. C. rocas. 1722) de Roger Cotes y al trabajo preparado por Thomas Simpson en 1755 (impreso en 1756) el cual aplica por primera vez la teoría de la discusión de errores de observación. es decir. Aparece por primera vez citado en el Hamlet de William Shakespeare. para cobrar impuestos. Christian Huygens (1657) da el primer tratamiento científico que se conoce a la materia. Laplace representó la Ley de probabilidades de errores mediante una curva y dedujo una fórmula para la media de tres observaciones. También. la cual data desde la correspondencia entre Pascal y Pierre de Fermat (1654). La teoría de errores se puede remontar a la Ópera miscellánea (póstuma. por tanto. Los antiguos griegos realizaban censos cuya información se utilizaba hacia el 594 a. en 1871. En particular. los censos suministran información regular acerca de la población. No fue hasta el siglo XIX cuando el término estadística adquirió el significado de recolectar y clasificar datos. Los egipcios analizaban los datos de la población y la renta del país mucho antes de construir las pirámides en el siglo XI a. El primero contiene dos censos de la población de Israel y el segundo describe el bienestar material de las diversas tribus judías. para ser utilizados por el gobierno y cuerpos administrativos (a menudo centralizados). La reimpresión (1757) de este trabajo incluye el axioma de que errores positivos y negativos son igualmente probables y que hay unos ciertos límites asignables dentro de los cuales se encuentran todos los errores.Estadística 102 Historia Origen La palabra Estadística se deriva del latin "Satus" que en el medioevo se traducía como "estado político". el trabajo de Kolmogórov ha sido un pilar en la formulación del modelo fundamental de la Teoría de Probabilidades. Este concepto fue introducido por el militar británico Sir John Sinclair (1754-1835). la "ciencia del Estado" (también llamada aritmética política de su traducción directa del inglés). Hacia el año 3000 a. se describen errores continuos y una curva de probabilidad.

Gauss (1823). Otros contribuidores fueron Ellis (1844). Augustus De Morgan (1864). La estadística es entendida generalmente no como un sub-área de las matemáticas sino como una ciencia diferente «aliada». Friedrich Bessel (1838). Robert Adrain (1808). Estado actual Durante el siglo XX. La estadística se enseña en departamentos tan diversos como psicología. dos propiedades de la población bajo consideración) tienden a variar conjuntamente. llamado muestra. usualmente se estudia un subconjunto seleccionado de la población. Análisis estadísticos de un conjunto de datos puede revelar que dos variables (esto es. Hoy el uso de la estadística se ha extendido más allá de sus orígenes como un servicio al Estado o al gobierno. Esta puede ser la población de un país. Regresión lineal . se comienza con un proceso o población a ser estudiado. Helmert (1872). También podría ser un proceso observado en varios instantes y los datos recogidos de esta manera constituyen una serie de tiempo. Por razones prácticas. Pruebas adicionales fueron escritas por Laplace (1810. W. Silvestre Lacroix (1816). 1856). 1826). Fotografía de Ceres por el telescopio espacial Hubble. Augustus De Morgan y George Boole mejoraron la presentación de la teoría. el cual fue usado para minimizar los errores en mediciones. El siglo XIX incluye autores como Laplace. Glaisher (1872) y Giovanni Schiaparelli (1875). el probable error de una observación simple es bien conocido. John Herschel (1850) y Morgan Crofton (1870). Liagre. Gauss había usado el método en su famosa predicción de la localización del planeta enano Ceres en 1801. Hermann Laurent (1873). Personas y organizaciones usan la estadística para entender datos y tomar decisiones en ciencias naturales y sociales. bioestadística. fue otro importante fundador de la estadística y quien introdujo la noción del «hombre promedio» (l’homme moyen) como un medio de entender los fenómenos sociales complejos tales como tasas de criminalidad.F. Al aplicar la estadística a un problema científico. la creación de instrumentos precisos para asuntos de salud pública (epidemiología. Datos acerca de la muestra son recogidos de manera observacional o experimental. Didion y Karl Pearson. Muchas universidades tienen departamentos académicos de matemáticas y estadística separadamente.) necesitó de avances sustanciales en las prácticas estadísticas. y Carl Friedrich Gauss (1809). de granos cristalizados en una roca o de bienes manufacturados por una fábrica en particular durante un periodo dado. en lugar de compilar datos de una población entera.Gráficos de dispersión en estadística. econometría. industrial o social. El concepto de correlación es particularmente valioso. negocios y otras áreas. Hagen (1837). Los datos son entonces analizados estadísticamente lo cual sigue dos propósitos: descripción e inferencia. Littrow (1833). Adolphe Quetelet (1796-1874). 1812). Donkin (1844. . Richard Dedekind (1860). fue publicado independientemente por Adrien-Marie Legendre (1805). educación y salud pública.) y propósitos económicos y sociales (tasa de desempleo.Estadística 103 El método de mínimos cuadrados. etc. La fórmula de Peters para . medicina. James Ivory (1825. tasas de matrimonio o tasas de suicidios. etc. La posición fue estimada por Gauss mediante el método de mínimos cuadrados.

En contraste. el significado estadístico de una tendencia en los datos. El concepto matemático fundamental empleado para entender la aleatoriedad es el de probabilidad. y en particular extraer una conclusión en el efecto que algunos cambios en los valores de predictores o variables independientes tienen sobre una respuesta o variables dependientes. que mide el grado al cual la tendencia puede ser causada por una variación aleatoria en la muestra. inferencias y conclusiones hechas en la muestra pueden ser extendidas a la población completa. Un estudio experimental implica tomar mediciones del sistema bajo estudio. Si la muestra es representativa de la población. La productividad mejoró bajo todas las condiciones experimentales. puede no estar de acuerdo con el sentido intuitivo. la producción de los trabajadores aumentaba. Sin embargo. El fenómeno correlacionado podría ser la causa de una tercera. previamente no considerada. Cada uno de ellos puede ser muy efectivo. El conjunto de habilidades estadísticas básicas (y el escepticismo) que una persona necesita para manejar información en el día a día se refiere como «cultura estadística». los resultados pueden ser difícilmente interpretados por un inexperto. Los investigadores primero midieron la productividad de la planta y luego modificaron la iluminación en un área de la planta para ver si cambios en la iluminación afectarían la productividad. Este tipo de estudio normalmente usa una encuesta para recoger observaciones acerca del área de interés y luego . Un ejemplo de un estudio experimental es el famoso experimento de Hawthorne el cual pretendía probar cambios en el ambiente de trabajo en la planta Hawthorne de la Western Electric Company. Las dos variables se dicen que están correlacionadas. un estudio del ingreso anual y la edad de muerte podría resultar en que personas pobres tienden a tener vidas más cortas que personas de mayor ingreso. Por el contrario. La estadística ofrece medidas para estimar y corregir por aleatoriedad en la muestra y en el proceso de recolección de los datos.Estadística como si hubiera una conexión entre ellas. Un ejemplo de un estudio observacional es un estudio que explora la correlación entre fumar y el cáncer de pulmón. En ambos tipos de estudios. los datos son recogidos y las correlaciones entre predictores y la respuesta son investigadas. un estudio observacional no necesita manipulación experimental. La diferencia entre los dos tipos es la forma en que el estudio es conducido. llamada variable confusora. ver diseño experimental. así como métodos para diseñar experimentos robustos como primera medida. no se puede inferir inmediatamente la existencia de una relación de causalidad entre las dos variables. Por ejemplo. Incluso cuando la estadística es correctamente aplicada. Sin embargo. 104 Métodos estadísticos Estudios experimentales y observacionales Un objetivo común para un proyecto de investigación estadística es investigar la causalidad. afectando las políticas sociales. el efecto de las diferencias de una variable independiente (o variables) en el comportamiento de una variable dependiente es observado. el estudio fue muy criticado por errores en los procedimientos experimentales. El uso de cualquier método estadístico es válido solo cuando el sistema o población bajo consideración satisface los supuestos matemáticos del método. específicamente la falta de un grupo control y seguimiento. Hay dos grandes tipos de estudios estadísticos para estudiar causalidad: estudios experimentales y observacionales. Los investigadores estaban interesados en si al incrementar la iluminación en un ambiente de trabajo. El mal uso de la estadística puede producir serios errores en la descripción e interpretación. La estadística matemática (también llamada teoría estadística) es la rama de las matemáticas aplicadas que usa la teoría de probabilidades y el análisis matemático para examinar las bases teóricas de la estadística. Un problema mayor es el de determinar que tan representativa es la muestra extraída. la práctica médica y la calidad de estructuras tales como puentes y plantas de reacción nuclear. Por ejemplo. manipular el sistema y luego tomar mediciones adicionales usando el mismo procedimiento para determinar si la manipulación ha modificado los valores de las mediciones.

los investigadores recogerían observaciones de fumadores y no fumadores y luego mirarían los casos de cáncer de pulmón en ambos grupos. se dispone de una unidad de medida para el efecto. intervalo y razón) tienen diferentes grados de uso en la investigación estadística. La escala de medida nominal. Las medidas nominales no tienen ningún rango interpretable entre sus valores. Los cuatro tipos de niveles de medición (nominal. cuyos parámetros se estiman mediante estadísticos a partir de los datos de muestreo. Los pasos básicos para un experimento son: • Planeamiento estadístico de la investigación. Esta escala. recurre a la propiedad de «orden» de los números. La escala de coeficientes o Razones es el nivel de medida más elevado y se diferencia de las escalas de intervalos iguales únicamente por poseer un punto cero propio como origen. • Se utiliza el modelo validado para tomar decisiones o predecir acontecimientos futuros. En este caso. Se produce un reporte final con los resultados del estudio. A iguales diferencias entre los números asignados corresponden iguales diferencias en el grado de atributo presente en el objeto de estudio. La escala de intervalos iguales está caracterizada por una unidad de medida común y constante. además de poseer las características de la escala ordinal. Se llega a un consenso acerca de qué dicen las observaciones acerca del mundo que observamos. • Inferencia estadística. Si se observa una carencia total de propiedad. en donde un valor cero y distancias entre diferentes mediciones son definidas. pero un orden interpretable para sus valores. ordinal. Sin embargo. selección de material disponible en el área y consideraciones éticas para la investigación y el método propuesto. La escala ordinal. pero un valor cero sin significado (como las mediciones de coeficiente intelectual o temperatura en grados Celsius). Se utiliza métodos estadísticos conocidos como test de hipótesis o prueba de significación. se mantiene lo que se denominan «hipótesis sostenidas» (que no son sometidas a comprobación). Se valida el modelo comparándolo con lo que sucede en la realidad. . Es importante destacar que el punto cero en las escalas de intervalos iguales es arbitrario. Se trata de agrupar objetos en clases.Estadística produce un análisis estadístico. Las medidas de razón. y no refleja en ningún momento ausencia de la magnitud que estamos midiendo. • Se producen estadísticas descriptivas. Las medidas ordinales tienen imprecisas diferencias entre valores consecutivos. puede considerarse la escala de nivel más bajo. es decir que el valor cero de esta escala significa ausencia de la magnitud que estamos midiendo. Se plantea un problema de estudio. Las medidas de intervalo tienen distancias interpretables entre mediciones. permite determinar la magnitud de los intervalos (distancia) entre todos los elementos de la escala. lo cual incluye encontrar fuentes de información. 105 Niveles de medición Hay cuatro tipos de mediciones o escalas de medición en estadística. Se propone un modelo de probabilidad. Se realiza un muestreo consistente en la recolección de datos referentes al fenómeno o variable que deseamos estudiar. dan la mayor flexibilidad en métodos estadísticos que pueden ser usados para analizar los datos. • Diseñar el experimento concentrándose en el modelo y la interacción entre variables independientes y dependientes. por su parte.

y la formación • Estadística en la comercialización o mercadotecnia . Estas disciplinas incluyen: • • • • • • • • • • • • • • • • • • • • • • • • Ciencias actuariales Física estadística Estadística industrial Estadística Espacial Matemáticas Estadística Estadística en Medicina Estadística en Medicina Veterinaria y Zootecnia Estadística en Nutrición Estadística en Agronomía Estadística en Planificación Estadística en Investigación Estadística en Restauración de Obras Estadística en Literatura Estadística en Astronomía Estadística en la Antropología (Antropometría) Estadística en Historia Estadística militar Geoestadística Bioestadística Estadísticas de Negocios Estadística Computacional Estadística en las Ciencias de la Salud Investigación de Operaciones Estadísticas de Consultoría • Estadística de la educación.Estadística 106 Técnicas de análisis estadístico Algunos tests y procedimientos para investigación de observaciones bien conocidos son: • • • • • • • • • • • • • • Prueba t de Student Prueba de χ² Análisis de varianza (ANOVA) U de Mann-Whitney Análisis de regresión Correlación Iconografía de las correlaciones Frecuencia estadística Análisis de frecuencia acumulada Prueba de la diferencia menos significante de Fisher Coeficiente de correlación producto momento de Pearson Coeficiente de correlación de rangos de Spearman Análisis factorial exploratorio Análisis factorial confirmatorio Disciplinas especializadas Algunos campos de investigación usan la estadística tan extensamente que tienen terminología especializada. la enseñanza.

empezaron a interesar en la comunidad hispana. Un dicho famoso. Lawrence . Es usada para entender la variabilidad de sistemas de medición. En estas aplicaciones es una herramienta clave. y probablemente la única herramienta disponible. Los sistemas dinámicos y teoría del caos. Ahora. encontrando maneras de interpretar los datos que sean favorables al presentador. con énfasis en gráficas malintencionadas. con un nuevo énfasis en estadísticas «experimentales» y «empíricas». los resultados pueden ser manipulados. Computación estadística El rápido y sostenido incremento en el poder de cálculo de la computación desde la segunda mitad del siglo XX ha tenido un sustancial impacto en la práctica de la ciencia estadística. También se estaba contemplando su uso en analítica. Un gran número de paquetes estadísticos está ahora disponible para los investigadores. mediante la eliminación selectiva de valores atípicos (outliers). control de procesos (como en control estadístico de procesos o SPC (CEP)). Viejos modelos estadísticos fueron casi siempre de la clase de los modelos lineales. El popular libro How to lie with statistics (‘cómo mentir con las estadísticas’) de Darrell Huff discute muchos casos de mal uso de la estadística. mentiras grandes y estadísticas». por ejemplo. El incremento en el poder computacional también ha llevado al crecimiento en popularidad de métodos intensivos computacionalmente basados en remuestreo. pues en la anglosajona de Estados Unidos estaba ya establecida la «conducta caótica en sistemas dinámicos no lineales» con 350 libros para 1997 y empezaban algunos trabajos en los campos de las ciencias sociales y en aplicaciones de la física. Críticas a la estadística Hay una percepción general de que el conocimiento estadístico es intencionado y frecuentemente mal usado. Al escoger (o rechazar o modificar) una cierta muestra. desde hace una década. tales como tests de permutación y de bootstrap. mientras técnicas como el muestreo de Gibbs han hecho los métodos bayesianos más accesibles.[2] es: «Hay tres tipos de mentiras: mentiras pequeñas. para compilar datos y para tomar decisiones. más específicamente en Análisis espacial Demografía Estadística en psicología (Psicometría) Calidad y productividad Estadísticas sociales (para todas las ciencias sociales) Cultura estadística Encuestas por Muestreo Análisis de procesos y quimiometría (para análisis de datos en química analítica e ingeniería química) Confiabilidad estadística Procesamiento de imágenes Estadísticas Deportivas 107 La estadística es una herramienta básica en negocios y producción. complejos computadores junto con apropiados algoritmos numéricos.Estadística • • • • • • • • • • • • • • • • • Cienciometría Estadística del Medio Ambiente Estadística en Epidemiología Minería de datos (aplica estadística y reconocimiento de patrones para el conocimiento de datos) Econometría (Estadística económica) Estadística en Ingeniería Geografía y Sistemas de información geográfica. han causado un renacer del interés en modelos no lineales (especialmente redes neuronales y árboles de decisión) y la creación de nuevos tipos tales como modelos lineales generalizados y modelos multinivel. al parecer de Benjamin Disraeli. La revolución en computadores tiene implicaciones en el futuro de la estadística. Este puede ser el resultado de fraudes o sesgos intencionales por parte del investigador (Darrel Huff[3] ).

sin embargo. en lugar del si-o-no de las pruebas de hipótesis y con la misma metodología estadística. Sin embargo. seguido por un estudio que dice que «hacer X no afecta la presión sanguínea». o estudios en muestras pequeñas que prometen resultados maravillosos que no son obtenibles en estudios de mayor tamaño. Edwards Deming • • • • • • • Bruno de Finetti Sir Ronald Fisher Sir Francis Galton Carl Friedrich Gauss William Sealy Gosset Andréi Kolmogórov Aleksandr Lyapunov • • • • • • • Abraham De Moivre Sir Isaac Newton Jerzy Neyman Florence Nightingale Blaise Pascal George Box Karl Pearson • • • • • Adolphe Quetelet C. Esta aproximación ha sido. Véase también críticas de prueba de hipótesis y controversia de la hipótesis nula. Otro tipo de aproximación es el uso de métodos bayesianos. Esto ayuda a interpretar los resultados. De nuevo. críticas de la aproximación de prueba de hipótesis se han incrementado en los años recientes. y la población comienza a dudar en la veracidad de tales estudios. ampliamente usada en muchos casos requeridos por ley o reglamentación.Estadística Lowell (decano de la Universidad de Harvard) escribió en 1909 que las estadísticas. 108 Estadísticos famosos • • • • • • • Thomas Bayes Pafnuti Chebyshov David Cox Gertrude Cox George Dantzig René Descartes W. Una posibilidad es reportar intervalos de confianza. El fuerte deseo de que los medicamentos buenos sean aprobados y que los medicamentos peligrosos o de poco uso sean rechazados crea tensiones y conflictos (errores tipo I y II en el lenguaje de pruebas de hipótesis). como el intervalo de confianza para un dado indicando simultáneamente la significancia estadística y el efecto de tamaño. A menudo los estudios se hacen siguiendo diferentes metodologías. Rao Walter Shewhart Charles Spearman John Tukey . R. Los resultados son presentados en un formato más detallado. especialmente con respecto a la aprobación de nuevos medicamentos por la Food and Drug Administration. Sin embargo. Una respuesta ha sido un gran énfasis en el p-valor en vez de simplemente reportar si la hipótesis fue rechazada al nivel de significancia dado. seguido por otro que dice que «hacer X incrementa la presión sanguínea». esto resume la evidencia para un efecto pero no el tamaño del efecto. Algunos estudios contradicen resultados obtenidos previamente. también criticada. «como algunos pasteles. En los campos de la psicología y la medicina. Se podría leer que un estudio dice (por ejemplo) que «hacer X reduce la presión sanguínea». Una diferencia que es altamente significativa puede ser de ninguna significancia práctica. sin embargo. y los medios de comunicación simplifican la información alrededor del estudio y la desconfianza del público comienza a crecer. son buenas si se sabe quién las hizo y se está seguro de los ingredientes». y puede también exagerar la importancia de pequeñas diferencias en estudios grandes. puesto que estos indican el tamaño del efecto y la incertidumbre. obligan una hipótesis a ser 'favorecida' (la hipótesis nula). las críticas más fuertes vienen del hecho que la aproximación de pruebas de hipótesis. muchos lectores no notan tales diferencias. El p valor y los intervalos de confianza son basados en los mismos cálculos fundamentales como aquellos para las correspondientes pruebas de hipótesis.

ISBN 0-521-83329-9. Making Decisions (2. No basta con una sola de estas características para definir un fractal. se repite a diferentes escalas. Melusina. Esta En la naturaleza también aparece la geometría fractal. Politicians. Understanding Probability: Chance Rules in Everyday life. Barcelona: Sagitario. que significa quebrado o fracturado. ISBN 84-933273-5-2. Ian (1990). Stephen M. • Se define mediante un simple algoritmo recursivo.ª ed. and activists. 1965 Bibliografía • Best. John Wiley & Sons. Damned Lies and Statistics: Untangling Numbers from the Media. • Stigler. Cambridge University Press. (1990). A un objeto geométrico fractal se le atribuyen las siguientes características:[2] • Es demasiado irregular para ser descrito en términos geométricos tradicionales. ISBN 0-674-40341-X.ª edición edición). Ed. University of California Press. Cambridge University Press. Alain (2004). Un fractal natural es un elemento de la naturaleza que puede ser descrito mediante la geometría fractal. Best atribuye este dicho a Disraeli. (1985). ISBN 0-471-90808-8.Estadística 109 Notas [1] Ver el trabajo de Ian Hacking en The emergence of probability para una historia del desarrollo del concepto de probabilidad matemática. aproximada o estadísticamente). pues a pesar de ser un objeto autosimilar carece del resto de características exigidas. D.[1] El término fue propuesto por el matemático Benoît Mandelbrot en 1975 y deriva del Latín fractus. las montañas. • Lindley. ISBN 0-520-21978-3.Wikcionario Fractal Un fractal es un objeto semigeométrico cuya estructura básica. como en esta romanescu. Damned lies and statistics: untangling numbers from the media. • Desrosières. politicians. Joel (2001). edición). • Tijms. Muchas estructuras naturales son de tipo fractal. Las nubes. ISBN 0-521-38884-8. and Activists. • Su dimensión de Hausdorff-Besicovitch es estrictamente mayor que su dimensión topológica. Henk (2004). Michel (1984). [3] Darrell Huff. del profesor Joel Best. V. Wikiquote Wikcionario tiene definiciones para estadística. • Es autosimilar (exacta. las líneas costeras[3] o los copos de nieve son fractales naturales. Belknap Press/Harvard University Press. Cómo mentir con estadísticas. • Hacking. Enlaces externos • • • Wikimedia Commons alberga contenido multimedia sobre Estadística. Le métier de statisticien (2. . Económica. [2] Cf. The Taming of Chance. la recta real no se considera un fractal. La política de los grandes números. el sistema circulatorio. • Volle. fragmentada o irregular. y no a Mark Twain u otros autores como se cree popularmente. Por ejemplo. ISBN 2-7178-0824-8. The History of Statistics: The Measurement of Uncertainty before 1900. Commons Wikiquote alberga frases célebres de o sobre Estadística.

Suele usarse un color especial. a menudo el negro. Helge von Koch definió una curva con propiedades similares a la de Weierstrass: el copo de nieve de Koch. La serie de figuras sucesivos pasos de la construcción de la curva de Koch obtenidas se aproximaba a una figura límite que correspondía al que hoy llamamos conjunto fractal. simplemente conjunto de Julia. Waclaw Sierpinski construyó su triángulo y. una "galería de monstruos". Ejemplos de conjuntos de Julia para . Al conjunto de valores de que no escapan al infinito mediante esta operación se le denomina conjunto de Julia relleno. Posteriormente aparecieron ejemplos con propiedades similares pero una definición más geométrica. fruto de los trabajos de Pierre Fatou y Gaston Julia en los años 1920. Estos conjuntos se representan mediante un algoritmo de tiempo de escape. y a su frontera. como el detalle infinito. pero eran vistos como objetos artificiales. en 1904. Pocos matemáticos vieron la necesidad de estudiar estos objetos en sí mismos. 110 Introducción La definición de fractal en los años 1970. Analicemos el caso particular de funciones polinómicas de grado mayor que uno. a la que se aplicaban una serie de construcciones geométricas sencillas. Construcción de la alfombra de Sierpinski: Paso 1 (semilla) Paso 2 Paso 3 Paso 4 Paso 5 Estos conjuntos mostraban las limitaciones del análisis clásico. tienen límites en el mundo natural. para representar los puntos que no han escapado tras un número grande y prefijado de iteraciones. Así. En 1915. Dichos ejemplos podían construirse partiendo de una figura inicial (semilla). cuyo grafo hoy en día consideraríamos fractal. surgen como resultado de la aplicación reiterada de funciones holomorfas .Fractal representación es aproximada. dio unidad a una serie de ejemplos.[4] En 1919 surge una herramienta básica en la descripción y medida de estos conjuntos: la dimensión de Hausdorff-Besicovitch. en que cada pixel se colorea según el número de iteraciones necesarias para escapar. pues las propiedades atribuidas a los objetos fractales ideales. su alfombra. Los conjuntos de Julia Estos conjuntos. Al aplicar sucesivas veces una función polinómica es muy posible que el resultado tienda a . un año después. como los denominó Poincaré. como ejemplo de función continua pero no diferenciable en ningún punto. algunos de los cuales se remontaban a un siglo atrás: Los ejemplos clásicos Para encontrar los primeros ejemplos de fractales debemos remontarnos a finales del siglo XIX: en 1872 apareció la función de Weierstrass.

A menudo la encontramos en fractales definidos por sistemas de funciones iteradas (IFS).2321i Familias de fractales: el conjunto de Mandelbrot La familia de conjuntos de Julia de funciones de la forma una variedad sorprendente. donde φ es el número áureo Conjunto de Julia relleno asociado a fc.[5] Los fractales pueden presentar tres tipos de autosimilitud: • Autosimilitud exacta. correspondiente a un valor del parámetro . llamado conjunto de Mandelbrot.835-0. . conjunto de Julia relleno asociado a fc. imagen del conjunto de Mandelbrot superpuesto con los conjuntos de Julia rellenos representados por algunos de sus puntos (en rojo los conjuntos de Julia conexos y en azul los no conexos). este es el tipo más restrictivo de autosimilitud: exige que el fractal parezca idéntico a diferentes escalas. c=(φ−2)+(φ−1)i =-0. Este conjunto M representa un mapa en que cada pixel. En concreto. un objeto es autosimilar o autosemejante si sus partes tienen la misma forma o estructura que el todo. asociadas a la reiteración presenta conjuntos de En negro. . Características de un fractal Autosimilitud Según B. c=-0. se colorea de modo que refleje una propiedad básica del conjunto de Julia asociado a . Dicha familia tendrá especial relevancia al quedar parametrizada en un mapa de fractales.6i Conjunto de Julia relleno asociado a fc. Mandelbrot. c=φ-2. popularizado en los años 1980. si el conjunto de Julia asociado a es conexo.4+0. aunque pueden presentarse a diferente escala y pueden estar ligeramente deformadas.Fractal 111 En negro.

el vuelo de Lévy. Su definición no suele usarse para comparar conjuntos del mundo real.Sullivan definió el concepto de conjunto cuasiauto-similar a partir del concepto de cuasi-isometría. deterministas: el movimiento browniano. la curva de Peano. Los números que nos informan objetivamente de este tipo de cuestiones son: • La dimensión fractal. podríamos preguntarnos cómo densamente un conjunto ocupa el espacio métrico que lo contiene. la dimensión topológica de la curva. la curva del dragón. nubes. árboles. • Fractales aleatorios. Éstos últimos son producidos por procesos de agregación por difusión limitada. Autosimilitud estadística de un fractal generado por el .Fractal 112 • Cuasiautosimilitud: exige que el fractal parezca aproximadamente idéntico a diferentes escalas..2). son algunos ejemplos. que es uno. Podemos medir la dimensión fractal de objetos reales: líneas de la costa (1. • Fractales de algoritmos de Escape. el plano complejo): el conjunto de Mandelbrot. no nos informa sobre la forma en que esta ocupa el espacio ambiente. Con estas medidas podemos comparar objetos del mundo real con fractales generados por algoritmos matemáticos. Matemáticamente Cuasiautosimilitud en el conjunto de Mandelbrot: al variar la escala obtenemos copias del conjunto con pequeñas diferencias. Los fractales definidos por relaciones de recurrencia son normalmente de este tipo. D. los paisajes fractales o los árboles brownianos. el copo de nieve de Koch o la Esponja de Menger. la alfombra de Sierpinski. etc. Los fractales de este tipo contienen copias menores y distorsionadas de sí mismos. • Autosimilitud estadística. Los fractales aleatorios son ejemplos de fractales de este tipo. y el fractal de Lyapunov. Es el tipo más débil de autosimilitud: se exige que el fractal tenga medidas numéricas o estadísticas que se preserven con el cambio de escala. cuando las dimensiones de unas y otras tienden a cero. generados por procesos estocásticos. Las fórmulas que la definen tienen que ver con el recuento de las bolas necesarias para recubrir el conjunto o con el de cajas de una cuadrícula que contienen parte del conjunto. • La dimensión de Hausdorff-Besicovitch. definidos por una relación de recurrencia en cada punto del espacio (por ejemplo. Unos conjuntos se reemplazan recursivamente por su imagen bajo un sistema de aplicaciones: el conjunto de Cantor. Definición por algoritmos recursivos Podemos destacar tres técnicas comunes para generar fractales: • Sistemas de funciones iteradas (IFS). En ese caso. Tiene una definición más compleja que la de dimensión fractal. el triángulo de Sierpinski. Dimensión fractal y dimensión de Hausdorff-Besicovitch Entre los fractales podemos encontrar ejemplos como curvas que llenan todo el plano. no proceso de agregación por difusión limitada. De modo general. conjunto de Julia.

Mandelbrot.Fractal 113 Aspectos matemáticos Intentos de definición rigurosa El concepto de fractal no dispone en el año 2008 de una definición matemática precisa y de aceptación general. Él mismo reconoció que su definición no era lo suficientemente general. y que ambas pueden calcularse como . cuya relación con la dimensión fractal es la siguiente: .[6] Dimensión de Hausdorff-Besicovitch De una definición más compleja. Sullivan. que definió matemáticamente una de las categorías de fractales con su definición de conjunto cuasiautosimilar que hacía uso del concepto de cuasi-isometría. se demuestra que solución de la ecuación: donde ci designa el factor de contracción de cada aplicación contractiva del IFS. Intentos parciales de dar una definición fueron realizados por: • B. que en 1982 definió fractal como un conjunto cuya dimensión de Hausdorff-Besicovitch es estrictamente mayor que su dimensión topológica. O en función del recuento del número de cajas de una cuadrícula de anchura que intersecan al conjunto: Se demuestra que ambas definiciones son equivalentes. Dimensión de fractales producidos por un IFS En ese caso. Esto permite distinguir en algunos casos entre conjuntos con la misma dimensión fractal. cuando no haya solapamiento. • D. Dimensión fractal Puede definirse en términos del mínimo número como el límite: de bolas de radio necesarias para recubrir el conjunto. la dimensión de Hausdorff-Besicovitch nos proporciona un número también invariante bajo isometrías. y que son invariantes bajo isometrías.

No obstante. Compresión de imágenes Comprimir la imagen de un objeto autosemejante como el helecho de la figura no es difícil: haciendo uso del teorema del collage.Fractal 114 Aplicaciones Se han utilizado técnicas de fractales en la compresión de datos y en diversas disciplinas científicas. y sin embargo cualitativamente no es lo mismo una hoja (forma biológica simple). a su vez. que una rama o un árbol (forma biológica compleja). La compresión. aunque dependa de muchos factores. una vez encontradas. debemos encontrar un IFS. La información sobre la imagen quedará codificada en el IFS. de tiempo asimétrico. como las hojas Fracción de un fractal Mandelbrot. y la aplicación reiterada de dichas transformaciones permite obtener la imagen procesada en cuestión. las formas en la que las partes se asemejan al todo. Lamentablemente aún se tarda mucho en encontrar las transformaciones que definen la imagen. es decir posibilitan catástrofes (hechos extraordinarios) que dan lugar a nuevas realidades más complejas. . Pero el enfoque anterior plantea problemas con muchas imágenes reales: no esperamos. conjunto de transformaciones que lleva la figura completa (en negro) en cada una de sus partes autosemejantes (rojo. presentan una forma similar a la rama. que la imagen de un gato presente pequeños gatitos distorsionados sobre sí mismo. que a su vez es similar a la forma del árbol. Para solventarlo. azul celeste y azul marino). suele ser equiparable a la compresión JPEG. como las formas más sofisticadas en el desarrollo evolutivo de la materia biológica en cuanto que se presentan en procesos en los que se producen saltos cualitativos en las formas biológicas.[7] El esquema resultante es un sistema de compresión con pérdidas. Modelado de formas naturales Las formas fractales. están presentes en la materia biológica. junto con las simetrías (las formas básicas que solo necesitan la mitad de información genética) y las espirales (Las formas de crecimiento y desarrollo de la forma básica hacia la ocupación de un mayor espacio). la descodificación es muy rápida. en 1989 Arnaud Jacquin creó el esquema de sistemas de funciones iteradas particionadas: en él se subdivide la imagen mediante una partición y para cada región resultante se busca otra región similar a la primera bajo las transformaciones apropiadas. con lo cual el factor tiempo resulta determinante para decantarse por uno u otro sistema. por ejemplo. que presentan una morfología similar a la pequeña rama de la que forman parte que.

Las evoluciones dinámicas de todos estos ciclos presentan las similitudes propias de los sistemas caóticos. ISBN 84-7423-853-6. Crítica. 1993. el ritmo puede ser trabajado en sucesiones temporales específicas. cambiando parámetros. Véase también • • • • • • • • Anexo:Fractales por dimensión de Hausdorff Caos y fractales ¿Cuánto mide la costa de Gran Bretaña? Dimensión Paisaje fractal Recursividad Sistema de funciones iteradas Sistema-L Referencias [1] Benoît Mandelbrot. 1992 Page(s):18 .. Esto se debe al uso de lo que en composición se llaman "micromodos". ISBN 0-470-84862-6. Mandelbrot. (Cap 5) [7] Jacquin. ISBN 978-84-7223-458-1 [6] Barnsley. Tusquets. Image Processing.Academic Press Inc. que son determinadas por sucesiones de fractales. Ian. Fractals everywhere.. Imagen generada con el programa Apophysis. Forma. Los objetos fractales. Issue 1. [5] B. S.A. 1998.Image coding based on a fractal theory of iterated contractive image transformations. Un atractor extraño: el Atractor de Lorenz. John Wiley & Sons. XXV.. A su vez. o pequeños grupos de 3 notas. Tusquets Editores.. geometría de triángulos o con transformaciones aleatorias (a veces llamadas "mutaciones"). En manifestaciones artísticas Se usan tanto en la composición armónica y rítmica de una melodía como en la síntesis de sonidos.30 . [3] ¿Cuánto mide la costa de Gran Bretaña? [4] Stewart. pp.A. Dinámica que consta de ciclos (en los que partiendo de una realidad establecida simple acaban en la creación de una nueva realidad más compleja) que a su vez forman parte de ciclos más complejos los cuales forman parte del desarrollo de la dinámica de otro gran ciclo. Con programas informáticos como Apophysis o Ultra Fractal se pueden hacer imágenes con técnicas diversas. Jan. De aquí al infinito. ISBN 84-8310-549-7 [2] Falconer. Fractal Geometry: Mathematical Foundations and Applications. A. ISBN 0-12-079062-9. IEEE Transactions on Volume 1. Kenneth (2003). M. Grijalbo Mondadori.Fractal 115 Sistemas dinámicos Pero además las formas fractales no sólo se presentan en las formas espaciales de los objetos sino que se observan en la propia dinámica evolutiva de los sistemas complejos (ver teoría del caos). S. Ltd. a partir de los cuales uno puede trabajarlos de manera horizontal (melódica). o vertical (armónica).E. azar y dimensión. 1988. La Geometría Fractal de la Naturaleza.

sdboyd56.es/ cedecom-ext/noticia.apophysis.com/complex.dmoz. • Incendia (http://www.ua.org/art/es/what_es1.net/) zoomer interactivo de fractales para linux.com/xfractint/index.es/~japerez/pub/pdf/mfsc2000.sourceforge.html) Fractal de Mandelbrot (en inglés). • Armonia fractal de Doñana y las marismas (http://www.fractalia.triumf.hu/index.asp?id=765) . Windows y existe un porte a Linux (http://www.html) disponible.html) Programa de código abierto para la creación de fractales (en inglés) • IFS Illusions (http://illusions.com) Bellas imágenes aéreas de fractales naturales en las zonas húmedas del sur de España.net/) programa de diseño de fractales 3D donationware.Fractal 116 Enlaces externos • Fractovía (http://www.dlsi.php?task=16&lang=3&sort=3) generador IFS freeware.incendia.org/Science/Math/ Chaos_and_Fractals/Fractal_Art/) • Música fractal en el Open Directory Project (http://www. para DOS.dlsi.com.pdf) Analiza la aplicación de técnicas fractales a la compresión con pérdidas de imágenes Software • Borlandia (http://www. para Windows • FractInt (http://spanky.shtml) Información sobre fractales.pdf) Introducción general sobre fractales y aplicación a la composición automática de música • Codificación fractal de imágenes (http://www. • WMANJUL v2 (http://www.ca/www/fractint/fractint.es/~japerez/pub/pdf/mastertesi1998.net/fractals) Applets en java que generan Fractales interactivos • Apophysis (http://www. Casa de la Ciencia. Canal Sur 2 Andalucía (http://www.org/Arts/Music/Styles/E/Experimental/ Fractal_Music/) • Museo de Arte Fractal de Argentina (http://www. CSIC. (en inglés) • XaoS (http://xaos.ray.borlandia.masmcode.ar) Libros con licencia CC • Música fractal: el sonido del caos (http://www.cedecom.armoniafractal. Vídeos • Documental reportaje "Armonía Fractal" del Programa Tesis.dmoz.org/index.fractovia.html) generador fractal freeware. • Wikimedia Commons alberga contenido multimedia sobre fractalesCommons Arte fractal • Galerías de arte fractal en el Open directory Project (http://www.ua.

Teoría del caos 117 Teoría del caos Teoría del caos es la denominación popular de la rama de las matemáticas. Pero en el caso de los sistemas caóticos. • Inestables. la física y otras ciencias que trata ciertos tipos de sistemas dinámicos muy sensibles a las variaciones en las condiciones iniciales. De un sistema del que se conocen sus ecuaciones características. Ejemplos de tales sistemas incluyen el Sistema Solar. existe un atractor por el que el sistema se ve atraído. se puede conocer exactamente su evolución en el tiempo. Clasificación Los sistemas dinámicos se pueden clasificar básicamente en: • Estables. los fluidos en régimen turbulento y los crecimientos de población. el sistema permanece confinado en una zona de su espacio de estados. complicando la predicción a largo plazo. Y un sistema caótico manifiesta los dos comportamientos. su comportamiento está completamente determinado por sus condiciones iniciales. De esa manera. Una de las mayores características de un sistema inestable es que tiene una gran dependencia de las condiciones iniciales. es decir. Un sistema estable tiende a lo largo del tiempo a un punto. Por un lado. Esto sucede aunque estos sistemas son deterministas. y con unas condiciones iniciales fijas. pero sin tender a un atractor fijo. Pequeñas variaciones en dichas condiciones iniciales. Un sistema inestable se escapa de los atractores. u órbita. una mínima diferencia en esas condiciones hace que el sistema evolucione de manera totalmente distinta. La forma que crecen los cristales de hielo es otra muestra de un sistema caótico. pero a la vez. las placas tectónicas. hay "fuerzas" que lo alejan de éste. [1] . según su dimensión (atractor o sumidero). σ = 10. b = 8/3. • Caóticos. pueden implicar grandes diferencias en el comportamiento futuro. Diagrama de la trayectoria del sistema de Lorenz para los valores r = 28.

. y un sistema en movimiento periódico será dibujado como un círculo. son los movimientos e inconvenientes varios que se le pueden presentar al objeto para efectuar este recorrido. uno de los diagramas de sistemas caóticos más conocidos. el movimiento no es completamente aleatorio. Estos nombres se relacionan exactamente con el tipo de movimiento que provocan en los sistemas. un sistema en reposo será dibujado como un punto. Ambos. Julia puede ser sin embargo un atractor extraño. Otros sistemas dinámicos discretos tienen una estructura repelente de tipo Conjunto de Julia la cual se forma en el límite entre las cuencas de dos puntos de atracción fijos. que hay un atractor. sino que ésta se encuentra errada alrededor de algún movimiento bien definido. por ejemplo. puede guiar el movimiento de un péndulo en oscilaciones periódicas. o cualquier tipo de movimiento. En cambio. Los atractores son los encargados de que las variables que inician en un punto de partida mantengan una trayectoria establecida. saber la configuración del sistema en un momento dado no permite predecir con veracidad su configuración en un momento posterior. Por ejemplo. Los atractores extraños están presentes tanto en los sistemas continuos dinámicos (tales como el sistema de Lorenz) como en algunos sistemas discretos (por ejemplo el mapa Hènon). atractores extraños y atractores tipo Conjunto de Julia. tal restricción no se aplica a los sistemas discretos. En tal diagrama el tiempo es implícito y cada eje representa una dimensión del estado. casi-periódicos y extraños. y lo que no se puede establecer de una manera precisa son las oscilaciones que las variables puedan tener al recorrer las órbitas que puedan llegar a establecer los atractores. El atractor de Lorenz es. Cuando esto sucede se dice que el sistema es atraído hacia un tipo de movimiento. El teorema de Poincaré-Bendixson muestra que un atractor extraño sólo puede presentarse como un sistema continuo dinámico si tiene tres o más dimensiones. En la mayoría de sistemas dinámicos se encuentran elementos que permiten un tipo de movimiento repetitivo y. Algunas veces el movimiento representado con estos diagramas de fases no muestra una trayectoria bien definida. tales como puntos y curvas circulares llamadas ciclos límite. atractores que pueden llegar a tener una enorme complejidad como. es posible ver y de cierta manera prever la trayectoria de un satélite alrededor de la Tierra. Atractores extraños La mayoría de los tipos de movimientos mencionados en la teoría anterior sucede alrededor de atractores muy simples. Un atractor periódico. lo que aparece en este caso como algo indeterminado. Sin embargo. De acuerdo a la forma en que sus trayectorias evolucionen. quizá. que lleva al famoso atractor de Lorenz. es decir. pues desenvuelve una forma muy peculiar más bien parecida a las alas de una mariposa. tienen típicamente una estructura fractal. De todos modos. geométricamente establecido. los atractores pueden ser clasificados como periódicos. el movimiento caótico está ligado a lo que se conoce como atractores extraños. los cuales pueden exhibir atractores extraños en sistemas de dos o incluso una dimensión. no sólo porque fue uno de los primeros. Por ejemplo.Teoría del caos 118 Atractores Una manera de visualizar el movimiento caótico. por ejemplo. sin embargo. Algo más de atractores Los atractores extraños son curvas del espacio de las fases que describen la trayectoria elíptica de un sistema en movimiento caótico. es hacer un diagrama de fases del movimiento. sino también porque es uno de los más complejos y peculiares. el péndulo seguirá trayectorias erráticas alrededor de estas oscilaciones debidas a otros factores menores. a veces. Un sistema de estas características es plenamente impredecible. el modelo tridimensional del sistema climático de Lorenz.

Teoría del caos

119

Aplicaciones
La Teoría del Caos y la matemática caótica resultaron ser una herramienta con aplicaciones a muchos campos de la ciencia y la tecnología. Gracias a estas aplicaciones el nombre se torna paradójico, dado que muchas de las prácticas que se realizan con la matemática caótica tienen resultados concretos porque los sistemas que se estudian están basados estrictamente con leyes deterministas aplicadas a sistemas dinámicos. En Internet se desarrolla este concepto en Teoría del Caos, el tercer paradigma, de cómo la estadística inferencial trabaja con modelos aleatorios para crear series caóticas predictoras para el estudio de eventos presumiblemente caóticos en las Ciencias Sociales. Por esta razón la Teoría del Caos ya no es en sí una teoría: tiene postulados, fórmulas y parámetros recientemente establecidos con aplicaciones, por ejemplo, en las áreas de la meteorología o la física cuántica, y actualmente hay varios ejemplos de aplicación en la arquitectura a través de los fractales, por ejemplo el Jardín Botánico de Barcelona de Carlos Ferrater.

En meteorología
El tiempo atmosférico (no confundir con el clima), además de ser un sistema dinámico, es muy sensible a los cambios en las variables iniciales, es un sistema transitivo y también sus órbitas periódicas son densas, lo que hace del tiempo un sistema apropiado para trabajarlo con matemática caótica. La precisión de las predicciones meteorológicas es relativa, y los porcentajes anunciados tienen poco significado sin una descripción detallada de los criterios empleados para juzgar la exactitud de una predicción. Al final del siglo XX se ha vuelto común atribuirles una precisión de entre 80 y 85% en plazos de un día. Los modelos numéricos estudiados en la teoría del caos han introducido considerables mejoras en la exactitud de las previsiones meteorológicas en comparación con las predicciones anteriores, realizadas por medio de métodos subjetivos, en especial para periodos superiores a un día. En estos días es posible demostrar la confiabilidad de las predicciones específicas para periodos de hasta cinco días gracias a la densidad entre las orbitas periódicas del sistema, y se han logrado algunos éxitos en la predicción de variaciones anormales de la temperatura y la pluviosidad para periodos de hasta 30 días. • Artículos sobre teorías en la wikipedia [2]

Referencias
[1] « Análisis Computacional de Modelos Biológicos para su Aplicación a Modelos Económicos (http:/ / www. scielo. cl/ scielo. php?script=sci_abstract& pid=S0718-50062009000500003& lng=es& nrm=iso& tlng=es)». CIT Internacional. [2] http:/ / es. wikipedia. org/ w/ index. php?title=Especial%3APrefixIndex& from=Teor%C3%ADa& namespace=0

Bibliografía en inglés
• Moon, Francis (1990). Chaotic and Fractal Dynamics. Springer-Verlag New York, LLC. ISBN 0-471-54571-6. • Ott, Edward (2002). Chaos in Dynamical Systems. Cambridge University Press New, York. ISBN 0-521-01084-5. • Gutzwiller, Martin (1990). Chaos in Classical and Quantum Mechanics. Springer-Verlag New York, LLC. ISBN 0-387-97173-4. • Hoover, William Graham (1999,2001). Time Reversibility, Computer Simulation, and Chaos. World Scientific. ISBN 981-02-4073-2. • González-Miranda, J. M. (2004). Synchronization and Control of Chaos. An introduction for scientists and engineers. Imperial College Press. ISBN 1-86094-488-4.

Teoría del caos

120

Enlaces externos
• Teoría del Caos (http://bolsasistemas.com/2009/11/14/teoria-del-caos-ondas-de-elliot-serie-de-fibonacci/) Interesante artículo escrito por Óliver Guirado Martínez, un broker que aplica la teoría del caos a los movimientos en la bolsa de valores. • Artículo divulgativo sobre el creciente aporte de la Teoría del Caos en Medicina (http://www.divulgauned.es/ spip.php?article168) Servicio de divulgación científica DivulgaUNED (Universidad Nacional de Educación a Distancia de España, Octubre 2009). • (https://groups.google.com/group/metodologia-de-investigacion-compleja/web/ teoria-del-caos-caologia?version=10&hl=es&pli=1) Grupoo Google sobre Teoria del Caos y Caologia, a cargo del Profesor de Metodologia colombiano Juan Pablo Galeano Rey • Alcances y limitaciones de la Teoría del Caos aplicada al análisis del Comportamiento Organizacional, Cultural y la necesidad del cambio (http://cybertesis.upc.edu.pe/upc/2003/tejada_dj/html/sdx/tejada_dj.html) De la Universidad Peruana de Ciencias Aplicadas

Autómata celular
Un autómata celular (A.C.) es un modelo matemático para un sistema dinámico que evoluciona en pasos discretos. Es adecuado para modelar sistemas naturales que puedan ser descritos como una colección masiva de objetos simples que interactúen localmente unos con otros. Son sistemas descubiertos dentro del campo de la física computacional por John von Neumann en la década de 1950. La teoría de los autómatas celulares se inicia con su precursor John von Neumann a finales de los década de 1940 con su libro Theory of Self-reproducing Automata (editado y completado por A. W. Burks).

Aunque John von Neumann puso en práctica los AA.CC., estos fueron concebidos en los años 40 por Konrad Zuse y Stanislaw Ulam. Zuse pensó en los “espacios de cómputo” (computing spaces), como modelos discretos de sistemas físicos. Las contribuciones de Ulam vinieron al final de los 40, poco después de haber inventado con Nicholas Metropolis el Método de Montecarlo.

Animación del juego de la vida de Conway, un autómata celular.

Descripción
No existe una definición formal y matemática aceptada de Autómata Celular; sin embargo, se puede describir a un A.C. como una tupla, es decir, un conjunto ordenado de objetos caracterizado por los siguientes componentes: • Una rejilla o cuadriculado (lattice) de enteros (conjunto ) infinitamente extendida, y con dimensión

. Cada celda de la cuadrícula se conoce como célula. • Cada célula puede tomar un valor en a partir de un conjunto finito de estados . • Cada célula, además, se caracteriza por su vecindad, un conjunto finito de células en las cercanías de la misma. • De acuerdo con esto, se aplica a todas las células de la cuadrícula una función de transición ( ) que toma como argumentos los valores de la célula en cuestión y los valores de sus vecinos, y regresa el nuevo valor que la célula tendrá en la siguiente etapa de tiempo. Esta función se aplica, como ya se dijo, de forma homogénea a todas las células, por cada paso discreto de tiempo.

Autómata celular

121

Condiciones de frontera
Por definición, un A.C. consiste de una retícula infinita de enteros. Sin embargo, para cuestiones prácticas (como en modelos de sistemas físicos llevados a cabo en ordenadores de memoria finita), se requiere tomar ciertas consideraciones a la hora de implementar un A.C. Por ello, la definición original se modifica para dar cabida a retículas finitas en las que las células del A.C. interactúen. Esto conlleva la consideración extra de lo que debe de suceder con aquellas células que se encuentren en los bordes de la retícula. A la implementación de una o varias consideraciones específicas se le conoce como condición de frontera.

Topología del autómata celular de 2D plegado en 3D para el caso de frontera periódica.

Dentro del ámbito de los A.C., se pueden implementar numerosas condiciones de frontera, en función de lo que el problema real requiera para su modelado. Por ejemplo: • Frontera abierta. Se considera que fuera de la lattice residen células, todas con un valor fijo. En el caso particular del juego de la vida y de otros A.C. con dos estados en su conjunto , una frontera se dice fría si las células fuera de la frontera se consideran muertas, y caliente si se consideran vivas. • Frontera periódica. Se considera a la lattice como si sus extremos se tocaran. En una lattice de dimensión 1, esto puede visualizarse en dos dimensiones como una circunferencia. En dimensión 2, la lattice podría visualizarse en tres dimensiones como un toroide. • Frontera reflectora. Se considera que las células fuera de la lattice "reflejan" los valores de aquellas dentro de la lattice. Así, una célula que estuviera junto al borde de la lattice (fuera de ella) tomaría como valor el de la célula que esté junto al borde de la lattice, dentro de ella. • Sin frontera. Haciendo uso de implementaciones que hagan crecer dinámicamente el uso de memoria de la lattice implementada, se puede asumir que cada vez que las células deben interactuar con células fuera de la lattice, esta se hace más grande para dar cabida a estas interacciones. Obviamente, existe un límite (impuesto por la memoria disponible) para esta condición. Es muy importante no confundir esta condición de frontera con la definición original de A.C. cuya lattice es inicialmente infinita. En el caso de un A.C. sin frontera, la lattice comienza con un tamaño definido y finito, y conforme se requiera va creciendo en el tiempo, lo cual no lo hace necesariamente un modelo más cercano a la realidad, pues si se inicializara la lattice aleatoriamente, con esta condición sólo se pueden inicializar las células dentro de la lattice inicial finita, mientras que en el caso de la definición original, en teoría todas las células de la lattice infinita deberían ser inicializadas.

Variaciones
Los A.C. pueden variar en alguna de las características antes mencionadas, derivando en autómatas celulares no estándar. Por ejemplo, un A.C. estándar tiene una cuadrícula donde se asume que las células son cuadros; es decir, que la retícula tiene una geometría cuadrada. Esto no es necesariamente un requisito, y se puede variar el A.C. para presentar una geometría triangular o hexagonal (en A.C. de 2 dimensiones, el cuadrado, el triángulo y el hexágono son las únicas figuras geométricas que llenan el plano). También puede variarse el conjunto de estados que cada célula puede tomar, la función de transición de forma

que ya no sea homogénea, utilizar elementos estocásticos (aleatoriedad) en probabilístico), variar las vecindades de cada célula, etc.

(lo que se conoce como A.C.

exhibe diferentes comportamientos para diferentes condiciones iniciales. unidimensionales. un AC pertenece a una de las siguientes clases: • Clase I. dada una regla. Supervivencia: una célula viva permanecerá en ese estado si tiene 2 o 3 vecinos vivos. John Horton Conway dio a conocer el autómata celular que probablemente sea el más conocido: el Juego de la vida (Life).[2] Life ocupa una cuadrícula (lattice bidimensional) donde se coloca al inicio un patrón de células "vivas" o "muertas". la célula en cuestión y sus células vecinas más próximas.C. Una de las características más importantes de Life es su capacidad de realizar cómputo universal. La evolución lleva a estructuras aisladas que muestran un comportamiento complejo (es decir. • Clase IV.C.C.[1] quien una vez terminada su participación en el desarrollo y terminación de la primera computadora "ENIAC" tenía en mente desarrollar una máquina con la capacidad de construir a partir de sí misma otras máquinas (auto-reproducción) y soportar comportamiento complejo. La evolución lleva a un patrón caótico. este suele ser el tipo de . arriba. Era de Stephen Wolfram Stephen Wolfram[3] ha realizado numerosas investigaciones sobre el comportamiento cualitativo de los A. que con una distribución inicial apropiada de células vivas y muertas. Con base en su trabajo sobre AC unidimensionales. 2. publicado por Martin Gardner en su columna Mathematical Games en la revista Scientific American. Muerte: se reemplaza una célula viva por una muerta si dicha célula no tiene más de 1 vecino vivo (muerte por aislamiento) o si tiene más de 3 vecinos vivos (muerte por sobrepoblación).C. Era de Von Neumann La primera etapa la inicia von Neumann. • Clase III. ni completamente ordenado. von Neumann implementa la teoría de los autómatas celulares en un vector de dos dimensiones (donde representa el conjunto de los enteros). con dos o tres estados. la era de Martin Gardner y la era de Stephen Wolfram. respectivamente). La función de transición que determina el comportamiento del autómata celular utiliza la vecindad de von Neumann.Autómata celular 122 Historia La historia de los autómatas celulares puede ser clasificada en tres etapas asociadas a los nombres de los científicos que en cada momento marcaron un punto de inflexión en el desarrollo de la teoría: la era de Von Neumann. 3. abajo. Life se puede convertir en una computadora de propósito general (máquina de Turing). el A. sobre configuraciones periódicas que se presentan en el A. La vecindad para cada célula son los ocho vecinos formados por la vecindad de Von Neumann y las cuatro células de las dos diagonales (esta vecindad se conoce como vecindad de Moore). es decir. Wolfram clasificó el comportamiento cualitativo de los A. Así. observó sus evoluciones para configuraciones iniciales aleatorias. La evolución lleva a una configuración estable y homogénea. y (es decir. izquierda y derecha. se aplican simultáneamente sobre todas las células de la cuadrícula las siguientes 3 reglas: 1. que consiste en un elemento central (llamada célula central) y sus vecinos que son las células . Era de Martin Gardner En 1970. • Clase II. sino en la línea entre uno y otro.. todas las células terminan por llegar al mismo valor. De acuerdo con esto. es decir. De esta manera. . El vector es llamado el espacio de evoluciones y cada una de las posiciones (llamadas células) en el vector toma un valor del conjunto de estados . Nacimiento: se reemplaza una célula muerta por una viva si dicha célula tiene exactamente 3 vecinos vivos. De manera repetida. La evolución lleva a un conjunto de estructuras simples que son estables o periódicas. Con la ayuda de su amigo Stanislaw Ulam. ni completamente caótico.

• Modelado de la evolución de células o virus como el VIH. Autómata celular generado con la regla 30. • Modelado de procesos de percolación.C.Autómata celular comportamiento más interesante que un sistema dinámico puede presentar). De hecho. con un vecindario constituido. Consideremos el AC definido por la tabla siguiente. luego existen 256 AC diferentes de este tipo. cualquier sistema real al que se le puedan analogar los conceptos de "vecindad". de ella misma y de las dos células adyacentes (23=8 configuraciones posibles). 123 Aplicaciones Los autómatas celulares pueden ser usados para modelar numerosos sistemas físicos que se caractericen por un gran número de componentes homogéneos y que interactúen localmente entre sí. "estados de los componentes" y "función de transición" es candidato para ser modelado por un A.C. espacio o ambos (dependiendo de la variante de la definición de A. que se use). para cada célula. • Modelado de fluidos (gases o líquidos). Algunos ejemplos de áreas en donde se utilizan los autómatas celulares son: • Modelado del flujo de tráfico y de peatones. Las características de los autómatas celulares harán que dichos modelos sean discretos en tiempo. que nos da la regla de evolución: Motivo inicial Valor siguiente de la célula central 111 110 101 100 011 010 001 000 0 0 0 1 1 1 1 0 . El caparazón de Conus textile muestra un patrón caracterizable en términos de autómatas celulares. Ejemplos de Autómatas Celulares AC de una dimensión El AC no trivial más simple consiste en una retícula unidimensional de células que sólo pueden tener dos estados (« 0 » o « 1 »). Existen 28=256 modos de definir cuál ha de ser el estado de una célula en la generación siguiente para cada una de estas configuraciones.

mx/comun/ tesismaestria/rene/tesisReneHtml/Tesis.sc. American Mathematical Society.cse. ed. World Scientific.infotech.org/wiki/index.edu/xJava/CA/) • Una introducción a los Autómatas Celulares (http://yupana.mx/~mcintosh/oldweb/s1996/ponse/reporte.pl/ca/) Modern Cellular Automata (http://www.psigenics. Urbana.uk/ cellularAutomata/automaton. Univ. vols. A New Kind of Science. Wolfram. Singapur Bibliografía • S.html) • Autómata Celular (http://delta.net) .cinvestav. EU.autonoma.opus.google.Licencia GPL Watch 16.ci. 3 y 5.collidoscope.chelm.ulsa. IL [2] Gardner. 2002 • B.com/View?docid=d7htvkt_42gkzgp4) Software • • • • • • • • Discrete Dynamics Lab (http://www. What's happening in the Mathematical Sciences. Cipra. 256 and 512 cellular automata grow in your browser (http://www.html) • Autómatas Celulares (http://axxon.au/simulations/cellular-automata/) .edu. M.monash.ar/zap/278/c-Zapping0278.Software libre para desarrollar AC artísticos y otros sistemas dinámicos. • Colección de 10 AC (http://vlab. 2002 Véase también • Emergencia (filosofía) • Máquina de Turing • Teoría de autómatas Enlaces externos • Cellular Automata And the Edge of Chaos (inglés) (http://math. Scientific American [3] Wolfram (1986). Theory and Application of Cellular Automata.edu.sourceforge.com/cellauto) EvoCell (http://kybernet. pentagonales y hexagonales (http://www.mirwoj.html) • Autómata de Modelo Electromagnético (http://docs.edu/~bays/CAhomePage) Generador virtual de AC (http://kidojo.co/publicaciones/yupana/005/ autocelular/Automatas.cs.com/) Mirek's Cellebration (http://www. (1970) Mathematical Games: The fantastic combinations of John Conway's new solitaire game "Life". 1996.Autómata celular 124 Referencias [1] von Neumann.org/postdocs/sayama/sdsr/java/) AC triangulares.htm) • Modelación de flujo de tránsito de autos utilizando autómatas celulares (http://cellular.ddlab. of Illinois Press. J.com/modernca/) Loops autoreplicantes en el espacio celular (http://necsi.htm) • Prenzl!! Artistic Cellular Automata (http://prenzl.com.hws.co. (1966)The Theory of Self-reproducing Automata.php/EvoCell) .

wikipedia.org/w/index.org/w/index.org/w/index.org/w/index.php?oldid=49518424  Contribuyentes: Fractal  Fuente: http://es.php?oldid=49161707  Contribuyentes: Teoría del caos  Fuente: http://es.php?oldid=49450258  Contribuyentes: Geometría analítica  Fuente: http://es.org/w/index.org/w/index.wikipedia.wikipedia.org/w/index.wikipedia.wikipedia.php?oldid=49552890  Contribuyentes: Aritmética modular  Fuente: http://es.php?oldid=49447796  Contribuyentes: Teoría de la computabilidad  Fuente: http://es.wikipedia.php?oldid=35721806  Contribuyentes: Integración  Fuente: http://es.php?oldid=49552637  Contribuyentes: Óptica  Fuente: http://es.wikipedia.php?oldid=49289623  Contribuyentes: Código binario  Fuente: http://es.wikipedia.php?oldid=49561873  Contribuyentes: Autómata celular  Fuente: http://es.wikipedia.php?oldid=47389565  Contribuyentes: Transformada de Fourier  Fuente: http://es.php?oldid=28779557  Contribuyentes: Criptografía  Fuente: http://es.php?oldid=49613792  Contribuyentes: Derivación numérica  Fuente: http://es.wikipedia.org/w/index.php?oldid=49542396  Contribuyentes: Cero  Fuente: http://es.wikipedia.php?oldid=47445058  Contribuyentes: - .org/w/index.org/w/index.wikipedia.php?oldid=49074137  Contribuyentes: Detección y corrección de errores  Fuente: http://es.wikipedia.org/w/index.wikipedia.org/w/index.org/w/index.org/w/index.org/w/index.php?oldid=49133975  Contribuyentes: Ley de gravitación universal  Fuente: http://es.php?oldid=49350328  Contribuyentes: Estadística  Fuente: http://es.wikipedia.org/w/index.org/w/index.wikipedia.php?oldid=49214771  Contribuyentes: Variable  Fuente: http://es.wikipedia.wikipedia.php?oldid=49503522  Contribuyentes: Teoría de juegos  Fuente: http://es.org/w/index.org/w/index.wikipedia.php?oldid=49384390  Contribuyentes: Ecuación diferencial  Fuente: http://es.wikipedia.org/w/index.org/w/index.org/w/index.php?oldid=49540907  Contribuyentes: PageRank  Fuente: http://es.wikipedia.php?oldid=49261551  Contribuyentes: Teoría de la probabilidad  Fuente: http://es.org/w/index.php?oldid=49608991  Contribuyentes: Número complejo  Fuente: http://es.wikipedia.wikipedia.org/w/index.org/w/index.php?oldid=49476844  Contribuyentes: Geometría euclidiana  Fuente: http://es.php?oldid=49349968  Contribuyentes: Estadística aplicada  Fuente: http://es.Fuentes y contribuyentes del artículo 125 Fuentes y contribuyentes del artículo Sistema de numeración decimal  Fuente: http://es.wikipedia.wikipedia.

jpg  Fuente: http://es.png  Fuente: http://es. 10 May 2008 (UTC) Archivo:FuncionLineal07.wikipedia.php?title=Archivo:Interferences_plane_waves.org/w/index.png  Licencia: GNU Free Documentation License  Contribuyentes: Vincent Guyot vison Archivo:Glass is Liquide.wikipedia.jpg  Fuente: http://es. 31 December 2006 (UTC) Archivo:PD with outside option.wikipedia.svg  Licencia: GNU Lesser General Public License  Contribuyentes: David Vignoni (original icon). 10 May 2008 (UTC) Archivo:Conic sections 2n.wikipedia.jpg  Licencia: Creative Commons Attribution-Sharealike 3.php?title=Archivo:Cero_maya.wikipedia.svg  Licencia: Creative Commons Attribution-ShareAlike 3.wikipedia.svg  Fuente: http://es.0 Unported  Contribuyentes: KSmrq Imagen:Nuvola apps edu mathematics-p.png  Fuente: http://es.svg  Licencia: Public Domain  Contribuyentes: HiTe 23:31.svg  Licencia: GNU Free Documentation License  Contribuyentes: User:Horst Frank.wikipedia.0 Unported  Contribuyentes: Archivo:Cono y secciones.wikipedia. 8 May 2008 (UTC) Archivo:FuncionLineal06.0 Unported  Contribuyentes: Mehran Moghtadai Archivo:Interferences plane waves.org/w/index.png  Licencia: Creative Commons Attribution-ShareAlike 3.wikipedia.wikipedia.org/w/index.wikipedia.svg: Pepetps derivative work: Bitplane (talk) Archivo:Disqvisitiones-800.org/w/index.png  Licencia: Creative Commons Attribution-ShareAlike 3.org/w/index.jpg  Fuente: http://es.php?title=Archivo:Title_page_of_Sir_Henry_Billingsley's_first_English_version_of_Euclid's_Elements.wikipedia.svg  Licencia: GNU Free Documentation License  Contribuyentes: Original uploader was Spindled at en.php?title=Archivo:Volume_under_surface.svg: Original uploader was Wolfkeeper at en.php?title=Archivo:Lorenz-SZ42-2.wikipedia.jpg  Fuente: http://es.png  Licencia: Creative Commons Attribution-ShareAlike 3. Licencias y contribuyentes 126 Fuentes de imagen.org/w/index.org/w/index.org/w/index.php?title=Archivo:FuncionLineal00.org/w/index.php?title=Archivo:Cello_study.php?title=Archivo:Wikibooks-logo.org/w/index. User:Jailbird Archivo:Complex conjugate picture.svg  Licencia: Creative Commons Attribution-ShareAlike 3.org/w/index.php?title=Archivo:Oxyrhynchus_papyrus_with_Euclid's_Elements. Ulrich Imagen:Derivative.wikipedia.svg  Fuente: http://es.org/w/index.jpg  Licencia: Public Domain  Contribuyentes: Archivo:Prisms with high and low dispersion.php?title=Archivo:Nuvola_apps_edu_mathematics-p.gif  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Surface integral illustration.wikipedia.org/w/index.php?title=Archivo:FuncionLineal04.org/w/index.wikipedia.php?title=Archivo:Cono_y_secciones.php?title=Archivo:FuncionLineal07.org/w/index.org/w/index.wikipedia.0 Germany  Contribuyentes: Häßler.0 Unported  Contribuyentes: KSmrq Archivo:Improper integral.php?title=Archivo:GravitationUniverselle.org/w/index.wikipedia.jpg  Licencia: Public Domain  Contribuyentes: Archivo:Clock group.0 Unported  Contribuyentes: User:Peo Archivo:Electromagnetic_spectrum-es.svg  Licencia: Public Domain  Contribuyentes: Alvaro qc Archivo:Ultmatum game.php?title=Archivo:Enigma_Verkehrshaus_Luzern.wikipedia.wikipedia.php?title=Archivo:Improper_integral_unbounded_internally.org/w/index.svg  Fuente: http://es.0  Contribuyentes: MichaelMaggs Archivo:Integral approximations.org/w/index.png  Fuente: http://es.org/w/index.wikipedia.png  Fuente: http://es.wikipedia derivative work: Kan8eDie (talk) .php?title=Archivo:Conic_sections_2n.png  Licencia: logo  Contribuyentes: es:Usuario:Pybalo Archivo:Wikibooks-logo.svg  Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Numerical_quadrature_4up.wikipedia.php?title=Archivo:Commons-logo.jpg  Fuente: http://es.png  Licencia: Creative Commons Attribution-ShareAlike 3.php?title=Archivo:PD_with_outside_option._1570_(560x900).org/w/index.wikipedia. 10 May 2008 (UTC) Archivo:FuncionLineal04.php?title=Archivo:Signed'IntegracióArabic.Fuentes de imagen.png  Licencia: Creative Commons Attribution-ShareAlike 3.org/w/index.wikipedia.php?title=Archivo:Ultmatum_game.wikipedia.svg  Fuente: http://es.svg  Fuente: http://es. Computer EC 1040.php?title=Archivo:Complex_number_illustration.php?title=Archivo:Integral_approximations.png  Fuente: http://es.jpg  Licencia: Creative Commons Attribution-Sharealike 3.org/w/index.0 Unported  Contribuyentes: Archivo:Commons-logo.php?title=Archivo:Mayan00.org/w/index.svg  Licencia: Creative Commons Attribution-ShareAlike 3.png  Licencia: Public Domain  Contribuyentes: Archivo:Numerical quadrature 4up.php?title=Archivo:Disqvisitiones-800.svg  Fuente: http://es.wikipedia.wikipedia.png  Licencia: Public Domain  Contribuyentes: Oleg Alexandrov Archivo:Line-Integral.png  Fuente: http://es.org/w/index.svg  Licencia: Public Domain  Contribuyentes: HiTe 21:13.org/w/index.png  Fuente: http://es.jpg  Fuente: http://es.org/w/index.png  Fuente: http://es.jpg  Licencia: Creative Commons Attribution-ShareAlike 3.png  Licencia: Creative Commons Attribution-ShareAlike 3.svg  Fuente: http://es.wikipedia.php?title=Archivo:Line-Integral.0  Contribuyentes: Kan8eDie Image:Complex_number_illustration_modarg.png  Licencia: Creative Commons Attribution-Sharealike 3. Archivo:GravitationUniverselle.0 Unported  Contribuyentes: Kevin Zollman --Kzollman 00:53.wikipedia.svg  Fuente: http://es.org/w/index.org/w/index.0 Unported  Contribuyentes: KSmrq Archivo:Volume under surface.wikipedia.jpg  Fuente: http://es.svg  Licencia: GNU Free Documentation License  Contribuyentes: Complex_number_illustration.org/w/index.png  Licencia: Creative Commons Attribution-ShareAlike 3._VEB_Robotron_Elektronik_Dresden.php?title=Archivo:FuncionLineal06.php?title=Archivo:Complex_number_illustration_modarg.php?title=Archivo:Clock_group.svg  Fuente: http://es. User:Ramac et al.wikipedia.php?title=Archivo:Electromagnetic_spectrum-es.svg  Fuente: http://es.svg  Licencia: Public Domain  Contribuyentes: HiTe 21:12.png  Licencia: GNU Free Documentation License  Contribuyentes: Hakeem. 3 May 2006 (UTC) Archivo:Centipede game. created by Reidab.0 Unported  Contribuyentes: KSmrq Archivo:Signed'IntegracióArabic.0  Contribuyentes: User LittleJoe / LittleJoe Archivo:Wiktionary-logo-es.svg  Fuente: http://es.wikipedia Archivo:FuncionLineal00.jpg  Licencia: Public domain  Contribuyentes: Archivo:Enigma Verkehrshaus Luzern.svg  Licencia: Creative Commons Attribution-ShareAlike 3.svg  Fuente: http://es.php?title=Archivo:Integral_Riemann_sum.wikipedia.jpg  Fuente: http://es.php?title=Archivo:Complex_conjugate_picture.php?title=Archivo:Derivative.jpg  Licencia: desconocido  Contribuyentes: Archivo:Title page of Sir Henry Billingsley's first English version of Euclid's Elements.wikipedia.org/w/index.org/w/index.php?title=Archivo:Glass_is_Liquide.php?title=Archivo:Bundesarchiv_Bild_183-S1024-016.svg  Fuente: http://es.wikipedia.svg  Fuente: http://es.png  Licencia: Creative Commons Attribution-ShareAlike 3.wikipedia.org/w/index.gadi Archivo:Cello study.wikipedia. VEB Robotron Elektronik Dresden.png  Licencia: Creative Commons Attribution-ShareAlike 3. based on the earlier PNG version.wikipedia.png  Fuente: http://es. Licencias y contribuyentes Archivo:Bundesarchiv Bild 183-S1024-016.wikipedia.org/w/index.png  Fuente: http://es.png  Fuente: http://es.png  Fuente: http://es.jpg  Licencia: Creative Commons Attribution-Share Alike 3. 1570 (560x900).wikipedia.svg  Fuente: http://es.php?title=Archivo:Wiktionary-logo-es.wikipedia.php?title=Archivo:Riemann_sum_convergence.svg  Fuente: http://es.svg  Licencia: logo  Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247.org/w/index.svg  Licencia: logo  Contribuyentes: User:Bastique.svg  Fuente: http://es.org/w/index.svg  Licencia: GNU Free Documentation License  Contribuyentes: Oleg Alexandrov Imagen:Complex number illustration.0 Unported  Contribuyentes: KSmrq Archivo:Riemann sum convergence.0 Unported  Contribuyentes: KSmrq Archivo:Integral Riemann sum.php?title=Archivo:Surface_integral_illustration.svg  Licencia: Public Domain  Contribuyentes: HiTe 21:43.php?title=Archivo:Prisms_with_high_and_low_dispersion.jpg  Licencia: Public Domain  Contribuyentes: Charles Thomas-Stanford Imagen:Portal.wikipedia.0 Unported  Contribuyentes: Kevin Zollman Kzollman 23:01. Archivo:Lorenz-SZ42-2.org/w/index.0 Unported  Contribuyentes: Portal.php?title=Archivo:Integral_example.0 Unported  Contribuyentes: KSmrq Archivo:Improper integral unbounded internally.php?title=Archivo:Portal.org/w/index.org/w/index.png  Fuente: http://es._Computer_EC_1040.org/w/index.php?title=Archivo:Centipede_game.jpg  Fuente: http://es.png  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Integral example.org/w/index.png  Fuente: http://es.php?title=Archivo:Improper_integral.png  Fuente: http://es.wikipedia.org/w/index.svg  Licencia: Creative Commons Attribution-Share Alike  Contribuyentes: Drini Archivo:Mayan00.org/w/index.gif  Fuente: http://es. Flamurai (SVG convertion) Archivo:Oxyrhynchus papyrus with Euclid's Elements.svg  Licencia: Public Domain  Contribuyentes: sarang Archivo:Cero maya.png  Fuente: http://es.wikipedia.

barahona File:Water Crystals on Mercury 20Feb2010 CU1.wikipedia.0 Unported  Contribuyentes: Philipendula Archivo:Spanish Wikiquote.jpg  Fuente: http://es.php?title=Archivo:Menger_2.org/w/index.png  Licencia: Public Domain  Contribuyentes: Archivo:Mandelzoom.php?title=Archivo:KorrRes.org/w/index.org/w/index.php?title=Archivo:Menger_1.org/w/index.jpg  Fuente: http://es.php?title=Archivo:Wikipedia_in_binary.PNG  Fuente: http://es.org/w/index.php?title=Archivo:Textile_cone.jpg  Licencia: Public domain  Contribuyentes: Imagen:Time escape Julia set from coordinate (phi-2.svg  Licencia: Creative Commons Attribution-ShareAlike 3.org/w/index.php?title=Archivo:Ceres_optimized.php?title=Archivo:Fractal_Broccoli.org/w/index.php?title=Archivo:Koch_anime.wikipedia.org/w/index.org/w/index.0  Contribuyentes: Esteban.svg  Licencia: Public domain  Contribuyentes: en:User:345Kai.PNG  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Menger 1.png  Licencia: Public Domain  Contribuyentes: Archivo:Textile cone.php?title=Archivo:PageRanks-Example.jpg  Licencia: Public Domain  Contribuyentes: Jon Sullivan Archivo:Koch anime.nz Archivo:Fractal Broccoli.png  Licencia: GNU Free Documentation License  Contribuyentes: - 127 .org/w/index.png  Fuente: http://es.mcd.gif  Fuente: http://es.wikipedia.wikipedia.org/w/index.wikipedia Archivo:Ceres optimized.wikipedia.php?title=Archivo:Time_escape_Julia_set_from_coordinate_(phi-2.JPG  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:CA rule30s.wikipedia. User:Stannered Archivo:Hamming distance 4 bit binary example. and L.php?title=Archivo:Julia_set_camp2._phi-1).wikipedia.png  Fuente: http://es.wikipedia. User:Wikimol Archivo:GameOfLife Glider Animation.jpg  Licencia: Public domain  Contribuyentes: Imagen:Julia_set_camp2.jpg  Licencia: Creative Commons Attribution-Share Alike  Contribuyentes: Yo Mismo Archivo:LorenzAttractor.php?title=Archivo:Lorenz_attractor_yb.php?title=Archivo:Fractal_fern_explained.org/w/index.php?title=Archivo:CA_rule30s.PNG  Licencia: GNU Free Documentation License  Contribuyentes: C.php?title=Archivo:Dlasim. 0). ESA.PNG  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Menger 2. Licencias y contribuyentes Archivo:PageRanks-Example.gif  Licencia: GNU Free Documentation License  Contribuyentes: User:Atyndall (See account on English Wikipedia) Archivo:The Normal Distribution.org/w/index.jpg  Fuente: http://es.PNG  Fuente: http://es.wikipedia.Fuentes de imagen.php?title=Archivo:Menger_3.png  Fuente: http://es.svg  Fuente: http://es._0).svg  Licencia: Public Domain  Contribuyentes: Original uploader was Heds 1 at en.svg  Fuente: http://es.svg  Fuente: http://es.SVG  Licencia: logo  Contribuyentes: James.JPG  Fuente: http://es.wikipedia.org/w/index.png  Licencia: Creative Commons Attribution-ShareAlike 3.jpg  Licencia: Public Domain  Contribuyentes: Photo by: Mark Charles Langdon Archivo:Lorenz attractor yb.php?title=Archivo:The_Normal_Distribution.0 Unported  Contribuyentes: en:User:Cburnett Archivo:Wikiversity-logo-Snorky.wikipedia.wikipedia.PNG  Fuente: http://es.org/w/index.org/w/index.en:User:Tó campos Archivo:Fractal471763.png  Fuente: http://es.org/w/index.png  Fuente: http://es.jpg  Licencia: Public Domain  Contribuyentes: NASA.gif  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Torus.jpg  Fuente: http://es.wikipedia.PNG  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Menger 4.PNG  Fuente: http://es.svg  Licencia: desconocido  Contribuyentes: Archivo:Wikipedia in binary.png  Licencia: Public Domain  Contribuyentes: António Miguel de Campos .wikipedia.org/w/index.wikipedia. Hoberg Archivo:Fractal fern explained.SVG  Fuente: http://es.php?title=Archivo:Sandstorm.php?title=Archivo:Mandelzoom.PNG  Fuente: http://es.php?title=Archivo:Hamming_distance_4_bit_binary_example. Parker (Southwest Research Institute). College Park) Archivo:KorrRes.jpg  Licencia: Public Domain  Contribuyentes: António Miguel de Campos en:User:Tó campos Archivo:Mandelbrot and Julia.jpg  Licencia: Public Domain  Contribuyentes: António Miguel de Campos Archivo:Dlasim.svg  Fuente: http://es. J.jpg  Fuente: http://es.php?title=Archivo:LorenzAttractor.org/w/index.org/w/index.php?title=Archivo:Torus.0 Unported  Contribuyentes: Christophe Dang Ngoc Chan (cdang) Archivo:Menger 0.org/w/index.wikipedia.org/w/index.svg  Fuente: http://es.org/w/index.jpg  Fuente: http://es.wikipedia.png  Fuente: http://es.5  Contribuyentes: User:Dschwen.org/w/index. phi-1).org/w/index.png  Fuente: http://es.wikipedia.php?title=Archivo:Menger_0.org/w/index. Thomas (Cornell University).php?title=Archivo:Spanish_Wikiquote.wikipedia.wikipedia.wikipedia.wikipedia.php?title=Archivo:GameOfLife_Glider_Animation.PNG  Licencia: GNU Free Documentation License  Contribuyentes: Imagen:Time escape Julia set from coordinate (phi-2.wikipedia.php?title=Archivo:Menger_4.php?title=Archivo:Water_Crystals_on_Mercury_20Feb2010_CU1.wikipedia.gif  Fuente: http://es.org/w/index.wikipedia.php?title=Archivo:Fractal471763.org/w/index.gif  Licencia: Creative Commons Attribution-ShareAlike 3.wikipedia. McFadden (University of Maryland.PNG  Fuente: http://es.png  Licencia: Creative Commons Attribution-Sharealike 3.php?title=Archivo:Wikiversity-logo-Snorky.org/w/index.php?title=Archivo:Mandelbrot_and_Julia.jpg  Fuente: http://es.org/w/index.svg  Licencia: Creative Commons Attribution-Sharealike 2.png  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Sandstorm.org/w/index.gif  Fuente: http://es.wikipedia.PNG  Licencia: GNU Free Documentation License  Contribuyentes: Archivo:Menger 3.wikipedia.wikipedia.wikipedia. P.wikipedia.php?title=Archivo:Time_escape_Julia_set_from_coordinate_(phi-2.jpg  Fuente: http://es.

0 Unported http:/ / creativecommons. 0/ . org/ licenses/ by-sa/ 3.Licencia 128 Licencia Creative Commons Attribution-Share Alike 3.

Sign up to vote on this title
UsefulNot useful