Professional Documents
Culture Documents
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.
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.
x = 1 + 2 + 3 + ... + 54
[
Aritmtica y lgebra[editar]
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
365 = 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'.
365 = 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
significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo
ser de tamao siete.
k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30
producto sobre... desde ... hasta ...
productorio aritmtica
de
k=1n ak significa: a1a2an
k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360
Lgica proposicional[editar]
Smbolo Nombre se lee como Categora
implicacin material o en un solo implica; si .. entonces;
lgica proposicional
sentido por lo 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 viceversa.
x+5=y+2 x+3=y
Lgica de predicados[editar]
para todos; para cualquier; para lgica de
cuantificador universal
cada predicados
x : P(x) significa: P(x) es verdadera para cualquier x
n N: n n
lgica de
cuantificador existencial existe por lo menos un/os
predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n - 26
cuantificador existencial con marca de lgica de
existe un/os nico/s
unicidad predicados
! x : P(x) significa: existe un nico x tal que P(x) es verdadera.
! n N: n + 1 = 2
lgica de
reluz tal que
predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n - 26
Teora de conjuntos[editar]
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 teora de
pertenencia de conjuntos
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; 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[editar]
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 x=1.5, entonces x =1 y x =2
Nmeros[editar]
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[editar]
Smbolo Nombre se lee como Categora
comparacin es menor a, es menor que; es mayor a, es mayor que rdenes parciales
x < y significa: x es menor que y; x > y significa: x es mayor que y
3 <4 5 >4
Geometra eucldeana[editar]
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[editar]
Smbolo Nombre se lee como Categora
factorial factorial de combinatoria
n! es el producto 12...n
4! = 24
Anlisis funcional[editar]
Smbolo Nombre se lee como Categora
norma norma de; longitud de anlisis funcional
Clculo diferencial[editar]
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[editar]
Smbolo Nombre se lee como Categora
perpendicular es perpendicular a ortogonalidad
lgebra matricial[editar]
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[editar]
Smbolo Nombre se lee como Categora
fondo el elemento fondo teora de rejas