Anexo-Símbolos matemáticos

Anexo:Smbolos matemticos 1

Anexo:Smbolos matemticos

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

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, comocongruencia)P: Q significa: P se define como lgicamente equivalente a Q

coshx:= (1/2)(expx+ exp(x)); A XOR B: (A B) (A B)

Aritmtica


adicin ms aritmtica

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.

43 + 65 = 108; 2 + 7 = 9

substraccin menos aritmtica

9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo 'menos' tambin se utiliza para denotar que un nmero esnegativo. Por ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'.

87 36 = 51

multiplicacin por aritmtica

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

divisin entre, dividido por aritmtica

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

sumatoria suma sobre ... desde ... hasta ... de aritmtica

k=1nak significa: a1+ a2+ ...+ an

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

productorio producto sobre... desde ... hasta ... de aritmtica

k=1nak significa: a1a2an

k=14(k+ 2)= (1 + 2)(2+ 2)(3+ 2)(4+ 2)= 3 4 5 6= 360


Lgica proposicional


implicacin material o en un solo sentido implica; si .. entonces; por lo tanto lgica proposicional

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, syss[1] 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 una reja y lgica proposicional, teora de 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

disyuncin lgica o unin en una reja o, lgica proposicional, teora de 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 colocada sobre otro operador es equivalente a un colocado 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 unicidad existe un/os nico/s lgica de predicados

! 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


delimitadores de conjunto el conjunto de ... teora de conjuntos

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

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

notacin constructora de conjuntos el conjunto de los elementos ... tales que ... teora 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



aplicacin de funcin; agrupamiento de funciones

para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el elemento xpara 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

Nmeros


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: {limnan: 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

limx01/|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


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


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


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


factorial factorial combinatoria

n! es el producto 12...n

4! = 24

Anlisis funcional


norma norma de; longitud de anlisis funcional

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

x+y x + y

Clculo



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

abf(x)dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre x= a y x= b

0bxdx= b/3; xdx= 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


perpendicular es perpendicular a ortogonalidad

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

lgebra matricial


perpendicular traspuesta 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. Ennumerosos trabajos de investigacin se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teora de rejas


fondo el elemento fondo teora de rejas

x = significa: x es el elemento ms pequeo.

Referencias[1] 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 Jeff Miller: Earliest Uses de Various Mathematical Symbols, http:/ / members. aol. com/ jeff570/ mathsym. html TCAEP - Institute of Physics, http:/ / www. tcaep. co. uk/ science/ symbols/ maths. htm

Fuentes y contribuyentes del artculo 8

Fuentes y contribuyentes del artculoAnexo:Smbolos matemticos Fuente: http://es.wikipedia.org/w/index.php?oldid=68030104 Contribuyentes: .Sergio, 67wkii, Adrruiz, Airunp, Alejandrocaro35, AlfonsoERomero,Animadelpurgatorio, Biasoli, Bsea, Charlitos, Daganu, Damifb, Danakil, Djmasterd, Dodo, Dunraz, Elwikipedista, Emijrp, Er Komandante, Faustito, Fernandoponce, HUB, Homo logos, Icvav,Ingenioso Hidalgo, Isha, JMCC1, Jam1138, Jerowiki, Juan Marquez, Juan Mayordomo, Lauristeamo, Mahey94, Maldoror, Manuelt15, Math Master, Mauer uk07, Mgrpmarcemgrp, Migue1ange1, Mortadelo2005, NekroByte, Neodop, Nihilo, Paska, Pati, Petruccigp, Pia982, Platonides, Porao, Qwertyytrewqqwerty, Rojsensimars, Rovnet, RoyFocker, Serlack, Snakefang, Soulreaper,Stardust, Taichi, Tano4595, Teles, Tomatejc, Triku, Tubet, Unaiaia, Usuwiki, Waka Waka, , 136 ediciones annimas

LicenciaCreative Commons Attribution-Share Alike 3.0 Unported//creativecommons.org/licenses/by-sa/3.0/

Anexo:Smbolos matemticosGenricos Aritmtica Lgica proposicional Lgica de predicados Teora de conjuntos Funciones Nmeros rdenes parciales Geometra eucldea Combinatoria Anlisis funcional Clculo Ortogonalidad lgebra matricial Teora de rejas Referencias Enlaces externos

Licencia

Documents

Anexo-Símbolos matemáticos