Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993312126> ?p ?o ?g. }
- W1993312126 abstract "We present simple examples of a realcompact zerodimensional space which is not Ar-compact and an N-compact space which is not strongly zerodimensional. Let N be the usual space of natural numbers. A topological space is called N-compact if it is homeomorphic to a closed subspace of some power of N. It is well known that realcompact strongly zerodimensional=> ./V-compact =^realcompact and zerodimensional. The converses are false, but known counterexamples are fairly complicated (cf. (1, 5-10)). The aim of this note is to present both counterexamples in a unified and simple way. It should be mentioned, however, that the spaces we construct are neither normal nor metacompact, and therefore they do not have any of the additional properties which the previously known examples have. Our construction has evolved from the ideas given in (2 and 7). As the referee has pointed out, the technique we use is close to that used by M. Wage in (11) in order to construct two strongly zerodimensional spaces whose product is not strongly zerodimensional. In fact, it turns out that our technique, although used for different purposes, is basically the same as that developed in (11). All undefined notions can be found in (3 and 4). We shall use in the sequel the ultrafilter characterization of A-compactness which states that a zerodimensional space X is iV-compact if and only if every clopen ultrafilter on X with the countable intersection property has nonempty intersection. The construction. Consider an arbitrary separable metric space X of cardi- nality c. Let D be an arbitrary countable dense subset of X. For every subset A of D with |clx A n clx(-D — A)| = c choose a point Xa in clx A n clx(L> — A) in such a way that xa / xa1 whenever A ■£ A'. Moreover, for every x from X — D let S(x) be a sequence in D converging to x such that if x = xa for some A G D then both A and D — A contain infinitely many points from S(x). Define a new topology on X by agreeing that all points from D are isolated and neighborhoods of x G X — D contain all but finitely many points from S(x). Denote the obtained space by X*." @default.
- W1993312126 created "2016-06-24" @default.
- W1993312126 creator A5062207643 @default.
- W1993312126 date "1984-04-01" @default.
- W1993312126 modified "2023-09-26" @default.
- W1993312126 title "Two easy examples of zero-dimensional spaces" @default.
- W1993312126 cites W1040710948 @default.
- W1993312126 cites W1147479422 @default.
- W1993312126 cites W1983437996 @default.
- W1993312126 cites W1992682664 @default.
- W1993312126 cites W2043643343 @default.
- W1993312126 cites W2063501662 @default.
- W1993312126 cites W2158766333 @default.
- W1993312126 cites W2326155258 @default.
- W1993312126 cites W2907534690 @default.
- W1993312126 cites W997597488 @default.
- W1993312126 cites W2580801869 @default.
- W1993312126 doi "https://doi.org/10.1090/s0002-9939-1984-0760954-1" @default.
- W1993312126 hasPublicationYear "1984" @default.
- W1993312126 type Work @default.
- W1993312126 sameAs 1993312126 @default.
- W1993312126 citedByCount "8" @default.
- W1993312126 countsByYear W19933121262021 @default.
- W1993312126 crossrefType "journal-article" @default.
- W1993312126 hasAuthorship W1993312126A5062207643 @default.
- W1993312126 hasBestOaLocation W19933121261 @default.
- W1993312126 hasConcept C105433845 @default.
- W1993312126 hasConcept C111472728 @default.
- W1993312126 hasConcept C111919701 @default.
- W1993312126 hasConcept C118615104 @default.
- W1993312126 hasConcept C127413603 @default.
- W1993312126 hasConcept C13336665 @default.
- W1993312126 hasConcept C134306372 @default.
- W1993312126 hasConcept C138885662 @default.
- W1993312126 hasConcept C146978453 @default.
- W1993312126 hasConcept C162838799 @default.
- W1993312126 hasConcept C18648836 @default.
- W1993312126 hasConcept C191399826 @default.
- W1993312126 hasConcept C198043062 @default.
- W1993312126 hasConcept C202444582 @default.
- W1993312126 hasConcept C2524010 @default.
- W1993312126 hasConcept C2778572836 @default.
- W1993312126 hasConcept C2780586882 @default.
- W1993312126 hasConcept C31498916 @default.
- W1993312126 hasConcept C32834561 @default.
- W1993312126 hasConcept C33231828 @default.
- W1993312126 hasConcept C33923547 @default.
- W1993312126 hasConcept C41008148 @default.
- W1993312126 hasConcept C64543145 @default.
- W1993312126 hasConcept C70710897 @default.
- W1993312126 hasConcept C87598191 @default.
- W1993312126 hasConcept C90673727 @default.
- W1993312126 hasConceptScore W1993312126C105433845 @default.
- W1993312126 hasConceptScore W1993312126C111472728 @default.
- W1993312126 hasConceptScore W1993312126C111919701 @default.
- W1993312126 hasConceptScore W1993312126C118615104 @default.
- W1993312126 hasConceptScore W1993312126C127413603 @default.
- W1993312126 hasConceptScore W1993312126C13336665 @default.
- W1993312126 hasConceptScore W1993312126C134306372 @default.
- W1993312126 hasConceptScore W1993312126C138885662 @default.
- W1993312126 hasConceptScore W1993312126C146978453 @default.
- W1993312126 hasConceptScore W1993312126C162838799 @default.
- W1993312126 hasConceptScore W1993312126C18648836 @default.
- W1993312126 hasConceptScore W1993312126C191399826 @default.
- W1993312126 hasConceptScore W1993312126C198043062 @default.
- W1993312126 hasConceptScore W1993312126C202444582 @default.
- W1993312126 hasConceptScore W1993312126C2524010 @default.
- W1993312126 hasConceptScore W1993312126C2778572836 @default.
- W1993312126 hasConceptScore W1993312126C2780586882 @default.
- W1993312126 hasConceptScore W1993312126C31498916 @default.
- W1993312126 hasConceptScore W1993312126C32834561 @default.
- W1993312126 hasConceptScore W1993312126C33231828 @default.
- W1993312126 hasConceptScore W1993312126C33923547 @default.
- W1993312126 hasConceptScore W1993312126C41008148 @default.
- W1993312126 hasConceptScore W1993312126C64543145 @default.
- W1993312126 hasConceptScore W1993312126C70710897 @default.
- W1993312126 hasConceptScore W1993312126C87598191 @default.
- W1993312126 hasConceptScore W1993312126C90673727 @default.
- W1993312126 hasLocation W19933121261 @default.
- W1993312126 hasOpenAccess W1993312126 @default.
- W1993312126 hasPrimaryLocation W19933121261 @default.
- W1993312126 hasRelatedWork W1445596183 @default.
- W1993312126 hasRelatedWork W1556156541 @default.
- W1993312126 hasRelatedWork W1778104262 @default.
- W1993312126 hasRelatedWork W1989211434 @default.
- W1993312126 hasRelatedWork W1991065190 @default.
- W1993312126 hasRelatedWork W2007115718 @default.
- W1993312126 hasRelatedWork W2022973139 @default.
- W1993312126 hasRelatedWork W2053931728 @default.
- W1993312126 hasRelatedWork W2057311888 @default.
- W1993312126 hasRelatedWork W2073017880 @default.
- W1993312126 hasRelatedWork W2073057400 @default.
- W1993312126 hasRelatedWork W2091058403 @default.
- W1993312126 hasRelatedWork W2092122193 @default.
- W1993312126 hasRelatedWork W2907534690 @default.
- W1993312126 hasRelatedWork W2944901598 @default.
- W1993312126 hasRelatedWork W2964325820 @default.
- W1993312126 hasRelatedWork W3024371711 @default.
- W1993312126 hasRelatedWork W3104905497 @default.
- W1993312126 hasRelatedWork W962998129 @default.