Orden cíclico

En matemáticas , un orden cíclico es una forma de organizar un conjunto de objetos en un círculo . ^[nb] A diferencia de la mayoría de las estructuras en la teoría del orden , un orden cíclico no se modela como una relación binaria , como " $a < b$ ". No se dice que el este es "más en el sentido de las agujas del reloj" que el oeste. En cambio, un orden cíclico se define como una relación ternaria $[a, b, c]$ , lo que significa "después de $a$ , se llega $a b$ antes que $a c$ ". Por ejemplo, [junio, octubre, febrero], pero no [junio, febrero, octubre], cf. imagen. Una relación ternaria se llama orden cíclico si es cíclica, asimétrica, transitiva y conexa. Si se omite el requisito de "conexo", se obtiene un orden cíclico parcial .

Un conjunto con un orden cíclico se denomina conjunto cíclicamente ordenado o simplemente ciclo . ^[nb] Algunos ciclos conocidos son discretos, ya que tienen solo un número finito de elementos : hay siete días de la semana , cuatro direcciones cardinales , doce notas en la escala cromática y tres jugadas en piedra, papel o tijera . En un ciclo finito, cada elemento tiene un "elemento siguiente" y un "elemento anterior". También hay órdenes cíclicos con infinitos elementos, como el círculo unitario orientado en el plano.

Los órdenes cíclicos están estrechamente relacionados con los órdenes lineales más conocidos , que organizan los objetos en una línea . Cualquier orden lineal se puede doblar en un círculo, y cualquier orden cíclico se puede cortar en un punto, lo que da como resultado una línea. Estas operaciones, junto con las construcciones relacionadas de intervalos y mapas de recubrimiento, significan que las preguntas sobre los órdenes cíclicos a menudo se pueden transformar en preguntas sobre los órdenes lineales. Los ciclos tienen más simetrías que los órdenes lineales, y a menudo ocurren naturalmente como residuos de estructuras lineales, como en los grupos cíclicos finitos o la línea proyectiva real .

Ciclos finitos

Un orden cíclico en un conjunto $X$ con $n$ elementos es como una disposición de $X$ en la esfera de un reloj, para un reloj $de n horas. Cada elemento$ $x$ en $X$ tiene un "elemento siguiente" y un "elemento anterior", y al tomar sucesores o predecesores se realiza un ciclo exactamente una vez a través de los elementos como $x (1), x (2), ..., x (n)$ .

Hay algunas formas equivalentes de enunciar esta definición. Un orden cíclico en $X$ es lo mismo que una permutación que convierte a todo $X$ en un solo ciclo , que es un tipo especial de permutación: una permutación circular . Alternativamente, un ciclo con $n$ elementos también es un $Z n$ - torsor : un conjunto con una acción transitiva libre por un grupo cíclico finito . ^[1] Otra formulación es convertir $a X$ en el gráfico de ciclo dirigido estándar en $n$ vértices, mediante alguna coincidencia de elementos con vértices.

Puede ser instintivo utilizar órdenes cíclicos para funciones simétricas , por ejemplo como en

xy + yz + zx

donde escribir el monomio final como $xz$ distraería del patrón.

Un uso sustancial de los órdenes cíclicos es en la determinación de las clases de conjugación de grupos libres . Dos elementos $g$ y $h$ del grupo libre $F$ en un conjunto $Y$ son conjugados si y solo si, cuando se escriben como productos de elementos $y$ e $y -1$ con $y$ en $Y$ , y luego esos productos se colocan en orden cíclico, los órdenes cíclicos son equivalentes bajo las reglas de reescritura que permiten eliminar o agregar $y e$ $y$ −1 $adyacentes$ .

Un orden cíclico en un conjunto $X$ puede determinarse mediante un orden lineal en $X$ , pero no de forma única. Elegir un orden lineal es equivalente a elegir un primer elemento, por lo que hay exactamente $n$ órdenes lineales que inducen un orden cíclico dado. Como hay $n!$ órdenes lineales posibles (como en permutaciones ), hay $(n - 1)!$ órdenes cíclicos posibles (como en permutaciones circulares ).

Definiciones

Un conjunto infinito también puede ordenarse cíclicamente. Ejemplos importantes de ciclos infinitos incluyen el círculo unitario , $S 1$ , y los números racionales , $Q$ . La idea básica es la misma: ordenamos los elementos del conjunto alrededor de un círculo. Sin embargo, en el caso infinito no podemos confiar en una relación de sucesor inmediato, porque los puntos pueden no tener sucesores. Por ejemplo, dado un punto en el círculo unitario, no hay un "próximo punto". Tampoco podemos confiar en una relación binaria para determinar cuál de dos puntos viene "primero". Viajando en el sentido de las agujas del reloj en un círculo, ni el este ni el oeste vienen primero, sino que cada uno sigue al otro.

En su lugar, utilizamos una relación ternaria que denota que los elementos $a$ , $b$ , $c$ aparecen uno después del otro (no necesariamente inmediatamente) a medida que recorremos el círculo. Por ejemplo, en el sentido de las agujas del reloj, [este, sur, oeste]. Al currar los argumentos de la relación ternaria $[a, b, c]$ , se puede pensar en un orden cíclico como una familia de un parámetro de relaciones de orden binario, llamadas cortes , o como una familia de dos parámetros de subconjuntos de $K$ , llamados intervalos .

La relación ternaria

La definición general es la siguiente: un orden cíclico en un conjunto $X$ es una relación $C \subset X 3$ , escrita $[a, b, c]$ , que satisface los siguientes axiomas: ^[nb]

Ciclicidad: Si $[a, b, c]$ entonces $[b, c, a]$
Asimetría: Si $[a, b, c]$ entonces no $[c, b, a]$
Transitividad: Si $[a, b, c]$ y $[a, c, d]$ entonces $[a, b, d]$
Conectividad: si $a$ , $b$ y $c$ son distintos, entonces $[a, b, c]$ o $[c, b, a]$

Los axiomas se nombran por analogía con los axiomas de asimetría , transitividad y conexidad para una relación binaria, que juntos definen un orden lineal estricto . Edward Huntington (1916, 1924) consideró otras posibles listas de axiomas, incluida una lista que pretendía enfatizar la similitud entre un orden cíclico y una relación de intermediación . Una relación ternaria que satisface los primeros tres axiomas, pero no necesariamente el axioma de totalidad, es un orden cíclico parcial .

Rodamientos y cortes

Dado un orden lineal $<$ en un conjunto $X$ , el orden cíclico en $X$ inducido por $<$ se define de la siguiente manera: ^[2]

[a, b, c]

si y sólo si

a < b < c

b < c < a

c < a < b

Dos órdenes lineales inducen el mismo orden cíclico si pueden transformarse entre sí mediante un reordenamiento cíclico, como al cortar una baraja de cartas . ^[3] Se puede definir una relación de orden cíclico como una relación ternaria que es inducida por un orden lineal estricto como el anterior. ^[4]

Al eliminar un único punto de un orden cíclico se obtiene un orden lineal. Más precisamente, dado un conjunto cíclico ordenado , cada elemento define un orden lineal natural en el resto del conjunto, , mediante la siguiente regla: ^[5] $(K,[\cdot ,\cdot ,\cdot ])$ $a\en K$ $<_{a}$ $K\setminus \{a\}$

Estilo de visualización x<_{a}y

si y sólo si .

[a,x,y]

Además, se puede extender mediante la unión como elemento menor; el orden lineal resultante en se denomina corte principal con elemento menor . Asimismo, la unión como elemento mayor da como resultado un corte . ^[6] $<_{a}$ ${\estilo de visualización a}$ ${\estilo de visualización K}$ ${\estilo de visualización a}$ ${\estilo de visualización a}$ $<^{a}$

Intervalos

Dados dos elementos , el intervalo abierto de a , escrito , es el conjunto de todos los elementos tales que . El sistema de intervalos abiertos define completamente el orden cíclico y puede utilizarse como una definición alternativa de una relación de orden cíclico. ^[7] $a\neq b\in K$ ${\estilo de visualización a}$ ${\estilo de visualización b}$ ${\estilo de visualización (a,b)}$ $x\en K$ ${\estilo de visualización [a,x,b]}$

Un intervalo tiene un orden lineal natural dado por . Se pueden definir intervalos semicerrados y cerrados , , y mediante la unión como elemento menor y/o como elemento mayor . ^[8] Como caso especial, el intervalo abierto se define como el corte . ${\estilo de visualización (a,b)}$ $<_{a}$ ${\estilo de visualización [a,b)}$ ${\estilo de visualización (a,b]}$ ${\estilo de visualización [a,b]}$ ${\estilo de visualización a}$ ${\estilo de visualización b}$ ${\estilo de visualización (a,a)}$ $K\setmenos a$

De manera más general, un subconjunto propio de se denomina convexo si contiene un intervalo entre cada par de puntos: para , o también deben estar en . ^[9] Un conjunto convexo está ordenado linealmente por el corte para cualquier no en el conjunto; este orden es independiente de la elección de . ${\estilo de visualización S}$ ${\estilo de visualización K}$ $a\neq b\in S$ ${\estilo de visualización (a,b)}$ ${\estilo de visualización (b,a)}$ ${\estilo de visualización S}$ $estilo de visualización <_{x}}$ ${\estilo de visualización x}$ ${\estilo de visualización x}$

Automorfismos

Como un círculo tiene un orden en el sentido de las agujas del reloj y un orden en el sentido contrario, cualquier conjunto con un orden cíclico tiene dos sentidos . Una biyección del conjunto que conserva el orden se llama correspondencia ordenada . Si el sentido se mantiene como antes, es una correspondencia directa , de lo contrario se llama correspondencia opuesta . ^[10] Coxeter utiliza una relación de separación para describir el orden cíclico, y esta relación es lo suficientemente fuerte como para distinguir los dos sentidos del orden cíclico. Los automorfismos de un conjunto cíclicamente ordenado pueden identificarse con C ₂ , el grupo de dos elementos, de correspondencias directas y opuestas.

Funciones monótonas

La idea de "orden cíclico = disposición en un círculo" funciona porque cualquier subconjunto de un ciclo es en sí mismo un ciclo. Para utilizar esta idea para imponer órdenes cíclicos a conjuntos que no son en realidad subconjuntos del círculo unitario en el plano, es necesario considerar funciones entre conjuntos.

Una función entre dos conjuntos ordenados cíclicamente, $f : X \to Y$ , se denomina función monótona u homomorfismo si revierte el ordenamiento en $Y$ : siempre que $[f (a), f (b), f (c)]$ , se tiene $[a, b, c]$ . De manera equivalente, $f$ es monótona si siempre que $[a, b, c]$ y $f (a), f (b)$ y $f (c)$ son todos distintos, entonces $[f (a), f (b), f (c)]$ . Un ejemplo típico de una función monótona es la siguiente función en el ciclo con 6 elementos:

f (0) = f (1) = 4,

f (2) = f (3) = 0,

f (4) = f (5) = 1.

Una función se denomina incrustación si es tanto monótona como inyectiva . ^[nb] De manera equivalente, una incrustación es una función que empuja hacia adelante el ordenamiento en $X$ : siempre que $[a, b, c]$ , uno tiene $[f (a), f (b), f (c)]$ . Como ejemplo importante, si $X$ es un subconjunto de un conjunto cíclicamente ordenado $Y$ , y $a X$ se le da su ordenamiento natural, entonces la función de inclusión $i : X \to Y$ es una incrustación.

Generalmente, una función inyectiva $f$ de un conjunto desordenado $X$ a un ciclo $Y$ induce un orden cíclico único en $X$ que hace que $f$ sea una incrustación.

Funciones sobre conjuntos finitos

Un orden cíclico en un conjunto finito $X$ puede determinarse mediante una inyección en el círculo unitario, $X \to S 1$ . Hay muchas funciones posibles que inducen el mismo orden cíclico; de hecho, infinitas. Para cuantificar esta redundancia, se necesita un objeto combinatorio más complejo que un simple número. Examinar el espacio de configuración de todos estos mapas conduce a la definición de un politopo $(n - 1)$ -dimensional conocido como cicloedro . Los cicloedros se aplicaron primero al estudio de invariantes de nudos ; ^[11] más recientemente se han aplicado a la detección experimental de genes expresados periódicamente en el estudio de relojes biológicos . ^[12]

La categoría de homomorfismos de los ciclos finitos estándar se denomina categoría cíclica ; puede utilizarse para construir la homología cíclica de Alain Connes .

Se puede definir un grado de una función entre ciclos, de forma análoga al grado de una aplicación continua . Por ejemplo, la aplicación natural del círculo de quintas al círculo cromático es una aplicación de grado 7. También se puede definir un número de rotación .

Terminación

Un corte con un elemento menor y un elemento mayor se llama salto . Por ejemplo, cada corte de un ciclo finito $Z n$ es un salto. Un ciclo sin saltos se llama denso . ^[13]^[14]
Un corte que no tiene ni un elemento menor ni un elemento mayor se llama hueco . Por ejemplo, los números racionales $Q$ tienen un hueco en cada número irracional. También tienen un hueco en el infinito, es decir, el orden habitual. Un ciclo sin huecos se llama completo . ^[15]^[14]
Un corte con exactamente un punto final se denomina corte principal o de Dedekind . Por ejemplo, cada corte del círculo $S 1$ es un corte principal. Un ciclo en el que cada corte es principal, al ser denso y completo, se denomina continuo . ^[16]^[14]

El conjunto de todos los cortes está ordenado cíclicamente por la siguiente relación: $[< 1, < 2, < 3]$ si y sólo si existen $x, y, z$ tales que: ^[17]

x < 1 y < 1 z

x < 1

y < 2 z < 2 x

, y

x < 1 y < 1

z < 3 x < 3 y

Un cierto subconjunto de este ciclo de recortes es la finalización por parte de Dedekind del ciclo original.

Construcciones posteriores

Desenrollado y cubiertas

Partiendo de un conjunto ordenado cíclicamente $K$ , se puede formar un orden lineal desenrollándolo a lo largo de una línea infinita. Esto captura la noción intuitiva de llevar un registro de cuántas veces se da una vuelta al círculo. Formalmente, se define un orden lineal sobre el producto cartesiano $Z \times K$ , donde $Z$ es el conjunto de números enteros , fijando un elemento $a$ y exigiendo que para todo $i$ : ^[18]

[a, x, y]

, entonces

a i < x i < y i < a i +1

Por ejemplo, los meses de enero de 2024, mayo de 2024, septiembre de 2024 y enero de 2025 ocurren en ese orden.

Este orden de $Z \times K$ se denomina cobertura universal de $K$ . ^[nb] Su tipo de orden es independiente de la elección de $a$ , pero la notación no lo es, ya que la coordenada entera "se da vuelta" en $a$ . Por ejemplo, aunque el orden cíclico de las clases de tonos es compatible con el orden alfabético de A a G, se elige C para que sea la primera nota en cada octava, por lo que en la notación de nota-octava , B ₃ es seguida por C ₄ .

La construcción inversa comienza con un conjunto ordenado linealmente y lo enrosca hasta formar un conjunto ordenado cíclicamente. Dado un conjunto ordenado linealmente $L y una$ biyección que preserva el orden $T : L \to L$ con órbitas ilimitadas, el espacio de órbitas $L / T$ está ordenado cíclicamente según el requisito: ^[7]^[nb]

a < b < c < T (a)

, entonces

[[a], [b], [c]]

En particular, se puede recuperar $K$ definiendo $T (x i) = x i +1$ en $Z \times K$ .

También existen recubrimientos $n -fold para$ $n$ finitos ; en este caso, un conjunto ordenado cíclicamente cubre otro conjunto ordenado cíclicamente. Por ejemplo, el reloj de 24 horas es un recubrimiento doble del reloj de 12 horas . En geometría, el lápiz de rayos que emanan de un punto en el plano orientado es un recubrimiento doble del lápiz de líneas no orientadas que pasan por el mismo punto. ^[19] Estas funciones de recubrimiento se pueden caracterizar elevándolas al recubrimiento universal. ^[7]

Productos y retractos

Dado un conjunto ordenado cíclicamente $(K, [ ])$ y un conjunto ordenado linealmente $(L, <)$ , el producto lexicográfico (total) es un orden cíclico en el conjunto producto $K \times L$ , definido por $[(a, x), (b, y), (c, z)]$ si se cumple una de las siguientes condiciones: ^[20]

$[a, b, c]$
$a = b \neq c$ y $x < y$
$b = c \neq a$ y $y < z$
$c = a \neq b$ y $z < x$
$a = b = c$ y $[x, y, z]$

El producto lexicográfico $K \times L$ globalmente se parece a $K$ y localmente se parece a $L$ ; puede considerarse como $K$ copias de $L$ . Esta construcción se utiliza a veces para caracterizar grupos ordenados cíclicamente. ^[21]

También se pueden unir diferentes conjuntos ordenados linealmente para formar un conjunto ordenado circularmente. Por ejemplo, dados dos conjuntos ordenados linealmente $L 1$ y $L 2$ , se puede formar un círculo uniéndolos en el infinito positivo y negativo. Un orden circular en la unión disjunta $L 1 \cup L 2 \cup {-\infty, \infty$ } se define por $\infty < L 1 < -\infty < L 2 < \infty$ , donde el orden inducido en $L 1$ es el opuesto de su orden original. Por ejemplo, el conjunto de todas las longitudes se ordena circularmente uniendo todos los puntos al oeste y todos los puntos al este, junto con el meridiano principal y el meridiano 180. Kuhlmann, Marshall y Osiak (2011) utilizan esta construcción al caracterizar los espacios de ordenamientos y lugares reales de series formales dobles de Laurent sobre un cuerpo cerrado real . ^[22]

Topología

Los intervalos abiertos forman una base para una topología natural , la topología de orden cíclico . Los conjuntos abiertos en esta topología son exactamente aquellos conjuntos que están abiertos en cada orden lineal compatible. ^[23] Para ilustrar la diferencia, en el conjunto [0, 1), el subconjunto [0, 1/2) es un entorno de 0 en el orden lineal pero no en el orden cíclico.

Ejemplos interesantes de espacios ordenados cíclicamente incluyen el límite conforme de una superficie de Lorentz simplemente conexa ^[24] y el espacio de hoja de una laminación esencial elevada de ciertas 3-variedades. ^{[25] También se han estudiado}sistemas dinámicos discretos en espacios ordenados cíclicamente. ^[26]

La topología de intervalos olvida la orientación original del orden cíclico. Esta orientación se puede restaurar enriqueciendo los intervalos con sus órdenes lineales inducidos; entonces se tiene un conjunto cubierto con un atlas de órdenes lineales que son compatibles donde se superponen. En otras palabras, un conjunto ordenado cíclicamente puede considerarse como un espacio ordenado linealmente localmente: un objeto como una variedad , pero con relaciones de orden en lugar de gráficos de coordenadas. Este punto de vista hace que sea más fácil ser preciso acerca de conceptos tales como los mapas de recubrimiento. La generalización a un espacio parcialmente ordenado localmente se estudia en Roll (1993); véase también Topología dirigida .

Estructuras relacionadas

Grupos

Un grupo cíclicamente ordenado es un conjunto con una estructura de grupo y un orden cíclico, de modo que la multiplicación por la izquierda y la derecha preservan el orden cíclico. Los grupos cíclicamente ordenados fueron estudiados en profundidad por primera vez por Ladislav Rieger en 1947. ^[27] Son una generalización de los grupos cíclicos : el grupo cíclico infinito $Z$ y los grupos cíclicos finitos $Z / n$ . Dado que un orden lineal induce un orden cíclico, los grupos cíclicamente ordenados también son una generalización de los grupos linealmente ordenados : los números racionales $Q$ , los números reales $R$ , etc. Algunos de los grupos cíclicamente ordenados más importantes no entran en ninguna de las categorías anteriores: el grupo circular $T$ y sus subgrupos, como el subgrupo de puntos racionales .

Todo grupo ordenado cíclicamente puede expresarse como un cociente $L / Z$ , donde $L$ es un grupo ordenado linealmente y $Z$ es un subgrupo cofinal cíclico de $L$ . Todo grupo ordenado cíclicamente también puede expresarse como un subgrupo de un producto $T \times L$ , donde $L$ es un grupo ordenado linealmente. Si un grupo ordenado cíclicamente es arquimediano o compacto, puede estar incluido en el propio $T.$ ^[28]

Axiomas modificados

Un orden cíclico parcial es una relación ternaria que generaliza un orden cíclico (total) de la misma manera que un orden parcial generaliza un orden total . Es cíclico, asimétrico y transitivo, pero no necesita ser total. Una variedad de orden es un orden cíclico parcial que satisface un axioma de propagación adicional. ^[29] Reemplazar el axioma de asimetría con una versión complementaria da como resultado la definición de un orden cocíclico . Apropiadamente, los órdenes cocíclicos totales están relacionados con los órdenes cíclicos de la misma manera que $\leq$ está relacionado con $<$ .

Un orden cíclico obedece a un axioma de transitividad de 4 puntos relativamente fuerte. Una estructura que debilita este axioma es un sistema CC : una relación ternaria que es cíclica, asimétrica y total, pero generalmente no transitiva. En cambio, un sistema CC debe obedecer a un axioma de transitividad de 5 puntos y a un nuevo axioma de interioridad , que restringe las configuraciones de 4 puntos que violan la transitividad cíclica. ^[30]

Se requiere que un orden cíclico sea simétrico bajo permutación cíclica, $[a, b, c] \Rightarrow [b, c, a]$ , y asimétrico bajo inversión: $[a, b, c] \Rightarrow \neg[c, b, a]$ . Una relación ternaria que es asimétrica bajo permutación cíclica y simétrica bajo inversión, junto con versiones apropiadas de los axiomas de transitividad y totalidad, se llama relación de intermediación . Una relación de separación es una relación cuaternaria que puede considerarse como un orden cíclico sin una orientación. La relación entre un orden circular y una relación de separación es análoga a la relación entre un orden lineal y una relación de intermediación. ^[31]

Simetrías y teoría de modelos

Evans, Macpherson e Ivanov (1997) proporcionan una descripción teórica de modelos de los mapas de cobertura de los ciclos.

Tararin (2001, 2002) estudia grupos de automorfismos de ciclos con diversas propiedades de transitividad . Giraudet y Holland (2002) caracterizan ciclos cuyos grupos de automorfismos completos actúan libre y transitivamente . Campero-Arena y Truss (2009) caracterizan ciclos coloreados contables cuyos grupos de automorfismos actúan transitivamente. Truss (2009) estudia el grupo de automorfismos del único ciclo denso contable (hasta isomorfismo).

Kulpeshov y Macpherson (2005) estudian las condiciones de minimalidad en estructuras ordenadas circularmente , es decir, modelos de lenguajes de primer orden que incluyen una relación de orden cíclico. Estas condiciones son análogas a la o-minimalidad y la o-minimalidad débil para el caso de estructuras ordenadas linealmente. Kulpeshov (2006, 2009) continúa con algunas caracterizaciones de estructuras ω-categóricas . ^[32]

Cognición

Hans Freudenthal ha destacado el papel de los órdenes cíclicos en el desarrollo cognitivo, en contraste con Jean Piaget , que sólo se ocupa de los órdenes lineales. Se han realizado algunos experimentos para investigar las representaciones mentales de conjuntos ordenados cíclicamente, como los meses del año.

Notas sobre el uso

^orden cíclico La relación puede denominarse orden cíclico (Huntington 1916, p. 630), orden circular (Huntington 1916, p. 630), ordenamiento cíclico (Kok 1973, p. 6) u ordenamiento circular (Mosher 1996, p. 109). Algunos autores denominan a dicho ordenamiento orden cíclico total (Isli & Cohn 1998, p. 643), orden cíclico completo (Novák 1982, p. 462), orden cíclico lineal (Novák 1984, p. 323) u orden l-cíclico u orden ℓ-cíclico (Černák 2001, p. 32), para distinguirlo de la clase más amplia de órdenes cíclicos parciales , a los que denominan simplemente órdenes cíclicos . Finalmente, algunos autores pueden interpretar el orden cíclico como una relación de separación cuaternaria no orientada (Bowditch 1998, p. 155).

^ciclo Un conjunto con un orden cíclico puede llamarse ciclo (Novák 1982, p. 462) o círculo (Giraudet & Holland 2002, p. 1). Las variaciones anteriores también aparecen en forma adjetiva: conjunto cíclicamente ordenado ( cyklicky uspořádané množiny , Čech 1936, p. 23), conjunto circularmente ordenado , conjunto total cíclicamente ordenado , conjunto completo cíclicamente ordenado , conjunto linealmente cíclicamente ordenado , conjunto l-cíclicamente ordenado , conjunto ℓ- cíclicamente ordenado . Todos los autores coinciden en que un ciclo está totalmente ordenado.

Relación ternaria Existen algunos símbolos diferentes en uso para una relación cíclica. Huntington (1916, p. 630) utiliza la concatenación: $ABC$ . Čech (1936, p. 23) y (Novák 1982, p. 462) utilizan ternas ordenadas y el símbolo de pertenencia a conjuntos: $(a, b, c) \in C$ . Megiddo (1976, p. 274) utiliza la concatenación y la pertenencia a conjuntos: $abc \in C$ , entendiendo $abc$ como una terna ordenada cíclicamente. La literatura sobre grupos, como la de Świerczkowski (1959a, p. 162) y Černák & Jakubík (1987, p. 157), tiende a utilizar corchetes: $[a, b, c]$ . Giraudet y Holland (2002, p. 1) utilizan paréntesis redondos: $(a, b, c)$ , reservando los corchetes para una relación de intermediación. Campero-Arena y Truss (2009, p. 1) utilizan una notación de estilo de función: $R (a, b, c)$ . Rieger (1947), citado después de Pecinová 2008, p. 82) utiliza un símbolo "menor que" como delimitador: $< x, y, z <$ . Algunos autores utilizan la notación infija: $a < b < c$ , con el entendimiento de que esto no conlleva el significado habitual de $a < b$ y $b < c$ para alguna relación binaria < (Černy 1978, p. 262). Weinstein (1996, p. 81) enfatiza la naturaleza cíclica repitiendo un elemento: $p ↪ r ↪ q ↪ p$ .

^incrustación Novák (1984, p. 332) llama a una incrustación una "incrustación isomórfica".

^roll En este caso, Giraudet y Holland (2002, p. 2) escriben que $K$ es $L$ "enrollado".

^espacio orbital La función T es llamada arquimediana por Bowditch (2004, p. 33), coterminal por Campero-Arena y Truss (2009, p. 582), y una traducción por McMullen (2009, p. 10).

^cobertura universal McMullen (2009, p. 10) llama $a Z \times K$ la "cobertura universal" de $K$ . Giraudet y Holland (2002, p. 3) escriben que $K$ es $Z \times K$ "enrollado". Freudenthal y Bauer (1974, p. 10) llaman $a Z \times K$ la "cobertura ∞-veces" de $K$ . A menudo, esta construcción se escribe como el orden antilexicográfico en $K \times Z$ .

Referencias

Citas

^ Brown 1987, pág. 52.
^ Huntington 1935, pag. 6; Čech 1936, pág. 25.
^ Calegari 2004, pág. 439.
^ Courcelle 2003.
^ Huntington 1935, pag. 7; Čech 1936, pág. 24.
^ Novák 1984, pág. 323.
^ abc McMullen 2009, pág. 10.
^ Giraudet y Holland 2002, pág. 2.
^ Kulpeshov 2009.
^ Coxeter 1949, pág. 25.
^ Stasheff 1997, pág. 58.
^ Morton y otros. 2007.
^ Novák 1984, pág. 325.
^ abc Novák y Novotný 1987, p. 409–410.
^ Novák 1984, págs. 325, 331.
^ Novák 1984, pág. 333.
^ Novák 1984, pág. 330.
^ Rollo 1993, pag. 469; Freudenthal y Bauer 1974, pág. 10
^ Freudenthal 1973, pág. 475; Freudenthal y Bauer 1974, pág. 10
^ Świerczkowski 1959a, pag. 161.
^ Swierczkowski 1959a.
^ Kuhlmann, Marshall y Osiak 2011, pág. 8.
^ Viro y otros. 2008, pág. 44.
^ Weinstein 1996, págs. 80–81.
^ Calegari y Dunfield 2003, págs. 12-13.
^ Bass y otros 1996, pág. 19.
^ Pecinová-Kozáková 2005, pag. 194.
^ Świerczkowski 1959a, págs. 161-162.
^ Ille, Pierre; Ruet, Paul (abril de 2008), "Extensiones cíclicas de variedades de orden", Electronic Notes in Theoretical Computer Science , 212 : 119–132, doi :10.1016/j.entcs.2008.04.057
^ Knuth 1992, pág. 4.
^ Huntington 1935.
^ Massachusetts 2011.

Bibliografía

Bass, Hyman ; Otero-Espinar, Maria Victoria; Rockmore, Daniel; Tresser, Charles (1996), Renormalización cíclica y grupos de automorfismos de árboles enraizados , Lecture Notes in Mathematics, vol. 1621, Springer, doi :10.1007/BFb0096321, ISBN 978-3-540-60595-9
Bowditch, Brian H. (septiembre de 1998), "Puntos de corte y divisiones canónicas de grupos hiperbólicos", Acta Mathematica , 180 (2): 145–186, doi : 10.1007/BF02392898 , S2CID 121148668
Bowditch, Brian H. (noviembre de 2004), "Grupos planos y la conjetura de Seifert", Journal für die Reine und Angewandte Mathematik , 2004 (576): 11–62, doi :10.1515/crll.2004.084 , consultado el 31 de mayo de 2011
Brown, Kenneth S. (febrero de 1987), "Propiedades de finitud de los grupos" (PDF) , Journal of Pure and Applied Algebra , 44 (1–3): 45–75, doi : 10.1016/0022-4049(87)90015-6 , consultado el 21 de mayo de 2011
Calegari, Danny (13 de diciembre de 2004), "Grupos circulares, grupos planos y la clase de Euler" (PDF) , Geometry & Topology Monographs , 7 : 431–491, arXiv : math/0403311 , Bibcode :2004math......3311C, CiteSeerX 10.1.1.235.122 , doi :10.2140/gtm.2004.7.431, S2CID 14154261 , consultado el 30 de abril de 2011
Calegari, Danny; Dunfield, Nathan M. (abril de 2003), "Laminaciones y grupos de homeomorfismos del círculo", Inventiones Mathematicae , 152 (1): 149–204, arXiv : math/0203192 , Bibcode :2003InMat.152..149D, doi :10.1007/s00222-002-0271-6, S2CID 15149654
Campero-Arena, G.; Truss, John K. (abril de 2009), "Ordenamientos cíclicos 1-transitivos", Journal of Combinatorial Theory, Serie A , 116 (3): 581–594, doi : 10.1016/j.jcta.2008.08.006
Čech, Eduard (1936), Bodové množiny (en checo), Praga: Jednota Československých matematiků a fysiků, hdl :10338.dmlcz/400435 , consultado el 9 de mayo de 2011
Černák, Štefan (2001), "Extensión de Cantor de un grupo ordenado cíclicamente y linealmente medio" (PDF) , Discussiones Mathematicae - General Algebra and Applications , 21 (1): 31–46, doi :10.7151/dmgaa.1025 , consultado el 22 de mayo de 2011
Černák, Štefan; Jakubík, Ján (1987), "Completion of a cyclically ordered group", Czechoslovak Mathematical Journal , 37 (1): 157–174, doi : 10.21136/CMJ.1987.102144 , hdl :10338.dmlcz/102144, MR 0875137, Zbl 0624.06021
Černy, Ilja (1978), "Cortes en regiones conexas simples y el ordenamiento cíclico del sistema de todos los elementos de contorno" (PDF) , Časopis Pro Pěstování Matematiky , 103 (3): 259–281, doi : 10.21136/CPM.1978.117983 , hdl :10338.dmlcz/117983 , consultado el 11 de mayo de 2011
Courcelle, Bruno (21 de agosto de 2003), "2.3 Orden circular" (PDF) , en Berwanger, Dietmar; Grädel, Erich (eds.), Problemas en la teoría de modelos finitos , p. 12, archivado desde el original (PDF) el 27 de mayo de 2011 , consultado el 15 de mayo de 2011
Coxeter, HSM (1949), "Capítulo 3: Orden y continuidad", El plano proyectivo real
Evans, David M.; Macpherson, Dugald; Ivanov, Alexandre A. (1997), "Finite Covers", en Evans, David M. (ed.), Model theory of groups and automorphism groups: Blaubeuren, agosto de 1995 , London Mathematical Society Lecture Note Series, vol. 244, Cambridge University Press, págs. 1–72, ISBN 978-0-521-58955-0, consultado el 5 de mayo de 2011
Freudenthal, Hans (1973), Las matemáticas como tarea educativa , D. Reidel, ISBN 978-90-277-0235-7
Freudenthal, Hans; Bauer, A. (1974), "Geometría: una discusión fenomenológica" , en Behnke, Heinrich; Gould, SH (eds.), Fundamentos de las matemáticas , vol. 2, MIT Press, págs. 3–28, ISBN 978-0-262-02069-5
Freudenthal, Hans (1983), Fenomenología didáctica de las estructuras matemáticas , D. Reidel, ISBN 978-90-277-1535-7
Giraudet, Michele; Holland, W. Charles (septiembre de 2002), "Ohkuma Structures", Order , 19 (3): 223–237, doi :10.1023/A:1021249901409, S2CID 40537336
Huntington, Edward V. (1 de noviembre de 1916), "Un conjunto de postulados independientes para el orden cíclico", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , 2 (11): 630–631, Bibcode :1916PNAS....2..630H, doi : 10.1073/pnas.2.11.630 , PMC 1091120 , PMID 16576195
Huntington, Edward V. (15 de febrero de 1924), "Conjuntos de postulados completamente independientes para el orden cíclico", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , 10 (2): 74–78, Bibcode :1924PNAS...10...74H, doi : 10.1073/pnas.10.2.74 , PMC 1085517 , PMID 16576785
Huntington, Edward V. (julio de 1935), "Interrelaciones entre los cuatro tipos principales de orden" (PDF) , Transactions of the American Mathematical Society , 38 (1): 1–9, doi : 10.1090/S0002-9947-1935-1501800-1 , consultado el 8 de mayo de 2011
Isli, Amar; Cohn, Anthony G. (1998), "Un álgebra para el ordenamiento cíclico de orientaciones 2D" (PDF) , AAAI '98/IAAI '98 Actas de la decimoquinta/décima conferencia nacional sobre inteligencia artificial/Aplicaciones innovadoras de la inteligencia artificial , ISBN 978-0-262-51098-1, consultado el 23 de mayo de 2011
Knuth, Donald E. (1992), Axiomas y cascos, Notas de clase en informática, vol. 606, Heidelberg: Springer-Verlag, págs. ix+109, doi :10.1007/3-540-55611-7, ISBN 978-3-540-55611-4, S2CID 5452191, archivado desde el original el 20 de junio de 2017 , consultado el 5 de mayo de 2011
Kok, H. (1973), Espacios ordenables conectados , Ámsterdam: Mathematisch Centrum , ISBN 978-90-6196-088-1
Kuhlmann, Salma; Marshall, Murray; Osiak, Katarzyna (1 de junio de 2011), "Estructuras cíclicas de 2 elementos y espacios de ordenamientos de campos de series de potencias en dos variables", Journal of Algebra , 335 (1): 36–48, doi : 10.1016/j.jalgebra.2011.02.026
Kulpeshov, Beibut Sh. (diciembre de 2006), "Sobre estructuras mínimas circulares débiles categóricas ℵ ₀ ", Mathematical Logic Quarterly , 52 (6): 555–574, doi :10.1002/malq.200610014, S2CID 20279077
Kulpeshov, Beibut Sh. (marzo de 2009), "Funciones definibles en las estructuras mínimas circulares débiles categóricas ℵ _{0 ",}Siberian Mathematical Journal , 50 (2): 282–301, doi :10.1007/s11202-009-0034-3, S2CID 123179896
- Traducción de Kulpeshov (2009), "Определимые функции в ℵ0-категоричных слабо циклически minимальных структурах", Sibirskiĭ Matematicheskiĭ Zhurnal , 50 (2): 79 , consultado el 24 de mayo de 2011.
Kulpeshov, Beibut Sh.; Macpherson, H. Dugald (julio de 2005), "Condiciones de minimalidad en estructuras ordenadas circularmente", Mathematical Logic Quarterly , 51 (4): 377–399, doi :10.1002/malq.200410040, MR 2150368, S2CID 37479502
Macpherson, H. Dugald (2011), "Un estudio de estructuras homogéneas" (PDF) , Discrete Mathematics , 311 (15): 1599–1634, doi : 10.1016/j.disc.2011.01.024 , consultado el 28 de abril de 2011
McMullen, Curtis T. (2009), "R-árboles de cinta y dinámica holomorfa en el disco unitario" (PDF) , Journal of Topology , 2 (1): 23–76, CiteSeerX 10.1.1.139.8850 , doi :10.1112/jtopol/jtn032, S2CID 427594 , consultado el 15 de mayo de 2011
Megiddo, Nimrod (marzo de 1976), "Órdenes cíclicas parciales y completas" (PDF) , Bulletin of the American Mathematical Society , 82 (2): 274–276, doi : 10.1090/S0002-9904-1976-14020-7 , consultado el 30 de abril de 2011
Morton, James; Pachter, Lior ; Shiu, Anne; Sturmfels, Bernd (enero de 2007), "La prueba del cicloedro para encontrar genes periódicos en estudios de expresión en el transcurso del tiempo", Aplicaciones estadísticas en genética y biología molecular , 6 (1): Artículo 21, arXiv : q-bio/0702049 , Bibcode :2007q.bio.....2049M, doi :10.2202/1544-6115.1286, PMID 17764440, S2CID 17402424
Mosher, Lee (1996), "Una guía del usuario para el grupo de clases de mapeo: superficies una vez perforadas", en Baumslag, Gilbert (ed.), Perspectivas geométricas y computacionales sobre grupos infinitos , DIMACS, vol. 25, AMS Bookstore, págs. 101–174, arXiv : math/9409209 , Bibcode :1994math......9209M, ISBN 978-0-8218-0449-0
Novák, Vítězslav (1982), "Conjuntos ordenados cíclicamente" (PDF) , Checoslovak Mathematical Journal , 32 (3): 460–473, doi : 10.21136/CMJ.1982.101821 , hdl :10338.dmlcz/101821 , consultado el 30 de abril de 2011
Novák, Vítězslav (1984), "Cortes en conjuntos ordenados cíclicamente" (PDF) , Revista matemática checoslovaca , 34 (2): 322–333, doi : 10.21136/CMJ.1984.101955 , hdl :10338.dmlcz/101955 , consultado el 30 de abril de 2011
Novák, Vítězslav; Novotný, Miroslav (1987), "Al completar conjuntos ordenados cíclicamente", Checoslovak Mathematical Journal , 37 (3): 407–414, doi : 10.21136/CMJ.1987.102168 , hdl :10338.dmlcz/102168
Pecinová-Kozáková, Eliška (2005), "Ladislav Svante Rieger and His Algebraic Work", en Safrankova, Jana (ed.), WDS 2005 - Actas de artículos contribuidos, Parte I , Praga: Matfyzpress, págs. 190-197, CiteSeerX 10.1.1.90.2398 , ISBN 978-80-86732-59-6
Pecinová, Eliška (2008), Ladislav Svante Rieger (1916-1963), Dějiny matematiky (en checo), vol. 36, Praga: Matfyzpress, hdl :10338.dmlcz/400757, ISBN 978-80-7378-047-0, consultado el 9 de mayo de 2011
Rieger, LS (1947), "О uspořádaných a cyklicky uspořádaných grupách II (Sobre grupos ordenados y cíclicamente ordenados II)", Věstník Královské české Spolecnosti Nauk, Třída Mathematicko-přírodovědná (Revista de la Real Sociedad Checa de Ciencias, Matemáticas e Historia Natural ) (en checo) (1): 1–33
Roll, J. Blair (1993), "Grupos parcialmente ordenados localmente" (PDF) , Czechoslovak Mathematical Journal , 43 (3): 467–481, doi : 10.21136/CMJ.1993.128411 , hdl :10338.dmlcz/128411 , consultado el 30 de abril de 2011
Stasheff, Jim (1997), "De las operadas a las teorías inspiradas 'físicamente'", en Loday, Jean-Louis; Stasheff, James D.; Voronov, Alexander A. (eds.), Operads: Proceedings of Reneassance Conferences , Contemporary Mathematics, vol. 202, AMS Bookstore, págs. 53–82, ISBN 978-0-8218-0513-8, archivado desde el original el 23 de mayo de 1997 , consultado el 1 de mayo de 2011
Świerczkowski, S. (1959a), "Sobre grupos cíclicamente ordenados" (PDF) , Fundamenta Mathematicae , 47 (2): 161–166, doi : 10.4064/fm-47-2-161-166 , consultado el 2 de mayo de 2011
Tararin, Valeri Mikhailovich (2001), "Sobre grupos de automorfismos de conjuntos ordenados cíclicamente", Siberian Mathematical Journal , 42 (1): 190–204, doi :10.1023/A:1004866131580, S2CID 117396034
- Traducción de Tamarin (2001), "Math-Net.Ru" О группах автоморфизмов циклически упорядоченных множеств, Sibirskii Matematicheskii Zhurnal (en ruso), 42 (1): 212–230 , consultado el 30 de abril de 201 1
Tararin, Valeri Mikhailovich (2002), "Sobre grupos de automorfismos transitivos c-3 de conjuntos cíclicamente ordenados", Mathematical Notes , 71 (1): 110–117, doi :10.1023/A:1013934509265, S2CID 126544835
- Traducción de Tamarin (2002), "О c-3-транзитивных группах автоморфизмов циклически упорядоченных множеств", Matematicheskie Zametki , 71 (1): 122–129, doi : 3/mzm333
Truss, John K. (2009), "Sobre el grupo de automorfismos del orden circular denso numerable" (PDF) , Fundamenta Mathematicae , 204 (2): 97–111, doi : 10.4064/fm204-2-1 , consultado el 25 de abril de 2011
Viro, Oleg ; Ivanov, Oleg; Netsvetaev, Nikita; Kharlamov, Viatcheslav (2008), "8. Órdenes cíclicas" (PDF) , Topología elemental: libro de texto de problemas (1.ª edición en inglés), AMS Bookstore, págs. 42–44, ISBN 978-0-8218-4506-6, consultado el 25 de abril de 2011
Weinstein, Tilla (julio de 1996), Introducción a las superficies de Lorentz , De Gruyter Expositions in Mathematics, vol. 22, Walter de Gruyter, ISBN 978-3-11-014333-1

Lectura adicional

Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1998), Notas sobre grupos de permutaciones infinitas , Lecture Notes in Mathematics, vol. 1698, Springer, págs. 108-109, doi :10.1007/BFb0092550, ISBN 978-3-540-64965-6
Bodirsky, Manuel; Pinsker, Michael (2011), "Reducts of Ramsey Structures", Métodos teóricos de modelos en combinatoria finita , Contemporary Mathematics, vol. 558, AMS, p. 489ff, arXiv : 1105.6073 , Bibcode :2011arXiv1105.6073B, ISBN 978-0-8218-4943-9
Cameron, Peter J. (junio de 1976), "Transitividad de grupos de permutación en conjuntos desordenados", Mathematische Zeitschrift , 148 (2): 127–139, doi :10.1007/BF01214702, S2CID 120757129
Cameron, Peter J. (junio de 1977), "Aspectos cohomológicos de dos gráficos", Mathematische Zeitschrift , 157 (2): 101–119, doi :10.1007/BF01215145, S2CID 120726731
Cameron, Peter J. (1997), "El álgebra de una época", en Evans, David M. (ed.), Teoría de modelos de grupos y grupos de automorfismos: Blaubeuren, agosto de 1995 , London Mathematical Society Lecture Note Series, vol. 244, Cambridge University Press, págs. 126–133, CiteSeerX 10.1.1.39.2321 , ISBN 978-0-521-58955-0
Courcelle, Bruno; Engelfriet, Joost (abril de 2011), Graph Structure and Monadic Second-Order Logic, a Language Theoretic Approach (PDF) , Cambridge University Press , consultado el 17 de mayo de 2011
Droste, M.; Giraudet, M.; Macpherson, D. (marzo de 1995), "Grupos de permutación ordenados periódicos y ordenamientos cíclicos", Journal of Combinatorial Theory, Serie B , 63 (2): 310–321, doi : 10.1006/jctb.1995.1022
Droste, M.; Giraudet, M.; Macpherson, D. (marzo de 1997), "Gráficos homogéneos de conjuntos e incrustaciones de órdenes totales", Order , 14 (1): 9–20, CiteSeerX 10.1.1.22.9135 , doi :10.1023/A:1005880810385, S2CID 16990257
Evans, David M. (17 de noviembre de 1997), "Coberturas finitas con núcleos finitos", Annals of Pure and Applied Logic , 88 (2–3): 109–147, CiteSeerX 10.1.1.57.5323 , doi :10.1016/S0168-0072(97)00018-3
Ivanov, AA (enero de 1999), "Coberturas finitas, cohomología y estructuras homogéneas", Actas de la London Mathematical Society , 78 (1): 1–28, doi :10.1112/S002461159900163X, S2CID 120545318
Jakubík, Ján (2006), "Sobre permutaciones monótonas de conjuntos ordenados cíclicamente en ℓ" (PDF) , Czechoslovak Mathematical Journal , 45 (2): 403–415, doi :10.1007/s10587-006-0026-4, hdl :10338.dmlcz/128075, S2CID 51756248 , consultado el 30 de abril de 2011
Kennedy, Christine Cowan (agosto de 1955), Sobre una relación ternaria cíclica... (Tesis de maestría) , Universidad de Tulane, OCLC 16508645
Kónya, Eszter Herendine (2006), "Un análisis matemático y didáctico del concepto de orientación", Teaching Mathematics and Computer Science , 4 (1): 111–130, doi : 10.5485/TMCS.2006.0108
Kónya, Eszter Herendine (2008), "Transformaciones geométricas y el concepto de ordenamiento cíclico" (PDF) , en Maj, Bożena; Pytlak, Marta; Swoboda, Ewa (eds.), Apoyo al pensamiento independiente a través de la educación matemática , Rzeszów University Press, págs. 102–108, ISBN 978-83-7338-420-0, consultado el 17 de mayo de 2011
Leloup, Gérard (febrero de 2011), "Espacios ultramétricos cíclicos existencialmente equivalentes y grupos cíclicamente valorados" (PDF) , Logic Journal of the IGPL , 19 (1): 144–173, CiteSeerX 10.1.1.152.7462 , doi :10.1093/jigpal/jzq024 , consultado el 30 de abril de 2011
Marongiu, Gabriele (1985), "Algunas observaciones sobre la categoría ℵ ₀ de los ordenamientos circulares", Unione Matematica Italiana. Bollettino. B. Serie VI (en italiano), 4 (3): 883–900, SEÑOR 0831297
McCleary, Stephen; Rubin, Matatyahu (6 de octubre de 2005), Grupos de movimiento local y el problema de reconstrucción para cadenas y círculos , arXiv : math/0510122 , Bibcode :2005math.....10122M
Müller, G. (1974), "Lineare und zyklische Ordnung", Praxis der Mathematik , 16 : 261–269, SEÑOR 0429660
Rubin, M. (1996), "Grupos móviles locales y problemas de reconstrucción", en Holland, W. Charles (ed.), Grupos ordenados y grupos de permutación infinita , Matemáticas y sus aplicaciones, vol. 354, Kluwer, págs. 121–157, ISBN 978-0-7923-3853-6
Świerczkowski, S. (1956), "Sobre las relaciones de ordenamiento cíclico", Bulletin de l'Académie Polonaise des Sciences, Classe III , 4 : 585–586
Świerczkowski, S. (1959b), "Sobre intervalos cíclicos ordenados de números enteros" (PDF) , Fundamenta Mathematicae , 47 (2): 167–172, doi : 10.4064/fm-47-2-167-172 , consultado el 2 de mayo de 2011
Truss, JK (julio de 1992), "Automorfismos genéricos de estructuras homogéneas", Actas de la London Mathematical Society , 3, 65 (1): 121–141, doi :10.1112/plms/s3-65.1.121

Enlaces externos

orden cíclico en el laboratorio n