Está en la página 1de 22

Repblica Bolivariana de Venezuela Ministerio del Poder Popular para la Educacin Universitaria Aldea Universitaria UBV Misin Sucre

e Guaraunos - Estado Sucre

Profesor: Ing. Jos Marn

Bachiller: Yumelis Rodrguez C. I.: 24.134.217 Secc. 02 2do. Semestre

Diciembre de 2012

Introduccin

Las matemticas son el estudio de los nmeros, cantidades, formas y espacio utilizando procesos matemticos, reglas y smbolos. Hay muchas ramas en las matemticas y un vasto vocabulario asociado con el tema.

Las matemticas se valen de un dialecto o lenguaje coloquial para expresarse en forma concisa, abreviada e universal.

Este lenguaje en algunos casos se compone de letras griegas y otras veces de diversos smbolos universales. El porqu de este lenguaje nico de las matemticas podra ser para darle un carcter universal, es decir, darle entendimiento en cualquier lugar sea cual sea el idioma que se hable.

Los smbolos matemticos son signos que para el estudio de las matemticas debemos conocer. Los smbolos matemticos facilitan la escritura de frmulas y nos ayudan a interpretar mejor las matemticas.

Historia o Evolucin de los Smbolos Matemticos. El origen y la evolucin de los smbolos matemticos no se conocen bien. Para ms informacin sobre el probable origen de los nmeros del 1 al 9 vase Numeracin. El origen del cero es desconocido, aunque hay confirmacin de su existencia antes del ao 400 d.C. La extensin del sistema de lugares decimales a los que representan valores inferiores a la unidad se atribuye al matemtico holands Simon Stevin (conocido tambin como Simon de Brujas), que llam a las dcimas, centsimas y milsimas primas, secundas y tercias. Para indicar los rdenes, utilizaba nmeros en un crculo; por ejemplo, 4,628 se escriba 4 0 6 1 2 2 8 3. Antes de 1492 ya se empez a utilizar un punto para separar la parte decimal de un nmero. Ms tarde se us tambin una raya vertical. En su Exempelbchlein de 1530, el matemtico alemn Christoff Rudolf resolva un problema de inters compuesto haciendo uso de fracciones decimales. El astrnomo alemn Johannes Kepler empez a utilizar la coma para separar los espacios decimales, y el matemtico suizo Justus Byrgius utilizaba fracciones decimales de la forma 3,2. A pesar de que los antiguos egipcios tenan smbolos para la adicin y la igualdad, y los griegos, hindes y rabes tenan smbolos para la igualdad y las incgnitas, en esos primeros tiempos las operaciones matemticas solan ser bastante engorrosas debido a la falta de signos apropiados. Las expresiones de dichas operaciones tenan que ser escritas por completo o expresadas mediante abreviaturas de las palabras. Ciertos matemticos utilizaban la p, otros la e, y el italiano Niccol Tartaglia sola expresar esta operacin como . Los algebristas alemanes e ingleses introdujeron el signo +, al que denominaron signum additorum, aunque al principio slo se utilizaba para indicar excedentes. El matemtico griego Diofante utilizaba el signo para indicar la sustraccin. Los hindes usaban un punto y los algebristas italianos la representaban con una M o m y con una raya atravesando la letra. Los algebristas alemanes e ingleses fueron los primeros en utilizar el signo actual, al que denominaron signum subtractorum. Los signos + y - fueron usados por primera vez en 1489 por el alemn Johann Widman.

El matemtico ingls William Oughtred fue el primero en usar el signo en vez de la palabra "veces". El matemtico alemn Gottfried Wihelm Leidniz utilizaba un punto para indicar la multiplicacin y, en 1637, el francs Rene Descartes empez a usar la yuxtaposicin de los factores. En 1688 Leibniz utiliz el smbolo para denotar la multiplicacin y para la divisin. Los hindes colocaban el divisor debajo del dividendo. Leibniz us la forma ms conocida a:b. Descartes populariz la notacin an para la potenciacin y el matemtico ingls John Wallis defini los exponentes negativos y utiliz el smbolo () para representar Infinito. El signo de igualdad, =, lo cre el matemtico ingls Robert Recorde. Otro matemtico ingls, Thomas Harriot, fue el primero en utilizar los smbolos > y <, "mayor que" y "menor que". El matemtico francs Franois Vite introdujo varios signos de agrupacin. Los smbolos de diferenciacin, dx, y de integracin, , empleados en el clculo, son originales de Leibniz, lo mismo que el smbolo ~ de semejanza, utilizado en geometra. El matemtico suizo Leonhard Euler es el principal responsable de los smbolos , f, F, usados en la teora de funciones.

Jerarqua Numrica. En el sistema decimal la base es el 10, es decir, que 10 unidades de un orden constituyen una unidad del orden inmediato superior, as como cada unidad se compone de diez unidades del orden inmediato inferior. El nmero 1 es la unidad de primer orden a la que se aaden una por una otras unidades hasta formar una decena o unidad de segundo orden. Diez decenas o cien unidades forman una centena o unidad de tercer orden. La unidad de cuarto orden es el millar; la de quinto orden la decena de millar; la de sexto orden la centena de millar; la de sptimo orden el milln; la de decimotercer orden es el billn; la de decimonoveno orden es el trilln y as sucesivamente. La jerarqua de las rdenes subsecuentes es la siguiente: milln, billn, trilln, cuatrilln, quintilln, sextilln, septilln, octilln, nonilln, decilln, undecilln, duodecilln, tridecilln, cuatridecilln, quidecilln, sexdecilln,

septidecilln, octodecilln, nonidecilln y vigilln.

En pases, como Francia y Estados Unidos, cuyo sistema de numeracin se basa en grupos de tres en lugar de grupos de seis, cada orden despus del milln es mil veces el que lo precede. En el sistema que impera en Europa y Amrica Latina, cada nmero es un milln de veces el anterior. En cuanto a los decimales, en Europa continental se escriben de la forma 1,23, en las islas Britnicas 123 y en el continente americano 1.23. Utilizando la notacin cientfica estndar, un nmero como 0,000000123 se puede escribir 1,2310-7.

Las Matemticas. Vienen siendo el estudio de las relaciones entre cantidades, magnitudes y propiedades, y de las operaciones lgicas utilizadas para deducir cantidades, magnitudes y propiedades desconocidas. En el pasado las matemticas eran consideradas como la ciencia de la cantidad, referida a las magnitudes (como en la geometria), a los nmeros (como en la aritmetica), o a la generalizacin de ambos (como en el algebra). Hacia mediados del siglo XIX las matemticas se empezaron a considerar, como la ciencia de las relaciones, o como la ciencia que produce condiciones necesarias. Esta ltima nocin abarca la lgica matemtica o simblica ciencia que consiste en utilizar smbolos para generar una teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas, postulados y reglas que transforman elementos primitivos en relaciones y teoremas ms complejos.

Las Matemticas en la antigedad.Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio a.C., en Babilonia y Egipto. Estas matemticas estaban dominadas por la aritmtica, con cierto inters en medidas y clculos geomtricos y sin mencin de conceptos matemticos como los axiomas o las demostraciones.

Los primeros libros egipcios, escritos hacia el ao 1800 a.C., muestran un sistema de numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1, 10, 100, ), similar al sistema utilizado por los romanos. Los nmeros se representaban escribiendo el smbolo del 1 tantas veces como unidades tena el nmero dado, el smbolo del 10 tantas veces como decenas haba en el nmero, y as sucesivamente. Para sumar nmeros, se sumaban por separado las unidades, las decenas, las centenas, de cada nmero. La multiplicacin estaba basada en duplicaciones sucesivas y la divisin era el proceso inverso. Los egipcios utilizaban sumas de fracciones unidad (a), junto con la fraccin B, para expresar todas las fracciones. Por ejemplo, E era la suma de las fracciones 3 y <. Utilizando este sistema, los egipcios fueron capaces de resolver problemas aritmticos con fracciones, as como problemas algebraicos elementales. En geometra encontraron las reglas correctas para calcular el rea de tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y, por supuesto, pirmides. Para calcular el rea de un crculo, los egipcios utilizaban un cuadrado de lado U del dimetro del crculo, valor muy cercano al que se obtiene utilizando la constante pi (3,14), aunque su valor (3,16) es un poco mayor que la antedicha constante.

Las Matemticas en Grecia. Los griegos tomaron elementos de las matemticas de los babilonios y de los egipcios. La innovacin ms importante fue la invencin de las matemticas abstractas basadas en una estructura lgica de definiciones, axiomas y demostraciones. Segn los cronistas griegos, este avance comenz en el siglo VI a.C. con Tales de milenio y Pitagoras de Samos. Este ltimo ense la importancia del estudio de los nmeros para poder entender el mundo. Algunos de sus discpulos hicieron importantes descubrimientos sobre la teora numrica y la geometra, que se atribuyen al propio Pitgoras.

En el siglo V a.C., algunos de los ms importantes gemetras fueron el filsofo atomista Democrito de Abdera, que encontr la frmula correcta para calcular el volumen de una pirmide, e Hipocrates de Cos, que descubri que el rea de figuras geomtricas en forma de media luna limitadas por arcos circulares son iguales a las de ciertos tringulos. Este descubrimiento est relacionado con el famoso problema de la cuadratura del crculo (construir un cuadrado de rea igual a un crculo dado). Otros dos problemas bastante conocidos que tuvieron su origen en el mismo periodo son la triseccin de un ngulo y la duplicacin del cubo (construir un cubo cuyo volumen es dos veces el de un cubo dado). Todos estos problemas fueron resueltos, mediante diversos mtodos, utilizando instrumentos ms complicados que la regla y el comps. Sin embargo, hubo que esperar hasta el siglo XIX para demostrar finalmente que estos tres problemas no se pueden resolver utilizando solamente estos dos instrumentos bsicos. A finales del siglo V a.C., un matemtico annimo descubri que no existe una unidad de longitud capaz de medir el lado y la diagonal de un cuadrado, es decir, una de las dos cantidades es inconmensurable. Esto significa que no existen dos nmeros naturales m y n cuyo cociente sea igual a la proporcin entre el lado y la diagonal. Despus de Euclides, Arqumedes y Apolonio, Grecia no tuvo ningn gemetra de la misma talla. Los escritos de Hern de Alejandra en el siglo I d.C. muestran cmo elementos de la tradicin aritmtica y de medidas de los babilonios y egipcios convivieron con las construcciones lgicas de los grandes gemetras. Los libros de Diofante de Alejandra en el siglo III d.C. continuaron con esta misma tradicin, aunque ocupndose de problemas ms complicados. En ellos Diofante encuentra las soluciones enteras para aquellos problemas que generan ecuaciones con varias incgnitas. Actualmente, estas ecuaciones se denominan diofnticas y se estudian en el Analisis diofantico.

Las Matemticas aplicadas en Grecia.En paralelo con los estudios sobre matemticas puras hasta ahora mencionados, se llevaron a cabo estudios de ptica, mecnica y astronoma.

Muchos de los grandes matemticos, como Euclides y Arqumedes, tambin escribieron sobre temas astronmicos. Unos aos despus de Apolonio, los astrnomos griegos adoptaron el sistema babilnico de almacenamiento de fracciones y, casi al mismo tiempo, compilaron tablas de las cuerdas de un crculo. Para un crculo de radio determinado, estas tablas daban la longitud de las cuerdas en funcin del ngulo central correspondiente, que creca con un determinado incremento. Eran similares a las modernas tablas del seno y coseno, y marcaron el comienzo de la trigonometra. En la primera versin de estas tablas las de Hiparco, hacia el 150 a.C. los arcos crecan con un incremento de 71, de 0 a 180. En tiempos del astrnomo Tolomeo, en el siglo II d.C., la maestra griega en el manejo de los nmeros haba avanzado hasta tal punto que Tolomeo fue capaz de incluir en su Almagesto una tabla de las cuerdas de un crculo con incrementos de 1, que, aunque expresadas en forma sexagesimal, eran correctas hasta la quinta cifra decimal. Mientras tanto, se desarrollaron otros mtodos para resolver problemas con tringulos planos y se introdujo un teorema que recibe el nombre del astrnomo Menelao de Alejandra para calcular las longitudes de arcos de esfera en funcin de otros arcos. Estos avances dieron a los astrnomos las herramientas necesarias para resolver problemas de astronoma esfrica, y para desarrollar el sistema astronmico que sera usado hasta la poca del astrnomo alemn Johannes Kepler.

Las Matemticas en la Edad Media. En Grecia, despus de Tolomeo, se estableci la tradicin de estudiar las obras de estos matemticos de siglos anteriores en los centros de enseanza. El que dichos trabajos se hayan conservado hasta nuestros das se debe principalmente a esta tradicin. Sin embargo, los primeros avances matemticos consecuencia del estudio de estas obras aparecieron en el mundo rabe.

Las Matemticas durante el Renacimiento. Aunque el final del periodo medieval fue testigo de importantes estudios matemticos sobre problemas del infinito por autores como Nicole Oresme, no fue hasta principios del siglo XVI cuando se hizo un descubrimiento matemtico de trascendencia en Occidente. Era una frmula algebraica para la resolucin de las ecuaciones de tercer y cuarto grado, y fue publicado en 1545 por el matemtico italiano Gerolamo Cardano en su Ars magna. Este hallazgo llev a los matemticos a interesarse por los nmeros complejos y estimul la bsqueda de soluciones similares para ecuaciones de quinto grado y superior. Fue esta bsqueda la que a su vez gener los primeros trabajos sobre la teora de los grupos a finales del siglo XVIII y la teora de ecuaciones del matemtico francs Evariste Galoiste a principios del XIX. Tambin durante el siglo XVI se empezaron a utilizar los modernos signos matematicos y algebraicos. El matemtico francs Franois Vite llev a cabo importantes estudios sobre la resolucin de ecuaciones. Sus escritos ejercieron gran influencia en muchos matemticos del siglo posterior, incluyendo a Pierre de Fermat en Francia e Isaac Neuton en Inglaterra.

Avances en el siglo XVII. Los europeos dominaron el desarrollo de las matemticas despus del renacimiento. Durante el siglo XVII tuvieron lugar los ms importantes avances en las matemticas desde la era de Arqumedes y Apolonio. El siglo comenz con el descubrimiento de los logaritmos por el matemtico escocs John Napier (Neper), cuya gran utilidad llev al astrnomo francs Pierre Simon Laplase a decir, dos siglos ms tarde, que Neper, al reducir el trabajo de los astrnomos a la mitad, les haba duplicado la vida. La ciencia de la teoria numerica, que haba permanecido aletargada desde la poca medieval, es un buen ejemplo de los avances conseguidos en el siglo XVII basndose en los estudios de la antigedad clsica. En la geometra pura, dos importantes acontecimientos ocurrieron en este siglo. El primero fue la publicacin, en el Discurso del mtodo (1637) de Descartes, de su descubrimiento

de la geometria analitica, que mostraba cmo utilizar el lgebra (desarrollada desde el renacimiento), para investigar la geometra de las curvas (Fermat haba hecho el mismo descubrimiento pero no lo public). El Discurso del mtodo, junto con una serie de pequeos tratados con los que fue publicado, ayud y fundament los trabajos matemticos de Isaac Newton hacia 1660. El segundo acontecimiento que afect a la geometra fue la publicacin, por el ingeniero francs Grard Desargues, de su descubrimiento de la geometra proyectiva en 1639. Sin embargo, el acontecimiento matemtico ms importante del siglo XVII fue, sin lugar a dudas, el descubrimiento, por parte de Newton, de los calculos diferencial e integral, en 1664. Unos ocho aos ms tarde, el alemn Gottfried Wilhelm Leibniz descubri tambin el clculo y fue el primero en publicarlo, en 1684 y 1686. El sistema de notacin de Leibniz es el que se usa hoy en da en el clculo.

Situacin en el siglo XVIII.Durante el resto del siglo XVII y buena parte del XVIII, los discpulos de Newton y Leibniz se basaron en sus trabajos para resolver diversos problemas de fsica, astronoma e ingeniera, lo que les permiti, al mismo tiempo, crear campos nuevos dentro de las matemticas. As, los hermanos Johann y Jakob Bernoulli inventaron el clculo de variaciones y el matemtico francs Gaspart Monge la geometra diferencial. Joseph Luis Lagrange, tambin francs, dio un tratamiento completamente analtico de la mecnica en su gran obra Mecnica analtica (1788), en donde se pueden encontrar las famosas ecuaciones de Lagrange para sistemas dinmicos. Adems, Lagrange hizo contribuciones al estudio de las ecuaciones diferenciales y la teora numrica, y desarroll la teora de grupos. Su contemporneo Laplace escribi Teora analtica de las probabilidades (1812) y el clsico Mecnica celeste (1799-1825), que le vali el sobrenombre de 'el Newton francs'. El gran matemtico del siglo XVIII fue el suizo Leonhard Euler, quien aport ideas fundamentales sobre el clculo y otras ramas de las matemticas y sus aplicaciones. Euler

escribi textos sobre clculo, mecnica y lgebra que se convirtieron en modelos a seguir para otros autores interesados en estas disciplinas. Sin embargo, el xito de Euler y de otros matemticos para resolver problemas tanto matemticos como fsicos utilizando el clculo slo sirvi para acentuar la falta de un desarrollo adecuado y justificado de las ideas bsicas del clculo. La teora de Newton estaba basada en la cintica y las velocidades, la de Leibniz en los infinitsimos, y el tratamiento de Lagrange era completamente algebraico y basado en el concepto de las secuencias infinitas. Todos estos sistemas eran inadecuados en comparacin con el modelo lgico de la geometra griega, y este problema no fue resuelto hasta el siglo posterior.

Las Matemticas en el Siglo XIX. En 1821, un matemtico francs,Augustin Louis Cauchy, consigui un enfoque lgico y apropiado del clculo. Cauchy bas su visin del clculo slo en cantidades finitas y el concepto de lmite. Sin embargo, esta solucin plante un nuevo problema, el de la definicin lgica de nmero real. Aunque la definicin de clculo de Cauchy estaba basada en este concepto, no fue l sino el matemtico alemn Julius W. R. Dedekind quien encontr una definicin adecuada para los nmeros reales basada en los nmeros racionales, que todava se ensea hoy en da; los matemticos alemanes GeorgCantor y Karl T. W. Weierstrass tambin dieron otras definiciones casi al mismo tiempo. Un problema ms importante que surgi al intentar describir el movimiento de vibracin de un muelle estudiado por primera vez en el siglo XVIII fue el de definir el significado de la palabra funcion. Euler, Lagrange y el matemtico francs BaronJoseph Forier aportaron soluciones, pero fue el matemtico alemn Peter G. Dirichlet quien propuso su definicin en los trminos actuales. Adems de fortalecer los fundamentos del anlisis, nombre dado a partir de entonces a las tcnicas del clculo, los matemticos del siglo XIX llevaron a cabo importantes avances en esta materia.

Adems, la investigacin de funciones que pudieran ser iguales a series de Fourier llev a Cantor al estudio de los conjuntos infinitos y a una aritmtica de nmeros infinitos. La teora de Cantor, que fue considerada como demasiado abstracta y criticada como "enfermedad de la que las matemticas se curarn pronto", forma hoy parte de los fundamentos de las matemticas y recientemente ha encontrado una nueva aplicacin en el estudio de corrientes turbulentas en fluidos.

Las Matemticas Actuales. En la Conferencia Internacional de Matemticos que tuvo lugar en Pars en 1900, el matemtico alemn David Hilbert expuso sus teoras. Hilbert era catedrtico en Gttingen, el hogar acadmico de Gauss y Riemann, y haba contribuido sustancialmente en casi todas las ramas de las matemticas, desde su clsico Fundamentos de la geometra (1899) a su Fundamentos de la matemtica en colaboracin con otros autores. La conferencia de Hilbert en Pars consisti en un repaso a 23 problemas matemticos que l crea podran ser las metas de la investigacin matemtica del siglo que empezaba. Estos problemas, de hecho, han estimulado gran parte de los trabajos matemticos del siglo XX, y cada vez que aparecen noticias de que otro de los "problemas de Hilbert" ha sido resuelto, la comunidad matemtica internacional espera los detalles con impaciencia. A pesar de la importancia que han tenido estos problemas, un hecho que Hilbert no pudo imaginar fue la invencin del ordenador o computadora digital programable, primordial en las matemticas del futuro. Aunque los orgenes de las computadoras fueron las calculadoras de relojera de Pascal y Leibniz en el siglo XVII, fue Charles Babbage quien, en la Inglaterra del siglo XIX, dise una mquina capaz de realizar operaciones matemticas automticamente siguiendo una lista de instrucciones (programa) escritas en tarjetas o cintas. La imaginacin de Babbage sobrepas la tecnologa de su tiempo, y no fue hasta la invencin del rel, la vlvula de vaco y despus la del transistor cuando la computacin programable a gran escala se hizo realidad. El conocimiento matemtico del mundo moderno est avanzando ms rpido que nunca. Teoras que eran completamente distintas se han reunido para formar teoras ms completas y

abstractas. Aunque la mayora de los problemas ms importantes han sido resueltos, otros como las hiptesis de Riemann siguen sin serlo. Al mismo tiempo siguen apareciendo nuevos y estimulantes problemas. Parece que incluso las matemticas ms abstractas estn encontrando aplicacin.

Smbolos Matemticos. Los smbolos matemticos son signos que para el estudio de las matemticas debemos conocer. Los smbolos matemticos facilitan la escritura de frmulas y nos ayudan a interpretar mejor las matemticas.

Genricos

Smbolo igualdad

Nombre igual a

se lee como todos

Categora

x = y significa: x y y son nombres diferentes que hacen referencia a un mismo objeto o ente. 1+2=63

definicin

se define como

todos

x := y o x y significa: x se define como otro nombre para y (notar, sin embargo, que puede tambin significar otras cosas, como congruencia) P : Q significa: P se define como lgicamente equivalente a Q

cosh x := (1/2)(exp x + exp (x)); A XOR B : (A

B)

(A

B)

Aritmticos

Smbolo adicin

Nombre ms

se lee como

Categora aritmtica

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10. 43 + 65 = 108; 2 + 7 = 9 substraccin menos aritmtica

9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo 'menos' tambin se utiliza para denotar que un nmero es negativo. Por ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'. 87 36 = 51 multiplicacin por aritmtica

7 x 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42. 4 x 6 = 24 4 * 6 = 24 4 6 = 24 divisin entre aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser de tamao siete.

sumatoria
n 4

suma sobre ... desde ... hasta ... de

aritmtica

k=1 ak significa: a1 + a2 + ... + an k=1 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30 productorio k=1 ak significa: a1a2an k=1 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360
4 n

producto sobre... desde ... hasta ... de

aritmtica

Lgica proposicional

Smbolo

Nombre implicacin material o en un solo sentido

se lee como

Categora

implica; si .. entonces; por lo lgica proposicional tanto

A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero entonces nada se dice sobre A. puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica ms abajo. x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2) doble implicacin si y slo si; sii, syss
1

lgica proposicional

A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa. x+5=y+2 x+3=y conjuncin lgica o interseccin en una reja y lgica proposicional, teora de rejas

la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.todo es verdadero de los valores n < 4 n > 2 n = 3 cuando n es un nmero natural disyuncin lgica o unin en una reja o lgica proposicional, teora de rejas

la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposicin es falsa. n 4 n 2 n 3 cuando n es un nmero natural negacin lgica no lgica proposicional

la proposicin A es verdadera si y slo si A es falsa. una barra colocada sobre otro operador es equivalente a un colocado a la izquierda. (A B) (A) (B); x S (x S)

Lgica de predicados
Smbolo Nombre cuantificador universal se lee como para todos; para cualquier; para cada Categora lgica de predicados

x : P(x) significa: P(x) es verdadera para cualquier x n N: n n cuantificador existencial existe por lo menos un/os lgica de predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2 n cuantificador existencial con marca de unicidad ! n N: n + 1 = 2 reluz tal que lgica de predicados existe un/os nico/s lgica de predicados

! x : P(x) significa: existe un nico x tal que P(x) es verdadera.

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2 n

Funciones
Smbolo Nombre aplicacin de funcin; agrupamiento se lee como de Categora funciones

para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el elemento x para agrupamiento: realizar primero las operaciones dentro del parntesis. Si f(x) := x, entonces f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4 mapeo funcional de ... a funciones

f: X Y significa: la funcin f mapea el conjunto X al conjunto Y Considrese la funcin f: Z N definida por f(x) = x

Nmeros
Smbolo Nombre nmeros naturales {|a| : a Z} = N nmeros enteros {a : |a| N} = Z nmeros racionales 3.14 Q; Q nmeros reales R; (1) R nmeros complejos i = (1) C raz cuadrada la raz cuadrada de; la principal raz cuadrada de nmeros reales C nmeros R nmeros Q nmeros Z nmeros N se lee como Categora nmeros

N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente.

Z significa: {...,3,2,1,0,1,2,3,4,...}

Q significa: {p/q : p, q Z, q 0}

R significa: {limn an : n N: an Q, el lmite existe}

C significa: {a + bi : a, b R}

x significa: el nmero positivo cuyo cuadrado es x (x) = |x| infinito infinito nmeros

es un elemento de la recta real extendida mayor que todos los nmeros reales; ocurre frecuentemente en lmites limx0 1/|x| = valor absoluto |a + bi | = (a + b) valor absoluto de nmeros

|x| significa: la distancia en la recta real (o en el plano complejo) entre x y zero

Anlisis funcional
Smbolo Nombre norma se lee como norma de; longitud de Categora anlisis funcional

x es la norma del elemento x de un espacio vectorial normado x+y x + y

Clculo
Smbolo Nombre integracin
b a

se lee como integral desde ... hasta ... de ... con respecto a ...

Categora clculo

f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre x = a y x = b 0 x dx = b/3; x dx = x/3 derivacin derivada de f; f prima clculo
b

f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la tangente en ese lugar. Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2 gradiente del, nabla, gradiente de clculo

f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn) Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z) derivada parcial derivada parcial de clculo

Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras variables mantenidas constantes. Si f(x, y) = xy, entonces f/x = 2xy

Ortogonalidad
Smbolo Nombre perpendicular x se lee como es perpendicular a Categora ortogonalidad

y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

Combinatoria
Smbolo factorial Nombre factorial se lee como combinatoria Categora

n! es el producto 12...n 4! = 24

rdenes parciales
Smbolo Nombre comparacin se lee como es menor a, es mayor a Categora rdenes parciales

x < y significa: x es menor a y; x > y significa: x es mayor a y 3 <4 5 >4

Smbolo

Nombre comparacin

se lee como es menor o igual a, es mayor o igual a

Categora rdenes parciales

x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y x 1 x x

lgebra matricial
Smbolo Nombre perpendicular se lee como traspuesta matrices y vectores Categora

(a,b) con al lado o a modo de potencia significa que el vector se debe colocar no de izquierda a derecha, sino de arriba a abajo. En numerosos trabajos de investigacin se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teora de rejas
Smbolo fondo x= Nombre se lee como el elemento fondo significa: x es el elemento ms pequeo. Categora teora de rejas

Geometra eucldea
Smbolo pi Nombre pi se lee como Geometra euclideana Categora

significa: la razn de la circunferencia a su dimetro. A = r es el rea de un crculo con radio r

Teora de conjuntos
Smbolo
Nombre delimitadores de conjunto el conjunto de ... se lee como Categora teora de conjuntos

{a,b,c} significa: el conjunto consistente de a, b, y c N = {0,1,2,...} notacin constructora de conjuntos el conjunto de los elementos ... tales que ... teora de conjuntos

{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)} es lo mismo que {x : P(x)}. {n N : n < 20} = {0,1,2,3,4} conjunto vaco conjunto vaco teora de conjuntos

{} significa: el conjunto que no tiene elementos; es la misma cosa. {n N : 1 < n < 4} = {} pertenencia de conjuntos en; est en; es elemento de; es miembro de; pertenece a teora de conjuntos

a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S (1/2)


1

N; 2

N es subconjunto de teora de conjuntos

subconjunto

A B significa: cada elemento de A es tambin elemento de B A B significa: A B pero A B A B A; Q R unin de conjuntos la unin de ... y ...; unin teora de conjuntos

A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos de B, pero ningn otro. AB AB=B interseccin de conjuntos la interseccin de ... y ...; interseccin teora de conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn. {x R : x = 1} N = {1} complemento de un conjunto menos; sin teora de conjuntos

A \ B significa: el conjunto que contiene todos aquellos elementos de A que no se encuentran en B {1,2,3,4} \ {3,4,5,6} = {1,2}

Conclusin

Las matemticas se valen de un dialecto o lenguaje coloquial para expresarse en forma concisa, abreviada e universal. Los smbolos matemticos son signos que para el estudio de las matemticas debemos conocer. Los smbolos matemticos facilitan la escritura de frmulas y nos ayudan a interpretar mejor las matemticas. Las matemticas vienen siendo el estudio de las relaciones entre cantidades, magnitudes y propiedades, y de las operaciones lgicas utilizadas para deducir cantidades, magnitudes y propiedades desconocidas. Hacia mediados del siglo XIX las matemticas se empezaron a considerar, como la ciencia de las relaciones, o como la ciencia que produce condiciones necesarias. Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio a.C., en Babilonia y Egipto. Estas matemticas estaban dominadas por la aritmtica, con cierto inters en medidas y clculos geomtricos y sin mencin de conceptos matemticos como los axiomas o las demostraciones. El conocimiento matemtico del mundo moderno est avanzando ms rpido que nunca. Teoras que eran completamente distintas se han reunido para formar teoras ms completas y abstractas.

Bibliografa

www.google.co.ve/#hl=es&tbo=d&sclient=psy-ab&q=simbolos+matematicos

http://www.enciclonet.com/articulo/simbolos-matematicos/

http://soloformulas.com/smbolos-logicos.html

http://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_matem%C3%A1ticos