Anexo:Smbolos matemticos

Anexo:Smbolos matemticos
Genricos
Smbolo igualdad Nombre igual a se lee como todos Categora

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, como congruencia) 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 y lgebra
Smbolo adicin Nombre ms se lee como Categora 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

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 es negativo. 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 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42. 4 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 k=1nak significa: a1+ a2+ ...+ an

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

aritmtica

k=14k= 1+ 2+ 3+ 4= 1+ 4+ 9+ 16= 30 productorio k=1nak significa: a1a2an k=14(k+ 2)= (1 + 2)(2+ 2)(3+ 2)(4+ 2)= 3 4 5 6= 360 producto sobre... desde ... hasta ... de aritmtica

Anexo:Smbolos matemticos

Lgica proposicional
Smbolo Nombre implicacin material o en un solo sentido se lee como implica; si .. entonces; por lo tanto Categora 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 [1] si y slo si; sii, syss 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
Smbolo cuantificador universal 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 Nombre se lee como para todos; para cualquier; para cada Categora 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

Anexo:Smbolos matemticos

Teora de conjuntos
Smbolo Nombre delimitadores de conjunto el conjunto de ... se lee como Categora 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<20}= {0,1,2,3,4} conjunto vaco conjunto vaco teora 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 teora de 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 subconjunto es subconjunto de teora 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 unin de conjuntos la unin de ... y ...; unin teora de conjuntos

A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos de B, pero ningn otro. A B A B= B interseccin de conjuntos la interseccin de ... y ...; interseccin teora de conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn. {x R: x= 1} N= {1} complemento de un conjunto menos; sin teora 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

Anexo:Smbolos matemticos

Smbolo

Nombre aplicacin de funcin; agrupamiento de

se lee como funciones

Categora

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 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
Smbolo Nombre nmeros naturales N se lee como nmeros Categora

N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente. {|a|: a Z}= N nmeros enteros Z significa: {...,3,2,1,0,1,2,3,4,...} {a: |a| N}= Z nmeros racionales Q significa: {p/q: p, q Z, q 0} 3.14 Q; Q nmeros reales R nmeros Q nmeros Z nmeros

R significa: {limnan: n N: an Q, el lmite existe} R; (1) R nmeros complejos C significa: {a+ bi: a, b R} i= (1) C raz cuadrada la raz cuadrada de; la principal raz cuadrada de nmeros reales C nmeros

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)

Anexo:Smbolos matemticos

rdenes parciales
Smbolo comparacin Nombre se lee como es menor a, es mayor a Categora rdenes parciales

x< y significa: x es menor a y; x > y significa: x es mayor a y 3 < 4 5 > 4

Smbolo comparacin

Nombre

se lee como es menor o igual a, es mayor o igual a

Categora 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
Smbolo pi Nombre pi se lee como Categora Geometra euclideana

significa: la razn de la circunferencia a su dimetro. A= r es el rea de un crculo con radio r

Combinatoria
Smbolo factorial n! es el producto 12...n 4! = 24 Nombre factorial se lee como combinatoria Categora

Anlisis funcional
Smbolo norma Nombre se lee como norma de; longitud de Categora anlisis funcional

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

Clculo

Anexo:Smbolos matemticos

Smbolo integracin

Nombre

se lee como integral desde ... hasta ... de ... con respecto a ... clculo

Categora

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
Smbolo perpendicular x Nombre se lee como es perpendicular a ortogonalidad Categora

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

lgebra matricial
Smbolo perpendicular Nombre traspuesta se lee como Categora 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 investigacin se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teora de rejas
Smbolo fondo x= Nombre se lee como el elemento fondo significa: x es el elemento ms pequeo. Categora teora de rejas

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.

Anexo:Smbolos matemticos

Enlaces externos
Jeff Miller: Earliest Uses de Various Mathematical Symbols, http://web.archive.org/20081204035420/ members.aol.com/jeff570/mathsym.html TCAEP - Institute of Physics, http://www.tcaep.co.uk/science/symbols/maths.htm

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Anexo:Smbolos matemticos Fuente: http://es.wikipedia.org/w/index.php?oldid=71895774 Contribuyentes: .Sergio, 67wkii, Acratta, Adrruiz, Airunp, Alejandrocaro35, AlfonsoERomero, Andr Martn Espinal Lavado, Animadelpurgatorio, AnselmiJuan, Biasoli, Bsea, Charlitos, Daganu, Damifb, Danakil, DeusCreed, Djmasterd, Docodrilo, Dodo, Dunraz, Eduardosalg, Elwikipedista, Emijrp, Er Komandante, Faustito, Fernandoponce, HUB, HombreDHojalata, Homo logos, Icvav, Ingenioso Hidalgo, Isha, JMCC1, JacobRodrigues, Jam1138, Jerowiki, Juan Marquez, Juan Mayordomo, Lauristeamo, Mahey94, Maldoror, Manuelt15, Math Master, Mauer uk07, Mgrpmarcemgrp, Migue1 ange1, Mortadelo2005, NekroByte, Neodop, Nihilo, Paska, Pati, Petruccigp, Pia982, Platonides, Porao, Qwertyytrewqqwerty, Rojsensimars, Rotlink, Rovnet, RoyFocker, Serlack, Snakefang, Soulreaper, Stardust, Taichi, Tano4595, Teles, Tomatejc, Triku, Tubet, UA31, Unaiaia, Usuwiki, Waka Waka, , 152 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/