Qué son magnitudes conmensurables e inconmesurables? ¿todo numero irracional puede ser?
Respuestas a la pregunta
Respuesta:
La idea central del concepto conmensurabilidad no sólo es la posibilidad de comparación, sino la existencia de un factor común que pueda ser expresado.
El uso proviene de las traducciones de los Elementos de Euclides, en que dos segmentos, {\displaystyle a}a y {\displaystyle b}b, son llamados conmensurables precisamente si hay un tercer segmento, {\displaystyle c}c, que puede ser usado una cantidad de veces entera para producir un segmento congruente a {\displaystyle a}a, y otra cantidad de veces también entera para producir un segmento congruente a {\displaystyle b}b. Euclides no usó ningún concepto de número real, pero sí usó la noción de congruencia de segmentos (véase algoritmo de Euclides), y que un segmento era más largo o más corto que el otro.
Que a/b sea racional es una condición necesaria y suficiente para la existencia de un número real {\displaystyle c}c, y números enteros {\displaystyle m}m y {\displaystyle n}n, tales que
{\displaystyle a=mc}{\displaystyle a=mc} y {\displaystyle b=nc}{\displaystyle b=nc}
Asumiendo por simplicidad que tanto {\displaystyle a}a como {\displaystyle b}b son números positivos, uno puede decir que una regla, marcada en unidades de longitud {\displaystyle c}c, se puede usar para medir tanto un segmento de longitud {\displaystyle a}a como uno de longitud {\displaystyle b}b. Eso significa que hay una unidad común de distancia en términos de la cual, tanto {\displaystyle a}a como {\displaystyle b}b se pueden medir (o mensurar); de ahí la conmensurabilidad. Si no fuese así, el par {\displaystyle a}a y {\displaystyle b}b sería inconmensurable.
En teoría de grupos, se puede generalizar a pares de subgrupos notando que en el caso dado, los subgrupos de los enteros (como grupo aditivo) generados respectivamente por {\displaystyle a}a y por {\displaystyle b}b, se intersecan en el subgrupo generado por {\displaystyle d}d, donde {\displaystyle d}d es el mínimo común múltiplo de {\displaystyle a}a y {\displaystyle b}b. La intersección tiene índice finito en los enteros, y por lo tanto en cada uno de los subgrupos. En general, los subgrupos A y B de un grupo son conmensurables cuando su intersección tiene índice finito en cada uno de ellos.
Para los subespacios de un espacio vectorial se puede definir una relación similar, en términos de proyecciones que tienen núcleo y conúcleo de dimensión finita.
En cambio, dos subespacios {\displaystyle \mathrm {A} }{\displaystyle \mathrm {A} } y {\displaystyle \mathrm {B} }{\displaystyle \mathrm {B} } que son dados sobre un álgebra de Lie {\displaystyle {\mathcal {O}},}{\displaystyle {\mathcal {O}},} no son necesariamente conmensurables si son descritos como representaciones dimensionales infinitas. Además, si los espacios completos de tipos de módulo {\displaystyle {\mathcal {O}}}{\displaystyle {\mathcal {O}}} correspondiente a {\displaystyle {\mathfrak {H}}}{\displaystyle {\mathfrak {H}}} y {\displaystyle {\mathfrak {G}}}{\displaystyle {\mathfrak {G}}} no son bien definidos, entonces {\displaystyle {\mathfrak {G}}}{\displaystyle {\mathfrak {G}}} y {\displaystyle {\mathfrak {H}}}{\displaystyle {\mathfrak {H}}} son inconmensurables. pero también cuando dos números potenciales se juntan forman las magnitudes conmensurables
Inconmensurabilidad
Inconmensurabilidad es el opuesto a la conmensuralidad. Indica que dos magnitudes no se pueden comparar.
Para los antiguos griegos todo se podía comparar o medir utilizando números enteros. Ejemplo de lo que consiguieron con relaciones numéricas sencillas es la descripción de la escala musical, hoy conocida como escala pitagórica.
Desde la misma Escuela Pitagórica fue demostrado que la diagonal de un cuadrado y el lado del mismo cuadrado no guardan una proporción expresable por números enteros, esto es, que eran inconmensurables. Esto llevó a una crisis, pues los pitagóricos esperaban descifrar todos los enigmas de la naturaleza usando los números y este descubrimiento acabó con su proyecto.
Conviene aclarar que para la antigüedad griega no existía la noción de número irracional. Sólo consideraban o entendían el número entero o el que hoy llamamos racional y por ello les sorprendió el comprobar que existen números distintos a ellos.
Ejemplo de la diagonal de un cuadrado
El ejemplo más conocido de la inconmensurabilidad es el de la razón de la diagonal de un cuadrado con respecto a un lado.
La razón de la diagonal {\displaystyle d}d de un cuadrado y su lado {\displaystyle l}l es inconmensurable (es irracional).
Explicación paso a paso:
espero te sirva