ALGUNOS ELEMENTOS DE L

OGICA,
CONJUNTOS Y TOPOLOG

IA DIFUSAS
Carlos Ochoa Castillo
Profesor Universidad Distrital Francisco Jose de Caldas
Bogota D.C, Colombia
oochoac@udistrital.edu.co
Resumen
Se consideran elementos del algebra presentes en logicas multi-valuadas, discutiendo
previamente las nociones de valor de verdad, modelos y funciones conectivos; se
introduce la noci on de conjuntos y topologas difusos.
Presentaci on
Hacia el a no 1965, Lot A. Zadeh introdujo las primeras ideas de una teora de conjuntos
difusos con el objeto inicial de encontrar en las matem aticas modelos apropiados para el
estudio de problemas complejos de control que se presentan en la teora de la informaci on;
estas ideas permitieron superar la rigidez de la teora cl asica de conjuntos y en consecuen-
cia, clasicar objetos de un universo conocido que responden a una determinada propiedad
de manera que no solo la verican o no, sino que la pueden vericar parcialmente.
En un lenguaje m as tecnico, la teora cl asica de conjuntos se construye con funciones
caractersticas que toman valores en un conjunto con dos elementos dotado de una es-
tructura de retculo, dichos elementos se suelen interpretar con los apelativos de verdad
(la pertenencia) y falsedad (la no pertenencia); en las teoras de conjuntos difusos, las
funciones caractersticas se reemplazan por otras que toman valores en retculos mas
generales, lo que da lugar a contar con varios grados posibles de pertenencia.
As, desde los albores de los conjuntos difusos, fue clara la estrecha relaci on entre la teora
de los conjuntos difusos y la l ogica multi-valuada; en verdad, el advenimiento de la teora
de conjuntos difusos, demand o cambiar la l ogica a algo m as que un espectro de varios
valores de verdad.
El objeto de esta presentaci on es dar una perspectiva de las l ogicas que subyacen en los
conjuntos difusos desde el punto de vista algebraico siguiendo esencialmente a S. Gottwald
(cf. [4]), Ulrich H ohle (cf. [6]) y Alexander

Sostak (cf. [10]). En la secci on 1 nos ubicamos
en la estructura Booleana de la l ogica cl asica, su lenguaje e interpretaciones, en la seccion
2 se presentan algunos conjuntos de valores de verdad, una peque na discusi on en torno
a la designaci on de valores de verdad se da en la secci on 3; en la secci on 4 se trata la
noci on de consecuencia logica, algunas funciones conectivos se exhiben en la secci on 5,
en la secci on 6 se presenta una estructura algebraica que incluye en esencia las nociones
dadas en las secciones previas y en la secci on 7 se da una perspectiva de los conjuntos
difusos.
Memorias XVI encuentro de geometra y IV de aritmetica
1. Introducci on
Los sistemas l ogicos est an basados en general por un lenguaje formal que incluye una
noci on de formula bien formada, y en consecuencia est an determinados bien sea sem antica
o sint acticamente.
Se dice que un sistema logico est a sem anticamente determinado si cada formula bien
formada tiene un valor de verdad o representa una funci on en el conjunto de los valores
de verdad.
Se dice que un sistema logico est a sint acticamente determinado si hay una noci on de
prueba y de formula probable, esto es, de teorema (formal) como derivaci on de un conjunto
de premisas.
Desde un punto de vista epistemol ogico, el aspecto sem antico de la l ogica cl asica precede
al sint actico pues tal como se presenta en [3] un teorema o una consecuencia formal de
ciertas premisas es una propiedad que depende solamente de la forma y las relaciones
estructurales entre f omulas.
El la l ogica cl asica se tienen dos principios fundamentales: Bivalencia y Composicion. Por
el principio de Bivalencia se tiene que cada proposicion tiene ex actamente uno de los
dos valores de verdad: (falso) o (verdadero) que usualmente se codican con 0 y 1
respectivamente; por el principio de Composicion, el valor de verdad de cada f ormula bien
formada compuesta es funci on del valor de verdad de sus componentes.
Considerando las funciones de valor de verdad que caracterizan los conectivos, nos lleva
a estudiar la estructura algebraica con el conjunto de valores de verdad como soporte;
por otro lado, sabiendo que todos los conectivos cl asicos son denidos a partir de la
conjuncion, disyunci on y negaci on, signica que se debe considerar el conjunto de valores
de verdad 0, 1 junto con las funciones mn, max y 1 . . . obteniendose un

Algebra
Booleana particular. La noci on sem antica de validez de una f ormula bien formada H con
respecto a una interpretaci on, signica que H tiene valor de verdad 1 en esa interpretaci on
particular.
Las nociones de valor de verdad, interpretaci on y validez se genaralizan de tal manera que
la estructura de valores de verdad puede ser un algebra Booleana B = B, , ,
c
, 0, 1, una
interpretaci on es una funcion del conjunto de todas las variables proposicionales en B, que
las funciones de verdad para conjunci on, disjuncion y negaci on son escogidos de acuerdo
a , ,
c
respectivamente y que validez de una f ormula bien formada H con respecto a una
interpretaci on dada signica que H tiene el valor 1 de B en esa interpretaci on.
La l ogica multi-valuada solamente cambia el principio de bivalencia; as, se trata de un
sistema S y un lenguaje formal /
S
que comprende:
Una familia (no vaca) de conectivos proposicionales,
Una familia (posiblemente vaca) de constantes de grados de verdad,
Un conjunto de cuanticadores,
y la adopci on usual de denir la clase de las f ormulas bien formadas con respecto a esas
442
Algunos elementos de l ogica, conjuntos y topologa difusas
premisas sintacticas y paralelo a esto el correspondiente enfoque sem antico:
Un conjunto (no vaco) de grados de verdad,
Una familia de funciones de grados de verdad en correspondencia con los conectivos
proposicionales del lenguaje formal,
Una familia (posiblemente vaca) de operaciones anulativas, i. e. elementos de los
grados de verdad con una correspondencia uno a uno entre los miembros de esta
familia y los grados de verdad constantes del lenguaje formal.
Un conjunto de funciones que interpretan cuanticadores de (
S
) en
S
junto
con una correspondencia uno a uno entre esas funciones y los cuanticadores del
lenguaje formal.
Usualmente se asume que los valores de verdad cl asicos estan incluidos en los grados de
verdad de un sistema S de logica multi-valuada, es decir,
0, 1
S
. (1.0.1)
2. De los grados de verdad
En general, para un sistema S de logica multi-valuada, no hay restricciones para el conjun-
to
S
de grados de verdad de S; sin embargo la elecci on de
S
como conjunto de n umeros
es ampliamente aceptada, por lo menos cuando no se est a interesado en considerar un or-
den en los valores de verdad donde se puedan presentar situaciones no comparables. En
tal sentido es usual tener adem as de (1.0.1) la estructura

S
[0, 1] R, (2.0.2)
en este ambiente, es com un usar para los conjuntos innitos de valores de verdad enume-
rables o no enumerables los siguientes conjuntos respectivamente:

0
=: x Q [ 0 x 1 o

=: x R [ 0 x 1, (2.0.3)
ahora, si se trata de caso nito, se asume que los valores de verdad forman un conjunto
de puntos equidistantes del intervalo [0, 1], esto es, para alg un entero n 2 es

n
=:
k
n 1
[ 0 k n 1, (2.0.4)
3. Designando valores de verdad
En la l ogica cl asica se cuenta con los valores de verdad y , dada una f ormula bien
formada, estamos interesados en aquellas interpretaciones para el sistema de l ogica multi-
valuada en que la f ormula bien formada es verdadera.
443
Memorias XVI encuentro de geometra y IV de aritmetica
El conjunto de valores de verdad
S
de un sistema S de logica multi-valuada incluye
valores de verdad equivalentes a y respectivamente; teniendo en cuenta (1.0.1) se
puede pensar que 1 es equivalente a pero tal idea no siempre se satisface. Surge en-
tonces la cuestion de determinar que valores de verdad corresponden a ; esto es en cada
sistema S de valores de verdad multi-valuado se tiene un conjunto T
S
de valores de verdad
designados en donde se asume que
1 T
S

S
, y 0 / T
S
. (3.0.5)
Un paso posterior, es generalizar considerando los valores de verdad correspondientes a
obteniendose los valores de verdad designados positivos y los valores de verdad designados
negativos determinando dos conjuntos disjuntos T
S+
y T
S
tales que
T
S+
T
S

S
, y T
S+
T
S
= ,
con frecuencia se asume que 1 T
S+
y 0 T
S
.
4. Validez y consecuencia l ogica
Por una proposici on entendemos una f ormula bien formada en el caso de un lenguaje
proposicional /
S
o bien, una f ormula bien formada sin variables individuales libres de un
lenguaje de primer orden /
S
; una proposici on P es valida en una interpretaci on si tiene
un grado de verdad designado en esa interpretaci on, y una proposici on P es logicamente
v alida si es v alida en cada interpretaci on posible.
En esta direccion, una f ormula P de un lenguaje de primer orden /
S
es valida en una
interpretaci on A si tiene designado un grado de verdad con respecto a una valuaci on de
las variables individuales del lenguage. Por otro lado; una interpretaci on A es un modelo
de una f ormula bien formada P, si esta formula es v alida en A, esta situaci on se nota con
A [= P; y A es un modelo para un conjunto de f ormulas bien formadas si es un modelo
para cada P , este hecho se nota A [= . Esta noci on se generaliza en l ogica multi-
valuada como sigue: Dados un valor de verdad y una proposici on P, una interpretaci on
A es un -modelo de P si el valor de verdad de P en la interpretaci on A es igual a o es
mayor o igual que
1
. De esta forma, se extiende la noci on de ( )-modelo a un conjunto
de proposiciones, es decir, una interpretaci onA es un -modelo para un conjunto de
proposiciones si A es un ( )-modelo para cada P .
Basados en estos preliminares, la noci on de consecuencia logica proviene de nuevo de dos
intuiciones b asicas ligeramente diferentes; se dice que una proposici on P es una conse-
cuencia logica de un conjunto de proposiciones y se escribe [= P si
Versi on 1 Cada modelo de es tambien un modelo para P,
Versi on 2 Cada ( )-modelo de es tambien un ( )-modelo para P.
1
Ambas variantes se usan, se debe prestar atencion al contexto. A veces cuando se trata del ultimo
caso que se menciona, se preere decir que es un ( )-modelo
444
Algunos elementos de l ogica, conjuntos y topologa difusas
5. De los conectivos
Siguiendo un paralelo con el procedimimiento cl asico, en el ambiente de la logica multi-
valuada se tienen los conectivos que se describen a continuaci on:
5.1. Conectivos conjunci on
Un ejemplo bien conocido de estos conectivos proviene de Lukasiewicz y G odel, es la
operaci on binaria
et
1
(u, v) =: mnu, v, (5.0.6)
la tabla de verdad correspondiente para
4
es
et
1
0
1
3
2
3
1
0 0 0 0 0
1
3
0
1
3
1
3
1
3
2
3
0
1
3
2
3
2
3
1 0
1
3
2
3
1
otro ejemplo procedente de Lukasiewicz es
et
2
(u, v) =: m ax0, u + v 1, (5.0.7)
y la la tabla de verdad correspondiente para
4
es
et
2
0
1
3
2
3
1
0 0 0 0 0
1
3
0 0 0
1
3
2
3
0 0
1
3
2
3
1 0
1
3
2
3
1
Notese que en ambos casos, la denicion es independiente del n umero de valores de verdad.
En tiempos recientes se ha considerado la conjunci on
et
3
(u, v) =: u v, (5.0.8)
esto con inspiracion en el comportamiento de la conjunci on cl asica y
2
; en otra situaci on,
para que et
3
sea cerrada es necesario que el conjunto de valores de verdad sea innito.
Adem as de estos tres ejemplos, existe un gran n umero de estos conectivos, estas funciones
son las t-normas.
Denici on 5.1. Una Operacion binaria t en el intervalo unitario [0, 1] es una t-norma
si
T1 t es asociativa y conmutativa,
T2 t es no creciente en cada uno de sus argumentos,
T3 1 es elemento neutro para t, es decir, t(x, 1) = x para todo x [0, 1].
Es inmediato que para todo x [0, 1], t(x, 0) = 0 pues
t(x, 0) = t(0, x) t(0, 1) = 0.
Desde el punto de vista algebraico, el intervalo [0, 1] con la operaci on t se constituye en
un monoide.
445
Memorias XVI encuentro de geometra y IV de aritmetica
5.2. Conectivos negaci on
Desde el punto de vista hist orico(cf.[4]), G odel y Lukasiewicz proponen las negaciones
non
0
y non
1
para el conjunto [0, 1]:
non
0
(x) =
_
1 si x = 0
0 si x ,= 0,
y non
1
(x) = 1 x; (5.1.1)
Post propone non
2
para
m
:
non
2
(x) =
_
1 si x = 0
x
1
m1
si x ,= 0
(5.1.2)
esta ultima es considerada hoy en da algo extra na y se tiende a excluir de consideraciones
generales. En la actualidad prevalece la siguiente denici on:
Denici on 5.2. Una funcion n : [0, 1] [0, 1] es una negacion si es no creciente y
satisface n(0) = 1 y n(1) = 0. Una negaci on es etricta si es estrictamente decreciente y
continua, es fuerte si es estricta y es una involuci on, es decir, satisface n(n(x)) = x para
todo x [0, 1].
As, non
2
no es una negaci on para m > 2, non
0
es una negaci on y non
1
es una negaci on
fuerte. Otro ejemplo de negaci on no estricta es
non

(x) =
_
1 si x < 1
0 si x = 1,
(5.2.1)
toda funcion negaci on n satisface non
0
n non

. Un ejemplo de una negaci on estricta

que no es fuerte es
non
3
(x) = 1 x
2
, (5.2.2)
un surtidor de negaciones fuertes lo constituye la familia de funciones
n

(x) =
1 x
1 + x
(5.2.3)
donde > 1. Esta familia fue introducida por M. Sugeno (cf.[4]); a n

se le denomina
-complemento. Para caracterizar las negaciones fuertes se exhibe el siguiente resultado
Teorema 5.3. Sea n : [0, 1] [0, 1] entonces,
1. n es una negacion fuerte si y solamente si existe un automorsmo del intervalo
[0, 1] tal que para todo x [0, 1] es
n(x) =
1
(1 (x)), (5.3.1)
446
Algunos elementos de l ogica, conjuntos y topologa difusas
2. n es una negacion estricta si y solamente si existen automorsmos , del intervalo
[0, 1] tales que para todo x [0, 1] se tiene que
n(x) = (1 (x)). (5.3.2)
Un resultado (cf.[4]) que relaciona las t-normas con las negaciones es,
Teorema 5.4. Sean t una t-norma continua y n una negaci on estricta, para todo x [0, 1]
se tiene que t(x, n(x)) = 0 si y solo si existe un automorsmo del intervalo [0, 1] tal que
para todo x, y [0, 1] es
t(x, y) =
1
(et
2
((x), (y))) y n(x)
1
(1 (x)). (5.4.1)
Una situaci on tpica la presentan et
2
y non
1
.
5.3. Conectivos disyunci on
Hay dos maneras de entrar a estudiar estos conectivos, una de ellas es reexionar en
torno a las propiedades que deben ser satisfechas para establecer un paralelo con los
conectivos conjuncion y la otra, desde la consideraci on de una conjuncion y una negaci on,
incluyendo desde luego reglas an alogas a las leyes de De Morgan; se presentar an ambas
perspectivas. Las propiedades satisfechas por los conectivos disyunci on corresponden a las
de las t-conormas como funciones de grado de verdad.
Denici on 5.5. Una operacion binaria s en el intervalo [0, 1] es una t-conorma si
S1 Es asociativa y conmutativa,
S2 Es no decreciente en cada argumento,
S3 0 es elememto neutro, es decir; s(x, 0) = x para todo x [0, 1].
Es claro que para todo x [0, 1], s(x, 1) = 1 pues
s(x, 1) = s(1, x) s(0, 1) = 1.
Desde el punto de vista algebraico, el intervalo [0, 1] con la operaci on s se constituye en
un monoide.
Ahora, en conecci on con las leyes de DeMorgan, se introduce una funci on s : [0, 1][0, 1]
[0, 1] a partir de una negaci on n y de alguna t-norma t as:
s(x, y) = n(t(n(x), n(y))), x, y [0, 1]. (5.5.1)
o deniendo,
s(x, y) = n
1
(t(n(x), n(y))), x, y [0, 1]. (5.5.2)
Ambas visiones coinciden en el siguiente resultado (cf.[4]):
447
Memorias XVI encuentro de geometra y IV de aritmetica
Teorema 5.6. Si n es una negacion fuerte y s y t son dos operaciones binarias rela-
cionadas por
s(x, y) = n(t(n(x), n(y))), x, y [0, 1],
entonces t es una t-norma y s es una t-conorma.
Es usual que se considere la negaci on fuerte non
1
; as, para una t-norma t se tiene la
t-conorma:
s
t
(x, y) = 1 t(1 x, 1 y), x, y [0, 1], (5.6.1)
para obtener las t-conormas m as populares
vel
1
(x, y) = m axx, y, (5.6.2)
vel
2
(x, y) = mn1, x + y y (5.6.3)
vel
3
(x, y) = x + y x y (5.6.4)
en correspondencia con las t-normas denidas en (5.0.6), (5.0.7) y (5.0.8) quedando para
el lector la discusi on y elaboraci on de las tablas de verdad en el ambiente
4
.
5.4. Conectivos implicaci on
De los primeros ejemplos que aparecen de este tipo de conectivos es la implicaci on de
Lukasiewicz denida por
seq
2
(x, y) = mn1, 1 x + y, (5.6.5)
otro ejemplo importante fue introducido por G odel, que se dene
seq
1
(x, y) =
_
1 si x y,
y en otro caso.
(5.6.6)
Como es de esperarse, uno tiende a escribir las implicaciones en terminos de otros conec-
tivos, uno de los caminos usuales es hacerlo con disyunci on y negaci on o con conjunci on
y negaci on, as en el caso de (5.6.5) es
seq
2
(x, y) = vel
2
(non
1
(x), y) = non
1
(et
2
(x, non
1
(y))), (5.6.7)
esta coneccion es la que motiva que a vel
2
se le llame la disyuncion (aritmetica) de
Lukasiewicz y et
2
la conjuncion (aritmetica) de Lukasiewicz; pero en lo que concierne a
seq
1
el intento es infructuoso, ante esto, existe otro tipo de reducci on, es
seq
1
(x, y) = supw [ et
1
(x, w) y (5.6.8)
introducida por G odel (cf.[4]) cuando relaciona la l ogica multi-valuada y la l ogica intu-
cionista en donde la implicaci on es interpretada como pseudocomplemento, la situaci on
expuesta en (5.6.8) es equivalente a
w seq
1
(x, y) et
1
(x, w) y, (5.6.9)
de donde se dice que et
1
, seq
1
forman un par adjunto, n otese que et
2
, seq
2
presentan el
mismo comportamiento.
448
Algunos elementos de l ogica, conjuntos y topologa difusas
6. Hacia una generalizaci on
Cuando se observa por ejemplo ([0, 1], et
1
, vel
1
), surge de inmediato la estructura de un
retculo enriquecido con el par adjunto (et
1
, seq
1
) y se tiene la tendencia feliz y exitosa de
considerar la estructuras algebraicas que generalizan esta fenomenologa; as, se estudia
la l ogica monoidal en [6] y la estructura de GLmonoide que ahora va a centrar nuestra
atencion.
Sea (L, ) un retculo innitamente distributivo y completo, esto es, (L, ) es un con-
junto parcialmente ordenado tal que para todo A L el extremo superior
_
A y el
extremo inferior
_
A estan denidos y para todo L se satisface
_

A
_
=

a [ a A y (6.0.10)
_

A
_
=

a [ a A. (6.0.11)
En particular, :=
_
L y :=
_
L son el m aximo y el mnimo de L respectivamente.
Se asume adem as que ,= lo que signica que L tiene por lo menos dos elementos. Un
GLmonoide (ver [10]) es un retculo completo enriquecido con una operaci on binaria
constituyendose en una tripleta (L, , ) tal que:
(1) es mon otona, es decir, , , L implica ;
(2) es conmutativa, i.e. , L, = ,
(3) es asociativa, esto es ( ) = ( ) , , , L;
(4) (L, , ) es entero, i.e. act ua como elemento unidad: = , L;
(5) act ua como elemento cero en (L, , ), es decir = , L;
(6) se distribuye sobre extremos superiores arbitrarios, esto signica que
(
_
j

j
) =
_
j
(
j
), L,
j
: j J L;
(7) (L, , ) is divisible, i.e. implica la existencia de L tal que = .
Por otro lado, todo GLmonoide es residuado, i.e. existe una operaci on binaria adicional
(implicaci on) en L que satisface la condicion:
( ) , , L. (6.0.12)
La implicaci on est a dada por:
=

L [ , (6.0.13)
en este punto, Usted puede comparar (5.6.8) y (5.6.9) con (6.0.12) y (6.0.13) respectiva-
mente
2
, note adem as que ( ).
2
En un algebra de Boole, se tiene que para todo x, y y z, es
z (n(x) y) s y solamente s z x y,
por tanto, (x y) = n(x) y. En l ogica clasica, cuando p y q son proposiciones, p q es n(p) o q.
449
Memorias XVI encuentro de geometra y IV de aritmetica
Las propiedades m as usuales de los GLmonoides, exhibidas en [10], son
(i) = ;
(ii) (
_
i

i
) =
_
i
(
i
);
(iii) (
_
i

i
) =
_
i
(
i
);
(v) (
_
i

i
) =
_
i
(
i
);
(vi) ( ) ( ) ;
(vii) ( ) ( ).
Ejemplos importantes de GL-monoides son las algebras de Heyting y las MV -algebras.
En verdad (ver [8] y [9]), un algebra de Heyting es un GL-monoide del tipo (L, , , , ),
es decir, en un algebra de Heyting = ; adem as all se dene la negaci on de x (cf. [8])
como n(x) = (x ), con base en la denicion de en (6.0.12) es,
n() s y solamente s = ,
en un algebra de Heyting, n satisface entre otras las siguientes propiedades:
1. n(n())
2. Si entonces n() n()
3. n() = n(n(n()))
Por otro lado (ver [10]), un GL-monoide es una MV -algebra si
( ) = L. (6.0.14)
As, en una MV -algebra existe una involuci on n : L L que invierte el orden y que se
dene de manera natural como
n() := L. (6.0.15)
7. De los conjuntos difusos
Si X es un conjunto no vaco y L es un GL-monoide, el conjunto de L-partes de X es
L
X
:= f [ f : X L
L
X
hereda la estructura de GL-monoide; esto es, todas las operaciones algebraicas de L
pueden ser extendidas puntualmente a L
X
como sigue: Para todo f, g L
X
,
1. f g si y solo si f(x) g(x) para todo x X,
450
Algunos elementos de l ogica, conjuntos y topologa difusas
2. (f g)(x) = f(x) g(x),
en particular, los L-conjuntos 1
X
y 0
X
denidos por
1
X
(x) := y 0
X
(x) :=
para todo x X son el m aximo y el mnimo en L
X
respectivamente Ahora, dada
: X Y , produce los operadores

L
: L
X
L
Y
y

L
: L
Y
L
X
denidos por

L
(f)(y) =

({y})
f(x) y

L
(g) = g
donde

: Y X es el operador imagen recproca usual. Estas ideas y metodo de
trabajo pueden ser extendidas como
1. El operador

LL
: L
(L
X
)
L
(L
Y
)
que se nota por comodidad con

1
y act ua como
sigue: Para todo | L
(L
X
)
y para todo g L
Y
, es

1
(|)(g) =

LL
(|)(g) =

g=

L
(f)
|(f).
2. El operador

LL
: L
(L
X
)
L
(L
Y
)
que se nota por comodidad con

2
y act ua como
sigue: Para todo | L
(L
X
)
y para todo g L
Y
, es

2
(|)(g) =

LL
(|)(g) = |

L
(g).
3. El operador

LL
: L
(L
Y
)
L
(L
X
)
que se nota por comodidad con

1
y esta denido
as: Para todo 1 L
(L
Y
)
y para todo f L
X
, es

1
(1)(f) =

LL
(1)(f) =

f=

L
(g)
1(g).
4. El operador

LL
: L
(L
Y
)
L
(L
X
)
que se nota con

2
y se dene as: Para todo
1 L
(L
Y
)
y para todo f L
X
, es

2
(1)(f) =

LL
(1)(f) = 1

L
(f).
Teorema 7.1. Los parejas de operadores (

1
,

2
), y (

1
,

2
) son pares adjuntos
3
.
3
Aunque ya se ha enunciado el concepto de adjunci on, aqu lo volvemos a presentar: Sean f : M N y
g : N M morsmos de conjuntos ordenados, se dice que f es adjunto a izquierda de g, que g es adjunto
a derecha de f y que (f, g) forman un par adjunto si para a M y b N se satisface f(a) b a g(b).
De manera equivalente, (f, g) es un par adjunto si y solo si 1
M
g f y f g 1
N
.
451
Memorias XVI encuentro de geometra y IV de aritmetica
Demostraci on. Es evidente que los cuatro operadores son morsmos de conjuntos orde-
nados. Para el caso de (

1
,

2
) sean 1 L
(L
Y
)
y g L
Y
, entonces

1
_

2
(1)
_
(g) =

g=

L
(h)

2
(1)(h) =

g=

L
(h)
1(

L
(h)) = 1(g);
por otro lado, sean | L
(L
X
)
y f L
X
entonces

2
_

1
(|)
_
(f) =

1
(|)(

L
(f)) =

L
(f)=

L
(g)
|(g) |(f),
de donde se sigue que (

1
,

2
) es un par adjunto. Con respecto al otro par, sean |
L
(L
X
)
y f L
X
entonces

1
_

2
(|)
_
(f) =

L
(h)=f
|(

L
(h)) = |(f);
ahora, si 1 L
(L
Y
)
y g L
Y
, entonces

2
_

1
(1)
_
(g) =

1
(1)(

L
(g)) =

L
(h)=

L
(g)
1(h) 1(g),
por tanto, (

1
,

2
) es un par adjunto.
Haciendo las rextricciones adecuadas, un ejercicio de calistenia es estudiar el par (

2
,

2
).
7.1. Debilitando el retculo L
El trabajo con GL-monoides se hace bastante agradable gracias a su gran abanico de
propiedades, entre ellas la de incluir la implicaci on (o exponencial), pero para quien es-
tudia esta fenomenologa, es imperativo tratar de disminuir el n umero de condiciones; es
as que en [5], el soporte de las teoras son los retculos cuasi-monoidales completos; en
ese contexto, un retculo cuasi-monoidal completo o cqm-lattice es una tripleta (L, , )
que satisface:
1. (L, ) es un retculo completo donde denota la cota superior universal y
denota la cota inferior universal.
2. (L, , ) es un grupoide parcialmente ordenado, i. e. es una operaci on binaria
sobre L que satisface el axioma de isotona
a b and c d implica a c b d.
452
Algunos elementos de l ogica, conjuntos y topologa difusas
3. , , para todo L.
Dados los retculos cuasi-monoidales completos (L
1
,
1
,
1
) y (L
2
,
2
,
2
), un morsmo
entre (L
1
,
1
,
1
) and (L
2
,
2
,
2
) es una funcion : L
1
L
2
que satisface:
m1. conmuta con extremos superiores arbitrarios.
m2. (
1
) = ()
2
().
m3. preserva cotas superiores universales, i. e. () = .
Tenemos la categora CQML donde los objetos son los retculos cuasi-monoidales com-
pletos (cqm-lattices) y los morsmos son los morsmos entre los retculos cuasi-monoidales
completos.
Un grupoide parcialmente ordenado (L, , ) es un cl-grupoide si se distribuye sobre
extremos superiores arbitrarios no vacos, i. e.
4. Para J ,= ,
_

jJ

j
_
=

jJ
(
j
) y

jJ

j
=

jJ
(
j
) .
8. La categora L FTOP
Dados (L, , ) un GL-monoide, X un conjunto no vaco; una topologa L-difusa sobre
X es una funcion : L
X
L que satisface:
o1. (1
X
) = ,
o2. Para f, g L
X
, (f) (g) (f g),
o3. Para todo subconjunto f

de L
X
se tiene la desigualdad

(f

) (

).
Si es una topologa L-difusa sobre X, el par (X, ) es un espacio topol ogico L-difuso.
Como el conjunto X es no vaco, L
X
consiste en por lo menos dos elementos. En
particular, el extremo inferior universal en (L
X
, ) est a dado por 1

. Cuando tomamos
el subconjunto vaco de L
X
y aplicamos el axioma o3, obtenemos
o1. (1

) = .
Dados (X, ) y (Y, ) espacios topol ogicos L-difusos; una funcion : X Y es LF-
contnua sii para toda g L
Y
, satisface
(g) (g ).
Por tanto, tenemos la categora L FTOP donde los objetos son espacios topol ogicos
L-difusos y los morsmos son las funciones LF-continuas.
453
Memorias XVI encuentro de geometra y IV de aritmetica
9. La categora L FIL
Dados (L, , ) un GL-monoide, X un conjunto no vaco; una funcion F : L
X
L es
un L-ltro en X sii F satisface las siguientes propiedades:
F0. F(1
X
) = ,
F1. Si f g, entonces F(f) F(g),
F2. Para f, g L
X
, F(f) F(g) F(f g),
F3. F(1

) = .
El par (X, F) recibe el conjunto L-ltrado. De las propiedades [cf. [7]] de los L-ltros se
resaltan las siguientes,
Proposition 9.1. Si F

es una coleccion de L-ltros en un conjunto jo X, en-

tonces la funci on F =
_

: L
X
L denido por F(g) =
_

(g) es un L-ltro
en X.
En otras palabras, tenemos que la colecci on L FIL
X
, de todos los L-ltros sobre un
conjunto jo X, es cerrado bajo la formaci on de extremos inferiores arbitrarios.
Ahora, de un L-ltro F : L
X
L y de una funcion : X Y , obtenemos un L-ltro
en Y y una topologa L-difusa sobre X como sigue:
Proposition 9.2 (cf. [7]). Si F : L
X
L es un L-ltro y Y
X
, entonces
1. G : L
Y
L denido por G(g) = F(g ) para toda g L
Y
, es un L-ltro.
2. Cada conjunto L-ltrado (X, F) produce un espacio topol ogico L-difuso (X, T
F
).
Demostraci on. 1. G satisface F0 ya que G(1
Y
) = F(1
Y
) = , adem as si g
1
g
2
en L
Y
entonces
g
1
g
2
F(g
1
) F(g
2
) G(g
1
) G(g
2
)
i. e. G satisface F1; con respecto a F2 y F3, sean g
1
, g
2
en L
Y
, entonces
G(g
1
) G(g
2
) = F(g
1
) F(g
2
)
F((g
1
) (g
2
))
= F((g
1
g
2
) )
= G(g
1
g
2
),
adem as,
G(1

) = F(1

) = F(1

) = .
454
Algunos elementos de l ogica, conjuntos y topologa difusas
2. Si comparamos las condiciones para L-ltros y LF-topologas, vemos que F1 implica
o3: Sea f

un subconjunto de L
X
, entonces f

para todo ;
por F1 se tiene que F(f

) F(
_

) para todo , as

F(f

) F(

).
Adem as, si cambiamos F3 por o1, obtenemos la LF-topologa T
F
denida por
T
F
(g) =
_
F(g), if g ,= 1

,
, if g = 1

.
Un morsmo f : (X, F) (Y, G) entre los conjuntos L-ltrados (X, F) y (Y, G) es
una funcion f : X Y tal que para toda L
Y
,
G() F( f).
En esta direccion, obtenemos la categora L FIL donde los objetos son los conjuntos
L-ltrados (X, F) y los morsmos son los exhibidos anteriormente.
As, si tenemos un conjunto L-ltrado (X, F), obtenemos el espacio LF-topol ogico (X, T
F
);
adem as, si es un morsmo entre (X, F) y (Y, G) en L FIL, la misma funci on
es tambien un morsmo en L FTOP. De paso, tambien se observa que ,= son
morsmos en L FIL entonces

,=

. En otras palabras [cf. [7]],

Proposition 9.3. La funci on T : L FIL L FTOP que asigna a cada objeto
(X, F) de L FIL el objeto (X, T
F
) de L FTOP, y a cada morsmo en L FIL
el morsmo

en L FTOP es un functor el entre la categora L FIL de los

conjuntos L-ltrados, y la categora L FTOP de los espacios L-Ftopologicos.
De la caracterizaci on de la delidad dada en [1] tenemos que todo epimorsmo :
(X, F) (

X,

F) en L FIL, considerado como una echa T -estructurada (T (), (

X,

F))
es generating. Sin embargo, el functor T no tiene adjunto. Para ver esto, consideramos el
conjunto X = a, b y el objeto 2 = (0, 1, , , ) de la categora CQML. Los obje-
tos de la bra sobre X en 2 FIL son (X, F
j
) donde, para las funciones caractersticas

A
,
1. F
1
: 2
X
2, denida como F
1
(
A
) = 1 para A = X y F
1
(
B
) = 0 para
B 2
X
, B ,= X,
2. F
2
: 2
X
2, denida como F
2
(
A
) = 1 para A = X o A = a, y F
2
(
B
) = 0
para B = b o B = ,
3. F
3
: 2
X
2, denida como F
3
(
A
) = 1 para A = X o A = b, y F
3
(
B
) = 0
para B = a o B = .
455
Memorias XVI encuentro de geometra y IV de aritmetica
Los objetos de la bra sobre X en 2F TOP son (X,
F
i
), donde
i
, i = 1, 2, 3, son
las LF-topologas asociadas a cada uno de los L-ltros anteriores, y
4
: 2
X
2, denido
por
4
(
A
) = 1 para todo A 2
X
.
Si existiera un functor adjunto T para T , se tendra la siguiente propiedad para L-ltros
y LF-topologas:
T() F T (F)
y, en consecuencia:
T() =

F FIL
X
[ T (F);
pero en nuestro caso, tenemos que
T(
4
) =

F FIL
X
[
4
T (F) =

,
i. e. T(
4
) no existe. Sin embargo, T conmuta con extremos inferiores arbitrarios i. e. si
(X, F

es una familia de conjuntos L-ltrados en X y

_

(X, F

) = (X,
_

) = (X, F) entonces
T (

(X, F

)) = T (X, F) = (X, T
F
).
Dado un conjunto unitario Y = p (cf. [7]), vemos que hay un isomorsmo entre L
Y
y
L, donde, en particular, 1
Y
y estan identicados. En este contexto podemos denir
el L-ltro F : L
Y
L L como sigue:
F(g) =
_
, si g ,= 1
Y
,
, si g = 1
Y
.
Adem as,
Proposition 9.4. El conjunto L-ltrado (Y, F) es un objeto terminal en L FIL.
Demostraci on. Sea (X, F) un conjunto L-ltrado, existe una unica funcion : X Y ;
veamos que produce un morsmo en L FIL. Para g L
Y
tenemos que g = 1
Y
o
g ,= 1
Y
; si g ,= 1
Y
entonces
F(g) = F(g ),
si g = 1
Y
entonces F(g) = , por otro lado, g = 1
X
, luego
= F(g) F(g ) = F(1
X
) =
y la conclusi on se sigue.
Es facil ver que (Y, T
F
) es un objeto terminal en L FTOP por tanto, el functor T
preserva objetos terminales.
456
Algunos elementos de l ogica, conjuntos y topologa difusas
Bibliografa
[1] ADAMEK, J.; HERRLICH, H.; STRECKER, GEORGE., Abstract and Concrete
Categories, John Wiley & Sons, New York, 1990.
[2] BIRKHOFF, G., Lattice Theory, American Mathematical Society, Providence, 1940.
[3] CAICEDO, X., Elementos de L ogica y Calculabilidad, Una Empresa Docente - Uni-
versidad de los Andes, Bogot a, 1990
[4] GOTTWALD, S., Many-valued logic In: Mathematics of Fuzzy Sets: Logic, Topology
and Measure Theory, Kluwer Academic Publisher, Boston, 1999.
[5] H

OHle, U.;

SOSTAK, A., Fixed-Basis Fuzzy Topologies, In: Mathematics of Fuzzy
Sets: Logic, Topology and Measure Theory, Kluwer Academic Publisher, Mas-
sachusetts, 1999.
[6] H

OHLE, U., Commutative, residuated l-monoids In: Non-Classical Logics and Their
Applications to Fuzzy Subsets, Kluwer Academic Publisher, Boston, 1995.
[7] JOHNSTONE, P., Stone spaces, Cambridge University Press, Cambridge, 1982.
[8] LUNA, J.; OCHOA, C., L-lters and LF-topologies, Fuzzy Sets ans Systems, 140
(2003).
[9] MAC LANE, S.; MOERDIJK, I., Sheaves in Geometry and Logic, Springer-Verlag,
New York, 1992.
[10]

SOSTAK, A., Fuzzy functions and an extension of the category L-Top of Chang-
Goguen L-topological spaces, Proceedings of the Ninth Prague Topological Sympo-
sium, Prague, Czech Republic, 2001.
457