Entender

la

~~.--......_

Lenguaje

del futuro

lo.

DAIMON

matemtica moderna

GEORGES VAN HOUT

Lenguaje del futuro

DAIMON
MADRID - BARCELONA - MEXICO

Ttulo de la edicin original:

MATH~MATIQUE MODERNE, LANGAGE DU FUTUR

Imprimeres Nauwelaerts, S. A., Louvaln (Blgica)

Traduccin de: J. A. PEr\lA y M.& PILAR HERRERO DE PEr\lA Licenciados en Ciencias Matemticas Maqueta de:

J.

UBACH

ISBN 84-231-0850-3 Depsito legal: 3561373

1971, por Imprimerles Nauwelaerts, S. A., Louvain (Blgica) y por cesin de dicha firma para Espaa y pases de habla espaola, 1973, por Ediciones Daimon, Manuel Tamayo, Barcelona (Espaa)

Printed in Spain Imprenta Juvenil. Maracalbo, 9. Barcelona-16

Nadie sabr entender el gran libro del Universo si ignora su lenguaje, el lenguaje matemtico. (Galileo.)

AGRADECIMIENTO El autor agradece a cuantos con l han colaborado, dibujantes. tcnicos e impresores, el inters y el cuidado que han puesto en la confeccin de esta obra.

PROLOGO A LA E.PICION ESPAOLA

El autor de este libro es bastante explcito al afirmar que no quiso hacer un curso. Para ensear Matemtica Moderna a los estudiantes, tanto a nivel medio como superior, existen ya bastantes manuales y tratados que se ocupan en plan didctico de dicha materia. El verdadero propsito de la obra que hoy presentamos es mucho ms sutil. Pretende, nada menos, despertar en el lector adulto, todava aferrado al concepto tradicional de la matemtica clsica, un espritu ms 'abierto a la comprensin de este nuevo enfoque de la vida. No es una exageracin. La Matemtica Moderna ha roto los viejos moldes rigoristas del dos y dos son cuatro. Va mucho ms lejos. la Matemtica Moderna es una ciencia gil, dinmica -y por lo tanto viva-, contraria a todo inmovilismo .doqrntlco e lnstltucionalista. Es, en' suma, toda una filosofa que nos 'ensea a hacer uso del razonamento y de la lgica, a juzgar con sentido crtico los fallos de nuestro viejo sistema cultural. las operaciones de conjuntos superan ampliamente aquellas eecuatro reglas, cuyas tablas aprendan los nios de antao cantando a coro. Desde que el hombre existe, ha construido mquinas para que le ayuden. El hombre de hoy ha fabricado ordenadores: mquinas capaces de razonar en su lugar. Razonar es tanto como calcular lgicamente; no es lo mismo que ce imaginar, cr'ear o criticar. El lenguaje de los ordenadores est basado en la Matemtica Moderna.
7

La presente obra va dirigida, pues, en primer lugar a esta generacin de padres a quienes no alcanz la enseanza de esta disciplina, pero que son todava lo bastante jvenes de espritu para interesarse

en ella, aunque slo sea para entablar un dilogo constructivo con sus hijos, sin cerrarse en banda, sin recurrir' al consabido djate de monsergas ... . Tambin los profesores de Matemtica Moderna hallarn un precioso auxiliar en ella, puesto que el autor seala los principales escollos, la interpretacin dudosa, el concepto errneo que ms suele entorpecer a los estudiantes. Unos y otros descubrirn, con su lectura, 'el vasto y prometedor panorama de sabrosos comentarios, suqerenclas y observaciones que -el autor despiiega a lo largo de las siguientes pginas. EL EDITOR

INTRODUCCION

El estudio de las matemticas, que comprime la sensibilidad y la imaginacin, hace a veces terrible la explosin de las pasiones. Monseor Dupanloup (1855)

Los htstoriadores hace tiempo que convinieron en cerrar la Edad Media en 1453, fecha de la toma de Constantinopla por los turcos y han llamado -Edad Moderna- al perodo consecutivo. As. las guerras de religin del siglo XVI, el reinado de Luis XIV o el de Catalina II pertenecen a la -Edad Moderna" de la Historia. 9 .

y despus, un buen da, se encontraron con la Revolucin francesa en los brazos. Como que se trataba, evidentemente, de un viraje de la Historia, acordaron que todo lo que ocurriera despus de 1789 pertenecera a la Historia contempornea. Por tanto, la derrota de Napole11en Waterloo, es un hecho de la Historia contempornea; como tambin el primer alunizaje del hombre el 21 de julio de 1969. La palabra "moderna" se devala con el paso del tiempo. Lo que, en la coyuntura actual, se llama -rnatemttca moderna, encierra en realidad algunos fragmentos de la matemtica de los siglos XVII, XVIII y XIX e incluso, toda la matemtica de la Edad Media y de la Antigedad. Para expresarnos con ms precisin, habra que hablar de una moderna pedagoga de la matemtica actual que es lo que trae consigo esta reforma que, para los espritus malhumorados, adquiere caracteres de revolucin.

2 No hemos querido hacer un 'curso". Los que deseen seguirlo pueden consultar las obras especiallzadas y tambin los manuales de sus propios hijos. Slo hemos querido presentar lo esencial de esta transformacin cultural, aunque de una manera no muy rigurosa por falta de lugar y tiempo. Hemos intentado desbrozar la mayor parte de los malentendidos, de los juicios errneos, de las interpretaciones defectuosas que, ya lo sabemos, encuentran, como es natural, los principiantes. Al nivel de la conceptualizacin decimos ms que los libros de texto: en clase, la. actividad del grupo y la intervencin del profesor proporcionan una correccin colectiva permanente. Pero los padres, aislados, se exponen a inmovilizarse en los malentendidos iniciales. Por ello, encontraris aqu una cantidad de reflexiones, notas, disqreslones ... Todo esto no es, en modo alguno, materia de enseanza pero conocindolo comprenderis mejor los conceptos bsicos, y, al propio tiempo, si os interesa, podris iniciar unos cursos especiales sin correr el riesgo de perder el tiempo.

10

De la pluma de algunos matemticos leeris a veces:

Espantados, perdidos en el patio de la Sorbona, en mayo de 1968 quin sabe lo que os imaginaris? Y llamaris en vuestro socorro a los guardianes de la tradicin y del orden. Qu denuncian estas imprecaciones? La revancha dogmtica, el lnrnovlllsmo estril, la institucionalizacin de la ciencia. Euclides, Aristteles e incluso Galileo, Hipcrates y tantos otros fueron profetas 'revolucionarios en su poca. Pero, con la experiencia de los siglos, la humanidad ha enrtquecldo a Euclides, Aristteles y Galileo. Resulta de ello la oposicin tradicional entre los que veneran el antiguo saber como una palabra revelada y los que actualizan la 'ciencia Siempreen movimiento porquees viviente. Moliere, no ridiculizaba ni a Galileo ni a Hipcrates, sino a todos los Purgon y Dlafolrus cuya nica ciencia se reduca a la memorizacin de los tratados antiguos. Hay que rendir un homenaje merecido al pasado aunque sin caer en el mito de la Edad de Oro, llusln de viejos que lloran su propia juventud... Es fcil permanecer joven. Basta con no inmovilizarse en el tiempo. Abajo el hombre del Neanderthal! (que posiblemente invent el fuego).

11

1
CONJUNTO V ELEMENTOS

El nio acaba de nacer: lo presentamos a su madre. Con bruscas protestas este paquete tan cerrado se abre, se desenvuelve, mueve la cabeza, abre la boca, grita. Se acaba de hacer la primera separacin; el nio ya no es parte de su madre. El conjunto de su "'yo .. empieza a existir.

1. Los significados en la lengua usual y en la lengua matemtica

1.1 Todo el mundo utiliza la palabra conjunto .. y sus numerosas variaciones: coleccin, clase, grupo, banda, tropa, etc. Cada uno entiende por estas palabras unos significados ms o menos conocidos segn el grupo social con el que nos comunicamos.

1.2 Por ejemplo: -colecctn- se refiere a una propiedad comn a los elementos que la componen: una coleccin de sellos, de cuadros, de mariposas; en general, todos estos elementos estn' diferenciados por ciertas cualidades; por ejemplo, una coleccin de bolas de billar no ser lo mismo que un saco de bolas. Banda", se aplica generalmente a seres vivos y semejantes que representan un carcter desordenado, salvaje, amenazador: una banda de forajidos, de ladrones ... Enjambre, en cambio, se aplica a insectos muy caractersticos: un enjambre de abejas, de avispas (pero no de termitas).
14

1.3 Creemos conocer el tir que nos impongan al vivirlo y hablarlo cisamente lo que el labras que utiliza, y ponde generalmente nuestra cabeza. sentido de las palabras y nos cuesta mucho admiun significado distinto al construido por nosotros, en nuestro crculo cultural y social. ste es prematemtico va a hacer. El significado de las paparticularmente la palabra conjunto .. no corresa la que tenemos guardada en la caja negra de

1.4 Como que los runos reconocen la autoridad del profesor, aceptan con bastante rapidez la acepcin propuesta: y esto muy fcilmente ya que conviven en grupo y utilizan entre ellos el significado adoptado. Pero los padres no aceptan casi nunca la leccin, sobre todo viniendo de sus propios hijos. Para ellos, un conjuntan es lo que cada uno de ellos tiene en su cabeza como significado de esta palabra. Por eso se oye a veces el siguiente dilogo: Padre (o madre): Hijo (o hija) Una palabra es un conjunto de letras! No del todo, pues las letras de una palabra estn en cierto orden.

Padre: T me vas a ensear lo que es una palabra! Me vas a decir cmo se llama tu padre!

1.5 Nos es necesaria una gran humildad para admitir la acepcron del matemtico puesto que debe permitirnos, mientras sea posible, asociar un concepto comn para una misma palabra. Ciertamente, le queda al matemtico el recurso de evitar las palabras usuales y emplear palabras escogidas con cuidado: un snark (para un conjunto); un shadock (para un elemento). O palabras nuevas especialmente construidas:

un -plurico!- (para un conjunto); un -partimn .. (para un elemento). En este caso, se le acusara de desviacionismo lingstico y su jerga. sera condenada por la Real Academia Espaola. Es pues de la lengua viva, en la que como todo el mundo, el matemtico elige sus palabras. La dificultad queda pues en ponerse de acuerdo sobre los significados.

15

1.6

Un mismo objeto puede ser llamado de diversas maneras. Escribiremos el signo de igualdad [=] entre los diferentes nombres de un mismo objeto. si y slo si l' a y b representan el mismo objeto.

a - b

Ejemplos:. Napolen I El Ogro de Grcega

+3

obligacin de ceder el paso.

etc.

2. Una oposicin: conjunto/elemento

2.1 No se concibe lo que es un conjunto si no imaginamos que est formado por objetos: son sus elementos. De la misma manera no imaginamos que un objeto sea un elemento. si no forma parte de un conjunto. Las nociones de elemento y de conjunto no se conciben la una sin la otra. Se dice que estn en oposicin lingstica: CONJUNTO/ELEMENTO

16

iNo hay domingo sin lunes, alto sin bajo, jvenes sin viejos! Pero tambin no hay da sin noche, ni noche sin da! La creacin empieza por la separacin de la luz y las tinieblas cuya oposicin nos da la primera estructura inteligente segn el mito original.
Un concepto

slo se construye por ooostcton,

17

2.2
Un conjunto est formado por elementos, los elementos forman un conjunto.

2.3
Ejemplos: El conjunto de las diez primeras letras del alfabeto espaol lo componen los elementos a, b, c, d, e, f, g, h, i, j. El conjunto de los cuatro mosqueteros de la novela de Alejandro Dumas est compuesto por los .elementos D'Artagnan, Athos, Porthos, Aramis. El conjunto de los das de la semana lo componen los elementos jueves, lunes, domingo, viernes, sbado, martes y mircoles. .

3. La Pertenencia
3.1 Veamos dos acepciones de vocabulario y un primer signo de lenguaje matemtico: , Se puede decir: El elemento pertenece al conjunto; o tambin El conjunto comprende al elemento. Para abreviar la escritura, se sustituye la palabra -pertenece .. por el signo E; Y la palabra -comprende- por el signo 3.

3.2
Ejemplos: Jueves E al conjunto de los das de la semana; que se lee: . -El jueves pertenece al conjunto de .Ios das de la sernana-: o tambin: -El conjunto de los das de la semana comprende el jueves. 3.3 Todava aqu, hay que emplear las palabras con las significaciones convenidas, incluso si el lenguaje corriente las emplea en otro sentido .. .As, cuando el General De Gaulle deca a los franceses de Argelia: -Os he comprendido", [tendr!a gracia que estuviera pensando en el lenguaje conjuntista! Y, para los iniciados, el siguiente dilogo en la pista de un circo:
18

1914-18: cartel de reclutamiento. You (T) ($ al conjunto de los futuros antiguos combatientes.

19

LoyaJ: Entonces, DuduJe, tu sombrero pertenece al conjunto de todos los sombreros. DuduJe: Pues no, Loya!. iMi sombrero me pertenece a m! Loyal: No me entiendes Dudule. Quiero decir que ... Dudule: Te comprendo perfectamente, Loyal, Te comprendo en el conjunto de los ladrones (quitndole el sombrero) ... iDevulveme mi sombrero!

3.4
Con facilidad cualquier "padre podr ahora leer los signos Et ~ e interpretarlos de izquierda a derecha y de derecha a izquierda: La torre Eiffel Et al conjunto de los das de la semana. El conjunto de presidentes de EE.UU. ~ al General De Gaulle. Para evitar dudas confirmaremos que: tf. se lee no pertenece; 17 se lee cenocomprende".

4. Escritura
4.1 Cmo escribimos determinados conjuntos? Por ejemplo, cmo publica un periodista la alineacin del equipo espaol para el prximo partido internacional de ftbol? Seguramente, citando los elementos (en este caso los jugadores) que forman el conjunto. As, el conjunto de los emperadores de Francia est compuesto por Napolen 1, Napolen 111 y Carlomagno. . Pero lo escribiremos de una manera convenida: El conjunto de los = ~Napolen 1, Napolen 111 y Carlomagno ~ emperadores de Francia ~ , Esta notacin analtica es ms que evidente: las dos llaves encuadran la enumeracin de los elementos: y se lee: -el conjunto que comprende a Napolen I~ a Napolen 111 y a Carlomaqno.

4.2
Ahora leed y traducid en una frase: 7tf. {3, 1,7, 4} . El General De Gaulle Et {Napolen 111, Carlomagno y Napolen I}
{i, o, a, e, u} "$ b

{lunes, Napolen 1, 7, i} :3 1

(1)

(1)

El conjunto que acabis de leer os habr causado extraeza. lo volveremos a ver

(1 10-1)

20

Marca ideogrfica de un armador de Delos. Ha sido encontrada en su casa, en sus barcos naufragados y en las nforas rescatadas por la

exploracin submarina.

21

"Un ojo + dos serpientes == mal de ojo. Hasta un eneltebeto comprender este ideograma cartagins rado por la asociacin de dos ideas.

estructu-

Quin podria

ignorar

que Philonicus

y Demetrius

eran herreros'!

22

4.3 T-ambinpodremos representar un conjunto por una letra. o 'un signo cualquiera. Esta notacin sinttica abrevia la escritura. Ejemplos: Si A = al conjunto de los emperadores de Francia Napolen I E A Carlos V ~ A Si N conjunto de los nmeros enteros 3 E IN

=
2

LElIN
la luna

Et IN

5. Ideogramas de Euler-Venn
51 Observemos este parterre con flores:

, (r.,'l

J/4

~.

rp rp

.'{I,
,
'\

.~7;"

Podemos aislr de este parterre el conjunto de tulipanes rodendolos de un bramante. una cuerda o una lnea. Si la cuerda est bien colocada. cualquier flor que est en el interior ser un -tullpn-: cualquier flor que est en el exterior no ser un -tullpn -.
23

5.2 Una cuerda cerrada nos proporciona una excelente imagen de los lmites de un conjunto. Los elementos los representaremos por -puntos-, -pequeas cruces o por cualquier otro signo adecuado.

Para unificar la escritura, se dibuja a menudo la cuerda- del conjunto como un valo- (1).

Este esquema nos evita una escritura figurativa y convencional. Esto es un ideograma (2).
(1) Algunos lo llaman tambin una "patata o un -patatolde: a la teora de los conjuntos patatologa; al matemtico = patatlogo; y de la misma manera se habla de patatolla, de patatofobta, etc.

(2)

Un ideograma es un signo figurativo que expresa convencionalmente Ejemplos: calavera = veneno cigarrillo tachado = prohibido fumar caduceo emblema del comercio Las seales de trfico ciertos gestos: auto-stop bendicin deseo de hablar juramento gestos deI agente de trfico. etc.

una idea.

24

Este ideograma

procede

de dos matemticos:

Euler y Venn

(J).

5.3

A-----.----x Carlos V x la torre EiHel

5.4 La cuerda o lnea no es el conjunto; sirve de frontera para separar los elementos de los no elementos. La lnea (grafismo) juega un papel anlogo al del nombre (signo fontico). El nombre- no es la -cosa nombrada. Para recordar que la letra representa nicamente el - nombre del conjunto, algunos pedagogos la recuadran, la escriben sobre una etiqueta o en un cartucho. De ah los grafismos:

x Carlomagno x Napolen 111 x la torre EiHel

x Carlos V

x Carlomagno x Napolen 111 x la torre Eiffel

x Carlos V

6. Orden de los elementos

6.1

Cuando escribimos o hablamos, tenemos que poner las palabras o los sonidos desde el principio hasta el fin. Esta linealidad del lenguaje nos obliga a escribir o nombrar los elementos de un conjunto en un cierto orden. Este orden no significa nada.
El ideograma expresa un concepto sin utilizar el soporte fontico. As. en la antigedad. haba la escritura egipcia, la sumeriana y la china. Euler (Basilea 1707- San Petersburgo 1783): utiliz crculos como ideogramas para representar los razonamientos ridos de la lgica aristotlica. Venn (1834-1923) fue profesor de Cambridge. De aqu el nombre del valo de Venn.. o de -Euler-Venn .

(1)

25

Dos escrituras de conjunto que slo difieren por el orden en que estn nombrados sus elementos, designan el mismo conjunto. Por ejemplo:
~
\ '#

N!. N;J. Ca Na. NI'

t Ca t

~ Nt Ca. N;{

~ ~

Na. Ca. N1 ~ Ca. Na. NI ~ Na Nl~

~ Ca. N!. N;i ~

Tambin podamos haberlo escrito de esta manera:

~ Ca

6.2
Segn esto. una -palabra- no es un -conjunto de letras, sino un -conjunto ordenado de letras; una frase es un conjunto ordenado de palabras (unidas sintcticamente de una manera correcta). Pero se puede formar. en lugar de una frase, -el conjunto de las' palabras de esta frase: {Adelante. hijos, de, la, patria} = {patria, adelante, de, la, hijos}

6.3
Si se considerara tornillos, resortes del filme -Charlot (normales) de un un reloj como un simple conjunto de piones, ejes, y ruedas, parecera el desmontaje del despertador relojero- y sera muy difcil conseguir los servicios reloj.

6.4
Una meloda no es solamente un conjunto de notas. Pero, sin embargo, un acorde s que es un conjunto de notas.' Para pasar del acorde a la meloda es preciso establecer un orden.

7. Repeticin de un signo
7.1 En la formacin de un conjunto, un elemento particular slo aparece una sola vez, sea cual fuere la manera de nombrarlo. En consecuencia. si varios signos representan un mismo elemento, estos signos pueden ser sustituidos por uno solo de ellos. Ejemplos: {N 1, N 111, el ogro de Crcega. Carlomagno, el padre del hijo de NI, el emperador de Francia vencido en Waterloo, el hijo de Carlos Bonaparte y de Leticia Rarnollno, N 1, N 1, NI} = {N 1, N 111, Ca) 26

Angel

de la octava

esfera

mostrando el conjunto la patata celeste.

de las estrellas

de

27

{3, 4, 5, 2 X 2, 7-3, 1,4, 22} = {3, 4, 5, 1} Si se trata de un conjunto de .signos. se observa que: -7 - 3. es otro signo que .2 X 2. - Napolen 1 es una manera de escribir el -Oqro de Crcega . Pero el conjunto est formado, no por .significandos (aqu diferentes), sino por -stqnicados- (aqu comunes) (1). '7.'2

Consideremos el conjunto E = {Moliere autor, Shakespeare autor, Vinci ingeni~ro, Moliere comedigrafo, Vinci filsofo, Shakespeare comedigrafo, Vinci pintor}. Entonces, si: Moliere autor = Moliere comedigrafo Shakespeare autor = Shakespeare comedigrafo Vinci ingeniero = Vinci filsofo = Vinci pintor el conjunto E comprende tres elementos. Pero si: Moliere autor =1= Moliere comedigrafo Shakespeare autor =1= Shakespeare comedigrafo Vinci ingeniero =1= Vinci filsofo Vinci ingeniero =1= Vinci pintor Vinci filsofo =1= Vinci pintor Vinci filsofo =1= Vinci ingeniero Vinci pintor =1= Vinci filsofo el conjunto E contiene siete elementos.

8. Conjunto de significandos
8.1

y conjunto de significados

La manera con que llamamos a los elementos de un conjunto puede dar lugar a confusin.

(1)

Un significando (Sa) y un significado (Se) son dos aspectos de un signo. As: Significandos Un tringulo blanco bordeado de rojo y' apoyado sobre un vrtice Una etiqueta con una calavera La vela negra del barco de Iseo Un crespn en el brazo o en la solapa Uno sirena que suena cuando vamos en coche la cifra 5 Signific8dos Ceda el paso Veneno Iseo no est en el barco Luto Dejar el paso libre El nmero 5

Las palabras que utilizamos son, para los significandos. su forma escrita y fontica. y para los significados los conceptos que les asociamos. En lugar de .significando .. y .significado .. diremos a veces -torrna .. y -contenldo .

28

As, {Antonio, Octavio, puede representar tes de Roma en el de representar un {2, 3, 9, 7, 4} puede representar

Lpido} al segundo triunvirato, es decir, los tres gobernanao 43 a. JC. (corno significados), pero tambin pueconjunto de tres -nombres(como significandos). un conjunto de cinco cifras. o de cinco nmeros .

8.2
Comparemos estos dos enunciados: Pedro es un nombre propio . Pedro- es el signo de un significando, es decir, expresa un objeto-nombre propio.

Pedro es un apstol. ..Pedro es el signo del objeto-apstol.

Ocurre lo mismo en: Beaumarchais es el autor de Las bodas de Fgaro . Beaumarchais es trislabo. La lengua escrita o hablada no permite cmodamente distinguir entre la palabra que expresa el objeto y la que representa el signo. La misma confusin se produce en aritmtica entre los nmeros y las cifras En: ..Los siete pecados capitales. -sete- expresa una cantidad. oc El autobs 7 7. expresa una cifra . ..El agente 007 .007. expresa un ndice nominal con la ayuda de tres cifras.

8.3
Cuando utilizamos signos en vez de -palabras-, -nombres., -clfraslo indicamos muchas veces con una escritura convencional. As, {Antonio, Octavio, Lpido} gobernaron en Roma en el ao 43 a. Je. {-Antonio., -Octavto-, - Lpldo} son tres nombres sacados al azar.

29

9. El elemento y los objetos que se asocian a l

9.1 En el conjunto de los emperadores de Francia:

El sombrero de Napolen I est dibujado en el conjunto (donde est Napolen I est su sombrero). Pero el sombrero de Napolen 1, pertenece al conjunto? Para responder a esta cuestin, preguntemos: -Es emperador de Francia el sombrero de Napolen I? -iNo! Por lo tanto, el sombrero de Napolen 1 no pertenece al conjunto. El sombrero de Napolen I ff_ {N 1, N 111, Ca} Es decir:

x el bigote de
Napolen 111

x Ca
x la barba de Carlomagno x el sombrero de \ Napolen 1

Por esto es mejor -abstraer- el objeto y sealarlo por un punto, una cruz. una letra o un nombre.

9.2
los conjuntos concretos que 'Construimos estn hechos frecuentemente por contenidos; contenidos de cestas, maletas, cajones, bolsas, salas, cuarteles, etc ... 30

Si mi cortaplumas est en el cajn de mi mesa, cada hoja de mi cortaplumas est tambin en el cajn; pero una hoja no es un cortaplumas. Si un alumno est en el aula, su oreja derecha est tambin en el aula; pero la oreja derecha no es un alumno.

9.3 No hay que confundir la relacin espacial estar en" con la relacin conceptual pertenecer a" (la relacin espacial se reduce adems a una particularizacin de la relacin conceptual). Si tomamos como ejemplo el conjunto de los alumnos de un colegio, nos lo podemos imaginar cmodamente situando a todos los alumnos en el patio de recreo.

x
X X X

X
X
X

X X X Xx X X

X X

X X X X X X X X

El contorno del patio, que es un espacio cerrado, nos proporciona un ideograma de Venn muy adecuado. Pero cuando los alumnos estn en sus casas, con sus respectivas familias, el conjunto de los alumnos del colegio seguir existiendo y no habr variado a pesar de no encontrarse en un mismo espacio cerrado. Entonces resulta que el ideograma de Venn, a pesar de sus ventajas, tambin tiene sus inconvenientes. La pertenencia es una relacin conceptual y no espacial. Como nos la figuramos espacialmente, re sulta que nosotros mismos podemos cqnfundirnos.

9.4
Nos encontramos con dificultades cuando representamos espacialmen31

te, por medio de un ideograma de Venn, un conjunto que precisamente es espacial. Consideremos, por ejemplo, el conjunto de puntos de un disco cerrado A y los de un disco abierto B, de centro a y de un radio de 3 cm. El disco cerrado es el conjunto de los puntos p del plano, tales que la distancia ap ~ 3 cm (suponiendo que a se encuentra en un punto del plano). El disco abierto es el conjunto de los puntos p del plano, tales que la distancia ap < 3 cm (suponiendo que a se encuentra en un punto del plano).

Si representamos el disco por una circunferencia, como ideograma de Venn, tendremos dificultades al representar determinados elementos. Disco cerrado Disco abierto

El punto d, situado en la circunferencia, pertenece al conjunto.

El punto d, situado en la circunferencia, no pertenece al conjunto.

la lnea o cuerda debera separar los elementos de los no-elementos. Ningn elemento pertenece nunca a la cuerda, la representacin de los discos por medio de -patatas- tiene en este caso sus ventajas.

32

xa
X b X

9.5
Con esto, llegamos a esta conclusin que resulta un tanto sorprendente: Un lugar geomtrico considerado como un conjunto de puntos, no proporciona necesariamente una representacin Ideogrfica completa-' mente satisfactoria.

10. De la libertad de asociacin

10.1 Os habr extraado encontraros con el conjunto {lunes, Napolen 1, 7, i} Y os habris dicho: -esto no es un conjunto; sus elementos no tienen nada en cornn-. iPues st. ya que soy yo quien os habla, he decidido formar un conjunto (estoy en mi derecho) y porque quiero hacerlo, tienen en .comn la propiedad de haber sido elegidos por m. No os digo que tenga' ninguna importancia en cuanto a sus propiedades, pero tampoco os he dicho que las vaya a tener. Esto es otro asunto! Lo nico que defiendo, por el momento, es rnl derecho de formarlo. Tambin vosotros tenis el derecho de formar otros, aunque sean ridfculos, raros o extravagantes: (la luna, Carlomagno, el sombrero de Napolen I) (1, 2, 3, la Gioconda) En efecto, para no desconcertar a nadie, se califica a menudo a estos conjuntos de -extravaqantes- o -raros-. Pero el carcter extravagante de un conjunto desaparece en cuanto se empieza a utilizar frecuentemente. De hecho, los conjuntos -extravagantes- slo son conjuntos poco usados-. 10.2 Lo que existe en el universo son los objetos, no los conjuntos. Soy yo, eres t, somos cada uno de nosotros los que tomamos la33

Ou es una naturaleza muerta sino un conjunto raro?

34

decisin universo

de formar conjuntos. haciendo recortes.

Nuestro

espritu

reacciona

contra

el

Los objetos existen en el universo. Los conjuntos slo existen en nosotros mismos.

10.3 En realidad, en la Declaracin de los derechos del hombre y del ciudadano tendra que aadirse el siguiente artculo: Todo individuo podr libremente formar en su mente, y expresar por medio del lenguaje, los 'Conjuntos que tenga a bien construir. Pero eso es tan lgico que no es necesario aadirlo en la citada Declaracin.

10.4 A veces, este derecho natural choca con espritus muy serios que, lamentndose, dicen: ..dudamos mucho que semejantes mezcolanzas contribuyan a poner orden en las jvenes cabezas y que aumenten el prestigio de la enseanza (rstct). Estos espritus, siempre tristes, olvidan que los conjuntos -extravagantes no tienen por qu extraarnos, puesto que constituyen un excelente mtodo de enseanza. El derecho de formar conjuntos es parecido al de formar frases; cualquiera puede hacerlo, pero, entindase bien, han de servir para algo. la poesa y la historia nos ofrecen muy buenos ejemplos de conjuntos extravagantes. .

10.5 Por ejemplo: -Inventarlo- en la obra -Palabras- de Jacques Prvert (nos limitaremos a la primera estrofa): -una piedra, -dos casas, -tres ruinas, -cuatro sepultureros, -un jardn, -fiores,

...

un mapache. bien este relato de Herodoto (IV, 131, 132) en donde los escitas envan a Dara, rey de los persas, un mensajero que le presenta un conjunto que contiene: .un pjaro, una rata, una rana y cinco flechas
35

lo que significa:

-a no ser que vueles como un pjaro, que te escondas en un agujero como una rata o que te escapes nadando como una rana, sers muerto por nuestras flechas.

11. Formacin por enumeracin

11.1 Es el hombre, ese creador, el inventor de los conjuntos. Cmo se las arregla para Irlos elaborando poco a poco? Cuando el nio acumula sus juguetes en la cuna o en el parque, rene los objetos considerndolos como elementos. Primero aprende a ensearlos, despus a nombrarlos, y finalmente a escribir su nombre. Un proceso de formacin es una definicin. 11.2 Entonces, se puede formar un conjunto enseando, nombrando o imaginando sus elementos. Este procedimiento analtico se llama formacin por inventario (o tambin por extensin) (1). Un equipo de ftbol, una clase con alumnos, los Ilbros de una blblloteca, los cuadros de un museo, los ayuntamientos de un pas, etc., se forman por inventario. Por inventario hemos formado los conjuntos: {N 1, N 111, Ca} {Antonio, Octavio, lpido} {1, 2, 3, la Gioconda} y para nombrar a los elementos, empleamos a menudo nombres que solamente valen para uno de ellos, es decir, -nornbres propios. 11.3 La formacin por inventario no permite formar conjuntos infinitos, ni tampoco conjuntos que contengan un elevado nmero de elementos. la Biblia dice: .Podras contar las estrellas del celo?

(1)

Desde hace mucho tiempo, la lgica llama a esta construccin una definicin -por extensin-. Este trmino no es adecuado pues da lugar a una confusin con la nocin de extensin- de un conjunto. Procuraremos evitarla aunque es corriente encontrarla en algunos libros. Recordemos pues que -forrnar por extensin- es -forrnar por lnventarto-.

36

Esto corresponde ms o menos a: -Podras formar por inventario el conjunto de las estrellas del cielo, el conjunto de los hombres que actualmente habitan la tierra, el conjunto de los puntos de una recta, el conjunto de los nmeros enteros, y tambin el conjunto de los granos de arena que hay en este arenero?

12. Definicin por caracterizacin

12.1 En los primeros aos de su vida, para el nio, todos los juguetes son distintos, aunque formen un conjunto. Cada objeto tiene su nombre propio. No tienen todava suficientemente formado su lenguaje y simplifican errneamente las definlclones. A partir de cierto momento de conceptuacln. el nio aceptar dar el mismo nombre a objetos distintos. Este nombre ser el de la propiedad oomn (un nombre comn); dir, por ejemplo: -rnls luquetes, dando e,1nombre de -juguete. a objetos tan dispares como una pelota, un oso de peluche, una miniatura de automvil o un caballo de madera. Entonces se puede formar un conjunto dando una propiedad comn a todos los elementos. Este procedimiento sinttico se llama formacin por caracterizacin (o por comprensin) (1). Ejemplos: el conjunto de los emperadores de Francia; el conjunto de los nmeros pares; el conjunto de los planetas que giran alrededor del sol; el conjunto de los solteros y mayores que vivan el da 1 de enero de 1970; el conjunto de los puntos de una recta; el conjunto de las circunferencias de un plano; etc .... Escribiremos: los emperadores de Francia = { x I x es un emperador de Francia} en donde I se lee -tal que. . y el artculo -los. indica que se trata de un conjunto considerado en su totalidad.

(1)

La lgica llama a esta formacin una deflnicln por -cornprenstn-. Este trmino no presenta dificultades, pero como siempre se utiliza al mismo tiempo que la palabra -extensln- preferimos sustituirla por el trmino -caractertzactnnacido de la lingstica.

37

12.2

En general, escribiremos: E = {x I P{x)} E es el conjunto de las -x,. que cumplen el enunciado o propiedad representada por P(x) . Por ejemplo, si P{x)

= -x

es un nmero par, Resulta que

son falsos:
P (S) P(1/8)

son verdaderos:
P(4) P(2) P(7 003574)

P (la torre Eiffel) 12.3

Una definicin por caracterizacin permite nombrar los conjuntos que contienen un gran nmero de elementos y tambin los conjuntos infinitos; cosa que no permite una formacin por inventario. Se observa que el paso del inventario a la caracterizacln es una operacin psicolgica de abstraccin. Abstraer- es omitir, ignorar voluntariamente ciertas propiedades de los objetos y no 'considerarlos ms que en relacin 'con las propiedades restantes. Una fotografa en blanco y negro hace abstraccin del color, de la tercera dimensin, del movimiento, del olor, del calor, etc .... Un tringulo -geomtri'co no es caliente ni fro, ni rojo ni verde, ni de hierro ni de madera. Pero puede ser rectngulo o no, Issceles o no, etc .... Es abstracto considerando ciertas propiedades; sin embargo, conserva otras. La palabra es expresiva si tenernos en cuenta su etimologa: AB TRAHERE

= quitar

de.

Por abstraccin, todos los juguetes distintos son considerados como equlvalentes por su funcin de juguete ", todos los granos de arena, individualizados solamente por su localizacin precisa en el espacio (un grano de arena no ,es distlnto a otro grano de arena), se encuentran unidos por una relacin de equivalencia. La abstraccin asegura la conceptualizacin y da concisin al lenguaje. 12.4 Se ha discutido mucho si, en la adquisicin del conoclmtento, el inventario precede a la 'caracterizacin o si la sigue. Para alqunos, el conoepto g,eneral justo preexistira en algn lugar de nuestra mente, o del universo, y, 'con la condicin de haberlo inducido a un nivel de conciencia, dispondramos de medios seguros para reconocer si los 38

actos que se realizan pertenecen o no al 'conjunto de Ios actos justos. La definicin por caracterizacin precedera a cualquier inventario. Los que creen esto 'imaginan unos valores conceptuales confiados inicialmente al hombre, el cual no tendra ms que vivirlos para descubrirlos. Estos valores, comunes a todos los hombres, seran entonces nicos.

Para los otros. cada hombre debe encontrar cierto nmero de actos que constituyen el inventario y que son calificados convencionalmente de justos- o de injustos. Despus, el hombre es quien extiende el concepto a la totalidad de los actos que hace. Si el inventario es insuficiente. la definicin del conjunto, es decir, el inventario. siempre puede 'ser puesta en duda. Para {os que viven as, la experiencia precede a su racionalizacin; los valores son creados por el hombre en el medio en que vlve, y son transmitidos por la sociedad. Estos valores dependen. pues, de las diversas 'sociedades. de los variados grupos sociales y tambin del momento histrico en que son definidos. Esta opcin fundamental proporciona una primera base losca a cada uno de nosotros. Podemos reconciliar estas dos actitudes opuestas admitiendo que si los valores son construidos por cada hombre en funcin de la sociedad y de su historia, las estructuras neurolgicas son comunes a todos los hombres. Nuestras percepciones son semejantes, pero nuestra experiencia es diferente. Esto nos va a permitir movernos ms cmodarnente entre lo relativo y lo absoluto.

12.5 La definicin por caracterzactn no asegura la existencia. a los elementos del conjunto. Podria ocurrir que ningn elemento poseyese las propiedades exigidas. E}emplos: los tringulos cuadrados; los polledros requlares de quince caras; los becerros de cinco patas que cantan la Tosca; {as hormigas de dleclocho metros 'de largo que 'con un sombrero en la cabeza hablan francs y javans; la gallina de los huevos de oro; la fuerza Vital; el ter len el sentldo espacio fsico absoluto-I. el flogstico, etc ... La uttlzactn, en 'cualquier razonamlento. de una deflnlcn por caracterizacin debera completarse con una prueba de existencia. Esto. generalmente. se omite.

12.6 Aqu. contrariamente a una de las formas del pensamiento mgico que cree que es suctente nombrar a,1ser para que exista. As era el pensamiento escolstico que afirmaba que toda palabra corresponda a una idea y toda idea a un ser. De aqu procede la burla de Habelals: Se pregunta si la Quimera, murmurando en la vida, no podra comerse las segundas Intenccnes?
39

Es un asunto en Conclllo-.

intensamente

debatldo

durante

doce O' quince semanas

13. Conjuntos correctamente definidos

13.1
Un conjunto est correctamente construido O' denldo si entre las dO'S proposclones: -tal objeto es elemento del conjuntou este, rnlsmo objeto no ,es elemento del conjuntouna es cierta y otra falsa. CO'n otras palabras, la definicin de un conjunto divide a todos los

objetos en elementos y no elementos de este conjunto. 13.2

Veamos un ejemplo de definicin Incorrecta: -E es el conjunto de tO'dO'SIO'Sconjuntos . En efecto: E Et. E es cierto (un conjunto no pertenece a s rnlsmol y E E E es cierto (pues E es el conjunto de tO'dO'SIO'Sconjuntos).

13.3
Esta afirmacin fue puesta en duda PO'r Bertrand Russell, que la ilustr cO'n una paradoja famosa que vamos a narrar recortndola ligeramente para simpltflcarla (1). Zacaras era blbllotecarlo. Pero ,la blblloteca que diriga era muy orlginal: era una biblioteca formada con obras que proporclonaban ttulos de tO'dO'S IO'S Ilbros que trataban de, un cierto tema; resumlendo, runa blblloteca de catloqos de llbrosl PO'r ejemplo. la obra 2497 contena la lista de tO'dO'S ,IO'Slibros que trataban de la hlstorla del Partenn; la obra 5942 IO'Sque hablaban de Cristbal Coln, y as sucesvamente ... Entre estos catloqos alqunos se 'citaban entre ellos. As, 'el autor del catloqo 5942 crey que su lista biblloqrftca 'era una manera de ha-

(1)

Bertrand Russell (18721970). lgico, filsofo britnico, fundador (con Whitehead) de la lgica -moderna. y no artstotllca. Personaje maravillosamente anticonformista; sus escritos sarcsticos son obras maestras de humor panfletario. (.Porqu no soy cristiano . ) En edad ya muy avanzada, presidi manifestaciones contestarlas y pas (confortablemente porque era .Iord. y premIo Nobel) varas temporadas en la crcel.

40

blar de Cristbal

Coln. y a la lista de libros que trataban 'Sobre el

particular aadi el ttulo de su propio 'catlogo. Zacaras juzgaba estas obras (igual que a sus autores) como presuntuosas y vanidosas... En contraposicin, apreciaba la modestia de las obras (igual que a sus autores) que, como la 2497, omitan de citarse a ellos mismos. Un da tuvo que repartir sus libros entre dos lugares; el ala izquierda y el ala derecha de un castllo renacentista. Un bibliotecario es el ni-co que puede decidir, por lo que se puso del lado de Dios-padre con vistas al juicio final. Zacaras decidi soberanamente colocar en el ala izquierda (os catlogos vanidosos y a la derecha los catlogos modestos. 'Sucumbi en las zarpas del Demonio. Veamos -como Satn le castiq por su orgullo. Cuando Zacaras hubo colocado todos sus libros, comenz como blbliotecario consciente, la redaccin del 'Catlogo de catlogos vanidosos (a la izquierda) y del catlogo de catlogos modestos (a la derecha) . y cuando hubo concluido estas dos nuevas obras, se dio cuenta de que tena dos catlogos ms. Serian modestos o vanidosos? Modestos, [sequrol Zacaras se crea virtuoso: no se citaba a sl mismo. Pens primero en el catlogo de Ios catloqos vanidosos. Era modesto. Lo colocara en el ala derecha del castillo. Esto fue lo que hizo Zacaras. El ala derecha contaba con un libro ms. Zacaras abri el otro catlogo, el catlogo de los catloqos modestos y, con su mejor ~etra, aadi el ttulo del catlogo de los catlogos de los vanidosos. Para culminar su obra, Zacaras no tena ms que colocar el ltimo catlogo, el catlogo de los catlogos modestos, en una de las dos alas del castillo. Puesto que el catlogo de los catlogos modestos era de por s modesto, deba de estar en el ala derecha. Pero entonces, el ala derecha tena un libro de ms. Rpidamente, volvi a coger el catlogo de los catlogos modestos y se mencion a s mismo puesto que esta ltima obra deba figurar en el ala derecha. Esto fue lo que le hizo darse cuenta de su pecado de vanidad; el catlogo de los catlogos modestos se haba vuelto vanidoso. Suspirando, se fue a llevarlo al ala izquierda del castillo. Una vez que hubo llegado se dio cuenta de que el ala derecha contena un libro de menos. Voivi a tomar este ltimo catlogo y suprimi la mencin que se haca de s mismo. As, el catlogo que era vanidoso se volvi modesto. Era preciso llevarlo rpidamente al ala derecha del castillo, lo que hizo Zacaras corriendo. Pero, una vez en el ala derecha ... y por esto hay, en el bosque de Brocelandia, un bibliotecario loco que corre del ala izquierda al ala derecha y del ala derecha al ala izquierda,

41

y, entre las dos carreras,

y, en un mismo

libro, no cesa de escrlbr

un ttulo, de borrar aquel ttulo, de volverlo a escribir, de volverlo a borrar ... [Y as eternamente, claro!13.4

Como dice la cancin: -Si esta historia os gusta, (bis) - Volveremos la-la-la a empezarla. (bis) - iOl!, iol! Cmo evitar la mala suerte del infeliz Zacaras? Muy sencillamente, considerando que el catlogo de todos los catlogos no es un -catloqo- como los dems sino un -supercatloco-: y, por {o tanto, no puede 'ser clasificado teniendo en cuenta las propiedades de los otros. Con otras palabras, admitiendo que la -clase de todos los conjuntos no es nunca un 'Conjunto. As, los dos catloqos colocados en una de las dos alas del castillo no deban ser considerados como simples catlogos y no se les deba mencionar. Era preciso un lugar aparte: la mesa a donde los visitantes vendran a consultarlos antes de ir a una estantera de la biblioteca. V ahora, si os extraa ver a los lgicos ocuparse de semejantes insensateces, sabed que una sola grieta en el edificio de las matemticas hara que ste se hundiese lamentablemente y puesto que, despus de todo, est 'construido sobre convenios llnqistlcos. es preclso no crear situaciones peligrosas por la imprudencia de una composicin defectuosa de palabras mal controladas.

14. Conjuntos objetivos y conjuntos subjetivos

14.1

Algunos matemticos no consideran como correctamente construidos o definidos ciertos conjuntos como: El = {Luis XIV, Luis XV, Luis XVI, Luis XVII, Luis XVIII} E2 = {el conjunto de cuadros hermosos del Museo del Louvre}. En efecto, sabemos que un personaje llamado Naundorff fue considerado por muchos como el Delfn escapado del Temple. Si proponemos la cuestn: Pertenece Naundorff a El? para algunos la respuesta ser afirmativa (Naundorff = Luis XVII), y para otros negativa (Naundorff =1= Luis XVII).
42

Si preguntamos ahora Pertenece a E2 El juramento

de los Horacios?

(es decir, es un hermoso cuadro El juramento de los Horacios?) la respuesta ser s o -no .. segn la persona preguntada.

14.2 Podemos establecer aqu una definicin correcta admitiendo que estos conjuntos no son -obletvos- (es decir, idnticos para todos los que los forman), sino -subjettvos(dependientes de la persona que lo forma) . Por ejemplo, en 1943, el historiador Andr Castelot demostr que el nio muerto en el Temple, en el ao 11, era el hijo de Luis XVI y de Mara Antonieta. Para l: Naundorff f$. El y el conjunto El est definido correctamente por Andr Castelot en el ao 1943.

14.3 Discutimos a veces sobre la te belleza de un cuadro, de un poema: sobre la justicia de una decisin, etc ... Imaginemos ahora, puesto que empleamos las mismas palabras, que discutimos los mismos valores. No sera mejor, previamente, formar el catlogo de los cuadros que consideramos bellos .., -Ios actos que consideramos justos, es decir, formar los conjuntos subjetivos creados por cada uno de nosotros? As, podramos saber si las palabras que repetimos de idntica manera corresponden al mismo concepto.

14.4 Un conjunto subjetivo- queda correctamente definido en tanto se dice segn quin y en qu momento de su vida se form. Si un conjunto subjetivo no vara segn la persona, o segn el momento en que fue formado, se llamar objetivo. Pero ni que decir tiene que, como no se podrn jams agotar los juicios de la humanidad, se considerar como conjunto objetivo, tan pronto como un nmero suficientemente grande de individuos lo habr formado de idntica manera. A los que no acepten este parecer comn, se les llamar -Iocos-, alienados" o ..insociables. y sern encerrados en crceles o manicomios, donde formarn un nuevo conjunto: el conjunto de los que no reconocen la objetividad de los criterios en la sociedad a la que ellos deberan pertenecer.

43

15. Cardinal de un conjunto

15.1

Consideremos el siguiente conjunto de figuras:

L \
b

c<J

O
g

O
d

Q
</m

O
J

<Jk

En este conjunto podemos deftnlr distintos subconjuntos: = {a, g, I} rectngulos = {a, b, g, e, 1, j, 1} trapecios = (e, h, f, k, m} tringulos = {d} pentgonos = {a, e, g, i} rombos llamamos cardinal- (o nmero cardlnal-) de un conjunto, al nmero de sus elementos. As: El cardinal de las Musas es 9-; que se escribe de esta manera: =M=' Musas =9 Y en nuestro ejemplo: .. rectngulos =3 =tt= trapecios =7 :#: tringulos =5 =#= rombos =4

15.2

Podemos definir nuevos subconjuntos: rombos rectngulos tringulos issceles tringulos rectngulos tringulos issceles rectngulos tringulos cuadrados hexgonos 15.3 Hemos descubierto tres tipos de conjuntos que vamos a utllizar con frecuencia: conjuntos que contienen dos elementos (cuyo cardlnal es dos) conjuntos que contienen un solo elemento (cuyo cardinal es uno) conjuntos que no contienen elemento alguno (cuyo cardinal es cero). = cuadrados = {a, g} = {e, h, k} = {k, m} = {k}

={ }

= {}

16. Los pares

16.1 Los conjuntos que contienen dos (y s610 dos) elementos se llaman pares. La palabra se utiliza en el lenguaje corriente. Sin embargo, la lengua usual hablar de pares de zapatos, de guantes, de gafas, de amigos ... ; de aqu el error frecuente de considerar que un par no contiene ms que dos elementos -bastante parecidos. La acepcin que en el lenguaje usual se tiene de la palabra .par proviene de su utilizacin corno nombre -colectlvo-: un par de... ; de aqu la necesidad de ha-cer referencia a una propiedad comn (gafas, guantes, etc, ... ). 16.2 Matemticamente quiera. hablando, un par contiene dos elementos cuales-

{el rey Dagoberto, la estrella polar} . {la Carta de los Derechos del Hombre, el caballo de Wellington en Water.loo) {el metro patrn, Cleopatra} son tres ejemplos de un par.
4S

Dos individuos

de sexo contrario en el crculo no simboliza la castidad!

de Venn. Es un par;

46

16.3

El ideograma de un par es:

Pero esta notacin es defectuosa. No sabemos, en efecto, si la cuerda o lnea contiene nicamente dos elementos. Ser preciso convenir que el conjunto representado de esta forma est -cornpleto . Algunos ponen -completo- al lado del conjunto (como en la entrada de un aparcamiento) .

)(

completo
Se puede tambin rodear de una lnea o colocar en una etiqueta el nombre del conjunto. El ideograma de un par quedar, pues, as:
.47

17. Los slnqletons

17.1 Los conjuntos que contienen un solo 'elemento se llaman singletons. Esta denominacin pintoresca proviene del ingls y muy especialmente del juego de bridge. Algunos lo llaman conjunto monarlo- aunque no es el ms simple. Finalmente hay otros, que quiz por anglofobia, evitan utilizarla.
17.2

El ideograma de un singleton es

E
o bien

Este ideograma corresponde a la notacin: E

{a}

avec # E = 1

Este ideograma no debe confundirse con: 48

a .

que expresa que el conjunto E contiene 'Por lo menos un elemento. es decir. es -real-. 17.3 El concepto de singleton es uno de los ms difciles de asimilar y su no adecuada utilizacin puede dar lugar a grandes confusiones. Al contrario que en otras ocasiones. aqu el lenguaje no nos ayuda nada. Consideremos un objeto. por ejemplo la torre Eiffel: Se le puede considerar simplemente como un objeto? Se le puede considerar como un conjunto- que no contiene ms que un elemento. es decir. un singleton? Se le puede considerar como un elemento de un singleton? Estas especulaciones parecen bizantinas. De hecho se contestar: la torre Eiffel, es la torre Eiffel! [Y no importa nada saber si la considero como un singleton o como un elemento de un singleton! Estas cuestiones no se plantearan si no se utilizasen. no se considerasen o no se denominasen los objetos ms que aisladamente. Pero el problema empieza en el momento en que la singularidad se considera como un caso particular en el seno de una pluralidad. 17.4 Comparemos los dos enunciados: el profesor felicita a los primeros de la clase; el profesor los felicita. Es evidente que los dos sintagmas nominales (1) -Ios- y los primeros de la clase representan. segn la lengua. un mismo conjunto. Se podra representar por un ideograma: A = el profesor. B = los primeros de la clase ~ = felicita.

los (pronombre C.D.).

(1)

Sintagma nominal: estructura lingstica que representa un conjunto.

49

El unicornio

en su pequeo

corral

de Venn. Simboliza

la castidad:

es un singleton.

50

17.5

Cambiemos, por un momento, los dos enunciados: el profesor felicita al primero de la clase el profesor le felicita. No ha cambiado ni el sujeto., ni el significado del verbo, ni las funciones gramaticales. Es natural (es decir, ms sencillo), considerar que el C.D. (1) representa un conjunto, tanto en singular como en plural.

= al

primero de la clase = le (pronombre C.D.).

17.6 Volvamos a cambiar los dos enunciados: el profesor felicita a Santiago el profesor le felioita. Ni el sujeto, ni el significado del verbo, ni las funciones gramaticales ni la forma del pronombre C.D. -le- han cambiado. Es natural (es decir, ms sencillo) considerar que el C.D. representa un conjunto, que ser representado por un nombre propio, un pronombre o un sintagma nominal.

(1)

C. D.: complemento directo.

51

B = al primero de la clase = le (pronombre C.D.)

= Santiago.

17.7 Nos hemos visto obligados, pues, para generalizar los significados. de las estructuras de nuestra lengua, a admitir que un nombre propio representa un singulete (ms bien que el objeto-elemento de un singleton) .

y podemos admitir que:

La torre Eiffel = conjunto de torres que se llaman Eiffel . Carlomagno = conjunto de hombres que se llaman -Carlomaqno . Pars = conjunto de ciudades que se llaman -Parts . Etc. Son ejemplos de definicin por caracterizacin de conjuntos slnqleton. 17.8 Esto nos proporciona la definicin gramatical de un nombre propio: estructura sinttica (eventualmente compuesta) que es un nico singleton en la universalidad del discurso (1). 17.9 Consideremos el conjunto de clases y secciones de un centro de en.seanza media.

Las clases son de sexto, quinto. cuarto. etc... Las secciones son de latn-griego. latn-matemticas. latn-ciencias, etc. Supongamos la clase formada por: Abel Bartolom Valentn Toms
(3 LG) (3 LG)
(3 LC) (3 LG)

(1)

Explicaremos ms tarde lo que es la ..unversaldad del discurso-

(c. 111. 10).

52

Francisco Gabriel Mariano Bonifacio Romn Vctor

(3 (3 (3 (3 (3 (3

LM) Le) Le) LG) LG) LG) se descompone en 3 subconjuntos:

La clase latina de tercero tercero latn-griego, tercero latn-ciencias, tercero latn-materntlcas.

~Ba

~T

X F

~R

La clase de tercero de latn-matemticas no contiene ms que un elemento: Francisco. Es, pues, un singleton. Pero no se puede confundir esta clase con su elemento. En efecto, las clases de 3 LG y 3 Le no pueden confundirse con sus elementos, puesto que tienen varios. Por otra parte, segn en qu cursos, esta clase de tercero latn-matemticas podr contener ms de un elemento. La clase de tercero de latn-matemticas, no es, pues, el alumno Francisco en s, sino considerado como un objeto. Sin ernbarqo, si un profesor dice: oy clase de tercero de latn-matemticas. se ver que da clase al alumno Francisco.
53

17.10 Hemos dicho anteriormente: en el universo hay objetos . Es nuestro espritu el que concibe, nuestro lenguaje el que forma los conjuntos. El mismo objeto (en este caso Francisco) podr ser concebido, considerado como un singleton, o como elemento del singleton. Nuestra decisin es arbitraria y todo es cuestin de comodidad. 17.11 De todo esto podemos deducir algunas normas de escritura. As, no podremos escribir, a = {a} !? sino a E {a} El elemento no es nunca igual a su slngleton, pero est contenido en' l. No se podr jams escribir:

EEE
sino

!?

(cf. la trgica historia

de Zacaras, 13.6)

E=E
Un conjunto es igual a s mismo, pero no se pertenece.

18. Conjunto vaco

18.1 Se podra afirmar que: -Si un conjunto est formado de elementos, tan pronto como no los tenga, dejar de ser conjunto. No hay nada que objetar a esta proposicin. Pero llegaramos a una aritmtica sin el cero. Numerosas civilizaciones lo han ignorado. Nosotros lo conocemos y lo utilizamos a menudo. Lo que nos importa es crear una teora coherente. Ciertamente, su creacin es audaz; es preciso' inventar un signo, una palabra, que existir como signo, pero que representar una ausencia. Los griegos y los romanos no se atrevieron a usarlo, al menos en su aritmtica. Los caldeos, hindes, rabes y mayas corrieron el riesgo. V, gracias a las cruzadas, imitamos a los rabes porque al ..cero .. le llaman -cyfra-, 10 que nos proporciona la palabra cifra .

18.2 Para convencernos de que el ((cero es un nmero, hablaremos de "un conjunto cuyo cardinal es cero, es decir, el conjunto que con-

tiene cero elementos, o sea, el conjunto vaco. Pero esto no es ms que una manera de hablar. Es lgicamente equivalente decir: -estas dos rectas no se cortan. y -estas dos rectas tienen un conjunto vaco de puntos comunes-: del 'mismo modo que son lgicamente equivalentes las frases: .No le doy ningn libro- y -Ie doy cero llbros-. La lengua castellana tiene artculos de conjuntos vado. La lengua reconoce, nombra y utiliza el conjunto vaco. No hacemos ms que extender a la matemtica los convencionalismos del lenguaje. Ejem"plos: Ni el menor trocito de hierba o de gusano! (conjunto vaco), Ningn matemtico (conjunto vacol ha podido demostrar el teorema de Fermat. Quin ha entrado?... Nadie! (conjunto vaco). Qu dices?... Nada! (conjunto vaco)

18.3
Hablar del conjunto vaco, es decir, considerar el vaco como conjunto, unifica el lenguaje y, por lo tanto, las ideas. Admitiremos, pues, que: Un conjunto que no contiene ningn elemento es el conjunto vaclo. Escribiremos: conjunto vaco = { } o tambin {}=0 El ideograma del conjunto vaco es: (1)

donde el rayado expresa que el conjunto no contiene ningn elemento.

(1)

Esta letra se lee a veces -fi., De hecho proviene del alfabeto escandinavo y se lee -vacro- o -conlunto vaco-.

55

18.4

Evidentemente, todos los conjuntos vacos son iguales. Un conjunto vaco de manzanas es igual que un conjunto vaco de elefantes o que un conjunto vaco de dlamantes. Por consiguiente:

y ya que hemos dicho -hay-, llegamos a la extraordinaria consecuencia: el conjunto vaco existe. El conjunto vaco existe en nuestro pensamiento como concepto. las palabras conjunto vaco. existen en nuestro lenguaje, en nuestra escritura. Estas palabras sostienen el concepto de -vaco-. Esto es lo mismo que decir que .el nmero cero existe". Y si lo ponis en duda recibiris un -cero .. para convenceros de su existencia.

19. Los conjuntos de conjuntos y su jerarqua

19.1 Una baraja es un conjunto de 48 naipes. Pero nadie nos impedira considerar un conjunto formado, ahora, por 'barajas. El comerciante encarga barajas y no cartas; as una gruesa de barajas: una gruesa de barajas = 144 barajas, una baraja = 48 naipes. Un conjunto de barajas es un conjunto hecho con barajas. En efecto. no se pueden cambiar entre s los naipes. pero s las barajas. Esto ilustra el siguiente principio: Todo conjunto puede ser considerado. como elemento de un nuevo conjunto

o tambin:

Todo conjunto es un objeto.

19.2 Una clase (escolar) es un conjunto de alumnos: 6. A = {Pedro Domnguez. Mnica Lpez.... Enrique Prez}. Un colegio puede ser considerado como un conjunto de clases: Colegio Cleopatra = {6.0 A. 6. B. 6. C. 5, A ... } Un distrito escolar puede ser considerado como un conjunto de centros de enseanza:
56

Enseanza Media = {Colegio Cleopatra, Colegio Margarita de Borgoa}. la enseanza nacional se puede constderar como un conjunto de distritos escolares: Enseanza nacional = {enseanza primaria, enseanza meda, ense-

anza universitaria, ... } Podemos escribir, por ejemplo: Mnica lpez E 5. A E Colegio Cleopatra E Enseanza Media E Enseanza nacional. Pero, en cambio: Mnica lpez ($ Enseanza media (considerada como un conjunto de colegios) . Tenemos. pues. los Ideogramas:

X
Colegio Cleopatra

En

X Sectnf.

X M.L.

Ene.
Secund.

/tI.L.

19.3 Nos encontramos con otra imprecisin del lenguaje usual. Hay que considerar un coleqlo como un conjunto de clases- o como un conjunto de alumnos? , Hay que considerar un pas como un conjunto de provincias. como un conjunto de comunidades. o como un conjunto de ciudadanos?

19.4 Podemos fijar una jerarqua entre conjuntos construidos de determ'nada manera:

A = ~a. b. c. d

~.
~.

= ~A. B. C. D

k=~a,d3.t,O),~
etc ...

aEAEUEIt,

...

A veces se numera esta jerarqua a partir de un cierto conjunto inicial. Se llama tipo de conjunto a este ndice de numeracin.
57

En el ejemplo anterior: si suponemos que A es del tipo 1 entonces a:: es del tipo 2 es del tipo 3 etc...

ft

19.5 ;
Hay que desconfiar, se pueden construir .El = ~a, b ~ sin embargo, de la jerarqua de los tipos, ya que conjuntos segn distintas jerarquas:

E2 E4

= ~ a,

El ~ =

~ a,

~ a, b ~ ~

Ea = ~a, b, El' E2 ~

~ b, E3 ~ b E El bE Ea

etc. o bien:

a E: El a E E2

a E Ea b E E" As, por ejemplo, si: p es un punto. y O una recta considerada como un conjunto podemos formar el conjunto {p, O}.

de puntos,

19.6
El empleo del substantivo colectivo, en la lengua, nos proporciona doble posibilidad para determinados objetos de ser considerados, 'la vez, como conjunto y como elemento. Comparemos: han asolado ' Una manada de lobos h I d los campos. a aso a o En "Una manada de lobos han asolado los campos", el ncleo del sujeto es -Iobos-: podemos hacer sustituciones: una manada de lobos han asolado los campos, los lobos han asolado los campos, veinte lobos han asolado los campos, algunos lobos han asolado los campos. El sujeto es un conjunto en el cual cada elemento es un lobo (l). la a

(1)

Si -Iobos- es el ncleo del sujeto. quiz os preguntaris cul es la funcin sintctica de -una manada de . Planteadle esta cuestin a un gramtico tradicional. Su silencio os extraar. Proponedle luego considerar -una manada de. como un -artculo., es decir como un -Indtcador de conjunto . Y gozaris. entonces. de su desprecio. de su furor. Y. por qu no, de su curiosidad.

58

En -Una manada de lobos ha asolado los campos, el ncleo del sujeto es -rnanada-: .de lobos- es un complemento del nombre que caracteriza al ncleo; podemos. hacer las sustituciones: una manada de lobos una manada hambrienta una manada destructora ha asolado los campos, ha asolado los campos, ha asolado los campos.

De la misma manera: una manada de lobos la manada de lobos esta manada de lobos ha asolado los campos, ha asolado los campos, ha asolado los campos.

El sujeto del verbo es un singleton. la caracterizacin por el complemento del nombre recuerda que es un conjunto que se ha convertido en elemento del singleton sujeto. los nombres colectivos pueden expresar a un mismo tiempo: un conjunto de elementos, el elemento de un singleton. Ejemplos: coleccin, ejercicio, grupo, clase, asociacin, tropa, banda, horda, enjambre, rebao, montn, pandilla, patrulla, regimiento, equipo, etc ...

19.7 Sabemos que todo conjunto puede ser considerado como elemento de otro conjunto. Es cierto a la Inversa? Tomemos, por ejemplo, una expedicin de mercancas formada por un conjunto de camiones cargados con cestas de huevos: la expedicin de mercancas = conjunto de cargas de camin, un cargamento de camin = un conjunto de cestas de huevos, una cesta de huevos un conjunto de huevos, pero: un huevo = un huevo.

No hay manera de considerar un huevo como una pluralidad, salvo en el caso de convertirlo en tortilla (con cscara y todo). Pero entonces dejara de ser un huevo con yema, clara, cscara capaz de convertirse en huevo pasado por agua, escalfado o quizs en un pollito despus de incubarlo. En consecuencia, todo elemento de un conjunto no puede ser considerado necesariamente como un conjunto. 59

20. La teora natural y la teora axiomtica

Todo lo que acabamos de decir est expuesto desde el punto de vista natural .., como si los convenios establecidos cubrieran una cierta intuicin de la realidad. Hemos convenido cierto lenguaje adaptndolo, a lo que creemos que es la realidad, segn nuestro lenguaje usual. Hay otra manera de construir la teora de los conjuntos. El matemtico enuncia un nmero lo ms pequeo posible de propiedades iniciales (los axiomas), y las reglas para aplicar dichas propiedades, sin, aparentemente, inquietarse por las analogas que pueda haber entre los axiomas y la realidad. A continuacin pone en funcionamiento el mecanismo del lenguaje a partir de los axiomas y deduce todas las propiedades elaborando una teora. Este mtodo es muy cmodo porque evita los escollos de la incomunicabilidad. Siempre, desde el punto de vista pedaggico, la teora es dogmtica. En efecto, los axiomas.. no estn ni preparados, ni estructurados en nuestro cerebro como Atenea bajo la cabeza de Zeus. El matemtico, como todos los que le han precedido, ha creado en el transcurso de los siglos esta herramienta abstracta, el lenguaje matemtico, por analoga con la realidad. Una fsica .. va precedida siempre de unos -axlomas .. sin los cuales todo sera posible y todo estara permitido. Ciertamente, todo es posible y permisible. Pero entonces sera preciso separar lo que es juego de lo que es fsica, que pretende describir abstracta mente lo real extrapolndolo quizs muy ampliamente, de lo que es sueo gratuito sobre signos sin significado alguno. Muchos matemticos viven 'con la ilusin de que su axiomtica es libre. La torre de marfil de su soberbio ,aislamiento no permite la comunicacin pedaggica con los nios que viven con los dos pies clavados en el suelo, vidos de apoderarse del mundo con todas sus fuerzas y dispuestos a conocer las tcnicas de este futuro poder.

60

2
PARTES DE UN CONJUNTO: LA INCLUSION

El nio est sobre un montn de arena. Desde lo alto de este Himalaya, toma posesin de

sus dominios. Introduce la mano en esta arena y la saca llena. Un hilillo fluido se escapa de su puo cerrado. Un gesto acompaa a todo lo que hace: particin, inclusin, ajuste de conceptos, cadena de razonamientos ...

1. Subconjunto e inclusin
1.1 El concepto de parte de un conjunto lo adquirimos inmediatamente despus de considerar que: el puado de arena es parte del montn de arena; un equipo de alumnos de una clase es una parte de esta clase; los platos de que dispone un ama de casa forman parte del servicio de mesa; etc ... 1.2 Se llama parte o subconjunto. Este concepto no es absoluto. Nada es subconjunto PER SE. (por s mismo), sino con respecto a otro conjunto.

1.3 Toda parte de un conjunto es un conjunto.

1.4 Se dice B B B A indistintamente: es parte de A. es subconjunto de A. est contenido en A. contiene a B.

65

Se escribe:

SeA
AJB
1.5

B est contenido en A. A contiene a B.

El concepto de la inclusin se representa por localizacin -Estar en- es caso particular de -estar contenido en ...

espacial.

SeA

1.6 Ejemplos: El conjunto de los mltiplos de 6 est contenido en el conjunto de los mltiplos de 2; que tambin se puede decir: -Todo mltiplo de 6 es mltiplo de 2; "Todos los mltiplos de 6 son mltiplos de 2-; -Todo mlttplo de 6 es par; -Un mltiplo de 6 es necesariamente mltiplo de 2-; ..Los mltiplos de 6 son mltiplos de 2; etc ... que se escribe: Mf) e M2. El conjunto de las vacas est comprendido en el conjunto de los mamferos; o tambin: El conjunto de los mamferos comprende al conjunto de las vacas. Lo que hace que pueda decirse: -Las vacas son mamifercs : ..Entre los mamferos hay vacas-: ..No hay ninguna vaca que no sea mamfero; etc ...

66

2. Pertenencia e inclusin
2.1 Los principiantes confunden frecuentemente la pertenencia con la Inclusin. Es fcil distinguir estas dos nociones si se tiene en cuenta que: La inclusin es una relacin reflexiva (cf. 4.1 y cap. V). Siempre A e A La Inclusin relaciona dos conjuntos y cada uno de ellos pue-, de tener varios elementos: La pertenencia es una relacin antirreflexiva (cf. cap. V). Siempre A ~ A La pertenencia relaciona un nico elemento con un conjunto que puede comprender varios elementos:

~ a. b. e ~ e ~ a.
2.2

b. c. d

e E ~a. b, c. d ~

~atcE'

aE-E

expresan lo mismo bajo dos formas diferentes. Es equivalente considerar: la Inclusin de un singleton en un conjunto; la pertenencia a este conjunto del elemento contenido en estesingleton. Si consideramos un objeto'. es indiferente concebirlo como: ' singleton de un elemento; elemento de un singleton. Si expresamos una relacin entre un objeto y un conjunto. la relacin ser, segn nuestra manera de 'considerar el objeto, o bien una pertenencia, o bien una Inclusin. De aqu la confusin frecuente entre estas dos relaciones.

2.3
Ejemplos: -Scrates es mortal. puede significar: o bien -el elemento Scrates pertenece al conjunto de los mortales-. o bien - el singleton Scrates est contenido en ,el conjunto de los mortales . - Los hombres son mortales. puede significar: o bien -cada elemento (hombre)' pertenece al conjunto de los mortales:
67 '

o bien ..todo singleton (hombre) est contenido en el conjunto de los mortales: o bien ..el conjunto de todos los hombres est contenido en el conjunto de los mortales. Tradicionalmente, los lgicos optan por ciertas interpretaciones. Por ejemplo: el silogismo: Scrates es un hombre y los hombres son mortales, luego, Scrates es mortal

se traduce

por:

y
luego o sea

sEH He M s E M

Pero el mismo silogismo

s = elemento ..Scrates H = conjunto ..los hombres M = conjunto ce los mortalespuede traducirse por: SCH

He M

luego S M S = singleton Scrates. o sea A partir del lenguaje en el que esto est expresado, nadie podr de cidir si estos enunciados significan una inclusin o una pertenencta, A lo sumo podramos desear que los gramticos eligiesen de los dos significados el que unifique al mximo su descripcin de las estructuras lingsticas. Comparemos las dos opciones: Scrates es mortal: Scrates: elemento: El enunciado expresa cia. pertenenScrates: singleton. El enunciado expresa inclusin.,

Los hombres son mortales: Los hombres: conjunto. El enunciado expresa inclusin, ser cambia de significado y expresa o bien pertenencia, o bien inclusin; el sujeto de ser es o bien un elemento o un conjunto. Los hombres: conjunto: El enunciado expresa inclusin.' ..ser conserva el significado (aqu, siempre inclusin); el sujeto es siempre un conjunto. Esta interpretacin filolgica es la ms sencilla, pero la ms general.

Se nota diferencia de significado entre las dos cpulas ser? S? Entonces, es preciso admitir que Scrates est considerado como un singleton de un elemento. y obtenemos la ms sencilla de las dos interpretaciones lingsticas.

68

y recordemos que es rigurosamente equivalente escribir:

sE M

3. La inclusin como enunciado de ausencia

3.1 Vamos a hora a considerar el conjunto de- los katablepos y el de los manusinos. Se os pide que los representis con dos ideogramas. lo fastidioso es que ni vosotros (ni yo) sabemos lo que es un katablepo ni tampoco lo que es un manusino. No queda ms remedio que considerar dos conjuntos en una situacin de por s muy general.
los manusinos

iAtencin! Sobre todo no pongis puntos o cruces en estos conjuntos. Despus de todo existen los katablepos o los manusinos?

69

3.2 Vuestro ideograma es muy cmodo. En efecto, si encontris el. siguiente objeto

Y si le preguntis sucesivamente: -eres un katablepo? -eres un manusino? podris localizarlo cmodamente en el ideograma segn sus respuestas. Primera pregunta: eres un katablepo?
SI

s no no

Segunda pregunta: eres un manusino? s no s no

y podis apuntar su localizacin elegida segn las respuestas dadas:

SINO

70

3.3 Estos katablepos y estos manusinos. de los que no sabis nada. os empiezan a asustar. Provistos de vuestro ideograma. vais a casa de. la adivina y le preguntis algunas cosas sobre vuestras obsesiones patatoidales. Os contesta: -todos los katablepos son rnanusinos-: es decir. con palabras de adivina matemtica, .el conjunto de los katablepos est incluido en el conjunto de los manusinos. Preparaos, pues, a retocar vuestro ideograma teniendo en cuenta esta vez la inclusin. Pero inspirada, la adivina vocifera: - Maldicin para quien malgasta sus ideogramas y no aprovecha de ellos todo su saber. Entonces recoged el dardo de genio, y modificad con trazos vuestro ideograma:

sos katablepos

k>s manusinos

expresando as que no .hay katablepo que no sea manusino. iVa est! No os dir lo que son los katablepos ni los manusinos. Pero seguramente estaremos de acuerdo en admitir que son objetos muy tiles, pues nos han enseado una nueva escritura ideogrfica.

Los ideogramas de inclusin (1)

son equivalentes, sin embargo El ideograma nos dice que no hay respuesta -s-no- a las preguntas es un A? e~ un B? El ideograma nos proporciona un esquema simplificado donde la parte vaca est ya eliminada.

Utilizaremos una u otra de estas representaciones. segn las necesidades del momento.

3.5
La zona vaca se escribe A "B (A menos B) (2).

Volveremos a hablar de esto cuando estudiemos las operaciones de las partes de un conjunto (cap. 111).

(1)

El Ideograma de la derecha es el de Euler (que representa directamente situaciones particulares). El ideograma de la izquierda es el de Venn (que lleva las Informaciones particulares al diagrama general). El conjunto A \ B (A menos B) est formado por los elementos que pertenecen a A sin pertenecer a B. Ejemplo: (a, b, e, d) \ (e, d, f, g, h) (a, b) (e, d, f, g, h) \ (a, b, e, d) (f, g, h) (a. b, e) \ (a, b, e, d, f) 0

(2)

= = =

72.

Tenemos, pues: ~ Que es lo mismo que decir: todos los a son b CA \ B

o no hay a que no sea b. Y, curiosamente, descubrimos que el verbo -ser- en el primer enunciado no conduce a la expresin de una existencia, sino ms bien de una no existencia.
Ejemplos:

los mltiplos de 6 son pares ~ no hay mltiplo de 6 que sea impar, los hombres son mortales ~ no hay ningn hombre inmortal, los katablepos son manusinos ~ no hay katablepo que no sea manusino.

4. Reflexividad de la inclusin
4.1 Sabemos que (A e B) ~ CA\ B

0)

A "B est formado por elementos que pertenecen a A sin pertenecer a B. En consecuencia: A "A est formado por elementos que pertenecen a A sin pertenecer a A; es decir, que no est formado por ningn elemento; y por lo tanto: A" A = 0. Se verifica siempre:

Cualquier conjunto est siempre contenido en s mismo.

4.2
Esta propiedad se puede enunciar de una manera ms general:

La inclusin entre conjuntos es una relacin reflexiva (2)

El signo ~ significa la equivalencia entre dos enunciados: podemos traducirlo por: -es lo mismo que. -es verdadero o falso al mismo tiempo que. Por ej.: Luis XIV muerto en 1715 ~ el Rey Sol muerto en 1715. V. las relaciones (cap. V).

(1)

(2)

73

Es (fe -sentldo comn- considerar que si se construye una parte de un todo, es preciso, al menos, restringir este todo. Es natural distinguir dos tipos de inclusin: 4.3 la inclusin general (1) AC B que corresponde a la Inclusin tal como la hemos descrito ACB y A ~B Uamaremos parte estricta distinta de A. 4A Concluyendo: A C A AC A
str.

la inclusin estrlct AC B
atr.

que corresponde a la Inclusin entre conjuntos distintos

(o parte propia) de A a toda parte de A

es siempre cierto. es siempre falso.

5. Antisimetr~de la inclusin
. .
Sean A el conjunto de los mltiplos de dos. B el conjunto de los nmeros pares. Sabemos que A C B. es decir, que A"- B 0 los mltiplos de dos son pares; y que B CA. es decir. que B'''- A = 0 los nmeros pares son mltiplos de dos. Lo que corresponde al Ideograma de Venn.

(1)

A veces encontraris las notaciones:

ee

para la inclusin general para la inclusin estricta.

74

Deducimos de l que los conjuntos A y B son el mismo conjunto. Podrfamos utilizar tambin el Ideograma de Euler (ms dlffcll de entender) .

Entonces: ACB y BC A
(A = B)

Esta propiedad se puede enunciar tambin:

LII rellICI6n de Inclual6n entre dos conjuntos es ...a.1nI6trIca

(1)

(1)

V. las relaciones (cap. V).

75

6. Transitividad
6.1
Sean tres conjuntos:

de la inclusin

A = las vacas, B = los mamferos, D = los vertebrados.

Sabemos que: ACB BCD

las vacas son mamferos, los mamferos son vertebrados. bastan para representar los ideogramas de

Estas dos informaciones Euler:

y constatamos que A C D es decir, que las vacas son vertebrados. 6.2

La representacin de una inclusin .ya hecha. no nos permite, aqu, seguir todos los mecanismos de la -deduccn . Los veremos aparecer claramente con nuestros enigmticos conjuntos: K = los katablepos M = los manusinos D = los darienos de los que se nos dice: los katablepos son manusinos, los manusinos son darienos.

76

Representaremos tres conjuntos cualquiera, con el ideograma (1):

00 O

Esta vez, para caracterizar las regiones, ha sido preciso formular tres preguntas: 1) Es un katablepa el objeto? s

no s

2) Es un manusino el objeto?

o
3) Es un darieno el objeto?

no s

no

Las respuestas forman una sucesin de .s. y de -no-. o tambin una sucesin de .1. (representando -s.) y de -o. (representando -no-) (2).

(1) (2)

Este ideograma se llama -hoja de trbol>. En lugar de los signos 1,0. se hubiera podido emplear cualquier otro sistema binario de escritura 6. O o X O etc. 1 y O no significan ms que -s" y -no. y de ningn modo uno y cero.

77

Traslademos nuestras informaciones a un ideograma de Venn: K e M es decir K" M 0 (rayado =) M e o es decir M" O = 0 (rayado 111)

Se deduce rpidamente que O = 0 es decir. que K e o es decir. que: -Ios katablepos son darienos-.

K"

6.3
Con esto: SI

Ae B
y entonces

ACD

Be o
Esta propiedad se enuncia:
La inclusin entre conjuntos es una relacin transitiva.

78

7. Inclusin del vaco

7.1 Volvemos a los katablepos v a los manusinos. Se nos dice: no hay katablepos K=.0 Se nos dice: los katablepos son manusinos K"M=.0

Evidentemente, si K = .0, a fortiori K" M = .0. El conjunto vaco est necesariamente contenido en todo conjunto. Se tiene, pues:

$lJ

eA

cualquiera que sea A

7.2 Esto conduce a resultados sorprendentes cuando se expresan en lenguaje corriente. Por ejemplo: los habitantes del sol son matemticos; los tringulos cuadrados son batracios; los elefantes con aletas son comisarios de polica; etc... . iV todos estos enunciados son verdaderos! Nuestra admiracin proviene de la contradiccin entre: el artculo plural, que parece decirnos que existen elementos (al menos dos) en el conjunto sujeto; la incompatibilidad de la caracterizacin (tringulo -cuadrado-, elefante con -aletas-) .

79

8. Negacin de la inclusin
8.1 Sabemos que: (A

e B)

(A" B -

.0)

La negacin de es De donde

A\ A\

.0 B ;i..0

(A menos B es vaco) (A menos B no es vacfo)

8.2
En el lenguaje usual: -Es falso que .todos los katablepos sean manuslnoses equivalente a - Hayal menos un katablepo que no es manuslno-es falso que los animales acuticos sean peces. es equivalente a -hay animales acuticos (uno al menos) que no son peces. (p. ej., las ballenas) .

8.3
Aqu se nos manifiesta el peligro del lenguaje usual: los enunciados en forma afirmativa o negativa -Ios a son b-los a no son bno nos proporcionan cada uno la negacin del otro. enunciado los a son b los a no son b negacin un a al menos no es b un a al menos es b

Tendremos cuidado para no confundir: la forma negativa de un enunciado, la neqaen de un enunciado.

80

8.4 Si aplicamos esta transformacin a un singleton, la forma negativa es tambin la negacin de la forma afirmativa. - Scrates es mortal. tiene por negacin - Scrates no es mortal .

8.5
En conclusin: -Ios a no son b- no es la negacin de -Ios a son b. -A (singleton) no es b. es la negacin de -A (singleton) es b. La lengua usual nos aparece una vez ms como un instrumento muy difcil de manejar si se quieren respetar las reglas rigurosas de la lgica.

9'. La disyuncin y la imbricacin

9.1

Un enunciado en forma negativa -Ios a no son bit - por ejemplo: -Ios nios del Buen Dios no son patos salvajes. nos proporciona inmediatamente los ideogramas:
81

(Euler)

(Venn)

Decimos en este caso que los conjuntos A y S son disyuntivos, o tambin que A no se imbrica en S, y lo escribimos

Al 9.2

Este enunciado posee, tambin, su negacin: ".Ios a no son b- es falso" es equivalente a un a, al menos, es b. Que nos proporciona el ideograma:

B
Se dir en este caso los conjuntos A y S no son disyuntivos o tambin A imbrica a S (1) que se escribe A 1 B.

(1)

El verbo -Imbrlcar-. al igual que su signo. se utilizan con poca frecur-ncra en los manuales. Esto es deplorable porque el signo simplifica constderablenfcnte la escritura.

82

9.3

Esto nos proporciona una escritura que expresa la realidad de un con. junto. (A O) ~ A es real ~ A 1 A (A = O) ~ A es vaco ~ A J A

10. Conjunto de las partes

10.1 Sea el conjunto E = ~ a, b, c, d ~

Podemos formar todos los subconjuntos de E, sin olvidarnos ni de la parte 0, ni del mismo conjunto E.
0, ~a~,~b~,

...., ~a,b~,

~a,c~, ... ~a,b,c,d~

Cada uno de los conjuntos formados de esta manera se puede considerar, a su vez, como elemento de un nuevo conjunto. Formemos el conjunto de todos estos subconjuntos: Ol(E)

=~

0, ~ a~, ~ b~, ~c~, ~ d~, ~a, b~, ~a, c~, ~a, d~, ~b, c~,

~b, ~ ~, ~e, d ~, ~a, b, e ~, ~a, b, d ~, ~a, c, d ~, ~b, c, d ~, ~a, b, c, d ~~ . Es el conjunto de las partes de E. Contiene siempre a 0 y a E (f (E) tos contenidos en E.

= lXI

El conjunto de l parte. de E e.

--~el conjunto de todo8 loa conJun-

Xe

E~

10.2 Conjunto de las partes de un singleten:

E = ~a ~ (J> (E) = ~0, E~.

Conjunto de las partes del conjunto vaco:

E =

=~

(f (E) = ~ 0, E ~ = ~ 0, G> (E)] = ~ ,0, ~

e[

~= ~ ~ t ~ ,
83

10.3

En la construccin (10.1) hemos comprobado que el conjunto de las partes de

E = ~ a, b, c, d

contiene diecisis elementos. Cuntas partes se pueden formar con un conjunto de n elementos? Veamos un procedimiento ms cmodo para la formacin de un subconjunto: construimos una -tabla- colocando cada elemento como -cabecera de columna ..; convenimos en indicar por + o -, o por 1 o O, o por cualquier otro par de signos, el hecho de que un elemento pertenece o no pertenece al conjunto. Por ejemplo, para cuatro elementos:

a
O O O O

b
O O O O 1
1 1

e
O O
1 1

d
O
1

conjunto

formado

O
1

O
O

O O
1 1 O O 1

O
1 O 1 O 1 'O

O O
1 1 1

O O O
O 1 1 1
1

~l ~!
c. d ~ a~
8,

d b, e b, c, d ~ d a, e a, c, d ~ a, b ~

1 1

1
O O

1
O 1

1
1 1

1
1

O
1

a, b.d

a, b, c a, b, e, d ~

Una serie de 4 signos 1 o O proporciona la escritura de la parte formada. Cuntas escrituras binarias diferentes se pueden formar con n casos? Hay dos posibilidades de escritura para cada caso. Hay 2 X 2 = 22 posibilidades de escritura para dos casos. Hay 2 X 22 = 23 posibilidades de escritura para tres casos. etc ... .Hay 2n posibilidades para n casos.
84

Un conjunto que contiene

n elementos

proporciona 7

ft

partes.
...

n 2"

O 1

1 2

2 4

3 8

4 16

5 32

6 64

8 9 10 128 256 512 1024

...

11. Particin de un conjunto

11.1

La accin de partir" nos lleva a la nocron de particin. Para partir una tarta, la cortamos en varios trozos.

Hayal menos dos trozos; todos los trozos existen; dos trozos no se Imbrican, el uno sobre el otro; la reunin de los trozos reconstruye la tarta. Basta con trasladar esto a nuestro nuevo lenguaje para definir una particin. La particin de un conjunto E es un conjunto de subconjuntos de E. En toda particin: Hayal menos dos subconjuntos; ningn subconjunto es vaco; todo elemento del conjunto pertenece a uno y slo a uno de los subconjuntos.
85

Ejemplo:

E = ~ a, b, c, d, e

t
es una particin de E es una particin de E es una particin de E es una particin de E.

~ ~a, b ~, ~ c, e ~. ~d ~~ ~~a, d. e ~, ~ b. e ~~ ~~b. c. d. e ~. ~a ~ ~ ~~c~, ~ a~, ~e~. ~d~. ~b~~

Toda particin de un conjunto est contenida en el conjunto de sus partes. La particin que contiene ms elementos es la particin en singletons. La llamaremos "particin maximal . 11.2 Ejemplo: Veamos una particin (simplificada) sificacin de los seres vivos: que resulta cmoda para la cla~
et

!
Al

reptiles peces peces batracios

I i ~
'
et

i ~

aves
mamferos

vert. brados invertebrados

12. Particin de los tringulos del plano 1

12.1 Imaginemos el conjunto de todos los tringulos del plano.

(1)

Lo que sigue. en este captulo dedicado a la inclusin, est puesto para tacilitar su mejor comprensin, Hemos elegido algunos ejemplos, pero se podran haber puesto otros; por tanto. esto no es fundamental.

86

Podemos efectuar una particin de este conjunto en: tringulos acutngulos (todos los ngulos son agudos) (un ngulo es recto) tringulos rectngulos tringulos obtusngulos (un ngulo es obtuso). Efectivamente. es una particin. ya que: ningn tringulo es a la vez acutngulo y rectngulo acutngulo y obtusngulo rectngulo y obtusngulo todo tringulo es necesariamente acutngulo. rectngulo

u obtusn-

gulo. Existen tringulos acutngulos rectngulos obtusngulos. Podemos representar esta particin de diversas formas:

o tambin

rectngulos
obtusanqulos

12.2 Podemos efectuar otra particin siguiendo otros criterios.

87

Por ejemplo:

los tringulos escalenos los tringulos estrictamente issceles (2) los tringulos equilteros

(que no tienen dos ngulos iguales) (1) (que tienen dos y slo dos ngulos iguales) (3) (que tienen los tres ngulos iguales) .

Esta particin puede ser representada de diversas maneras:

o tambin

(1)

Se demostrar sin dificultad que efectivamente se trata de una particin. los tringulos issceles (en sentido amplio) tienen al menos dos ngulos iguales; los tringulos equlteros son pues issceles. Etimolgicamente -isscelessignifica -tados iquales: pero en un tringulo es equivalente considerar la igualdad de los ngulos o la de los lados.

(2) (3)

88

12.3 Para comprender mejor estas dos particiones, se puede imaginar una tercera conteniendo nueve subconjuntos. Una superposicin adecuada de los dos ideogramas representa la particin resultante.

Algunos de los subconjuntos que aparecen son vacos. Se puede, pues, rayar la parte correspondiente. As, no hay tringulos equilteros obtusngulos tringulos equilteros rectngulos,

89

los tringulos equilteros e Jos tringulos issceles acutngulos. El ideograma puede, pues, smplificarse en su representacin, que, finalmente, queda convertida en una particin con siete subconjuntos.

13. Particin de los cuadrilteros

13.1

del plano

Podemos efectuar una particin en el conjunto de los cuadrilteros convexos. Se clasifica frecuentemente a los cuadrilteros segn los siguientes criterios: trapecios no .trapecios paralelogramos no paralelogramos rombos no rombos rectngulos no rectngulos cuadrados no cuadrados que tienen dos lados paralelos, que no tienen dos lados paralelos, que tienen dos pares de lados paralelos, que no tienen dos pares de lados paralelos, que tienen los cuatro lados iguales, que no tienen los cuatro lados iguales, que tienen los cuatro ngulos rectos, que no tienen los cuatro ngulos rectos, que tienen los cuatro lados y los cuatro ngulos iguales, que no tienen los cuatro lados o los cuatro ngulos iguales.

90

Esto nos proporciona

una particin

en seis subconjuntos:

1) los cuadrilteros no trapecios, 2) los cuadrilteros trapecios no paralelogramos (trapecios estrictos), 3) paralelogramos que no son ni rombos ni rectngulos (paralelogramos estrictos), 4) los rombos que no son rectngulos (rombos estrictos). 5) los rectngulos que no son rombos (rectngulos estrictos), 6) los cuadrados (rombos rectngulos).

13.2 Vemos aparecer un verdadero ajuste conceptual; y se pone en evidencia un grave error pedaggico frecuentemente cometido, sobre todo, en la enseanza primaria. Se confunden, a veces: trapecio paralelogramo rectngulo rombo

y y
y
y

trapecio estricto, paralelogramo estricto, rectngulo estricto, rombo estricto.

Desde luego, no se pone de manifiesto la inclusin de conjuntos (es decir, el afinamiento de conceptos). Por ejemplo, propiedades vlidas para el paralelogramo no aparecen como vlidas para el rectngulo; las propiedades del rectngulo no son aplicadas al cuadrado, y as sucesivamente. Se desculdaba, pues, este principio fundamental del mtodo deductivo: Toda propiedad vllda par. los elementos de un conJunto e. viiida tambin para los elementos de cualquiera de los subconjuntos. Por ejemplo:
1)

Las diagonales de un paralelogramo se cortan en un punto medio:

91

la cumplir tambin el rombo, el rectngulo y el cuadrado.

2) Las diagonales de un rectngulo son iguales; en partlcular para el, cuadrado. 3) Las diagonales de un rombo son perpendiculares; en particular para el cuadrado. 4) El rea de un trapecio viene dada por la expresin:

s = 1/2h(a + b).

Para el paralelogramo:

a=b

s = 1/2h(a + b).

Para el rectngulo:

b=1I

h=c

!
e

, ,

'ti

s = ha
= ac.
92
11

Para el cuadrado: c=a

s = ac
= a2

:" , ,

, ,

c:"""'a-...J

5) El rea de un rombo es igual al semiproducto de sus diagonales:

s = 1/2 pq.
Para el cuadrado:
p=q=

a 11/2

S = pq/2 = p2/2 = a2 13.3 Se puede obtener otra particin de los cuadrilteros convexos utilizando otros criterios. Por ejemplo: Rombos (o cometas): que tienen un eje diagonal de simetra.

93

Trapecios issceles: que tienen un eje de simetra que es mediatriz de ambas bases.

Paralelogramos: que tienen un centro de slmetda.

Los rombos losanjes son rombos paralelogramos y tienen dos ejes (diagonales) de simetra (perpendiculares) as como un centro de simetra.

94

Los rectngulos son trapecios issceles paralelogramos; tienen dos ejes (mediatrlces) de simetra (perpendiculares), asf como un centro de simetra.

i
:

._._._._._._._._._.J._._._._._._._.- ._._
I

, I1
I .

Los cuadrados son rombos trapecios Issceles; tienen dos ejes (dlagonales) y dos ejes (mediatrlces) de slmetrfa, asl como un centro de simetra.

,
"

9S

la particin

proporciona siete subconjuntos:

1) los cuadrilteros que no son ni trapecios issceles, ni rombos, ni

paralelogramos. 2) Los estrictos (que no son paralelogramos). 3) los trapecios issceles estrictos (que no son paralelogramos). 4) los paralelogramos estrictos (que no son ni rombos, ni trapecios issce1es,es decir, que no son rombos ni rectngulos). 5) los rombos estrictos (es decir, los rombos paralelogramos que no son trapecios issceles; o tambin los rombos que no son rectngulos) 6) los rectngulos estrictos (es decir, los trapecios issceles paralelogramos que no son rombos; o tambin los rectngulos que no son rombos).
7)

Los cuadrados (es decir, rectngulos rombos; es decir, los rombos trapeclos issceles).

96

14. Aplicacin lingstica: la caracterizacin

14.1 Consideremos el conjunto de todos los gatos del reino animal: E = gatos. Caracterizar este conjunto es formar un subconjunto por un procedimiento lingstico (1). Por ejemplo: E' = gatos pardos y evidentemente E' e E los gatos pardos son gatos.

14.2

Vemos aparecer simultneamente diferentes formas lingsticas que desempean la misma funcin de caracterizacin: los gatos pardos (adjetivo) los gatos de la madre de Miguel (complemento del nombre) los gatos que recuerdo (relativo) los gatos alimentados por el rrjunlctpo (participio) los gatos para vender (infinitivo preposicional) La enseanza tradicional de la gramtica se preocupa ms de la forma que de la funcin. Hemos dado cinco formas diferentes que desempean la misma 'funcin: caracterizacin del ncleo -gato . La enseanza de la gramtica debera analizar las estructuras manifestadas ms all de las formas.

(1)

Algunos dicen -determlnar-, pero la palabra se presta a confusin porque es util izada. tanto en el sentido de caracterizar como en el de cuantificar.

97

14.3 Si caracterizamos el conjunto inicial sin modificarlo, expresamos una forma redundante. Por ejemplo: los gatos felinos (= los gatos), los gatos mamferos (= los gatos). Si el subconjunto es igual al conjunto, la caracterizacin es redundante (11. 14.4 Si caracterizamos un conjunto de manera que formamos tericamente un conjunto vaco, creamos una metfora. Ejemplo: los gatos triangulares. Sabemos que los gatos no son tringulos. Entonces, a priori, el conjunto formado es vaco. los gatos triangulares = 0 (segn las leyes de la zoologa y de las matemticas). Pero cada vez que nos encontramos con un signo, reaccionamos para buscarle una significacin. Nos repugna asignarle el vaco, este conjunto nico siempre parecido a s mismo, y con contenidos tan variados como: los gatos triangulares, las gallinas de los huevos de oro, los elefantes con aletas, las liblulas a reaccin, etc... Modifiquemos entonces el sentido de las palabras para asociarle un epteto compatible con el ncleo. Por ejemplo, -Ios gatos triangulares- sern en nuestra Imaginacin -Ios gatos con la cabeza trlanqular, o 'tambin cualquier otra cosa segn nuestro humor y nuestra Inspiracin. 14.5 Cuando digo .Ios gatos pardos, es el conjunto .Ios gatos- al que caracterizo por la propiedad -pardo-, y no lo contrario. De aqu las categoras qramatlcales: sustantlvo/adjetlvo: la imposibilidad de permutar: los gatos pardos (y no .Ios pardos gatos-), los cambios de significado: un pequeo hombre =1= un hombre pequeo.

(1)

Esto no significa que la caracterizacin se deba rechazar. Ejemplo: ... y su boca febril y de "azur azul" voraz... (Mallarm).

98

15. Aplicacin lingstica:

el predicado

-De noche, todos los gatos son pardos.

Qu expresa en la teora de los conjuntos este proverbio? Evidentemente, incluyendo el conjunto de los gatos en el conjunto de los seres pardos: los gatos C. los seres pardos. y encontramos la diferencia fundamental entre el predicado y la caracterizacin.

caracterizacin

predicado

los gatos pardos

los gatos son pardos

Operacin lingstica de formacin de un subconjunto.

Enunciado de inclusin de un conjunto en. otro conjunto: los gatos e los seres pardos. Puede proporcionar: un enunciado verdadero; un enunciado falso.

Puede proporcionar: el conjunto inicial (redundancia) ; un subconjunto estricto; el conjunto vaco.

Las gallinas ovparas. es una caracterizacin redundante: -Ias gallinas de los huevos de oro. es una caracterizacin metafrica (tericamente -vaca-)

Las gallinas son ovparas. es un enunciado verdadero; -Ias gallinas ponen huevos de oro, es un enunciado falso.

99

16. Aplicacin
16.1

lingstica:

los artculos

La lengua, en el empleo de los artculos, se refiere al conjunto de las partes del universo del discurso (1). Consideremos un conjunto de alumnos y tomemos 4 para facilitar la explicacin:

= ~a,

b, e, d ~

,Si, hablando, digo -Ios alumnos, me refiero a E en su totalidad. los alumnos =,' ~a, b, e, d

t
al

Si digo unos alumnos, me refiero a una parte de E (conteniendo menos dos alumnos), unos alumnos E,
,

~ a, b ~, ~ a, e ~, ~ a, d

t, ~b, e t, ~b, d t, ~ e, d t

(~a, b, e ~, ~a, b, dt,

~a, e, d t, ~b, e, d ~, ~ a, b, e, d ~ ~

Si digo un (y slo uno) alumno, me refiero a una parte de E que contiene un (y slo uno) alumno; un alumno E

~~a~ , ~b ~, ~ e ~, ~d ~ ~ ,
de E que

Si digo -alqunos alumnos, me refiero a una parte estricta contiene al menos dos alumnos y no los contiene todos, algunos alumnos E ~ ~a, b ~, ~a, e t, ~a, d,~, ~b, e ~ ,~b, d

t, ~e, d ~,

~a, b, e ~, ~a, b, d ~, ~a, e, d ~, ~ b, e, d ~ ~ Si digo "ningn alumno me refiero a la parte vaca de E ningn alumno = 0. La diferencia -dentdo/Indeftnldoen la clasificacin de los artculos, corresponde, pues, a la diferencia: totalidad de c.u'parte de e.u, Sealemos una vez ms cun nefastos son los mtodos de la enseanza gramatical tradicional llevados segn las estructuras de la lengua latina. Se llama -adjetlvos indefinidos a las palabras .algunos., -ninquno- que, con el mismo tratamiento que los artculos definidos o indefinidos, desqnan unos subconjuntos del universo del discurso.: Por lo dems, hablando de -deflnldo- y de - indefinido, no se relacionan nunca estas nociones con la enseanza de las matemticas.
(1) El universo del discurso es el conjunto, impuesto por la situacin, inducido por el contexto, en el cual los interlocutores de una comunicacin efectan una separacin o divisin, Por ejemplo, si soy el director de un colegio y hablo con uno de mis profesores. la frase: me han venido a ver tres alumnos- hace referencia, evidentemente, al conjunto de los discpulos de mi colegio,

100

17. Aplicacin lingstica: las acepciones de ((ser))

Los diccionarios y gramticas dicen que el verbo copulativo -ser. tiene diversas acepciones. De hecho, la mayor parte de estas acepciones pueden resumirse en una sola: la expresin de la igualdad entre dos conjuntos. Los nmeros pares son los mltiplos de dos. Se trata, efectivamente, de la igualdad de dos totalidades (artculos -Ios- ... los) y, por tanto, la igualdad de extensiones (1) mltiplos

Las vacas son unos mamferos.

~

Se trata de la igualdad entre una totalidad y una parte (artculos -los ... -unos-) y, por tanto, la inclusin- de la primera extensin en la segunda.

(1)

Extensin de una piedad. Ejemplos: hombre gato pardo etc.

propiedad: conjunto de todos los seres que poseen esta prola humanidad. todos los gatos del reino animal. todo el que es pardo.

101

Unas ~

vacas son rojas.

Se trata de la igualdad entre una parte real y una parte cualquiera (artculos -unos- ... falta de artculo (1)). Por tanto, la superposicin de dos extensiones:

las

vacas

los seres

Scrates es mortal:

Scrates

los seres mortales

(1)

La ausencia de artculo

se expresa por -art iculo sealando cero-.

102

Se trata de la igualdad entre un singleton y una parte cualquiera (nombre propio ... sealando cero). Por tanto, la inclusin de un singleton, es decir, la pertenencia del objeto a la extensin del atributo.

18. La deduccin lgica

18.1 La dificultad de utilizar la lengua usual para un nivel abstracto haba sido ya motivo de preocupacin para los filsofos de la antigedad. Para evitar confusiones. Aristteles codific en una .Igica. las reglas de transformacin .Y de deduccin del lenguaje. La lgica aristotlica ha proporcionado la base para la reflexin de la humanidad durante ms de dos mil aos. Sin embargo, todava se encontraba paralizada por falta de los recursos necesarios a un ,lenguaje usual mal analizado; no estaba exento de errores. y, adems, le faltaba una notacin y un vocabulario adecuado. Es a partir del siglo XIX cuando se ha tratado de ampliar la lgica aristotlica ms all de algunos silogismos elementales, creando un Instrumento de trabajo lingstico independiente del lenguaje usual. La utilizacin de este nuevo instrumento se ensea a los nios en la matemtica de hoy. t:n contraposicin. la gramtica que se ensea es todava aristotlica. 18.2 Para vuestro deleite: veamos dos problemas -deducttvos- debidos a Lewis Caroll (1); esto para probaros la dificultad de utilizar. el lenguaje y la comodidad de nuestro formalismo . La historia del encuentro con la serpiente de mar me hace siempre bostezar; no bostezo nunca, salvo si hago alguna cosa desprovista de inters; qu se concluye?: siendo: S las historias de los encuentros con la serpiente de mar, B las historias que me hacen bostezar, E las historias desprovistas de Inters. Tenemos que S e B y B = E por tanto, S e E. Es decir: La historia del encuentro con la serpiente de mar est totalmente desprovista de inters.

(1)

Lewis Caroll: autor de Alicia en el pas de las maravillas, best-seller de literatura infanti I en los pases anglosajones. . De hecho, lgico. matemtico y humorista. En el -Juego de la lgica. (1886) adverta seriamente a su lector: -el juego requiere al menos un jugador..

103

He aqu a Alicia, la hija espiritual de Lewis Carrol/. En el pas de las maravillas, cambia de altura con la misma facilidad que se respira. A decir verdad, no se ha sabido nunca si era Alicia quien se achicaba y agrandaba, o era el pas de las maravillas el que se agrandaba y achicaba.

18.3 Os informo que: 1) No hay ms que gatos en mi casa; 2) Todo animal al que le interese contemplar la luna me interesa como animal domstico; 3) Ningn animal es carnvoro a no ser que vagabundeepor la noche; 4) Los gatos matan a los ratones;
104

5) Ningn animal me quiere, salvo los que viven en mi casa; 6) Los canguros no me interesan como animales domsticos; 7) Slo los carnvoros matan a los ratones;

No quiero a los animales que no me quieren; 9) Los animales que vagabundean por la noche gustan de contemplar la luna. Ou podis deducir de mis relaciones afectivas con los canguros?
8)

A el conjunto de los animales de mi casa; B el conjunto de los gatos; D el conjunto de los animales que gustan de contemplar la luna; E el conjunto de los animales que me interesan como animales domsticos; F el conjunto de los animales carnvoros; G el conjunto de los animales que vagabundean por la noche; H el conjunto de los animales que matan a los ratones; I el conjunto de los animales que me quieren; K el conjunto de los canguros; L el conjunto de los animales a los que quiero. Traducimos los datos A

B; DCE;

F, BC H; 1 = A; K lE;

H; LC 1; GC D

Podemos anotar estos .mismos datos segn el orden inclusivo: LCJ

LIK

BCH
JI

GCDCElK

Podemos deducir muchas relaciones de estos datos, pero en particular:

es decir: i i iYO no quiero a los canguros

y

los canguros no me quieren a m!!I No os enfadis por haber seguido un camino tan largo para conocer mis relaciones afectivas con los canguros. Se podran haber puesto otras cuestiones ms edcantes. Pero para abordarlas es preciso un bagaje matemtico que no poseis, al menos por ahora.

18~4 Veamos un ltimo los dientes Los caballos Todo lo que Entonces, ejemplo de deduccin capaz de haceros rechinar' baratos son escasos. es escaso es caro. los caballos baratos son caros!!I

105

En este razonamiento paradjico. relacionamos tres conjuntos: los caballos =A las cosas escasas = B las cosas caras O

Afirmamos que: -lcs caballos baratos (no caros) son escasos es decir.
(A \ O)

eB

o tambin (a' O) , B = 0 (rayado /1111/) -Ias cosas escasas son caras. es decir. Be O o tambin B, O = 0 (rayado ;: ) . Concluimos que: -Ios caballos baratos (= no caros) son raros es decir.
(A \ O)

o tambin

(A 'O),
o tambin A, O=0

0= 0

(que es lo realizado por los dos -rayados precedentes. ) . De hecho. los dos primeros enunciados Implican ya que

A'O=0
es decir: -no hay caballo barato . y como el conjunto vaco puede estar contenido en cualquier conjunto.
106

resulta que, en particular, est contenido en el conjunto de las cosas caras. De ah nuestra conclusin.

18.5 Admitimos que estas historias de la serpiente de mar, de caballos baratos que son caros, no proporcionan ms que un juego y que la matemtica moderna tiene otros canguros para azotar. Procurad no confundir al matemtico y al sofista, reunidos, adems, aqu en un pedagogo. Estos ejemplos no estn puestos ms que para hacernos reflexionar sobre la falta de comodidad, incluso de precisin, de las formulaciones del lenguaje usual. Por lo dems, en la historia de las ciencias, las paradojas han sido siempre motivo de escndalo y, por consiguiente, de investigacin y progreso. La paradoja de Aquiles y la tortuga, las deudas por juego del Caballero de Mr, la travesa paranoica de los puentes de Koenisberg han abierto a la materntlca los inexpugnables dominios del anlisis infinitesimal, del clculo de probabilidades o de la topologa.

107

3
ALGEBRA DE LOS CONJUNTOS

En la cuna del nio hay un sonajero azul, una pelota roja, un oso de peluche. Tambin tiene muy cerca el reloj de pap y la sortija de mam. El nio los

coge. De estos dos tesoros hace un tercero: todo es para l.

1. Qu es una operacin

numrica?

1.1

Utilizaremos los nmeros porque nos son familiares. Hemos aprendido que podemos trabajar con los nmeros por medio de cuatro operaciones: la adicin: 2+ 3=5 la sustraccin: 3- 2=1 la multiplicacin: 2 X 3 = 6 la divisin: 14 : 7 = 2 Estas operaciones tienen en comn que permiten asociar un tercer nmero a dos nmeros dados. Podramos muy bien escribir:
(-2,3) (3,2) (2,3) (14,7) :: ~ X

5 1 6 2

111

o tambin

(1) : 14

, 2; 1. 982

si si* si * si *

+
X

1.2 Mientras no conocimos ms que los nmeros naturales, pudimos afirmar que:

2+3=5 2-3 = no existe 2x3=6

2 : 3 = no existe A partir del momento en que conocimos los nmeros racionales positivos (enteros y fraccionarios), pudimos decir que:

2+3=5 2-3 = no existe 2X3=6

3 Y cuando nuestro conocimiento asimil los nmeros racionales no slo positivos, sino tambin negativos, pudimos decir que:

2 : 3 = - = 0,6666666 ...

2+3=5 2-3 = -1 2x3=6

3 =3 Entonces podramos definir las operaciones con otros nmeros, adems de los nmeros enteros: 2:
2 3 17 2

"3+--=12 2 3 1

--3 231 342

12

-x-=238
3
4

Hay "operacin con nmeros- cuando, a partir de dos nmeros elegidos en un determinado conjunto, disponemos de un procedimiento para designar un tercer nmero perteneciente a este conjunto.

(1)

se lee -star-: es el signo de una operacin voluntariamente determinada. Los anglfobos dicen -truco- o -estrella .

elegida e in-

112

tambin: Una operacin est definida en un conjunto de nmeros cuando a toda pareja de nmeros se le puede asociar uno y slo uno de los nmeros de este conjunto (1).

1.3 El nmero cuatro es un nmero sagrado. Se conocen: -cuatro puntos cardinales, cuatro estaciones, cuatro vientos, cuatro jinetes del Apocalipsis, cuatro ros de los infiernos, cuatro elementos, e incluso cuatro mosqueteros. Hablamos, pues, de las -cuatro- operaciones de la aritmtica, como si no hubiese otras. Ahora bien, se podran imaginar de muchas maneras; y para limitarnos a las que ya conocemos, proponemos considerar desde ahora como operaciones: - la obtencin del M.C.D. (2) de dos nmeros enteros positivos:
12

la obtencin del M.C.M. (3), de dos nmeros enteros positivos: 12 21 = 84 la obtencin de la media aritmtica de dos nmeros racionales:
2 8 =

2 -*-= 4 3

* * * 3
3*

21

5 17

24

la elevacin de un nmero entero a una potencia: 2* 3 - 8

2-

9'

etc... Podemos imaginar numerosas operaciones en el conjunto de los numeros. Asociarn siempre un tercer nmero a dos nmeros dados.
1A

Harpagn atesoraba monedas; Barba-Azul ahorcaba una a una a sus mujeres en su alacena secreta; gracias a sus famosas botas, el Ogro recorra muchas leguas de camino; la Bella del bosque dorma rpidamente las estaciones de su sueo encantado; D. Juan, ... las ope-

(1) (2) (3)

En la enseanzaprimaria, se omite generalmente el precisar en qu conjunto particular de nmeros est definida la operacin. lase: Mximo comn divisor lase:' M inimo comn mltiplo.

raciones realizadas por estas personas consistfan en asociar: un conjunto .de monedas con varios conjuntos de monedas, un conjunto de mujeres con varios conjuntos de mujeres, un conjunto de leguas con varios conjuntos de leguas. etc. . Consideradas en su realizacin concreta, son bastante diferentes; asesinar a su mujer no es lo mismo que dormir un ao. Observemos que estas operaciones poseen en comn las propiedades:

A*B=B*A (A B)* C = A * (B* C) A*0=A A~A*B

donde vemos que A y B son conjuntos de monedas, de mujeres, de 'leguas o de besos. Decimos, pues, que se trata de la misma operacin, una ms de las simplificaciones abusivas realizadas por el hombre, el nico animal que se permlte hacerlas: a cierto nivel de abstraccin, la identidad formal de las propiedades nos hace considerar como Idnticas algunas operaciones materialmente distintas.

1.5
En cambio, decimos que las cuatro operaciones de la aritmtica son diferentes porque no tienen las mismas .propledades en el nivel de abstraccin en que las utilizamos. Por ejemplo: 2+3=3+2 2X3=3X2 Se pueden permutar los trminos de una adicin y de una multiplicacin. 4 + (3 + 2) = (4 + 3) + 2 4 X (3 X 2) = (4 X 3) X 2 .Se pueden asociar los trminos de una suma y de una multlpll-' cacln. 5X (3-2) = (5X3) - (5X2) 5X (3+2) = (5x3) + (5X2) La multiplicacin es dlstrlbutlva con respecto a la adicin y a la sustraccin. etc ...
114

2-3:;63-2 2:3:;63:2 No se pueden permutar los tr-. minos (distintos) de una sustraccin o de una divisin. 4- (3-2) :;6 (4-3)-2 4: (3 : 2):;6 (4 : 3) : 2 No se pueden asociar los trminos (distintos) de una sustraccin o de una divisin. 5+ (3X2) :;6 (5+3) X (5+2) 5 : (3+2) :;6 (5 : 3) + (5 : 2) La adicin, la sustraccin y la divisin no son distributivas respecto a la multiplicacin.

Estas propiedades nos proporcionan, adems. la base tcnica del clculo algebraico informndonos de las transformaciones permitidas o prohibidas. . La sustitucin de a(b + el por ab + ac est permitida. La sustitucin de a + (b X e) por (a + bl X (a + e) est pro-

hibida.

2. Qu es una operacin en general?

2.1
Preguntmonos. finalmente. si podramos definir operaciones con otros objetos distintos de los nmeros. Para eso, basta generalizar nuestra definicin:

Una operacin estA definida en un conjunto .1 toda .,.reJa (1) de elemento. de este conjunto .e le puede noclar un 1610 el. mento perteneciente este conjunto. 2.2
Ejemplos:

-----------------------------------------

2.2.1
Si sustituimos dos fuerzas aplicadas en un mismo punto por su resultante, efectuamos una operacin con -fuerzas-. r = f1 f2 = formacin de I;resultante.

/ /.
I

(1)

Una -pareja es un -par ordenado: el par (a, b) es igual al par (b, a); la pareja (a, b) no es Igual a la pareja (b, a). salvo si a = b. En las operaciones se emplean -parelas- y no -pares- porque el orden de los trminos puede modificar el resultado de la operacin.

115

2.2.2
Dividir en dos partes iguales un segmento determinado por dos puntos es una operacin en el conjunto de los puntos del espacio.

*= *
m =a 2.2.3

b construccin

del punto medio.

En un plano considerado como un conjunto de puntos. tomamos, el punto Q. Dados dos puntos cualesquiera a y b pertenecientes al plano. construimos un tercer punto cualquiera de la siguiente manera:

n.

.r -.__---- -_---- -.--------_-.. ---. --_. -_-_.. -... -..-,I

./
I

I I

I I

./
I

.,
.' .'

.
I

I ,

.I
I

- .. - -

- --

- .-- - - .. - .. - .. - - - - - ..

-- - .

del paralelogramo o a b c.

c *

=a b = construccin

o
2.2.4
Veamos cuatro letras escritas en un cierto orden: (a, b. c, d). Vamos a efectuar permutaciones con estas cuatro letras: a bCd) ( b d a e es la permutacin, que consiste en sustituir b por d. e por a, y d por c. a por b,

lmaqlnemos el conjunto de todas las permutaciones posibles. Con cuatro objetos, hay veinticuatro, incluida la permutacin idntica (que consiste en no cambiar nada): a bCd) ( a bcd

= I

116

Si realizamos dos permutaciones consecutivas, podemos sustituir serie de dos permutaciones por una sola permutacin (l).

esta

.a bCd) ( bdac.

(a bcd dcab

(a bCd) cbda

En consecuencia, en el conjunto de todas las permutaciones posibles' con estas letras, podemos asociar a dos permutaciones cualesquiera, una tercera permutacin. Es una operacin con permutaciones. Observemos. de paso, que si modificamos el orden de los trminos el resultado es modificado: a bcd ( dcab. ) (a bcd bda,c ) = (a bcd cabd )

2.3
Ahora podemos, en una primera aproximacin, dar una definicin

capital:
Un conjunto provIsto de una operacin proporciona una estructura. Por ejemplo: conjunto de nmeros naturales provistos de la ley' de la ll'J + adicin; conjunto de puntos del plano 1t provistos de la ley definida en 2.2.3; conjunto de todas las permutaciones posibles con cuas., tro letras. etc...

2.4
iYa podemos proponeros un pequeo programa para la construccin de la matemtica moderna: Primera etapa: considerar conjuntos -utlles- e introducir operaciones -necesarlas-, descubriendo las propiedades. Segunda etapa: comparar las propiedades obtenidas, independientemente de la naturaleza particular de los conjuntos y de las operaciones. Tercera etapa: generalizar las estructuras obtenidas de esta manera, para que abarquenel mayor nmero posible de estructuras particulares. Cuarta etapa: encajar estas estructuras desde las ms generales hasta

(1}

En realidad se escribir: ab~d) o (abCd) = (abCd) ( dcab bdac cbda y se llamar -compostctn- de dos permutaciones.

117

las ms particulares de modo que deduzcamos: - lo que es verdadero para una estructura particular, a partir de lo que es verdadero para una estructura general; - lo que es falso para una estructura general, a partir de lo que es falso para una estructura particular.

3. Operaciones en un conjunto de conjuntos

Imaginemos un conjunto de conjuntos; por ejemplo, un conjunto de partes. Si a dos de estos conjuntos les asociamos un tercero por una ley perfectamente definida, Introducimos una -operactn con conjuntos-, lo que permite -calcular- nuevos conjuntos y nos proporciona una -lgebra- de conjuntos. No creamos que es necesario entender -calcular- en el sentido -numrtco-. la palabra -clculo- se refiere simplemente a la formacin del conjunto resultante de una operacin. Esta lgebra no contendr nmeros. las operaciones que vamos a describir preceden al conocimiento del concepto numrico. Estn asociadas con operaciones mentales mucho ms importantes y nuestra enseanza deber manipularlas, extraerlas y manifestarlas con la sistematizacin de la enseanza exclusivamente aritmtica. Nos encontramos, pues, en el centro del campo de batalla entre los modernistas y los integristas (1). Como grito de guerra, el Integrista proclama esta necedad: -En matemtica moderna, no se calcula!-, Por el contrario, en matemtica moderna se calcula ms, porque se calcula con objetos diferentes de los nmeros. y en cuanto a los nmeros de la aritmtica usual, tened por seguro que el modernista tiene la misma necesidad. vital que cada uno de nosotros. Como todo el mundo, paga sus impuestos y comprueba sus recibos de electricidad. Y, precisamente, como tiene en cuenta la importancia del clculo aritmtico en la vida social, ms que manipular mecnicamente los nmeros, el modernista desea desprenderse de las estructuras profundas. lo que en trminos pedaggicos se resume por la frmula: NO DOMAR, SINO FORMAR!

(1)

En el siglo XIX, se llam -modernlstas- a los partidarios de la transformacin de la Iglesia Catlica, e -Integristas- a los conservadores de la sociologa religiosa. Creemos oportuao utilizar estos trminos para designar la oposicin actual entre los matemticos.

118

4. La interseccin
4.1 La interseccin de dos conjuntos es un tercer conjunto formado por todos los elementos pertenecientesa la vez a ambos conjuntos.
Se escribe:

(A interseccin

B)

xA AnB
et

x E B

4.2
El vocabulario es ambiguo, incluso para el modernista. La palabra lnterseccln designa a la vez: la operacin; el resultado de la operacin. En aritmtica, por ejemplo, disponemos de dos palabras distintas para la operacin: para el resultado: adicin sustraccin multiplicacin divisin Donde pueda existir operacin Procederemos confusin escribiremos: conjunto interseccin. suma diferencia producto cociente

de interseccin

igual que para las dems operaciones. 119

4.3
Ejemplos:

4.3.1
Sea el conjunto de los pases de la Europa de los Seis. El = {Alemania, Blgica, Francia, Italia, Luxemburgo, Pases Bajos} o tambin: El = {A, B, F, 1, L, P}. Sea el conjunto de los pases europeos mediterrneos: E2 = {Albania, Espaa, Francia, Grecia, Italia, Turqua, Yuqoslavial o tambin:

s, = {N,
2

E, F, G, 1, T, Y}.

Entonces:

El n E = {F, I}

es el conjunto de los pases de la Europa de los Seis que tienen una frontera en el Mediterrneo.

4.3.2
Sea A el conjunto de las rectas que pasan por un punto a. Sea B el conjunto de las rectas que pasan por un punto b distinto de a. An B = la recta que une a y b.

4.3.3
Sean dos circunferencias A y B. Las dos circunferencias son secantes ssi (1) su interseccin es un par. Las dos circunferencias son tangentes ssi su interseccin es un sin-, g/eton. Las dos circunferencias son exteriores ssi su interseccin es vaca.

(1)

-sst , es la abreviatura de -si y slo si e ,

120

secantes

tangentes

exteriores

10
.8
A

"

4.3.4
Consideremos una recta como un conjunto de puntos. SI la interseccin de dos rectas tiene al menos dos elementos, las dos rectas se confunden.

B: conjunto de puntos A: conjunto de puntos de la recta H. de la recta A. Las posiciones respectivas de dos rectas contentdas en un mismo plano vienen dadas por los ideogramas siguientes: rectas secantes rectas confundidas rectas paralelas y distintas y distintas

4.3.5
Podemos ahora presentar bajo una forma distinta ciertas propiedades de los nmeros naturales. Sean: 011: el conjunto de los divisores del nmero natural n. Mn: el conjunto de los mltiplos del nmero natural n. M12 = {12, 24, 36, 48 ... } 012 = {1, 2. 3. 4, 6. 12... } 07 = {1, 7}. Un nmero es primo si y slo si el conjunto de sus divisores es un par. Tenemos: M12 nD12 = {12} Mn nOn in} Adems:

M12nMu=M12
012 n018 = O. El conjunto de los - mltiplos comunes- es la interseccin de los conjuntos de mltiplos. El conjunto de los -dlvlsores comunes- es la Interseccin de los conjuntos de divisores. 018 ('\035 = {1}. Dos nmeros son -prlmos entre s-si la Interseccin de los conjuntos de sus divisores es un slngleton.

4.3.6
He aqu un ejemplo bastante original elegido en el campo musical (1). El conjunto de notas utilizadas en msica es (considerando los semitonos) :

~ O 1 ido, do*,

re, re

*,

4 5 6 mi, fa, fa*,

sol" sol

*,

10 la, la:tt=,

11 ~ si ~

Podemos expresarlas con cifras (expresando el nmero de los semltonos a partir del do). Si x es una nota, x + 12 es la misma nota: x = x + 12. Una escala mayor en x est formada por un conjunto de notas: Gx = {x, x + 2, x + 4, x + 5, x + 7, x + 9, x + 11}. Una escala menor en x est formada por un conjunto de notas: G', = {x, X + 2, x + 3, x + 5, x + 7, x + 8, x + 11}. A partir de las escalas de do, de re, de sol, se construyen las notas

(1)

Nota: V. La musique, discipline

scientifique. por Pierre BARBAUD (Dunod).

122

de la musica llamada china. como interseccin de tres escalas.

GOnG2nG7 4.4

{2, 4,7,9,

11}

{re, mi, sol, la, si}.

Propiedadesde la interseccin
4A.1

Absorcin: Siempre puesto que el vaco no tiene ningn elemento. Se dice: El vaco es absorbente para la Interseccin (1). (E es absorbente para si A E = E, cualquiera que sea A; por ejemplo, -cero- es absorbente para la multiplicacin.)

4.4.2
Idempotencla: Siempre

AnA

Se dice que la interseccin es Idempotente (la multiplicacin y la adicin no son idempotentes),

4.4.3
,Conmutatlvidad: Siempre Se dice que la interseccin es conmutativa (la adicin y la multiplicacin de dos nmeros es conmutativa; la .sustraccin y la divisin no son conmutativas),

4.4.4
Asociatividad: Siempre

- A

n (B n Dl

(1)

Veremos aparecer un vocabulario creado por la matemtica moderna: -absorbente-, -cornpacto-, -rbol-. red-, -enrejado-, etc,

123

Se dice que la interseccin es asociativa (la adicin y la multiplicacin de dos nmeros son asociativas; traccin y la divisin no lo son).

la sus-

Vamos a ver la evidencia de esta propiedad imaginando que cada conjunto est formado por cuatro elementos dispuestos como lo hemos hecho en el ideograma en hoja de trbol:

AnB
(A

~ 3, 7

t
O

= ~ 4, S, 6, 7 ~

n B) n

= ~7
et

A = ~1, 3, S, 7 ~
'-----+ A

B n O = ~ 6, 7 ~

(B

O) = ~ 7 ~

Escritura: Como consecuencia de la asociatividad podemos escribir (A n B) n e Sin utilizar parntesis: A n B n C.

124

5. La sustraccin
5.1

La diferencia de dos conjuntos A y B es un tercer conjunto formado por todos los elementos que pertenecen a A sin pertenecer a B.

Se escribe A \ B (A menos B)

xE:A A\B

~ x

x4$B xEtA
y

B\ A -

~x

xE B

(1)

Aqu el vocabulario nos proporciona dos palabras: -sustraccn<diferencia- para el resultado.

para la operacin,

.125

Ejemplo: Si representamos los pases de Europa por: El {A, B, F, 1, l, P} y E: {N, E, F, G, 1,T, Y}

el conjunto de los pases de la Europa de los Seis que no tienen frontera con el Mediterrneo es: El \ E2 = {A, B, l, P} El conjunto de los pases que tienen frontera con el Mediterrneo pero que no pertenecen a la Europade los Seis es: E~\ El = {N, E, G, T, Y}

5.2
Propiedades .A\tz1=A Siempre: lo que se lee: el vacio es neutro a la derecha para la sustraccin. Siempre: lo que significa: el vacio es absorbente a la Izquierda para la sustraccin. Siempre: En general: que significa: la sustraccin no es conmutativa. En general: CA\ B) \ O =1= A \ CB\ O) que significa: la sustraccin no es asociativa. En efecto (pgina 124).
A \ B = ~ 1, 5 ~ A O = ~4, 5, 6, 7 ~ (A \ B) \ O = ~ 1~ A \ (B \ O) = ~ 1, 5, 7

= ~ 1, 3, 5,

7 ~ B\ O

= ~ 2, 3 ~

6. La unin
6.1 la unin de dos conjuntos es un tercer conjunto formado por los elementos que pertenecen a uno o 1 al otro de los dos conjuntos (en particular a los dos). (la palabra -unn designa generalmente la operacin.) --- - - ------. Escribiremos: A U B (A unin B)

(1) Empleamos el

.0-

en el sentido: y/o.

126

Ejemplo: Para los pases de Europa: El U E2 = {N, A, 8, E, F, G, J, l. P, T, Y}.

6.2
Propiedadesde la unin

AU(/J=A Se tiene siempre que: que significa: el vaco es neutro para la unin.
Se tiene siempre que": Se tiene siempre Que: Se tiene siempre que: lo que significa: la unin es asociativa. lo que permite escribirla" A U 8 UO

-----

AU A = A ---'
A U 8 = 8 UA

que significa: la unin es idempotente.

--

lo que significa: la unin es conmutativa.

--

.....

6.3
Vamos a establecer ahora las propiedades relativas a la vez a la interseccin y a Ja unln. Distributividad de n con respecto a U: Se tiene siempre que: A n (8 U O) cualesquieraque sean A, 8, D. (A

n B) U (A n'O)
127

~ 1, 3, 5, 7 ~

BUD

~ 2, 3, 4, 5, 6, 7 ~

A n (B U Dl AnB

- ~ 3, 7 ~
(A n Bl U (A n Dl

= 1 3,5. 71 ~
~ 3, 5, 7 ~

An

~ 5, 7 ~

Distributividad de U con respecto a n.

Se tiene siempre (1)

A U (B n oi

= (A U Bl n lA U D)

Antldistrlbutivldad de '" con respecto a U '" con respecto a n

Se tiene siempre:

(A \ B

n (A \

7. La diferencia simtrica
7.1 Nos queda por definir la ltima operacin que rene las dos regiones sin solaparse (las alas de la mariposa, como dicen los nios jugando con el ideograma de Venn).

(1)

Dejamos como ejercicio para el lector establecer las propiedades siguientes por el mismo mtodo que hemos seguido con la propiedad anterior.

128

La diferencia simtrica de dos conjuntos es un tercer conjunto formado por todos los elementos que pertenecen sea a uno, sea al otro conjunto (pero jams a los dos).

Escribiremos

A6

(A delta

a)

(1)

I
=
7.2

xA ~xtal xfA
yXEa~

Ejemplo: Con los pases de Europa: El 6 E2 {N, A, a, E.G, L, P,T,Y}.

Propiedadesde la diferencia simtrica Tenemos, inmediatamente, A

I:l

= (A \

a) u

(8 \ A)

donde vemos aparecer la unin de las dos -alas de mariposa. A I:l 8 (A U 8) \ (A n 8l

donde vemos claramente que la -rnarlposa- se ha quitado el -traxpara conservar las os alas. Se tiene siempre: Se tiene siempre: A A

I:l I:l

I:l A

El vaco es neutro para la diferencia simtrica. 0 = 0

--

I:l A =

La diferencia simtrica es conmutatlvL En efecto Al:::.0 = (A \ 0) U (0 \ A)

=AU0 =A
(1) Algunos matemticos representan esta operacin por vuntlva-.

y la llaman -suma dis-

129

Se tiene siempre:

6 A = 0

En efecto

A 6 A = (A\A)U (A\Al
=0u0 =0

8. Propiedades generales
8.1 Se comprobarn sin dificultad las siguientes propiedades: Cualesquiera que sean A y B se tiene:

AnBCA AnBCB AnBCAUB A \ BC A A\ BCAB A\BCAUB B\ACB B\ACA6B B\ACAUB ACAUB B C AU B A6BCAUB AnBIA\B AnBIB\A AnB~A6B
A \ B~ B

B\AIA
8.2
Se comprobarn sin dificultad las siguientes equivalencias: Cualesquiera que sean A y B se verifica:

ACB

A\B=0 An B = A A6B=B\A AU B = B
A \ B

AqB

An B 4= A A6B*B\A AU B 4: B
130

Al

B . ,
\

An

B =1=- 0

(/
Al
B

( X
.....
/

<, \
./

.)

A\ B A B\ A B A.6.B *AUB AnB - 0 A\B - A B\A - B A.6.B - AUB A\B AnB A.6.B A.6.B

* *'

-.:
A=B
~

A=I=B

t/I/[""lI/J _(x(D
~

B\ A = 0 A=B=AUB 0

=1=0

(-(l)

9. Tautologas y no tautologas
9.1
No se pueden confundir enunciados tales como: A n B = B Y A U B = (A 6. B) U (A n B) El enunciado: A U B = (A 6. B) U (A n B) es verdadero cualesquiera que sean A y B, es deci r, es siempre verdadero. Es una tautologa (o una identidad); si no nos damos cuenta desde el primer momento, es porque est enmascarada por la escritura y por nuestra falta de hbito en su utilizacin. Pero este enunciado no aporta ninguna informacin especial. No podria no ser enunciado. El enunciado AnB=B es verdadero nada ms que para determinados conjuntos No es una tautologa. Encontraramos la misma oposicin en lgebra donde: x + 2x =3x x + 2y + 1 - 3x + 5y + 3 - 2x - 3y - 2 (x + y):! x:! + 2xy + y'2

A y B.

131

son identidades, es decir, igualdades los valores de x e y:

verdaderas

cualesquiera

que sean

x+5
x2-3x x+y-1

+2 = O
=0

=2x+1

(x = 4) (x = 1 o x = 2)

no son igualdades verdaderas nada ms que para algunos valores dados a x e y, es decir.. ecuaciones .

.;9.2 Encontraremos igualmente enunciados contradictorios (o absurdos), es decir, enunciados falsos cualesquiera que sean las sustituciones que se hagan con las letras que en ellos figuran. Los enunciados siguientes son contradictorios: (A \ B) 1 (A n B) (1 !) (A \ B) 1 (B \ A) (? !) (A \ B) 1 B (? !) (B \ A) 1 (A n B) (? 1) (B \ A) 1 A (? 1) (A n B) 1 A 6 B (1 !)

9.3
Nos damos cuenta ahora de una grave dificultad de escritura. Cuando escribimos un enunciado, en principio, lo consideramos como -verdadero-. Por ejemplo, si decimos -Ilueve-, significa que consideramos como real el hecho de llover . Los enunciados matemticos escritos se consideran, pues, como verdaderos. Tambin habra que distinguir los que son verdaderos cualesquiera que sean los cambios efectuados llar las letras, de los que no son verdaderos nada ms que para ciertos valores. Tambin habra que escribirlos sin dar por -verdaderos- los que, precisamente, no lo son jams. Una de las maneras de soslayar esta dificultad consiste en el empleo de - cuantificadores ... La tautologa se escribir: V A V B : AeAuB (para todo A y para todo B, se tlene: A e A u Bl . Escribiremos: :3 A 3 B : An B=B (existen A y B tales como: A n B = B) .:

9.4
Los filsofos han llamado analticos a los juiclos que se reducen a tautologas o a contradicciones, y -slntttcos- a los dems juicios.
132

Un juicio analtico permite distinguir lo verdadero .. de lo -falso- sin recurrir a una experimentacin sobre la naturaleza real de los seres considerados. Un juicio sinttico (1) necesita una experimentacin particular para establecer su verdad o su falsedad.

9.5 y por fin en esta lgebra de conjuntos,

donde, segn los integristas ..no se calcularta-. no slo podemos demostrar identidades, sino tambin resolver ecuaciones.

9.5.1
Identidad Demostrar: (A

6
A
B

B)

6O

8..

(B

6 O)
3, 5

A 6B O (A D B) 60 86.0 A 6. (8

t 4, 6 t 5, 6 t 4, 7 t = 11, 5, 6.71] = ~ 2, 3, 6, 7 t
= ~ 1, 2, = ~ 1, 2, = ~ 3, 4, = ~ 1, 3, = ~ 1,
S, 6, 7 ~

6.

D)

(1)

Algunos dicen: -Iuiclos imponerse.

anfoteros-.

iUn trmino bien sabio! Su uso no parece

133

9.5.2
Ecuacin

Paraqu conjuntos A, B, O tenemos A \ (B \ O) = (A \ B) \ O? B\D

A \ (B \ O)

= ~ 2, 6 ~

A\B
(A \ B) \ O

= ~ 3, 5 ~

Es preciso que 1, 3, 5 ~ es decir, que ~1, 3 ~ = 0 es decir, que A1 O

= ~ 1, 3, 5 ~ = ~5~

= ~5 ~

A y O deben ser disyuntivos.

10. Referencial
10.1 Si en casa de vuestro huevero decs: iDeme usted todos los huevos del dla!-. est claro que no le peds la totalidad de los huevos del da puestos por todas las gallinas del universo, sino 'los huevos del da que tiene en su tienda. Dicho de esta manera, reducs el conjunto de los huevos del universo al conjunto de los huevos de Ia tienda; es en este nuevo universo donde limitis los conjuntos, donde pensis, donde os expresis.

los huevos

los del da
lJ4

Se convierte

en:

Atencin!

Lo que est pintado de azul (y no rayado) no es necesaria-

mente vaco. Se t;ata simplemente de lo que no se tiene en cuenta, de lo que no se habla. 10.2 Para simplificar el Ideograma, se representar a menudo el conjunto aquel, limitado por un rectngulo (un mareo).

A = los huevos del da. R = los huevos de la tienda. 135

El conjunto que se limita convencionalmente curso universal, o tambin referencial. En otras palabras:

se llama conjunto o dIs-

El conjunto universal (o referencial) es el conjunto en cuyo Interior se conviene efectuar las particiones Inducid.. por el lenguaje. -

10.3 .Esta delimitacin. esta reduccin voluntaria del universo de Ios objetos es tan frecuente que no merece la pena destacarla. Si digo: -los cuadernos de francs estn sobre mi mesa-, se trata de los cuadernos de francs de todos mis alumnos. o de mis propios cuadernos de francs. o de los cuadernos de francs de mis mejores alumnos. y no de todos los cuadernos de francs del mundo. Si digo: -Ias lilas estn en florno se trata de las mas del mundo. sino. quiz. de las de mi jardn.

11. Complementacin
11.1 Se utlzan frecuentemente definiciones negativas del tipo: - los que no son frescos. - los que no estudian latn. - a los que no he corregido el trabajo. - etc ... Evidentemente. esta cornplernentacln no se efecta con respecto a la totalidad del universo. sino con respecto a un determinado conjunto universal (que se considera correctamente definido). los conjuntos as definidos son complementarios de los primeros (definiclones positivas) con respecto al referencial.

11.2 El complementode un conjunto es la diferencia entre el referencial y el conjunto.

136

Se escribe

(A

(o tambin R \ Al.

Si consideramos siempre el mismo conjunto universal se utlllza la notacin ms sencllla:

11.3 Principio de doble ccmplementaeln:

El complemento del complemento de un conjunto es el conjunto Inicial. Entendamos bien que esto es vlido slo si se efecta cada complementacin con respecto al mismo referencial. Sin lo cual tenderamos a razonamientos como: todo lo que no es tragedia en verso es tragedia en prosa; todo lo que no es tragedia en prosa es comedia en prosa; luego, las tragedias en verso son comedias en prosa (?I).

11.4 Siempre se verifica

oR

R
0

137

AnR AUR A\R R\A

-A
R
0

A6R AUA AnA - 0 A\:A - A

A -A - R

A\ A = A
A6A AnB AUB A'\B = R - AUB - Ana

~ leyes de Morgan.

AUB B\A AUB A\B=B\A B\A - A \ B A6B - (A n Bl A6B

etc ...

u (An B)

- A6B

11.5
Quizs os extrais ante la cantidad de tautologas alineadas al lado de las pginas. Cmo meterse todo esto en la cabeza? Evidentemente, no hay ms que conocer la definicin de los signos fundamentales (y familiarizarse con ellos uttllzndolos) . Una vez que estos signos se han aprendido, todas las tautologas se conciben de golpe como tales.

11.6
Se tiene siempre que:, A A

e
q

B B

C=$

eA
etc ...

A=B

e:t

A=D
A 1B

Vamos a demostrar las primeras de estas relaciones, que nos permiten permutar (complementndolas) los trminos de una inclusin.
138

Ejemplo:

Sean A: los mamferos R: los animales B: los vertebrados

los mamferos son vertebrados todo lo que no es vertebrado no es mamfero (A \ B 0) e:) ({1} = 0)~ (A e B) e:) (13 e A) e:) (B \ A = 0) e:) ({n --:0),._____T

12.Operaciones que se pueden realizar con dos conjuntos!

12.1
Sean dos conjuntos A y B en un referencial R. La particin mxima de R es la que contiene cuatro subconjuntos: ~ A

n B,

n B,

n B, A n B

Llamaremos a estos cuatro subconjuntos "minit;minos ... A partir de estos cuatro minitrminos podemos formar el conjunto de las partes de R. Para esto, construimos una tabla con cada uno de los minitrminos como cabeza de columna. En cada lnea, efectuamos la unin de los minitrminos marcados con el signo 1. Obtenernos de esta manera el conjunto de partes de R.

(1)

Todo lo que sigue en este captulo no es necesario para la lectura de los captulos posteriores. Se trata de -manlpulactones- destinadas a probar vuestra ceraprensirt.

139

N.O orden
O
~

AnB
O O O O O O

Ana
O O O O 1 1 1 1 O O O O 1 1 1
1

'AnB.
O O 1 1 O O 1 1 O O 1 1

AnB
O 1 O 1 O 1 O 1 O 1 O 1 O 1 O 1

Conjunto formado por unin 0 AnB AnB

2 3 4
5

B \ A B

A
AnS B A~B - A\

6 7

O
O 1 1 1 1 1 1 1 ' 1

Aulf
AnB A6B B A,U B A AUB AUB R

8
9 10 11 12 13 14
15

O
O 1 1

Obtenemos 16 operaciones posibles con dos conjuntos. Todas estas operaciones no son igualmente -tlles ... Por ejemplo: no son tiles: la operacin (O) que da 0 como resultado ) sean la operacin (3) que da A como resultado cuales la operacin (5) que da lf como resultado la operacin (10) que da B como resultado i \ fueren AyB la operacin (12) que da A como resultado la operacin (15) que da R como resultado. Las operaciones (1). (2). (4). (6). (7).. (8). (9). (11)., (13). (14) presentan una cierta utilidad puesto que encontramos operaciones ya definidas tales como:
( 2)

=\

(B \ A) ( 8) -

( 4) = \

(A \ Bl
(14) = U

( 6) =

;12.2

Los matemticos se plentean.los problemas ms absurdos. As, han podido demostrar que algunos signos se podan reducir d otros, Por ejemplo: AUB - Ana AnB=AUB
A 6 B =:. (A

etc..:

n B) u (A n B)
.

~ (que forma U a partir de n y -) '(que obtiene rr a partir de U y -l :(que obtiene 6 a partir de U , n -)

140

Nos preguntamos si todos los signos que representan a las 16 operaciones no podran ser escritos a partir de uno slo. En este caso, tendramos una operacin capaz de engendrar a las dems.

Encontramos dos signos que cumplen esta condicin: el signo representativo de A n ti (1) y el signo representativo de A U 'B (2). Vamos a demostrar que el signo de Pelrce, que representamos por .permite efectivamente esta construccin.

.1.,

A B = A () B
de donde A

(por definicin)

+A = A

A (A + A) = A ~ A = 0 A ~ (A ~ A) A (A , A) AtA

A
A

0 0

BtB=A()B

AtB ~ A.B=AUB Lo que permite escribir [as 16 operaciones: (O)

(1)

t
+
B

A.

(2) (3)
(4)

A A"
A

~ B A

+
,

B
B

~:: !:~ ~1
B (7) A

+A

B +

A.

B. + B
B B

(8) (9)
(10) (11) (12)

A. A
B A A

+A~ B
+
A

+B

1 1
B A .. A B
A

A A

JB+
A.

B 1 A'
B

B B

A , B

A iB

(13) (14) (15)

A A, A

.. B

A.

* + + A+
+
B.

B A

A A

~ B B ~ A

+A

'Qu pensar de tales escrituras? 'Naturalmente que es ms rpido escribir A 6 Bjque:

(1)

Debido a Pelrce: la operacin es llamada a veces -exterseccln Debido a Sheffer.

e,

(2)

141

Adems, no nos proponemos seguir a Peirce ni l' Sheffer y nadie lo

ha hecho. Pero suponed que las operaciones. sean mecanjzables.En este caso, un mecanismo fundamental (..1.) permitir consttuir los dems mecanismos operatorios por asociaciones cada vez ms complejas. Tendramos una operacin-tomo que nos permt'tlra formar todas las molculas. Este resultado es interesante. Volveremos a l.

13. Dualidad interna

Escribimos, comparando lnea por lnea, las propiedades relativas a la interseccin y a la unin: AnB=BnA (A n B) n e = A n (B n A n (B u e) = (A n B) u (A n e) A nA = A An 0 = 0 An R = A An A = 0 AnB=AUB
(A

e)

B) ~

(A

nB -

AUB=BUA (A U B) U e = A U (B U A U (B n e) = (A U B) n (A U e) AU A - A AU R R AU 0 - A AU A - R AUB - Ana

(A

e)

0)

:::>

B)

(A U

B -

R)

etc...

etc...

Pasamosde una columna a otra efectuando las siguientes sustituciones de signos:

n ~
U R ~ ~

n
R
0

o ~

e
n ,
U ,0, R, e

~:::>

y vemos que la lgebra escrita con los cinco signos: es la misma que la escrita con los cinco signos: U , n , R, 0, :::> La permutacin (un U 0 n R 0 :J del lgebra de conjuntos.
142

Re)

conserva los enunciados tautolgicos

Estas dos lgebras tienen la misma estructura. Toda proposicin establecida en una lgebra puede traducirse lnmedlatamente a la otra. Tal situacin (igualdad de dos estructuras) en el interior de un mismo conjunto se llama automorflsmo. En qu consistir el siguiente paso de abstraccin? En esto: en lugar de dar a estos cinco signos el significado concreto de las operaciones, tal como las hemos definido lnlclalmente, bastarte estudiar una lgebra con cinco signos, que poseyera las mismas propiedades de escritura, pero en la que no nos preocupramos del significado. Los resultados obtenidos podran, posteriormente, traducirse en una o en otra de las interpretaciones semnticas de los signos utilizados.

14. Vuelta a nuestras antiguas representaciones grficas

Para recapitular, vamos a volver a tomar un tipo de razonamiento algebraico encontrado hacia los quince aos, pero para el que utilizaremos nuestro nuevo lenqua]e. Sea la ecuacin:

2x

+ 3y

=7

donde x e y son dos nmeros reales. Las soluciones de esta ecuactn son todas las parejas de nmeros reales que verifiquen la igualdad. Estas soluciones forman un conjunto A.
A

= ~ (x, Yll2X
1

3y

7~donde~~~

Sabemos que tal conjunto puede representarse por el conjunto de puntos de una recta referida a un sistema de ejes.

143

Si llamarnos T[ al conjunto de puntos del plano (o al conjunto jas de nmeros reales) podemos escribir que: rt\ A representa a 2x + 3y =F 7 1(\ A = {(x, y) 12x + 3y =F 7}. Demos una segunda ecuacin: x-y=1 y asocimosle la recta B: B = ~ (x, y)

de pare-

Ix-

y -

I ~ donde ~ : ~

Resolver-

el sistema

zx + 3y = 7
x- y =
1 de soluciones. de las dos rectas). de los dos conjuntos la Interseccin

es buscar la interseccin

Tendremos:
{ (2, 1)} = A

nB

(es decir,

Pero podemos igualmente

-resolver-: que da A \ B que da B \ A que da 1(\ (A U B) o tambin y-

~ x~ 2x

~ 2x

3y = 7

y=/:1
3y =1 7 y = 1 3y 7 y=/=1 7) (x -

+ +

x -

~ 2x

x-

=*

AnB

(2x

+ 3y -

(2x + 3y - 7) (x - y Y encontramos la equivalencia: ~ 2x

1) = O que da A U B (es decir, la unin de las dos rectas) 1) =F O que da Tt \ (A U B) (2x

~ x-

3y =1= 7. y=/=-1

3y' _

71 (x -

y -

1)

=1=

144

15. Bloques lgicos

Los pedagogos han inventado mltiples juegos destinados a familiarizar a los nios con las operaciones que hemos descrito. Veamos el juego de los bloques lgicos debido a Oienes: el referencial est formado por piezas de madera, diferentes por la forma: cuadrado, rectngulo, trlnqulo. crculo; diferentes por el color: rojo, amarillo, azul; diferentes por el tamao: grande, pequeo; diferentes por el espesor: grueso, delgado. Los nios estn familiarizados con -clastcaclones-. Por ejemplo, en dos crculos colocados en el suelo, se ha puesto la etiqueta y la etiqueta 6.. Los nios deben, en equipo, olaslflcar todas las piezas del juego.

Muy joven, incluso antes de saber leer, el nio aprende a conceptualizar las operaciones fundamentales. Una variedad de juegos progresivos le llevar a conocer estructuras cada vez ms complejas.

16. Fichas lgicas

(tarjetas

perforadas)

Las tarjetas perforadas utilizadas cada vez ms para todas las clasificaciones,' dan un excelente ejemplo de estructura operatoria con los conjuntos.
145

Recordemos que una ficha s"e representa bajo la siguiente forma:

A
Sr. Lpez:

A:

ms de B: no sabe c: no sabe D: estudios

1 aos de servicio

E:
F:

ingls alemn superiores D

no pertenece al personal administrativo.

G:
H:

Una ficha que tiene ocho perforaciones suministra 2x = 256 caracterizaciones posibles. Supongamos que caracterizamos un personal de empresa segn las propiedades siguientes: A: ms de diez aos en activo en la casa B: sabe ingls C: sabe alemn D: estudios superiores E: pertenece al personal administrativo etc. Supongamos un fichero de la manera siguiente. Una plantilla permite sacar todas las fichas que responden a una cierta caracterstica y separarlas en dos conjuntos: A: los que trabajan desde hace ms de 10 aos en la empresa; A: los que trabajan desde hace menos de 10 aos en la empresa. Las plantillas pueden ser utilizadas sucesivamente (en serie). Despus de tres pasadas, las fichas estarn separadas segn la particin: .

~A n Bn e, An B n C. A n B n C. A n B n C. A n B n C. A n B n c. A n B n e. A n B n e ~. etc...
146

Las plantillas pueden ser unltzadas simultneamente (en paralelo). Esto permitir formar las uniones A U B. y ... ; e igualmente sus com'plementos A n B. eto. Si en el borde paralelo inferior se marcan unas perforaciones con el cdigo opuesto. se multlplican las posibilidades de utilizacin rpida de las fichas para ta formacin de todos los subconjuntos. Los dispositivos para perforaciones sern reemplazados por rganos electrnicos en las memorias de los ordenadores.

147

LA LOGICA COMO UNA ALGEBRA DE ENUNCIADOS

El nio no est bien. Llora. No est bien, dice la madre. y se acerca al nio.

Al nio le gusta tener a su madre cerca de l. Llora. No est bien, dice la madre. y se acerca al nio. Al nio le gusta tener a su madre cerca de l. Llora. Est bien, dice la madre, pero quiere que est a su lado. y no se acerca al nio .

...
1.
1.1 Seora, hace mucho viento, y he matado seis lobos. (Vctor Hugo: Ruy BIas, acto 11.) As Carlos 11,rey de Espaa, el eterno moribundo, escrlbla a Ia reina, su esposa. Y la pobre reina s'e lamentaba de la sequedad de su mensaje. No obstante, este rey, tan privado de elocuencia y de lirismo, efectuaba ya una operacin mental de una gran complejidad: con dos enunciados formaba una frase. y as l, tan piadosamente y tan escrupulosamente rey, se arriesgaba a muchas mentiras.
151

El enunciado, elemento

de una lgebra

1.2
Llamemos p al enunciado -hace mucho vlento-. Llamemos q al enunclado -he matado seis lobos. El mensaje del rey' dira: -Seora, p y q-. Olvidemos -Seora-, simple indicacin de la persona a la que se dirige el mensaje. Se reduce, pues, a -p y qlt. Cada uno de los dos enunciados puede ser: ;~~~adero

y de la misma manera, la frase formada por 'estos dos Cules eran, para el rey, los riesgos de mentir a la Si no haca mucho viento, si haca poco viento, si no haca nada de viento, etc . . SL el enunciado p era falso; el enunciado -p y q- era Si el rey no haba matado seis lobos, si el rey haba matado tres lobos, si el rey haba matado diez lobos, si el rey haba matado seis zorros, si el rey haba herido a seis lobos, si el rey no haba matado nada, etc. Si' el enunciado q era falso; el enunciado -p y q- era Agrupando todas estas posibilidades: haca mucho viento y el rey el rey no haba matado seis lobos no haca mucho viento y el rey haba matado seis lobos no haca mucho vento y el rey no haba matado seis lobos haca mucho viento y el rey haba matado seis lobos :

enunciados. reina?

tambin falso.

falso tambin.

menta

el rey ment a

el rey menta

el rey deca la verdad

Dicho de otra manera, el enunciado -p 'y q. es verdadero o falso segn los valores de verdad o de falsedad del enunciado p. y del enunciado q, que despus de lo visto queda en forma de tabla:

p V F

F
V

F
V
152

F
V

p y. q F F F V

1.3 Analicemos ms de cerca cmo Carlos 11construy su enunciado. Dispona del conjunto de todos los enunciados susceptibles de ser formulados en nuestra lengua. Eligi dos de estos enunciados; form un tercer enunciado. En otras palabras. construy una operacin con el conjunto de los enunciados de nuestra lengua. Tal operacin se llama operacin lgica o sintctica. Una operacin sintctica consiste en formar un tercer enunciado a partir de dos enunciados dados. Hay. pues. una lgebra de enunciados como hay una lgebra de conjuntos. una lgebra de nmeros. una lqebra de puntos. una lgebra de vectores. etc.

2. Enunciados, lexis y condiciones

2.1 Esta lgebra de los enunciados la podemos considerar teniendo en cuenta la forma de los enunciados. Ser entonces una lgebra sintctica. es decir. una parte de lo que se llama tradicionalmente -Ia gramtica. Podemos. igualmente. considerarla haciendo abstraccin de la forma de los enunciados; asimilando los enunciados a objetos iniciales. susceptibles de formar nuevos enunciados por medio de diversas operaciones. Es preciso. pues, definir lo que entendemos por .,enunciado. Un enunciado es un objeto (1) provisto de un valor (verdadero o falso) . Como se trata de dos valores. los representaremos por dos signos, generalmente por 1 y O. La lgica es el lgebra de los enunciados considerados desde el punto de vista de su valor de verdad o falsedad. 2.2 Sean los enunciados: verdadero: verdadero: falso: falso: p = la torre Eiffel est en Pars, q = Luis XIV muri en 1715-. r = Napolen I gan la batalla de Waterloo, s = -Ia luna es cbica.

(1)

debe ser entendido. en el sentido dado en el capitulo l. como -cualquler cosa que puede participar en la formacin de un conjunto. No se trata necesariamente de un objeto material.
Objeto-

153

Los enunciados que tienen el mismo valor de verdad o falsedad se llaman equivalentes. As : p ~ q r ~ s P tP r (1)

2.3
Llamamos -lexls- a un enunciado no actualizado por un valor de verdad o falsedad. Por ejemplo: - el hecho de que el comediante Shakespeare haya escrito Harnlet-: -el descubrimiento de Amrica por Leyf Erikson-: -descubrir Arnrlca-: -si Enriqueta de Inglaterra fue envenenada-: -si Julio Csar estuvo en Gran Bretaa: son lexis. Generalmente, en nuestra lengua, actualizamos los lexis dndoles un valor. Por ejemplo: -el comediante Shakespeare escribi Harnlet-: el comediante Shakespeare no escribi Harnlet-: -es probable que el comediante Shakespeare haya escrito

Harnlet-:
-escrlblr 'Hamlet parece imposible para el comediante Shakespeare . El lgebra lgica hace abstraccin del contenido de los lexis para no conservar ms que el valor de los enunciados.

2A
Sea: -x es un nmero primo . Esta forma no es un enunciado, pues no sedad. Sin embargo, si sustituimos la x forma se convertir en un enunciado: x = S S es un nmero x = 10 10 es un nmero x = la luna la luna es un nmero posee valor de verdad o falpor un objeto cualquiera, la primo primo primo verdadero falso falso

Llamamos a esta expresin condicin o tambin funcin proposicional. La representamos por p (x) . peS) es verdadero p(10) es falso p(la luna) es falso.

(H

~ se lee -es equivalente a-. * se lee -no es equivalente a-.

154

Si sustituimos x por todos los objetos de un cierto referencial, podemos separar estos objetos en dos conjuntos: los que hacen p(x) verdadero, los que hacen p (x) falso. Una condicin (o funcin proposicional) define un conjunto en todo referencial. E={xlf(x)}. Por ejemplo: El = {x I x es primo} = {2, 3, 5, 7, 11, 13, 17 ,19,23, ... } E2 = {p E ~ I distancia ap = 3 cm} =. circunferencia de centro a y de un radio de 3 cm.

E3= Etc.

)x

x es frances edad de x ~ 21 x es soltero y x est vivo y

= los franceses. vivos, mayores de edad y solteros.

3. lgebra lgica de los enunciados

3.1 Negacin Hace mucho viento. No hace mucho viento. Si uno de estos enunciados es falso, el otro es verdadero, y recprocamente. Cada uno es la negacin del otro. Escribiremos (1): negacin de p = p

la tabla de valores es
Principio de doble negacin: ~ $$ p

rrH

Por ejemplo: es falso que no hace mucho viento es equivalente a decir que hace mucho viento. Observamos aqu que, en el lenguaje, dos formas diferentes expresan siempre una diferencia de sentido. Que la doble negacin se reduce a la afirmacin es, por tanto, una simplificacin; algunos lgicos lo encuentran abusivo.

3.2
Conjuncin (o producto lgico).

(1)

Hay quien escribe: n._P.Np, no' P.

p.
155

3.2.1 Es la operacin utilizada por Carlos 11,en su engaosa carta a la reina. Corresponde, en general, al empleo de la conjuncin -v. -p. y q-. Escribiremos: conjuncin (p, q) = p 1\ q

La tabla de valores puede ser presentada de varias maneras:

1

O O O

o bien

p
1 1

r.
1

1 O 3.2.2 O

O O

O O O

q 1 O 1 O

o bien p q P /\ q
1 1

100 O 1 O O

O O

P"P~P

idempotencia de 1\

..llueve- y -Ilueve .. es equivalente a -Ilueve-. 3.2.3

pl\q
.3.2.4 (p "

.. ql\p

_~

__

___"J

conmutatividad de 1\

q) r; r ~ p 1\ (q " r)

asociatividad de 1\

Como ejemplo demostramos esta propiedad. Esto os proporcionar un mtodo de demostracin para las otras propiedades. La demostracin puede hacerse de dos maneras:
(p /\

1
1 .1

1
1

1 0 O O O

O O O O O O

q) 1 1 O O
1 1

r;
1

O O

O O O O O O O
t

r 1 O
1

p 1 1
1

r.
1

O
1

O 1 O

1 O O O O

O O O O O O O
t

(q 1 1 O O 1 1 O O

r.
1 O O O 1 O O O

r)
1

O 1 O 1 O
1

2 columnas idnticas

156

1
1 1 1 1 1 1

q r P\q (p \ q) \ r q\r p \ (q \ r)

1 1

O
1

1 O

O
1 1

O
1

O O
O

O O O O

O O O O O

O O
1 O

O .0 1 O O 1 O O O O O O O O

O O O O

La conmutatividad y la asociatividad de 1\ nos permiten escribir: p 1\ q 1\ r.

~J

2 lneas de valores idnticas

3.3
Contradiccin (o inepcia). Qu valores puede tomar un enunciado como p 1\p? Su tabla de valores es: p 1 O 1 O iS P 1\, ~ O O El enunciado p 1\ ~ es falso cualquiera que sea p. Un enunciado compuesto, que es falso para cualesquiera que sean 105 valores de los enunciados que lo forman, se nama contracllc> cin (o Ine.,c:la). Se escribe Ejemplos: llueve y no llueve; este nmero natural es par e impar; este punto pertenece y no pertenece a esta recta; etc. Se verifica siempre que ':1 ~ ::J ' Todas las inepcias son equivalentes. Desde el punto de vista Mgi.co, slo hay una Inepcia.

3.4
Evidencia (o tautologa). Si ::t es falso para cualesquiera que sean los valores de los enunciados que lo forman, entonces :J es verdadero para cualquier valor de los .enunciados que lo forman. Un enunciado compuesto, verdadero para cualquier valor de 105 enunciados que lo forman, se llama evidencia (o tautologfa) (1).

(1)

Con palabras vulgares se dira que es una perogrullada o, como se dice en francs, una lapalissade (de La Palisse). Sin embargo, -Un cuarto de hora antes de morirse, la Palisse estaba todava vivo. no aparece como una evidencia. Si, en efecto, la ?aiisse designa a un nio que ha nacido muerto, la copla de la cancin es un enunciado falso.

157

Se escribe:

tautologa = 1;

Ejemplos: este nmero natural es par o impar; este nio es un chico o una chica; este punto pertenece o no pertenece a la circunferencia. Se verifica siempre que Z; <=? ~~. Todas las tautologas son equivalentes. Desde el punto de vista lqico, slo hay una tautologa Se tiene 3" ~ i" La negacin de la inepcia es la tautologa y recprocamente.

3.5
Vuelta a la conjuncln. Podemos' completar las propiedades del producto lgico (conjuncin) utilizando la tautologa y la inepcia. Se verifica siempre que p 1\ P =::7 la tautologa es neutra para 1\. p '\ 't;= p la inepcia es absorbente para 1\. P 1\ ':1= J

3.6
Disyuncin (o suma lgica)

3.6.1
Consideremos el enunciado: -Los condenados pagarn una multa 'o sern encarcelados. Se puede interpretar admitiendo la realizacin simultnea de estas dos posibilidades: - pagar una multa, - sufrir un encarcelamiento. Se puede interpretar excluyendo la realizaoin simultnea de las dos posibilidades. Para evitar esta ambigedad. el lenguaje jurdico emplea, por una parte. la conjuncin hbrida "y/o y. por otra parte, la conjuncin -sea ... sea .. (o tambin ..o bien ... o bien-}. El enunciado: Los condenados pagarn una multa y/o sern encarcelados. corresponde a la disyuncin o suma lgica de dos enunciados. Este complejo enunciado significa que: o bien un condenado paga la multa y es encarcelado; o bien un condenado paga la multa y no es encarcelado;

158

o bien un condenado no paga la multa y es encarcelado. Este enunciado 'es falso tan pronto como: un condenado no paga la multa y no es encarcelado.

3.6.2
Escribiremos: disyuncin (P, q)

= pV

q.

Su tabla de valores es: 1 O

1

P
q pvq

1 1

1 O 1

O 1 1

O O O

1 1

3.6.3
Se verifica siempre que: idempotencia de V

J es neutro para V
~ es absorbente para V conmutatividad de V (p V q) V r _ p V (q V r) asociatividad de V

La conmutatlvldad y la asociatividad de V permiten escribir:

p V q V r.
3.7 Relaciones entre disyuncin y conJuncin. 3.7.11 p " (q V r) p V (q "r) _ _ (p" q) V (p" r) (p V q) " (p V r)

1\ y V son recprocamente distributivas. Por ejemplo: -hace mucho viento y he matado seis lobos y/o he cogido un resfriadoes equivalente a: -hace mucho viento y he matado seis lobos y/o - hace mucho viento y he cogido un resfriado; y est claro lo que llega a ser el lenguaje usual cuando se intentan algunos pequeos cambios elementales.

159

Demostremos la primera igualdad, dejando como ejercicio tracin de la segunda: p q r q V r P /\ (q V r) p /\ q p /\ r (p /\ q) V (p /\ r) 1 1 1 1 1 1 1 1 1 1 O 1 1 1 O 1 1 O 1 1 1 O 1 1 1 O O O O O O O O

1 1

la demos-

1 O O O O

O 1 O 1 O O O O

O O 1 1 O O O O

O O O O

2 lneas de valores idnticas

3.7.2
.-.J

~ ~
...r

pvq

..,

p/\q

es antidistributiva con respecto a /\ y V. Vemos que /\ en funcin de V y ...r V en funcin de /\ y ...r p/\q~~
~

v q ~ P/\q
1 1 O
1

Demostremos una de estas relaciones: p q pvq

O
O O

101 1 1

p
v

q pvq
'V

O O
'"

O 1

1 O
1

1 1
1 O

011 1 1

2 lneas' de valores idnticas

Traduciendo esto al lenguaje usual sera: -hace mucho viento y he matado seis lobosque es equivalente a: es falso que no hace mucho viento y que no he matado seis lobos. El sentido se pierde en las sinuosidades de la frase, y eso que solamente tratamos composiciones sencillas. Intentemos traducir al lenguaje usual la operacin:

"-' [p
siendo

V [(

qV

n /\ q]]

(p /\ q /\

r)

p =. hace mucho viento q = he matado seis lobos r = he cogido un resf.riado 160

y tratad de demostrar

que el resultado

es equivalente

a:

(p 1\ r) V [(p q) (\

r]

siendo = sea ... sea ... Es tan lgico como aritmtico. En vez de reunir bisontes en los parques para contarlos, es ms cmodo utilizar las bolas del baco o las cifras de la numeracin. El lgebra de los enunciados permite manipulaciones lingsticas que sobrepasan el lenguaje usual. y esto especialmente en .el' lenquaje que pone en contacto al hombre con ese nuevo interlocutor: el ordenador.

3.8
Disyuncin exclusiya. la disyuncin exclusiva de dos enunciados corresponde al empleo de la conjuncin sea ... sea ... (o bien ... o bien ... ); ej.: -O bien el condenado pagar la multa, o bien ser encarcelado". Esto excluye la realizacin simultnea de las dos poslbllldades. Representaremos esta operacin por p q. Su tabla ,de valores viene dada por: 1 1 O O

P q

1 1

100 O 1

o
1
, __

P q

y tendremos las propiedades:

__;~(R 1\

g)

(Q 1\

g)

7-=====~

4. Conjunto de operaciones lgicas

4.1 Formacin de las 16 operaciones. Podemos construir la tabla de las diecisis operaciones lgicas posibles con dos enunciados. Escribimos al principio de cada columna cada uno de los cuatro minitrminos: 'p 1\ q, P 1\ (i, 1\ q, 1\

P q

Formamos la suma 'lgica de estos minitrminos participan en esta suma lgica.

indicando

por 1 si

161

Obtenemos 16 posibilidades: Nmero de orden pl\q O

1 2 3 4. 5

pl\q O O O O 1 1 1
1

....

pl\q O O 1 1 O O 1
1

'" pl\q
O 1 O 1 O 1 O 1 O
1

,."

Enunciado formado por suma lgrca

J

6 7

O O O O O O O O
1

pl\q pl\q
AJ

1\ q
'OJ

8
9

1
1 1 1 1 1

10
11 12 13 14 15

O O O O
1

1 1 1

O O 1 1 O O 1 1

O 1 O 1 O 1

q P q 'V "'" PV q pl\q IV Pq q ...., PV q P pvq '" PV q 't;

C::$

pq

-v

4.2
Isomorfismo entre el lgebra de los conjuntos y el lgebra de los enunciados. Si comparamos las propiedades obtenidas en el lgebra de los conjuntos (cap. 111) y' en el lgebra de los enunciados (cap. IV), nos damos cuenta de que pasamos de una a otra por una simple sustitucin de vocabulario: . conjuntos nunciados inepcia conjunto vaco referencial tautologa unin disyuncin Interseccin conjuncin diferencia simtrica disyuncin exclusiva complementacin negacin La sus tltuci I ucion .

(n

U I\V '"

establece un isomorfismo

entre

':J

el lgebra de los conjuntos y el lgebra de los enunciados. V, por otra parte, las sustituciones

n
U

U-0

n-IR

IR)
0

(1\

V V

1\

",:1
",Z;

1:;)
'::f

establecen un automorfismo en el lgebra de los , en el lgebra de los conjuntos enunciados

162

Tambin

podemos

construir

las

16 operaciones partiendo Sea: p ~q Sea: p tq

de una

de ellas: Sea: A .~ B Sea: A t B AnB AUB

IV

P\q

"-J

(Peirce)

PVq "'" (Scheiffer)

Podemos. finalmente, construir una lgebra ms abstracta que contiene cinco signos de escritura (en vez de objetos). Sera a la vez una lgebra de conjuntos y una lgebra de enunciados. Es el lgebra de Boole (1).

4.3
Veamos una lgebra de Boole, que vamos a formar con dos operaciones bastante parecidas a las que la aritmtica tradicional os ha enseado. pero cuya estructura va a abarcar al lgebra de conjuntos, al lgebra de enunciados e incluso a Ia de los circuitos electrnlcos. Las variables son x, y, z. Estas variables no pueden tomar ms que dos valores {O, 1}. Utilizaremos los tres signos: +. '. - (con el mismo sentido que la aritmtica tradicional). Asociamos: A n B, p /\ q a xy (producto booleano) tabla x y 1 O
1 O 1

O
O

O Y O
1

propiedades: x x

Y .x (x . y) . z O x

(y . z)

x
x

x .x
Asociamos: A U B. P V q a x tabla

+y1 O

xy (suma booleana)

111 1

1 O

'(1)

Jorge Boole: 1815-1864, Hijo de un tendero de lincoln. logr alcanzar un ttulo universitario a pesar de las trabas sociales de la Inglaterra victoriana. Profesor en el colegio de Cork (Irlanda). Creador (con Morgan) de la lgica moderna, Public -Las leyes del pensamiento- en 1854.

163

propiedades:

x + y - x . y x + O-x .0 x + 1 -x etc ...

y x 1

x -

y . x

Asociamos: a 1- x (diferencia booleana) ley de Boole (1-x)' (1-y) = 1- (x + y-xy) etc. Todos los clculos de la ,lgica podran efectuarse con este nuevo sistema de escritura.

A, P

4.4
Podemos ahora ensearos una llave maestra que os abrir el templo de la matemtica moderna. Formas distintas (escritura, palabras) pueden encubrir estructuras comunes. Objetos distintos, a los que son aplicadas operaciones materlalmente diferentes, pueden ser descritos con un lenguaje comn. la matemtica es el lenguaje ms econmico que cubre la ms amplia realidad posible.

5. La implicacin
Hasta aqu, conjuntos y enunciados posean las mismas propiedades. A partir de ahora, las dos lgebras van a diferir. Veremos por qu. 5.1 .Si llueve, me pongo el sombrero . Este enunciado no significa de ningn modo: o .lIueve, me pongo el sombrero:

expresa una dependencia entre dos lexls y llamaremos a esta dependencia implicacin. Escribiremos: p implica q = p => q

5.2
Me encontris y llevo sombrero; llueva o no llueva, la implicacin permanece verdadera. Jams he dicho que llevaba sombrero slo en caso de lluvia.

164

Si me encontris un da que no llueve, lleve o no lleve sombrero, la implicacin permanece verdadera. Jams he dicho lo que hara en caso de buen tiempo. .La nica situacin que puede invalidar la implicacin (probar que ee falsa) sera que me encontraseis cuando llueve y yo no-llevase sombrero_ p ::::::> q es falsa cuando p es verdadera y q es falsa, es verdadera en cualquier otro caso. Por lo tanto, la tabla es:

o
1

o tambin

P
Q P~Q

1 100

O
1

1 1

5.3
Se verifica siempre que:

~ (q ~ p) contraposicin Ejemplos: si llueve. me pongo el sombrero" es equtvalente a: si no me pongo el sombrero es que no llueve. un mltiplo de 6 es mltiplo de 3. es equivalente a: un no mltiplo de 3 no es mltiplo de 6. etc. q ::::::> P es la contrarrecproca de p ~ q. Demostremos la propiedad de contraposcn:
P
Q

'--_---...;..reflexividad

1
1

O
1

p ~ q

O O
1

O O

...,
p

,.,
Q ~

1 P U (p ~ q)

..,

O O

O
1

\]
r) 1 ~ 1 1

2 lneas de valores idnticas

(p ~- r

la inclusin es transitiva; demostracin:

q
r

P ~ q q ~ r (p ~ Q) /\ P ~ r

(q ~ r)

enunclado a demostrar

1 1 1 1 1 1 1 1

O
1 1 1 1
1

O
1

O
1

O
1

O
1 O 1 1

O O O
1

O
1 1 1 1 1 1

O
O
1 1 1 1 1 que es ~

O
1

O O O

O
O
1

O
O
1

165

5.4
Se verifica siempre que:

p .. ~

E incluso tenemos una notacin para expresar este sempiterno verifica siempre que (p ~ t: ) .. Anlogamente: (::r ~ p) ..

--

-se

't'
t'

que se traduce por:

la inepcia Implica cualquier enunciado. 5.5

Se verifica siempre Que: (p .. q) ..

(p V
1
O O O O O

q)

.
Demostracin:

P
q

1 1
~

p p V q

1 1 1
1

O O 1 ]

1
1

dos I!leas
de valores idnUcas

5.6
Psicolgicamente, la implicacin es a veces dlfctl de aceptar. Se admite que lo verdadero implica lo verdadero, lo falso implica 10 falso. Es dudoso que lo falso pueda implicar lo verdadero. Veamos dos ejemplos que nos ayudarn a comprenderlo.

'5.6.1
En este lote hay 40 libros a 50 ptas. cada uno: El lote de libros cuesta 2000 ptas. Digo: hay 40 libros a 50 ptas. (verdadero); luego el precio del lote es de 2000 ptas. (verdadero); mi deduccin es exacta; hay 50 libros a 40 ptas. (falso): Jueqo el precio del lote es de 2000 pesetas (verdadero); mi deduccin es exacta;

166

hay 45 libros a 60 ptas. (falso); Iueqo el precio del lote es de 2700 pe.

setas (falso); mi deduccin es todava exacta; hay 40 libros a S> ptas. (verdadero); luego el precio del lote es de 2500ptas. (falso); mi deduccin es inexacta.

5.6.2
Conocis {a prueba del -9. Nos permite afirmar la inexactitud de un clculo: -la prueba no -pega.; el clculo est equivocado, el clculo es exacto; ~a prueba -pega. Pero puede suceder que una prueba -peque- con un clculo inexacto. Por ejemplo: en prueba 5 7583 + 4638 +3 12230 8 inexacta exacta la prueba de los nueves no prueba la exactitud de un clculo.

5.7
lo que llama igualmente la atencin es que un enunciadofalso pueda implicar cualquier enunciado. Por ejemplo: -Ia luna es cbica. implica .Shakespear;e escribi los Tres Mosqueteros . En realidad, no vemos la -utilidad. de tal enunciado. Sin embargo, lo notaremos mejor con las formas del lenguaje real: -isi aqul es un profesor, entonces yo soy un molinillo de caf!(entonces [todo es posible, todo se puede creer, todo est permitido!") los lgicos de la Edad Media decan ya:
EX FALSO SEOUITUR OUODlIBET

(de lo falso, sale todo lo que uno quiere).

5.8
Se utiliza ms la implicacin en formas tales como: si un nmero es mltiplo de 9, entonces este nmero es mltiplo de 3; si un nmero es mayor que S, entonces es mayor que 2; si un tringulo es equiltero, entonces es issceles. Es decir, en la forma: si p (x), entonces q (x), donde p(x) y q (x) son funciones proposlclonales (o condiciones). la implicacin se utlllza, pues, esencialmente en la forma:
y x E

E : p (x)

q (x)

Ejemplo: Siendox un tringulo, si x es equiltero. entoncesx es issceles.

167

Si ponemos: p = {x I q (x)} O {x I q(x)} Tendremos:

x E P~

x E: al ~ (P e a)
~

p (x) ~ q (x)]

(P

e al

Tal implicacin expresa de hecho una inclusin.

5.9
Ouizs os digis que el isomorfismo entre el lgebra de los conjuntos. y el lgebra de los enunciados podra prolongarse a la inolusin y a la implicacin. En efecto: en los conjuntos en Ios enunciados y p :J ~ p YP :.0CP YP :PCR YP :p ~ ~ p) y p. q : (p ~ q) ~ y P, a : (P C O) ~ (O C P)

(q ~

Pero: y P, O : (P C O) ~ o tambin ~

(P n

O=

.0)
y P.q : (p ~

(P C O) ~ (j) U O = IR

q) ~

(p

V q)

El isomorfismo entre las estructuras conjuntistas y lgicas desaparece en cuanto se comparan la inclusin y Ia implicacin. la Inclusin entre conjuntos no es un conjunto, sino un enunciado. Cuando definimos un conjunto,' no lo suponemos real o vaco. Por ejemplo: -Ios alumnos que han triunfado. es un conjunto. pero no decimos si es real o vaco. la inclusin entre enunciados es un enunciado. Cuando formulamos un enunciado. lo suponemos -verdadero . -Los alumnos han triunfado. es un enunciado que en su formulacin se supone verdadero .

Esta disimetra entre -conjuntos- y -enunclados- limita el isomorfismo entre dos estructuras. Para restablecerlo, bastar definir la implicacin entre dos enunciados como: pV q = ~ -p implica q- y entonces significa que -no p V q es una tautologa . Por ejemplo: -un nmero natural no es mltiplo de 4 o es mltiplo de 2. -un nmero es inferior a 10 o superior a cero. etc.

168

6. La equivalencia
La equivalencia es por s misma una relacin entre enunciados (tener el mismo valor) y su expresin nos da un nuevo enunciado:

<=>

Su tabla de valores es:

1
1
O

O
P 1

1 O O

O 1 O

O O 1

1
O

O
1

q p ~ q

1
1

Se tiene:,

(p-..

gl A (q..

1]..

(p .. qJ

Demostracin p q 1 1 1 1 1 1 1

O
1 1

P ~ q q ~ P
(p ~ q) 1\ (q ~ p) p ~ q

O O
1

O O
1 1 2 lneas de valores idnticas

O O

O O O

;:=1

En el lenguaje corriente, la equivalencia se expresa por si y slo si(que se escribe en matemtica ssi). Ejemplo: Un cuadrtltero es un paralelogramo ssi sus diagonales se cortan en su punto medio.

7. La deduccin
7.1
La aplicacin de un razonamiento a una demostracin de geometra, a un clculo algebraico, a un problema de fsica nos obliga frecuentemente a transformar un enunciado. Por ejemplo: 5x + 3 = 3x + 7 5x-3x = 7-3 o tambin: x > 10 x> O etc.

169

El nuevo enunciado debe ser deducible del primero. Es decir, que es preciso que p => q, o sea, 1 V q = z:;. (En algn caso particular puede ocurrir que p <=> q.) La deduccin se lleva a cabo teniendo en cuenta el conjunto de axiomas que se suponen verdaderos. Si llamamos .a.. al enunciado de los axiomas, la deduccin impone que: (p /\ a) =>q, es decir, que p VaV q = 1:. En ,la formulacin tradicional, raramente se indica la naturaleza de la cadena deductiva qu une dos enunciados. Como mximo seala a veces una implicacin con ayuda de palabras: -Iueqo, en consecuencia, podemos deducir que resulta que... Para ser precisos, habra que sealar la estructura de la deduccin. Por ejemplo: a) ~ es un nmero entero

.u. x :::.

1/2

b) e)

el tringulo es equiltero !l dos ngulos del tringulo son iguales

.u.
d)

x 1 x~ - 3x
X2

2 = O

n x E ~ + 3, - 3 ~
'las diagonales de un cuadriltero se cortan en su punto medio y el cuadrlltero es un paralelogramo. etc.

7.2
.Entre un sistema de axiomas y una conclusin, existe, pues, una cadena de implicaciones o de equivalencias:

a~ a ~

b ~

c~

d ~

e... ~ z.

El matemtico y el ,lgico no se ocupan ms que de la preclsln de 'la cadena de razonamientos. Supongamos que una deduccin nos proporciona un enunciado suscep-, tibie de una comprobacin experimental. Por ejemplo: z = -la ,lmpara se enciende ... Si, efectivamente, en Ja realldad experimental la Impara que observamos se enciende, no podemos conoluir de ello que el sistema de axiomas sea verdadero (lo falso puede implicar lo verdadero). Pero si ,la ,lmpara no se enciende, podemos concluir que el sistema de axiomas es falso. Con 'otras palabras: en una cadena deductiva que contiene al menos una implicacin, - una confirmacin experlmentel de la conclusin no prueba Ia verdad de la hiptesis;

170

una invalidacin experimental de la conclusin prueba la falsedad de la hiptesis.

7.3
La cadena deductiva a => z es la misma que => a. Esto nos proporciona el mtodo de demostracin .por reduccin al absurdo. Se supone la falsedad de la conclusin. Si se llega a deducir la falsedad de ,la hiptesis, la cadena deductiva queda comprobada. Es, ms o menos,. el camino que sigui Lobatchewsky (1). En 1885 intent demostrar el postulado de Euclides: -por un punto dado slo se puede trazar una paralela a una recta dada. . Lobatchewsky supuso que se podan trazar por lo menos dos paralelas (y por tanto infinitas). Obtuvo as diversas conclusiones, esperando contradecir los axiomas lnlctales. No triunf. Pero, sin embargo, obtuvo tantas y tantas conclusiones, que, al fin, en [uqar de demostrar el postulado de Euolldes, construy una geometra no euclidiana, la primera de la historia de la matemtica.

8. Los llamados lugares geomtricos

8.1
los lugares geomtricos son an las delicias de muchos profesores. Realzan, por otra parte, Ia matemtica conjuntista. Conocis numerosos ejemplos: - conjunto de puntos equidistantes de dos puntos dados (en el plano: mediatriz del segmento determinado por esos dos puntos) ; - conjunto de puntos equidistantes de dos rectas dadas (en el plano: bisectriz del ngulo determinado por esas dos rectas) ; - conjunto de puntos p tales como (.dist p a) 2 + (dist p bl ' k:! (en el plano: una circunferencia, un punto, o nada). Un -Iuqar geomtrico de puntos es un conjunto de puntos que satisfacen una condicin dada.

(1)

Nicolas lobatchewsky, matemtico ruso (1793-1856); rector de la Universidad de Kazan, fue el primero, en 2200 aos, en abordar en la -Panqeometra- el carcter -absoluto- del sistema eucldeo.

I .

171

8.2
Cmo demostrar que tal ser geomtrico es tal Jugar? Cmo demostrar, por ejemplo, que ,la medlatrlz de un segmento es el 'lugar geomtrico de los puntos equidistantes de los extremos del segmento? Es necesarlo establecer dos Implicaciones: (pE M) => (distpa = distpb) (1) (dist p a = dist:p b) => (p E M) (2) Pero cada una de estas implicaciones es equivalente a su contrarrecprcca.

p a = dlst p b) (1) (dist p a =1= dist p b) => (p ~ M) (1') (dist p a = dist p b) => (p E M) (2) (p ~ M) => (dist p a =1= dist p b) (2') La demostracin de Ia igualdad entre la mediatriz y el luqar puede ser hecha de cuatro maneras distintas: (1) y (2) o (1') y (2) o (1) y (2') o (1') y (2') (p E M)

=> (dlst

9. Aplicacin lingstica: las conjunciones de coordinacin

9.1
Comparemos los enunciados: p = hace mucho viento y he matado seis lobos. q = los fillogos y. Ios matemticos uttllzan la lgica. r 'los alumnos son animosos y dispuestos. En .p. la conjuncin y expresa indiscutiblemente el producto lgico de dos enunclados.. En .q. la conjuncin y parece expresar la unin de dos conjuntos: 'os fillogos y Ios matemticos. En .r. la conjuncin y parece expresar Ia interseccin de dos conjuntos: los que son animosos y 'los que son dispuestos. Aparentemente, Ia conjuncin cambiara de significado segn el enun-ciado. Adems, sera un signo operatorio tanto en los enunciados (lgica) como en los conjuntos (lgebra de conjuntos).

Vamos a demostrar que la conjuncln y significa siempre el producto lgico de dos enunciados. Es, pues, un signo de una operacin para los enunciados, pero no para los oonjuntos.

9.1.1
Esto es evidente para p.

9.1.2
Transformemos el enunciado q en: -Ios fillogos utilizan la lgica y (producto lgico) los matemticos utilizan la lgicaq puede escribirse:
(A

e D)

/\

(B e D)

donde A = los fillogos B los matemticos D = los que utilizan la lgica

y vemos que [(A e D) /\ (B e D)] -<=> [(A U B) e'D] Lo que nos muestra por qu interpretamos la conjuncin y expresando la unin de los conjuntos sujetos.

9.1.3
Transformemos el enunciado r en: -Ios alumnos son animosos y (producto lgico) los alumnos son dispuestosr puede escribirse: (D cA) /\ (D e B) donde D los alumnos A los seres animosos B = los seres dispuestos

= =

173

y vemos q.ue [ (D e A) 1\ (D e B)]

[D e fA n B) ] Lo que nos muestra por qu interpretamos la conjuncin la interseccin de los conjuntos atributos.

<=>

y expresando

9.2
Podramos igualmente transformar Ias conjunciones o, ni. .. ni. .. ya ... ya ... en operaciones con enunciados, consideradas eventualmente como operaciones 'con conjuntos. Podramos deducir la ambigedad de la conjuncin ccO" tal como es utilizada en el lenguaje corriente. Pero esto nos obligara a hacer un desarrollo ,lingstico demasiado largo. Tendramos que referirnos a la gramtica del ao 2000. 9.3 Triunf porque trabaj. Un enunciado tan complejo expresa dos enunciados realizados: p = triunf q = trabaj as como una condicin: q (x) => p (x); es decir: si se trabaja, entonces se triunfa (se = x). Hay, pues, una dif.erencia esencial entre las proposrciones condicionales y las proposiciones causales. De igual forma, podemos distinguir claramente las conjunciones "ya que" y "porque. Condicional: Si Pedro trabaja, triunfa: p (xI)) ~ q (XII) Causal (ya que): Pedro triunf ya que trabaj: p (,.(0) 1\ q (xo) 1\ [q (x) ~ p (x) ]. Causal (porque): Pedro triunf porque trabaj: p (x,) 1\ q (xo) 1\ lp (x) ~ q (x) J. Concesiva: Pedro no triunf aunque trabaj: "" p (xo) 1\ q (xo) 1\ [p (x) ~ q (x)].
ce

174

10. La lgica de las mquinas

10.1
Desde la antigedad el hombre ha construido mquinas para ayudarle y suplirle en diversos trabajos. El hombre de hoy, con los ordenadores, ha inventado mquinas capaces de razonar en vez' de l. Razonar. no debe ser entendido ms que como calcular logicamente. la precisin de un razonamiento. y no como -imaginar., crear, criticar . la mquina debe, por tanto, poseer' rganos lgicos capaces de mecanizar las operaciones con enunciados. Vamos a describiros algunos. limitndonos a sus principios. Su realizacin y las diversas tcnicas utilizadas se encuentran en las obras especializadas.

10.2
Imaginemos una va de circulacin. Pueden por ella circular: automviles (y entonces se trata de una carretera). agua (y entonces se trata de una tubera), electrones (y entonces se trata de un circuito elctrico), etc. En esta va de circulacin podemos colocar un interruptor. Ser: una luz roja (en una carretera), una llave de paso (en una tubera), un interruptor (en un circuito elctrico). Podemos suponer que este interruptor est mandado por un botn con dos posiciones: en la posicin (1) el interruptor est abierto (la circulacin pasa); en ,la posicin (O) el interruptor est cerrado (la circulacin no pasa).

~.
1 O
ella! abierta pdsn

...
175

seal cerrada

paro va

Podemos montar dos seales en serie.

p
1 .0 1

Los botones de mando tienen cada uno dos posicrones {1, O}. La circulacin se establece en la posicin 1 1. La circulacin se detiene en las posiciones 1 O, O 1, O o. Escribiremos esto: p 1\ q. Qu nos dice el siguiente montaje?

176

p 1

Siempre hay una seal cerrada y, por lo tanto, la circulacin est siempre detenida. Expresamos esto por p 1\ O tambin 'J que corresponde a un cierre permanente de la va. Podemos montar dos seales en paralelo.

-O q

Los botones de mando no cierran la circulacin cin O O. Expresaremos esto por p V q. Qu ocurrir con el siguiente montaje?

ms que en Ia posi-

177

Tendr siempre una seal abierta y la circulacin pasar siempre. Expresaremos esto por p V q o tambin por (; que corresponde a una apertura permanente de la va Estos montajes simulan analgicamente las operaciones de producto lgico y suma lgica. Si la circulacin pasa (por ejemplo, la corriente encendiendo una lmpara), el enunciado correspondiente es verdadero. Si la circulacin pasa cualesquiera que sean las posiciones del botn de mando, el enunciado correspondiente es una tautologa. Cualquier lgebra de conjuntos y de enunciados puede ser calculada utilizando dichos circuitos. El estudio de las estructuras de estos circuitos realza por s misma el lgebra booleana que llega a ser, por el lenguaje de las mquinas, ms importante que el lgebra tradicional.

11.
11.1

De la importancia de ser mentiroso

Epimnides dijo: Los cretenses son rnentlrosos. Pero, [Epirnnides es cretense! Luego, Epimnides es mentiroso (segn Epimnides); Pero si Epimnides es mentiroso. lo que dice es falso; Luego los cretenses no son mentirosos; Pero entonces. lo que Epimnides dijo es verdad; Luego los cretenses son mentirosos; Pero entonces. etc. Podemos cmodamente responder a esta paradoja. gracias a los sofistas griegos: (Todos los cretenses son mentirosos) es falso.

<=>
Algunos cretenses no son mentirosos.
178

cretenses Todos los cretenses son mentirosos.

~_c_re_t_e_n_s_e_s _

--menti~~sos
~------no son mentirosos.

Algunos cretenses

Analicemos la situacin considerando que: Algunos cretenses no son mentirosos. Epimnides es mentiroso Minti afirmando que todos los cretenses eran mentirosos.
11.2

Una -peqa para terminar. En esta isla lejana los katablepos mienten siempre, los truos dicen siempre Ia verdad. 179

Encuentro dos seres muy diferentes: uno es un katablepo y el otro es un truo. Puedo yo saber, haciendo solamente una pregunta a uno de ellos, quin es realmente el truo y quin es el katablepo? Aqu, os dejamos un poco de tiempo para reflexionar ...

Lo habis encontrado? Bien, la pregunta para uno de ellos es:

Qume contestar tu compaerosi le pregunto quin eres t? En efecto, si mi interlocutor es katablepo, su compaero es truo; su compaero respondera katablepo y mi interlocutor dira truo. Si mi interlocutor es truo, su compaero es katablepo; su compaero respondera katablepo; Iueqo mi interlocultor dira katablepo. iMi lnterlocutor es siempre el contrario de lo que me resoondet y conociendo uno, conozco rpidamente al otro.

180

5
LAS RELACIONES

iEI nio, la madre, una pareja! La madre alimenta al nio; el runo es alimentado por la madre; estrechamente unidos, desde la concepcin, en un sentido irreversible. La madre da a luz al nio; el nio recibe la vida de la madre. y, cortado el cordn, la pareja es siempre la pareja.

1. El asesinato considerado como una relacin binaria 1.1

En la vida. es bueno relacionarse! Pero. es verdaderamente una relacin vuestra? Se enfran las relaciones entre la Papuasia y la Patagonia! El derecho romano defina as la relacin de paternidad: IS PATER EST QUEM NUPTIAE DEMONSTRANT (1). La palabra -relacn-, como todas las palabras que se usan habitualmente, tiene mltiples acepciones. El matemtico la utiliza en un sentido muy preciso. La acepcin matemtica es conjuntista; las relaciones son de hecho conjuntos formados por elementos con propiedades especiales.

(1)

El padre es el que indica la boda. Literalmente ... es el padre quien demuestra la boda-.

185

No discutiremos si el Juremento de los Horecios es el ms bello de los cuadros del Museo del Louvre. Pero, sin lugar a dudas, es el ms til para introducir el concepto de relacin binaria. Nota: los brazos, las espadas y la lanza son las concreciones de las flechas del grafo. (V. continuacin de la historia.) 186

1.2 Partiremos de un bonito melodrama histrico, contado por Tito Livio y exaltado por Corneille: la historia de los Horacios y los Curiacios. Ocurri poco despus de la fundacin de Roma. Pap Horacio (un bravo romano) tena tres hijos y una hija llamada Cami la. Por aquellos tiempos estaban en guerra romanos y albanos. Para poner fin a ella, decidieron el triunfo en un combate, que en un campo cerrado libraran tres guerreros romanos contra tres albanos. Fue por ello por lo que tuvieron que luchar los tres Horacios contra los tres Curiacios. Pero, siguiendo el relato de Corneille, uno de los Curiacios estaba enamorado de Carnila. Combate! Los tres Horacios hieren' cada uno a su adversario, pero dos de los Horacios mueren por la patria romana. Ouedan, pues, frente a frente un Horacio y tres Curiacios. Ou creis que hizo contra los tres? Muri? i No! Hizo mejor: huy Horacio, pues, emprendi la huida. Los Curiacios le persiguieron; pero sus heridas les distanciaron de aqul. Entonces, Horacio, indemne, se volvi y, separadamente. mand el alma de cada uno de los Curiacios al panten de su patria, Alba. iAclamaciones! iTriunfo! Pero su hermana Camila, en lugar de felicitar a su hermano mayor, le llen de injurias. Como todos los romanos. Horacio no tena sentido del humor y envi el alma de su hermana Camila a reunirse con la de su querido Curiacio. (Sigue y acaba en Tito Livio, Corneille o en el Diccionario larousse.)

1.3 Los pintores y los poetas han ilustrado esta historia. Pero yo. que soy matemtico. os propongo el cuadro pico que sigue: pertenece a la escuela abstracto-figurativa de pintura. Se llama grafo.

Horacios

Curiacios

187

Este grafo se interpreta fcilmente, sobre todo si se sabe que pH = pap Horacio Ca = Camila y que las flechas significan matar. Considerados como enunclados. qu. encontramos en este cuadro? Encontramos que: Curiacio 2 mata a Horacio 2 Curiacio 3 mata a Horacio 3 Horado 1 mata a Curiacio 1 Horacio 1 mata a Curiacio 2 Horacio 1 mata a Curiacio 3 Horacio 1 mata a su hermana Camila. Resumiendo: matar se realiza en el conjunto de parejas: {[C2, H2], [C3. H3], [H1, C1], [H1, C2], [H1, C3]. [H1, Ca]}

2. La pareja y el par
2.1
[H1, C1] es una pareja elementos del par {H1, mo decir H1 mata a C1 Podramos indicar esta y no un par. Queremos decir con esto que los C1} estn ordenados. En efecto, no es lo misque decir ordenacin C1 mata a H1 empleando colores:

Es ms sencillo convenir un orden en la escritura: [H1. C1] =1= [C1, H1] Una pareja es un par de elementos dados en un cierto orden.

2.2 En qu se diferencia En un par {a, b} = {b, a} {a, a} = {a} {p, q} una pareja de un par? En una pareja
(a, b)

=1= (b,

a)

(a, al es una pareja

(p, q)

{r, s}

(r, sl

significa o bien p = r y q = s o bien p = s y q = r

188

significa p=ryq=s

El reclutador para la guerra del 14-18 seala con el ndice. Te veo, a pesar tuyo, incorporado a una pareja!
189

2.3 Si se permuta el orden de una pareja se obtiene la pareja recproca (1) . Se escribe (a, b) = (b, a) " Con un cdigo de colores se escribir:
(a

b)

(a

b)-l

Se tiene:

2.4
Uqa pareja es igual a su recproca si sus elementos son iguales: (a, b) = (b, a) <=> a = b Hemos encontrado alguna pareja parecida en nuestra historia? No! Pero podramos fcilmente imaginarnos una, mediante la solucin siguiente: -Abrumado por el remordimiento, el joven Horacio se mat sobre el cadver de su hermana. (2). Esto se traducir por: matar es reallzado por {H1, H1}. Una pareja, cuyos elementos son iguales, es un - dem. (o pareja idntica) .

2.5
El grafo de una pareja es la flecha que une los puntos que representan a los elementos.

El origen y el extremo de la flecha indican el orden de los dos ellementos. Invirtiendo el sentido de la flecha, se representa la pareja recproca.

(1) (2)

Algunos la llaman -Inversa- y otros -stmtrtca-. pero esto produce dificultades en el enunciado de las propiedades generales de las relaciones. la solucin no es bastante -romana-. En la historia. el pueblo absuelve a Horacio, que desde entonces podr seguir matando a muchos ms nios albanos.

190

-- :I-----~
(H1, CU3)-1

Cu 3

(H1, Cu3) (Cu3, H1)

(Cu3, H1)

Cmo representar: -Horaclo se rnata-? El grafo es:

Es intil indicar el sentido de la flecha, pues es el mismo Horacio el que mata y el que es matado. La flecha es, pues, un lazo. Los dems estn representados por lazos.

3. El producto cartesiano de dos conjuntos

3.f

Supongamosque, en vez de utilizar el verbo -rnatar-. utilizamos el verbo ms pacifico -conocer-: -un tal Horacio conoce a un tal Curlacio-. Hay una razn para creer que este enunciado es verdadero para cualquier Horacio v .para cualquier Curiacio. Tenemos, pues, que: -conocer- es realizado por {(H1, Cu1). (H1, Cu2). (H1, Cu3). (H2, Cu1), (H2, Cu2), (H2, Cu3), (H3, Cu1), (H3, Cu2)" (H3, Cu3), (pH, Cu1), (pH, Cu2), (pH, Cu3), (Ca, Cu1), (Ca, Cu2), (Ca, Cu3)}.
191

3.2
Hemos formado el conjunto que contiene todas las parejas. cuyo origen pertenece a H y los extremos pertenecen a C. Un conjunto constituido de esta manera recibe el nombre de producto cartesiano de H y de C y se representa por H X C: H X C = {Ix, y) I (x E H) /\ (y E cj).

3.3
Igualmente podramos haber C X H {(x. y) I (x E C) /\ C X H {(Cu1. H1). (Cu1. (Cu2. H1). (Cu2. (Cu3. H1). (Cu3. cuyo grafo es:

= =

efectuado el producto C X H: (y E H)} H2), (Cu1. H3). (Cu1. Ca). (Cu1. pH). H2). (Cu2. H3). (Cu2. Ca). (Cu2. pH). H2). (Cu3. H3). (Cu3. Ca). (Cu3. pH)}

3.4
Habramos H~ = (H2. (H3. podido efectuar el cuadrado cartesiano H X H: HXH = {(H1. H1). (H1. H2). (H1. H3). (H1. Ca), (H1. pH). H1). (H2. H2). (H2. H3). (H2. Ca). (H2. pH). (H3. H1). H2). (H3. H3). (H3. Ca). (H3: pH). (Ca. H1). (Ca. H2).

192

(Ca. H3). (pH, Ca). cuyo grafo es:

(Ca. Ca). (Ca. pH). (pH. pH)}

(pH. H1).

(pH. H2).

(pH. H3).

3.5 Habramos podido efectuar el cuadrado cartesiano C X C: C X C = {(Cu1. Cu1). (Cu1. Cu2). (Cu1, Cu3). (Cu2. Cu1). (Cu2. Cu2). (Cu2. Cu3), (Cu3. Cu1), (Cu3. Cu2). (Cu3, Cu3)} cuyo grafo es:

193

.3.6
Utilizamos la representacin con flechas, lo que nos da un grafo . Podemos utilizar una representacin por -castllas-. que recuerda los ejes cartesianos de Ias representaciones grficas tradicionales:

'"
o
)

eS ........ -t--_
()

t\,JC:

o c::

1---+---

El conjunto de las 15 casillas representa H X (o X H). El conjunto de las casillas verdes representa matar- en X H. El conjunto de las casillas rojas representa matar- en H X e.

los Hor.
El conjunto de las 64 casillas representa (e u H) X (e u H). las casillas rojas representan -rnatar- en (e u H) X (e u H). El orden en que los elementos son escritos sobre los ejes no tiene ningn significado.

(2)

CuH CU3 Cu2 Cut H3 H2 H1

Ce). PH
pH Ca.
(1)

194

Nada nos impedir representar a las parejas por puntos- en vez de -caslllas-:

Se trata en realidad de una representacin convencional. Horacio no es un punto, sino un segmento y la pareja (Horacio y eamila) ya no es un punto, sino una casilla.

3.8

Propiedades del producto cartesiano

AX0=0XA=0
El vaco es absorbente para X

A=
A X B ssi
V

0 0

A - B
A X B B X A

A - 0
V

En general, el producto cartesiano no es conmutativo. Se demuestra tambin que:

A X (B U el A X (B n el
X es distributiva

= (A X Bl U (A X el = (A X Bl n (A X el

respecto a U y a

n.

De donde:

(A U B)2 = A2 U (A X Bl U (B X A) U B2 (A n B) 2 = A'2n (A X B1 n (B X Al n 82 rA x Bl - 1 =- (B X Al 195

4. Definicin de una relacin binaria

4.1
Si Horacio mata a su hermana Camila, generalmente decimos que existe una cierta relacin entre Horacio y Camila. Ser necesario precisar ahora lo que se entiende por relacin. Para el matemtico: Una relacin binaria definida en A X B es un subconjunto de A X B. Por ejemplo: matar matar matar H X C

= ~ (H1, Cu1), (H1, Cu2), (H1, Cu3) ~

(Cu2, H2), (Cu3, H3)
~

C X H = ~

X H

== ~

(H1, Ca) ~

matar C X C = .0 Decir que -Horaco mata a su hermana Camla- es decir que: (H1, Ca) E matar H X H Decir que - el segundo Horacio mat al segundo Curlaclo(Cu2, H2) E matar H X C Decir que -el primer Horacio mat al tercer Curlaclo(H1, Cu3) E matar C X H etc. Para el matemtico, una relacin binaria es un conjunto de parejas. Los enunciados del lenguaje. que expresan que dos objetos -estn en cierta relacin, sealan la pertenencia de la pareja de los dos objetos a la relacin (concebida como un conjunto de parejas). es decir que: es decir que:

4.2
Ejemplo: Conjunto E = los reyes de Francia (desde Enrique IV 'hasta Carlos X). Relaciones en E X E: R ser padre de

S T U
196

ser abuelo de ser bisabuelo de ser hermano de

En representacin cartesiana:

( 2)

ex
LXVIII LXVU LXVI L XV LXIV LXIII E IV LXVI L
(1 )
197

En estas representaciones hemos admitido que cada uno de los reyes era su propio hermano. Quiz no estis de acuerdo con esta interpretacin. Todo depende de la significacin que demos a la relacin -su hermano . Si dos seres son hermanos (en sentido amplio) cuando tienen el mismo padre y la misma madre, entonces todo hombre es su propio hermano; si (en sentido estricto) exigimos que estos dos seres sean distintos, entonces nadie es su propio hermano. Esta vez somos dueos de nuestra definicin. Una relacin no existe -en s., sino que existe segn la construccin que hacemos de ella. Todo reside en el sentido que demos a esta construccin.

4.3
Conjunto E = {O, A, B, AB} (tipos de donantes de sangre) Relacin (en E X E): -ser donante para. R = {(O, O), (O. A). (O. B). (O. AB). (A. A). (A. AB). (B, B). (B. AB). (AB. AB)}

4.4
Ejemplo: Conjunto E = {2. 3. 5. 6. 7, 8. 10. 15} Relacin en E X E: ser divisor de. R = {(2. 2). (2. 6). (2. 8). (2, 10). (3. 3). (3. 6). (3. 15). (5. 5). (5. 10). (5. 15). (7. 7). (8. 8j, (10. 10). (15. 15)}
198.

~1

16
Ahora, es necesario convenir si un nmero se puede considerar como divisor de st mismo (en sentido amplio) o si por el contrario jams se puede considerar como divisor de s mismo (en sentido estricto).

4.5
Ejemplo:

--------~--~--~----A
-----v;-_..".-----B _.
e,

E = {A, B,

D, E, F}

- ser paralela a- en E X E

Ahora es necesario convenir si una recta es paralela a s misma o no lo es. Si entendemos por -paralela- (en el sentido amplio) tener ,la misma direccin, una recta siempre es paralela a ella misma. Si entendemos por paralela- (en el sentido estricto) no tener ningn punto comn (pertenecientes todos a un mismo plano), una recta no es nunca paralela a s misma.
199

o
E

F
-4.8 Ejemplo: Conjunto E = <9 {a, b. e} (conjunto de las partes de un conjunto que tiene tres elementos). Relacin: estar contenido (en E X E)

...

200

E (2)

{ab

el

X X

{ be}

X
X

X
X X

{a e} X

{ e} X {ab}
{b}

X X X X
X
(1J

{a} X X

~ {al {b} fa b)' {eJ {a e} (bc}labc)

Podremos 'elegir entre: la Inclusin en sentido amplio: A e A la Inclusin en sentido estricto: A e A
str

5. Relaciones particulares
5.1 Una relacin en A X B es un subconjunto de A X B. Entre todos los subconjuntos de A X B hay el conjunto vaco. Admitimos que existe la relacin vaca. La representamos por 0. Ejemplos: En un conjunto de personas: -ser a la vez el padre y el hijo de-. En un conjunto de rectas reaTes: -ser a la vez paralela y perpendicu-

lar a-.
En un conjunto de 'nmeros: -ser a la vez igual y distinto que-, 201

5.2

Entre todos los subconjuntos de A X B, est A X B. Le llamaremos relacin trivial.

Ejemplos:

En un conjunto de muchachas: -ser del mismo sexo que. En un conjunto de nmeros: -ser igual o distinto que.

5.3 Entre todos los subconjuntos de A X B est el conjunto de los fdems (parejas idnticas). Le llamaremos relacin de identidad.

I A X B = ~ (e, e), (d, d), (e. e) ~ Dos conjuntos son disjuntos ssl su relacin de Identidad es vaca.

5.4
Toda relacin definida en A X B posee su complemento con relacin a A X B. Este complemento, al ser subconjunto de A X B, es tambin una relacin. Estas dos relaclones se llaman complementarlas.

RA

B Y lA

B) \ R

son dos relaciones complementarias

Ejemplos: -rnatar- y -no matar- sobre (H U C) X (H U C) : ser -igual a- y -dstnto de- en un conjunto de nmeros;

ser -paralela a- y -no paralela- en un conjunto de rectas.

202

En el grafo de una relacin se construye trazando todas las flechas no construidas. Ejemplo: en E X E

la relacin

complementaria

son complementarias.

5.5
Dos relaciones son reciprocas recprocas de la otra (l). Escribimos: W = recproca cuando cada una contiene las parejas

de R

En el grafo de una relacin se construye tiendo las flechas. Ejemplo: en E X E

la relacin recproca,

invir-

(1) Tambin se llama -Inversa-.

son recprocas .

203

En g.eneral, dos relaciones recprocas estarn definidas, una en A X B y la otra en B X A; o estarn ambas definidas en E X E. Ejemplos: -rnatar- y -ser muerto por- en (H U Cl X fH U Cl : -ser divisor- y -ser mltiplo de- en IN X IN ; -ser mayor que- y -ser menor que- en IN X IN; -ser padre de- y tener por padre a.

6. Enunciados relacionales
6.1
Consideremos el enunciado: -Horaclo mata a su hermana Camila . lo traducimos por: (H, hC) E matar. Abreviado: (H, hC) E T (con T matar). Escribiremos igualmente: h Te h Te<=> (h, e) E T T es una relacin; h T e es un enunciado relacional.

El enunciado relacional expresa la pertenencia de una o yar.u parejas a una relacin. No debe confundirse: la relacin (conjunto de parejas) y el enunciado ( pertenencia de una apareja a una relacin).

-------------------------------------

6.2
El enunciado expresa una perteoencia. Ahora bien, la -pertenenctaes de por s una relacin entre un conjunto de elementos y un conjunto de conjuntos. Por' ejemplo: E =~a, b ~ ~ (E) = ~0, (a). (b). E ~

P(EJ

pertenencia

E sobre E X <9 (E) es el conjunto de Ias parejas: A = {(a, {a}). (a, E). (b, {b}). (b, E)}
Tenemos, pues, la equivalencia: x E E <=> (x, E) E A Pero (x, E) E A podra, a su vez, expresarse con una nueva pertenencia: ((x, E), A) E A' <=> (Al definida en A X <9 (A) ) Y. as, cada enunciado de ..pertenencia se deducir indefinidamente a un nuevo enunciado ms complejo. Este p-roceso no acaba. Es ms sencillo admitir que consideramos la pertenencia como una relacin privilegiada. De hecho, es Ia relacin de pertenencia Ia que define Ias primeras nociones de elemento y de conjunto. Es sobre esta relacin que se construye todo el conocimiento de conjuntos.

La pertenencia es un concepto primitivo.

7. Relacionescon n trminos
las relaciones que hemos definido han sido expuestas a partir del concepto de -pare]a . Son relaciones .binarias . Podemos imaginar soluciones definidas a partir de ternas: El enunciado es: x da a z el Ilbro y, en el que: x E {Dupont, Dbois y Durand} A z E {Pablo, Pedro, Jaime y Enrique} = B y E {los Miserables, El Pequeo' Prncipe} = Nos permitir definir una relacin con tres trminos, como un conjunto de ternas. Por ejemplo: (Dupont, Jaime, los Mlserables) E dar A X B X e Podramos generalizarlo para obtener las relaciones con n trminos, construidas como conjuntos de n-upos. las relaciones que encontramos ms frecuentemente son binarias. Son las que estudiamos aqu.

8. 'Composicin de dos relaciones

8.1 Usemos como relato inicial 'el de Romeo y Julieta, de Shakespeare, tal como nos lo transmiti e1propio autor. 205

Simplificndolo guiente:

un poco, se puede representar

mediante

el grafo si-

d: el Duque r: Romeo j: Julieta

p: Pars t: Teobaldo m: Mercucio

~-----" m
matar amar de amor castigar

Consideremons la peripecia siguIente: Teobaldo mata al pobre Mercucio, que no le haba hecho nada; Romeo castiga a Teobaldo (matndolo); El Duque castiga a Romeo (detenindole). En el grafo no vemos relacin directa entre: Romeo y Mercucio. El Duque y Teobaldo, Por lo tanto: Romeo castiga al que mat a Mercucio. El Duque castiga al que mat a Teobaldo. Aceptamos que, para nosotros, -castlqar al que mat. es -venqar. Entonces diremos: Romeo ha vengado a Mercucio. El Duque ha vengado a Teobaldo. Si aadimos al grafo la relacin -venqar-, obtenemos:

206

vengar Una flecha azul, seguida de una flecha roja, da una flecha negra.

m
SI (t, m) E matar y (r, t) E castigar entonces: (r, m) E vengar. y escribiremos: matar o castigar = vengar.

En este cuadro tan til, Prud'non nos explica la ley de composlcl6n de dos relaciones: (de Caln a Abel) :;::matar (de le dos damas a Caln) ~ = castigar (de las dos damas a Abe/) ~ vengar

207

8.2
Sea el conjunto E de Ios 'cinco personajes histricos' Enrique IV, rey de Francia H4 Luis XIII, rey e Francia L 13 Gastn de Orlens, su hermano g Luis XIV, rey de Francia L 14 Felipe de Orlens. su hermano f y las relaciones: P = ser padre de H ser hermano de (en sentido estricto). Obtenemos el grafo:

_ _..'---t---

P
H Po P

Qu expresa P o H? P o H = ser hermano del que es padre de = ser to de (g, L 14) E P o H. Qu quiere decir H o P? H o P = ser rpadre del que es hermano de = ser el padre de (H 4, 'g) E P (g, L 13) E H (H 4, L 13) E H o P = P Qu quiere decir P o P? P o P = ser el padre del que es padre de . ser el abuelo de (H 4, L 14) E P o P (H 4, p) E P o P

208

La relacin P o H se dice que es el compuesto de [as relaciones P y H. P o H se lee H redondo p.: Si (x, y) E H e (y, z) E P entonces (x, z) E P o H

tambin: Si x H y e y P z entonces x (P o H) z

8.3
Un ltimo ejemplo de la historia, con Ia ascendencia de Carlos V:

F' EL I ~li El.. HGItMOSO"

If

Ju,4.NA

tA J...l)cA

----io-----

-_..-

M = ser la madre de P = ser el padre de

Entre padres e hijos encontraremos dos relaciones: M = ser la madre de P = ser el padre de Entre abuelos y nietos encontramos cuatro relaciones: P o P = ser el abuelo paterno de M o P = ser la abuela paterna de P o M = ser ,el abuelo materno de M o M = ser la abuela materna de

8.4
La composicin La composicin relaciones. de dos relaciones es una relacin. es, pues, una operacin dentro del conjunto de las

209

Se demuestra fcilmente: AoB*BoA o B) o A = o (B o A) 00A=A00=0 10A=Aol=.A

(e

la composicin no es conmutativa. la composicin es asociativa es absorbente para o I es neutro para o (1)

A o A-1 = I (B U e) o A = (B o A) U (e o A) o es distributiva (B n e) o' A = (B o A) n (e o Al (B o A)-I = A-lO B-1 Demostremos slcln-:

respecto a U y n

esta ltima propiedad' de -reclproctdad

de una compo-

(p, q) E B
(r, q) E A-1

B A BoA (B o Al -

(q,

rl E A

(q, p) E B-I

(p, r) E B o A (r, p) E (B o A)-l (r, p) E A-1 o 8-1

9. Propiedades de las relaciones

Vamos a clasificar todas las relaciones particulares, segn sus propiedades. Estas propiedades nos llevarn a un cierto nivel de abstraccln. Para simplificar lo expuesto, que hemos Introductdo por necesidad, nos limltaremos a las relaciones binarias, definidas en E X E. Las propiedades ms Importantes son: - reflexiva - simtrica - transitiva

(O

I es la relacin de Identidad.

210

9.1 Reflexividad. 9.1.1 Una relacin es reflexiva ssi contiene a l. (1 = conjunto de los dems.) Ejemplos: E = {2, 3, S, 6, 8, 10} R = ser divisor de

'El grafo de una relacin reflexiva tiene un lazo en cada uno de sus puntos. Ejemplos: ser el hermano de (en el sentido amplio) ser paralela a (dem) ser divisor de ser mltiplo de ser secante a ser igual a etc.

~'.1.2 Una relacin es no-reflexiva ssi es disjunta con l. Ejemplos: E = {Francisco 1, Enrique 11,Francisco 11.Enrique 111,Carlos rX} R = ser padre de 211

El grafo de una relacin no-reflexiva Ejemplos: ser el padre de ser mayor que ser perpendicular a etc.

no tiene lazo alguno.

9.1.3 Una relacin no es ni reftexlva ni Irreflexiva seccin no-vacia con I sin contener .
Ejemplos: E {Francisco 11, Enrique 111,Carlos IX, Margarita R = ser hermano de.

de Francia}

reina Margarita no es su propia hermana; no es el hermano, sino la hermana de los tres reyes.

(1)

El vocabulario no tiene. desgraciadamente. ninguna palabra para designar esta propiedad.

212

Ejemplos; E = {1, 2, 3, 4}

R = ser el cuadrado de

9.2 Simetra 9.2.1

Una relacl6n es slm6trlca .s .s ld6ntlca su reciproca.

-_..........

Ejemplos: E = {Luis XIII, Gastn de Orlens, Luis XIV, Felipe de Orens} R = ser hermano de

-Ser hermano de. es una relacin simtrica en un conjunto de seres masculinos. 213

Ejemplos: ser ser ser ser etc.

paralela a diferente de perpendicular a primo con (para dos nmeros naturales)

9.2.2
Una relacin R es antisimtrica ssi R'" I es Clisjunta con su cproca. Ejemplos: ser el padre de ser divisor de ser inferior a etc. Una relacin R no es ni simtrica ni antisimtrica ssi R" I tiene interseccin no-vaca con su recproca sin serie Idntica. As, amar de amor no es una relacin simtrica. Esta particularidad es la principal fuente de inspiracin de toda la literatura romntica, dramtica y lrica. Ejemplos: E = {Romeo, Julieta, Paris}

re-

Amar no es simtrica ni antlsirntrica en Romeo y Julieta-.

214

E = {Orestes, Andrmaca, Pirro, Herminio}

Amar

es antislmtrlca

en -Andr

rnaca-.
E = {Don Juan, E,lvira, Maturlna, Carlota}

el *
le

ca

Amar es antlslmtrica Juan"

en -Don

9.3 T ransitvtctad.
215

9.3.1

Una relacin R es transitiva ssl contiene a su compuesto R o R. Ejemplos:

E {2, 3, 4, 5} R = ser menor que

= {(2,

3). (2, 4). (2, 5), (3, 4). (3, 5), (4, 5)}

R o R = {(2, 4). (2, 5). (3, S)}

e
D

E = {A, B, e, D, F, G} R = ser paralela a RoR=R

216

En el grafo de una relacin transitiva: no se puede encontrar a c pero se puede encontrar

b

a~

__ :__

~b

a R b
y ~

a R c

b R c
a

a R b

a R a
y

a-::::::::-~ __

:_~

'b

b R a

b R b

Podemos encontrar

Qa

a Ra
y
a R a
~
$

R a

aa
a+

.,

.b

a R a

a Rb

..

...
.,

a Rb

-Qb Q.b ...b

a R b

.y
b R b

a R b

fJ~

a R b no va seguida de ninguna otra pareja.

217

Ejemplos: ser igual a ser paralela a ser menor que ser divisor de estar incluido en implicar etc.

9.3.2
intransitiva ssi es disjunta con R o R. Ejemplos: ser el padre de ser el siguiente de (para nmeros enteros) etc. Una relacin R, que tiene interseccin no-vaca con Ro R, sin contenerla, no es ni transitiva ni intransitiva. Ejemplos: ser distinto de tener ~nterseccin vaca con (para conjuntos) ser primo con (para nmeros naturales) etc.

9.4
.Podemos describir las propiedades particulares relaciones anteriormente mencionadas: ser igual que ser paralela a ser menor o igual que ser mayor o igual que ser divisor de ser mltiplo de estar incluido en interseccin con (excluyendo 0) no ser primo con (excluyendo 1) ser perpendicular a ser distinto de ser prirr.o con (para dos nmeros naturales) reflexiva, reflexiva. reflexiva, reflexiva, reflexiva, reflexiva, reflexiva, reflexiva, de cada una de las . transitiva transitiva transitiva transitiva transitiva transitiva transitiva ni transitiva ni intransitiva ni transitiva ni intransitiva intransitiva ni transitiva ni intransitiva ni transitiva ni intransitiva

simtrica. simtrica, antisimtrica, antisimtrica, antisimtrica, antisimtrica, antisimtrica, simtrica,

reflexiva,

simtrica.

irreflexiva, simtrica, irreflexiva, simtrica, irreflexiva. simtrica.

218

distar entre s 1 cm (para dos puntos) ser el inmediato posterior (para dos nmeros naturales) pertenecer a

irreflexiva, simtrica,

ni transitiva ni intransitiva

irreflexiva, antisimtrica, intransitiva irreflexiva, antisimtrica, ni transitiva ni intransitiva

9.5
Las relaciones que tengan las mismas propiedades sern estudiadas bajo una forma comn, incluso si las interpretaciones concretas difieren.

9.6
Relaciones de equivalencia.
Toda relacin reflexiva, equivalencia. simtrica

y transitiva

se llama relacin

de

Ejemplos:
ser igual que ser paralela a tener la misma rea que (para dos superficies). El grafo de una relacin de equivalencia comprende:

o
puntos provistos de lazos, puntos provistos de lazos y unidos simtricamente.

219

Ejemplo:

sea un conjunto de rectas

relacin: ser paralela a

Grafo:

La relacin de equivalencia en E X E permite hacer una particin de E. As, en el ejemplo anterior, las rectas A, B, e sern consideradas como equivalentes en direccin y el subconjunto A, B, e podr ser llamado direccin de A.

220

Maravillosa

relacin de equivalencia .

9.7

Relaciones de orden Toda relacin reflexlva, antistrntrlca y transitiva se denomina relacin de orden (en sentido amplio). Ejemplos: ser menor o igual que, ser divisor de, ser mltiplo de, estar incluido en, etc. Toda relacin irreflexiva, antisimtrica y transitiva se llama relacin de orden estricto. Ejemplos: ser menor que, ser ascendente de (en los vnculos de parentesco, ser descendiente de, etc. Si dos elementos distintos del conjunto E estn siempre unidos por una flecha (forman siempre una pareja), la relacin de orden se llama total; si no, se llama parcial.

221

Ejemplo~ :::;;en {3, 4, 6, 8, 12}

El orden es amplio y total. Ejemplo:

<

en {3, 4, 6, 8, 12}

El orden es estricto y total. 222

Ejemplo:

-dividir-

por {3. 4. 6. 8. 12}

El orden es amplio y parcial.

Relacin de orden ms bien deprimente.

223

9.8
Reflexividad y simetra.

9.8.1
Consideremos un enunciado como: Ravaillac mata a Enrique IV. Expresa la pertenencia de una pareja a una relacin. Tericamente podramos escribir: (Ravaillac, Enrique IV) E matar. La voz pasiva expresa -la pertenencia a la relacin recproca: -Enrque IV es muerto por Ravalllac. Tericamente podramos escribir: (Enrique IV, Ravaillac) E muerto por; o tambin (Enrique lV, Ravaillac) E (matar) " Las formas .activa- y -paslva- corresponden a la pertenencia a relaciones recprocas.

9.8.2
El orden de los trminos del enunciado proporciona la clasificacin de los elementos de la pareja. Este orden no puede ser, por consiguiente, modificado: -Bavatac mata a Enrique IV- 4> Enrique IV mata a Ravaillacen cuanto a: Ravaillac Enrique IV mata -Mata Enrique IV Ravalllacestas agrupaciones de palabras no tienen sentido. En latn es la desinencia del caso la que proporciona la clasificacin de los trminos. El orden puede ser, pues, modificado: NERO BRrTANNICUM NECAT (1) BRITANNICUM NERO NECAT NECAT NERO BRITANNICUM NECAT BRITANNICUM NERO etc. En latn, el caso proporciona el equivalente de un .color- para la clasificacin de los elementos de la pareja o del tro.

(1) Nern envenenaa Britnico.

9.8.3
Sea el enunciado: -Eteocles y Polnice se matan. Si nos referimos a la 'historia mitolgica, traduciremos el enunciado por el grafo siguiente:

Eteades
y

Pa{{nice

El enunciado expresa ,la pertenencia de las dos parejas recprocas a una relacin simtrica: (Eteooles, Polnice) E matar (Polnice; Eteocles) E matar. Sea el enunciado: -Rorneo y Julieta se matan. Si nos referimos al relato, traduciremos siguiente: Romeo

O
X

el enunciado por el grafo

Juleta

E,Ienunciado expresa la pertenencia de Ios dos -Iderns- a una relacin reflexiva: (Romeo, Romeo) E matar

y
(Julieta, Julieta) E matar. La forma pronominal no permite en el plural distinguir de la simetra (1). la reflexividad

10. Relaciones

y correspondencias

Utilizamos con mucha frecuencia -relaclones .. en las que el orden de las parejas nos es impuesto por una cierta gestin. Por ejemplo, si fotografiamos a una persona, cada punto de su rostro forma pareja con su imagen en la pellcula sensible. El conjunto de

(1) Cuando Jess dijo: .iAmaos!., aadi: .105 unos a los otros-. Sin lo cual algunos se limitaran a reflejar la relacin respecto a ellos mismos.

225

estas parejas es una relacin. Sin embargo, la 'consideraremos en su naturaleza fsica como orientada desde un punto del rostro (origen) hacia un punto de la pelcula (fin). En un referndum todos los ciudadanos de un pas votan s,., -no. o abstencin. El ciudadano Dupont ha expresado uno de estos tres votos. Forma una pareja con su voto. No obstante, asociaremos con ms frecuencia al ciudadano Dupont (origen) con su voto (fin), que no el s como origen a cada uno de los ciudadanos individualizados (fin) que hayan expresado este s . Compro tres Iibros en casa de un librero. El libre-ro suma los precios y me dice cunto le debo. Una pareja es, pues, formada gradas al conjunto de los tres ilbros y al precio global. En esta operacin partimos de tres libros (origen) para .lIegar. al precio global (fin). La correspondencia es una nocin vaga; es en realidad una relacin donde el orden de las parejas se impondr en un sentido dinm-ico y significativo. Lo que cambia, cuando se pasa de ,la relacin a la correspondencia, es esencialmente una cierta forma de considerar las relaciones, no desde un punto de vista esttico, como un conjunto de parejas, sino desde un punto de vista cinemtico, corno dependencia entre un elemento de llegada y un el-emento de partida, susceptible de variar. Tendremos que poner en evidencia las nuevas propiedades de las relaciones consideradas corno correspondencia. Nos limitaremos a las relaciones binarias.

10.1
Funciones. Ejemplo: Sea el conjunto de los objetos de esta vitrina. Cul es el precio de venta de cada uno de estos objetos?

A: conjunto de objetos.

B: conjunto de posibles precios.

226

- Un objeto puede no tener precio (no estar en venta). - Un objeto no puede tener dos precios. - Varios objetos pueden tener el mismo precio. La correspondencia as definida de A hacia B se llama funcin. Escribiremos: 150 = f(b) 200 = f(d) etc. Una funcin de A hacia B es una relacin de A X B, puesto que todo elemento de A figura a lo ms en una pareja. Las funciones usadas comnmente en matemtica corresponden a esta definicin: (a todo x corresponde un y) y=2x+3 (a todo x corresponde a lo ms un y) y = ~x etc. 10.2 Aplicaciones. Ejemplo: Todos los alumnos de mi clase han entregado un trabajo y este trabajo ha sido corregido. Hay una correspondencia entre los alumnos y las notas dacias.

A: conjunto de alumnos. La

B: conjunto de posibles notas.

Cada alumno recibe una nota por su trabajo. Ningn alumno recibe dos notas. Varios alumnos pueden recibir la misma nota. correspondencia as definida de A hacia B se llama aplicacin.
227

Una aplicacin de A hacia S es una relacin de A X S, puesto que todo elemento de A figura en una pareja y slo en UIUI. Operaciones: La nocin de aplicacin proporclona una nueva definicin para la nocin de operacin. Consideremos, por ejemplo, la -adlcln en el conjunto de los nmeros naturales. A toda par-eja en IN x [N le asociamos un elemento de IN ;
(2, 3) -+ 5 (1, 4) -+ 5 (2, 7) -+ 9

etc. La operacin + en La operacin - en

IN lN

es, pues, una aplicacin de lN x lN hacia tN es una funcin de IN x IN hacia [N . .

10.3
Biyecciones. Ejemplo: Cada alumno de mi olase tiene un nombre y slo uno. Felizmente, dos alumnos de mi 'clase no tienen nunca el mismo nombre.

A: conjunto

de alumnos de mi clase.

B: conjunto de nombres de fa lista de la clase.

La correspondencia

as definida entre A y B es una biyeccin.

Una relacin de A X B es una blyeccln si es una aplicacin de A hacia B y si su recproca es una aplicacin de B hacia A.

228

la biyeccin (1) es el origen de la nocin de nmero entero cardinal. Cuando el hombre aprendi a contar con sus dedos, asoci biyectivamente sus dedos con los objetos que contaba. Para el hombre, .10- es la propiedad cardinal de' todo conjunto que pueda ser relacionado biyectivamente con el conjunto de los dedos de sus dos manos. y .2- es la propiedad cardinal de todo conjunto que pueda ser relacionado biyectivamente con el conjunto de sus manos, de sus orejas, de sus pies, de sus ojos. iPor fin surge el nmero! Pero bastante tarde, a,l trmino de una larga exploracin con relaciones y correspondencias.

El nmero antes que la relacin? La relacin antes que el nmero?

11.
11.1 Para permanecer en los lmites normaies de esta obra, tenemos que reducir la exposicin a lo esencial. Vendra bien ahora analizar panormicamente el camino recorrido. la nocin de relacin es conjuntista. Las relaciones son conjuntos particulares con parejas, tros y n-uplas como elementos. La nocin de ti correspondencia resulta de una aproximacin particular de la nocin general de relacin. la nocin de -operacln- se deduce de las nociones de funcin, de aplicacin y de producto cartesiano (relaciones particulares). Sobre una aplicacn particular -la biyeccinse construir la nocin de nmero natural. Hemos dejado voluntariamente aparte la nocin de transformacin, pero es preciso saber que es sobre ella que se construir la geometra. 11.2 Se comprendera por qu el matemtico pedagogo est, hoy, mucho menos forzado a introducir el concepto de nmero natural. Es evidente, y jams podra comprobarse una tan trivial evidencia, que el -nmero- es necesario en nuestra vida social y que es conveniente aprender a utilizarlo eficazmente. Pero, desde el punto de vista lgico, no aparece de pronto. Con una enseanza numrica como la que se daba antiguamente, se correra el riesgo de provocar simples reflejos de memoria a costa de la estructuracin lgica.

(1)

Se llama tambin "relacin biunvoca y recproca- o tambin -apareamlento .

229

Queris un ejemplo? Preguntad a un nio de cinco aos que todava no sabe contar ms que hasta 20, en qu montn hay ms botones, despus de haberle hecho un montn de 52 botones rojos y otro montn de 54 botones blancos. El nio, sirvindose de sus dos manos, formar parejas: un botn rojo y un botn blanco y esto hasta terminar con uno de los montones. Despus, contestar a Ia pregunta. Procediendo as, materializa una biyeccin con la mano izquierda y con la mano derecha. y sin poseer nuestro lenguaje, demuestra que no es necesario conocer los nombres de los nmeros para compararlos. La moderna pedagoga de la materntlca pide que las nociones se construyan bajo un orden coherente. Proclama su unidad desde el jardn de infancia hasta la universidad. Niega la coexistencia de una matemtica para los pequeos y de una matemtica para los mayores. Es evidente que, segn las edades, reconoce los distintos niveles del lenguaje, de la experimentacin y de la abstraccin. y pide que se utilice para cada uno el vocabulario adecuado. Se asigna por meta la formacin de un individuo intelectualmente autnomo y no la fabricacin en serie de mquinas de calcular vivas. As, cuando se introducirn los nmeros en la enseanza no habr ninguna razn para no exigir que su utilizacin prctica sea eficaz y, por tanto, se destinar al estudio del nmero todo el tiempo que sea necesarlo.

230

6
QUE ES UNA ESTRUCTURA?

El nio cuenta: Uno y uno, son dos;

uno y dos, son muchos; uno y muchos, son muchos; muchos y muchos, son muchos. En su universo, cmodamente estructurado, no se angustia por el infinito!

1. Aritmtica
1.1

en la pequea semana

Si consideramos el calendario de los das de la semana, podemos asociarle una aritmtica muy evidente. Ante todo, y para simplificar la escritura, podemos representar cada da de la semana por una cifra.
23S

Lunes =1 Martes 2 Mircoles 3 Jueves =4 Viernes =5 Sbado 6 Domingo 7

= = =

= =O

Todo esto se encuentra materializado en la estera de un calendario semanal que, cada da, recorre 1/7.& parte de la vuelta. Si regulamos nuestra vida tomando como base este calendario, podemos imaginar que: cada domingo, descansamos; cada jueves, asistimos a un estreno cinematogrfico; cada viernes, comemos pescado; cada sbado, hacemos nuestras compras; etc. En una palabra, en este universo kafkiano, todos los domingos son .. equivalentes, y tambin todos los lunes, martes, etc. En estas condiciones: ' O representa el conjunto de todos los domingos de la eternidad; 1 representa al conjunto de todos los lunes de la eternidad; etc. J = {O, 1, 2, 3, 4, 5, 6}

1.2
Cada da que pasa hacemos girar nuestro calendario 1/7.& parte de la vuelta. Representaremos esta transformacin con ,la operacin + 1. 0+1 1 (el lunes es el inmediato posterior el domingo) 1+ 1 2 (el martes es el inmediato posterior al lunes) 2+1=3 (el mircoles es el inmediato posterior al martes) 6+1=0 (el domingo es el inmediato posterior al sbado).

= =

Podemos tambin hacer pasos de ms de un da. Esto nos dar Iuqar a operaciones como: 2+3=5 5+4=2 6+6=5 etc. Estas operaciones socian un da de la semana a dos das dados.

Podremos escribir: martes + mircoles = viernes. et'C. Es una aplicacin del conjunto J X J en el conjunto J. Vamos a construir ,la tabla de la adicin y de la sustraccin:

+
O

O O 1

1 1

2 2 3 4 5 6
O 1

3 3 4 5 6
O

4 4 5 6
O

5 5 6
O

6 6
O 1 O 1

O O

2 5 6

3 4 5 6

4 3 4 5 6
O 1

5 2 3 4 5 6

6
1

6
O 1

1 2 3 4 5 6

2 3 4 5 6

2 3 4 5 6
O

1 2

1 2 3

1 2 3
4

2 3 4 5

2 3 4 5 6

1 2 3 4 5 6

2 3 4 5

O 1' O 2 1

3 4

2 3

O
1

2 3 4 5 6
O

1.3

Sobre la tabla podemos comprobar 'las siguientes propiedades: Se verifica siempre: a + b = b + a (conmutativa) a + (b + e) = (a + b) + e (asociativa) O + a = a + O = a (existencia de un elemento neutro). Para todo a. existe un b tal como: V a 3 b: a + b = O 'existe siempre un b, simtrico de a. Representaremos por ~ al simtrico de a ( en nuestra' aritmtica 11= 7-a). Nos aparece la sustraccin corno operacin inversa de la adicin: a-b = a + D.
1A

Podemos definir la multiplicacin:

axb=b+b+b+

... +b
a trminos
237

que nos dar una tabla para la multiplicacin y otra para la divisin:
X

O 1 2

3
4 5 6

O O O O O O O O

1 O 1
2

2 O
2

3
O

3
6
2

3
4 5 6

4 6 1

4 O 4 1 5
2

5 O 5

6 O

6
5 4

3
1

O 1 2

3
4 5 6

3
5

5 1 4

6
4
2

3
2

O O O O O O O O

1 O 1 2

3
O 5

3
4 5 6

O 4 1 5 2 6

3
1 6

4 O 2 4 6 1

5 O

6 O

3
6
2

6
5 4

4
2

3
5

5 1 4

3
2 1

1.5 Podramos definir otras operaciones como: elevacin a la potencia n; extraccin de la raz n-sima; logaritmisacin en base n. Por ejemplo: 54 5 X 5 X 5 X 5

4 6
2

X 5 X 5 X 5

y por tanto: 5 ~2 En otras palabras: a rarz jueves-esrma del martes es el mircoles ... iTranquilizaos! [Enccnrramcs tambin este enunciado increble! Pero si, en lugar de hablar de -dlas de la semana" hablamos de nmeros naturales, como se hace en la aritmtica tradicional, podemos traducir la expresin: 2 = 54 por el enunciado: Si un nmero da de resto 5 al dividirlo por 7, la potencia cuarta de este nmero da de resto 2 cuando se {e dlvide por 7. No pretendemos que este enunciado sea especialmente aprovechable, pero, por lo menos, tiene una significacin. Por lo dems, toda la matemtica tradicional tiene interminables rosarios de enunciados de este tipo.

1.6
En vez de trabajar con los cedas de Ia semana. es decir, con los restos de la divisin por 7, podramos hacerlo con los dedos de la mano .., es decir, con los restos de la divisin por 5.
238

Obtendramos

la tabla: 2 2 3 4 O 1 3 3 4 O
1

+
O
1

O O 1 2 3 4

1
1

4 4 O 1 2 3

O = ~ O, 1, 2, 3, 4 ~

2 3 4

2 3 4 O

y en esta tabla de la aplicacin de O X O en D, encontramos las propiedades conmutativa, asociativa, existencia de elemento neutro y exlstencia de un simtrico para todo elemento. 1.7 Habramos podido trabajar igualmente por 2, lo que nos habra dado: M con los restos de la divisin

=~O.
O O 1

1~

O 1

= =
X

2 3

=
O O O

4
5

= =
1 O 1

6
7

= =

8
9

= =

Con las tablas de aplicacin de M X M en M:

+
O
1

O 1

Estas tablas podran traducirse en teoremas de la aritmtica tradicional: 1.asuma de dos nmeros de la misma paridad es par; fa suma de dos nmeros de diferente paridad es impar; el producto de un nmero par por un nmero de cualquier paridad es par. y en la tabla de la adicin, por reducida que sea, observamos que se cumplen las propiedades conmutativa, asociativa, existencia de elemento neutro y existencia de elemento simtrico (1). 1.8 El seor Dupont no tiene opiniones polticas estables. Al menor acontecimiento cambia de opinin. De momento, no sabe si es de derechas o de izquierdas.

(1)

Las propiedades de los restos de la divisin por n se estudian en aritmtica. El lgebra de las operaciones con estos restos se llama -teorta de las congruencias mdulo n.

239

Si el seor Dupont cambia 1, 3, 5, 7, 9 veces de partido, al final habr cambiado de partido. Si el seor Dupont cambia O, 2, 4, 6, a ... veces de partido, al final no habr cambiado de partido. Podemos escribir:

0=2=4=6 1 =3=5=7

. .

con Ia tabla

La composicin de los cambios de opinin del seor Dupont tienen las mismas propiedades que la aritmtica de la paridad.

1.9
Consideremos puntos) : una simetra axial definida en un plano (conjunto de

A
q

11-----

~---x

p
Todo punto (q) del plano se transforma en un nueva punto (q'). La simetra es un ejemplo de apllcacin biyectiva del plano sobre s mismo. Toda figura (conjunto de puntos) del plano es transformada por esta simetra. . Representamos por S la simetra axial y 'escrlbtmos q' = S (q). Representamos por I Ia transformacin idntica. Y nos resulta: loS S o I I o I S o S

S S

s
liS

S ~

y volvemos a encontrar otra estructura 240

igual.

2. La estructura en general
2.1 Consideremos el conjunto: M = {a, b} en el que no sabemos lo que son los elementos. Imaginemos una aplicacin de M X M en M, es decir, una -operaclnen M, que representaremos por Supongamos que la tabla de esta operacin viene dada por:

*.

b Esta tabla puede tambin representar: las propiedades de paridad en la adicin de nmeros naturales; los cambios de opinin poltica del seor Dupont; las composiciones de I~ simetra axial y de la transformacin idntica en el plano; y muchas otras cosas. Todo conjunto particular, con dos elementos perfectamente conocidos, con los que una determinada operacin nos da una tabla como la anterior se dice que tiene una estructura M Si estudiamos las propiedades generales de esta estructura, podemos particularizar los resultados a cada una de las interpretaciones dadas. Nuestro paso es econmico. 2.2

~I:; b a

a a - a a*b-b b*a b b*b a,

Todo conjunto E, provisto de una operacin (aplicacin de E X E en E) es una estructura. El camino del matemtico consiste: en abstraer el conjunto E ignorando la naturaleza particular de sus elementos; en abstraer la operacin definindola por una tabla o por sus propiedades: en obtener las propiedades generales de la estructura construida de este modo. Es evidente que el matemtico construir estructuras abstractas cuyas particularidades encajarn en las situaciones encontradas en la accin del hombre sobre el Universo. El lgebra proporciona entonces un lenguaje formal que se puede aplicar a innumerables situaciones particulares. . Al generalizar las estructuras, el matemtico expresa de una manera puramente formal un lenguaje cuya concrecin est todava por descubrir. El matemtico, pues, precede al conocimiento concreto de su tiempo y suea, imagina y crea formas posibles. Es el arquitecto del conocimiento futuro.

241

242

..

El arte abstracto, contrariamente a lo que se piensa a veces, parte de lo real y solamente expresa sus estructuras. Los limites de esta abstraccin dependen de la personalidad del pintor. Observemos las tres etapas de abstraccin del pintor Piet Mondrian: 1910: el rbol rojo. 1911: el rbol plateado. 1912: manzano en flor. 243

2.3
E,I estudio de la matemtica elemental I tal como se practca en el Bachillerato utiliza un cierto nmero de estructuras, cada una de las cuales lleva un nombre. Estas son: - estructura de grupo, - estructura de anillo, - estructura de cuerpo, - estructura de red, - estructura de ideal, - estructura de espacio vectorial, - etc. Las estructuras de espacio vectorial se dividen en subestructuras diversas segn las necesidades de la geometra.

3. Estructura de grupo de orden 4

3.1
Sea una tabla de 4 elementos: * a b a a b b b

e
e
d a b

d d d a Tenemos:

d d a b

Ignoramos lo que son a, b, c, d y lo que representa la operacin.

e
(conmutativa) (asociatlva) (a ,es neutro)

a (todo elemento tiene un simtrico). Estas propiedades definen una estructura particular. La llamaremos estructura de grupo.
3.2

x*y=y*x (x y) * z = a*x x*a a*a=b*d=c*c=d*b'

x * x

(y *

z)

Formemos el calendario de las estaciones (o tambin, sumemos los restos de Ia divisin por 4). Tenemos: 0=4, = 1 5 8 =

+
O 1

9
10 11

2 3

6
7

O O 1

1 1

2 3

2 3

2 3
O

2 2 3
O
1

3 3
O 1

244

3.3 Observemos las rotaciones de un disco:

s
w
vuelta. vuelta. vuelta. vuelta. del disco.

Llamaremos: E las rotaciones de 0, 4, 8, 12 cuartos de N las rotaciones de 1, 5, 9, 13 cuartos de W las rotaciones de 2, 6, 10, 14 cuartos de S las rotaciones de 3, 7, 11, 15 cuartos de Efectuemos la composicin de dos transformaciones Por ejemplo:
W

o
N N
W

N = E.

Obtenemos la tabla (3.1): o E N W E E N W W

W

S
S E N W

S
E N

S
E

S 3.4

Podemos modificar la escritura de la operacin disco: N E

~ +
~+

+
W

E 1
-i

~ -1

S o S

~-I

~*
245

Obtenemos:

* +
+
-

1 i i

+ +

1 1 i i

+
-

-'1

-1

i -1 - i +1

+ +

-1 -1 -i -i

+1 + i

+ +
-1

1 i

Donde Vemos que: i i = -1 Si convenimos en escribir: i = i~ i tenemos que:

." 1-

* *

= -1

y nos encontramos con esta misteriosa -raz cuadrada de menos uno.

que aterroriza a los principiantes aunque slo sea por su nombre mgico: nmero imaginario puro . Decir ui:! = -1lO se refiere a: -efectuar dos cuartos de vuelta, a Ila izquierda volviendo a camblar de sentldo-: lo que no es un acto de brujera (1).

13.5
Consideremos el conjunto de cuatro palabras: E {viva, la, matemtica, moderna} Un poeta que pertenece a la escuela -permutatoradecide aplicar E sobre E utilizando cuatro transformaciones descritas en la siguiente tabla:

10 11

T2
13

viva la matemtica moderna

la matemtica moderna viva

matemtica moderna viva la

moderna viva la matemtica

Partiendo de la frase: p - Viva qu moderna? Esto no significa nada. No conozco esta matemtica, despus de la transformacin 13, nuestro poeta escribe: 13 (p) = Qu matemtica? Esto no significa nada. iNo conozco moderna, este viva! (.2). La tabla de la composicin de estas transformaciones ser, pues, (3.1).
O

10 10 11 12 13

11 11 12 13 10

12 12 13 10 11

13 13

10 11 12 13

rn
T1 12

(1)

Un matemtico escribir esta misma evidencia trivial de una manera ms prestigiosa: el7T + 1 = O (Euler). No pretendemos de ningn modo que esto sea potico, Decimos que es un poco sorprendente- y que, para algunos, es esto lo que trae consigo la creatividad potica.

(2)

246

4. Grupo del rectngulo (grupo de Klein)

4.1
Con cuatro elementos podemos construir mita varias particularizaciones: otra estructura que nos per-

* a

a a
b c d

b b
a d c

e e
d a b y*x

d d

e
b a

Esta tabla no es igual a la anterior. Su estructura es dlferente. Sin embargo, encontramos un cierto nmero de propiedades:

e
d x*y

(x y) a*x=x*a=x

* *

z = x

* *
(y

(conmutativa) z) (asociativa) (existe elemento neutro) (autosimetra)

a*a=b*b=c*c=d*d-a

4.2 Sea un conjunto de nmeros. Consideremos guientes para cada uno de los nmeros: n ~ n ~n n ~ n
1

las transformaciones

si-

n 1

I -= transformacin

Idntica.

v=

sustitucin

por el inverso. por el opuesto. por el opuesto del inverso.

P = sustitucin S = sustitucin

n ~-n

Obtenemos la siguiente tabla, que es idntica a (4.1): O I

V V V P
I

P P
S

S S

V P
S

S
P V

P V

4.3
Consideremos una placa fijada con cuatro tornillos. Decidimos destornillarla para volverla a poner en una determinada posicin.
247

Podemos ponerla tal como estaba (TO):

~ .. b

s
,1"

R
,

,.

..

Podemos hacerla girar media vuelta alrededor del eje medio horizontal (T1):
~ "1'

11

.......--2b (J-..~

. .

a:~~--------------------------------~~~~ b
Podemos hacerla girar media vuelta alrededor del eje medio vertical (T2):

.. ."
~

...a
-1'

.01 9 2

e:
248

L.

"

~. d

Podemos hacerla girar media vuelta alrededor de su centro (13).

c.-

-cd

~'OdS
b
Si componemos dos de estas transformaciones, te tabla, que es idntica a (4.1):

a
obtenemos la siguien-

o
TO T1 T2 T3 4A

TO T1 TO T1 T2 T3 T1 TO T3 T2

T2 T2 13 TO T1

T3 T3 T2 T1 TO

El msico Schnberq, en algunas de sus obras, aplic la siguiente transformacin: Tema inicial

J Jj J

Transformacin 10 (tema idntico, nicamente transpuesto)

Transformacin T1 (simetra de eje horizontal)

J J ji J J

Transformacin T2 (simetra de eje vertical) Transformacin T3 ~ (rotacin de 180)

J 1J J j JJJJ
el
249

La composicin de estas transformaciones nos volver a dar la tabla anterior. Estas transformaciones se corresponden con las del rectngulo (ejemplo anterior). Es normal que la msi-casea tratada de Ia misma manera

que un ente que se extiende en dos dimensiones distintas: altura (tono). anchura (ritmo, sucesin, tiempo)

4.5
De la misma manera podemos permutar las palabras (u objetos cualesquiera), por ejemplo: 10 T1
T2

T3

viva la moderna matemtica

la viva
materntlca

moderna

matemtica moderna la viva

moderna matemtica viva la

p = Viva qu? iModerna, no slonlca nada! No la conozco esta matemtica, se transforma en: T1 (.p) = La qu? iViva, no significa nada! [No conozco matemtica, I esta moderna! T2 (p) = Moderna qu? Viva, no significa nada! No conozco matemtica, esta 'la! T3 (p) = Matemtica qu? iLa, no significa nada! No conozco moderna, esta viva! y el cuadro de las composiciones de T es el mismo que (4.1).

4.6
En un conjunto de cuatro elementos, la composicin de las relaciones:

se construye segn el cuadro 4.1.

250

5. Grupo del tringulo equiltero

5.1
Sea un conjunto E con tres elementos a, b, c. Podemos considerar seis permutaciones de E sobre

E:

(: ~) (: n
b
b b
c

P S

e
e

(~~) ~)
b
c

a
T

b .b

(~ ~) (~ ~).
b
a

Obtenemos un conjunto de seis permutaciones: Z =. {I, P, a, R, S, T}. Podemos componer dos de estas permutaciones. Por ejemplo: RoP S. Vamos a deducir la tabla de las composiciones de dos permutaciones (aplicacin de ~ X \;' en t;):

o P R S T

P P

a a
R S

a a
P

R R S T P

S S T R

T T R S P

T S R T S R

a a
I P

a
I
no es conmutativa. elemento neutro 1, y todo ele-

Esta vez, la operacin de composicin Por ejemplo: PoR T RoP. S. Por el contrario, es asociativa, existe mento puede ser simtrico:

1-1 P-I
0-1

a
P R S T

R-l S-l
T-1

5.2
Podramos concretar estas seis permutaciones imaginndolas como movimientos (con vueltas a la posicin primitiva, eventualmente) de un tringulo equiltero sobre s mismo:
~51

e
idntica

'b

a
rotacin de 2400 b

1: transformacin

P: rotacin de 1200 e

o:

e R: stmetrta con respecto a la altura trazada desde a.

ti

S: simetra con respecto a la altura trazada desde b.

T: simetra con respecto a la altura trazada desde c.

6. La estructura de grupo
6.1 Nos hemos encontrado con distintas operaciones particulares que poseen unas mismas propiedades gene)"ales, por lo que podemos deflnlr ahora la estructura de grupo (1). Una operacin proporciona al conjunto no vaco E una estructura de grupo si ax.: es una aplicacin de E X E en E es decir, si para a E E y b E E se tiene a bE E ax.: es asociativa es decir, si (a b) e= a (b c) ax.: existe un elemento neutro. es decir, que para a E E se tiene e a = a e = a

* *

* * *

(1)

la estructura de grupo fue definida por Evaristo Galois (1811-1832). Genio revolucionario e incomprendido. Galois muri en un duelo a la edad de 21 aos.

252

E/ despelleledo,

una abstraccin estructural E/ esqueleto es otra.

del hombre.

253

ax.: E es simetricable
es decir, que para a E E, existe

* *
a'

a-I E E tal que Si lo es, el grupo

= e.
sea conmutativa.

No es necesario que la operacin se llama conmutativo.

6.2
En un grupo se puede resolver En ef.ecto: a x - b

a-1

* *a* *x
e

la ecuacin a

= b.

a-1

x _. a-1 x 8-1

* * *

b
b

6.3
El conjunto de las partes de un conjunto provisto diferencia simtrica (ver cap. 111)es un grupo: ax.: En efecto, si x E <9 (E) e y E <9 (E) entonces (x /:). y) E <9 (E). de la operacin de

ax.: Se tiene (x /:). y)

/:). z

x /:). (y /:). z).

aX3 Se tiene x/:).0 0 /:). x es neutro para /:)..

=x
= = 0.
de grupo.

aX'I: x es el simtrico En efecto, x /:).x

de x x-I x. (x \ x) U (x \ x)

Se cumplen los cuatro axiomas de la estructura Adems, el grupo es conmutativo:

x /:). y = y/:). x.
Un grupo conmutativo se llama tambin grupo abeliano (1).

(1)

Este adjetivo proviene del nombre del matemtico noruego Niels Abel (18021829). A propsito de Galois y Abel se aplica la reflexin de Goethe sobre Mozart: -Dern die gotter lieben. rufen sie frh zurch- (los preferidos de los dioses son pronto llamados a su lado).

254

La abstraccin estructural del hombre puede hacerse en el plano motor (despellejado); en el plano armador (esqueleto); y tambin a nivel espacial; de aqui este dibujo cubiste Renacimiento.

en pleno

25S

6A

El conjunto de los nmeros naturales IN provisto de la ley de adicin (+) no tiene una estructura de grupo. En efecto, si los axiomas 1, 2, 3 se cumplen, el axioma 4 no. ax (1) si a E IN Y b E IN entonces a + bE" ax (2) (a + b) + e = a + (b + e). ax (3) a + o = o + a = a pero no existe ningn nmero natural tal como: 1 + x = 2 + Y = 3 + z = 4 + t = ... = o.

6.5
El conjunto de los nmeros enteros Z provisto de la operacin de adicin (+) tiene estructura de grupo. En efecto, todo nmero a posee un simtrico a-J..Lo escribimos -a y se le llama opuesto de a-: a + (-a) = o.

7. Las estructuras
7.1

de la matemtica

Cualquiera que se relacione un poco con ,la matemtica encuentra unos conjuntos de seres, unas operaciones definidas en estos conjuntos, unas relaciones entre estos conjuntos; es decir, unas estructuras. El conocimiento de las propiedades de .estas estructuras es necesario para el manejo de los seres matemticos. Pero los seres se presentan a menudo con diferentes particularidades. Su aspecto exterior es lo que tienen en comn con otros seres. Se establece, pues, muchas veces la misma teora sin tener en cuenta que se emplea siempre el mismo lenguaje. Desde ahora, des-cribiremos 'Ia programacin de la nueva pedagogia matemtica:
1)

La experimentacin nos hace construir unos seres matemticos necesarios: nmeros, puntos, rectas, vectores, etc.; se manejan estos seres; y en los conjuntos que forman se definen operaciones y relaciones. El profesor, que sabe de qu estructura se trata, extraer las pro-piedades que la definen, pero se guardar muy bien de introducir la estructura a priori e incluso de darle un nombre como si existiese por .s misma independientemente de sus concreciones.

2)

El hombre es la medida de todo. De aqu las innumerables investigaciones sobre las proporciones neturales del hombre, mdulo para la arquitectura. Esta investigacin utpica parte de Vitruvio, arquitecto romano contemporneo de Csar, y conduce hasta Le Corbusier con lo Modular. La relacin del hombre con el universo debe encontrarse en las estructuras arquitectnicas. 257

258

259

3)

El alumno, a fuerza de utilizar seres matemticos, encuentra muchas veces una misma estructura particularizada de diferentes maneras; a la larga, se cansa de encontrar siempre los mismos resultados; el profesor entonces propone un nombre, las propiedades generales de definicin, y construye as la abstraccin estructural.

Isomorfismo entre la Iglesia y el Hombre. Evidente lazo comn, ya -que la Iglesia tiene forma de cruz latina y es ella la que soporta el cuerpo del Hombre. 260

Isomorfismo entre el rostro real y el rostro figurado. iA nivel de los elementos, no tienen nada de comn! De aqu este pequeo juego para los surrealistas del Renacimiento o los caricaturistas de todos los tiempos.
261

;.
.... ,

... ... tI
t

............ ..... "... .

'. t ; .,.I.ft t ~; : ~ e
0

: :!:,1::: ......
"

: Io:~;~:\~:~ ~ ti."
'!:!:!.:, '
.1
t

i. ,. ,
,
4

.")

..
I

.. ~ ~ .... ,
(

e , ~."'
...

." . ,."
,..

...

tlo

,~

i: ..

.. ,

..... "
.. ''

"

... ...

...........

~ ....

<

<> ..

'1:' ~.

;..

.'.! :."

~, : : f

C< . ~ .

.. ..

Retrato del inventor.

262

Finales del siglo XIX.

4)

Desde este momento, el alumno posee un arma de. trabajo de apllcacln general; encadena unas con otras las estructuras y domina este paso fundamental de poder generalizar o concretar, segn las necesidades que se le presentan en cada momento.

Antropomorfismo! Es decir, isomorfismo entre las estructuras de un universo y las del hombre. Aqui es un juego. En cosmologa, filosofa y teologa, una tranquilizadora ilusin.
263

7.2
La unidad de las matemticas est en la abstraccin de estructuras comunes. Por ejemplo, una estructura de grupo puede concretarse lo mismo en el conjunto de los nmeros enteros que en las similitudes del tringulo o en los movimientos del tetraedro sobre s mismo; una estructura de espacio vectorial describe tan bien las propiedades de los polinomios algebraicos como las de los vectores del plano. Por esta razn, los matemticos han decidido hablar de la matemtica y no de las matemticas. El empleo del singular o del plural llega a ser un verdadero signo de distincin, una contrasea, e incluso a veces un grito de guerra. Pronto os daris cuenta de la tendencia a que pertenecen. iOdlos hablar!

264

7
PLAN PARA EL ESTUDIO ELEMENTAL DE LOS CONJUNTOS NUMERICOS

Dios hizo los nmeros E/ hombre ha inventado

natura/es. los dems.

Kronecker

1. Conjunto
1.1

de los nmeros naturales

IN

Los matemticos no estn de acuerdo sobre la forma de introducir el nmero natural. Como siempre, lo ms difcil es empezar. Veamos la manera segn la cual, pedaggicamente, puede ser abordado el problema. Se admite el conjunto vaco. y se escribe #0 = O (el cardinal del conjunto vaco es cero). Se llama conjunto unitario o singleton a un conjunto tal que su interseccin con cualquier otro conjunto sea l mismo o el vaco.

0
A ,es un singleton ssl V X : A n X = o bien ~A

se escribe

=* A = 1

(el cardinal de un singleton es 1).

267

Si el snqleton A es disjunto de B, el cardinal de A U B se llama inmediato sucesor del cardinal de B: ~ A = 1 Y A n B = 0 => #='(A U B) = suco B ~ A = 1 Y A n B = B => ~ (A U B) = B Los inmediatos sucesores son entonces -Ilamados- y -escrltos-:

* *

O, 1, 2, 3, 4, ...

Admitimos que esta construccin puede prolongarse indefinidamente, es decir, que todo nmero natural tiene un sucesor. Dos conjuntos son coordinables (del mismo cardinal) ssi se puede establecer entre ellos una biyeccin. Si se puede aplicar inyectivamente un conjunto A en un conjunto B se dice que *A ~ B. Entre los nmeros cardinales existe, entonces, un orden total.

1.2 Se define la adicin de dos nmeros cardinales por: (A U B) = *A + B, de donde A n B = 0. Las propiedades de la adicin son: conmutativa, asociativa, O es el elemento neutro; los elementos de este conjunto no admiten simtricos. Se define la sustraccin por: x = a - b <=> x + b = a con a ~ b. Se define la multiplicacin por: *(A X B) (*A) X (:#=B). Las propiedades de la multiplicacin son: conmutativa, asociativa, 1 es el elemento neutro, O es absorbente; los elementos de este conjunto no admiten simtricos: X es distributiva con respecto a + con respecto a Se define la divisin por: x = a : b <=> b X x = a con a = mltiplo de b. La relacin -ser divisor de introduce un, orden parcial en el con'junto de los nmeros naturales. Esta relacin nos permite definir nuevas operaciones: - formacin del mximo comn divisor, - formacin del mnimo comn mltiplo. As obtendremos una estructura de red.

1.3 La escritura de los nmeros naturales plantea un problema sido resuelto de distintas maneras segn las civilizaciones.
268

que ha

1.3.1 Primitivamente, el hombre escribi los nmeros dibujando un conjunto que era biyectivo con el conjunto a representar, y, hasta cierto punto, ms manejable. Un rebao se contar con un conjunto de guijarros, o de conchas, o de muescas en un palo, o de trazos en una pared, etc. Tenemos todava huellas de esta manera de numerar en nuestra civilizacin, donde el nmero debe ser percibido hasta por un analfabeto: domins, cartas de una baraja, campanadas de un reloj, etc. Este mtodo de numeracin no permite representar nmeros muy grandes. 1.3.2 Algunas sociedades les dieron un nombre especfico y un signo (smbolo numrico) para cada nmero. En nuestro caso son del cero al nueve. 1.3.3 La combinacin de estas dos escrituras ms cmodo. As, la numeracin egipcia: proporciona un mtodo mixto

1
1

r.
10

e
100

>
10000
1\1\ I
I \ 11

1000

El ao en que el hombre ha puesto el pie en la luna se escribe:

e e ee e
e eee

1'\(\1\
~I\(\

1.3.4 La numeracin de -posicin-. que es la nuestra, resume la escritura sustituyendo: - el smbolo numrico por una posicin, - el nmero de veces que este smbolo est escrito por una cifra: 103 o tambin
1 1

101 9
6

10 9

La escritura -Ilqada- hace desaparecer las casillas sustituyndolas por sus ttulos: 1969. Esta representacin necesita de un signo para indicar la falta de un smbolo. Este signo es el cero. 269

Los griegos y los romanos no utilizaron el cero. Los caldeos, los hindes, los rabes y los mayas lo utilizaron. 1.3.5 Nosotros utilizamos el sistema -declmal- (de base 10) porque tenemos 10 dedos, y nos servimos de ellos para contar (biyeccin entre un conjunto de dedos y un conjunto con elementos cualesquiera). Se podra trabajar sobre otra base. La utilizacin de ordenadores obliga a emplear la base dos para el lenguaje de la mquina. Es el clculo binario. El clculo binario no utiliza ms que dos cifras: O, 1. Su escritura est unida a la expresin de las potencias sucesivas de 2 para la posicin de la cifra 1.

211

210 1

29 1

28 1

27
1

2G
O

25 1

24 1

23
O

22
O

21
O

2=1 1

El nmero que escribimos

en sistema binario:

11110110001
se escribe en sistema decimal:

21(\ 1024 1969.

+ +

29

+ 28 + 27 + 25 + 2" + 20 512 + 256 + 128 + 32 + 16 +

1
escritos en el' sistema

He aqu la tabla de los 64 primeros trminos binario: O O

1

1 10 11 100 101 110 111 1000 1001 1010 1011 1100 1101 1110 1111
270

2 3 4 5
6

7 8 9 10 11 12 13 14 15

10000 10001 10010 10011 10100 10101 10110 10111 11000 11001 11010 11011 11100 11101 11110 11111

16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

100000 100001 100010 100011 100100 100101 100110 100111 101000 101001 101010 101011 101100 101101 101110 101111

32 33 34 35 36 37 38 39 40 41 42 43
44

45 46 47

110000 110001 110010 110011 110100 110101 110110 110111 111000 111001 111010 111011 111100 111101 111110 111111

48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63

La tabla de adicin y multiplicacin es:

De aqu operaciones tales como:

25

21 46

11001 10101 101110

X 5
45

1001 X 101 1001 0000 1001 101101

A priori, el sistema de numeracin binario no es ms complicado que el sistema decimal. Para el nio que aprende a escribir y a contar. ambos le resultan iguales en dificultad. Para nosotros. que estamos deformados por el uso cotidiano del sistema decimal, nos resulta difrcll pasar al sistema binario. Algunos ingenuos se. Imaginan que el clculo binario (simple convenio de escritura) es la matemtica moderna. El ordenador reclama el -blnarlo- por la sencillez de su cdigo: - luz encendida = 1 (o casilla perforada) - luz apagada = O (o casilla no perforada). Entre el hombre, deformado por el sistema decimal. y el ordenador es necesario un mecanismo que traduce la escritura de los nmeros de un sistema a otro.
1.3.6

Un matemtico belga, Georges Lemaitre P), propuso una escritura agradable que ser quiz la del hombre del maana: nuestras -clfras- decimales no tienen nada que ver con el -blnarlo-: podemos reemplazarlas por el cdigo:

1=0 T=1 t=l

1-.8

(1J Georges Lemaitre: profesor dt: LOV8108; sacerdote y presidente de la Academia de Ciencias Pontificias. Creador (1929) de la teora de la expansin del Universo. Muri en 1964.

271

Este cdigo se escribe mal (es preciso -Ievantar- la mano), se lee mal (pueden confundirse el 2 y el 4).

Mejoremos el cdigo:

1=0

1= 1

Esta vez, la escritura es cmoda y la lectura no presenta ambigedades. De aqu las 15 nuevas cifras:

=0

1 =1 1=2 f=)
4
=5

=4

~ =6

- 't -

l= 8 1=9 t =10 t

-=11

i =12 i

=13

i=14 t:::1-5

(Por debajo de la lnea verde se prolonga la escritura binaria de cifras decimales.) por tanto, escrlblmos:

1 1~t

= 1969.

272

1.4 El nmero natural est construido y escrito. Ser preciso separar las propiedades que se deducen de su escritura de las que proceden del nmero en s. Por ejemplo: -Un nmero es divisible por g si la suma de sus cifras es divisible por g. es una propiedad de la numeracin decimal (es decir, de la escritura); no es vlida en otra escritura . La serie de los nmeros primos es ilimitadaes una propiedad de los nmeros naturales, independiente de la forma de escribirlos.

2. Conjunto de los nmeros enteros 7L

2.1
En el conjunto de los numeros naturales, la operacin de restar no proporciona necesariamente un resultado. Por ejemplo, 3 - 7 no existe en el conjunto de los nmeros naturales. Formaremos un nuevo conjunto, que vamos a llamar 7L., a base de parejas extraldas de IN. Entre estas parejas se define una relacin de equivalencia: (a, b) (a', b') ssi a + b' a' + b. La pareja (a, o) se dice que es positiva; la escribiremos a veces (+ al o tambin. La pareja (o, a) se dice que es negativa; la escribiremos a veces (-a) o tambin La pareja o, o) no es ni positiva ni negativa. La escribiremos a veces o.

2.2
La adicin se define por: (a, b) + (a', b') = (a + a', b + b'). La adicin posee las siguientes propiedades: onmutativa, asociativa, existencia de un neutro: (d, d) (o, o) el conjunto puede ser simtrico: (a, b) + (b, a) = (a + b, a + b)

= (o, o)
El conjunto Z + tiene una estructura de grupo. La sustraccin se define por: 273

(a, b) - (a', b') = (a, b) + (b', a') En este caso, la sustraccin nos da una aplicacin de Z

:a:: sobre Z.

2.3
La multiplicacin se deflne por: (a, b) x (a', b') (aa' + bb', ab' + a'bl de la que se deducen las reglas de los signos:

+ x + X + + X
X

+ +

(1, (O, (1, (O,

O) X (1, O) = (1, O) 1) X (1, O) (O, 1) O) x (O, 1) = (O, 1) 1) X (O, 1) = (1, O)

la multiplicacin es: conmutativa, asociativa, posee elemento neutro (1, O) los elementos del conjunto no admiten simtrico para X X es distributiva con respecto a + y a -. Se dice que Z +, X tiene estructura de anillo.

3. El conjunto de los nmeros racionales Q

3.1
En el conjunto de los nmeros enteros 71, la operacin divisin no tiene siempre resultado. Por ejemplo, (- 3) : (+ 7) no existe en ?L. Formaremos un nuevo conjunto, que vamos a llamar CQ, a partir de parejas extradas de 7L, excluyendo la pareja (O, O). Entre estas parejas, se define una relacin de equivalencia: (a, b) = (a', b') ssi a X b' = a' X b.

3.2
la adicin se define por: (a, b) + (a', b') = (ab' + a'b, bb') Se demuestra que es: conmutativa, asociativa, posee elemento neutro (O, d), todo elemento posee simtrico: Q

(a, b)

(-a,

b) = (o, b").

es un grupo para la adicin.

274

3.3
la multiplicacin se define por: (a, b) X (a', b') = (a X a', b X b') .. Se demuestra que es: conmutativa, asociativa, posee elemento neutro (d, d), todos los elementos' poseen simtrico, excepto (o, b): (a, b) X (b, a) = (a X b, b X a) = (d, d). Qo X tiene estructura de grupo. Qo es una notacin para representar el conjunto de los nmeros racionales al que se le ha excluido el cero. <Uo = Q \ {O}.

3.4
Se demuestra que: X es distributiva con respecto a +. Se dice que <Q +, X tiene estructura de cuerpo o campo.

4. Conjunto de los reales y de los complejos

Hemos construido los conjuntos: IN de los nmeros naturales: O, 1, 2, 3, ... 7Z de los nmeros enteros: ... , -3, -2, -1, O, +1, +2, +3, ... Q de los nmeros racionales. Faltan, pues, por construir el conjunto de los nmeros reales (como ';2, lo, e, etc.) y el conjunto de los nmeros complejos (como 3 + 2'; -1, etc.).

5. Otros conjuntos
Se podran construir otros conjuntos: conjunto de polinomios, conjunto de fracciones algebraicas, conjunto de matrices, etc.
275

y definir operaciones en estos conjuntos para darles una estructura o varias. Nosotros acabamos aqu; la continuacin se encuentra en todos los cursos de matemticas modernas. Hemos querido demostrar la posibilidad de construir estructuras numricas de las que utilizamos corrientemente. Si este patrimonio cultural no lo asimilis rigurosamente, no os extrais de vuestros infortunios matemticos.

276

8
LAS ESTRUCTURAS DEL ESPACIO GEOMETRICO

Nadie entre aqu si no es gemetra.

Platn.

1. Los instrumentos divinos

1.1 Los pueblos de Sumeria habitaban una llanura cuyo horizonte se extenda por igual en todas las direcciones. Por consiguiente, concibieron el universo como una semiesfera. En cuanto a los astros, eran los barcos de los dioses. El capricho divino explicaba las irregularidades de las trayectorias. Pero los astros, siendo dioses, influan en el hombre. La astrologa estaba, pues, estrechamente relacionada con la astronoma concebida como magia (1).

(1) Casi nos atreveramos a decir que, para estos pueblos, la astrologa era racional. Deja de serlo en el momento en que los astros ya no son dioses, es decir, en el libro del Gnesis o entre los filsofos griegos.

279

tiERRA

acc

de ,,1o.L

9r~n

ocea.n o

Los egipcios vivan en un pas alargado, estirado por el curso del Nilo. Toda la vida social y econmica se localizaba en una faja de tierra. Su universo era, pues, un cofre alargado. La bveda celeste era una mujer (o una vaca) que se tragaba al sol en el ocaso para engendrarlo al amanecer. El sarcfago situaba al muerto entre 'el cielo y la tierra. Los filsofos griegos (1) racionalizaron el cielo expulsando a los dio-

(1)

Al principio. esta racionalizacin hacia 611-545).

se origin en la escuela ioniana (Anaxgoras:

280

ses. El movimiento de los astros deba explicarse mecnicamente. Por la regularidad de su movimiento, concibieron el universo como una esfera, en el centro de la cual flotaba la tierra. Al principio se imagin la tierra como un cilindro. Ms tarde, a medida que se fue explorando su superficie se cambi la concepcin que qued imaginada como esfrica (1).

1.2
Para los griegos, la circunferencia y la esfera eran, pues, la curva y la superficie privilegiadas. Siendo el comps su instrumento de trabajo, fue proclamado divino. Ms tarde se consinti en agregar la regla. El creador, demiurgo, era arquitecto, es decir, gemetra. La ciencia del hombre deba reconocer la arquitectura divina. Toda la geometra deba desde entonces construirse con la regla y el comps (2).

(1) (2)

Eudoxio: hacia 408-355. V. Platcn: Timeo, 33. Figuradamente, l (Dios) le ha dado (al Universo) lo que le conviene y le es connatural; segn esto, al viviente que debe envolver en s todos los vIvientes, lo que puede convenirle como figura, es lo que comprende en s todo lo que tiene de figuras; estas propiedades tambin Ias posee. en forma de' esfera, cuyo centro equldlstante de todos los puntos superficiales que Ia redondean, trabajan a su alrededor: por lo que 'es de todas las... figUras +a ms perfecta y la ms parecida a s misma; porque juzga que. hay ml veces ms belleza en lo parecido que en lo diferente. -

281

El Gran Arquitecto
282

del Universo:

trabaja con el comps.

Las limitaciones que se impone el hombre son a la vez fecundas y dogmticas: fecundas porque proporcionan una primera tentativa de clasificacin; dogmticas porque paralizan la imaginacin creativa. Encerrar la geometra en el empleo exclusivo de la regla y del comps es tan absurdo como pretender construir una nave interplanetaria con un martillo y un destornillador como nicas herramientos. Los griegos desembocaron. adems. en un escndalo y se encerraron en un callejn sin salida.

1.3
El escndalo fue provocado por Apolonio (1). Para Euclides (y Platn). los tres cuerpos ideales de la geometra en el espacio eran los tres cuerpos redondos: esfera, cilindro y cono de revolucin. Pero si las secciones planas en la esfera no daban ms que circunferencias o curvas perfectas, no ocurra lo mismo con el cilindro o el cono. Las secciones planas en el cilindro pueden, en efecto, dar circunferencias, pero tambin -elipses o -dos rectas paralelas. Las secciones planas en el cono pueden dar circunferencias, pero tambin -ellpses-. ..parbolas, ramas de hiprbola- e incluso -dos rectas secantes .

Apolonio fue el primero en empezar el estudio de estas curvas impuras que llam secciones cnicas. Comprob que proporcionaban -alguna cosa ms general que la circunferencia. No supo jams que los planetas seguan, como trayectorias, sus cnicas herticas y no las circunferencias ortodoxas. (Fue Kepler quien lo demostr.) (2)

(1)
(2)

ApoJonio de Prgamo (3 s. a. J.C.).

Kepler (1571-1630).

283

.'

.'..... -- .. .. .
"

No obstante, teniendo en cuenta el parentesco de la circunferencia y de las cnicas, la mayor parte de las construcciones requeridas para las cnicas podan efectuarse con la regla y el comps. Se consider, pues, que estas cnicas escandalosas proporcionaran un libro suplementario al evangelio euclidiano. Con la regla y el comps. Con el elipsgrafo.

284

An hoy se aprende, sin rer, a construir las cnicas -por puntos- con la regla y el comps, y se ignora soberbiamente la existencia de lbs elipsgrafos. En el primer caso: Si construyeseis mil rectas d obtendrais mil puntos p que os permitiran trazar una elipse. 1.4 El muro del callejn sin salida bloque a los gemetras que se atascaron en los tres problemas de la triseccin del ngulo, la duplicacin del cubo y la cuadratura del crculo. 1.4.1 La triseccin del ngulo Se trata de dividir un ngulo cualquiera en tres ngulos iguales. Esto exige la resolucin de la ecuacin de tercer grado: 4xl - 3x + a = o con a = sen a a x = senEn el segundo caso: Si S y T recorren las QOsrectas perpendiculares, p recorre directamente la elipse.

El problema no puede resolverse, pues, con regla y comps; pero, por el contrario, podra hacerse con un trazador de curvas de tercer grado:

tra.zador

corredera.

/~

/'

t es fijo; s recorre una recta deslizndose sobre la barra ts; p (fijO) recorre una -concoldea de recta .

a: ngulo central; se construye la concoidea para el punto t y el segmento r: la interseccin de la concoidea y de la circunferencia nos da P,

y -

a partir de P.

286

a+y=2,B f3 2y

de donde a
'Y

= 3y
a =-

1.4.2 La duplicacin del cubo

Se trata de construir un cubo de volumen doble al de un cubo dado: x' = 2a3
x

= a~2

i
I

I I I

_.",',',

,,,

, ""

......._. "

. ,/,/"

"

x
287

 Como el comps no traza ms que curvas particulares de segundo grado, no hay manera de construir rigurosamente .a~2,. con la regla y el comps. De nuevo esta vez, un trazador de curvas de tercer grado resolvera la cuestin.

1.4.3
La cuadratura del crculo

Se trata de construir un cuadrado que tenga la misma rea que. un crculo dado:

x
es 'Un nmero -transcendente-. es decir, que no es raz de ninguna ecuacin algebraica con coeficientes enteros. Esto hace imposible la resolucin rigurosa de I~ cuadratura del crculo con la regla y el comps.
ro

1.5 Durante siglos, los gemetras perdieron su tiempo intentando resolver problemas irresolubles. Y como nadie se preocupaba en buscar -el porqu, no haba modo de efectuar estas construcciones. Tuvieron que admitir el fracaso de los instrumentos divinos y limitar al creador. Fue preciso esperar al siglo XVII con su geometra analtica, y al XIX con su teora de los nmeros transcendentes para persuadirse de que
288

haba sido vano obstinarse, y que, despus de todo, ms vala cambiar de instrumentos. En la historia, y todava hoy, estos problemas han fascinado a los esquizofrnicos de la geometra. Adems, con el mismo tratamiento que el movimiento perpetuo por los fsicos paranoicos. Con frecuencia, estos chapuceros de lo irracional descubren soluciones ilusorias que les conducen a la conviccin del aislamiento por la incomprensin del mundo sabio. Esta locura es la ltima consecuencia de la utilizacin platnica de los instrumentos divinos.

La distancia de la tierra a la luna se mide con el comps o con el lser? 289

1.6 Los instrumentos de la geometra son innumerables. El matemtico -rnoderno- aadir algunos. Para limitarse, a la geometra elemental, utilizar el -trasladador y el -pleqador . Veamos un -trasladador:

Se trata de un ngulo en materia slida (BAC) que se desliza sobre un listn. Hemos dibujado el lado BC de una manera rara para indicaros que no se trata de una escuadra.

Veamos las fases del empleo de un -pleqador-: hola de papel

,-. - ---,--------,

hoja plegada

hoja de papel

)o(

Esto escandaliz a los integristas: [conslderar el plegado como una operacin instrumental! Esperamos que se nos ensee lo que no es ti instrumental en el plegado. V, sobre todo, por qu esto sera menos -noble .. que el empleo del comps ... Desde {ueqo. no hay ninguna razn para no utilizar el comps o la regla. 290

1.7 Evidentemente, no podemos plantear aqu una estructuracin completa de la geometra segn la matemtica de hoy. Nos limitaremos, por consiguiente, al uso de ciertos instrumentos. Expondremos primero la construccin de una geometra correspondiente al empleo del trasladador. Ser la geometra afino Generalizaremos esta geometra afn por el empleo exclusivo de la 'regla. Ser la geometra proyectiva. Particularizaremos esta geometra afln por el uso del -pleqado- o del -cornps-. Tendremos as la geometra euclidiana. Entre estas tres geometras, podramos intercalar otras de intermediarias. En una primera exposicin evitaremos este tipo de refinamiento que nos llevara a la redaccin de un nuevo volumen. Podramos particularizar o generalizar todava ms los conceptos geomtricos. El encaje de las geometras podra, pues, ser prolongado tanto en el sentido de la concretizacin como en el sentido de la abstraccin. Nos abstendremos de ello por las mismas razones.

Nuestro esquema poslbllldades de generalizacin: topologa, geometra algebraica, etc.

I
posibilidades etc.

Geometra proyectiva geometra homogrfica,

de insertar:

Geometra afn posibilidades de insertar: geometras de Riemann.

Geometra euclidiana

posibilidades de particularizar: semejanzas directas, etc. geometra mtrica.

291

La geometra afn proporciona un. excelente camino para acometer la geometra general: ni demasiado abstracta ni demasiado particular. A partir de ella, el alumno podr evoluclonar ms cmodamente en los dos sentidos.

2. La geometra del trasladador (geometra afn)

2.1
El empleo del trasladador (1) supone un cierto nmero de axiomas relativos al punto, a la recta y a la relacin de paralelismo entre rectas. Estos axiomas proporcionan el primer acceso a la geometra afn. Los trataremos muy por encima.

2.2
El trasladador permite construir paralelogramos y, a partir vectores que llamaremos equipolentes. de esto,

Se escribe: (ab)

(cd)

de donde se deduce (ac) (bd)

La equipolencia es reflexiva, simtrica y transitiva.

(1)

El -rraeledador- descrito (1.6) no proporciona ms que el paralelismo. El gemetra se empeaen no uti Ilzar .el ngulo deslizante.

292

2.3
El trasladador permite graduar una recta con nmeros' enteros; los puntos de la recta estarn relacionados por una relacin de orden.

-2

2.4
El trasladador nos proporciona el punto medio de un segmento cualquiera.

2.5
La escala de graduacin de una recta podr ser dividida tan finamente como deseemos. Todo punto de una recta graduada podr ser asociado biyeotivamente con un nmero real (esto es un axioma).

o
la graduacin de una recta podr ser proyectada paralelamente sobre otra recta que, a su vez, proporcionar la graduacin.

o
294

Es una nueva formulacin

para el teorema de Tales (1).

2.7
Todo punto del plano podr sealarse por proyecciones paralelas sobre dos rectas graduadas no paralelas.

-2

-1

Los puntos de un plano estn, pues, asociados blyectvarnente con las parejas del producto cartesiano:

IRxlR (,IR'=
conjunto de los nmeros reales). Esto coincide con la asociacin tradicional de las coordenadas cartesianas con los puntos del plano. Este plano ser llamado' sealado en relacin con las dos rectas graduadas. Diremos que tiene dos dimensiones. La asociacin de puntos con R x 1R x IR nos llevara a la geometra de tres dimensiones.

(1)

Tales de Mileto:

hacia 639-545 a. J.C.

295

2.8
El trasladador permite transformar el plano por traslacin. Una traslacin es una aplicacin biyectiva de 10 en , o tambin IR X IR en IR X IR. Asociando un punto p a una pareja de nmeros reales, p ~ p' (x, y) ~ (x + a, y + b). de

\ 1/
\'

I/

I / I / I /

2.9
El trasladador permite transformar el plano por homotecia .

.:

b ..'
~#

,,
"

oo!',

..:

" ", ",,,

,

.,
.:
,

",/ e .
o",'

,.'

.. ,
'

, " \'

, , , , ,

"

,
,

"

" , , o"

-:
,

.,s;:'

"

o
296

4'

\1 ,....

" ' " , '~

.,

,le

Una homotecia es una aplicacin biyectiva. de

7r

en

7r

o tambin de

IR x IR en IR x IR. Asociando un punto p

p
--+

una pareja de nmeros reales:.

p'

(x. y) -

(k. x. k y).

la simetra central es una homotecia particular: (k = -1).

2.10 El trasladador permite transformar el plano por homologa paralela.

aa' 11 bb' 11 cc' ab bc y a'b' b" ~ se cortan en ca ~ c,Z, puntos alineados.

297

Una homologa paralela es una aplicacin biyectiva de

1f

en

1f

o tam-

bin de R x IRen ~ x IR. Asociando un punto p con una pareja de nmeros reales:
p (x. y)
-o --+

p
(k x. y).

2.11 Las tres transformaciones descritas presentan propiedades correlativas interesantes:

Homologlas paralelas ea', bb', cc' son paralelas. ab y a'b', ac y a'e', be y b/c' se cortan en puntos alineados.

Homoteclas aa', bb', ce' son concurrentes. ab y a'b', ac y. a'c' son paralelas.

.
b

Traslaciones aa', bb', ce' son paralelas. ab y a'b', be y b'c', ca y c'a' son paraJelas.

2.12 Una afinidad es una composicin de traslaciones y de homologas paralelas. El trasladador permite transformar el plano por afinidades. Se deduce que:
298

la afinidad es la transformacin ms general que se puede efectuar con un trasladador; las afinidades forman un grupo de transformaciones; las traslaciones forman un grupo de transformaciones.

2.13

El trasladador permite definir el producto de dos vectores paralelos.

>

Se podr, por lo tanto, hablar en la geometra del trasladador: de segmentos paralelos de longitudes iguales o desiguales; de razn de segmentos; de punto medio; e, induso, de -paralellsmo-. la geometra afn (del trasladador) parte de los conceptos de punto. recta y paralelismo. Comprende las transformaciones del plano por traslaciones. homotecias y homologas paralelas (afinidades). Da significado a los conceptos de paralelismo. producto de seccin. punto medio, medianas, proyecciones paralelas, comparacin de vectores paralelos; estos conceptos se conservan en las transformaciones del plano. los conceptos de medida de un ngulo, de perpendicularidad, de producto de vectores no paralelos, etc., no tienen aqu ningn significado. No se pueden construir y no se conservan en las transformaciones del plano.

3. El espacio vectorial
3.1 El plano. tal como lo hemos considerado. tura algebraica fundamental: la estructura Se da un conjunto \Y a cuyos elementos escribimos a. b. c. Por ejemplo. fijado un punto o del plano. a el vector (o. b). etc. es la imagen de una estrucde espacio vectorial. se les llama vectores y que ser el vector (o. al.

o ser
e

3.2
En el conjunto W definimos una relacin de equivalencia llamamos de equipolencia) (bc) + (oa). 3.3 Damos al conjunto \Y una ley de cornposrcron interna mos +) que proporciona una estructura de grupo. Aqu. se trata de la adicin de vectores: (que escribi(que aqu

a + 0= c.

a o

Se tiene estructura de grupo ya que: + = + (conmutatividad). (a + o) + e = a + (D + e) (asociatividad). a + 'O = (existencia de elemento neutro). a + (- a) = o (todo elemento tiene simtrico).

o a

3.4 Consideremos el conjunto (cuerpo) de los nmeros reales IR. En el cuerpo de los reales se definen dos operaciones internas: + y X (que corresponden a la adicin y multiplicacin de los reales).
300

3.5 Se defise una operacron externa aplicando [R x \V en \/ . Es decir, que a toda pareja (r, v) constituida por un nmero real y un vector, se le asocia un nuevo vector v'. Se representa la operacin por rv. Esta operacin ser, en nuestra estructuracin del plano afn. una hamotecia de centro o y producto r.

Esta opers cln externa viene definida por los axiomas siguientes: oE[R o V = (5 donde

oE

v
1

donde

lE[R

es neutro para la operacin externa: o o donde

E VI

o es absorbente para la operacion externa: r' (r'v) = (r'xr) La operacin externa es asociativa; esta propiedad permitir utilizar el mismo signo para la multiplicacin de dos nmeros reales y para la operacin externa: r' . Ir = (r" r) . = r' r . r (v + v') = rv + rv'. La operacin externa es distributiva con respecto a la operacin interna: (r + r') .v = r v + r' v. Esta propiedad permitir usar el mismo signo para la adicin de dos nmeros reales y para la operacin interna: (r + r') . v = r + r' v + es distributiva con respecto a . (operacin externa).

v. v

v~

301

3.6 Representaremos al plano por dos vectores no paralelos que se cortan en o y que se llaman vectores unidad.

(op)

y.

Se podr asociar al punto p la pareja de nmeros reales (x, y). Las transformaciones del plano corresponden a determinados tipos de transformacin con las parejas Ix, y). Habr isomorfismo entre la estructura del plano para un grupo de transformaciones y el espacio vectorial correspondiente.

3.7
El espacio vectorial es la estructura base de la geometra llamada "analtica. Verifica la afirmacin temeraria y un poco oscura de los pitagricos: ..Todo se puede expresar con nmeros; sin el 'nmero no comprendemos ni conocemos nada (Filolaos). Lo ms maravilloso es que el matemtico tratar como espacios vectoriales a seres que, aparentemente, no tienen nada de geomtricos. Por ejemplo, el conjunto de los polinomios enteros, P, y el conjunto de los nmeros complejos, etc.

4. Geometra de la reqla (geometra proyectiva)

4.1 Podemos imaginar una geometra ms general que la precedente, no utilizando ms instrumento que la regla. Es la geometra proyectiva. La veremos muy superficialmente. Admitimos los conceptos de punto y recta (definidos por determinados axiomas).
302

La geometra proyectiva es el ms importante descubrimiento pintores del. enectmtento.

de los

303

A su esposa que le instaba a reunirse con ella en el lecho, Uccello responda: .iQu bella es la perspective!, Cuando qued ciego, Piero della Francesca conclua su obra con el primer tratado: -De prospectiva pinqendi,

304

En el plano, convenimos Llamaremos conjuntas.

en fijar una recta O. a las rectas que se cortan

en un punto

O:,

a, b, e se llaman -conjuntas-. La conjuncln- (1) es una relacin reflexiva, simtrica y transitiva (como el paralelismo). Llamamos -conjuntoqrarna- a todo cuadriltero cuyos lados son -conjuntos- dos a dos.
fe

a bcd es un conjuntograma. ab y dc son equiconjuntos. da y cb son equiconjuntos.

(1)

Hemos creado un vocabulario especial con el propsito de simplificar nuestra exposicin. las palabras -conluncln- y -conluntoqrama- han sido .Inventadas para vuestra comodidad.

30S

Llamamos -equlconluntos- a los lados opuestos de un conjuntograma. Ser equconluntos- es una relacin reflexiva, simtrica y transitiva (como la equipolencia). 4.2 Con la regla podemos graduar la recta con nmeros enteros. Define un .orden. en la recta.

-1

'2

4.3
Con la regla. podemos tambin sealar los puntos medios entre segmentos.

4A
La escala de graduacin de una recta podr ser dividida tan finamente como se desee. . Todo punto de una' recta graduada podr ser asociado biyectivamente con un nmero real (postulado). 306

4.5
La graduacin de una recta puede ser transportada otra recta. conjuntamente a

4.6
Todo punto del plano puede ser determinado por proyecciones juntas sobre dos rectas graduadas. El plano puede ser considerado como un espacio vectorial. La regla permite transformar proyectivamente al plano. La transformacin siguiente se llama homologa: con- '

aa' \ bb' ( cc'

concurrentes

\ \

\ \ , , ,

ac y a'c' ) cb y c'b' ( conjuntas ba y b'a' ~

I I I

, \

I I

\ \
\ ,
\

I I
I I

, I
\
\

5. La geometra de la regla y del pleqado (geometra euclid lana)

5.1 El plegado corresponde en realidad a una simetra axial. Una simetra axial implica ortogonalidad. La geometra del plegado. es, pues, la geometra de la regla y de la escuadra (considerada como trasladador de paralelas y trazador de ngulos rectos); o si se prefiere, la geometra de la regla y del comps.

A
p )f-----------------I------------------~ p ,
p'

(p) s-' (p)

307

5.2 La composicin lacin: de dos simetras axiales de ejes paralelos es una tras-

)l ...............

,)11

Jt

p'

,JI

(pp")

= (p.a) + (apl
_ 2 (apI

(p'a)

Ia'p")

2 (p'a')

-= 2 (aa') 5.3
La composicin de dos strnetrlas axiales de ejes no paralelos es una rotacin (por definicin).
d

.,,

.,,
\

.,,,

, , , '. \. , , ,

..

, , , ,
I

. . . ..

5.4
Una vez definida la rotacin, definiremos medida. 308 la -dlstancla-, el ngulo y su

Espacio mtrico concebido por un artista paralelogramos todos iguales y rectngulos

romenico: nada ms que todos iguales.

309

5.5
Las transformaciones del espacio que conservan las distancias se llaman isometras. Son composiciones de simetras axiales.

6. Ajuste de las geometras

6.1
Consideraremos que el espacio est estructurado como un espacio vectorial. En un espacio de n dimensiones, cada punto se asocia con una n-tupla de nmeros reales, que son sus coordenadas. Con estas n-tuplas se definen determinadas transformaciones cuya composicin forma grupo. La geometra de este espacio es el estudio de los invariantes por esta transformacin. Tomaremos como ejemplo el plano (espacio de dos dimensiones): E~ = ~ (x. y) , x E

et y E

IR ~

6.2
Geometra proyectiva. Viene definida por la transformacin:

ax x px

by'

+ e

. + qy + r .

dx ' + ey + f
y px

qy

+ r

a b c
con d e f p q r

t- O

invariantes: recta, punto, producto anarmnico, conjugados armnicos, tangente, polar, etc.

310

Ejemplo de teorema proyectivo: Las diagonales de un cuadriltero

se cortan

armnicamente:

r..
I I

d
/"

..

.,1
.;

/ ';'" ..... ".

.....

...
". ". ".

(dcqr)

(ebqp)

(afrp) -

6.3
Geometra afn Viene definida por la transformacin: x y ax' + by' dx' + ey

+ +

c f

invariantes: todos los invariantes proyectivos, paralelismo, producto de seccin, punto medio, centro de simetra, asntota, etc. Ejemplo de teorema afn: Las diagonales de un paralelogramo se cortan en su punto medio:

."

.. .' .. ..

.:

....

,"

..

,~

..

.:

.. . q .... .. ....

. ..

."

......
..

. . .

...,

......

....

...

.-.

",.

.. ' .. ..

311

Todos los teoremas cio afn.

del espacio proyectivo

son vlidos

para el espa-

Nuestra vleln es provecttve: la mquina totogrfica nos lo prueba. No obstante, miramos derecho: as pues, las vertcales permanecen verticales.

312

Curiosamente, el ornamento de los techos hace mucho tiempo que haba mpuesto una visin proyectiva: aqu las verticales se renen en el centro de la bveda.
313

Los Embajadores de Holbein. Detrs de ellos. la medida del tiempo: relojes de sol, aparatos de uso astronmico, un lad. Un lad que tiene una cuerda rota. y en primer plano, un huso claro, que atraviesa el cuadro, fantasma incomprensible de una cuarta dimensin. La transformacin proyectiva y total de un crneo. Para volverlo a su

forma primitiva hay que mirar horizontalmente el cuadro de la derecha hacia ebeo. El hombre mide el tiempo, pero el tiempo mide al hombre.
314

6.4
Geometra euclidiana. Viene definida por la transformacin: x = ax' + by' + c y = dx' + ey' + f con a' + d2 = b" + e2 =1= O invariantes: todos los invariantes afines, ngulos, ortogonalidad, circunferencia, equilateralidad, ejes de simetra, etc. Ejemplo de teorema euclidiano: Las diagonales de un rombo son ortogonales:

\,,

, ,

..

..'q .,
"

. , ..

...... ."

...tII-

..... ..... ~

.. .>

'\

"" ,

Todos los teoremas del espacio afn son vlidos para el espacio euclidiano.

6.5
Geometra mtrica. Viene definida por: x ax' + by' + c y = dx' + ey' + f con a2 + dll = b2 + e2 = 1 invariantes: todos los invariantes euclidianos, distancia, rea, volumen.

7. La metafsica euclidiana
7.1
El rigor de la exposicin euclidiana no es ms que aparente. Euclides mezcl las propiedades sin estructurar el doble movimiento de abstraccin y concretizacin, movimiento unido a la reduccin o a la ampliacin del nmero de axiomas y definiciones. Introdujo el -desplazarnlento- como una evidencia sin advertir que las propiedades que crey demostrar eran precisamente las que definen estos desplazamientos.
315

Espacio eiin

de Giotto

(1266-1337), pintor gtico: ningn rectngulo, pero si paralelgramos.

Espacio perspectivo de Masolino (1383-1447) del principio del Renacimiento. Las horizontales paralelas se cortan en la linea del horizonte; las verticales permanecen paralelas.
316

No concibi el desplazamiento como una transformacin particular del espacio susceptible de ser generalizado en otras transformaciones. No obstante, gozaba de la visin como todos nosotros y poda darse cuenta de que la geometra del ojo era -proyectlva- y no mtrica'. El monumento de los trece libros euclidianos fue una obra maestra en su tiempo. Pero, ahora, es una obra maestra arqueolgica. Nada es menos natural que el encadenamiento de los teoremas euclidianos; no es ms que una ancdota ridcula en la pequea historia de las matemticas como la de su redescubrimiento por el pequeo Pascal. Privado de la geometra por su pap, el pequeo Bias habra encontrado l solo las primeras proposiciones de Euclides . Esto corresponde a una visin institucionalizada de la matemtica considerada como -natural-, con el mismo ttulo que la moral. la religin o la administracin pblica. Desde el s.qlo XVII, el hombre ha conquistado cada da ms libertades. la ms reciente es el derecho a estructurar el edificio geomtrico de otro modo y no por la conformidad escrupulosa con una palabra pseudorrevelada.
1(

7.2
Vamos a fijarnos en particular en una de las concepciones euclidianas ms tradicionales, la del espacio infinito, para comprobar que est cargada de una metafsica temeraria, aunque muy disimulada. En Euclides, el plano se presenta como un universo. En l se considera la geometra desde un punto de vista -Intrtnseco- (Sin salir del plano). Se introducen muchos postulados y en particular ste tan conocido de la paralela (1). . El cilindro. el cono y la esfera se representan como sumergidos en un espacio de tres dimensiones, el universo euclidiano. Son estudiados desde un punto de vista extrnseco (se les observa desde fuera), es decir, que no son del universo. Por el contrario, el espacio de tres dimensiones es el nico del universo. Su estructura es considerada como absoluta. No se dan cuenta los gemetras euclidianos que este espacio podra tener otras propiedades que las que se derivan de los postulados.

7.3
Para ensearos la necesidad de una puesta a punto de la cuestin. trabajamos en espacios de dos dimensiones que podris considerar ms cmodamente desde un punto de vista extrnseco.

(1)

Recordmoslo: por un punto no puede pasar ms que una sola paralela a una recta dada.

317

En el plano euclidiano Por dos puntos distintos podemos hacer pasar una sola recta.

Sobre la esfera (1) Por dos puntos distintos, no antpodas, podemos hacer pasar un solo circulo mximo.

"*,_ ..---"

-- ...__

la recta y el crculo maxrrno son cada uno la .geodslcams corto entre dos puntos) de su espacio: a

(el camino

\
\ \

-----,----I

... L

--~--_

"

Dos rectas perpendiculares a una tercera son siempre paralelas entre si.

No hay crculos mximos paralelos. la esfera es un espacio sin geodsicas paralelas.

(1) Nuestro vocabulario est impregnado de la concepcin .euclldlana-. Decimos -enel plano porque el plano puede ser un universo; por el contrario. decimos -sobrela esfera porque la consideramos fuera de ella misma, desde un punto de vista extrnseco.

318

e La suma de los ngulos de un tringulo es igual que dos rectos. La suma de los ngulos de un tringulo es mayor que dos reotos.

7.4
Para transformar un E2 en un plano euclidiano. es preciso atribuirle un cierto nmero de axiomas. Los .axiomas. no son, como se pretenda antiguamente (1), -verdades evidentes Que no necesitan demostracin . Son, en realldad, los criterios que hemos convenido en exigirle a un ser para permitirle llevar un 'cierto nombre . Podramos convenir en llamar plano- a un conjunto de puntos (o de rectas) en el que el sistema de axiomas conducira a la no existencia de paralelas y' en el que la suma de los ngul'Os de un tringulo sobrepasara los dos rectos.

7.5
Pero entonces, diris, es la experimentacin de lo que nosotros llamamos plano- y que debe permitirnos reconocer los axiomas necesarios para su definicin. Si, por ejemplo, en lo que llamo plano, trazo

(1) la ilusin de Ia verdad evidente- proviene de lo que se sabe de una manera experimental sobre los seres que van a llevar tal nombre. SI os enseo un re nnculo, y os digo: -el rannculo es amarlllo-, tomaris quizs este enunciado como una verdad evidente porque, en realidad, el amarillo es uno de los criterios de definicin del rannculo. llam -rannculo- 'a un ser que, evidentemente, es amarillo. No llamo rannculo a un 'aciano o a un amapola.

319

lo que llamo un tringulo y mido lo que llamo los ngulos comprobar que la suma de los ngulos me da, efectivamente, dos rectos. Habra mucho que discutir sobre lo dicho anteriormente. Y ante todo comprobar que, por la imperfeccin de los instrumentos utilizados (transportador, espesor de los trazos del lpiz, lectura a ojo, etc.) no tendremos nunca una verificacin absoluta sino ms bien una verificacin aproximada. . En el espesor de un trazo de lpiz hay lugar para una infinidad de medidas. Lo que la comprobacin nos ensea es que nuestras hiptesis son satisfechas en el lmite de la aproximacin requerida. y est muy bien as. Pero esto no transforma nuestras hiptesis en verdades. A lo sumo, son convenciones cmodas.

..

7.6
Imaginad una esfera de acero de radio extremadamente grande con respecto a la dimensin del hombre; por ejemplo, una esfera de un radio de 1000 km (si esto no es suficiente para convenceros, multiplicad por 10 tantas veces como queris). Imaginad tambin que, en esta misma esfera, recortamos un pequeo casquete de un dimetro de 10 cm. Pensis ser capaces de distinguir si este trocito de acero es esfrico o plano? De todas formas, ser -rns sencillo utilizar esta superficie de acero como si fuese plana en el sentido tradicional, es decir, euclidiana. Pero si os pregunto lo que esta superficie es -en s-, en su totalidad, ser imposible decidir si es un plano, una esfera, un cono, un elipsoide o cualquier otra clase de superficie extrnsecamente imaginable. En otras palabras, si consideramos el trocito de acero como un fragmento del universo, nuestro parecer sobre su estructura total absoluta es de orden metafsico, y nada nos permite considerarla como euclidiana o no euclidiana de cualquier clase que sea ..

7.7
El espacio de tres dimensiones, en el que estamos intrnsecamente sumergidos, nos lleva a una experimentacin irrisoria. En este pequeo volumen de espacio, los axiomas de la geometra euclidiana se imponen muy probablemente por su comodidad, pero nunca por su verdad .

7.8 y si, pensemos un poco, nuestro universo de tres dimensiones

era intrnsecamente anlogo a nuestra esfera (concebida como un espacio de dos dimensiones) nuestro universo no sera infinito; habrla forma de darle la vuelta, la cantidad de energa que contendra sera limitada, etc. .

320

He aqu el parecer metafsico de Kepler: .EI sistema solar est construido segn el modelo por el ajuste de cinco poliedros regulares y de sus esferas inscritas y clrcunscrltes, Fue un sueo del matemtico poeta que, por otra parte, descubri las leyes del movimiento elptico de los planetas.
321

Y si era, adems, una cosa distinta que el hiperplano euclidiano o la hiperesfera riemanniana (1)? iEst permitido soar un poco, despus de todo! Y podemos preferir los sueos que nos ahorren los horrores del infinito. Precisamente, las aportaciones de la astronoma y de la fsioa nos han obligado a abandonar la geometra euclidiana tan pronto como las distancias se han vuelto suficientemente grandes. Es una consecuencia de la relatividad generalizada (2) el hecho de que el universo no sea euclidiano. La geometra euclidiana tradicional proporciona, pues, la ilusin cte un racionalismo victorioso. Nos lleva a una cierta imagen del universo infinito. No representa ms que un criterio metafsico.

7.9
Para terminar, os proponemos la reflexin siguiente: Los pueblos han imaginado siempre que el Creador utilizaba su propia tecnologa. Los que conocan la agricultura han considerado al demiurgo como un gran jardinero. Los que practicaban ,el arte del alfarero han contado que Dios hizo al hombre al torno. Dios fue arquitecto, gemetra, cazador o guerrero segn las proyecciones que el hombre haca de s mismo por su propia ignorancia. Hoy, la apuesta est todava en pie. Pero lo est en el lenguaje de la tecnologa actual, es decir, en el lenguaje del ingeniero, del fsico y del matemtico. Este lenguaje debe ser conocido por -qulen quiera arriesgar su criterio. Pero, a pesar de la novedad de las formas, el hombre conserva slernpre la libertad de opinar.

(1)

Riemann (1826-1866) concibi una geometra pus a una mtrica cualquiera.

de la hiperesfera

y la generaliz desdeJ siglo XX sobre

(2)

Einstein (18791955) public en 1913 la obra ms importante la teora de la relatividad restringida y general.

322

"".~ ,

..

"

De nuevo el Angel de la Melancola! -Cmo poner un poco de orden en todo esto?, suspira. - Con la Matemtica Moderna, seguro! lt
323

APENDICE

SIMBOLOS utilizados

MATEMATICOS en esta obra

pertenece a no pertenece a

igual a no puede ser igual a equvalente a no equivalente a idntico a ~ aproxi madamente mayor que menor que no es mayor que no es menor que puede ser mayor o igual puede ser menor o igual

.3

comprende a no comprende a contiene a no contiene a

est contenido en no est contenido en

> <

n
u
INZ<Q:

interseccin unin signos convencionales de conjunto conjunto vaco

\
singleton a
~ a, b ~ par a b (a, b) : pareja a b
326

menos (diferencia) diferencia simtrica

suma disyuntiva producto cartesiano

star (indica una operacin cualquiera) conjuncin (producto lgico)

ssi

si y slo si negacin complementacin implicacin contradiccin o inepcia evidencia o tautologa

disyuncin (suma lgica) se superpone, se imbrica a (conjuntos no disyuntivos) no se superpone, no se imbrica a (conjuntos disyuntivos) nmero cardinal de tal que

( ) -1

recproco o simtrico redondo (composicin de dos relaciones)

327

BIBLIOGRAFrA

Abellanas Cebollero. Pedro: Introduccl6n a la Matemtica. Madrid. s. f. VII + 299' p. Aizpun. Alberto: Teoria y didctica de la Matemtica actual. 1. (Plan 1967). Madrid. s. f. 284 p.; 11. Madrid. s. f. 188 p. Allen. R. G. D.: Introducci6n a la Matemtica moderna. Barcelona. 1964. 288 pp. Allendoerfer. Carl y Oakley, Cletus: Introduccl6n moderna a la matemtica superior. Madrid. 1967. 553 p. Bailey, C. A. R.: Conjunto y 16gica. 1. Barcelona. s. f. 132 p.: 11. 104 p. Bruo: Matemtica moderna. Madrid, 1966. 344 p. - Matemtica moderna. Madrid, 1970. 182 p. - Matemtica moderna. Gua ddctica. 4.0 ao. Madrid, 1970. 184 p. Casulleras Pags, Juan: Matemtica moderna (Plan 1967). Madrid. 1970. 182 p. Courant, R . y Robins, H.: Qu es la matemtica? 5.& ed. Madrid, 1967. 574 p. Dienes, Z. P.: Los primeros pasos en matemticas. 1: L6glca y juegos lgicos. Barcelona, s. f. 144 p. - La matemtica moderna en la enseanza primaria. Barcelona, s. f. - Los primeros pasos en matemtica. Exploracin del espaco y prctica de la medida. Barcelona, s. f. 128 p. - Bloques Multibase para Matemtica moderna. Barcelona, s. f. 1336 piezas. - Bloques lgicos para Matemtica moderna. Material de iniciacin a las nociones de lgica y conjuntos. Barcelona, s. f. Dienes, Z. P., y Golding, E. W.: Conjuntos, nmeros y potencias. Barcelona, s. f. 112 p. - La geometra a travs de las Transformaciones. l. Topologia, geometra proyectiva y afn. Barcelona, 1969. 168 p.; 11. Geometra euclidiana. Barcelona, 1969. 168 p.; 1/1. Grupos y condensados. Barcelona, 1970. 2 lminas. Fletcher, T. J.: Ddctica de la Matemtica moderna en la Enseanza Media. Barcelona, s. f. 472 p. Garca Pradillo. Julio: Matemtica de siempre. Didctica de hoy. 1-11. Madrid. 1968. 310 + 192 p. Maj Torrent, Juan: Estadstica matemtica y clculo numrico grfico. Barcelona, 1964. 288 p. Matthews. G.: Matrices. Principios de Matemtica moderna. Barcelona, s. f. 2 v. Papy, G.: Matemtica moderna. 1. Madrid. 1968. 480 p.

Puig Adams, Pedro: Clculo integral. Madrid, 1968. 322 p. - Ecuaciones diferenciales. Madrid, 1967. 429 p.

Curso de Geometra Mtrica. 1-11. Elementos y Complementos. Madrid, 1965-69. 332 + 380 p. Reqletas Teide: Acoplables y de colores. Material para la enseanza de la matemtica. Barcelona, s. f. Reynols, J. A. C.: Forma, tamao y lugar. Barcelona, 1968. 92 p. Rey Pastor, Julio: La Matemtica Superior. Introduccin a 18 Matemtica. Madrid, 1951. 362 p. Rodrguez Vidal, Rafael: Introduccin a la Matemtica superior. Ma-' drid, s. f. 380 p. - Frmulas. Matemtica moderna. Barcelona, 1970. 192 p. Romero Mndez, Rubn: Matemtica histrica. Madrid, s. f. Sherlock, A. J.: Estadstica y probabilidades. Barcelona, s. f. 134 p. S. M. - Marcos, C., y Martnez, J.: Matemtica moderna. l,-II-III-IV. Plan 1967. Madrid, 1970. Revlida ele.mental. 4.0 ao. Madrid, s. f. Trejo, Csar A.: Matemtica elemental moderna. Madrid, s f. 516 p. Vila Mitj, Antonio: Ejercicios de Matemtica moderna. Barcelona, s. f. 138 p. -

IN DICE DE MATERIAS

Introduccin

CAPfTULO I Conjunto y elementos Los significados en la lengua usual y en la lengua matemtica . 2. - Una oposicin: conjunto/elemento 3. - La Pertenencia 4. - Escritura 5. -Ideogramas de Euler-Venn 6. - Orden de los elementos . 7. - Repeticin de un signo . 8. - Conjunto de significandos y conjunto de significados 9. - El elemento y los objetos que se asocian a l 10. - De la libertad de asociacin. 11. - Formacin por enurneracion . 12. - Definicin por caracterizacin 13. - Conjuntos correctamente definidos 14. - Conjuntos objetivos y conjuntos subjetivos 15. - Cardinal de un conjunto 16. - Los pares 17. - Los singletons 18. - Conjunto vaco 19. - Los conjuntos de conjuntos y su jerarqua 20. - La teora natural y la teora axiomtica . 1. 13 14 16 18 20 23 25 26 28 30 33 36 37 40 42 44 45 48 54 56 60

CAPfTULO 11 Partes de un conjunto: la inclusin 63 63

1. - Subconjunto e inclusin . 2. - Pertenencia e inclusin . 3. - La inclusin como enunciado de ausencia 4. - Reflexividad de la inclusin . 5. - Antisimetra de la inclusin . 6. - Transitividad de la inclusin . 7. -Inclusin del vaco . 8. - Negacin de la inclusin .

67

69
73

74 76 79
80

330

9. 10. 11. 12. 13. 14. 15. 16. 17. 18. -

La disyuncin y la imbricacin Conjunto de las partes . Particin de un conjunto . Particin de los tringulos del plano. Particin de los cuadrilteros del plano. Aplicacin lingstica: la caracterizacin Aplicacin lingstica: el predicado. Aplicacin lingstica: los artculos. Aplicacin lingstica: las acepciones de "ser" . La deduccin lgica .

81 83 85 86 90 97 99 100 101 103

CAPrTULO III lgebra de los conjuntos 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. . 109 109 115 118 119 125 126 128 130 131 134 136 139 142 143 145 145

Qu es una operacin numrica? Qu es una operacin en general? . Operaciones en un conjunto de conjuntos La interseccin La sustraccin La unin . La diferencia simtrica Propiedades generales Tautologas y no tautologas. Referencial Complementacin Operaciones que se pueden realizar con dos conjuntos. Dualidad interna . Vuelta a nuestras antiguas "representaciones grficas. Bloques lgicos . Fichas lgicas (tarjetas perforadas) .

CAPrTULO IV

La lgica como una lgebra de enunciados .

1. - El enunciado, elemento de una lgebra 2. - Enunciados, lexis y condiciones . 3. - Algebra lgica de los enunciados 4. - Conjunto de operaciones lgicas. 5. - La implicacin 6. - La equivalencia 7. - La deduccin. 8. - Los llamados lugares geomtricos 9. - Aplicacin lingstica: las conjunciones de coordinacin. 10. - La lgica de las mquinas . 11. - De la importancia de ser mentiroso.. .

149 151 153 155 161 164 169 169 171 172 175 178

331

CAPITULO V Las relaciones 1. 2. 3. 4. 5. 6. -, 7. 8. 9. 10. 11. El asesinato considerado como-una relacin binaria. La pareja y el par . El producto cartesiano de dos conjuntos Definicin de una relacin binaria Relaciones particulares . Enunciados relacionales . Relaciones con n trminos Composicin de dos relacones Propiedades de las relaciones Relaciones y correspondencias El nmero antes que la relacin? La relacin antes que el nmero? . 183 183 188 191 196 201 204 205 205 210 225 229

CAPfTULO VI Qu es una estructura? 1. ~. 3. 4. 5. 6. 7. . 233 235 241 244 247 251 252 256

Aritmtica en la pequea semana La estructura en general . Estructura de grupo de orden 4 . Grupo del rectngulo (grupo de Klein) Grupo del tringulo equiltero . La estructura de grupo . Las estructuras de la matemtica

CAPITULO VII Plan para el estudio elemental 1. 2. 3. 4. 5. de los conjuntos numricos . 265 267 273 274 275 275

Conjunto de los nmeros naturales N . Conjunto de los nmeros enteros Z . El conjunto de los nmeros racionales O Conjunto de Ios reales y de los complejos Otros conjuntos .

CAPrTULO VIII Las estructuras 1. 2. 3. 4. del espacio geomtrico . 277 279 292 300 302

Los instrumentos divinos La geometra del trasladador (geometra afn) El espacio vectorial . Geometra de la regla (geometra proyectiva)

332

geometra de la regla y del plegado (geometra eucli diana) 6. - Ajuste de las geometras . 7. -la metafsica euclidiana . 5. -la Apndice Smbolos matemticos utilizados en esta obra Bibliografa Iconografa

307 310 315 325 326 328 334

333

ICONOGRAFIA

La Templanza, de Pierre Brueghel el Viejo. Biblioteca Albertina, Bruselas 5 Miniatura de la Biblia de- Perre le Mangeur. Siglo XIV. Biblioteca Nacional, Pars . 17 Cartel de reclutamiento (Inglaterra, 1914-18) 19 Mosaico de Delos . 21 Mosaico. Museo de Susa (Tnez) . 22 Tumba de Filnico y Demetrio. Museo Britnico, Londres. 22 El ngel de la octava esfera. Grabado annimo florentino del siglo XV. Galera Nacional de Arte, Washington. 27 Unicornio en cautividad, tapiz. Museo Metropolitano de Arte Col. John D. Rockefeller . 50 Alicia en el Pas de las Maravillas. Ilustracin original de John Tennien 104 El juramento de los Horacios, de David. Museo del Louvre, Pars. 186 Cartel de reclutamiento (Inglaterra, 1914-18) . 189 La justicia y la venganza persiguen el crimen, de Prud'hon. Museo del Louvre, Pars . 207 Marilyn Monroe ante un espejo . 221 Escala de las Edades. Imgenes de Epinal. Impreso por Pellerin. 223 El rbol rosa, el rbol plateado. Manzano en flor. Ediciones Hnos. Fabbri. Stedelijk Museum, Amsterdam . 242-243 De humani corporis fabrica (1543), de Andrs Vesalio. . Dibujo cubista, de Luca Cambiaso (1527-1585). Museo de los Oficios, Florencia . Verano, de Arcimboldo. Kunsthistorisches Museum, Viena . Retrato del inventor. Grabado de la Biblioteca Nacional, Pars Paisaje antropomorfo, del Maestro de los Pases Bajos meridionales. Siglo XVI. Col. F. Heulens, Bruselas . Dios Padre, de una Biblia francesa del siglo XIII. Biblioteca Nacional, Viena. Codo 2554 . Geomtrica y Perspectiva, 1555, de Lorenz Stor. Biblioteca Nacional, Pars Libro de persepctiva, 1560, de Jean Cousin Pere. Biblioteca Nacional, Pars 253 25~ 261 262 263 282 303 304

334

la Jerusaln celeste, del Maestro lombardo, annimo de la segunda mitad del siglo XI. San Pietro al Monte . las columnas del templo de Neptuno, Paestum . San Joaqun y santa Ana con la Virgen nia, de un mosaico de la iglesia Kariye-Camii, Estambul . los embajadores franceses en la corte de Inglaterra, de Holbein, 1533. National Gallery, londres Banquete de Herodes, del baptisterio de Castiglione Olona . San Francisco dando su manto a un pobre, fragmento de un fresco de Giotto Sistema de Kpler. Documento de la Biblioteca Nacional, Pars.

309 312 313 314 316 316 321

los dibujos fueron realizados por Alain Roussel y las fotografas son de Jean-Francols Moullec.

335

DAIMON
Las operaciones de " conjuntos" son la base de una nueva forma de contemplar la vida. La Matemtica Moderna no es un invento diablico para fastidiar a los nios y poner en evidencia a los mayores. Es el lenguaje de hoy y; sobre todo, del futuro: el leng uaje de los ordenadores. Este libro se ha escrito pensando sobre todo en los adultos. Va dirigido: -A los padres que deseen iniciar un dilogo constructivo con sus hijos. . -A los profesores, a quienes bAnda el sistema de salvar muchos escollos. DAIMON lo publica para divulgar una clenela que ensea a razonar y a juzgar -con sentido. crtico cuanto nos rodea.

EDICIONES DAIMON - MANUEL TAMAYO

MADRID - BARCELONA - MEXICO