lunes, 31 de agosto de 2015

El uso del punto y la coma decimal

El lenguaje usado por las matemáticas comprende un conjunto de signos, símbolos y notaciones para representar y operar con los diferentes conceptos matemáticos. Cuando se introduce un nuevo concepto en matemática se muestra también la forma como se le va a denotar. Se tratan de convenciones que buscan facilitar y estandarizar el tratamiento del concepto. Sin embargo las convenciones adoptadas en matemáticas no siempre se llegan a legitimar en el uso diario sobre todo de aquellos alejados del circulo académico matemático. Un ejemplo de esto lo tenemos con el sistema centesimal de medida angular. El sistema centesimal o francés, surgido como consecuencia de la revolución francesa, tiene como unidad el grado centesimal (1g) el cual es la 400ava parte de una vuelta. Sus subunidades son el minuto centesimal (1g=100m) y segundo centesimal (1m=100s). Al tomar como base el 100, a diferencia del sistema sexagesimal cuya base es 60, se buscaba facilitar el cálculo al operar con medidas de ángulos planos. A pesar de estas ventajas las personas estaban muy acostumbradas a trabajar con el sistema sexagesimal o inglés. El sistema centesimal no se llegó a popularizar ni siquiera en Francia y actualmente prácticamente ha caído en desuso. 

Algo similar viene ocurriendo con la representación decimal donde las normas indican el uso de la coma pero suele presentarse con el tradicional punto. En nuestra vida cotidiana, encontramos ejemplos de diferentes formas de escribir números decimales. La primera forma, que llamaremos punto decimal, es cuando se usa el punto en un número decimal para separar las cifras de la parte entera de las cifras de la parte decimal. La segunda forma, que llamaremos coma decimal, es cuando se usa la coma en un número decimal para separar las cifras de la parte entera de las cifras de la parte decimal. Así encontramos en la página web http://www.bvl.com.pe/ de la Bolsa de Valores de Lima (BVL) información presentada usando el punto decimal, mientras que en la sección economía de la web de El Comercio (http://elcomercio.pe/) encontramos información donde se usa la coma decimal. En nuestro país, fuera del ámbito de la educación básica, es intensivo el uso del punto decimal. Así en los recibos de agua, luz y teléfono, estados de cuenta de las tarjetas de crédito y vouchers de depósitos, entre muchos otros ejemplos, se nos reporta la información numérica haciendo uso del punto decimal. El uso de la coma es más común como separador de la cifra de los miles. Un ejemplo lo encontramos en los valores numéricos que representan los precios de determinados artículos en los catálogos de ofertas. Incluso el uso de la coma y el apóstrofo, para destacar los miles y millones, al promocionar un premio. Por ejemplo en la web de La Tinka (http://www.intralot.com.pe/intralotportal/tinka) hay un banner que anuncia un “pozo acumulado 02 set S/. 1’800,000”.

En sus respectivas webs instituciones del estado como SUNAT y ONPE presentan información donde usa el punto decimal y la coma para los miles. En lo cotidiano, son más los casos en que un ciudadano lee, escribe y/o manipula números haciendo uso del punto decimal que con la coma decimal. Basta ver un catálogo web o impreso de conocidas tiendas de departamentos que operan en el país. Lo contrario ocurre en la educación básica donde una revisión de los libros de secundaria muestra el uso de la coma decimal. Representar números decimales usando la coma decimal responde a las reglas dadas por el sistema internacional de unidades (SIU) y que en nuestro país son adoptadas por el INDECOPI. Según el SIU:
  • Se debe separar la parte entera de la parte decimal mediante una coma. No debe usarse el punto para separar enteros de decimales.
  • Si la parte entera (o decimal) de los valores numéricos tiene más de cuatro cifras se recomienda escribirla separando, por un espacio en blanco, grupos de tres cifras contados a partir de la coma decimal.
Esta última recomendación no aplica para indicar el año como por ejemplo 2015. Por otro lado la Organización Internacional de Normalización (ISO) señala el uso de la coma decimal en todos sus documentos y normas técnicas. Sin embargo estas reglas no son rígidas. Así el SIU indica que en los casos que los valores numéricos representen alguna cantidad que podría dar lugar a fraude o estafa se pueden eliminar los espacios en blanco. Al mismo tiempo  las normas ISO no son obligatorias en países como EEUU donde usan el punto decimal. La gran mayoría de artículos de investigación que siguen las normas APA (American Psychological Association) hacen el uso del punto para cantidades expresadas en decimales. En las pruebas del GMAT (Graduate Management Admission Test) y GRE (Graduate Record Examination) se escriben los números decimales usando el punto y las cifras en miles son separadas con comas. Esta norma también la adoptan algunos centros preuniversitarios de Lima.

La matemática tiene su propio lenguaje, por tanto una semántica y sintaxis propia. Nos valemos de símbolos, signos y reglas para trabajar con los objetos matemáticos. Así como para el lenguaje común Wittgenstein decía “… ¡No busquéis su significadoBuscad el uso” la discusión acerca de representar números con la coma decimal o con el punto decimal debería tomar en cuenta su uso. Lastimosamente, y una vez más, encontramos aquí una diferencia entre lo que se enseña en los colegios y lo que se utiliza en la vida cotidiana.

domingo, 9 de agosto de 2015

Una mala representación de los conjuntos numéricos

Al hacer una búsqueda por Google acerca del tema conjuntos numéricos en las imágenes encontramos un buen número de representaciones como la mostrada en la figura 1. Sin embargo esta representación no describe en forma correcta las relaciones que existen entre los distintos conjuntos numéricos. Se muestra una zona de números reales que no son racionales ni irracionales y sabemos que no existen este tipo de números.

Hagamos una rápida revisión de los conjuntos numéricos.

El primer conjunto que mencionaremos es el de los números naturales. Este conjunto, representado por N, comprende aquellos números que utilizamos para contar como el uno, dos, tres, cuatro, etc[1].

N = { 1, 2, 3, 4, 5, 6, 7, 8, 9, ... }

El conjunto N es cerrado con respecto a la adición y multiplicación. Esto es que dados dos números naturales a y b, la suma a+b y el producto a.b también son números naturales. El conjunto N no es cerrado con respecto a la sustracción lo que nos lleva a la necesidad de un conjunto que permita esta operación dentro de él.
Este segundo conjunto, que cubre la necesidad señalada anteriormente, es el de los números enteros. Este conjunto, representado por Z, comprende los números naturales, sus respectivos opuestos aditivos y el cero. Dicho de otra forma el conjunto Z es la reunión de los enteros positivos Z+, el cero y los enteros negativos Z-.

Z = { ... -4, -3, -2, -1, 0, 1, 2, 3, 4 ... }

El conjunto Z es cerrado con respecto a la adición, sustracción y multiplicación pero no respecto a la división. Así dados dos números enteros a y b, el cociente de ellos a/b no siempre es un número entero. Tomemos por ejemplo el caso de los enteros 2 y 5. Tomados en ese orden, su suma 7, diferencia -3 y producto 10 son números enteros, mientras que su cociente 0.4 no lo es.

El tercer conjunto, representado por Q, es el de los números racionales. Este incluye al conjunto de los números enteros. El término racional viene de ración (parte de, fracción). En general diremos que un número es racional si puede escribirse como la fracción de dos números enteros con denominador diferente de cero.
El conjunto Q es cerrado con respecto a las cuatro operaciones básicas (adición, sustracción, multiplicación y división) y, de acuerdo con la definición, los números racionales comprenden los números enteros, los decimales finitos y los decimales infinitos periódicos. Sin embargo existen números que no son ni enteros, ni decimales finitos, ni decimales infinitos periódicos. Un ejemplo clásico lo constituyen las raíces cuadradas de los números primos. Números como 2  π son decimales infinitos no periódicos:
Estos números no son racionales. 

2  π pertenecen al cuarto de los conjuntos numéricos, el de los números irracionales, conjunto que representamos por I. Diremos que un número irracional es cualquier número decimal infinito no periódico. De acuerdo a esto no es posible que un número sea racional e irracional al mismo tiempo. O lo que es lo mismo, los conjuntos Q y I son disjuntos por lo que QÇI=f.

El último conjunto numérico que mencionaremos es el conjunto de los números reales. Los reales, representados por R, es la reunión del conjunto de los racionales y los irracionalesR=QÈI. Considerando R como el conjunto universal diremos que Q y I son complementarios con respecto a R. Esto es que dado que R=QÈI entonces Q=R-Q=I  y I=R-I=Q.
De esto último se desprende que: 
  • Si x es un número real y x no es un número racional, entonces x es un número irracional. 
  • Si x es un número real y x no es un número irracional, entonces x es un número racional. 
  • No existe un número real x que no sea ni racional ni irracional al mismo tiempo.

Ahora volvamos a la imagen presentada.
Figura 1

En la imagen claramente se lee R=QÈI, lo indica que el conjunto de los números reales (R) es la reunión del conjunto de los números racionales (Q) y el conjunto de los números irracionales (I). Reunión que se busca describir con la representación gráfica. La imagen también muestra que el conjunto de los números naturales (N) está incluido en el conjunto de los números enteros (Z) y a su vez el conjunto Z está incluido en el conjunto Q. Al mismo tiempo la imagen muestra que el conjunto Q es disjunto del conjunto I, es decir que Q y I no tienen elementos comunes. Dicho de otra forma, y tal como sabemos, no hay ningún número que sea racional e irracional al mismo tiempo.

Analizaremos un poco más lo representado en la imagen de la figura 1. Para ello mostramos un desglosado de dicha imagen en las figuras 2, 3 y 4 que utilizamos para sustentar el error en el que se cae (o induce) con el tipo de representación de la figura 1.

1)    En la figura 2 podemos reconocer una zona (azul) fuera del conjunto N pero dentro del conjunto Z. Esto significa que en esa zona existen números enteros que no son naturales.
Figura 2
En la zona azul se ubicarían los enteros negativos y el cero.

2)    En la figura 1 podemos reconocer una zona (verde) fuera del conjunto Z pero dentro del conjunto Q. Esto significa que en esa zona existen números racionales que no son enteros.
Figura 3
En la zona verde se ubicarían los decimales finitos y los decimales infinitos periódicos.

3)    En la figura 4 podemos reconocer una zona (amarilla) fuera del conjunto Q y fuera del conjunto I pero dentro del conjunto R. Esto significa que en esa zona existen números reales que no son racionales ni irracionales.
Figura 4

De 3) nos preguntamos, ¿qué números se ubicarían en la zona amarilla?

Un número de esta zona sería real pero no racional ni irracional. Bien sabemos que no existe un número con esas características. Si un número es real o bien es racional o bien es irracional. No hay una tercera posibilidad. Esto se explica debido a que R=QÈI. De esto se desprende que la zona amarilla no existe y por tanto la imagen de la figura 1 no describe correctamente las relaciones entre los conjuntos numéricos.

Dejando claro que R=QÈI; QÇI=f; NÌZÌQ, recomendamos utilizar otro tipo de representación como la mostrada en la figura 5.

Figura 5


[1] Adoptamos el enfoque que el cero no es un número natural.

sábado, 1 de agosto de 2015

¿Los Naturales y los Enteros tienen el mismo número de elementos?

La respuesta es SI. En forma más precisa diremos que el conjunto de los números naturales () y el conjunto de los números enteros () tienen el mismo cardinal. Los conjuntos  y  son dos conjuntos infinitos numerables. En el caso del conjunto  esto significa que es posible escribir un listado consecutivo de números naturales empezando desde 1[1] y siguiendo así ad infinitum.

= { 1, 2, 3, 4, 5, 6, 7, 8, 9, ... }

El conjunto de los números enteros es numerable en tanto sus elementos se pueden poner en correspondencia, uno a uno, con los elementos del conjunto de los números naturales. Si bien el conjunto  no tiene un punto de partida como en  escribiremos una parte del listado de los números enteros según:

 = { ... , -3, -2, -1, 0, 1, 2, 3, ... }

Podemos ver que todos los elementos del conjunto  pertenecen al conjunto . Esto es que  es un subconjunto propio de  o, dicho de otra forma,  está incluido en . Sin embargo, aunque Ì, estos dos conjuntos tienen el mismo número de elementos. Podemos asociar cada entero con un único natural estableciendo una correspondencia biunívoca entre  . Por tanto si a cada número entero le corresponde un número natural, entonces   tienen el mismo número de elementos.

En efecto, si asociamos los enteros no negativos con los naturales pares y los enteros negativos con los naturales impares, podemos observar que a cada número entero le corresponde un número natural. 
Ahora, ¿cómo puede ser que un conjunto () que incluye a otro () tenga el mismo número de elementos que este? La razón radica en el hecho que se trata de dos conjuntos equipotentes. Empezaremos revisando el concepto de cardinal de un conjunto para definir un conjunto infinito, luego definiremos la equipotencia entre conjuntos infinitos y a partir de esto comprender el porqué de nuestra respuesta.
El número de elementos de un conjunto A se denomina cardinal del conjunto A. Si se trata de un conjunto finito basta con contar el número de elementos que este tiene para determinar su cardinal. Así por ejemplo el conjunto

P = { x / x es una vocal de la palabra "matemática" }

tiene cardinal 3 ya que, expresado por extensión, el conjunto P = { a, e, i } tiene tres elementos. Hay una propiedad que señala “ningún subconjunto propio de un conjunto finito A tiene el mismo cardinal que A”. En efecto, los subconjuntos propios del conjunto  P = { a, e, i }, es decir los conjuntos formados con por lo menos un elemento del conjunto P pero diferentes del mismo P, son { a }, { e }{ i }{ a, e }{ a, i }{ e, i }, los cuales tienen cardinales 1 y 2 diferentes del cardinal de P.

Si se trata de un conjunto infinito no podemos contar sus elementos debido, justamente, a que son infinitos. Cuando estudiamos los conjuntos numéricos solemos iniciar presentando el de los números naturales convirtiéndose en el ejemplo más común de conjunto infinito. El conjunto  no cumple con la propiedad mencionada anteriormente, es decir que existen subconjuntos propios de  que tienen el mismo cardinal que . Así por ejemplo el conjunto B = { x2 / xÎℕ }  formado por los cuadrados de los números naturales es un subconjunto propio de  pero sin embargo B  tienen el mismo cardinal ya que por cada xΠexiste un  x2ÎB, tal como nos hacía notar Galileo en su famosa paradoja enunciada allá por el siglo XVII. El hecho que el conjunto de los números naturales no cumpla con esta propiedad permite definir un conjunto infinito como aquel que tiene subconjuntos propios con el mismo cardinal que . Es evidente que  es un conjunto infinito y también es evidente que  es subconjunto propio de , lo que está de acuerdo con la definición anterior.

La definición de equipotencia entre conjuntos nos proporciona una herramienta más sólida para verificar que los conjuntos  y  tienen el mismo cardinal.
  • Dos conjuntos infinitos A y B tienen el mismo cardinal si ellos son equipotentes.
  • Dos conjuntos A y B son equipotentes si existe una aplicación biyectiva f:A®B entre ellos.

Lo anterior equivale a decir que dos conjuntos infinitos A y B tendrán el mismo cardinal si existe una aplicación biyectiva f:A®B, esto es que si para cada yÎB existe un único xÎA tal que y=f(x). 

Así por ejemplo los conjuntos  y B = { x2 / xÎℕ } son equipotentes ya que existe la aplicación biyectiva f:®B donde si yÎB existe un único xΠtal que y=f(x)=x2 como se muestra en el siguiente esquema:
A partir de la definición dada podemos afirmar que los conjuntos  y  son equipotentes ya que existe la aplicación f:® donde si yΠexiste un único xΠtal que 


Se puede probar que esta aplicación (téngase en cuenta que se pueden proponer otras) es biyectiva*. Entonces, dado que existe una aplicación biyectiva de  en , esto prueba que los conjuntos   son equipotentes y por tanto ellos tienen el mismo cardinal.

* La prueba de esto así como el documento completo puede descargarse desde AQUÍ


[1] O empezando desde 0 según el enfoque que se tome.