Anda di halaman 1dari 6

Notacin matemtica

Notacin matemtica
La matemtica se apoya en un lenguaje simblico formal, la notacin matemtica, que sigue una serie de convenciones propias. Los smbolos representan un concepto, una relacin una operacin, o una frmula matemtica segn ciertas reglas. Estos smbolos no deben considerarse abreviaturas, sino entidades con valor propio y autnomo. Algunos principios bsicos son: Los smbolos de una letra se representan en letra cursiva: , etc. Los smbolos de varias letras se representan en letra redonda: , etc.; en lugar de no debe escribirse , porque eso representara el producto en lugar del logaritmo neperiano. Segn la norma ISO 31 los operadores diferenciales y las constantes matemticas universales ( ), tambin se escriben con letra redonda: .[1]
raz cuadrada de x.

Teora de conjuntos
Sean un elemento y conjuntos
Relacin pertenencia inclusin Notacin x pertenece a A A est contenido en B A est contenido en B o es igual que B inclusin A contiene a B A contiene a B o es igual que B Se lee

Una barra cruzada sobre el smbolo niega el enunciado; por ejemplo

es "x no pertenece a A";

Conjuntos numricos
La siguiente tabla recoge algunos ejemplos de smbolos que utilizan blackboard bold. Se muestra el smbolo creado con LaTeX, el carcter Unicode equivalente (podra no ser visible dependiendo del navegador y los tipos de letra disponibles), y su significado habitual en matemticas:

Notacin matemtica

TeX Unicode Uso en matemticas Nmeros complejos Cuaterniones Nmeros naturales Nmeros primos Nmeros racionales Nmeros reales Esfera Nmeros enteros

Conjuntos numricos especiales

Expresiones
Relacin igualdad menor que mayor que aproximado Notacin Se lee x es igual a y x es menor que y x es mayor que y x es aproximadamente igual a y

Notacin matemtica

cuantificador cuantificador universal cuantificador existencial cuantificador existencial con marca de unicidad tal que por lo tanto

!Notacin

Se lee para todo x Existe por lo menos un x Existe un nico x

o bien

x, tal que y x, por lo tanto y

Ejemplo: Teorema de Weierstrass: "Sea f una funcin real continua en un intervalo real cerrado y acotado [a, b], donde a es estrictamente menor que b. Se tiene que: La funcin f est acotada. La funcin f alcanza un mximo y un mnimo en dicho intervalo, no necesariamente nicos." Este teorema se puede expresar con notacin matemtica de la siguiente forma: " ".

Lgica proposicional, lgebra de Boole


Operadores bsicos
Los operadores lgicos ms bsicos son la conjuncin, la disyuncin, y la negacin. Sean y dos proposiciones
Operacin Notacin Se lee Negacin Conjuncin Disyuncin no 'p' 'p' y 'q' 'p' o 'q'

Los operadores bsicos se usan para formar declaraciones atmicas. Las declaraciones atmicas dicen cual combinacin de pp y qq es verdad.

Implicacin
Una combinacin muy til de los operadores matemticos es la implicacin. Se escribe abreviatura de . Si ". Uno de los usos ms comunes de los operadores lgicos se encuentra en la Programacin de Sistemas de Informacin, as como en la generacin de circuitos elctricos, y en general en cualquier sistema de toma de decisiones para la empresa o para la vida cotidiana, por ejemplo: Si salgo tarde de mi casa y no tengo vehculo, entonces llegar tarde al trabajo. Conjuncin|Salgo tarde no tengo vehculo llegar tarde al trabajo. y , se escribe , que se lee " implica y es implicada por ", o bien " si y slo si . La declaracin " implica " es falsa siempre que o como sea verdad pero no necesariamente

Si decimos Aqu no hay nadie y aplicamos literalmente la doble negacin expresada en nuestro hablar cotidiano entonces podramos asegurar que Aqu hay alguien.

Notacin matemtica Negacin lgica| hay nadie Aqu hay alguien

Viajo en autobs o viajo en mi coche, no las dos cosas a la vez. (al autor: por favor considera un ejemplo diferente. Parece ser que has introducido una disyuncin exclusiva referida a la disyuncin lgica que pones en el siguiente enlace) Disyuncin lgica| viajo en bus viajo en mi auto o lo uno o lo otro

Si mi empresa no produce nada quiere decir que mi empresa 'produce algo'. Negacin| produce nada Produce algo

Cuantificadores
Hasta ahora las declaraciones que podemos hacer no dicen cundo son verdades. Para decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. Hay tres cuantificadores bsicos: el cuantificador universal, el cuantificador existencial y el cuantificador existencial con marca de unicidad. Aqu estn los smbolos.
Nombre cuantificador universal cuantificador existencial cuantificador existencial con marca de unicidad Notacin Se lee Para todo x... Existe por lo menos un x... Existe un nico x...

Las declaraciones cuantificadas se escriben en la forma que " y "existe por lo menos un tal que que es verdad". Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya que En palabras, decir "no es para todo

que se leen "para todo

, es verdad .

dice lo mismo que dice tal que es falsa".

es verdad" es igual que decir "existe

Anlisis matemtico
Anlisis real
Lmites Para decir que el lmite de la funcin o bien Igualmente, para decir que la sucesin o bien Derivadas Derivadas ordinarias Se define la derivada de una funcin como el lmite del cociente del cambio en la ordenada y la abscisa. Hay varias notaciones para denotar la derivada de una funcin de una sola variable: . es . va cuando tiende a la infinidad, se escribe: cuando tiende , se escribe:

Las derivadas serian:

Notacin matemtica Derivadas parciales Si la funcin depende de dos o ms variable, por ejemplo:

Las derivadas parciales respecto a cada una de las variables independientes:

Miscelneos
Funciones Para decir que una funcin Tabla de Smbolos En matemtica, existe un conjunto de smbolos que son frecuentemente utilizados en la formacin de expresiones matemticas. Debido a que los matemticos estn familiarizados con estos smbolos, los mismos no requieren ser explicados cada vez que se utilizan. En vista de esto, para beneficio de los matemticos novatos, en el Anexo:Tabla de smbolos matemticos y Anexo:Constantes matemticas se lista muchos de estos smbolos comunes, junto con su nombre, pronunciacin y el campo de las matemticas con el que se relacionan. Adicionalmente, la segunda lnea contiene una definicin informal, mientras que la tercera provee un ejemplo breve. Nota: Si algunos de los smbolos no se muestran correctamente en tu pantalla, podra ser que tu navegador no implemente correctamente el estndar HTML 4 sobre codificacin de caracteres o, alternativamente, que te falte instalar alguna fuente requerida adicional. va desde el espacio al espacio , se escribe .

Notas
[1] Aunque en ocasiones, es complicado adherirse a esta regla. Considrese, por ej. que el TeX genera todas las letras individuales en cursivas; para que aparezcan en redondas, hay que efectuar el cambio de la fuente.

Enlaces externos
Evolucin de los signos aritmticos (http://www.albaiges.com/matematicas/ historiamatematicas\evolucionsignosaritmeticos.htm) Ortotipografa y notaciones matemticas. (http://www.tex-tipografia.com/archive/ortomatem.pdf)

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo


Notacin matemtica Fuente: http://es.wikipedia.org/w/index.php?oldid=72166347 Contribuyentes: Acratta, Albemi, Allforrous, AnselmiJuan, Armin76, Baiji, Bigsus, C'est moi, Canopus, Chien, Cobalttempest, Danakil, Dangelin5, DarkInVader, David0811, Diegusjaimes, Dnu72, Dodo, Egaida, Farisori, Faustito, GermanX, Humberto, Ingenioso Hidalgo, Javier Bezos, Jkbw, JorgeGG, Joseaperez, Juan Marquez, Juan Mayordomo, Julian Mendez, Kadellar, Karlisse, L30nc1t0, Laura Fiorucci, Leonpolanco, Linfocito B, LordT, Maldoror, Matdrodes, Math Master, Milesios, Nemo, NonoalcoBoy, PabloCastellano, Platonides, PoliTopo, Pybalo, Plux, Raulshc, Sabbut, Santiperez, Sempiedram, SuperBraulio13, Tirithel, Vivero, Xatufan, Yeza, rico Jnior Wouters, 195 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes


Archivo:Racine carre bleue.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Racine_carre_bleue.svg Licencia: GNU Lesser General Public License Contribuyentes: historicair 17:50, 4 June 2007 (UTC)

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/