Aunque la respuesta aceptada de rschwieb es excelente, creo que hay una conexión entre la noción matemática de "movimiento rígido" y la noción física de "rigidez estructural" que aún no se ha mencionado.
Definamos un diagrama como cualquier colección finita de segmentos de línea con puntos finales etiquetados en el plano. Supongamos que tenemos dos tipos de datos sobre un diagrama dado: sus relaciones de incidencia (es decir, saber qué puntos son los puntos finales de cuáles segmentos de línea) y sus mediciones lineales (es decir, saber cuán largos son los segmentos). Nos hacemos la siguiente pregunta:
¿Está completamente especificado un diagrama por sus relaciones de incidencia y sus medidas lineales?
Otra forma (un poco menos formal) de decir esto es: si conoces cuán largos son todos los segmentos en un diagrama, ¿puedes dibujar el diagrama?
Primero, notemos que lo mejor que podríamos hacer es decir que un diagrama está completamente especificado hasta un movimiento rígido. Es decir, incluso si pudiéramos reconstruir un diagrama a partir de sus relaciones de incidencia y medidas lineales, no sabríamos dónde ubicarlo en el plano o cómo orientarlo, porque un movimiento rígido del plano preserva todas las propiedades de incidencia y métricas mientras posiblemente cambia la posición y la orientación.
Pero una observación más significativa es que conocer las relaciones de incidencia y las medidas lineales de un diagrama no, en general, especifica completamente un diagrama. Para ver esto, solo hay que mirar el ejemplo en la pregunta original de una forma "no rígida": un cuadrado que se deforma en un rombo. El diagrama original (el cuadrado) y el diagrama deformado (el rombo) tienen exactamente las mismas relaciones de incidencia y medidas lineales, pero los ángulos en ellos son diferentes.
Podemos tomar esto como una caracterización matemática de la noción física de "rigidez estructural": si un diagrama está completamente determinado (hasta un movimiento rígido) por sus relaciones de incidencia y sus medidas lineales, podemos llamarlo un diagrama rígido.
Ahora considera un triángulo. Supongamos que conocemos las longitudes de los tres lados de un triángulo dado $\Delta ABC$. ¿Es posible reconstruir todo lo demás sobre el triángulo?
La respuesta es sí. Esto se conoce como la propiedad Lado-Lado-Lado. En geometría de secundaria, generalmente se formula como un criterio para demostrar que dos triángulos son congruentes:
Si $\Delta ABC$ y $\Delta PQR$ son dos triángulos con $AB=PQ, BC=QR$ y $AC=PR$, entonces $\Delta ABC \cong \Delta PQR$.
La propiedad Lado-Lado-Lado te dice que si los lados de un triángulo son no deformables, entonces sus ángulos están completamente "bloqueados", es decir, el triángulo entero es rígido.
Nota que esto no es cierto para ningún polígono que no sea un triángulo: no hay un criterio de congruencia "Lado-Lado-Lado-Lado" para cuadriláteros.
Ahora consideremos los ejemplos en la pregunta original. El diagrama $S_1$, sin las diagonales punteadas, es un cuadrilátero $ADBC$. Este tipo de cuadrilátero no es rígido, porque se puede dibujar otro cuadrilátero $A'D'B'C'$ con todas las longitudes correspondientes exactamente iguales pero con ángulos interiores diferentes.
Sin embargo, si agregas incluso un segmento de los punteados (por ejemplo, $\overline{DC}$) en el diagrama, entonces el diagrama sería rígido, porque los triángulos $\Delta ADC$ y $\Delta BDC$ son rígidos.
Exactamente las mismas observaciones se aplican a $S_2$.
Para $S_3$, la pregunta de si el diagrama es rígido o no depende de si la línea que parece unir $A$ con $C$ y la línea que parece unir $B$ con $D$ es realmente un segmento, y si así fuera si el punto que parece estar en la intersección de esos segmentos (llamémosle $P$) es explícitamente parte del diagrama o no, y si $\overline{AP}, \overline{PC},$ etc. son todos parte del diagrama. (Observa que todo esto está contenido en la especificación de "relaciones de incidencia" de un diagrama.) Si lo son, entonces el diagrama es rígido; de lo contrario, es simplemente un cuadrilátero no rígido.
1 votos
Claro que sí. Un cuerpo rígido es una clase equivalente de conjuntos, donde $A \sim B$ si y solo si existe una isometría $\phi$ tal que $A = \phi(B)$.
1 votos
Hmm, ¿no veo esa definición en la página de Wikipedia? Mi comprensión de lo que es tu definición no es tan buena, ¿tienes alguna posibilidad de expandir en una respuesta? En particular, ¿para una isometría, es necesario preservar la distancia solo a lo largo de los bordes? ¿O entre todos los pares de vértices? Y, si estoy entendiendo correctamente, el ejemplo del paralelogramo anterior tiene una clase equivalente de conjuntos que cumple con la definición anterior, ¿el problema es que también tiene clases de conjuntos que no lo hacen?
0 votos
Mira la última oración bajo 'Definición de forma rígida'. Es una definición un poco vaga. No está claro si se incluyen transformaciones incorrectas. Una isometría conserva las distancias entre todos los pares de puntos. Sin embargo, mi respuesta fue un poco engañosa, preguntaste sobre formas rígidas que incluyen escalados uniformes también. ¿Tienes alguna aplicación en mente?
0 votos
Tu comentario sobre el triángulo/paralelogramo anterior me hace preguntar si estás buscando alguna colección de restricciones (como en mecánica) que describan una forma rígida, en lugar de simplemente una definición de qué es una forma rígida.
0 votos
Una colección de restricciones facilitaría mi comprensión, pero una definición también funcionaría bien. ¿Por "transformaciones impropias" te refieres a transformaciones que necesitan viajar a través de una dimensión superior para permanecer continuas, como girar ADB alrededor del eje q en $S_1$ en el ejemplo? Con esta restricción en las transformaciones para obtener isometrías, tu definición inicial parece tener sentido para mí.
0 votos
No hay ninguna aplicación en mente, esto surgió en una discusión con un profesor en un entorno mayormente no relacionado con la geometría y ninguno de nosotros pudo definir qué es realmente una forma rígida.