Lawson topology of the space of formal balls and the hyperbolic topology (Q949625): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56830052, #quickstatements; #temporary_batch_1710857717480 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.034 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2165060927 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A computational model for metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Domain representability of metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3213662 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4855460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous Lattices and Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximation of metric spaces by partial metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymmetry and duality in topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spaces of maximal points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Introduction to Banach Space Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial Metric Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3368439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedding metric spaces into CPO's / rank | |||
Normal rank |
Latest revision as of 18:43, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lawson topology of the space of formal balls and the hyperbolic topology |
scientific article |
Statements
Lawson topology of the space of formal balls and the hyperbolic topology (English)
0 references
21 October 2008
0 references
Let \(\mathbb R_+\) denote the set of non-negative real numbers. From a metric space \((X,d)\) one can construct a partially ordered set \((B^+X,\sqsubseteq)\) where \(B^+X=X\times \mathbb R_+,\) and \((x,r)\sqsubseteq (y,s)\) if \(d(x,y)\leq r-s.\) An element of \(B^+X\) is called a formal ball in \((X,d)\). In this article the authors also consider formal balls with negative radii and study the partially ordered set \(BX=X\times\mathbb R\) of such generalized formal balls with the same order relation. In particular they investigate when the Lawson topology (defined through the order relation \(\sqsubseteq\)) and the product topology (of the metric topology and the Euclidian topology) coincide on \(B^+X\), or on \(BX.\) For instance they show that the two topologies coincide on \(BX\) if \((X,d)\) is a totally bounded metric space. They also introduce and investigate the hyperbolic topology of a metric space \((X,d)\), which is generated by the sets \(\{y:d(a,y)-d(b,y)<s\}\) for \(a,b\in X\) and \(-d(a,b)<s\), and which in general is different from the metric topology. In particular they prove that the hyperbolic topology and the metric topology coincide on \(X\) if and only if the Lawson topology and the product topology coincide on \(BX.\)
0 references
metric space
0 references
formal ball
0 references
Lawson topology
0 references
Scott topology
0 references
normed linear space
0 references
totally bounded metric
0 references
hyperbolic topology
0 references