En física y matemáticas , la dimensión de un espacio matemático (u objeto ) se define informalmente como el número mínimo de coordenadas necesarias para especificar cualquier punto dentro de él. [1] [2] Por lo tanto, una línea tiene una dimensión de uno (1D) porque solo se necesita una coordenada para especificar un punto en ella; por ejemplo, el punto en 5 en una línea numérica. Una superficie , como el límite de un cilindro o una esfera , tiene una dimensión de dos (2D) porque se necesitan dos coordenadas para especificar un punto en ella; por ejemplo, se requieren tanto una latitud como una longitud para ubicar un punto en la superficie de una esfera. Un espacio euclidiano bidimensional es un espacio bidimensional en el plano . El interior de un cubo , un cilindro o una esfera es tridimensional (3D) porque se necesitan tres coordenadas para ubicar un punto dentro de estos espacios.
En la mecánica clásica , el espacio y el tiempo son categorías diferentes y se refieren al espacio y tiempo absolutos . Esa concepción del mundo es un espacio de cuatro dimensiones pero no el que se consideró necesario para describir el electromagnetismo . Las cuatro dimensiones (4D) del espacio-tiempo consisten en eventos que no están absolutamente definidos espacial y temporalmente, sino que son conocidos en relación con el movimiento de un observador . El espacio de Minkowski primero se aproxima al universo sin gravedad ; las variedades pseudo-riemannianas de la relatividad general describen el espacio-tiempo con materia y gravedad. Se utilizan 10 dimensiones para describir la teoría de supercuerdas (hiperespacio 6D + 4D), 11 dimensiones pueden describir la supergravedad y la teoría M (hiperespacio 7D + 4D), y el espacio de estados de la mecánica cuántica es un espacio de funciones de dimensión infinita .
El concepto de dimensión no se limita a los objetos físicos.Los espacios de alta dimensión se dan con frecuencia en matemáticas yciencias. Pueden serespacios euclidianosoespacios de parámetrosoespacios de configuracióncomo enlagrangianaohamiltoniana; estos sonespacios abstractos, independientes delespacio físico.
En matemáticas , la dimensión de un objeto es, en términos generales, el número de grados de libertad de un punto que se mueve sobre este objeto. En otras palabras, la dimensión es el número de parámetros o coordenadas independientes que se necesitan para definir la posición de un punto que está obligado a estar sobre el objeto. Por ejemplo, la dimensión de un punto es cero; la dimensión de una línea es uno, ya que un punto puede moverse sobre una línea en una sola dirección (o su opuesta); la dimensión de un plano es dos, etc.
La dimensión es una propiedad intrínseca de un objeto, en el sentido de que es independiente de la dimensión del espacio en el que el objeto está o puede estar incrustado. Por ejemplo, una curva , como un círculo , es de dimensión uno, porque la posición de un punto en una curva está determinada por su distancia con signo a lo largo de la curva hasta un punto fijo en la curva. Esto es independiente del hecho de que una curva no puede estar incrustada en un espacio euclidiano de dimensión inferior a dos, a menos que sea una línea.
La dimensión del espacio n euclidiano E n es n . Cuando se intenta generalizar a otros tipos de espacios, uno se enfrenta a la pregunta "¿qué hace que E n sea n -dimensional?" Una respuesta es que para cubrir una bola fija en E n con bolas pequeñas de radio ε , uno necesita del orden de ε − n bolas pequeñas de ese tipo. Esta observación conduce a la definición de la dimensión de Minkowski y su variante más sofisticada, la dimensión de Hausdorff , pero también hay otras respuestas a esa pregunta. Por ejemplo, el límite de una bola en E n se parece localmente a E n -1 y esto conduce a la noción de la dimensión inductiva . Si bien estas nociones concuerdan en E n , resultan ser diferentes cuando uno observa espacios más generales.
Un teseracto es un ejemplo de un objeto de cuatro dimensiones. Mientras que fuera de las matemáticas el uso del término "dimensión" es como en: "Un teseracto tiene cuatro dimensiones ", los matemáticos suelen expresarlo como: "El teseracto tiene dimensión 4 ", o: "La dimensión del teseracto es 4" o: 4D.
Aunque la noción de dimensiones superiores se remonta a René Descartes , el desarrollo sustancial de una geometría de dimensiones superiores recién comenzó en el siglo XIX, a través del trabajo de Arthur Cayley , William Rowan Hamilton , Ludwig Schläfli y Bernhard Riemann . La Habilitationsschrift de Riemann de 1854 , la Theorie der vielfachen Kontinuität de Schläfli de 1852 , y el descubrimiento de los cuaterniones por parte de Hamilton y el descubrimiento de los octoniones por parte de John T. Graves en 1843 marcaron el comienzo de la geometría de dimensiones superiores.
El resto de esta sección examina algunas de las definiciones matemáticas más importantes de dimensión.
La dimensión de un espacio vectorial es el número de vectores en cualquier base del espacio, es decir, el número de coordenadas necesarias para especificar cualquier vector. Esta noción de dimensión (la cardinalidad de una base) se suele denominar dimensión de Hamel o dimensión algebraica para distinguirla de otras nociones de dimensión.
Para el caso no libre , esto se generaliza a la noción de la longitud de un módulo .
Se puede calcular la dimensión definida de forma única de cada variedad topológica conexa . Una variedad topológica conexa es homeomorfa localmente al espacio n euclidiano , en el que el número n es la dimensión de la variedad.
Para variedades diferenciables conexas , la dimensión es también la dimensión del espacio vectorial tangente en cualquier punto.
En topología geométrica , la teoría de variedades se caracteriza por el hecho de que las dimensiones 1 y 2 son relativamente elementales, los casos de alta dimensión n > 4 se simplifican al disponer de espacio adicional en el que "trabajar"; y los casos n = 3 y 4 son en algunos sentidos los más difíciles. Esta situación se vio muy marcada en los diversos casos de la conjetura de Poincaré , en los que se aplican cuatro métodos de prueba diferentes.
La dimensión de una variedad depende del cuerpo base con respecto al cual se define el espacio euclidiano. Si bien el análisis generalmente supone que una variedad está sobre los números reales , a veces es útil en el estudio de variedades complejas y variedades algebraicas trabajar sobre los números complejos en su lugar. Un número complejo ( x + iy ) tiene una parte real x y una parte imaginaria y , en la que x e y son ambos números reales; por lo tanto, la dimensión compleja es la mitad de la dimensión real.
Por el contrario, en contextos algebraicamente no restringidos, se puede aplicar un único sistema de coordenadas complejo a un objeto que tenga dos dimensiones reales. Por ejemplo, una superficie esférica bidimensional ordinaria , cuando se le da una métrica compleja, se convierte en una esfera de Riemann de una dimensión compleja. [3]
La dimensión de una variedad algebraica puede definirse de varias formas equivalentes. La forma más intuitiva es probablemente la dimensión del espacio tangente en cualquier punto regular de una variedad algebraica . Otra forma intuitiva es definir la dimensión como el número de hiperplanos que se necesitan para tener una intersección con la variedad que se reduce a un número finito de puntos (dimensión cero). Esta definición se basa en el hecho de que la intersección de una variedad con un hiperplano reduce la dimensión en uno a menos que el hiperplano contenga la variedad.
Un conjunto algebraico es una unión finita de variedades algebraicas, su dimensión es el máximo de las dimensiones de sus componentes. Es igual a la longitud máxima de las cadenas de subvariedades del conjunto algebraico dado (la longitud de dicha cadena es el número de " ").
Cada variedad puede considerarse como una pila algebraica , y su dimensión como variedad concuerda con su dimensión como pila. Sin embargo, hay muchas pilas que no corresponden a variedades, y algunas de ellas tienen dimensión negativa. En concreto, si V es una variedad de dimensión m y G es un grupo algebraico de dimensión n que actúa sobre V , entonces la pila cociente [ V / G ] tiene dimensión m − n . [4]
La dimensión de Krull de un anillo conmutativo es la longitud máxima de las cadenas de ideales primos que lo componen, siendo una cadena de longitud n una secuencia de ideales primos relacionados por inclusión. Está fuertemente relacionada con la dimensión de una variedad algebraica, debido a la correspondencia natural entre subvariedades e ideales primos del anillo de los polinomios de la variedad.
Para un álgebra sobre un cuerpo , la dimensión como espacio vectorial es finita si y sólo si su dimensión de Krull es 0.
Para cualquier espacio topológico normal X , la dimensión de recubrimiento de Lebesgue de X se define como el entero más pequeño n para el cual se cumple lo siguiente: cualquier recubrimiento abierto tiene un refinamiento abierto (un segundo recubrimiento abierto en el que cada elemento es un subconjunto de un elemento en el primer recubrimiento) tal que ningún punto está incluido en más de n + 1 elementos. En este caso dim X = n . Para X una variedad, esto coincide con la dimensión mencionada anteriormente. Si no existe tal entero n , entonces se dice que la dimensión de X es infinita, y se escribe dim X = ∞ . Además, X tiene dimensión −1, es decir dim X = −1 si y solo si X está vacío. Esta definición de dimensión de recubrimiento se puede extender desde la clase de espacios normales a todos los espacios de Tichonoff simplemente reemplazando el término "abierto" en la definición por el término " funcionalmente abierto ".
Una dimensión inductiva puede definirse inductivamente de la siguiente manera. Consideremos un conjunto discreto de puntos (como una colección finita de puntos) como 0-dimensional. Al arrastrar un objeto 0-dimensional en alguna dirección, se obtiene un objeto unidimensional. Al arrastrar un objeto unidimensional en una nueva dirección , se obtiene un objeto bidimensional. En general, se obtiene un objeto ( n + 1 )-dimensional al arrastrar un objeto n -dimensional en una nueva dirección. La dimensión inductiva de un espacio topológico puede referirse a la dimensión inductiva pequeña o a la dimensión inductiva grande , y se basa en la analogía de que, en el caso de los espacios métricos, las bolas ( n + 1 )-dimensionales tienen límites n -dimensionales , lo que permite una definición inductiva basada en la dimensión de los límites de los conjuntos abiertos. Además, el límite de un conjunto discreto de puntos es el conjunto vacío y, por lo tanto, se puede tomar que el conjunto vacío tiene dimensión -1. [5]
De manera similar, para la clase de complejos CW , la dimensión de un objeto es el n más grande para el cual el n -esqueleto no es trivial. Intuitivamente, esto puede describirse de la siguiente manera: si el espacio original puede deformarse continuamente en una colección de triángulos de dimensiones superiores unidos por sus caras con una superficie complicada, entonces la dimensión del objeto es la dimensión de esos triángulos. [ cita requerida ]
La dimensión de Hausdorff es útil para estudiar conjuntos estructuralmente complicados, especialmente fractales . La dimensión de Hausdorff está definida para todos los espacios métricos y, a diferencia de las dimensiones consideradas anteriormente, también puede tener valores reales no enteros. [6] La dimensión de caja o dimensión de Minkowski es una variante de la misma idea. En general, existen más definiciones de dimensiones fractales que funcionan para conjuntos altamente irregulares y alcanzan valores reales positivos no enteros.
Todo espacio de Hilbert admite una base ortonormal y dos bases cualesquiera de esas para un espacio particular tienen la misma cardinalidad . Esta cardinalidad se denomina dimensión del espacio de Hilbert. Esta dimensión es finita si y solo si la dimensión de Hamel del espacio es finita, y en este caso las dos dimensiones coinciden.
Las teorías de la física clásica describen tres dimensiones físicas : desde un punto particular en el espacio , las direcciones básicas en las que podemos movernos son arriba/abajo, izquierda/derecha y adelante/atrás. El movimiento en cualquier otra dirección se puede expresar en términos de solo estas tres. Moverse hacia abajo es lo mismo que moverse hacia arriba una distancia negativa. Moverse en diagonal hacia arriba y hacia adelante es tal como lo indica el nombre de la dirección , es decir , moverse en una combinación lineal de arriba y adelante. En su forma más simple: una línea describe una dimensión, un plano describe dos dimensiones y un cubo describe tres dimensiones. (Véase Espacio y sistema de coordenadas cartesianas ).
Una dimensión temporal , o dimensión temporal , es una dimensión del tiempo. Por este motivo, se suele hacer referencia al tiempo como la " cuarta dimensión ", pero eso no implica que sea una dimensión espacial [ cita requerida ] . Una dimensión temporal es una forma de medir el cambio físico. Se percibe de manera diferente a las tres dimensiones espaciales en que solo hay una y no podemos movernos libremente en el tiempo, sino que nos movemos subjetivamente en una dirección .
Las ecuaciones que se utilizan en física para modelar la realidad no tratan el tiempo de la misma manera en que los humanos lo percibimos comúnmente. Las ecuaciones de la mecánica clásica son simétricas con respecto al tiempo , y las ecuaciones de la mecánica cuántica suelen ser simétricas si se invierten tanto el tiempo como otras magnitudes (como la carga y la paridad ). En estos modelos, la percepción del tiempo fluyendo en una dirección es un artefacto de las leyes de la termodinámica (percibimos el tiempo fluyendo en la dirección de la entropía creciente ).
El tratamiento más conocido del tiempo como dimensión es la relatividad especial de Poincaré y Einstein (y extendida a la relatividad general ), que trata el espacio y el tiempo percibidos como componentes de una variedad de cuatro dimensiones , conocida como espacio-tiempo , y en el caso especial y plano como espacio de Minkowski . El tiempo es diferente de otras dimensiones espaciales ya que el tiempo opera en todas las dimensiones espaciales. El tiempo opera en la primera, segunda y tercera, así como en dimensiones espaciales teóricas como una cuarta dimensión espacial . Sin embargo, el tiempo no está presente en un solo punto de singularidad infinita absoluta como se define como un punto geométrico , ya que un punto infinitamente pequeño no puede tener cambios y, por lo tanto, no tiene tiempo. Así como cuando un objeto se mueve a través de posiciones en el espacio, también se mueve a través de posiciones en el tiempo. En este sentido, la fuerza que mueve a cualquier objeto a cambiar es el tiempo . [7] [8] [9]
En física, la norma aceptada es la existencia de tres dimensiones de espacio y una de tiempo. Sin embargo, existen teorías que intentan unificar las cuatro fuerzas fundamentales introduciendo dimensiones adicionales o hiperespacio . En particular, la teoría de supercuerdas requiere 10 dimensiones de espacio-tiempo y se origina a partir de una teoría más fundamental de 11 dimensiones, llamada provisionalmente teoría M, que incluye cinco teorías de supercuerdas previamente distintas. La teoría de la supergravedad también promueve el espacio-tiempo de 11 dimensiones = hiperespacio de 7 dimensiones + 4 dimensiones comunes. Hasta la fecha, no hay evidencia experimental u observacional directa disponible que respalde la existencia de estas dimensiones adicionales. Si existe el hiperespacio, debe estar oculto para nosotros por algún mecanismo físico. Una posibilidad bien estudiada es que las dimensiones adicionales puedan estar "enrolladas" a escalas tan pequeñas que sean efectivamente invisibles para los experimentos actuales.
En 1921, la teoría de Kaluza-Klein presentó 5D incluyendo una dimensión extra del espacio. A nivel de la teoría cuántica de campos , la teoría de Kaluza-Klein unifica la gravedad con las interacciones de gauge , basándose en la comprensión de que la gravedad que se propaga en dimensiones extra pequeñas y compactas es equivalente a las interacciones de gauge a largas distancias. En particular, cuando la geometría de las dimensiones extra es trivial, reproduce el electromagnetismo . Sin embargo, a energías suficientemente altas o distancias cortas, esta configuración todavía sufre de las mismas patologías que obstruyen los intentos directos de describir la gravedad cuántica . Por lo tanto, estos modelos aún requieren una compleción UV , del tipo que la teoría de cuerdas pretende proporcionar. En particular, la teoría de supercuerdas requiere seis dimensiones compactas (hiperespacio 6D) que formen una variedad de Calabi-Yau . Por lo tanto, la teoría de Kaluza-Klein puede considerarse como una descripción incompleta por sí sola, o como un subconjunto de la construcción de modelos de teoría de cuerdas.
Además de las dimensiones extra pequeñas y enrolladas, puede haber dimensiones extra que, en cambio, no son evidentes porque la materia asociada con nuestro universo visible está localizada en un subespacio de (3 + 1) dimensiones . Por lo tanto, las dimensiones extra no necesitan ser pequeñas y compactas, sino que pueden ser dimensiones extra grandes . Las D-branas son objetos dinámicos extendidos de varias dimensionalidades predichas por la teoría de cuerdas que podrían desempeñar este papel. Tienen la propiedad de que las excitaciones de cuerdas abiertas, que están asociadas con interacciones de calibre, están confinadas a la brana por sus puntos finales, mientras que las cuerdas cerradas que median la interacción gravitatoria son libres de propagarse por todo el espacio-tiempo, o "la masa". Esto podría estar relacionado con la razón por la que la gravedad es exponencialmente más débil que las otras fuerzas, ya que se diluye efectivamente a medida que se propaga a un volumen de dimensión superior.
Algunos aspectos de la física de branas se han aplicado a la cosmología . Por ejemplo, la cosmología de los gases de branas [10] [11] intenta explicar por qué hay tres dimensiones del espacio utilizando consideraciones topológicas y termodinámicas. Según esta idea, sería así porque tres es el mayor número de dimensiones espaciales en las que las cuerdas pueden intersecarse de forma genérica. Si inicialmente hay muchos devanados de cuerdas alrededor de dimensiones compactas, el espacio solo podría expandirse a tamaños macroscópicos una vez que se eliminen estos devanados, lo que requiere que las cuerdas enrolladas en direcciones opuestas se encuentren entre sí y se aniquilen. Pero las cuerdas solo pueden encontrarse entre sí para aniquilarse a un ritmo significativo en tres dimensiones, por lo que se deduce que solo se permite que tres dimensiones del espacio crezcan dada esta clase de configuración inicial.
Se dice que las dimensiones adicionales son universales si todos los campos tienen la misma libertad de propagarse dentro de ellas.
Existen varios tipos de sistemas digitales que se basan en el almacenamiento, análisis y visualización de formas geométricas, entre los que se incluyen el software de ilustración , el diseño asistido por ordenador y los sistemas de información geográfica . Los distintos sistemas vectoriales utilizan una amplia variedad de estructuras de datos para representar formas, pero casi todos se basan fundamentalmente en un conjunto de primitivas geométricas correspondientes a las dimensiones espaciales: [12]
Con frecuencia, en estos sistemas, especialmente en los SIG y la cartografía , una representación de un fenómeno del mundo real puede tener una dimensión diferente (normalmente inferior) que el fenómeno que se representa. Por ejemplo, una ciudad (una región bidimensional) puede representarse como un punto, o una carretera (un volumen tridimensional de material) puede representarse como una línea. Esta generalización dimensional se correlaciona con las tendencias en la cognición espacial. Por ejemplo, preguntar la distancia entre dos ciudades presupone un modelo conceptual de las ciudades como puntos, mientras que dar instrucciones que implican viajar "hacia arriba", "hacia abajo" o "a lo largo" de una carretera implica un modelo conceptual unidimensional. Esto se hace con frecuencia con fines de eficiencia de datos, simplicidad visual o eficiencia cognitiva, y es aceptable si se entiende la distinción entre la representación y lo representado, pero puede causar confusión si los usuarios de la información suponen que la forma digital es una representación perfecta de la realidad (es decir, creen que las carreteras son realmente líneas).
