Principales smbolos matemticos

Conjuntos
A, B, ...

Habitualmente, los conjuntos se denotan por letras maysculas del alfabeto.

a, b, c

Habitualmente, los elementos de

alfabeto.

, , ,

Tambin, muy a menudo se utilizan letras del alfabeto griego por designar ngulos y de otros
objetos alfanumricos. Es bueno conocer las ms usuales, y saberlas denominar:

{}

un conjunto se denotan con las letras minsculas del

alfa

beta

gama

delta

psilon

zeta

kappa

lambda

mu (aunque genuinamente se tendra que pronunciar m)

du (aunque genuinamente se tendra que pronunciar ni)

pi, que habitualmente representa el nmero irracional que mujer la relacin entre la

longitud de una circunferencia y su dimetro (es decir, 3,1415)

ro

sigma

tau

fi
psi

omega (el otra es la omega mayscula)

Para definir un conjunto, habitualmente se usan las llaves. Entre las dos llaves se ponen los
elementos del conjunto, o bien, la caracterstica que define estos elementos. Por ejemplo, Si se
quiere que el conjunto X est formado por los nmeros naturales menores que 10, se pondr
X={0,2,4,6,8}
Para indicar que un elemento a pertenece a un conjunto X, se pone a X . Si se quiere
indicar que no pertenece se pone a X
La reunin de los elementos de dos conjuntos A y B se expresa A B , y es el conjunto
formado por todos los elementos de A y todos los elementos de B.
La interseccin de los elementos de dos conjuntos A y B se expresa A B , y es el conjunto
formado por todos los elementos que pertenecen al conjunto A y, tambin, al conjunto B.
Inclusin. Para indicar que un conjunto X es un subconjunto de Y, se expresa X Y , que
quiere decir que todos los elementos de X se encuentran tambin en Y. En cambio, X Y ,
X no est incluido en Y, significa que hay algn elemento de X que no es de Y.
El mismo que antes, pero puesto en orden inverso. Es decir, Y X .
X Y indica que X est incluido en Y, pero podra ser que X fuese igual a Y, es decir, que
tuviera los mismos elementos.
Conjunto vaco, es decir, aquel que no tiene ningn elemento.

Objetos lgicos

Existe. Por ejemplo, x Y , existe un x perteneciente a Y, expresa la existencia de algn

elemento de Y.
Para todo. Por ejemplo, x Y , para todo x de Y, expresa todos y cada uno de los
elementos de Y.
Tal que. Se pone antes de dar una propiedad determinada.
Implicacin. Indica que de aquello que hay a la izquierda de este smbolo, se puede deducir
aquello que hay a la derecha.
Implicacin en sentido contrario del anterior.
Equivalencia. En este caso, hay una implicacin hacia la derecha y otra hacia la izquierda.
Generalmente, se lee, si y solo si.

Practicamos un poco con estos smbolos.

Consideramos el conjunto de estudiantes de la UOC. A este conjunto lo podemos denominar U.
Consideramos el conjunto de estudiantes de alguna asignatura de Matemticas a la UOC. Denominamos
M este conjunto. Este conjunto se puede definir as

M = {x U / x cursa alguna asignatura de matematicas} que se lee

M es el conjunto de los x pertenecientes a U tales que x cursa
una asignatura de
Matemticas.
Evidentemente

M U , pero U M .

Quienes leis este mensaje sois la prueba que M , es decir, que M no es un conjunto vaco.
Podemos decir, adems que

x x M x es un estudiante universitario
es decir, que para todo x que pertenezca a M, implica que x es un estudiante universitario.
Tambin se puede afirmar que

x x M x esta cursando una asignatura de matematicas

evidentemente, todo x que pertenezca a M cursa una asignatura de Matemticas y, por lo dems, si x
cursa una asignatura de Matemticas, implica que pertenece al conjunto M.
se ha de ir con cuidado con la implicacin. Es cierto que,

x x M x U
ahora bien, la implicacin contraria no es cierta ( x x M x U ), porque puede haber alumnos
de la UOC que no cursen asignaturas matemticas.