Notacin matemtica

1
Notacin matemtica
La matemtica se apoya en un lenguaje simblico formal que sigue una serie de convenciones propias. Los smbolos
representan un concepto, una operacin, una entidad 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.; no debe escribirse en lugar
de porque eso representara el producto en lugar del logaritmo neperiano.
Segn la norma ISO 31 los operadores diferenciales y las constantes matemticas universales (i, e), tambin se
escriben con letra redonda: .
Teora de conjuntos
Sean un elemento y conjuntos
Operacin Notacin Se lee
pertenencia x pertenece a A
inclusin 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
Una barra cruzada sobre el smbolo niega el enunciado; por ejemplo es "x no pertenece a A";
Expresiones
Operacin Notacin Se lee
igualdad x es igual a y
menor que x es menor que y
mayor que x es mayor que y
aproximado x es aproximadamente igual a y
Notacin Se lee
cuantificador universal para todo x
cuantificador existencial Existe por lo menos un x
cuantificador existencial con marca de
unicidad
Existe un nico x
tal que
o bien
x, tal que y
por lo tanto 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.
Notacin matemtica
2
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 no p
Conjuncin p y q
Disyuncin p 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 o como
abreviatura de . La declaracin " implica " es falsa siempre que sea verdad pero no necesariamente
.
Si y , se escribe , que se lee " implica y es implicada por ", o bien " si y slo 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.
Si decimos Aqu no hay nadie y aplicamos literalmente la doble negacin expresada en nuestro hablar cotidiano
entonces podramos asegurar que Aqu hay alguien.
Negacin| hay nadie Aqu hay alguien
Viajo en bus o viajo en mi auto, no las dos cosas a la vez.
Disyuncin| 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
Notacin matemtica
3
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 Notacin Se lee
cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...
cuantificador existencial con marca de
unicidad
Existe un nico x...
Las declaraciones cuantificadas se escriben en la forma que se leen "para todo , es verdad
que " y "existe por lo menos un tal que es verdad".
En realidad, estos dos ltimos cuantificadores son iguales, ya que dice lo mismo que dice . En
palabras, decir "no es para todo que es verdad" es igual que decir "existe tal que es falsa".
Teora de nmeros
Conjuntos numricos especiales
Notacin matemtica
4
Anlisis matemtico
Anlisis real
Lmites
Para decir que el lmite de la funcin es cuando tiende , se escribe:
o bien .
Igualmente, para decir que la sucesin va cuando tiende a la infinidad, se escribe:
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:
Las derivadas serian:
Derivadas parciales
Si la funcin depende de dos o mas variable, por ejemplo:
Las derivadas parciales respecto a cada una de las variables independientes:
la derivada mide la rapidez de cambio de una funcin con respecto a una o ms variables geometricamente se
interpreta como la pendiente de la recta tangente a una curva en un punto ,...
Miscelneos
Funciones
Para decir que una funcin va desde el espacio al espacio , se escribe .
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, la tabla siguiente 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
Notacin matemtica
5
instalar alguna fuente requerida adicional.
Enlaces externos
Evolucin de los signos aritmticos
[1]
Ortotipografa y notaciones matemticas.
[2]
Referencias
[1] http:/ / www. albaiges.com/ matematicas/ historiamatematicas%5Cevolucionsignosaritmeticos. htm
[2] http:/ / www. tex-tipografia. com/ archive/ ortomatem. pdf
Fuentes y contribuyentes del artculo
6
Fuentes y contribuyentes del artculo
Notacin matemtica Fuente: http://es.wikipedia.org/w/index.php?oldid=39736538 Contribuyentes: Albemi, 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, JorgeGG, Joseaperez, Juan Marquez, Juan
Mayordomo, Julian Mendez, Kadellar, Karlisse, L30nc1t0, Linfocito B, LordT, Maldoror, Matdrodes, Math Master, Nemo, PabloCastellano, Platonides, PoLuX124, Pybalo, Sabbut, Santiperez,
Tirithel, Vivero, Xatufan, Yeza, 155 ediciones annimas
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/