En geometría , un espacio tridimensional ( espacio 3D , espacio tridimensional o, raramente, espacio tridimensional ) es un espacio matemático en el que se requieren tres valores ( coordenadas ) para determinar la posición de un punto . Lo más común es que sea el espacio euclidiano tridimensional , es decir, el espacio euclidiano de dimensión tres, el que modela el espacio físico . Los espacios tridimensionales más generales se denominan 3 variedades . El término también puede referirse coloquialmente a un subconjunto del espacio, una región tridimensional (o dominio 3D ), [1] una figura sólida .
Técnicamente, una tupla de n números puede entenderse como las coordenadas cartesianas de una ubicación en un espacio euclidiano de n dimensiones. El conjunto de estas n -tuplas se denota comúnmente y puede identificarse como el par formado por un espacio euclidiano de n dimensiones y un sistema de coordenadas cartesiano . Cuando n = 3 , este espacio se llamaespacio euclidiano tridimensional (o simplemente "espacio euclidiano" cuando el contexto es claro). [2] En la física clásica , sirve como modelo del universo físico , en el que existe toda la materia conocida. Cuando se considera la teoría de la relatividad , se puede considerar un subespacio local del espacio-tiempo . [3] Si bien este espacio sigue siendo la forma más convincente y útil de modelar el mundo tal como se experimenta, [4] es solo un ejemplo de una gran variedad de espacios en tres dimensiones llamados 3 variedades . En este ejemplo clásico, cuando los tres valores se refieren a mediciones en diferentes direcciones ( coordenadas ), se pueden elegir tres direcciones cualesquiera, siempre que estas direcciones no se encuentren en el mismo plano . Además, si estas direcciones son perpendiculares por pares , los tres valores a menudo se etiquetan con los términos ancho /ancho , alto /profundidad y largo .
Los libros XI a XIII de los Elementos de Euclides trataban de la geometría tridimensional. El Libro XI desarrolla nociones de ortogonalidad y paralelismo de líneas y planos, y define sólidos, incluidos paralelepípedos, pirámides, prismas, esferas, octaedros, icosaedros y dodecaedros. El libro XII desarrolla nociones de semejanza de sólidos. El Libro XIII describe la construcción de los cinco sólidos platónicos regulares en una esfera.
En el siglo XVII, el espacio tridimensional se describía con coordenadas cartesianas , con el advenimiento de la geometría analítica desarrollada por René Descartes en su obra La Géométrie y Pierre de Fermat en el manuscrito Ad locos planos et solidos isagoge (Introducción a los lugares planos y sólidos). ), que no fue publicado durante la vida de Fermat. Sin embargo, sólo la obra de Fermat trataba del espacio tridimensional.
En el siglo XIX, los desarrollos de la geometría del espacio tridimensional llegaron con el desarrollo de los cuaterniones por parte de William Rowan Hamilton . De hecho, fue Hamilton quien acuñó los términos escalar y vector , y fueron definidos por primera vez dentro de su marco geométrico para los cuaterniones . El espacio tridimensional podría entonces describirse mediante cuaterniones que tuvieran un componente escalar evanescente, es decir ,. Si bien Hamilton no lo estudió explícitamente, esto introdujo indirectamente nociones de base, aquí dadas por los elementos cuaternión , así como el producto escalar y el producto cruz , que corresponden a (el negativo de) la parte escalar y la parte vectorial del producto de dos cuaterniones vectoriales.
No fue hasta Josiah Willard Gibbs que estos dos productos se identificaron por derecho propio, y la notación moderna para el producto punto y cruz se introdujo en sus notas didácticas en el aula, que también se encuentran en el libro de texto de 1901 Análisis vectorial escrito por Edwin Bidwell Wilson con base en sobre las conferencias de Gibbs.
También durante el siglo XIX se produjeron avances en el formalismo abstracto de los espacios vectoriales, con el trabajo de Hermann Grassmann y Giuseppe Peano , este último fue el primero en dar la definición moderna de espacios vectoriales como una estructura algebraica.
En matemáticas, la geometría analítica (también llamada geometría cartesiana) describe cada punto del espacio tridimensional mediante tres coordenadas. Se dan tres ejes de coordenadas , cada uno perpendicular a los otros dos en el origen , el punto en el que se cruzan. Por lo general, están etiquetados como x , y y z . En relación con estos ejes, la posición de cualquier punto en el espacio tridimensional está dada por un triple ordenado de números reales , cada número da la distancia de ese punto desde el origen medida a lo largo del eje dado, que es igual a la distancia de ese punto del plano determinado por los otros dos ejes. [5]
Otros métodos populares para describir la ubicación de un punto en el espacio tridimensional incluyen coordenadas cilíndricas y coordenadas esféricas , aunque existe un número infinito de métodos posibles. Para más información, véase Espacio euclidiano .
A continuación se muestran imágenes de los sistemas mencionados anteriormente.
Dos puntos distintos siempre determinan una línea (recta) . Tres puntos distintos son colineales o determinan un plano único . Por otro lado, cuatro puntos distintos pueden ser colineales, coplanares o determinar todo el espacio.
Dos líneas distintas pueden cruzarse, ser paralelas o estar sesgadas . Dos líneas paralelas, o dos líneas que se cruzan , se encuentran en un plano único, por lo que las líneas oblicuas son líneas que no se encuentran ni se encuentran en un plano común.
Dos planos distintos pueden encontrarse en una línea común o ser paralelos (es decir, no encontrarse). Tres planos distintos, de los cuales ningún par es paralelo, pueden encontrarse en una línea común, encontrarse en un único punto común o no tener ningún punto en común. En el último caso, las tres líneas de intersección de cada par de planos son mutuamente paralelas.
Una línea puede estar en un plano determinado, intersecar ese plano en un único punto o ser paralela al plano. En el último caso, habrá rectas en el plano paralelas a la recta dada.
Un hiperplano es un subespacio de una dimensión menor que la dimensión del espacio completo. Los hiperplanos de un espacio tridimensional son los subespacios bidimensionales, es decir, los planos. En términos de coordenadas cartesianas, los puntos de un hiperplano satisfacen una única ecuación lineal , por lo que los planos en este espacio tridimensional se describen mediante ecuaciones lineales. Una línea puede describirse mediante un par de ecuaciones lineales independientes, cada una de las cuales representa un plano que tiene esta línea como intersección común.
El teorema de Varignon establece que los puntos medios de cualquier cuadrilátero forman un paralelogramo y, por tanto, son coplanares.
Una esfera en el espacio tridimensional (también llamada biesfera porque es un objeto bidimensional) consta del conjunto de todos los puntos en el espacio tridimensional a una distancia fija r de un punto central P. El sólido encerrado por la esfera se llama bola (o, más precisamente, 3 bolas ).
El volumen de la pelota está dado por
y el área de la superficie de la esfera es Otro tipo de esfera surge de una bola de 4, cuya superficie tridimensional es la de 3 esferas : puntos equidistantes al origen del espacio euclidiano R 4 . Si un punto tiene coordenadas, P ( x , y , z , w ) , entonces x 2 + y 2 + z 2 + w 2 = 1 caracteriza esos puntos en la unidad de 3 esferas centradas en el origen.
Esta 3 esferas es un ejemplo de una variedad 3: un espacio que "parece localmente" como un espacio tridimensional. En términos topológicos precisos, cada punto de la 3-esfera tiene una vecindad que es homeomorfa a un subconjunto abierto del espacio 3-D.
En tres dimensiones, existen nueve politopos regulares: los cinco sólidos platónicos convexos y los cuatro poliedros no convexos de Kepler-Poinsot .
Una superficie generada al hacer girar una curva plana alrededor de una línea fija en su plano como eje se llama superficie de revolución . La curva plana se llama generatriz de la superficie. Una sección de la superficie, hecha al intersectar la superficie con un plano que es perpendicular (ortogonal) al eje, es un círculo.
Ejemplos simples ocurren cuando la generatriz es una línea. Si la línea generatriz cruza la línea del eje, la superficie de revolución es un cono circular recto con el vértice (ápice) como punto de intersección. Sin embargo, si la generatriz y el eje son paralelos, entonces la superficie de revolución es un cilindro circular .
En analogía con las secciones cónicas , el conjunto de puntos cuyas coordenadas cartesianas satisfacen la ecuación general de segundo grado, es decir, donde A , B , C , F , G , H , J , K , L y M son números reales y no todos los A , B , C , F , G y H son cero, se llama superficie cuádrica . [6]
Hay seis tipos de superficies cuádricas no degeneradas :
Las superficies cuádricas degeneradas son el conjunto vacío, un solo punto, una sola recta, un solo plano, un par de planos o un cilindro cuadrático (superficie formada por una sección cónica no degenerada en un plano π y todas las rectas de R 3 a través de esa cónica que son normales a π ). [6] Los conos elípticos a veces también se consideran superficies cuádricas degeneradas.
Tanto el hiperboloide de una hoja como el paraboloide hiperbólico son superficies regladas , lo que significa que pueden estar formadas por una familia de líneas rectas. De hecho, cada uno tiene dos familias de líneas generadoras, los miembros de cada familia están separados y cada miembro de una familia se cruza, con una sola excepción, cada miembro de la otra familia. [7] Cada familia se llama regulus .
Otra forma de ver el espacio tridimensional se encuentra en el álgebra lineal , donde la idea de independencia es crucial. El espacio tiene tres dimensiones porque el largo de una caja es independiente de su ancho o ancho. En el lenguaje técnico del álgebra lineal, el espacio es tridimensional porque cada punto del espacio puede describirse mediante una combinación lineal de tres vectores independientes .
Un vector se puede representar como una flecha. La magnitud del vector es su longitud y su dirección es la dirección que apunta la flecha. Un vector in se puede representar mediante un triple ordenado de números reales. Estos números se llaman componentes del vector.
El producto escalar de dos vectores A = [ A 1 , A 2 , A 3 ] y B = [ B 1 , B 2 , B 3 ] se define como: [8]
La magnitud de un vector A se denota por || Un || . El producto escalar de un vector A = [ A 1 , A 2 , A 3 ] consigo mismo es
que da
la fórmula para la longitud euclidiana del vector.
Sin referencia a los componentes de los vectores, el producto escalar de dos vectores euclidianos A y B distintos de cero viene dado por [9]
donde θ es el ángulo entre A y B.
El producto vectorial o producto vectorial es una operación binaria sobre dos vectores en un espacio tridimensional y se denota con el símbolo ×. El producto vectorial A × B de los vectores A y B es un vector perpendicular a ambos y, por tanto, normal al plano que los contiene. Tiene muchas aplicaciones en matemáticas, física e ingeniería .
En lenguaje de funciones, el producto cruzado es una función .
Los componentes del producto vectorial son , y también se pueden escribir en componentes, utilizando la convención de suma de Einstein, como dónde está el símbolo de Levi-Civita . Tiene la propiedad de que .
Su magnitud está relacionada con el ángulo entre y por la identidad
El espacio y el producto forman un álgebra sobre un campo , que no es conmutativo ni asociativo , sino que es un álgebra de Lie cuyo producto vectorial es el corchete de Lie. En concreto, el espacio junto con el producto, es isomorfo al álgebra de Lie de rotaciones tridimensionales, denotado . Para satisfacer los axiomas de un álgebra de Lie, en lugar de asociatividad, el producto cruzado satisface la identidad de Jacobi . Para tres vectores cualesquiera y
Se puede en n dimensiones tomar el producto de n − 1 vectores para producir un vector perpendicular a todos ellos. Pero si el producto se limita a productos binarios no triviales con resultados vectoriales, existe sólo en tres y siete dimensiones . [10]
Puede resultar útil describir el espacio tridimensional como un espacio vectorial tridimensional sobre números reales. Esto difiere de una manera sutil. Por definición, existe una base para . Esto corresponde a un isomorfismo entre y : la construcción del isomorfismo se encuentra aquí . Sin embargo, no existe una base "preferida" o "canónica" para .
Por otro lado, existe una base preferida para , que se debe a su descripción como producto cartesiano de copias de , es decir, . Esto permite la definición de proyecciones canónicas, , donde . Por ejemplo, . Esto permite entonces la definición de la base estándar definida por donde está el delta de Kronecker . Escrito en su totalidad, la base estándar es
Por lo tanto, puede verse como el espacio vectorial abstracto, junto con la estructura adicional de una elección de base. Por el contrario, se puede obtener comenzando y "olvidando" la estructura del producto cartesiano o, de manera equivalente, la elección estándar de base.
A diferencia de un espacio vectorial general , el espacio a veces se denomina espacio de coordenadas. [11]
Físicamente, es conceptualmente deseable utilizar el formalismo abstracto para asumir la menor estructura posible si no está dada por los parámetros de un problema particular. Por ejemplo, en un problema de simetría rotacional, trabajar con la descripción más concreta del espacio tridimensional supone una elección de base, correspondiente a un conjunto de ejes. Pero en simetría rotacional, no hay ninguna razón por la que se prefiera un conjunto de ejes al mismo conjunto de ejes que se ha girado arbitrariamente. Dicho de otra manera, una elección preferida de ejes rompe la simetría rotacional del espacio físico.
Computacionalmente, es necesario trabajar con la descripción más concreta para poder realizar cálculos concretos.
Una descripción aún más abstracta consiste en modelar el espacio físico como un espacio afín tridimensional sobre los números reales. Esto es único hasta el isomorfismo afín. A veces se le denomina espacio euclidiano tridimensional. Así como la descripción del espacio vectorial proviene de "olvidar la base preferida" de , la descripción del espacio afín proviene de "olvidar el origen" del espacio vectorial. Los espacios euclidianos a veces se denominan espacios afines euclidianos para distinguirlos de los espacios vectoriales euclidianos. [12]
Esto es físicamente atractivo ya que pone de manifiesto la invariancia de traducción del espacio físico. Un origen preferido rompe la invariancia traslacional.
La discusión anterior no involucra el producto escalar . El producto escalar es un ejemplo de producto interno . El espacio físico se puede modelar como un espacio vectorial que además tiene la estructura de un producto interno. El producto interior define nociones de longitud y ángulo (y por tanto, en particular, la noción de ortogonalidad). Para cualquier producto interno, existen bases bajo las cuales el producto interno concuerda con el producto escalar, pero nuevamente, hay muchas bases posibles diferentes, ninguna de las cuales es la preferida. Se diferencian entre sí por una rotación, un elemento del grupo de rotaciones SO(3) .
En un sistema de coordenadas rectangular, el gradiente de una función (diferenciable) viene dado por
y en notación índice se escribe
La divergencia de un campo vectorial (diferenciable) F = U i + V j + W k , es decir, una función , es igual a la función escalar :
En notación de índice, con la convención de suma de Einstein, esto es
Expandido en coordenadas cartesianas (ver Del en coordenadas cilíndricas y esféricas para representaciones de coordenadas esféricas y cilíndricas ), el rizo ∇ × F es, para F , compuesto por [ F x , F y , F z ]:
donde i , j y k son los vectores unitarios para los ejes x , y y z , respectivamente. Esto se expande de la siguiente manera: [13]
En notación de índice, con la convención de suma de Einstein, aquí es donde está el símbolo totalmente antisimétrico, el símbolo de Levi-Civita .
Para algún campo escalar f : U ⊆ R n → R , la integral de línea a lo largo de una curva suave por tramos C ⊂ U se define como
donde r : [a, b] → C es una parametrización biyectiva arbitraria de la curva C tal que r ( a ) y r ( b ) dan los puntos finales de C y .
Para un campo vectorial F : U ⊆ R n → R n , la integral de línea a lo largo de una curva suave por tramos C ⊂ U , en la dirección de r , se define como
donde · es el producto escalar y r : [a, b] → C es una parametrización biyectiva de la curva C tal que r ( a ) y r ( b ) dan los puntos finales de C.
Una integral de superficie es una generalización de integrales múltiples para la integración sobre superficies . Puede considerarse como la integral doble análoga de la integral de línea. Para encontrar una fórmula explícita para la integral de superficie, necesitamos parametrizar la superficie de interés, S , considerando un sistema de coordenadas curvilíneas en S , como la latitud y longitud en una esfera . Sea tal parametrización x ( s , t ), donde ( s , t ) varía en alguna región T del plano . Entonces, la integral de superficie está dada por
donde la expresión entre barras del lado derecho es la magnitud del producto cruzado de las derivadas parciales de x ( s , t ), y se conoce como elemento de superficie . Dado un campo vectorial v en S , que es una función que asigna a cada x en S un vector v ( x ), la integral de superficie se puede definir componente por componente de acuerdo con la definición de la integral de superficie de un campo escalar; el resultado es un vector.
Una integral de volumen es una integral sobre un dominio o región tridimensional . Cuando el integrando es trivial (unidad), la integral de volumen es simplemente el volumen de la región . [14] [1] También puede significar una integral triple dentro de una región D en R 3 de una función y generalmente se escribe como:
El teorema fundamental de las integrales de línea dice que una integral de línea a través de un campo gradiente se puede evaluar evaluando el campo escalar original en los puntos finales de la curva.
Dejar . Entonces
El teorema de Stokes relaciona la integral de superficie de la curvatura de un campo vectorial F sobre una superficie Σ en el espacio tridimensional euclidiano con la integral de línea del campo vectorial sobre su límite ∂Σ:
Supongamos que V es un subconjunto de (en el caso de n = 3, V representa un volumen en el espacio 3D) que es compacto y tiene un límite suave por partes S (también indicado con ∂ V = S ). Si F es un campo vectorial continuamente diferenciable definido en una vecindad de V , entonces el teorema de la divergencia dice: [15]
El lado izquierdo es una integral de volumen sobre el volumen V , el lado derecho es la integral de superficie sobre el límite del volumen V. La variedad cerrada ∂ V es generalmente el límite de V orientado por normales que apuntan hacia afuera , y n es el campo normal unitario que apunta hacia afuera del límite ∂ V. ( d S puede usarse como abreviatura de n dS ).
El espacio tridimensional tiene una serie de propiedades topológicas que lo distinguen de espacios de otros números de dimensión. Por ejemplo, se requieren al menos tres dimensiones para hacer un nudo en un trozo de cuerda. [16]
En geometría diferencial, los espacios tridimensionales genéricos son 3 variedades , que se parecen localmente .
Muchas ideas de dimensión se pueden probar con geometría finita . El ejemplo más simple es PG(3,2) , que tiene planos de Fano como subespacios bidimensionales. Es un ejemplo de la geometría de Galois , un estudio de la geometría proyectiva utilizando campos finitos . Así, para cualquier campo de Galois GF( q ), existe un espacio proyectivo PG(3, q ) de tres dimensiones. Por ejemplo, tres líneas sesgadas cualesquiera en PG(3, q ) están contenidas exactamente en un regulus . [17]
Si se requieren solo tres propiedades básicas del producto vectorial... resulta que un producto vectorial de vectores existe solo en el espacio euclidiano de 3 y 7 dimensiones.