Capítulo 9: 8. Distancia, causalidad y movimiento sin geometría continua ni tiempo.

LaTeX en HTML5

Sección 9.6

Teorema 9.6.1 (Emergencia de la distancia estructural)

Sea \( \mathcal{C} \) el conjunto de configuraciones estructurales admisibles y sea la distancia mínima inducida definida por

\[ d_{\min}(c_1,c_2) = \min \left\{ n \in \mathbb{N} \;\middle|\; \exists\, c_0,\dots,c_n : c_0=c_1,\; c_n=c_2,\; c_i \to c_{i+1} \text{ admisible} \right\}. \]

Entonces \( d_{\min} \) define una noción de distancia estructural sin referencia a geometría continua.

Demostración

Por definición, \( d_{\min}(c_1,c_2)=0 \) si y solo si \( c_1=c_2 \), y \( d_{\min}(c_1,c_2)\ge 1 \) si \( c_1\neq c_2 \).

La concatenación de secuencias admisibles implica

\[ d_{\min}(c_1,c_3) \le d_{\min}(c_1,c_2)+d_{\min}(c_2,c_3), \]

por lo que \( d_{\min} \) satisface las propiedades formales de una distancia discreta. Esta distancia no presupone puntos, coordenadas ni continuidad.

\( \square \)

Teorema 9.6.2 (Emergencia de la causalidad estructural)

Sea \( \Phi:\mathcal{C}\to\mathbb{R} \) el funcional de incompatibilidad y \( \preceq \) la relación definida por alcanzabilidad mediante transiciones admisibles.

Entonces \( \preceq \) define una estructura causal sin referencia a tiempo.

Demostración

Por el Teorema 9.1.5, \( \preceq \) es un orden parcial. Si \( c_1 \preceq c_2 \), existe una secuencia admisible que conecta \( c_1 \) con \( c_2 \), mientras que si no existe tal secuencia, las configuraciones son causalmente incomparables.

Esta distinción define influencia posible e influencia imposible, que es precisamente el contenido lógico mínimo de causalidad, sin introducir temporalidad.

\( \square \)

Teorema 9.6.3 (Emergencia del movimiento sin trayectoria)

Sea \( (c_0,c_1,\dots,c_n) \) una secuencia de configuraciones tales que

\[ c_0 \preceq c_1 \preceq \dots \preceq c_n. \]

Entonces esta secuencia define un movimiento estructural sin necesidad de trayectorias continuas ni tiempo previo.

Demostración

Cada relación \( c_i \preceq c_{i+1} \) corresponde a una transición admisible. La secuencia completa representa un proceso de reconfiguración progresiva.

No se requiere parametrización temporal ni noción de posición; el movimiento queda definido como cambio estructural ordenado.

\( \square \)

Teorema 9.6.4 (Emergencia del tiempo discreto)

Sea \( \mathcal{C} \) el conjunto de configuraciones estructurales admisibles, sea \( \Phi : \mathcal{C} \to \mathbb{R} \) el funcional global de incompatibilidad, y sea \( \preceq \) el orden parcial inducido por las transiciones estructurales admisibles.

Sea \[ \gamma = (c_0, c_1, \dots, c_n) \] una secuencia finita de configuraciones tal que

\[ c_0 \prec c_1 \prec \dots \prec c_n, \]

donde cada relación \( c_i \prec c_{i+1} \) corresponde a una transición estructural admisible con descenso no creciente del funcional \( \Phi \).

Defínase la aplicación

\[ t : \gamma \to \mathbb{N}, \qquad t(c_i) := i. \]

Entonces:

  1. La aplicación \( t \) es un parámetro temporal discreto bien definido.
  2. \( t \) es compatible con el orden causal inducido por \( \preceq \).
  3. \( t \) no introduce estructura adicional independiente del orden causal, sino que emerge como su parametrización ordinal.

Demostración

(1) Bien-definición. Por construcción, la secuencia \( \gamma \) es finita y totalmente ordenada por \( \prec \). A cada configuración \( c_i \) se le asigna un único índice \( i \in \mathbb{N} \). Por lo tanto, la aplicación \( t \) está bien definida.

(2) Compatibilidad con el orden causal. Sea \( c_i, c_j \in \gamma \) tales que \( c_i \prec c_j \). Por la definición de la secuencia ordenada, se tiene necesariamente \( i < j \). Luego,

\[ c_i \prec c_j \;\Longrightarrow\; t(c_i) < t(c_j). \]

Esto muestra que \( t \) es estrictamente monótona creciente respecto del orden causal inducido por \( \preceq \).

(3) No circularidad ni arbitrariedad. Por el Teorema 9.1.4 (Irreversibilidad estructural local), no existen ciclos admisibles con descenso estricto del funcional \( \Phi \). En consecuencia, el orden \( \prec \) es acíclico sobre \( \gamma \), lo que garantiza que el índice ordinal asignado por \( t \) no produce contradicciones.

(4) Carácter emergente. La definición de \( t \) no introduce una noción previa de tiempo: no se asume continuidad, duración ni simultaneidad. El parámetro \( t \) surge exclusivamente como etiquetado ordinal de una cadena causal ya existente.

Por tanto, \( t \) constituye un tiempo discreto emergente, derivado del orden causal estructural y no postulado como entidad fundamental.

\( \square \)

Teorema 9.6.5 (Emergencia del tiempo continuo efectivo)

Bajo el límite de cadenas largas y homogeneidad estructural, el tiempo discreto \( t \in \mathbb{N} \) admite una aproximación por un parámetro continuo \( \tau \in \mathbb{R} \).

Demostración

Cuando el número de transiciones elementales es grande y las variaciones de \( \Phi \) por transición son pequeñas, la parametrización discreta puede reescalarse y aproximarse por una variable continua.

Este procedimiento no introduce nueva estructura, sino que emerge como límite efectivo del orden causal discreto.

\( \square \)

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