Mnica Lidia Jacob

De la lgica a la topologa en psicoanlisis : un recorrido posible

Clase 7
PsicoNet
www.psiconet.com
info@psiconet.com
Programa de Seminarios por Internet
www.edupsi.com
seminarios@edupsi.com
Seminario:
De la lgica a la topologa en psicoanlisis:
un recorrido posible
www.edupsi.com/logotopo
logotopo@edupsi.com
cargo de !nica "idia #acob
CLASE 7
Hoy veremos el producto cartesiano que es un nuevo modo de operar con
dos conjuntos .Pero primero repasemos algunas cuestiones .
Sean los conjuntos A y B definidos por extensin :
A = !"#"$%
B = !"&%
Son dos conjuntos num'ricos ( la unin estar) formada por los elementos
comunes y no comunes ( los que se repiten se cuentan una sola ve* .+a
interseccin est) formada por los n,meros comunes a am-os conjuntos " es decir
el n,mero ! .
A B
# $ ! &
.n el diagrama de /enn " en la interseccin se coloca el !" con lo cual # y $
quedan en el espacio propio de A 0 el conjunto A 1 B 2 .
+a unin est) formada por los n,meros !"#"$"& "porque en la unin los
elementos se cuentan una sola ve* ( porque digo $uienes son los elementos y no
cuantas veces est) cada uno . /eamos que se produce un efecto de p'rdida
en el cardinal de la unin .
A = !"#"$% 3ard A = $
B = !"&% 3ard B = #
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
AB = !"#"$"&% 3ard 0A B2 = &
AB =!4 3ard 0A B2 = !
3ard 0A B2 5 3ard A 6 3ard B
& 5 $ 6 #
.l cardinal de la suma es & "que es menor que la suma de los cardinales de A y
B 0que suman 7 2 . Hay un efecto de p'rdida en la unin que proviene de
descontar los elementos de la interseccin .Por eso" si los conjuntos son
disjuntos 0si la interseccin es vac8a 2 "se verifica que el cardinal de la unin es la
suma de los cardinales de cada uno . Si no son disjuntos " como en este ejemplo "
el cardinal de la unin es la suma de los cardinales de los dos conjuntos menos el
cardinal de la interseccin.
Card (A B) = Card A + Card B Card (A B)
.l calculo de pro-a-ilidades recurre "entre otras cosas" a esta frmula .
Si tiramos un dado" 9cuales son los resultados posi-les:. ;o se sa-e que n,mero
va salir " pero se sa-e que es alg,n n,mero entre ! y < y que seguro no saldr)
un = por ejemplo .3uando se quiere >acer el c)lculo de la pro-a-ilidad >ay que
definir -ien cual es el experimento .Si el experimento consiste en tirar un dado" los
resultados posi-les forman lo que se llama el espacio muestral :
.=!"#"$"&"7"<%
9%untos elementos >ay en este espacio muestral : 0no cuales sino cuantos2 :
>ay <. 93ual es la pro-a-ilidad de que salga un #: : !?< .+a pro-a-ilidad de
que salga cualquiera de estos n,meros es !?< salvo que el dado est' cargado.
Se supone que el dado tiene masa ( est) >ec>o de un determinado material ( que
est' cargado quiere decir que a lo mejor una de las caras pesa m)s " est) deforme
y tiene mas tendencia a salir el < .
Bueno" supongamos que no est) cargado . @eali*o un experimento. .l espacio
llamado muestral " es el conjunto de todos los resultados posibles .
.=!"#"$"&"7"<%
A>ora " supongamos que tiro una moneda . .l espacio muestral 9cual es: el
conjunto de todos los resultados posi-les . .l espacio muestral est) formado por
cara y ceca " cuyo cardinal es #.
.=cara" ceca%
Para el c)lculo de pro-a-ilidades no importa tanto quien es el muestral "cual es el
evento "sino cuantos elementos tengo.
Si defino a>ora un experimento que consiste en tirar dos monedas& voy a
escri-ir c para indicar cara y s para indicar ceca . .l espacio muestral est)
formado por & pares 0luego tiene cardinal & 2 :
.= 0c "c2 0c" s2 0s" c2 0s "s2 %
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
.l cardinal del espacio es la cantidad de elementos que tiene el espacio . Para ver
cual es el espacio >ay que precisar -ien cual es el experimento .Si tiramos dos
dados >ay $< posi-ilidades 0pares2
.=0!"!20!"#20!"$20!"&20!"720!"<20#"!20#"#20#"$20#"&20#"720#"<20$"!20$"#20$"$20$"&2
0$"720$"<20&"!20&"#20&"$20&"&20&"720&"<207!"207"#207"$207"&207"7207"<20<"!2
0<"#20<"$20<"&20<"720<"<2 %
Son $< pares .
Si A y B son tales que
A = !"#"$ % y B = a"-%
+a interseccin es vac8a y se escri-e as8 : A B = . Se dice que A y B son
disjuntos .
PRODUCTO CARTESIANO DE DOS CONJUNTOS : AxB
Sean dos conjuntos 0no tienen por qu' ser >omog'neos : uno puede estar
formado por n,meros y otro por letras 2. Ana de las operaciones que se reali*a
con dos conjuntos se llama producto cartesiano de A por B y se indica '( .
3onsideremos como ejemplo :
) *+&,&- .
()*a&b.
Bmaginemos a cada conjunto como una C-olsaD (Eenemos una F-olsa F con
n,meros y una F-olsaF con letras ( Hasta a>ora form)-amos conjuntos 0como la
unin" la interseccin " etc.2 cuyos elementos eran elementos sueltos " a>ora
vamos a formar un conjunto con otra clase de o-jetos :los pares ordenados "
pares de elementos . 3ada par va a estar formado en la primer coordenada o el
primer lugar "por un elemento del primer conjunto. G la segunda" por un elemento del
segundo conjunto . .s como si armamos cajitas con lugares distingui-les( por
ejemplo cajitas con una parte a*ul y otra roja. .l elemento colocado en el primer
lugar se llama primer coordenada y el u-icado en el segundo lugar es la segunda
coordenada. A>ora" /N elemento de AxB es un par ordenado .
.l producto cartesiano " >ace corresponder a cada elemento de A todos los
de B o sea que el producto cartesiano va estar formado por todos los pares
posi-les .
0( ) * 1+&a2 1,&a2&1-&a2 1+&b21,&b21-&b23
Ana de las formas de representacin del producto cartesiano entre A y B "es la
de los diagramas de /enn .
.n el diagrama " la asignacin se indica por flec>as ( decir que al + se lo pone en
correspondencia con a & se indica con una flec>a que sale de + y llega a " a ( esta
flec>a representa el par ordenado 0!"a2.
A B
! a
# -
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
$
Par ordenado es una dupla tal que en el primer lugar se u-ica un o-jeto de A
y en el segundo lugar uno de B.
93uales son los pares de elementos que se pueden formar con elementos de A
en el primer lugar y de B en el segundo ::
AxB =0!"a2(0!"-2(0#"a2(0#"-2(0$"a2(0$"-2%
/ean que tenemos un nuevo tipo de o-jetos ( A ten8a n,meros" B letras y a>ora
AxB tiene pares ( los elementos de AxB son pares ordenados. .n la representacin
de diagramas de /enn el par 0!"a2 es la flec>a que indica la asignacin o
correspondencia entre el ! de A y el a de B.
.n el producto cartesiano est)n todas las flec>as posi-les que salen de A y llegan
a B 0todas las posi-les2.
.sta operacin llamada producto cartesiano" no es conmutativa porque si
queremos efectuar (' "al tomar pares ordenados "a>ora en el primer lugar >ay
un elemento de B y en el segundo" uno de A.
.l conjunto de pares que integran BxA es :
BxA =0a"!2(0a"#2(0a"$2(0-"!2(0-"#2(0-"$2%
.stos < elementos son totalmente distintos de los otros < " porque el par
ordenado 0!"a2 no es el mismo que el 0a"!2.
Por lo tanto AxB es distinto que BxA. /emos entonces una operacin en que el
orden de los factores altera el producto" contrariamente a lo aprendido >asta a>ora

93uanto vale el cardinal de A:: $ ( el de B es # y el de AxB es <. H8jense que
$.#=< . .s decir que es v)lido que el cardinal del producto cartesiano 0la cantidad de
pares de AxB2 es igual a la multiplicacin entre el cardinal de A y el de B.
Antes escri-8 cardinal con la notacin 3ard " pero tam-i'n se puede emplear el
s8m-olo I. Eenemos entonces que :

41'(2 ) 4. 4(
Eengan en cuenta cmo >ay que comen*ar a diferenciar las operaciones ( en la
frmula reci'n escrita >ay dos s8m-olos de multiplicacin : ' indica un tipo de
producto entre conjuntos que es el producto cartesiano ( el puntito que est) en
el miem-ro derec>o es el producto o multiplicacin de n,meros 0los cardinales
son n,meros 2. An igual tac>ado dos veces 0I2 es la notacin de cardinal de un
conjunto " y dice cuantos elementos tiene ese conjunto .
.l cardinal de A es $ ( el de B es # ( a>ora el cardinal de A x B es < ( o sea >ay $
elementos en A ( dos elementos en B 0las letras2 y < elementos en el producto
cartesiano que son de otra naturale*a ( son pares cuya primer componente es
un n,mero y la segunda " una letra .Par ordenado quiere decir que el par 0!"a2
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
no es lo mismo que el par 0a"!2.
.sta operacin tiene varios modos de representacin . Ana es la de los diagramas
de /enn que ya vimos (otra forma es por extensin 0nom-rar los pares" que ya
vimos tam-i'n 2.
+a que veremos a>ora es la representacin cartesiana .Eomo dos ejes
perpendiculares 0forman un )ngulo recto2(en el eje >ori*ontal indico los elementos
del primer conjunto y en el vertical los del segundo.
.s como un diagrama de calles . Partiendo del origen de coordenadas me
muevo ! >acia la derec>a y su-o a ( all8 marco el punto 0!"a2 en la interseccin
0como si fuera una esquina 2.
Si marco los < pares tengo una especie de cuadriculado de < puntitos .
-
a
! # $
Jtra representacin se reali*a por medio de una ta-la de valores que en la
primer columna u-ica los elementos de A y en la segunda columna " los
elementos de B que >an sido asignados a los de la primera columna
A B
! a
! -
# a
# -
$ a
$ -
Jtra forma es disponer los elementos de A en vertical 0columna2 (los de B en
>ori*ontal 0fila 2 ( y formar una matri* de do-le entrada cuyos casilleros
corresponden a los pares :
B a -
A
! 0!"a2 0!"-2
# 0#"a2 0#"-2
$ 0$"a2 0$"-2
/imos el producto cartesiano de A = !"#"$% y B= a" -% y vimos todos los
modos de representar el producto cartesiano" formado por todos los pares que
tienen un primer elemento en A y un segundo en B
' ( )* 1+&a21+&b21,&a21,&b21-&a21-&b2.
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
.ste nuevo conjunto es el producto cartesiano del conjunto A por el conjunto B (
este nuevo tipo de operacin " es el conjunto m)s grande de pares que podr8amos
armar con A y B .
RELACIOE! E"RE DO! COJ#"O!
A partir de dos conjuntos A y B ">emos o-tenido el producto cartesiano. Se llama
relacin entre 5 ( & a cual$uier subcon6unto del producto cartesiano .
93mo se llama-a el conjunto formado por todos los su-conjuntos de un
conjunto: .l conjunto de partes . @ecuerden que los elementos del producto
cartesiano son pares " con lo cual AxB tendr) en nuestro ejemplo < pares 0 los
< elementos2 " con lo cual el conjunto de partes de AxB tiene # elevado a la < "
su-conjuntos . .s decir que el conjunto potencia de AxB est) formado por <&
elementos que son todos los su-conjuntos posi-les de AxB " entre los cuales
figuran los su-conjuntos triviales : el vac8o y el propio producto cartesiano . .s
decir que >a-r8a <& relaciones .3ada uno de estos <& elementos del conjunto
de partes del producto cartesiano es una relacin posi-le.
/eamos de dnde surgen los <& elementos . @ecuerden el tri)ngulo de Pascal"
que para < elementos es
! < !7 #K !7 < !
! por el conjunto vac8o . +as mnadas son los su-conjuntos que tienen un slo
par cada uno ( como >ay < pares" >ay < mnadas posi-les. +as d8adas ser)n
los su-conjuntos que contengan dos pares de entre los < :
.so se calcula-a con el n,mero com-inatorio de < en # . Le < pares selecciono #.

+as tr8adas se calcular)n con el com-inatorio de < en $
Hay simetr8a "luego se repite el !7 "el <" y el ! : sumando todos los n,meros
tenemos: !6<6!76#K6!76<6! = <&.
H8jense que con < elementos el n,mero de relaciones es <& " con M ser8a !#= "
as8 que ya ven cmo aumenta el n,mero de relaciones con el aumento del
n,mero de pares .
@ecordemos antes de continuar" como calcul)-amos el
COJ#"O $O"ECIA O COJ#"O DE $AR"E! DE #
COJ#"O %
/oy a mostrar cmo es el conjunto potencia de un conjunto cuyos elementos
son n,meros 0no pares 2.Sea el conjunto: N= &"7"M% cuyo cardinal es $.
&'
( ) % & % *
( ) % ' % +
( ) ( *
( +
* , +
= = = C
*-
( . % & % * % .
( . % ) % ' % +
( . ( .
( +
. , +
= = = C
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
Partes de N que se indica P0N2 y es un conjunto formado por los = su-conjuntos
posi-les de N.
P1!2 )* * .& *7.&*8.&*9.& *7&8.& *7&9.& *8&9.& *7&8&9. .
/imos que >a-8a conjuntos formados por elementos sueltos 0n,meros " letras "
etc 2( el producto cartesiano es un conjunto cuyos o-jetos son pares
ordenados (no son n,meros ni letras sino pares 0aunque despu's veremos que
en un caso particular los pares coinciden con los n,meros
complejos2(a>ora estoy mostrando que el conjunto de partes es un conjunto
cuyos elementos son conjuntos. Para decirlo en forma vulgar " primero ten8amos
-olsas con elementos sueltos " despu's -olsas que adentro ten8an cajas cada una
de las cuales ten8a dos elementos y a>ora tenemos una -olsa en cuyo interior
>ay -olsitas .
Eomo N que tiene $ elementos ( y selecciono primero " cero elementos ( pero
ese es por definicin el conjunto vac8o y es el primer su-conjunto de N( si
formo conjuntitos tomando los elementos de N de a uno por ve* " >ay $
su-conjuntos : el que est) formado solamente por & " otro que tiene slo al 7 y otro
slo al M .Agot' todas las posi-ilidades de tomarlos de a uno( a>ora los puedo
seleccionar de a # :formo & con 7" & con M y 7 con M . G luego de a tres 0el
mismo conjunto N2.
Si se fijan " dentro de la llave grande 0del nuevo conjunto que estamos armando2
>ay = su-conjuntos. +es recuerdo una diferencia : .n las cajitas o pares el orden
importa " es decir que 0&"72 07"&2 " mientras que como conjunto" la -olsa que
tiene los o-jetos & y 7 es la misma que la que tiene los o-jetos 7 y & ( o sea que
&"7%=7"&%.
S
!
" S
#
tiene la forma de par ordenado ya que no da lo mismo cam-iar el orden
de los significantes .
3on respecto al cardinal o-servamos lo siguiente : el conjunto N tiene
cardinal $( su conjunto potencia tiene = ( oc>o es el n,mero que se o-tiene
elevando # al cu-o 0a la $2 ( vale en general que el cardinal del conjunto de
partes N " es igual a # elevado al cardinal del conjunto N.
9Ou' >icimos ::construimos a partir de dos conjuntos A y B un nuevo conjunto por
medio de la operacin x. Eenemos entonces el conjunto producto cartesiano de A
por B : A x B .
/imos luego que " dado un conjunto N " su conjunto de partes o conjunto
potencia est) formado por todos los su-conjuntos posi-les de N.
+as relaciones con los cardinales eran: cardinal del producto escalar es
cardinal del primer conjunto por el cardinal del segundo .3ardinal del conjunto
potencia de N es # elevado al cardinal de N .
I0AxB2= 0IA2.0IB2

IP0N2 = #
IN
.l conjunto potencia se forma a partir de 3AA+OAB.@ conjunto " tenga los
o-jetos que tenga 0 sea un conjunto formado por n,meros" letras" pares o
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
conjuntos 2.
Si tomamos el conjunto A "formado por los n,meros !"#"$ " su conjunto potencia
ser):
P0A2= % " !% " #% " $%" !"#%" !"$%" #"$%" A %
3omo A tiene $ elementos" P0A2 tiene # elevado al cu-o es decir = su-conjuntos
posi-les : uno es el vac8o ( luego los conjuntos unitarios 0con un elemento de A
cada uno 2( luego los -inarios 0dos n,meros en cada su-conjunto 2 y el
conjunto formado por los tres elementos de A 0o sea A mismo2.
Si consideramos como conjunto " este otro"
B=a" -%
.l conjunto potencia de B est) formado por el vac8o " el su-conjunto cuyo ,nico
elemento es a " el que tiene ,nicamente - y B mismo ( est) formado por los &
su-conjuntos posi-les 0# elevado al cuadrado es &2.
P0B2 = %" a% " -% " B %
Pero tam-i'n es posi-le >acer el conjunto potencia de A x B que tiene #
elevado a la < es decir <& su-conjuntos.
3omo A x B es un nuevo conjunto" podemos formar todos los su-conjuntos
posi-les de este conjunto ( o sea conjuntos formados por pares. Primero
tenemos el vac8o (luego los su-conjuntos unitarios 0formados en este caso por un
par2.
.n P0A2 >a-8amos considerado como primer su-conjunto unitario al formado
por el primer elemento de A que es !" y pusimos !%. A>ora el primer su-conjunto
unitario de P 0AxB2 ser) el formado por el primer elemento de AxB que es el par
0!"a2( se indica como 0!"a2%: conjunto cuyo ,nico elemento es el par 0!"a2.
/isto en el diagrama cartesiano "lo que >acemos es tomar primero el vac8o (
luego un conjunto con cada punto ( luego tomarlos de a # pares ( luego de a $ " de
a & de a 7 y el conjunto AxB .
+os <& posi-les se distri-uyen as8 :
% 0vac8o 2 : !
los unitarios son < "que son :
0!"a2% ( 0!"-2% ( 0#"a2% ( 0#"-2% ( 0$"a2% ( 0$"-2%
+os -inarios son aquellos que tienen dos pares (>ay entonces !7 su-conjuntos
posi-les ( #K son los ternarios 0que contienen $ pares 2( !7 los cuaternarios " <
los de 7 pares y uno que es el producto cartesiano AxB .
P0AxB2 consta de los siguientes <& su-conjuntos :
% /ac8o : conjunto con K elementos
0!"a2 %
0!"-2 %
Mnica Lidia Jacob
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
0#"a2 %
0#"-2 % conjuntos unitarios o mnadas
0$"a2 %
0$"-2 %
0!"a2(0!"-2%
0!"a2(0#"a2%
0!"a2(0#"-2%
0!"a2(0$"a2%
0!"a2(0$"-2%
0!"-2(0#"a2%
0!"-2(0#"-2%
0!"-2(0$"a2% conjuntos -inarios o mnadas
0!"-2(0$"-2%
0#"a2(0#"-2%
0#"a2(0$"a2%
0#"a2(0$"-2%
0#"-2(0$"a2%
0#"-2(0$"-2%
0$"a2(0$"-%%
0!"a2(0!"-2(0#"a2%
0!"a2(0!"-2(0#"-2%
0!"a2(0!"-2(0$"a2%
0!"a2(0!"-2(0$"-2%
0!"a2(0#"a2(0#"-2%
0!"a2(0#"a2(0$"a2%
0!"a2(0#"a2(0$"-2%
0!"a2(0#"-2(0$"a2%
0!"a2(0#"-2(0$"-2%
0!"a2(0$"a2(0$"-2% conjuntos con $ elementos o ternas
0!"-2(0#"a2(0#"-2%
0!"-2(0#"a2(0$"a2%
0!"-2(0#"a2(0$"-2%
0!"-2(0#"-2(0$"a2%
0!"-2(0#"-2(0$"-2%
0!"-2(0$"a2(0$"-2%
0#"a2(0#"-2(0$"a2%
0#"a2(0#"-2(0$"-2%
0#"a2(0$"a2(0$"-2%
0#"-2(0$"a2(0$"-2%
0!"a2(0!"-2(0#"a2(0#"-2%
0!"a2(0!"-2(0#"a2(0$"a2%
0!"a2(0!"-2(0#"a2(0$"-2%
0!"a2(0!"-2(0#"-2(0$"a2%
Mnica Lidia Jacob &-
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
0!"a2(0!"-2(0#"-2(0$"-2%
0!"a2(0!"-2(0$"a2(0$"-2%
0!"a2(0#"a2(0#"-2:0$"a2%
0!"a2(0#"a2(0#"-2(0$"-2% conjuntos cuaternarios
0!"a2(0#"a2(0$"a2(0$"-2%
0!"a2(0#"-2(0$"a2(0$"-2%
0!"-2(0#"a2(0#"-2(0$"a2%
0!"-2(0#"a2(0#"-2(0$"-2%
0!"-2(0#"a2(0$"a2(0$"-2%
0!"-2(0#"-2(0$"a2(0$"-2%
0#"a2(0#"-2(0$"a2(0$"-2%
0!"a20!"-20#"a20#"-2 0$"a2 %
0!"a20!"-20#"a20#"-2 0$"-2 %
0!"a20!"-20#"a20$"a2 0$"-2 % conjuntos con cinco elementos
0!"a20!"-20#"-20$"a2 0$"-2 %
0!"a20#"a20#"-20$"a2 0$"-2 %
0!"-20#"a20#"-20$"a2 0$"-2 %
A x B conjunto con < elementos
Sumen la cantidad de su-conjuntos y ver)n que >ay <& su-conjuntos. Eodos
ellos colocados en una llave forman el conjunto potencia de A x B .
3ada uno de esos su-conjuntos " es lo que se llama A;A @.+A3BP; L. A
.; B.
Eomo los conjuntos A y B ( dado cualquier conjunto de $ elementos y otro de #
elementos" el producto cartesiano de ellos va tener < pares 0cam-iar) el
conjunto pero no la cantidad de pares 2"por lo tanto el conjunto potencia de
este producto cartesiano tendr) <& su-conjuntos posi-les ( cada uno de esos <&
su-conjuntos " es una relacin posi-le.
.l conjunto de todos los pares posi-les es AxB ( de esos pares posi-les" si
seleccionamos algunos " o-tenemos una relacin . 3ada uno de esos
su-conjuntos es una relacin de A en B( >ay <& posi-les en este caso ( calculen que
si con $ elementos en A y # en B " >ay <& relaciones posi-les " al aumentar la
cantidad de elementos de A y de B esto se vuelve inmaneja-le a partir de la
extensin . /eamos algunos ejemplos.
3onsideremos las siguientes relaciones :
R = %
R Q= 0!"a2(0!"-2(0$"a2%
+os diagramas de /enn de am-as relaciones son :
! a
#
$ -
Mnica Lidia Jacob &&
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
R
! a
#
$ -
R '
.n la prxima clase vamos a tra-ajar relaciones en un solo conjunto" es decir
relaciones de un conjunto consigo mismo . .studiaremos las propiedades
reflexiva "sim'trica " y transitiva en una relacin definida en un conjunto .
Pero antes" estudiemos el concepto de funcin
/#CIOE!
@eci'n vimos que el producto cartesiano de A por B " es el conjunto de todos los
pares posi-les ( una relacin est) formada por algunos de esos pares del
producto cartesiano" seleccionados por medio de alguna condicin . Ana funcin es
un caso particular de relacin ( es decir que algunas relaciones " ser)n funciones
+a relacin f de A en B Rf: A B 4 es una funcin " si para todo elemento de
A e'iste un :nico elemento de B ( esto quiere decir que >ay un requerimiento
do-le : existencia y unicidad .
Para que se entienda mejor digamos que si el conjunto A est) formado por !"# y $
" una relacin cualquiera podr) contener varios pares que tengan a ! como
primer coordenada " pero puede tam-i'n no >a-er pares que tengan ! en la
primer componente . Ana funcin ser) aquella que necesariamente contenga
tres pares :un ,nico par que comien*a con !" un ,nico con # y un ,nico con $ .
.jemplos
A = !"#"$%
B = a" -%
AxB = 0!"a2% ( 0!"-2% ( 0#"a2% ( 0#"-2% ( 0$"a2% ( 0$"-2%
R
!
= 0!"a2(0!"-2%
R
#
= 0#"a2(0#"-2(0$"a2(0$"-2%
R
$
=

0!"a2(0#"-2(0$"a2%
Le estas tres relaciones " solamente R
$
es funcin ..n general" revisando la lista
de las <& relaciones " slo van a ser funcin aquellas tr8adas que tengan un
par cuyo primer elemento es ! " otro par que empiece con #" otro con $ .
.l producto cartesiano es el conjunto que tiene m)s pares " la relacin restringe
esa cantidad y la funcin restringe a,n m)s. Adem)s se ve que toda funcin es
relacin pero no toda relacin es funcin .Ana relacin es funcin cuando
contiene un ,nico par por cada elemento de A.
.n t'rminos de los diagramas digamos que f es una funcin cuando del conjunto
de partida sale una ,nica flec>a de cada uno de los puntos 0no pueden quedar
Mnica Lidia Jacob &*
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
puntos sin que de ellos salgan flec>as y no puede salir mas de una flec>a por cada
punto de A 2 ( entonces lo que determina si algo es funcin o no" es su conjunto
de partida .
/eamos qu' sucede si en lugar de considerar conjuntos finitos como los de
reci'n " utili*amos el conjunto de todos los n,meros reales .+os reales eran los
naturales enteros " racionales "irracionales ( pero no incluye a los complejos .
Si queremos esta-lecer una correspondencia entre R y R " como >ay infinitos
elementos ya no >ay un modo de >acerlo por extensin . An modo de escri-ir el
producto cartesiano de R por R " es R
,
" que es la representacin del plano ( @
,
es una forma de decir que el producto cartesiano del conjunto de los reales por el
conjunto de los reales es el plano ..n este caso todo tra*o que >aga " ya
sea una l8nea " semirrecta" o di-ujo raro" cualquier gara-ato que >aga como
est) dentro del plano "es un su-conjunto e indica una relacin ( todo tra*o
dentro del plano es una relacin porque a>ora >ay infinitas relaciones . Le todos
esos gara-atos " algunos corresponder)n a funciones "porque para ser funcin
>ay que someterse a ciertas restricciones .Para reconocer una funcin por medio
de un gr)fico cartesiano" >ay que ver si todas las rectas verticales" cortan la
curva tra*ada en un :nico punto . .s decir que si tenemos la representacin
gr)fica " para ver si es la gr)fica de una funcin" >ay que tomar l8neas verticales
que recorran todo el conjunto A ( si en cada posicin de una vertical" 'sta corta
la gr)fica en un :nico punto" estamos ante una funcin ( si >ay algunas verticales
que no cortan la gr)fica o que la cortan en m)s de un punto" entonces no es
funcin .
/eamos como ejemplo las siguiente gr)ficas :
o
;+
A B 3
+a primera gr)fica no corresponde a una funcin porque >ay al menos una
vertical que corta a la curva en m)s de un punto .
+a segunda es una funcin porque en todo punto del eje x " la recta vertical corta
en un solo punto a la gr)fica .
3 no es funcin porque si -ien todas las verticales" cuando cortan lo >acen una
sola ve* " 0se verifica unicidad 2" >ay puntos que no tienen imagen " por ejemplo
al + no le corresponde ning,n valor en el eje vertical .
Aqu8 >e puesto ar-itrariamente ejemplos de gr)ficas correspondientes a
relaciones de R en R " pero tam-i'n se pueden definir por medio de frmulas "
de la forma y = f0x2 " en las cuales x es la varia-le independiente e y la
dependiente "por ejemplo :
Mnica Lidia Jacob &.
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
5 ) '
,

A partir de esta frmula 9cmo proceder para o-tener la gr)fica
correspondiente: Hay que >acer confeccionar una ta-la de valores eligiendo
valores ar-itrarios para x 0 dentro del conjunto de partida 2
+a <ariable x es una letra " es un lugar vac8o" que podr) ser ocupado por
cualquier n,mero ! " #" !=KKKK el que quiera " dentro 9de qu' conjunto: Lentro
del conjunto R de n,mero reales porque eleg8 ese como dominio .
+a forma funcional explicita qu' operacin reali*ar so-re los valores que va
tomando la varia-le " a todos los opero de igual forma . +a escritura considerada "
dice qu' operacin tengo que >acerle a la varia-le x " en este caso " FdiceF
que la eleve al cuadrado " esto quiere decir que todo n,mero que vaya a ocupar
el lugar de la varia-le "lo tengo que elevar al cuadrado y la imagen es el resultado
de esta operacin . .n este caso " el K va al K el ! al ! "el # al & " el S! al ! "y el
S# al & . +a ta-la queda as8 :
x y
K K
! !
S! !
S# &
# &
.sta ta-la indica que algunos de los pares correspondientes a esta relacin
0 luego veremos si es funcin o no 2 son el 0K"K2 que seTala el origen eje de
coordenadas . Para u-icar en los ejes cartesianos al par 0!"!2 de-o
despla*arme desde el origen " ! >acia la derec>a y ! >acia arri-a ( para u-icar
0#" &2 salgo del origen de coordenadas 0donde se cru*an los dos ejes2 y vamos
# >acia la derec>a " & >acia arri-a .
0S!"!2 es ! >acia la i*quierda y ! >acia arri-a
0S#"&2 es # >acia la i*quierda " & arri-a .
An funcin definida so-re conjuntos infinitos " requiere de una frmula que
permita o-tener las im)genes de los valores de x . Pero diremos que en forma
general " una funcin es una terna 0tiene $ elementos 2 que consiste en un
conjunto de partida 0que se u-ica en >ori*ontal 2 " un conjunto de llegada y una
frmula .
.s muy importante conce-ir la funcin como terna "porque esto quiere decir que
si alguno de los componentes de la terna cam-ia" la funcin no ser) la misma .
+a funcin es una terna porque depende de dos conjuntos y la ley que los conecta
que liga las dos varia-les : la varia-le independiente que toma valores en el
conjunto de partida y la varia-le dependiente que toma sus valores "llamados
im)genes " en el conjunto de llegada .
f : Z Z g: r r = : r
6
r
f1'2 ) '
,
g1'2) '
,
=1'2

) '
,
Mnica Lidia Jacob &)
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
! ! !

S! !
S! ! !
.n el primer caso" la gr)fica es un conjunto de puntos aislados( son todos los
que >emos considerado en la ta-la de valores "pero sin poder unirlos" ya que tanto
el conjunto de salida como el de llegada es Z " enteros y entre un entero y otro
>ay una discontinuidad " un salto " no se pueden intercalar racionales ni
irracionales .
Si estamos en el campo real la gr)fica es un tra*o continuo " que en nuestro
ejemplo se llama par)-ola .
.l tercer caso nos da solamente la mitad de la par)-ola " ya que el conjunto de
partida es el conjunto de reales positivos" con lo cual " del cuadro de valores
de-emos descartar aquellos pares cuya primer coordenada es negativa "como por
ejemplo 1>+ & + 2 5 1>, & 7 2 .
Jtro aspecto interesante de las funciones " es el an)lisis de la continuidad y el
estudio de los puntos de discontinuidad . .ste tema es muy amplio " pero
solamente voy a dar algunas pinceladas .
Lesde el punto de vista intuitivo " una funcin es continua" cuando reali*o su
gr)fica de un solo tra*o" sin levantar la mano . g y > son funciones continuas .
9Ou' sucede si consideramos la frmula p1'2 ) +/' tomando en principio
valores reales para x .
A , la frmula le asigna ? " a - le corresponde +/- " etc. pero 9qu'
pasa cuando x toma valor @A . Lijimos que dividir por K est) pro>i-ido (
entonces esta funcin no est) definida en K . .sto quiere decir que no >ay
imagen de K por medio de f " con lo cual " de acuerdo a la definicin que d8 antes"
la terna
p: r r
p1'2 ) +/'
no corresponde a una funcin porque no todo ' del conjunto de partida " tiene
imagen en el conjunto de llegada ( en este caso " el K no tiene imagen .
9Ou' >acer: .s posi-le convertir esta relacin en funcin : . 3uando una
frmula no est) definida en alg,n punto "los matem)ticos optan por descontar del
campo los elementos pro-lem)ticos " de modo tal que sea posi-le contar con una
funcin .
@edefinimos :
pU: r-{0} r
p1'2 ) +/'
Mnica Lidia Jacob &'
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
+a nueva terna corresponde a una funcin . G su gr)fica es la llamada >ip'r-ola
equil)tera "que como se ver) es una funcin discontinua 0no se puede pasar de
una rama a la otra sin levantar el lapi*2


Se puede decir que p no es funcin porque el K no tiene imagen " porque >a-r8a
que calcular ! so-re K y no se puede dividir por K "con lo cual no >ay quien
pueda >acer esa correspondencia . .l ,nico punto de conflicto es el K ( se sustrae
el K y se considera la que a>ora s8 es una funcin " pU .
Ne parece interesante para pensar la psicosis ( de >ec>o el esquema del
escrito Le una cuestin preliminar a todo tratamiento posi-le de la psicosis " es
una >ip'r-ola . Podr8amos decir que esta curva se puede recorrer sin pro-lemas
salvo que intentemos pasar por el K " en cuyo caso nos encontramos con un
Fa-ismoF por llamar de alguna manera a este imposi-le . .ste tipo de imposi-le
tiene que ver con la existencia de as8ntotas que son las rectas a las cuales la
curva Fse acercaF sin tocar jam)s ..n este caso las as8ntotas son los ejes x e y
+a funcin se acerca a esas dos l8neas pero no las atraviesa .
Jtros dos tipos de discontinuidad son los siguientes :

+ o o
a
+a primera gr)fica es una recta agujereada ( el FagujeritoF indica que el valor de
la varia-le x correspondiente " o sea a " no tiene imagen " no existe f0a2 ( se dice
que la funcin tiene una discontinuidad evita-le en el punto a 9por qu':
Porque el valor inexistente f1a2 se sustituye por " que es el l8mite de la
funcin alrededor de a . " es el valor >acia el cual tienden o Fse acercanF las
im)genes de los puntos vecinos de a . .n este caso" >ay un agujerito en la
funcin " alrededor del cual >ay FredF " >ay un soporte posi-le .
.l segundo gr)fico nos da un ejemplo de discontinuidad un poco m)s grave " que
no es evita-le pero que tiene un salto finito . .s decir que >ay una fisura "pero de
todos modos no es igual al Fa-ismoF de la >ip'r-ola . .n el caso de 'sta " adem)s
de no existir f0K2 que es la imagen por f del K " el l8mite de la funcin en las
inmediaciones del K " es infinito .
Mnica Lidia Jacob &+
De la lgica a la topologa en psicoanlisis : un recorrido posible
Clase 7
/emos entonces que las discontinuidades surgen en los puntos en que Ffalla la
imagenF " donde >ay alguna interrupcin en la trama .+os tres tipos de
discontinuidad los podr8amos plantear como Fa-ismoF" FsaltoF y FagujeroF .
.n la clase prxima veremos relaciones en un conjunto " relaciones de
equivalencia y presentaremos las superficies topolgicas como conjuntos
cociente.