Escolar Documentos
Profissional Documentos
Cultura Documentos
Jesús MOSTERÍN
La tarea de diagnosticar o identificar a E A res- Llamemos PartA al conjunto de todas las parti-
pecto a la partición Q de A significa calcular el ciones de A. Y llamemos EqA al conjunto de
valor dQ(a). Para ello a veces nos servimos de la todas las relaciones de equivalencia en A . La co-
observación de los síntomas observables de a y rrelación aludida anteriormente consiste en que
los comparamos con los síndromes (conjuntos de cada partición de A determina una cierta relación
síntomas característicos) de los diversos taxones. de equivalencia en A, y cada relación de equiva-
Otras veces hemos de considerar ciertas relacio- lencia en A determina una cierta partición de A.
nes en que a está o no está con otros individuos, Sea Q una partición de A. La relación de equi-
etc. valencia RQ inducida o determinada por Q es la
La nomenclatura es la asignación de nombres relación en que están dos individuos de A si y
convenidos por la comunidad científica a los di- sólo si ambos pertenecen al mismo Q-taxón. De-
versos taxones distinguidos en la clasificación. finimos :
Pero aquí no vamos a ocuparnos del diagnóstico,
ni de la nomenclatura, sino sólo del resultado di-
recto de la clasificación: las particiones.
Fácilmente se comprueba que Rq es una rela-
ción de equivalencia.
2. PARTICIONES Y RELACIONES D E Sea R una relación de equivalencia en A. La
EQUIVALENCIA partición AIR de A inducida o determinada por
R es el llamado espacio cociente de A respecto a
2.1. Como es sabido, hay una estrecha correla- R, es decir, la clase de todas las relaciones de
ción entre las partici-ones y las relaciones de equi- equivalencia de R. Definimos:
valencia, y aquí mismo usaremos más adelante
una cierta relación de equivalencia para definir 2.5. AIR = { x~ 1 xEA)
una partición (la fusión de dos particiones dadas)
que nos interesa caracterizar. Fácilmente se comprueba que AIR es una par-
Una relación de equivalencia en A es una rela- tición de A.
ción R C AxA, que es reflexiva, simétrica y tran- Precisamente una partición cualquiera de A
sitiva. coincide con el espacio cociente de A respecto a
Por ejemplo, la identidad es una relación de la relación de equivalencia inducida por esa parti-
equivalencia en cualquier conjunto. El paralelis- ción. En resumen:
mo es una relación de equivalencia entre rectas.
El tener el mismo número de protones en el nú-
cleo es una relación de equivalencia entre
átomos.
Si R es una relación de equivalencia en A y x en
un miembro de A, entonces el conjunto de todos Con frecuencia se introducen las particiones
los miembros de A que están en la relación R con mediante relaciones de equivalencia. La partición
x se llama la clase de equivalencia (respecto a R) de las rectas del plano en direcciones es la parti-
de x, simbolizada como XR. x mismo es un repre- ción inducida por la relación de equivalencia de
sentante de XR. Definimos: paralelismo, es decir el conjunto cociente de las
rectas por el paralelismo. La partición de los áto-
mos en elementos químicos es la partición indu-
cida por la relación de equivalencia de tener igual
De aquí se sigue como corolario que dos clases número de protones en el núcleo, es decir, el
de equivalencia XR y z~ son idénticas si y sólo si conjunto cociente de los átomos por la igualdad
del número de protones. La partición de los un taxón de Q . Cada especie está incluida en un
fonos de una lengua en fonemas es la partición género y en un orden. Por eso la clasificación de
inducida por la relación de equivalencia de susti- los animales en especies es más fina que la clasifi-
tuibilidad salva significatione, es decir, el cación en géneros o en órdenes. Simbolicemos la
conjunto cociente de los fonos por la sustituibili- relación de mayor o igual finura entre particiones
dad salva significatione. mediante « S ) ) Sean
. P y Q particiones de A. De-
Llamemos IAes la identidad restringida a A, es finimos:
decir, IA= {(x,y) E A2 ( x = y), y llamamos A2
a la clase de todos los pares de elementos de A, es 3.1. P S Q + V X E P Z Z E Q (XCZ)
decir, A2 = A x A.
Como fácilmente se comprueba, IAes no sólo Otra condición equivalente (no entre recubri-
una relación de equivalencia en A, sino incluso la mientos en general, pero sí entre particiones) es
mínima relación de equivalencia en A, en el senti- la de que cada taxón de la primera partición esté
do de que está incluida en todas las demás. A2, incluido en o sea disjunto con cada taxón de la
por el contrario, no sólo es también una relación segunda.
de equivalencia en A, sino que además es la máxi-
ma, en el sentido de que todas las demás están 3.2. P < Q +
VXEPVZEQ
incluidas en ella. En resumen: (XCZ v X n Z = 0)
7
2 S lQ/ d 1 €3 Q'l, por el corolario 6.9. Pero
( Q @ Q J / = {A}( = l. De donde se sigue que
2 6 1. Esta contradicción muestra que no puede
nectabilidad. Sea G C u P A . Sean a , b ~ A Defi-
nimos :
.
8.7. (PartA,<,0,
@) es un retículo P @ ( Q @ G ) = P@{A) = P
( P B Q ) @ ( P B G ) = SngA@SngA = SngA