Anda di halaman 1dari 1

§1-6 INTRODUCCIÓN LÓGICA 9

conjuntos disjuntos (sin elementos comunes) tales que a y b pertenecen a la


misma clase cuando, y sólo cuando, a E b.
  Demuéstrese este teorema definiendo para cada a el conjunto Ka de todos
los x tales que x E a, y probando que:
 1º  ) a pertenece a Ka;
 2º  ) a E b, cuando, y sólo cuando, a y b pertenecen a una misma clase (di-
gamos Ka) ;
 3º  ) dos clases con un elemento común coinciden.
  6. Definiciones por abstracción. — Cuando miramos una fotografía
y su ampliación, reconocemos inmediatamente que no se han tomado dos
fotografías. Las figuras tienen "algo" de común, álgo igual, que llamamos
"forma", y a la cual llegamos haciendo abstracción de tamaño, color, etc.
Todo proceso de abstracción como éste se puede formalizar matemáticamen-
te, mediante una relación de equivalencia (§ 1-5). En el ejemplo que nos ocu-
pa la semejanza, por ser una relación de equivalencia, divide a las figuras
planas en clases, lo que permite definir por abstracción la forma: dos figuras
planas tienen la misma forma cuando pertenecen a la misma clase. Como
cada figura determina perfectamente la clase a que pertenece, puede tomar-
se como representante de dicha clase. Con frecuencia, en las definiciones por
abstracción se consideran no las clases, sino elementos representantes de
ellas.
  Nota 1. Es importante observar que la relación de equivalencia no nace de la co-
munidad del carácter abstracto, sino que lo engendra. Por ejemplo: no podemos defi-
nir la semejanza como igualdad de forma, pues es justamente la relación de "seme-
janza" la que permite introducir la noción de "forma". Cada relación de equivalencia
permite definir por abstracción un nuevo concepto.
  Ejemplos: 1. El paralelismo entre rectas (con el convenio de considerar cada recta
paralela a sí misma) es una relación de equivalencia. Cada una de las clases es un
haz impropio de rectas. Así, por abstracción definimos la dirección, estableciendo
que dos rectas tienen la misma dirección cuando pertenecen al mismo haz impropio.
Cada dirección quedará determinada tomando una recta del haz como representante
del mismo.
  2. Dos segmentos orientados (es decir, con origen y extremo) se llaman equipolentes
cuando tienen la misma longitud, dirección y sentido. La equipolencia es una relación
de equivalencia. Cada una de las clases define un vector libre. Se lo representa por un
segmento orientado A B, representante de la clase, o por cualquier otro representante
A' B' de la misma clase, es decir, cualquier segmento orientado equipolente al
anterior.
  Nota 2. Éste es el primer tipo de definición creadora de un nuevo concepto. En
ocasiones ocurre que hay varios sistemas de entes a los cuales puede referirse el
concepto creado, pero si puede establecerse entre ellos un isomorfismo, es decir, una
correspondencia biunívoca (§ 2-8) en la que se conserven las propiedades que determinan
el concepto, se dirá quo éste es esencialmente único (según el lenguaje de Veblen).
Por ejemplo, el concepto de vector libre del espacio tridimensional introducido en