Anexo:Smbolosmatemticos

DeWikipedia,laenciclopedialibre

Lossmbolosmatemticosincluyen:

ndice
1 Genricos
1.1
1.2
1.3
2 Aritmticaylgebra
2.1
2.2
2.3
2.4
2.5
2.6
3 Lgicaproposicional
3.1
3.2
3.3
3.4
3.5
4 Lgicadepredicados
4.1
4.2
4.3
4.4
5 Teoradeconjuntos
5.1
5.2
5.3
5.4
5.5
5.6
5.7
5.8
6 Funciones
6.1
6.2
6.3
7 Nmeros
7.1
7.2
7.3
7.4
7.5
7.6
7.7
7.8
8 rdenesparciales
 8.1
8.2
9 Geometraeucldea
9.1
10 Combinatoria
10.1
11 Anlisisfuncional
11.1
12 Clculodiferencial
12.1
12.2
12.3
12.4
13 Ortogonalidad
13.1
14 lgebramatricial
14.1
15 Teoraderejas
15.1
16 Vasetambin
17 Referencias
18 Enlacesexternos

Genricos
Smbolo Nombre seleecomo Categora
igualdad iguala todos
x=ysignifica:xeysonnombresdiferentesquehacenreferenciaaunmismoobjetooente.
1+2=63,3611=25
definicin sedefinecomo todos
x := y o x y significa: x se define como otro nombre para y (notar, sin embargo, que puede
tambinsignificarotrascosas,comocongruencia)
P:Qsignifica:PsedefinecomolgicamenteequivalenteaQ
coshx:=(1/2)(expx+exp(x))AXORB:(AB)(AB)
adinfinitumosucesinmatemtica serepite/progresin todos
0,1,2,3,...18ya1,a2,a3,...a7ya1,a2,a3,...anseentiendequelaprogresinseextiendehastael
nmeroovalorindicado.Enestoscasos,18,7yalgnnaturalnrespectivamente.

1,2,3,4,...ya1,a2,a3,...ya1,a2,a3,...seentiendequecadaprogresinseextiende
infinitamente1
2,4,6,8,...seentiendequehayunincrementoprogresivosegnelpatrnhastaelinfinito.
...4,3,2,1,0,1,2,3,4,...seentiendequedecrementaprogresivamentehacialaizquierday
queaumentaprogresivamentehacialaderecha,yseextiendeinfinitamenteenambossentidos.

3,14159265358979323846... se entiende que el valor del smbolo pi es aproximadamente

3,14159265358979323846peroquelossiguientesdgitosconocidosydesconocidosseextienden
hastaelinfinito2.
 o se entiende como suma de
fraccionesperidicas.

se entiende como una matriz de progresin donde los

elementoscomienzanporlafilaycolumnadesubndice1yterminanenlafiladesubndice2324,
ylacolumnadesubndice127.

seentiendequeelnmeroureoesigual1sumadolafraccinde1

sobrelarepeticininfinitadelamismaecuacin.

x=1+2+3+...+54

Aritmticaylgebra
Smbolo Nombre seleecomo Categora
adicin ms aritmticaylgebra
4+6=10significaquesiacuatroseleagrega6,lasuma,oresultado,es10.
43+65=1082+7=9
sustraccin menos aritmtica
365=31significaquesi5esrestadode36,elresultadoser31.Elsmbolo'menos'tambinse
utilizaparadenotarqueunnmeroesnegativo.Porejemplo,36+(55)=3655=19significa
quesi'cinco'y'menostres'sonsumados,elresultadoes'dos'.
365=313655=19

multiplicacin por aritmtica

76=42significaquesisecuentasietevecesseis,elresultadoser42.

46=244*6=2446=24

divisin entre,divididopor aritmtica

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

sumatorio sumasobre...desde...hasta...de aritmtica

k=1naksignifica:a1+a2+...+an

4k=1+2+3+4=1+4+9+16=30
 k=14k=1+2+3+4=1+4+9+16=30
productorio productosobre...desde...hasta...de aritmtica
k=1naksignifica:a1a2an
k=14(k+2)=(1+2)(2+2)(3+2)(4+2)=3456=360

Lgicaproposicional
Smbolo Nombre seleecomo Categora
implicacin material o en un solo implicasi..entoncesporlo
lgicaproposicional
sentido tanto
AB significa: si AesverdaderoentoncesB es verdadero tambin si B es verdadero entonces
nadasedicesobreA.
puedesignificarlomismoque,opuedeserusadoparadenotarfunciones,comoseindicams
abajo.
x=2x=4esverdadera,pero4=xx=2es,engeneral,falso(yaquexpodraser2)
dobleimplicacin siyslosisii,syss3 lgicaproposicional

ABsignifica:AesverdaderasiBesverdaderayAesfalsasiBesfalsa.

x+5=y+2x+3=y
conjuncin lgica o interseccin en lgicaproposicional,teorade
y
unareja rejas
laproposicinABesverdaderasiAyBsonambasverdaderasdeotramaneraesfalsa.
n<4n>2n=3cuandonesunnmeronatural
lgicaproposicional,teorade
disyuncinlgicaouninenunareja o,
rejas
la proposicin A B es verdadera si A o B (o ambas) son verdaderas si ambas son falsas, la
proposicinesfalsa.
n4n2n3cuandonesunnmeronatural
negacinlgica no lgicaproposicional

laproposicinAesverdaderasiyslosiAesfalsa.
unabarrapuestasobreotrooperadoresequivalenteaunpuestoalaizquierda.

(AB)(A)(B)xS(xS)

Lgicadepredicados
cuantificadoruniversal paratodosparacualquierparacada lgicadepredicados
x:P(x)significa:P(x)esverdaderaparacualquierx
nN:nn
cuantificadorexistencial existeporlomenosun/os lgicadepredicados
x:P(x)significa:existeporlomenosunxtalqueP(x)esverdadera.
nN:n+5=2n
cuantificador existencial con marca de
existeun/osnico/s lgicadepredicados
unicidad
!x:P(x)significa:existeunnicoxtalqueP(x)esverdadera.
 !nN:n+1=2
reluz talque lgicadepredicados

x:P(x)significa:existeporlomenosunxtalqueP(x)esverdadera.
nN:n+5=2n

Teoradeconjuntos
Smbolo Nombre seleecomo Categora
teora de
delimitadoresdeconjunto elconjuntode...
conjuntos
{a,b,c}significa:elconjuntoquecontienea,b,yc
N={0,1,2,...}
notacin constructora de teora de
elconjuntodeloselementos...talesque...
conjuntos conjuntos
{x:P(x)}significa:elconjuntodetodoslosxparaloscualesP(x) es verdadera. {x|P(x)}eslo
mismoque{x:P(x)}.
{nN:n<20}={0,1,2,3,4}
teora de
conjuntovaco conjuntovaco
conjuntos

{}significa:elconjuntoquenotieneelementoseslamismacosa.
{nN:1<n<4}={}
en est en es elemento de es miembro de teora de
pertenenciadeconjuntos
pertenecea conjuntos
aSsignifica:aeselementodelconjuntoSaSsignifica:anoeselementodelconjuntoS
(1/2)1N21N
teora de
subconjunto essubconjuntode
conjuntos
ABsignifica:cadaelementodeAestambinelementodeB
ABsignifica:ABperoAB
ABAQR
teora de
unindeconjuntos launinde...y...unin
conjuntos
ABsignifica:elconjuntoquecontienetodosloselementosdeAytambintodosaquellosdeB,
peroningnotro.
ABAB=B
teora de
interseccindeconjuntos lainterseccinde...y...interseccin
conjuntos
ABsignifica:elconjuntoquecontienetodosaquelloselementosqueAyBtienenencomn.
{xR:x=1}N={1}
teora de
diferenciadeconjuntos menossin
conjuntos
A\Bsignifica:elconjuntoquecontienetodosaquelloselementosdeAquenoseencuentranenB
{1,2,3,4}\{3,4,5,6}={1,2}

Funciones
Smbolo Nombre seleecomo Categora
aplicacindefuncinagrupamiento de funciones
paraaplicacindefuncin:f(x)significa:elvalordelafuncinfsobreelelementox
paraagrupamiento:realizarprimerolasoperacionesdentrodelparntesis.
Sif(x):=x,entoncesf(3)=3=9(8/4)/2=2/2=1,pero8/(4/2)=8/2=4
mapeofuncional de...a funciones
f:XYsignifica:lafuncinfmapeaelconjuntoXalconjuntoY
Considreselafuncinf:ZNdefinidaporf(x)=x
FuncionesdeSueloyTecho Suelode,Techode funciones
Lafuncinsueloasignaelenteromsprximopordefecto,lafuncintechoasignaelenteroms
prximoporexceso.
Six=1.5,entonces x =1y x =2

Nmeros
Smbolo Nombre seleecomo Categora
nmerosnaturales N nmeros
Nsignifica:{1,2,3,...},perovaseelartculonmerosnaturalesparaunaconvencindiferente.
{|a|:aZ}=N
nmerosenteros Z nmeros
Zsignifica:{...,3,2,1,0,1,2,3,4,...}
{a:|a|N}=Z
nmerosracionales Q nmeros
Qsignifica:{p/q:p,qZ,q0}
3.14QQ
nmerosreales R nmeros
Rsignifica:{limn an:nN:anQ,ellmiteexiste}
R(1)R
nmeroscomplejos C nmeros
Csignifica:{a+bi:a,bR}
i=(1)C
razcuadrada larazcuadradadelaprincipalrazcuadradade nmerosreales
xsignifica:elnmeropositivocuyocuadradoesx
(x)=|x|
infinito infinito nmeros
es un elemento de la recta real extendida mayor que todos los nmeros reales ocurre
frecuentementeenlmites
limx01/|x|=
valorabsoluto valorabsolutode nmeros
|x| significa: la distancia en la recta real (o en el plano complejo) entre x y [[zero], se le llama
tambinmdulo]
|a+bi|=(a+b)

rdenesparciales
Smbolo Nombre seleecomo Categora
comparacin esmenora,esmayora rdenesparciales

x<ysignifica:xesmenorayx>ysignifica:xesmayoray

3<45>4
Smbolo Nombre seleecomo Categora
comparacin esmenoroiguala,esmayoroiguala rdenesparciales

xysignifica:xesmenoroigualayxysignifica:xesmayoroigualay

x1xx

Geometraeucldea
Smbolo Nombre seleecomo Categora
pi pi Geometraeuclideana
significa:larazndelacircunferenciaasudimetro.
A=reselreadeuncrculoconradio"r"

Combinatoria
Smbolo Nombre seleecomo Categora
factorial factorialde combinatoria
n!eselproducto12...n
4!=24

Anlisisfuncional
Smbolo Nombre seleecomo Categora
norma normadelongitudde anlisisfuncional
eslanormadelelementoxdeunespaciovectorialnormado
desigualdadtriangulardeunespacionormado

Clculodiferencial
Smbolo Nombre seleecomo Categora
integracin integraldesde...hasta...de...conrespectoa... clculo

abf(x)dxsignifica:elrea,consigno,entreelejexylagrficadelafuncinfentrex=ayx=b

0bxdx=b/3xdx=x/3

derivacin derivadadeffprima clculo

f'(x)esladerivadadelafuncinfenelpuntox,estoes,lapendientedelatangenteeneselugar.
Sif(x)=x,entoncesf'(x)=2xyf''(x)=2
 gradiente del,nabla,gradientede clculo
f(x1,,xn)eselvectordederivadasparciales(df/dx1,,df/dxn)
Sif(x,y,z)=3xy+zentoncesf=(3y,3x,2z)
derivadaparcial derivadaparcialde clculo
Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras variables
mantenidasconstantes.
Sif(x,y)=xy,entoncesf/x=2xy

Ortogonalidad
Smbolo Nombre seleecomo Categora
perpendicular esperpendiculara ortogonalidad

x ysignifica:xesperpendicularayo,msgeneralmente,xesortogonalay.

lgebramatricial
Smbolo Nombre seleecomo Categora
perpendicular traspuesta matricesyvectores
(a,b)con alladooamododepotenciasignificaqueelvectorsedebeubicarnodeizquierdaa
derecha,sinodearribaaabajo.Ennumerosostrabajosdeinvestigacinseutilizaestasintaxisalno
poderrepresentarenundocumentovectoresverticales.

Teoraderejas
Smbolo Nombre seleecomo Categora
fondo elelementofondo teoraderejas

x= significa:xeselelementomspequeo.

Vasetambin
Wikipedia: Cmo se edita una pgina contiene informacin acerca de cmo producir smbolos
matemticosenotrosartculos

Referencias
1.Whatisthedifferencebetween\ldotsand\cdots(http://tex.stackexchange.com/questions/117730/whatisthediffere
ncebetweenldotsandcdots).TeXLaTeXStackExchange.Consultadoel13denoviembrede2015.
2.FranoisVite
3.siiysysssonusadosporlosmatemticoscomojergaocasional,peronoestnreconocidoscomotrminosestndar,
porloquetampocosuelenaparecerentextosformales.

Enlacesexternos
Smbolos matemticos (http://www.3con14.com/35%C3%BAtiles/f%C3%B3rmulas/9s%C3%ADmbol
osmatem%C3%A1ticosf%C3%B3rmulas.html).
TCAEPInstituteofPhysics,"MathematicalSymbols(http://web.archive.org/web/20040214182946/htt
p://tcaep.co.uk/science/symbols/maths.htm)".(eningls)