Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073945915> ?p ?o ?g. }
- W2073945915 abstract "In a complete lattice it is possible to define a notion of convergence (for arbitrary nets) known as order convergence (o-convergence) ; for definitions see [l,p.5°]and [3, p. 65]. As a general rule o-convergence is not a topological convergence; i.e., the lattice cannot be topologized so that nets o-converge if and only if they converge with respect to the topology [2]. It is of interest to know when these two types of convergence coincide. A number of questions could be posed here, but we shall deal only with the question of when a topological space can be suitably embedded in a complete lattice. To make this statement more precise we shall give the following definition. Definition. A topological space is said to be an O-space if it is homeomorphic to a subset s0 of a complete lattice s and if every net in fio converges (with respect to the topology for s0) to a limit in s0 if and only if it o-converges to this limit. For example, every completely regular Hausdorff space is an O-space because it is homeomorphic to a subset of the direct product of unit intervals and if this direct product is partially ordered componentwise, then it becomes a complete lattice in which o-convergence is the same as convergence with respect to the product topology. In this paper we prove the following theorem." @default.
- W2073945915 created "2016-06-24" @default.
- W2073945915 creator A5037108360 @default.
- W2073945915 date "1965-04-01" @default.
- W2073945915 modified "2023-09-24" @default.
- W2073945915 title "Order convergence and topological convergence" @default.
- W2073945915 cites W2039554731 @default.
- W2073945915 doi "https://doi.org/10.1090/s0002-9939-1965-0178449-3" @default.
- W2073945915 hasPublicationYear "1965" @default.
- W2073945915 type Work @default.
- W2073945915 sameAs 2073945915 @default.
- W2073945915 citedByCount "7" @default.
- W2073945915 crossrefType "journal-article" @default.
- W2073945915 hasAuthorship W2073945915A5037108360 @default.
- W2073945915 hasBestOaLocation W20739459151 @default.
- W2073945915 hasConcept C114614502 @default.
- W2073945915 hasConcept C118615104 @default.
- W2073945915 hasConcept C121332964 @default.
- W2073945915 hasConcept C123222754 @default.
- W2073945915 hasConcept C127162648 @default.
- W2073945915 hasConcept C134306372 @default.
- W2073945915 hasConcept C162324750 @default.
- W2073945915 hasConcept C183992945 @default.
- W2073945915 hasConcept C184720557 @default.
- W2073945915 hasConcept C191399826 @default.
- W2073945915 hasConcept C201640847 @default.
- W2073945915 hasConcept C24890656 @default.
- W2073945915 hasConcept C24977911 @default.
- W2073945915 hasConcept C2524010 @default.
- W2073945915 hasConcept C2777303404 @default.
- W2073945915 hasConcept C2781204021 @default.
- W2073945915 hasConcept C31258907 @default.
- W2073945915 hasConcept C33923547 @default.
- W2073945915 hasConcept C38487692 @default.
- W2073945915 hasConcept C38652104 @default.
- W2073945915 hasConcept C41008148 @default.
- W2073945915 hasConcept C47776270 @default.
- W2073945915 hasConcept C50522688 @default.
- W2073945915 hasConcept C57869625 @default.
- W2073945915 hasConcept C57945734 @default.
- W2073945915 hasConcept C5871375 @default.
- W2073945915 hasConcept C62520636 @default.
- W2073945915 hasConcept C63548660 @default.
- W2073945915 hasConcept C76178495 @default.
- W2073945915 hasConcept C81332173 @default.
- W2073945915 hasConcept C90673727 @default.
- W2073945915 hasConceptScore W2073945915C114614502 @default.
- W2073945915 hasConceptScore W2073945915C118615104 @default.
- W2073945915 hasConceptScore W2073945915C121332964 @default.
- W2073945915 hasConceptScore W2073945915C123222754 @default.
- W2073945915 hasConceptScore W2073945915C127162648 @default.
- W2073945915 hasConceptScore W2073945915C134306372 @default.
- W2073945915 hasConceptScore W2073945915C162324750 @default.
- W2073945915 hasConceptScore W2073945915C183992945 @default.
- W2073945915 hasConceptScore W2073945915C184720557 @default.
- W2073945915 hasConceptScore W2073945915C191399826 @default.
- W2073945915 hasConceptScore W2073945915C201640847 @default.
- W2073945915 hasConceptScore W2073945915C24890656 @default.
- W2073945915 hasConceptScore W2073945915C24977911 @default.
- W2073945915 hasConceptScore W2073945915C2524010 @default.
- W2073945915 hasConceptScore W2073945915C2777303404 @default.
- W2073945915 hasConceptScore W2073945915C2781204021 @default.
- W2073945915 hasConceptScore W2073945915C31258907 @default.
- W2073945915 hasConceptScore W2073945915C33923547 @default.
- W2073945915 hasConceptScore W2073945915C38487692 @default.
- W2073945915 hasConceptScore W2073945915C38652104 @default.
- W2073945915 hasConceptScore W2073945915C41008148 @default.
- W2073945915 hasConceptScore W2073945915C47776270 @default.
- W2073945915 hasConceptScore W2073945915C50522688 @default.
- W2073945915 hasConceptScore W2073945915C57869625 @default.
- W2073945915 hasConceptScore W2073945915C57945734 @default.
- W2073945915 hasConceptScore W2073945915C5871375 @default.
- W2073945915 hasConceptScore W2073945915C62520636 @default.
- W2073945915 hasConceptScore W2073945915C63548660 @default.
- W2073945915 hasConceptScore W2073945915C76178495 @default.
- W2073945915 hasConceptScore W2073945915C81332173 @default.
- W2073945915 hasConceptScore W2073945915C90673727 @default.
- W2073945915 hasLocation W20739459151 @default.
- W2073945915 hasOpenAccess W2073945915 @default.
- W2073945915 hasPrimaryLocation W20739459151 @default.
- W2073945915 hasRelatedWork W110970450 @default.
- W2073945915 hasRelatedWork W2003229492 @default.
- W2073945915 hasRelatedWork W2024447840 @default.
- W2073945915 hasRelatedWork W2040975599 @default.
- W2073945915 hasRelatedWork W2047134206 @default.
- W2073945915 hasRelatedWork W2063427140 @default.
- W2073945915 hasRelatedWork W2073205555 @default.
- W2073945915 hasRelatedWork W2083309269 @default.
- W2073945915 hasRelatedWork W2087165462 @default.
- W2073945915 hasRelatedWork W2167898469 @default.
- W2073945915 hasRelatedWork W2294847948 @default.
- W2073945915 hasRelatedWork W2317423080 @default.
- W2073945915 hasRelatedWork W2319534107 @default.
- W2073945915 hasRelatedWork W2393506115 @default.
- W2073945915 hasRelatedWork W2537596701 @default.
- W2073945915 hasRelatedWork W2772099281 @default.
- W2073945915 hasRelatedWork W2907173622 @default.
- W2073945915 hasRelatedWork W2964180366 @default.
- W2073945915 hasRelatedWork W3105766995 @default.
- W2073945915 hasRelatedWork W410432738 @default.