Anexo:Símbolos matemáticos

imágenes de los símbolos matemáticos

Genéricos

Nombre	se lee como	Categoría
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
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 $\lor$ B) $\land$ ¬(A $\land$ B)
ad infinitum o sucesión matemática	se repite/progresión	todos
$1, 2, 3, 4, \dots$ y $a_1, a_2, a_3, \dots, a_n$ y $a_1 \rightarrow \dots \rightarrow a_n$ se entiende que la progresión se extiende infinitamente^[1] $2, 4, 6, 8, \dots$ se entiende que hay un incremento progresivo según el patrón hasta el infinito. $\pi \approx 3,14159265358979323846\dots$ se entiende que el valor del símbolo pi es aproximadamente 3,14159265358979323846 pero que los siguientes dígitos conocidos y desconocidos se extienden hasta el infinito^[2]. $0, 1, 2, 3, 4, \dots, 18$ y $a_1 \rightarrow \dots \rightarrow a_7$ se entiende que la progresión se extiende hasta el número o valor indicado. $\dots -4, -3, -2, -1, 0, 1, 2, 3, 4 \dots$ se entiende que decrementa progresivamente hacia la izquierda y que aumenta progresivamente hacia la derecha y se extiende infinitamente en ambos sentidos. $1 + {1 \over 2} + {1 \over 3} + {1 \over 4} + {1 \over 5} + \cdots$ o $1 + {1 \over 2} + {1 \over 3} + {1 \over 4} + \cdots + {1 \over 35}$ se entiende como suma de fracciones periódicas. $\begin{pmatrix} a_1 & b_1 & c_1 & d_1 \\ a_2 & \dots & d_2 \\ a_3 & b_3 & c_3 & d_3 \\ \vdots & \vdots & \vdots & \vdots \\ a_{2324} & b_{2324} & c_{2324} & d_{2324} \\ \end{pmatrix}$ se entiende como una matriz de progresión donde las columnas a, b, c y d comienzan por la fila de subíndice 1 y terminan en la fila de subíndice 2324. $\sqrt 5 = 1+\frac{1}{\displaystyle1+\frac{1}{\displaystyle1 +\frac{1}{\displaystyle1+\frac{1}{\ddots}}}}$ se entiende que la raíz cuadrada de 5 es igual 1 sumado la fracción de 1 sobre la repetición infinita de la misma ecuación.
$x = 1 + 2 + 3 + \dots + 54$

Aritmética y álgebra

Nombre	se lee como	Categoría
adición	más	aritmética 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
sustracció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
7 × 6 = 42 significa que si se cuenta siete veces seis, el resultado será 42.
4 × 6 = 24 ó 4 * 6 = 24 ó 4 · 6 = 24
división	entre, dividido por	aritmética
${42 \over 6} = 7$ significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo será de tamaño siete.
$24 / 6 = 4$
sumatoria	suma sobre ... desde ... hasta ... de	aritmética
∑_k=1ⁿ a_k significa: a₁ + a₂ + ... + a_n
∑_k=1⁴ k² = 1² + 2² + 3² + 4² = 1 + 4 + 9 + 16 = 30
productorio	producto sobre... desde ... hasta ... de	aritmética
∏_k=1ⁿ a_k significa: a₁a₂···a_n
∏_k=1⁴ (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 × 4 × 5 × 6 = 360

Lógica proposicional

Nombre	se lee como	Categoría
implicación material o en un solo sentido	implica; si .. entonces; por lo tanto	lógica proposicional
A ⇒ B 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)
doble implicación	si y sólo si; sii, syss^[3]	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 o intersección en una reja	y	lógica proposicional, teoría de rejas
la proposición 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 número natural
disyunción lógica o unión en una reja	o, ó	lógica proposicional, 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. una barra puesta sobre otro operador es equivalente a un ¬ puesto a la izquierda.
¬(A ∧ B) ⇔ (¬A) ∨ (¬B); `x` ∉ `S` ⇔ ¬(`x` ∈ `S`)

Lógica de predicados

Nombre	se lee como	Categoría
cuantificador universal	para todos; para cualquier; para cada	lógica 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	lógica 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 unicidad	existe un/os único/s	lógica de predicados
∃! x : P(x) significa: existe un único x tal que P(x) es verdadera.
∃! n ∈ N: n + 1 = 2
reluz	tal que	lógica de 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

Nombre	se lee como	Categoría
delimitadores de conjunto	el conjunto de ...	teoría de conjuntos
{`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 ...	teoría de 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}
conjunto vacío	conjunto vacío	teoría de conjuntos
{} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.
{n ∈ N : 1 < n² < 4} = {}
pertenencia de conjuntos	en; está en; es elemento de; es miembro de; pertenece a	teoría de conjuntos
a ∈ S significa: a es elemento del conjunto S; a ∉ S significa: a no es elemento del conjunto S
(1/2)⁻¹ ∈ N; 2⁻¹ ∉ N
subconjunto	es subconjunto de	teoría de conjuntos
A ⊆ B significa: cada elemento de A es también elemento de B A ⊂ B significa: `A` ⊆ `B` pero A ≠ B
A ∩ B ⊆ A; Q ⊂ R
unión de conjuntos	la unión de ... y ...; unión	teoría de 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 de conjuntos	la intersección de ... y ...; intersección	teoría de conjuntos
A ∩ B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en común.
{x ∈ R : x² = 1} ∩ N = {1}
diferencia de conjuntos	menos; sin	teoría de 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

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.
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 función `f` mapea el conjunto `X` al conjunto `Y`
Considérese la función `f`: Z → N definida por `f`(`x`) = `x`²
Funciones de Piso y Techo	Piso de, Techo de	funciones
La función piso asigna el entero más próximo por defecto, la función techo asigna el entero más próximo por exceso.
Si x=1.5, entonces $\lfloor$ x $\rfloor$ =1 y $\lceil$ x $\rceil$ =2

Números

Nombre	se lee como	Categoría
números naturales	N	números
N significa: {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 significa: {...,−3,−2,−1,0,1,2,3,4,...}
{a : \|a\| ∈ N} = Z
números racionales	Q	números
Q significa: {p/q : p, q ∈ Z, q ≠ 0}
3.14 ∈ Q; π ∉ Q
números reales	R	números
R significa: {lim_n→∞ a_n : ∀ n ∈ N: `a`_n ∈ Q, el límite existe}
π ∈ R; √(−1) ∉ R
números complejos	C	números
C significa: {a + bi : a, b ∈ R}
i = √(−1) ∈ C
raíz cuadrada	la raíz cuadrada de; la principal raíz cuadrada de	números reales
√x significa: el número positivo cuyo cuadrado es x
√(x²) = \|x\|
infinito	infinito	números
∞ es un elemento de la recta real extendida mayor que todos los números reales; ocurre frecuentemente en límites
lim_x→0 1/\|x\| = ∞
valor absoluto	valor absoluto de	números
\|`x`\| significa: la distancia en la recta real (o en el plano complejo) entre `x` y [[zero], se le llama también módulo]
\|a + bi \| = √(a+ b)²

Órdenes parciales

Nombre	se lee como	Categoría
comparación	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

Nombre	se lee como	Categoría
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 ⇒ x² ≥ x

Geometría euclídea

Nombre	se lee como	Categoría
pi	pi	Geometría euclideana
π significa: la razón de la circunferencia a su diámetro.
A = πr² es el área de un círculo con radio "r"

Combinatoria

Nombre	se lee como	Categoría
factorial	factorial de	combinatoria
n! es el producto 1×2×...×n
4! = 24

Análisis funcional

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

z*a*y*n "

Cálculo

Nombre	se lee como	Categoría
integración	integral desde ... hasta ... de ... con respecto a ...	cálculo
∫_a^b 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
∫₀^b x² dx = b³/3; ∫x² dx = x³/3
derivación	derivada de f; f prima	cálculo
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
gradiente	del, nabla, gradiente de	cálculo
∇f (x₁, …, x_n) es el vector de derivadas parciales (df / dx₁, …, df / dx_n)
Si f (x, y, z) = 3xy + z² entonces ∇f = (3y, 3x, 2z)
derivada parcial	derivada parcial de	cálculo
Con f (x₁, …, x_n), ∂f/∂x_i es la derivada de f con respecto a x_i, con todas las otras variables mantenidas constantes.
Si f(x, y) = x²y, entonces ∂f/∂x = 2xy

Ortogonalidad

Símbolo	Nombre	se lee como	Categoría
	perpendicular	es perpendicular a	ortogonalidad
	x $\bot$ y significa: x es perpendicular a y; o, más generalmente, x es ortogonal a y.

Álgebra matricial

Símbolo	Nombre	se lee como	Categoría
	perpendicular	traspuesta	matrices y vectores
	(a,b) con $\bot$ 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 investigación se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teoría de rejas

Nombre	se lee como	Categoría
fondo	el elemento fondo	teoría de rejas
x = $\bot$ significa: x es el elemento más pequeño.

Véase también

Wikipedia: Cómo se edita una página contiene información acerca de cómo producir símbolos matemáticos en otros artículos

Referencias

↑ url=http://tex.stackexchange.com/questions/117730/what-is-the-difference-between-ldots-and-cdots|fechaacceso=13 de noviembre de 2015|título=What is the difference between ‎\ldots‎ and ‎\cdots‎
↑ François Viète
↑ sii y syss son usados por los matemáticos como jerga ocasional, pero no están reconocidos como términos estándar, por lo que tampoco suelen aparecer en textos formales.

Enlaces externos

Math Quick Reference Card http://www.3con14.com/35-%C3%BAtiles/f%C3%B3rmulas/9-s%C3%ADmbolos-matem%C3%A1ticos-f%C3%B3rmulas.html

This article is issued from Wikipedia - version of the Tuesday, January 26, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.