Símbolos Matemáticos

Genéricos

Símbolo

Nombre

igualdad

se lee como

igual a

Categoría

todos

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

1 + 2 = 6 − 3

se define como

todos

x := y o xy 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)

Aritmética

Símbolo

Nombre

adición

se lee como

más

Categoría

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

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

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

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo será de tamaño siete.

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

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

k=14 k² = 1² + 2² + 3² + 4² = 1 + 4 + 9 + 16 = 30

producto sobre... desde ... 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

se lee como

implica; si .. entonces; por lo tanto

AB significa: si A es verdadero entonces B es verdadero también; 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 más abajo.

x = 2 ⇒ x² = 4 es verdadera, pero 4 = x² ⇒ x = 2 es, en general, falso (ya que x podría ser −2)

/ tal que ejemplo x/y se lee x tal que y

AB significa: A es verdadera si B es verdadera y A es falsa si B es falsa.

x + 5 = y + 2 ⇔ x + 3 = y

si y sólo si; sii, syss1

la proposición AB 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 número natural

la proposición AB 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

la proposición ¬A es verdadera si y sólo si A es falsa.

una barra colocada sobre otro operador es equivalente a un ¬ colocado a la izquierda.

¬(AB) ⇔ (¬A) ∨ (¬B); xS ⇔ ¬(xS)

Lógica de predicados

Símbolo

se lee como

para todos; para cualquier; para cada

x : P(x) significa: P(x) es verdadera para cualquier x

nN: n² ≥ n

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

nN: n + 5 = 2n

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

∃! nN: n + 1 = 2

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

nN: n + 5 = 2n

Teoría de conjuntos

Símbolo

Nombre

delimitadores de conjunto

se lee como

el conjunto de ...

{a,b,c} significa: el conjunto consistente de a, b, y c

N = {0,1,2,...}

notación constructora de conjuntos

el conjunto de los elementos ... tales que ...

{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)}.

{nN : n² < 20} = {0,1,2,3,4}

{} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.

{nN : 1 < n² < 4} = {}

pertenencia de conjuntos

en; está en; es elemento de; es miembro de; pertenece a

aS significa: a es elemento del conjunto S; aS significa: a no es elemento del conjunto S

(1/2)−1N; 2−1N

es subconjunto de

AB significa: cada elemento de A es también elemento de B

AB significa: AB pero AB

ABA; QR

la unión de ... y ...; unión

AB significa: el conjunto que contiene todos los elementos de A y también todos aquellos de B, pero ningún otro.

ABAB = B

la intersección de ... y ...; intersección

AB significa: el conjunto que contiene todos aquellos elementos que A y B tienen en común.

{xR : x² = 1} ∩ N = {1}

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

aplicación de función; agrupamiento

se lee como

de

Categoría

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.

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

f: XY significa: la función f mapea el conjunto X al conjunto Y

Considérese la función f: ZN definida por f(x) = x²

Números

Símbolo

se lee como

N

Categoría

números

N significa: {1,2,3,...}, pero véase el artículo números naturales para una convención diferente.

{|a| : aZ} = N

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

{a : |a| ∈ N} = Z

Q significa: {p/q : p, qZ, q ≠ 0}

3.14 ∈ Q; π ∉ Q

R significa: {limn→∞ an : ∀ nN: anQ, el límite existe}

π ∈ R; √(−1) ∉ R

C significa: {a + bi : a, bR}

i = √(−1) ∈ C

la raíz cuadrada de; la principal raíz cuadrada de

x significa: el número positivo cuyo cuadrado es x

√(x²) = |x|

∞ es un elemento de la recta real extendida mayor que todos los números reales; ocurre frecuentemente en límites

limx→0 1/|x| = ∞

valor absoluto de

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

|a + bi | = √(a² + b²)

Órdenes parciales

Símbolo

Nombre

comparación

se lee como

es menor a, es mayor a

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

3 > 4 5 > 4

Símbolo

Nombre

comparación

se lee como

es menor o igual a, es mayor o igual a

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

x ≥ 1 ⇒ x² ≥ x

Geometría euclídea

Símbolo

Nombre

pi

se lee como

pi

π significa: la razón de la circunferencia a su diámetro.

A = πr² es el área de un círculo con radio r

Combinatoria

Símbolo

Nombre

factorial

se lee como

factorial

Categoría

combinatoria

n! es el producto 1×2×...×n

4! = 24

Análisis funcional

Símbolo

Nombre

norma

se lee como

norma de; longitud de

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

x+yx + y

Cálculo

Símbolo

se lee como

integral desde ... hasta ... de ... con respecto a ...

Categoría

cálculo

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 x² dx = b³/3; ∫x² dx = x³/3

derivada de f; f prima

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) = x², entonces f '(x) = 2x y f ' '(x) = 2

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 de

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) = x²y, entonces ∂f/∂x = 2xy

Ortogonalidad

Símbolo

se lee como

es perpendicular a

Categoría

ortogonalidad

x

y significa: x es perpendicular a y; o, más generalmente, x es ortogonal a y.

Álgebra matricial

Símbolo

se lee como

traspuesta

Categoría

matrices y vectores

(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 investigación se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teoría de rejas

Símbolo

Nombre

fondo

se lee como

el elemento fondo

x =

significa: x es el elemento más pequeño.