Anexo:Smbolos matemticos

Los smbolos matemticos incluyen:

ndice
1 Genricos
1.1
1.2

1.3
2 Aritmtica y lgebra
2.1
2.2
2.3
2.4
2.5
2.6
3 Lgica proposicional
3.1
3.2
3.3
3.4
3.5
4 Lgica de predicados
4.1
4.2
4.3
4.4
5 Teora de conjuntos
5.1
5.2
5.3
5.4
5.5
5.6
5.7
5.8
6 Funciones
6.1
6.2
6.3
7 Nmeros
7.1
7.2
7.3
7.4
7.5
7.6
7.7
7.8
8 rdenes parciales
 8.1
8.2
9 Geometra eucldea
9.1
10 Combinatoria
10.1
11 Anlisis funcional
11.1
12 Clculo diferencial
12.1

12.2
12.3
12.4
13 Ortogonalidad
13.1
14 lgebra matricial
14.1
15 Teora de rejas
15.1
16 Vase tambin
17 Referencias
18 Enlaces externos

Genricos
Smbolo Nombre se lee como Categora
igualdad igual a todos
x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente.
1 + 2 = 6 3, 36 - 11 = 25
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)
ad infinitum o sucesin matemtica se repite/progresin todos
0, 1, 2, 3, ... 18 y a1, a2, a3, ...a7 y a1, a2, a3, ...an se entiende que la progresin se extiende hasta el
nmero o valor indicado. En estos casos, 18, 7 y algn natural n respectivamente.

1, 2, 3, 4, ... y a1, a2, a3, ... y a1, a2, a3, ... se entiende que cada progresin se extiende
infinitamente1
2, 4, 6, 8, ... se entiende que hay un incremento progresivo segn el patrn hasta el infinito.
... 4, 3, 2, 1, 0, 1, 2, 3, 4, ... se entiende que decrementa progresivamente hacia la izquierda y
que aumenta progresivamente hacia la derecha, y se extiende infinitamente en ambos sentidos.

3,14159265358979323846... se entiende que el valor del smbolo pi es aproximadamente

3,14159265358979323846 pero que los siguientes dgitos conocidos y desconocidos se extienden
hasta el infinito2 .
 o se entiende como suma de
fracciones peridicas.

se entiende como una matriz de progresin donde los

elementos comienzan por la fila y columna de subndice 1 y terminan en la fila de subndice 2324,
y la columna de subndice 127.

se entiende que el nmero ureo es igual 1 sumado la fraccin de 1

sobre la repeticin infinita de la misma ecuacin.

x = 1 + 2 + 3 + ... + 54

Aritmtica y lgebra
Smbolo Nombre se lee como Categora
adicin ms aritmtica y lgebra
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.
43 + 65 = 108; 2 + 7 = 9
sustraccin menos aritmtica
36-5 = 31 significa que si 5 es restado de 36, el resultado ser 31. El smbolo 'menos' tambin se
utiliza para denotar que un nmero es negativo. Por ejemplo, 36 + (55) = 36-55 = -19 significa
que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'.
36-5 = 31; 36-55=-19

multiplicacin por aritmtica

7 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42.

4 6 = 24 4 * 6 = 24 4 6 = 24

divisin entre, dividido por aritmtica

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

sumatorio suma sobre ... desde ... hasta ... de aritmtica

k=1n ak significa: a1 + a2 + ... + an

4
 k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30
productorio producto sobre... desde ... hasta ... de aritmtica
k=1n ak significa: a1a2an
k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

Lgica proposicional
Smbolo Nombre se lee como Categora
implicacin material o en un solo implica; si .. entonces; por lo
lgica proposicional
sentido 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, syss3 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 lgica proposicional, teora de
y
una reja rejas
la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural
lgica proposicional, teora de
disyuncin lgica o unin en una reja o,
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 puesta sobre otro operador es equivalente a un puesto a la izquierda.

(A B) (A) (B); x S (x S)

Lgica de predicados
cuantificador universal para todos; para cualquier; para cada 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 = 2n
cuantificador existencial con marca de
existe un/os nico/s lgica de predicados
unicidad
! x : P(x) significa: existe un nico x tal que P(x) es verdadera.
 ! n N: n + 1 = 2
reluz tal que lgica de predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n

Teora de conjuntos
Smbolo Nombre se lee como Categora
teora de
delimitadores de conjunto el conjunto de ...
conjuntos
{a,b,c} significa: el conjunto que contiene a, b, y c
N = {0,1,2,...}
notacin constructora de teora de
el conjunto de los elementos ... tales que ...
conjuntos 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}
teora de
conjunto vaco conjunto vaco
conjuntos
{} significa: el conjunto que no tiene elementos; es la misma cosa.
{n N : 1 < n < 4} = {}
en; est en; es elemento de; es miembro de; teora de
pertenencia de conjuntos
pertenece a conjuntos
a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S
(1/2)1 N; 21 N
teora de
subconjunto es subconjunto de
conjuntos
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
teora de
unin de conjuntos la unin de ... y ...; unin
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
teora de
interseccin de conjuntos la interseccin de ... y ...; interseccin
conjuntos
A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn.
{x R : x = 1} N = {1}
teora de
diferencia de conjuntos menos; sin
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}

Funciones
Smbolo Nombre se lee como Categora
aplicacin de funcin; agrupamiento de 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
Funciones de Suelo y Techo Suelo de, Techo de funciones
La funcin suelo asigna el entero ms prximo por defecto, la funcin techo asigna el entero ms
prximo por exceso.
Si x=1.5, entonces x =1 y x =2

Nmeros
Smbolo Nombre se lee como Categora
nmeros naturales N nmeros
N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente.
{|a| : a Z} = N
nmeros enteros Z nmeros
Z significa: {...,3,2,1,0,1,2,3,4,...}
{a : |a| N} = Z
nmeros racionales Q nmeros
Q significa: {p/q : p, q Z, q 0}
3.14 Q; Q
nmeros reales R nmeros
R significa: {limn an : n N: an Q, el lmite existe}
R; (1) R
nmeros complejos C nmeros
C significa: {a + bi : a, b R}
i = (1) C
raz cuadrada la raz cuadrada de; la principal raz cuadrada de nmeros reales
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 valor absoluto de nmeros
|x| significa: la distancia en la recta real (o en el plano complejo) entre x y [[zero], se le llama
tambin mdulo]
|a + bi | = (a+ b)

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

x < y significa: x es menor a y; x > y significa: x es mayor a y

3 <4 5 >4
Smbolo Nombre se lee como Categora
comparacin es menor o igual a, es mayor o igual a 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

Geometra eucldea
Smbolo Nombre se lee como Categora
pi pi Geometra euclideana
significa: la razn de la circunferencia a su dimetro.
A = r es el rea de un crculo con radio "r"

Combinatoria
Smbolo Nombre se lee como Categora
factorial factorial de combinatoria
n! es el producto 12...n
4! = 24

Anlisis funcional
Smbolo Nombre se lee como Categora
norma norma de; longitud de anlisis funcional
es la norma del elemento x de un espacio vectorial normado
desigualdad triangular de un espacio normado

Clculo diferencial
Smbolo Nombre se lee como Categora
integracin integral desde ... hasta ... de ... con respecto a ... clculo

ab 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

0b x dx = b/3; x dx = x/3

derivacin derivada de f; f prima clculo

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 se lee como Categora
perpendicular es perpendicular a ortogonalidad

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

lgebra matricial
Smbolo Nombre se lee como Categora
perpendicular traspuesta matrices y vectores
(a,b) con al lado o a modo de potencia significa que el vector se debe ubicar 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 Nombre se lee como Categora
fondo el elemento fondo teora de rejas

x= significa: x es el elemento ms pequeo.

Vase tambin
Wikipedia: Cmo se edita una pgina contiene informacin acerca de cmo producir smbolos
matemticos en otros artculos

Referencias
1. What is the difference between \ldots and \cdots (http://tex.stackexchange.com/questions/1
17730/what-is-the-differen
ce-between-ldots-and-cdots). TeX - LaTeX Stack Exchange. Consultado el 13 de noviembre de 2015.
2. Franois Vite
3. sii y syss son usados por los matemticos como jerga ocasional, pero no estn reconocidos como trminos estndar, por
lo que tampoco suelen aparecer en textos formales.

Enlaces externos
Smbolos matemticos.
TCAEP - Institute of Physics, "Mathematical Symbols". (en ingls)
Jeff Miller. "Earliest Uses de Various Mathematical Symbols". (en ingls)
Obtenido de https://es.wikipedia.org/w/index.php?title=Anexo:Smbolos_matemticos&oldid=100263010

Se edit esta pgina por ltima vez el 4 jul 2017 a las 21:36.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.