Matches in SemOpenAlex for { <https://semopenalex.org/work/W3180211398> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3180211398 abstract "With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions of functions being contractive in these spaces and structures. As a sample of possible applications we discuss metric spaces, ultrametric spaces, ordered groups and fields, topological spaces, partially ordered sets, and lattices. We describe several notions of completeness in these spaces and structures and determine their respective strengths. In order to illustrate some consequences of the levels of strength, we give examples of generic fixed point theorems which then can be specialized to theorems in various applications which work with contracting functions and some completeness property of the underlying space. Ball spaces are nonempty sets of nonempty subsets of a given set. They are called spherically complete if every chain of balls has a nonempty intersection. This is all that is needed for the encoding of completeness notions. We discuss operations on the sets of balls to determine when they lead to larger sets of balls; if so, then the properties of the so obtained new ball spaces are determined. The operations can lead to increased level of strength, or to ball spaces of newly constructed structures, such as products. Further, the general framework makes it possible to transfer concepts and approaches from one application to the other; as examples we discuss theorems analogous to the Knaster–Tarski Fixed Point Theorem for lattices and theorems analogous to the Tychonoff Theorem for topological spaces." @default.
- W3180211398 created "2021-07-19" @default.
- W3180211398 creator A5005133417 @default.
- W3180211398 creator A5017165328 @default.
- W3180211398 creator A5082312416 @default.
- W3180211398 date "2021-07-04" @default.
- W3180211398 modified "2023-09-27" @default.
- W3180211398 title "A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures" @default.
- W3180211398 cites W146052369 @default.
- W3180211398 cites W1550214235 @default.
- W3180211398 cites W1949715808 @default.
- W3180211398 cites W1996005557 @default.
- W3180211398 cites W1996648065 @default.
- W3180211398 cites W2003549473 @default.
- W3180211398 cites W2013162281 @default.
- W3180211398 cites W2016680799 @default.
- W3180211398 cites W2024028885 @default.
- W3180211398 cites W2046213250 @default.
- W3180211398 cites W2062508836 @default.
- W3180211398 cites W2095740654 @default.
- W3180211398 cites W2124407210 @default.
- W3180211398 cites W2176218217 @default.
- W3180211398 cites W2248186100 @default.
- W3180211398 cites W2301575011 @default.
- W3180211398 cites W2326785981 @default.
- W3180211398 cites W2548601835 @default.
- W3180211398 cites W2735907025 @default.
- W3180211398 cites W2808499692 @default.
- W3180211398 cites W2964096402 @default.
- W3180211398 cites W2981486064 @default.
- W3180211398 cites W4243886559 @default.
- W3180211398 cites W88790058 @default.
- W3180211398 doi "https://doi.org/10.1007/s13398-020-00984-3" @default.
- W3180211398 hasPublicationYear "2021" @default.
- W3180211398 type Work @default.
- W3180211398 sameAs 3180211398 @default.
- W3180211398 citedByCount "1" @default.
- W3180211398 countsByYear W31802113982022 @default.
- W3180211398 crossrefType "journal-article" @default.
- W3180211398 hasAuthorship W3180211398A5005133417 @default.
- W3180211398 hasAuthorship W3180211398A5017165328 @default.
- W3180211398 hasAuthorship W3180211398A5082312416 @default.
- W3180211398 hasBestOaLocation W31802113982 @default.
- W3180211398 hasConcept C106558176 @default.
- W3180211398 hasConcept C118615104 @default.
- W3180211398 hasConcept C122041747 @default.
- W3180211398 hasConcept C127413603 @default.
- W3180211398 hasConcept C134306372 @default.
- W3180211398 hasConcept C146978453 @default.
- W3180211398 hasConcept C17231256 @default.
- W3180211398 hasConcept C174265945 @default.
- W3180211398 hasConcept C180645754 @default.
- W3180211398 hasConcept C18648836 @default.
- W3180211398 hasConcept C198043062 @default.
- W3180211398 hasConcept C202444582 @default.
- W3180211398 hasConcept C33923547 @default.
- W3180211398 hasConcept C47776270 @default.
- W3180211398 hasConcept C61067352 @default.
- W3180211398 hasConcept C64543145 @default.
- W3180211398 hasConcept C81332173 @default.
- W3180211398 hasConceptScore W3180211398C106558176 @default.
- W3180211398 hasConceptScore W3180211398C118615104 @default.
- W3180211398 hasConceptScore W3180211398C122041747 @default.
- W3180211398 hasConceptScore W3180211398C127413603 @default.
- W3180211398 hasConceptScore W3180211398C134306372 @default.
- W3180211398 hasConceptScore W3180211398C146978453 @default.
- W3180211398 hasConceptScore W3180211398C17231256 @default.
- W3180211398 hasConceptScore W3180211398C174265945 @default.
- W3180211398 hasConceptScore W3180211398C180645754 @default.
- W3180211398 hasConceptScore W3180211398C18648836 @default.
- W3180211398 hasConceptScore W3180211398C198043062 @default.
- W3180211398 hasConceptScore W3180211398C202444582 @default.
- W3180211398 hasConceptScore W3180211398C33923547 @default.
- W3180211398 hasConceptScore W3180211398C47776270 @default.
- W3180211398 hasConceptScore W3180211398C61067352 @default.
- W3180211398 hasConceptScore W3180211398C64543145 @default.
- W3180211398 hasConceptScore W3180211398C81332173 @default.
- W3180211398 hasFunder F4320322511 @default.
- W3180211398 hasIssue "4" @default.
- W3180211398 hasLocation W31802113981 @default.
- W3180211398 hasLocation W31802113982 @default.
- W3180211398 hasOpenAccess W3180211398 @default.
- W3180211398 hasPrimaryLocation W31802113981 @default.
- W3180211398 hasRelatedWork W1654055730 @default.
- W3180211398 hasRelatedWork W1827081050 @default.
- W3180211398 hasRelatedWork W2110519486 @default.
- W3180211398 hasRelatedWork W2748752886 @default.
- W3180211398 hasRelatedWork W2945741095 @default.
- W3180211398 hasRelatedWork W3107440067 @default.
- W3180211398 hasRelatedWork W3154318847 @default.
- W3180211398 hasRelatedWork W3180211398 @default.
- W3180211398 hasRelatedWork W4288349175 @default.
- W3180211398 hasRelatedWork W4300426969 @default.
- W3180211398 hasVolume "115" @default.
- W3180211398 isParatext "false" @default.
- W3180211398 isRetracted "false" @default.
- W3180211398 magId "3180211398" @default.
- W3180211398 workType "article" @default.