Articulo de referencia

Hiperboloide

En geometría , un hiperboloide de revolución , a veces llamado hiperboloide circular , es la superficie generada al rotar una hipérbola alrededor de uno de sus ejes principales ...

En geometría , un hiperboloide de revolución , a veces llamado hiperboloide circular , es la superficie generada al rotar una hipérbola alrededor de uno de sus ejes principales . Un hiperboloide es la superficie obtenida a partir de un hiperboloide de revolución al deformarlo mediante escalas direccionales o, más generalmente, mediante una transformación afín .

Un hiperboloide es una superficie cuádrica , es decir, una superficie definida como el conjunto cero de un polinomio de grado dos en tres variables. Entre las superficies cuádricas, un hiperboloide se caracteriza por no ser un cono ni un cilindro , tener un centro de simetría e intersecar muchos planos en hipérbolas. Un hiperboloide tiene tres ejes de simetría perpendiculares entre sí y tres planos de simetría perpendiculares entre sí .

Dado un hiperboloide, se puede elegir un sistema de coordenadas cartesianas tal que el hiperboloide esté definido por una de las siguientes ecuaciones: incógnita2a2+y2b2z2do2=1,{\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=1,} o incógnita2a2+y2b2z2do2=1.{\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=-1.} Los ejes de coordenadas son los ejes de simetría del hiperboloide y el origen es el centro de simetría del hiperboloide. En cualquier caso, el hiperboloide es asintótico al cono de las ecuaciones: incógnita2a2+y2b2z2do2=0.{\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=0.}

Se tiene un hiperboloide de revolución si y solo sia2=b2.{\displaystyle a^{2}=b^{2}.}De lo contrario, los ejes están definidos de forma única ( salvo el intercambio del eje x y el eje y ).

Existen dos tipos de hiperboloides. En el primer caso ( +1 en el lado derecho de la ecuación): un hiperboloide de una hoja , también llamado hiperboloide hiperbólico . Es una superficie conexa que tiene una curvatura gaussiana negativa en cada punto. Esto implica que, cerca de cada punto, la intersección del hiperboloide y su plano tangente en dicho punto consta de dos ramas de curva con tangentes distintas en ese punto. En el caso del hiperboloide de una hoja, estas ramas de curva son líneas , por lo que el hiperboloide de una hoja es una superficie doblemente reglada .

En el segundo caso ( −1 en el lado derecho de la ecuación): un hiperboloide de dos hojas , también llamado hiperboloide elíptico . La superficie tiene dos componentes conexas y una curvatura gaussiana positiva en cada punto. La superficie es convexa en el sentido de que el plano tangente en cada punto la interseca únicamente en ese punto.

Representaciones paramétricas

Animación de un hiperboloide de revolución

Se pueden definir coordenadas cartesianas para los hiperboloides, de forma similar a las coordenadas esféricas , manteniendo el ángulo azimutal θ[ 0, 2 π ) , pero cambiando la inclinación v por funciones trigonométricas hiperbólicas :

Hiperboloide de una superficie: v(− , )incógnita=aaporrearvporqueθy=baporrearvpecadoθz=dosinhv{\displaystyle {\begin{aligned}x&=a\cosh v\cos \theta \\y&=b\cosh v\sin \theta \\z&=c\sinh v\end{aligned}}}

Hiperboloide de dos superficies: v[ 0, )incógnita=asinhvporqueθy=bsinhvpecadoθz=±doaporrearv{\displaystyle {\begin{aligned}x&=a\sinh v\cos \theta \\y&=b\sinh v\sin \theta \\z&=\pm c\cosh v\end{aligned}}}

Hiperboloide de una hoja: generación mediante una hipérbola giratoria (arriba) y una línea (abajo: roja o azul).
Hiperboloide de una hoja: secciones planas

La siguiente representación paramétrica incluye hiperboloides de una hoja, dos hojas y su cono límite común, cada uno con laz{\displaystyle z}-eje como eje de simetría: incógnita(s,t)=(as2+dporquetbs2+dpecadotdos){\displaystyle \mathbf {x} (s,t)=\left({\begin{array}{lll}a{\sqrt {s^{2}+d}}\cos t\\b{\sqrt {s^{2}+d}}\sin t\\cs\end{array}}\right)}

  • Parad>0{\displaystyle d>0}se obtiene un hiperboloide de una hoja,
  • Parad<0{\displaystyle d<0}un hiperboloide de dos hojas, y
  • Parad=0{\displaystyle d=0}un cono doble.

Se puede obtener una representación paramétrica de un hiperboloide con un eje de coordenadas diferente como eje de simetría al cambiar la posición de losdos{\displaystyle cs}añada el término al componente apropiado en la ecuación anterior.

Ecuaciones generalizadas

De forma más general, un hiperboloide orientado arbitrariamente, centrado en v , se define mediante la ecuación (incógnitav)TA(incógnitav)=1,{\displaystyle (\mathbf {x} -\mathbf {v} )^{\mathrm {T} }A(\mathbf {x} -\mathbf {v} )=1,} donde A es una matriz y x , v son vectores .

Los autovectores de A definen las direcciones principales del hiperboloide y los autovalores de A son los recíprocos de los cuadrados de los semiejes:1/a2{\displaystyle {1/a^{2}}},1/b2{\displaystyle {1/b^{2}}}y1/do2{\displaystyle {1/c^{2}}}El hiperboloide de una hoja tiene dos valores propios positivos y uno negativo. El hiperboloide de dos hojas tiene un valor propio positivo y dos negativos.

Propiedades

Hiperboloide de una hoja

Líneas en la superficie

Si el hiperboloide tiene la ecuación incógnita2a2+y2b2z2do2=1{\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=1} luego las líneas gramoα±:incógnita(t)=(aporqueαbpecadoα0)+t(apecadoαbporqueα±do) ,tR, 0α2π {\displaystyle g_{\alpha }^{\pm }:\mathbf {x} (t)={\begin{pmatrix}a\cos \alpha \\b\sin \alpha \\0\end{pmatrix}}+t\cdot {\begin{pmatrix}-a\sin \alpha \\b\cos \alpha \\\pm c\end{pmatrix}}\ ,\quad t\in \mathbb {R} ,\ 0\leq \alpha \leq 2\pi \ } están contenidos en la superficie.

En casoa=b{\displaystyle a=b}El hiperboloide es una superficie de revolución y se puede generar haciendo girar una de las dos líneas.gramo0+{\displaystyle g_{0}^{+}}ogramo0{\displaystyle g_{0}^{-}}, que están sesgados al eje de rotación (ver imagen). Esta propiedad se llama teorema de Wren . [ 1 ] La generación más común de un hiperboloide de revolución de una hoja es rotar una hipérbola alrededor de su semieje menor (ver imagen; rotar la hipérbola alrededor de su otro eje da una hipérbola de revolución de dos hojas).

Un hiperboloide de una hoja es proyectivamente equivalente a un paraboloide hiperbólico .

Secciones planas

Para simplificar, las secciones planas del hiperboloide unitario con ecuación H1:incógnita2+y2z2=1{\displaystyle \ H_{1}:x^{2}+y^{2}-z^{2}=1}Se consideran. Dado que un hiperboloide en posición general es una imagen afín del hiperboloide unitario, el resultado también se aplica al caso general.

  • Un plano con una pendiente menor que 1 (1 es la pendiente de las líneas en el hiperboloide) intersecaH1{\displaystyle H_{1}}en una elipse ,
  • Un plano con pendiente igual a 1 que contiene el origen intersecaH1{\displaystyle H_{1}}en un par de líneas paralelas ,
  • Un plano con pendiente igual a 1 que no contiene el origen intersecaH1{\displaystyle H_{1}}en una parábola ,
  • Un plano tangente intersecaH1{\displaystyle H_{1}}en un par de líneas que se cruzan ,
  • Un plano no tangente con una pendiente mayor que 1 intersecaH1{\displaystyle H_{1}}en una hipérbola . [ 2 ]

Obviamente, cualquier hiperboloide de revolución de una hoja contiene círculos. Esto también es cierto, aunque menos obvio, en el caso general (véase la sección circular ).

Hiperboloide de dos hojas

Hiperboloide de dos hojas: generación mediante la rotación de una hipérbola.
Hiperboloide de dos láminas: secciones planas

El hiperboloide de dos hojas no contiene líneas. El análisis de secciones planas se puede realizar para el hiperboloide unitario de dos hojas con la ecuación H2: incógnita2+y2z2=1.{\displaystyle H_{2}:\ x^{2}+y^{2}-z^{2}=-1.} que puede generarse mediante una hipérbola giratoria alrededor de uno de sus ejes (el que corta la hipérbola).

  • Un plano con pendiente menor que 1 (1 es la pendiente de las asíntotas de la hipérbola generadora) intersecaH2{\displaystyle H_{2}}ya sea en una elipse o en un punto o en ninguna parte,
  • Un plano con pendiente igual a 1 que contiene el origen (punto medio del hiperboloide) no intersecaH2{\displaystyle H_{2}},
  • Un plano con pendiente igual a 1 que no contiene el origen intersecaH2{\displaystyle H_{2}}en una parábola ,
  • Un plano con pendiente mayor que 1 intersecaH2{\displaystyle H_{2}}en una hipérbola . [ 3 ]

Obviamente, cualquier hiperboloide de revolución de dos hojas contiene círculos. Esto también es cierto, aunque menos obvio, en el caso general (véase la sección circular ).

Nota : Un hiperboloide de dos hojas es proyectivamente equivalente a una esfera.

Otras propiedades

Simetrías

Los hiperboloides con ecuaciones incógnita2a2+y2b2z2do2=1,incógnita2a2+y2b2z2do2=1{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}-{\frac {z^{2}}{c^{2}}}=1,\quad {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}-{\frac {z^{2}}{c^{2}}}=-1} son

  • simétrico respecto al origen,
  • simétrico a los planos de coordenadas y
  • rotacionalmente simétrico al eje z y simétrico a cualquier plano que contenga el eje z, en caso dea=b{\displaystyle a=b}(hiperboloide de revolución).

Curvatura

Mientras que la curvatura gaussiana de un hiperboloide de una hoja es negativa, la de un hiperboloide de dos hojas es positiva. A pesar de su curvatura positiva, el hiperboloide de dos hojas con otra métrica adecuadamente elegida también puede utilizarse como modelo para la geometría hiperbólica.

En más de tres dimensiones

Los hiperboloides se encuentran frecuentemente en matemáticas de dimensiones superiores. Por ejemplo, en un espacio pseudoeuclidiano se utiliza una forma cuadrática : q(incógnita)=(incógnita12++incógnitak2)(incógnitak+12++incógnitanorte2),k<norte.{\displaystyle q(x)=\left(x_{1}^{2}+\cdots +x_{k}^{2}\right)-\left(x_{k+1}^{2}+\cdots +x_{n}^{2}\right),\quad k<n.} Cuando c es cualquier constante , entonces la parte del espacio dada por {incógnita : q(incógnita)=do}{\displaystyle \lbrace x\ :\ q(x)=c\rbrace } se denomina hiperboloide . El caso degenerado corresponde a c = 0 .

Como ejemplo, considérese el siguiente pasaje: [ 4 ]

... los vectores de velocidad siempre se encuentran sobre una superficie que Minkowski denomina hiperboloide de cuatro dimensiones, ya que, expresada en términos de coordenadas puramente reales ( y₁ , ... , y₄ ) , su ecuación es y₂₁ + y₂₂ + y₂₃ y₂₄ = −1 , análoga al hiperboloide y₂₁ + y₂₂ y₂₃ = −1 del espacio tridimensional . [ 6 ]

Sin embargo, el término cuasi-esfera también se utiliza en este contexto ya que la esfera y el hiperboloide tienen algunas características en común (véase §  Relación con la esfera más adelante).

Estructuras hiperboloides

Los hiperboloides de una sola hoja se utilizan en la construcción, y las estructuras resultantes se denominan estructuras hiperboloides . Un hiperboloide es una superficie doblemente reglada ; por lo tanto, se puede construir con vigas de acero rectas, lo que produce una estructura resistente a un menor costo que otros métodos. Algunos ejemplos son las torres de refrigeración , especialmente las de las centrales eléctricas , y muchas otras estructuras .

Relación con la esfera

En 1853, William Rowan Hamilton publicó sus Lecciones sobre cuaterniones , que incluían la presentación de bicuaterniones . El siguiente fragmento de la página 673 muestra cómo Hamilton utiliza el álgebra de bicuaterniones y los vectores derivados de los cuaterniones para generar hiperboloides a partir de la ecuación de una esfera :

... la ecuación de la esfera unitaria ρ 2 + 1 = 0 , y cambiamos el vector ρ a una forma bivectorial , como σ + τ −1 . La ecuación de la esfera se descompone entonces en el sistema de los dos siguientes,

σ 2 τ 2 + 1 = 0 , S . στ = 0 ;

y sugiere que consideremos σ y τ como dos vectores reales y rectangulares, de tal manera que

T τ = ( T σ 2 1 ) 1/2 .

Por lo tanto, es fácil inferir que si asumimos σ || λ , donde λ es un vector en una posición dada, el nuevo vector real σ + τ terminará en la superficie de un hiperboloide equilátero de doble hoja ; y que si, por otro lado, asumimos τ || λ , entonces el lugar geométrico del extremo del vector real σ + τ será un hiperboloide equilátero de una sola hoja . El estudio de estos dos hiperboloides se conecta, por lo tanto, de esta manera muy sencilla, a través de bicuaterniones, con el estudio de la esfera;...

En este pasaje, S es el operador que da la parte escalar de un cuaternión, y T es el "tensor", ahora llamado norma , de un cuaternión.

Una visión moderna de la unificación de la esfera y el hiperboloide utiliza la idea de una sección cónica como una rebanada de una forma cuadrática . En lugar de una superficie cónica , se requieren hipersuperficies cónicas en un espacio de cuatro dimensiones con puntos p = ( w , x , y , z ) R⁴ determinados por formas cuadráticas . Consideremos primero la hipersuperficie cónica .

  • PAG={pag:w2=incógnita2+y2+z2}{\displaystyle P=\left\{p\;:\;w^{2}=x^{2}+y^{2}+z^{2}\right\}}y
  • Hr={pag : w=r},{\displaystyle H_{r}=\lbrace p\ :\ w=r\rbrace ,} que es un hiperplano .

EntoncesPAGHr{\displaystyle P\cap H_{r}}es la esfera con radio r . Por otro lado, la hipersuperficie cónica

Q={pag : w2+z2=incógnita2+y2}{\displaystyle Q=\lbrace p\ :\ w^{2}+z^{2}=x^{2}+y^{2}\rbrace } proporciona queQHr{\displaystyle Q\cap H_{r}}es un hiperboloide.

En la teoría de las formas cuadráticas , una cuasiesfera unitaria es el subconjunto de un espacio cuadrático X que consta de los x X tales que la norma cuadrática de x es uno. [ 7 ]

Véase también

Referencias

  1. K. Strubecker: Vorlesungen der Darstellenden Geometrie. Vandenhoeck y Ruprecht, Gotinga 1967, pág. 218
  2. CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie (TU Darmstadt) (PDF; 3,4 MB), pág. 116
  3. CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie (TU Darmstadt) (PDF; 3,4 MB), pág.122
  4. Thomas Hawkins (2000) Surgimiento de la teoría de los grupos de Lie: un ensayo sobre la historia de las matemáticas, 1869-1926 , §9.3 «La matematización de la física en Gotinga», véase la página 340, Springer ISBN 0-387-98963-3
  5. Walter, Scott A. (1999), "El estilo no euclidiano de la relatividad minkowskiana" , en J. Gray (ed.), El universo simbólico: geometría y física 1890-1930 , Oxford University Press, pp . 91–127 
  6. Minkowski utilizó el término "hiperboloide de cuatro dimensiones" solo una vez, en un manuscrito publicado póstumamente, y este fue un uso no estándar, ya que el hiperboloide de Minkowski es una subvariedad tridimensional de un espacio de Minkowski de cuatro dimensiones.METRO4.{\displaystyle M^{4}.}[ 5 ]
  7. Ian R. Porteous (1995) Clifford Algebras and the Classical Groups , páginas 22, 24 y 106, Cambridge University Press ISBN 0-521-55177-3