Observaciones sobre la Redaccin Matemtica o a

Estas reexiones son para ayudar a redactar matemticas de una forma que a se entienda mejor. En un trabajo en proceso de continuo mejoramiento, segn nuevos ejemplos se presenten. u Las expresiones simblicas tieneden a verse como una sola unidad. Esto o tiene un profundo efecto en como se tiene que redactar. Error: El promedio de x = (1/n) x. Al primer intento de leer esta oracin, parece que no o tiene verbo, que simplemente menciona el promedio de algo. Correcto: El promedio de x es (1/n) x. Correcto: El promedio de x es p = (1/n) x. Normalmente se considera inapropiado comenzar una oracin con un s o mbolo matemtico. Esto es porque es imposible poner el s a mbolo en maysculas sin u cambiar su signicado. As que en lugar de Ya sabemos sobre x. x A implica que y B. hay que agregar una palabras de relleno al inicio de la oracin, como Ya sabemos sobre x. El hecho de que x A implica que o y B. Una confusin comn es pensar que los s o u mbolos matemticos simplemente a son abreviaturas para expresiones escritas o pronunciadas es decir, que representan palabras. As en x>1 x1 parece que > representa las palabras es mayor que y que representa es equivalente a. Pero el signicado matemtico de los s a mbolos es independiente del idioma en el cual se leen, y de hecho en un mismo idioma se pueden leer de ms de una forma. Por ejemplo, en x > 1 el s a mbolo > podr representar un adjetivo en un idioma y un verbo en otro; quizs en a a algn pa digan x domina a 1). Si escribimos x es > que 1 entonces u s estamos usando los s mbolos slo como taquigraf otra persona podr eso a; a cribir x es > 1. Entonces el s mbolo > ser en un caso mayor en el a otro mayor que. Notemos la diferencia en Sabemos que x < 1. Para todo x < 1, tenemos y > 2. 1

En el segundo ejemplo, x < 1 podr ser x que es mayor que 1. a Otra consecuencia del hecho que los s mbolos no son meramente abreviaturas para palabras es que los cuanticadores lgicos no se deben aplicar a o expresiones que no sean proposiciones. Por ejemplo, (x) apliquemos el proceso al conjunto Ex no es correcto. Se tiene que escribir Para cada x, expl citamente. En general, podemos considerar con vlida la siguiente observacin: Una a o expresin matemtica dentro de una redaccin matemtica puede actuar como o a o a sustantivo o como enunciado completo. Como sustantivo: Sabemos que {x : x A} es nito. La proposicin x A es falsa. o La proposicin x A es equivalente a y B. o Como enunciado (o sub-enunciado): Sabemos que x A. Si x A, entonces y B. Tanto x A como y B. Todos los xi son positivos y xi = 1, mientras y B.

Segn el uso de cada caso, el lector siempre tiene que determinar si la exu presin matemtica acta como sustantivo o como enunciado completo. Obo a u serve lo que pasa con y B: Todos los xi son positivos, xi = 1 y cada y B es negativo.

Aqu el lector tiene que darse cuenta que cada se reere a y y no a y B. Un ejemplo similar es Cada y < 1 est en B. Este proceso de a 2

anlisis es una capacidad intelectual del lector, y no hay que sobrecargarla o a darle situaciones imposibles. A veces la primera letra en una expresin puede usarse como el sujeto del o verbo, como Supongamos que x > 1 es un entero. Aqu es muy diferente que en Supongamos que x > 1. La diferencia implica cierto esfuerzo de parte del lector. Una redaccin como Supongamos que 1 < x < 200 es un o entero ya es problemtica pues no deja claro cul es el sujeto del verbo es. a a Lo que pasa es que en este ejemplo la referencia no es al primer s mbolo en la expresin matemtica. o a Otro ejemplo, (a) Como los racionales son densos en R, (x, x + 1/n) Q = . (b) Como los racionales son densos en R, tenemos (x, x + 1/n) Q = . (c) Como los racionales son densos en R, el intervalo (x, x + 1/n) Q = . La pregunta que hay que hacerse siempre es Cul es el verbo? En (a) no a hay problema porque (x, x + 1/n) Q = 0 es un enunciado completo, luego contiene su verbo no importa cmo se lea. En (b) tampoco hay problema, o y es un poco mejor que el anterior porque la palabra tenemos sirve para separar dos s mbolos matemticos. En (c) el autor probablmente pensaba a que estaba aclarando las cosas con las palabras el intervalo, pero resulta que las empeora, pues requiere que mucho trabajo encontrar el verbo. La expresin simblica (x, x+1/n)Q = 0 contiene el sinnimo de el intervalo o o o pero no es el sinnimo. Por eso (c) no est redactado correctamente. Si uno o a realmente quiere poner el sinnimo, deber escribir Como los racionales o a son densos en R, el intervalo (x, x + 1/n) intersecta a Q en o mejor . . . la interseccin del intervalo (x, x + 1/n) con Q no es vac o a. En el intento Entonces m 2 tal que Am Bm = 0 se est usando a m 2 ms bien como abreviatura de una expresin hablada. Ser mejor a o a decir Entonces existe m 2 tal que Am Bm = 0 o bien Entonces m 2 : Am Bm = 0.

Notar que las expresiones simblicas tienden a formar unidades ms insepao a rables que las palabras que las rodean:

El lado derecho tiende a 0 n = 0 parece al ojo contener una expresin 0 n = 0, que no tiene sentido. As El lado o derecho tiende a cero n = 0 o mucho mejor: El lado derecho tiende a 0 si y slo si n = 0 o

Otra falla lgica ocurre cuando se mezcla el nivel de los objetos matemticos o a con el nivel de las personas que estudian estos objetos.

Si consideramos la sucesin inf j anj , entonces esta sucesin es o o creciente.

Signica esto que si no la consideramos, entonces la sucesin podr no ser o a creciente? Mejor reservar la palabra si para condiciones matemticas. a

Si sumamos de n = 0 a n = N , entonces f es continua. (La continuidad de r no depende de si sumamos o no.) Mejor ser a Si sumamos de n = 0 a n = N , entonces vemos f es continua. Aqu la palabra Si no se aplica a la lgica matemtica, pero es o a correcto usarlo.

Uno de los errores ms frecuentes viene del mal uso del s a mbolo . Algunos quieren usarlo como abreviatura de la palabra entonces, por ejemplo Si x = 2 x2 = 4. En principio no se puede prohibir el uso de s mbolos como abreviaturas de palabras, pero en este caso el hacerlo impide que el mismo s mbolo pueda signicar implica, que es su uso comn, Es fcil ver que u a 2 x = 2 x = 4. El intentar usar el s mbolo con ambos sentidos conlleva a grandes confusiones. Consideremos la armacin Si f Lp , entonces o f p < . El abreviarla Si f Lp f p < puede parecer inocuo, pero consideremos qu pasa si uno quiere expresar Si f Lp implicara e 4

[f ] < , entonces. . . Con s mbolos tenemos Si f Lp [f ] < , entonces. . . la cual es una expresin matemtica perfectamente bien hecha, o a en la que el grupo de todos los s mbolos forma una sub-oracin completa. El o uso de para entonces tiene la consecuencia que esta expresin ya no o se pueda utilizar! La regla a seguir es No usar para entonces. Lo anterior se vuelve an ms claro si consideramos la redaccin de las deu a o mostraciones. Digamos que se quiere demostrar que x A, y se pone algo como xC ... ... x A B x A.

En este momento se ha demostrado que algo implica que x A, que no es lo mismo que armar que x A. La regla a seguir es No usar antes de una oracin con la nalidad de armarla. o