Capítulo 9: 6. Distancia mínima inducida

LaTeX en HTML5

Sección 9.6

9.6 Distancia mínima inducida

9.6.1 Distancia como mínimo costo acumulado

Sea \( \mathcal{C} \) el conjunto de configuraciones estructurales, y sea \( W(c \to c') \) el peso estructural definido en 9.5.

Para dos configuraciones \( c, d \in \mathcal{C} \), se define la distancia estructural inducida como

\[ D(c,d) = \inf_{\gamma:c \rightsquigarrow d} \; \sum_{(c_i \to c_{i+1}) \in \gamma} W(c_i \to c_{i+1}), \]

donde el ínfimo se toma sobre todos los caminos estructuralmente admisibles \( \gamma \) que conectan \( c \) con \( d \).

Esta distancia no presupone espacio, coordenadas, ni continuidad geométrica.

9.6.2 Propiedades métricas inducidas

La función \( D : \mathcal{C} \times \mathcal{C} \to \mathbb{R}_{\ge 0} \) satisface:

  • No negatividad: \( D(c,d) \ge 0 \).
  • Identidad: \( D(c,d) = 0 \iff c = d \).
  • Desigualdad triangular: \[ D(c,e) \le D(c,d) + D(d,e). \]

En general, \( D \) define una pseudométrica estructural; se convierte en métrica si no existen ciclos de peso nulo.

Teorema 9.6.3 (Minimalidad geodésica estructural)

Todo camino estructural mínimo entre dos configuraciones realiza la distancia inducida \( D(c,d) \).

Demostración

Por definición, el costo de un camino es la suma de pesos estructurales.

La distancia \( D(c,d) \) es el mínimo de dichos costos entre todos los caminos admisibles.

Por tanto, todo camino seleccionado por el principio de camino mínimo (9.3) coincide con un minimizador de \( D(c,d) \).

Esto establece la equivalencia entre camino mínimo y geodésica estructural.

9.6.4 Emergencia de la noción espacial

La estructura \( (\mathcal{C}, D) \) define un espacio métrico emergente, donde la proximidad entre configuraciones está determinada exclusivamente por compatibilidad estructural.

No existe noción previa de espacio:

  • La distancia emerge como resistencia acumulada.
  • La dirección emerge como selección de caminos mínimos.
  • La localidad emerge como vecindad de bajo peso.

Teorema 9.6.5 (Emergencia espacial sin geometría continua)

Toda teoría estructural con pesos positivos induces una noción de espacio efectivo, sin necesidad de postular variedad, métrica continua ni coordenadas.

Demostración

Dado que \( D \) satisface las propiedades métricas básicas, la colección de bolas

\[ B_\varepsilon(c) = \{ d \in \mathcal{C} \mid D(c,d) < \varepsilon \} \]

define una topología inducida.

Esta topología permite hablar de cercanía, continuidad efectiva y regiones estructurales, sin introducir geometría externa.

Por tanto, la noción espacial emerge como consecuencia teórica necesaria del principio de costo mínimo.

Esto completa la demostración.

Corolario 9.6.6 (Localidad estructural)

Las interacciones estructurales son locales respecto a la distancia inducida, no respecto a un espacio previamente dado.

Comentarios

Publicar un comentario

Entradas populares de este blog

Capítulo 2 — 1. Definición del conjunto de poliedros P\mathcal{P}

LaTeX en HTML5 Sección 2.1 2.1.1 Definición: Acción de un grupo sobre un conjunto. Sea \((G,*)\) un grupo con elemento neutro \(e\), y sea \(X\) un conjunto no vacío. Una acción de \(G\) sobre \(X\) es una aplicación \[\Phi : G \times X \longrightarrow X, \qquad (g,x)\longmapsto g\cdot x,\] tal que se satisfacen las siguientes propiedades fundamentales: (i) Compatibilidad con la operación del grupo. Para todos \(g,h\in G\) y todo \(x\in X\), \[\Phi(g*h,x) = \Phi(g,\Phi(h,x))\] (ii) Identidad. Para todo \(x\in X\), \[\Phi(e,x) = x\] Ejemplo: Acción del grupo de simetrías del cuadrado sobre sus vértices. Sea \(G = D_4\) el grupo diedral de orden \(8\), es decir, el grupo de todas las isometrías del plano que dejan invariante un cuadrado centrado en el origen. La operación en \(G\) es la composición de funciones. Consideremos el cuadrado centrado en el origen de \(\mathbb{R}^2\) cuyos vértices son \[\b...
Leer más

Capítulo 1 — 3. Grupo de simetrías Aut(RD)

LaTeX en HTML5 Sección 1.3: Simetría inherente Definición 1.3.1: Grupo de simetrías de RD Sea \(\mathrm{RD}\) definido por \[ \mathrm{RD} := \left\{ (x,y,z) \in \mathbb{R}^3 \;\bigg|\; |x| + |y| \le 1, \ |x| + |z| \le 1, \ |y| + |z| \le 1 \right\}. \] El grupo de simetrías \(\mathrm{Aut}(\mathrm{RD})\) está formado por todas las transformaciones lineales \(T:\mathbb{R}^3 \to \mathbb{R}^3\) tales que: \[ T(\mathrm{RD}) = \mathrm{RD}, \quad T \text{ es una isometría rígida (rotación o reflexión)}. \] Esta definición establece formalmente qué significa “simetría” en el contexto del dodecaedro rómbico: cualquier transformación que mueva puntos dentro de \(\mathbb{R}^3\) sin deformar el sólido ni alterar su forma (solo rotaciones o reflejos) y que deje al dodecaedro exactamente en su lugar, pertenece al grupo de simetrías. En otras palabras, \(\mathrm{Aut}(\mathrm{RD})\) captura todas las maneras de “mover” el sólido sin que se note n...
Leer más

Capítulo 1 — 4. Teorema de teselación del espacio euclidiano

Imagen
LaTeX en HTML5 Sección 1.4 Definición 1.4.1: Traslación de un subconjunto del espacio euclidiano. Sea \(A\subset\mathbb{R}^n\) un subconjunto no vacío, y sea \(\lambda\in\mathbb{R}^n\). Se define el conjunto trasladado de \(A\) por el vector \(\lambda\) como \[ A+\lambda := \left\{ x\in\mathbb{R}^n \;\middle|\; \exists\,a\in A \text{ tal que } x=a+\lambda \right\}. \] Definición 1.4.2: Región o dominio de Voronoi. Sea \(\Lambda \subset \mathbb{R}^n\) un conjunto discreto no vacío, provisto de la norma euclidiana \(\|\cdot\|\). Para un punto \(\lambda \in \Lambda\), se define la región o dominio de Voronoi asociada a \(\lambda\) como el conjunto \[ V(\lambda) := \left\{ x \in \mathbb{R}^n \;\middle|\; \|x-\lambda\| \le \|x-\mu\| \;\;\text{para todo }\mu \in \Lambda \right\}. \] Es decir, \(V(\lambda)\) está formado por todos los puntos del espacio que están al menos tan cerca de \(\lambda\) como de cualquier otr...
Leer más