Tabla de símbolos matemáticos
Genéricos
Símbolo Nombre se lee como Categoría
igualdad igual a todos
= x = y significa: x y y son nombres diferentes para precisamente la misma
cosa.
1 + 2 = 6 − 3
definición se define como todos
:= x := y o x ≡ y significa: x se define como otro nombre para y (notar, sin
≡ embargo, que ≡ puede también significar otras cosas, como
congruencia)
:⇔ P :⇔ Q significa: P se define como lógicamente equivalente a Q
cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)
Aritmetica
Símbolo Nombre se lee como Categoría
adición mas aritmética
+ 4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado,
es 10.
43 + 65 = 108; 2 + 7 = 9
substracción menos aritmética
9 − 4 = 5 significa que si 4 es restado de 9, el resultado será 5. El
−- símbolo 'menos' también se utiliza para denotar que un número es
negativo. Por ejemplo, 5 + (−3) = 2 significa que si 'cinco' y 'menos tres'
son sumados, el resultado es 'dos'.
87 − 36 = 51
× multiplicación por aritmética
significa que si se cuenta siete veces seis, el resultado será
· 42.
*
división entre aritmética
÷ significa que si se hace seis pedazos uniformes de cuarenta y
/ dos, cada pedazo será de tamaño siete.
24 / 6 = 4
suma sobre ... desde ... hasta ...
sumatoria aritmética
de
∑ ∑k=1n ak significa: a1 + a2 + ... + an
∑k=14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30
producto sobre... desde ...
producto aritmética
hasta ... de
∏ ∏k=1n ak significa: a1a2···an
∏k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 × 4 × 5 × 6 = 360
Lógica proposicional
Símbolo Nombre se lee como Categoría
implica; si ..
implicación material lógica proposicional
entonces
A ⇒ B significa: si A es verdadero entonces B es verdadero también;
⇒ si A es falso entonces nada se dice sobre B.
→ puede significar lo mismo que ⇒, o puede ser usado para denotar
→ funciones, como se indica más abajo.
x = 2 ⇒ x2 = 4 es verdadera, pero x2 = 4 ⇒ x = 2 es, en general, falso
(yq que x podría ser −2)
equivalencia material si y sólo si; ssi lógica 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
conjunción lógica lógica proposicional,
y
o intersección en una reja teoría de rejas
∧ la proposición A ∧ B es veradera si A y B son ambas verdaderas; de otra
manera es falsa.
n < 4 ∧ n > 2 ⇔ n = 3 cuando n es un número natural
disjunción lógica o unión en lógica proposicional,
o
una reja teoría de rejas
∨ la proposición A ∨ B es verdadera si A o B (o ambas) son verdaderas; si
ambas son falsas, la proposición es falsa.
n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 cuando n es un número natural
negación lógica no lógica proposicional
¬ la proposición ¬A es verdadera si y sólo si A es falsa.
un "slash" colocado sobre otro operador es equivalente a "¬" colocado
/ enfrente.
¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S ⇔ ¬(x ∈ S)
Lógica de predicados
Símbolo Nombre se lee como Categoría
cuantificación para todos; para cualquier; lógica de
universal para cada predicados
∀ ∀ x: P(x) significa: P(x) es verdadera para cualquier x
∀ n ∈ N: n2 ≥ n
cuantificación lógica de
existe
existencial predicados
∃ ∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n
lógica de
tal que
predicados
: ∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n
Teoría de conjuntos
Símbolo Nombre se lee como Categoría
delimitadores de teoría de
el conjunto de ...
conjunto conjuntos
{,} {a,b,c} significa: el conjunto consistente de a, b, y c
N = {0,1,2,...}
notación constructora el conjunto de los elementos ... teoría de
{ : } de conjuntos tales que ... 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 : n2 < 20} = {0,1,2,3,4}
teoría de
conjunto vacío conjunto vacío
conjuntos
{} {} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.
{n ∈ N : 1 < n2 < 4} = {}
membresía de en; está en; es elemento de; es teoría de
conjuntos miembro de; 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; 2−1 ∉ N
teoría de
subconjunto es subconjunto de
⊆ A ⊆ B significa: cada elemento de A es también elemento de B
conjuntos
⊂ A ⊂ B significa: A ⊆ B pero A ≠ B
A ∩ B ⊆ A; Q ⊂ R
unión conjunto- teoría de
la unión de ... y ...; unión
teorética conjuntos
∪ A ∪ B significa: el conjunto que contiene todos los elementos de A y
también todos aquellos de B, pero ningún otro.
A ⊆ B ⇔ A ∪ B = B
intersección conjunto- la intersección de ... y ...; teoría de
teorética intersección conjuntos
∩ A ∩ B significa: el conjunto que contiene todos aquellos elementos
que A y B tienen en común.
{x ∈ R : x2 = 1} ∩ N = {1}
complemento conjunto- teoría de
menos; sin
teorético 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
Símbolo Nombre se lee como Categoría
aplicación de función; agrupamiento de funciones
() para aplicación de función: f(x) significa: el valor de la
función f sobre el elemento x
[] para agrupamiento: realizar primero las operaciones dentro del
paréntesis.
{} If f(x) := x2, entonces f(3) = 32 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) =
8/2 = 4
mapeo funcional de ... a funciones
f:X→ f: X → Y significa: la función f mapea el conjunto X al conjunto Y
Considérese la función f: Z → N definida por f(x) = x2
Y
Números
Símbolo Nombre se lee como Categoría
números naturales N números
N N significa: {0,1,2,3,...}, pero véase el artículo números naturales para
una convención diferente.
{|a| : a ∈ Z} = N
números enteros Z números
Z Z significa: {...,−3,−2,−1,0,1,2,3,...}
{a : |a| ∈ N} = Z
números
Q números
racionales
Q Q significa: {p/q : p,q ∈ Z, q ≠ 0}
3.14 ∈ Q; π ∉ Q
números reales R números
R R significa: {limn→∞ an : ∀ n ∈ N: an ∈ Q, el límite existe}
π ∈ R; √(−1) ∉ R
números
C números
complejos
C C significa: {a + bi : a,b ∈ R}
i = √(−1) ∈ C
la raíz cuadrada de; la principal raíz
raíz cuadrada números reales
cuadrada de
√ √x significa: el número positivo cuyo cuadrado es x
√(x2) = |x|
infinito infinito números
∞ ∞ es un elemento de la línea extendida de números reales mayor que
todos los números reales; ocurre frecuentemente en límites
limx→0 1/|x| = ∞
valor absoluto valor absoluto de números
| | |x| significa: la distancia en la línea real (o en el plano complejo) entre x y
zero
|a + bi| = √(a2 + b2)
Órdenes parciales
Símbolo Nombre se lee como Categoría
< comparación es menor que, es mayor que órdenes parciales
x < y significa: x es menor que y; x > y significa: x es mayor que y
> x < y ⇔ y > x
comparación 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 ⇒ x2 ≥ x
Geometría eucliedeana
Símbolo Nombre se lee como Categoría
pi pi Geometría euclideana
π significa: la razón de la circunferencia de un círculo a su diámetro.
π A = πr² es el área de un círculo con radio r
Combinatoria
Símbolo Nombre se lee como Categoría
factorial factorial combinatoria
! n! es el producto 1×2×...×n
4! = 24
Análisis funcional
Símbolo Nombre se lee como Categoría
norma norma de; longitud de análisis funcional
||x|| es la norma del elemento x de un espacio vectorial normado
|| || ||x+y|| ≤ ||x|| + ||y||
Cálculo
Símbolo Nombre se lee como Categoría
integral desde ... hasta ... de ... con
integración cálculo
respecto a ...
∫ ∫ab f(x) dx significa: el área, con signo, entre el eje-x y la gráfica de la
función f entre x = a y x = b
∫0b x2 dx = b3/3; ∫x2 dx = x3/3
derivación derivada de f; f prima cálculo
f ' f '(x) es la derivada de la función f en el punto x, esto es, la pendiente de
la tangente en ese lugar.
Si f(x) = x2, entonces f '(x) = 2x y f ''(x) = 2
gradiente del, nabla, gradiente de cálculo
∇ ∇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)
derivación parcial derivada parcial de cálculo
∂ 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) = x2y, entonces ∂f/∂x = 2xy
Ortogonalidad
Símbolo Nombre se lee como Categoría
perpendicular es perpendicular a ortogonalidad
⊥ x ⊥ y significa: x es perpendicular a y; o, más generalmente, x es
ortogonal a y.
Teoría de rejas
Símbolo Nombre se lee como Categoría
fondo el elemento fondo teoría de rejas
⊥ x = ⊥ significa: x es el elemento más pequeño.
