Centrum voor Wiskunde en Informatica
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Centrum voor Wiskunde en Informatica
|
| Id. |
42087188 |
| Idioma |
inglés
|
| Titulo |
Centrum voor Wiskunde en Informatica |
| Localización |
http://citeseer.ist.psu.edu/651651.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
A generalized ultrametric space is an ordinary ultrametric space in which the distance need not be symmetric,
and where different elements may have distance 0. Our interest in generalized ultrametric spaces is primarily
motivated by the following observations: 1. (possibly nondeterministic) transition systems can be naturally
endowed with a generalized ultrametric that captures their operational behavior in terms of simulations; 2. the
category of generalized ultrametric spaces contains both the categories of preorders and of ordinary ultrametric
spaces as full subcategories. A theory of generalized ultrametric spaces is developed along the lines of the
work by Smyth and Plotkin (1982) and America and Rutten (1989), such that its restriction to preorders and
ordinary ultrametric spaces yields (more and less) familiar facts. Our work has in common with other recent
work along the same lines---by Flagg and Kopperman, and Wagner---that it is directly based on Lawvere's
V-categorical interpretation of metric spaces, and uses results on quasimetrics by Smyth. It is different in
being far less general, and consequently a number of new results, specific for generalized ultrametric spaces,
is obtained. In particular, domain equations are solved by means of metric adjoint pairs, and the notions of
(generalized) totally-boundedness and bifinite (or `SFU') domain are introduced and characterized.
|
| Tipo |
ps
|
| Palabras clave |
Centrum voor Wiskunde en Informatica
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cwi.nl/ftp/CWIreports/AP/CS-R9507.ps.Z
[References] oai:CiteSeerPSU:29113
[References] oai:CiteSeerPSU:110159
[References] oai:CiteSeerPSU:448674
[References] oai:CiteSeerPSU:517963
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
