Toro (matemáticas)

En geometría, un toro es un tipo concreto de toroide cuya superficie de revolución es generada por una circunferencia que gira alrededor de una recta exterior coplanaria (en su plano y que no la corta) o, llanamente, la superficie tridimensional que resulta de hacer girar una circunferencia alrededor de un eje que no la corta. La palabra «toro» proviene del latín torus, que significa «protuberancia», «elevación curva» (relacionado con latín "sterno" y griego στορέννυμι, romanizado storénnymi) y que ya en latín adquiere sentidos técnicos para designar objetos con esta forma geométrica específica, por ejemplo en arquitectura (Vitr.3.3.8), donde designa el «bocel» o «murecillo», que es una moldura redondeada de la base, con forma de hogaza de pan.^[1]​Muchos objetos cotidianos tienen forma de toro: un dónut, una cámara de neumático, etc.

Las ecuaciones paramétricas que lo definen son:

donde ${displaystyle R}$ es el trayecto entre el centro del conducto y el centro del toro, ${displaystyle r}$ es el radio del conducto, ambas constantes con ${displaystyle r<R}$ y donde ${displaystyle heta ,varphi in [0,2pi )}$ son ángulos que determinan el círculo completo.

La ecuación en coordenadas cartesianas de un toro cuyo eje es el eje z es:

La superficie A y el volumen V del toro pueden hallarse empleando el teorema de Papus de Alejandría. Los resultados son:

Topológicamente, un toro es una superficie cerrada definida como el producto cartesiano de dos circunferencias: ${displaystyle S^{1} imes S^{1}}$ y con la topología producto. Equivalentemente, un toro es una superficie cerrada orientable de género 1. Esta equivalencia se obtiene gracias al teorema de clasificación de superficies cerradas.

En topología, un volumen tórico o toro sólido (vollringe) es un objeto tridimensional obtenido mediante el producto cartesiano de un disco y una circunferencia: ${displaystyle D^{2} imes S^{1}}$

La superficie descrita, dada la topología relativa de R³, es homeomorfa con el toro topológico mientras este no intercepte con su propio eje.

El toro puede también describirse como el cociente del ’’Plano euclidiano’’ bajo las tipificaciones

Equivalentemente, como el cociente del cuadrado o unidad conectando los bordes opuestos, descrito como un polígono fundamental ${displaystyle ABA^{-1}B^{-1}}$.

Esta superficie se considera como el espacio total de un fibrado (trivial), donde el espacio base es la circunferencia ${displaystyle S^{1}}$.

El grupo fundamental del toro es precisamente el producto directo del grupo fundamental de la circunferencia por sí misma:

Intuitivamente, esto significa que un camino cerrado el cual rodea entre ambos, el "orificio" y el "cuerpo" del toro (ambos de circunferencia con latitud concreta), se puede transformar en un camino que envuelva el cuerpo y el orificio. Es decir, los caminos estrictamente meridionales y estrictamente longitudinales participan en operaciones conmutativas.

El primer grupo homológico del toro es isomorfo al grupo fundamental; puesto que el grupo fundamental es abeliano).

Se puede generalizar fácilmente el toro a cualquier dimensión o potencia. Un toro n dimensional se define como el producto de n circunferencias:

El toro a la n es Rⁿ módulo la acción del grupo enrejado Zⁿ (con la acción considerada como suma de vectores). Equivalentemente, el toro a la n se obtiene a partir del n-cubo pegando las caras opuestas.

Los grupos toroidales desempeñan un papel importante en la teoría de grupos compactos de Lie. Esto se debe en parte al hecho de que en cualquier grupo compacto de Lie, se puede encontrar un toro máximo; es decir, un subgrupo cerrado, el cual es un determinado toro de la mayor dimensión posible.

El grupo fundamental de un toro a la n es un grupo abeliano libre de rango n. El k-ésimo grupo homológico de un toro a la n es un grupo abeliano libre de rango n sobre k. De esto se deduce que la característica de Euler del toro a la n es 0 para cualquier n. El anillo homológico H^•(Tⁿ,Z) puede identificarse con el álgebra exterior sobre Z-módulo Zⁿ cuyos generadores son los números duales enteros de los ciclos fundamentales a la potencia n.

Si se toma idealmente una superficie rectangular flexible y extensible y se unen su lado superior con su lado inferior, y luego se unen los lados horizontales, resulta esta figura. Uno debe respetar en el pegado la orientación de los bordes como el indicado en la figura.

Algunos teoremas de geometría plana no son válidos si consideramos el trazado de puntos y curvas sobre la superficie del toro. Por ejemplo, el Teorema de los cuatro colores se convierte en Teorema de los siete colores y es mucho más fácil de probar. En la figura anterior se observa que son necesarios siete colores.

En magnetismo, se enrolla una bobina con cierta cantidad de vueltas sobre el toro con un entrehierro (corte paralelo al eje que pasa por el centro del toro) para generar un campo magnético dentro del mismo. Esto se suele hacer para crear un imán; se coloca un material ferromagnético en el entrehierro y se imprime una corriente eléctrica por la bobina. Una vez que se alcanza la saturación del material, se lo retira y este queda magnetizado, formando un imán.

Uno de los sistemas más promisorios para obtener electricidad a partir de la fusión nuclear controlada se basa en el confinamiento magnético del plasma a elevadísimas temperaturas dentro de un espacio-circuito toroidal como el tokamak o el Thorus, también muchos aceleradores de partículas recurren a una forma cuasi toroidal.

En el mundo de los videojuegos de estrategia es fácil observar cómo los personajes que intervienen, cuando viajan hacia el norte reaparecen en el sur, como si le hubiesen dado la vuelta al mundo. Asimismo, cuando llevan una trayectoria hacia el fondo en el oriente, reaparecen en el occidente y viceversa. El sitio virtual donde este efecto acaece lleva el nombre de mundo toroide por las características matemáticas anteriormente descritas. El jugador siente la pseudo impresión de un mundo esférico aunque el terreno de juego este pensado como un plano rectangular.

Intersección de un toro y un plano.

Animación de un toro cortado por un plano, y creación de Círculos de Villarceau. Ver Vesica piscis.

Ilustración de un toro con sus principales variables.

---