Hacer un pedido

Reflexive and transitive binary relation

Diagrama de Hasse del preorden x R y definido por x // 4≤ y // 4 en los números naturales . Debido a los ciclos, R no es antisimétrico. Si todos los números de un ciclo se consideran equivalentes, se obtiene un orden parcial, par lineal ^{[1] .} Vea el primer ejemplo a continuación.

En matemáticas , especialmente en teoría del orden , un preorden o cuasiorden es una relación binaria que es reflexiva y transitiva . Los preordenes son más generales que las relaciones de equivalencia y los órdenes parciales (no estrictos) , los cuales son casos especiales de un preorden: un preorden antisimétrico (o esquelético ) es un orden parcial, y un preorden simétrico es una relación de equivalencia.

El nombre preorder proviene de la idea de que los preorder (que no son pedidos parciales) son pedidos "casi" (parciales), pero no del todo; no son necesariamente antisimétricos ni asimétricos . Debido a que un preorden es una relación binaria, el símbolo se puede utilizar como dispositivo de notación para la relación. Sin embargo, debido a que no son necesariamente antisimétricos, es posible que parte de la intuición ordinaria asociada al símbolo no se aplique. Por otro lado, un preorden se puede utilizar, de manera sencilla, para definir un orden parcial y una relación de equivalencia. Sin embargo, hacerlo no siempre es útil o vale la pena, dependiendo del dominio del problema que se estudie. ${\displaystyle \,\leq \,}$ ${\displaystyle \,\leq \,}$

En palabras, cuando se puede decir que b cubre a o que a precede a b , o que b se reduce a a . Ocasionalmente, se utiliza la notación ← o → o en lugar de ${\displaystyle a\leq b,}$ ${\displaystyle \,\lesssim \,}$ ${\displaystyle \,\leq .}$

A cada preorden le corresponde un grafo dirigido , con elementos del conjunto correspondientes a los vértices, y la relación de orden entre pares de elementos correspondiente a las aristas dirigidas entre vértices. Lo contrario no es cierto: la mayoría de los grafos dirigidos no son reflexivos ni transitivos. Por lo general, las gráficas correspondientes pueden contener ciclos . Un preorden que es antisimétrico ya no tiene ciclos; es un orden parcial, y corresponde a un grafo acíclico dirigido . Un preorden que es simétrico es una relación de equivalencia; se puede pensar que ha perdido los marcadores de dirección en los bordes del gráfico. En general, el gráfico dirigido correspondiente de un pedido anticipado puede tener muchos componentes desconectados.

Definicion formal

Considere una relación homogénea en un conjunto dado de modo que, por definición, sea algún subconjunto de y la notación se use en lugar de. Entonces se llama preorden o cuasiorden si es reflexivo y transitivo ; es decir, si satisface: ${\displaystyle \,\leq \,}$ ${\displaystyle P,}$ ${\displaystyle \,\leq \,}$ ${\displaystyle P\times P}$ ${\displaystyle a\leq b}$ ${\displaystyle (a,b)\in \,\leq .}$ ${\displaystyle \,\leq \,}$

1. Reflexividad : para todos y ${\displaystyle a\leq a}$ ${\displaystyle a\in P,}$
2. Transitividad : si para todos ${\displaystyle a\leq b{\text{ and }}b\leq c{\text{ then }}a\leq c}$ ${\displaystyle a,b,c\in P.}$

Un conjunto que está equipado con un pedido anticipado se llama conjunto reservado (o proset ). ^[2] Para enfatizar o contrastar con los pedidos anticipados estrictos (definidos a continuación), un pedido anticipado también puede denominarse pedido anticipado no estricto .

Si la reflexividad se reemplaza por la irreflexividad (mientras se mantiene la transitividad), entonces el resultado se denomina preorden estricto; explícitamente, un preorden estricto es una relación binaria homogénea que satisface las siguientes condiciones: ${\displaystyle P}$ ${\displaystyle \,<\,}$ ${\displaystyle P}$

1. Irreflexividad o Antirreflexividad: no para todo lo que es, es falso para todos y ${\displaystyle a<a}$ ${\displaystyle a\in P;}$ ${\displaystyle \,a<a}$ ${\displaystyle a\in P,}$
2. Transitividad : si para todos ${\displaystyle a<b{\text{ and }}b<c{\text{ then }}a<c}$ ${\displaystyle a,b,c\in P.}$

Una relación binaria es un preorden estricto si y sólo si es un orden parcial estricto . Por definición, un orden parcial estricto es un preorden estricto asimétrico , donde se llama asimétrico si para todos . Por el contrario, cada preorden estricto es un orden parcial estricto porque cada relación transitiva irreflexiva es necesariamente asimétrica . Aunque son equivalentes, normalmente se prefiere el término "orden parcial estricta" a "orden anticipada estricta" y se remite a los lectores al artículo sobre órdenes parciales estrictas para obtener detalles sobre dichas relaciones. A diferencia de los pedidos anticipados estrictos, hay muchos pedidos anticipados (no estrictos) que no son pedidos parciales (no estrictos) . ${\displaystyle \,<\,}$ ${\displaystyle a<b{\text{ implies }}{\textit {not}}\ b<a}$ ${\displaystyle a,b.}$

Definiciones relacionadas

Si un preorden también es antisimétrico , es decir, e implica entonces es un orden parcial . ${\displaystyle a\leq b}$ ${\displaystyle b\leq a}$ ${\displaystyle a=b,}$

En cambio, si es simétrica , es decir, si implica entonces es una relación de equivalencia . ${\displaystyle a\leq b}$ ${\displaystyle b\leq a,}$

Un pedido anticipado es total si o para todos. ${\displaystyle a\leq b}$ ${\displaystyle b\leq a}$ ${\displaystyle a,b\in P.}$

La noción de conjunto preordenado puede formularse en un marco categórico como una categoría delgada ; es decir, como una categoría con como máximo un morfismo de un objeto a otro. Aquí los objetos corresponden a los elementos de y hay un morfismo para los objetos que están relacionados, cero en caso contrario. Alternativamente, un conjunto reservado puede entenderse como una categoría enriquecida , enriquecida sobre la categoría. ${\displaystyle P}$ ${\displaystyle P,}$ ${\displaystyle 2=(0\to 1).}$

Una clase reservada es una clase equipada con un pedido anticipado. Cada conjunto es una clase y, por lo tanto, cada conjunto reservado es una clase reservada.

Ejemplos

Teoría de grafos

• (ver figura arriba) Por x // 4 se entiende el mayor entero que es menor o igual a x dividido por 4 , por lo tanto 1 // 4 es 0 , que ciertamente es menor o igual a 0 , que en sí mismo es lo mismo como 0 // 4.

• La relación de accesibilidad en cualquier gráfico dirigido (que posiblemente contenga ciclos) da lugar a un pedido anticipado, donde en el pedido anticipado si y solo si hay una ruta de xay en el gráfico dirigido. Por el contrario , cada pedido anticipado es la relación de accesibilidad de un gráfico dirigido (por ejemplo, el gráfico que tiene un borde de xay para cada par ( x , y ) con ). Sin embargo, muchos gráficos diferentes pueden tener el mismo preorden de accesibilidad entre sí. De la misma manera, la accesibilidad de gráficos acíclicos dirigidos , gráficos dirigidos sin ciclos, da lugar a conjuntos parcialmente ordenados (preórdenes que satisfacen una propiedad antisimétrica adicional). ${\displaystyle x\leq y}$ ${\displaystyle x\leq y}$
• La relación grafo-menor en la teoría de grafos .

Ciencias de la Computación

En informática, se pueden encontrar ejemplos de los siguientes pedidos anticipados.

• El orden asintótico provoca un preorden sobre funciones . La relación de equivalencia correspondiente se llama equivalencia asintótica . ${\displaystyle f:\mathbb {N} \to \mathbb {N} }$
• El tiempo polinomial , muchos uno (mapeo) y las reducciones de Turing son pedidos anticipados de clases de complejidad.
• Las relaciones de subtipos suelen ser pedidos anticipados. ^[3]
• Los pedidos anticipados de simulación son pedidos anticipados (de ahí el nombre).
• Relaciones de reducción en sistemas de reescritura abstracta .
• El preorden de abarcación en el conjunto de términos , definido por si un subtérmino de t es una instancia de sustitución de s . ${\displaystyle s\leq t}$
• Theta-subsunción , ^[4] que es cuando los literales de una fórmula disyuntiva de primer orden son contenidos por otra, previa aplicación de una sustitución a la primera.

Otro

Más ejemplos:

• Todo espacio topológico finito da lugar a un preorden en sus puntos al definir si y sólo si x pertenece a cada vecindad de y . De este modo, todo preorden finito puede formarse como preorden de especialización de un espacio topológico. Es decir, existe una correspondencia uno a uno entre topologías finitas y pedidos anticipados finitos. Sin embargo, la relación entre infinitos espacios topológicos y sus preórdenes de especialización no es uno a uno. ${\displaystyle x\leq y}$

• Una red es un preorden dirigido , es decir, cada par de elementos tiene un límite superior . La definición de convergencia a través de redes es importante en topología , donde los pedidos anticipados no pueden reemplazarse por conjuntos parcialmente ordenados sin perder características importantes.

• La relación definida por if donde f es una función en algún preorden. ${\displaystyle x\leq y}$ ${\displaystyle f(x)\leq f(y),}$
• La relación definida por si existe alguna inyección de x a y . La inyección puede reemplazarse por sobreyección o cualquier tipo de función que preserve la estructura, como el homomorfismo de anillo o la permutación . ${\displaystyle x\leq y}$
• La relación de incrustación para pedidos totales contables .
• Una categoría con como máximo un morfismo de cualquier objeto x a cualquier otro objeto y es un preorden. Estas categorías se denominan delgadas . En este sentido, las categorías "generalizan" los pedidos anticipados al permitir más de una relación entre objetos: cada morfismo es una relación de pedido previo distinta (nombrada).

Ejemplo de un pedido anticipado total :

• Preferencia , según modelos comunes.

Usos

Los pedidos por adelantado juegan un papel fundamental en varias situaciones:

• A cada pedido anticipado se le puede dar una topología, la topología de Alexandrov ; y, de hecho, cada pedido anticipado en un conjunto está en correspondencia uno a uno con una topología de Alexandrov en ese conjunto.
• Los pedidos anticipados se pueden utilizar para definir álgebras interiores .
• Los pedidos anticipados proporcionan la semántica de Kripke para ciertos tipos de lógica modal .
• Los pedidos anticipados se utilizan para forzar la teoría de conjuntos para demostrar resultados de coherencia e independencia . ^[5]

Construcciones

Cada relación binaria en un conjunto se puede extender a un preorden tomando el cierre transitivo y el cierre reflexivo . El cierre transitivo indica conexión de camino en si y sólo si hay un camino desde hasta ${\displaystyle R}$ ${\displaystyle S}$ ${\displaystyle S}$ ${\displaystyle R^{+=}.}$ ${\displaystyle R:xR^{+}y}$ ${\displaystyle R}$ ${\displaystyle x}$ ${\displaystyle y.}$

Preorden residual izquierdo inducido por una relación binaria

Dada una relación binaria, la composición complementada forma un preorden llamado residual izquierdo , ^[6] donde denota la relación inversa de y denota la relación complementaria de mientras que denota la composición de la relación . ${\displaystyle R,}$ ${\displaystyle R\backslash R={\overline {R^{\textsf {T}}\circ {\overline {R}}}}}$ ${\displaystyle R^{\textsf {T}}}$ ${\displaystyle R,}$ ${\displaystyle {\overline {R}}}$ ${\displaystyle R,}$ ${\displaystyle \circ }$

Pedidos anticipados y pedidos parciales en particiones.

Dado un pedido anticipado en uno, se puede definir una relación de equivalencia tal que ${\displaystyle \,\lesssim \,}$ ${\displaystyle S}$ ${\displaystyle \,\sim \,}$ ${\displaystyle S}$

$${\displaystyle a\sim b\quad {\text{ if and only if }}\quad a\lesssim b\;{\text{ and }}\;b\lesssim a.}$$

${\displaystyle \,\sim \,}$ ${\displaystyle \,\lesssim \,}$ ${\displaystyle \,\lesssim \,}$

Usando esta relación, es posible construir un orden parcial en el conjunto cociente de la equivalencia, que es el conjunto de todas las clases de equivalencia de Si el preorden se denota por entonces es el conjunto de - clases de equivalencia del ciclo : si y sólo si o está en un ciclo con En cualquier caso, es posible definir si y sólo si Eso está bien definido, lo que significa que su condición definitoria no depende de qué representantes de y se eligen, se desprende de la definición de Es Se verifica fácilmente que esto produce un conjunto parcialmente ordenado. ${\displaystyle S/\sim ,}$ ${\displaystyle \,\sim .}$ ${\displaystyle R^{+=},}$ ${\displaystyle S/\sim }$ ${\displaystyle R}$ ${\displaystyle x\in [y]}$ ${\displaystyle x=y}$ ${\displaystyle x}$ ${\displaystyle R}$ ${\displaystyle y}$ ${\displaystyle S/\sim }$ ${\displaystyle [x]\leq [y]}$ ${\displaystyle x\lesssim y.}$ ${\displaystyle [x]}$ ${\displaystyle [y]}$ ${\displaystyle \,\sim .\,}$

Por el contrario, a partir de cualquier orden parcial sobre una partición de un conjunto es posible construir un preorden sobre sí mismo. Existe una correspondencia uno a uno entre pedidos anticipados y pares (partición, pedido parcial). ${\displaystyle S,}$ ${\displaystyle S}$

Ejemplo : Sea una teoría formal , que es un conjunto de oraciones con ciertas propiedades (cuyos detalles se pueden encontrar en el artículo sobre el tema ). Por ejemplo, podría ser una teoría de primer orden (como la teoría de conjuntos de Zermelo-Fraenkel ) o una teoría de orden cero más simple . Una de las muchas propiedades de es que está cerrado bajo consecuencias lógicas, de modo que, por ejemplo, si una oración implica lógicamente alguna oración que se escribirá como y también como entonces necesariamente (por modus ponens ). La relación es un preorden porque siempre se cumple y cuando y ambos se cumplen, entonces también se cumple . Además, para cualquiera si y solo si ; es decir, dos oraciones son equivalentes respecto de si y sólo si son lógicamente equivalentes . Esta relación de equivalencia particular se denota comúnmente con su propio símbolo especial y, por lo tanto, este símbolo puede usarse en lugar de. La clase de equivalencia de una oración denotada por consta de todas las oraciones que son lógicamente equivalentes a (es decir, todas aquellas que ). El orden parcial inducido por el cual también será denotado por el mismo símbolo se caracteriza por si y sólo si donde la condición del lado derecho es independiente de la elección de los representantes y de las clases de equivalencia. Todo lo que se ha dicho hasta ahora también se puede decir de su relación inversa. El conjunto preordenado es un conjunto dirigido porque if y if denota la oración formada por la conjunción lógica entonces y dónde . El conjunto parcialmente ordenado es, en consecuencia, también un conjunto dirigido. Consulte Álgebra de Lindenbaum-Tarski para ver un ejemplo relacionado. ${\displaystyle S}$ ${\displaystyle S}$ ${\displaystyle S}$ ${\displaystyle A\in S}$ ${\displaystyle B,}$ ${\displaystyle A\Rightarrow B}$ ${\displaystyle B\Leftarrow A,}$ ${\displaystyle B\in S}$ ${\displaystyle \,\Leftarrow \,}$ ${\displaystyle S}$ ${\displaystyle A\Leftarrow A}$ ${\displaystyle A\Leftarrow B}$ ${\displaystyle B\Leftarrow C}$ ${\displaystyle A\Leftarrow C.}$ ${\displaystyle A,B\in S,}$ ${\displaystyle A\sim B}$ ${\displaystyle A\Leftarrow B{\text{ and }}B\Leftarrow A}$ ${\displaystyle \,\Leftarrow \,}$ ${\displaystyle A\sim B}$ ${\displaystyle A\iff B,}$ ${\displaystyle \,\iff \,}$ ${\displaystyle \,\sim .}$ ${\displaystyle A,}$ ${\displaystyle [A],}$ ${\displaystyle B\in S}$ ${\displaystyle A}$ ${\displaystyle B\in S}$ ${\displaystyle A\iff B}$ ${\displaystyle S/\sim }$ ${\displaystyle \,\Leftarrow ,\,}$ ${\displaystyle \,\Leftarrow ,\,}$ ${\displaystyle [A]\Leftarrow [B]}$ ${\displaystyle A\Leftarrow B,}$ ${\displaystyle A\in [A]}$ ${\displaystyle B\in [B]}$ ${\displaystyle \,\Leftarrow \,}$ ${\displaystyle \,\Rightarrow .\,}$ ${\displaystyle (S,\Leftarrow )}$ ${\displaystyle A,B\in S}$ ${\displaystyle C:=A\wedge B}$ ${\displaystyle \,\wedge ,\,}$ ${\displaystyle A\Leftarrow C}$ ${\displaystyle B\Leftarrow C}$ ${\displaystyle C\in S.}$ ${\displaystyle \left(S/\sim ,\Leftarrow \right)}$

Pedidos anticipados y pedidos anticipados estrictos

Reserva estricta inducida por una reserva

Dado un pedido anticipado, se puede definir una nueva relación declarando que si y solo si Usando la relación de equivalencia introducida anteriormente, si y solo si y así se cumple lo siguiente ${\displaystyle \,\lesssim ,}$ ${\displaystyle \,<\,}$ ${\displaystyle a<b}$ ${\displaystyle a\lesssim b{\text{ and not }}b\lesssim a.}$ ${\displaystyle \,\sim \,}$ ${\displaystyle a<b}$ ${\displaystyle a\lesssim b{\text{ and not }}a\sim b;}$

$${\displaystyle a\lesssim b\quad {\text{ if and only if }}\quad a<b\;{\text{ or }}\;a\sim b.}$$

orden parcial estrictotodoSiantisimétrico ${\displaystyle \,<\,}$ ${\displaystyle \,\lesssim \,}$ ${\displaystyle \,\sim \,}$ ${\displaystyle a\sim b}$ ${\displaystyle a=b}$ ${\displaystyle \,<\,}$

$${\displaystyle a<b\quad {\text{ if and only if }}\quad a\leq b\;{\text{ and }}\;a\neq b\quad \quad ({\text{assuming }}\lesssim {\text{ is antisymmetric}}).}$$

nono ${\displaystyle \,<\,}$ ${\displaystyle \,<\,}$ ${\displaystyle a<b}$ ${\displaystyle a\lesssim b{\text{ and }}a\neq b}$ ${\displaystyle \,\lesssim \,}$ ${\displaystyle \,<\,}$ ${\displaystyle \lesssim }$ ${\displaystyle \leq }$ ${\displaystyle a\leq b}$ ${\displaystyle a<b{\text{ or }}a=b.}$

Pedidos anticipados inducidos por un pedido anticipado estricto

Utilizando la construcción anterior, múltiples pedidos anticipados no estrictos pueden producir el mismo pedido anticipado estricto, por lo que sin más información sobre cómo se construyó (como el conocimiento de la relación de equivalencia, por ejemplo), podría no ser posible reconstruir el pedido anticipado no estricto original a partir de Posible. Los pedidos anticipados (no estrictos) que inducen el pedido anticipado estricto dado incluyen lo siguiente: ${\displaystyle \,<,\,}$ ${\displaystyle \,<\,}$ ${\displaystyle \,\sim \,}$ ${\displaystyle \,<.\,}$ ${\displaystyle \,<\,}$

• Definir como (es decir, tomar el cierre reflexivo de la relación). Esto da el orden parcial asociado con el orden parcial estricto " " mediante cierre reflexivo; en este caso la equivalencia es igualdad por lo que los símbolos y no son necesarios. ${\displaystyle a\leq b}$ ${\displaystyle a<b{\text{ or }}a=b}$ ${\displaystyle <}$ ${\displaystyle \,=,}$ ${\displaystyle \,\lesssim \,}$ ${\displaystyle \,\sim \,}$
• Definir como " " (es decir, tomar el complemento inverso de la relación), lo que corresponde a definir como "ninguno "; estas relaciones y en general no son transitivas; sin embargo, si lo son entonces es una equivalencia; en ese caso " " es un orden estrictamente débil . El pedido anticipado resultante está conectado (anteriormente llamado total); es decir, una preventa total . ${\displaystyle a\lesssim b}$ ${\displaystyle {\text{ not }}b<a}$ ${\displaystyle a\sim b}$ ${\displaystyle a<b{\text{ nor }}b<a}$ ${\displaystyle \,\lesssim \,}$ ${\displaystyle \,\sim \,}$ ${\displaystyle \,\sim \,}$ ${\displaystyle <}$

Si entonces Lo contrario se cumple (es decir, ) si y sólo si siempre que entonces o ${\displaystyle a\leq b}$ ${\displaystyle a\lesssim b.}$ ${\displaystyle \,\lesssim \;\;=\;\;\leq \,}$ ${\displaystyle a\neq b}$ ${\displaystyle a<b}$ ${\displaystyle b<a.}$

Número de pedidos anticipados

Tenga en cuenta que S ( n , k ) se refiere a los números de Stirling del segundo tipo .

Como se explicó anteriormente, existe una correspondencia 1 a 1 entre pedidos anticipados y pares (partición, pedido parcial). Por tanto, el número de pedidos anticipados es la suma del número de pedidos parciales en cada partición. Por ejemplo:

• para ${\displaystyle n=3:}$
  • 1 partición de 3, dando 1 pedido anticipado
  • 3 particiones de 2+1 , dando pedidos anticipados ${\displaystyle 3\times 3=9}$
  • 1 partición de 1 + 1 + 1 , dando 19 pedidos anticipados
  Es decir, en conjunto, 29 pedidos anticipados.
• para ${\displaystyle n=4:}$
  • 1 partición de 4, dando 1 pedido anticipado
  • 7 particiones con dos clases (4 de 3 + 1 y 3 de 2 + 2 ), dando pedidos anticipados ${\displaystyle 7\times 3=21}$
  • 6 particiones de 2+1+1 , dando pedidos anticipados ${\displaystyle 6\times 19=114}$
  • 1 partición de 1 + 1 + 1 + 1 , dando 219 pedidos anticipados
  Es decir, en conjunto, 355 pedidos anticipados.

Intervalo

Porque el intervalo es el conjunto de puntos x satisfactorios y también escritos . Contiene al menos los puntos a y b . Se puede optar por ampliar la definición a todos los pares. Los intervalos adicionales están todos vacíos. ${\displaystyle a\lesssim b,}$ ${\displaystyle [a,b]}$ ${\displaystyle a\lesssim x}$ ${\displaystyle x\lesssim b,}$ ${\displaystyle a\lesssim x\lesssim b.}$ ${\displaystyle (a,b)}$

Usando la relación estricta correspondiente " ", también se puede definir el intervalo como el conjunto de puntos x que satisfacen y también se escriben. Un intervalo abierto puede estar vacío incluso si ${\displaystyle <}$ ${\displaystyle (a,b)}$ ${\displaystyle a<x}$ ${\displaystyle x<b,}$ ${\displaystyle a<x<b.}$ ${\displaystyle a<b.}$

También y se puede definir de manera similar. ${\displaystyle [a,b)}$ ${\displaystyle (a,b]}$

Ver también

• Orden parcial : preorden que es antisimétrica
• Relación de equivalencia – preorden que es simétrica
• Reserva total : reserva total
• Orden total – preorden que es antisimétrica y total
• Conjunto dirigido
• Categoría de conjuntos reservados
• Preordenar
• Bien casi-ordenando

Notas

1. en el conjunto de números divisibles por 4
2. Para "proset", véase, por ejemplo, Eklund, Patrik; Gähler, Werner (1990), "Espacios de Cauchy generalizados", Mathematische Nachrichten , 147 : 219–233, doi :10.1002/mana.19901470123, SEÑOR  1127325.
3. Pierce, Benjamín C. (2002). Tipos y Lenguajes de Programación . Cambridge, Massachusetts/Londres, Inglaterra: The MIT Press. págs. 182 y siguientes. ISBN 0-262-16209-1.
4. Robinson, JA (1965). "Una lógica orientada a máquina basada en el principio de resolución". ACM . 12 (1): 23–41. doi : 10.1145/321250.321253 . S2CID  14389185.
5. Kunen, Kenneth (1980), Teoría de conjuntos, Introducción a las pruebas de independencia , Estudios de lógica y fundamentos de las matemáticas, vol. 102, Ámsterdam, Países Bajos: Elsevier.
6. En este contexto, " " no significa "establecer diferencia". ${\displaystyle \backslash }$

Referencias

• Schmidt, Gunther, "Matemáticas relacionales", Enciclopedia de las matemáticas y sus aplicaciones, vol. 132, Cambridge University Press, 2011, ISBN 978-0-521-76268-7 
• Schröder, Bernd SW (2002), Conjuntos ordenados: introducción , Boston: Birkhäuser, ISBN 0-8176-4128-9