Mikhail Matveev
We show that a Tychonoff discretely star-Lindelof space can have arbitrarily big extent and note that there are consistent examples of normal discretely star-Lindelof spaces with uncountable extent.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We answer several questions of V. Tkačuk from [Point-countable $π$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that (1) there is a ZFC example of a first countable, 0-dimensional Hausdorff space with no point-countable $π$-base (in fact, the order of any $π$-base of the space is at least $\aleph_ω$); (2) if there is a $κ$-Suslin line then there is a first countable GO space of cardinality $κ^+$ in which the order of any $π$-base is at least $κ$; (3) it is consistent to have a first countable, hereditarily Lindel\" of regular space having uncount…
We investigate some versions of $d$-space, well-filtered space and Rudin space concerning various countability properties. The main results include: (i) if the sobrification of a $T_0$ space $X$ is first-countable, then $X$ is an $ω$-Rudin space; (ii) every $ω$-well-filtered space is sober if its sobrification is first-countable; (iii) if a $T_0$ space is second-countable or first-countable and with a countable underlying set, then it is a $ω$-Rudin space; (iv) every first-countable $T_0$ space is well-filtered determined; (v) every irreducible closed subset in a first-countable $ω$-well-filte…
Coincidence of the Dimensions of First Countable Spaces with a Countable Network
本文证明了第一可数仿紧σ-空间中大归纳维数Ind与覆盖维数dim相等，从而正面回答了Arkhangel'skii关于具有可数网络的第一可数空间三类维数是否一致的问题。
The main aim of the article is to show, in the absence of the Axiom of Choice, relationships between the following, independent of $\mathbf{ZF}$, statements: "Every countable product of compact metrizable spaces is separable (respectively, compact)" and "Every countable product of compact metrizable spaces is metrizable". Statements related to the above-mentioned ones are also studied. Permutation models (among them new ones) are shown in which a countable sum (also a countable product) of metrizable spaces need not be metrizable, countable unions of countable sets are countable and there is a…
We prove that the free locally convex space $L(X)$ over a metrizable space $X$ has countable tightness if and only if $X$ is separable.
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve this goal, we use Transfinite Induction to construct a specific homeomorphism. In addition, we prove that for all metric space $(E,d)$, the cardinality of the set of all the equivalence classes $\mathscr{K}_E$, up to homeomorphisms, of compact countable subsets of $E$ is less than or equal to $\aleph_1$, i.e. $|\mathscr{K}_E| \le \aleph_1$. We also show that…
A symmetrizability criterion of Arhangelskii implies that a second-countable Hausdorff space is symmetrizable if and only if it is perfect. We present an example of a non-symmetrizable second-countable submetrizable space of cardinality $\mathfrak q_0$ and study the smallest possible cardinality $\mathfrak q_i$ of a non-symmetrizable second-countable $T_i$-space for $i\in\{1,2\}$.
Let $\mathbb{A}$ denote the Alexandroff-Urysohn double arrow space. We prove the following results: (a) $\mathbb{A}\times{}^ω{2}$ is not countable dense homogeneous; (b) ${}^ω{\mathbb{A}}$ is not countable dense homogeneous; (c) $\mathbb{A}$ has exactly $\mathfrak{c}$ types of countable dense subsets. These results answer questions by Arhangel'ski\uı, Hrušák and van Mill.
Every $T_1$ connected first-countable space is a continuous open image of a connected metrizable space
本文回答了 Tkachuk 的问题，证明任意 $T_1$ 连通第一可数空间都可表示为某个连通可度量化空间在连续开映射下的像。
Answering a problem posed by the second author on Mathoverflow, we prove that the connected countable Hausdorff spaces constructed by Bing and Ritter are topologically homogeneous.
In this paper we consider the question of when the space $C_p(X)$ of continuous real-valued functions on $X$ with the pointwise convergence topology is countable dense homogeneous. In particular, we focus on the case when $X$ is countable with a unique non-isolated point $\infty$. In this case, $C_p(X)$ is countable dense homogeneous if and only if the filter of open neighborhoods of $\infty$ is a non-meager $P$-filter.
We define the direct sum of a countable family of pointed metric spaces in a way resembling the direct sum of groups. Then we prove that if a family consists of $0$-hyperbolic (in the sense of Gromov) and $D$-discrete spaces, then its direct sum has asymptotic property C. The main example is a countable direct sum of free groups of (possibly varying) finite rank. This is a generalization of T. Yamauchi's result concernig the countable direct sum of the integers.
A cuf space (set, resp.) is a space (set, resp.) which is a countable union of finite subspaces (subsets, resp.). It is proved in $\mathbf{ZF}$ (with the absence of the axiom of choice) that all countable unions of cuf (denumerable, resp.) sets are cuf sets iff all countable products of cofinite cuf (denumerable, resp.) spaces are quasi-metrizable iff all countable products of one-point Hausdorff compactifications of infinite cuf (denumerable, resp.) spaces are quasi-metrizable. A countable product of one-point Hausdorff compactifications of denumerable discrete spaces is first-countable iff i…
A Hausdorff topological space $X$ is called $\textit{superconnected}$ (resp. $\textit{coregular}$) if for any nonempty open sets $U_1,\dots U_n\subseteq X$, the intersection of their closures $\bar U_1\cap\dots\cap\bar U_n$ is not empty (resp. the complement $X\setminus (\bar U_1\cap\dots\cap\bar U_n)$ is a regular topological space). A canonical example of a coregular superconnected space is the projective space $\mathbb Q\mathsf P^\infty$ of the topological vector space $\mathbb Q^{<ω}=\{(x_n)_{n\inω}\in \mathbb Q^ω:|\{n\inω:x_n\ne 0\}|<ω\}$ over the field of rationals $\mathbb Q$. The space…
A countable dense homogeneous topological vector space is a Baire space
本文证明含 Cantor 集副本的齐次可数稠密齐次空间为 Baire 空间，并据此判定若干函数空间与弱拓扑 Banach 空间不具可数稠密齐次性。
We study some variations of the product topology on families of clopen subsets of $2^{\mathbb{N}}\times\mathbb{N}$ in order to construct countable nodec regular spaces (i.e. in which every nowhere dense set is closed) with analytic topology which in addition are not selectively separable and do not satisfy the combinatorial principle $q^+$.
We prove that each non-metrizable sequential rectifiable space $X$ of countable $cs^*$-character contains a clopen rectifiable submetrizable $k_ω$-subspace $H$ and admits an open disjoint cover by subspaces homeomorphic to clopen subspaces of $H$. This implies that each sequential rectifiable space with countable $cs^*$-character either is metrizable or else is a topological sum of submetrizable $k_ω$-spaces. Consequently, $X$ is submetrizable and paracompact. This answers a question of Lin and Shen posed in 2011.
As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap U\ne \emptyset$ for each $U\in \mathcal U$. Answering several questions raised by Tkachuk and Wilson we show that (1) any first countable cellular-compact $T_2$ space is $T_3$, and so its cardinality is at most $\mathfrak{c} = 2^ω$; (2) $cov(\mathcal M)>ω_1$ implies that every first countable and separable cellular-compact $T_2$ space is compact; (3 if there is…
This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out convergence-theoretic characterizations of the notions of weak base, weakly first-countable space, semi-metrizable space, and symmetrizable spaces. With the help of the already established similar characterizations of the notions of Fréchet-Ursyohn, sequential, and accessibility spaces, we give a simple algebraic proof of a classical result regarding when a symmetrizab…
On countable tightness type properties of spaces of quasicontinuous functions
本文利用选择原理刻画拟连续函数空间的多种可数紧性，并给出κ+-Lusin空间的函数刻画。
In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G and H is inner neutral, then the quotient space G/H is first-countable if and only if G/H is a bisequential space if and only if G/H is a weakly first-countable space if and only if G/H is a csf-countable and sequential a7-space. Moreover, it is shown that if H is a locally compact metrizable strong subgyrogroup of G and the quotient space G/H is sequential, …
Given a dynamical system $(X,f)$, we let $E(X,f)$ denote its Ellis semigroup and $E(X,f)^* = E(X,f) \setminus \{f^n : n \in \mathbb{N}\}$. We analyze the Ellis semigroup of a dynamical system having a compact metric countable space as a phase space. We show that if $(X,f)$ is a dynamical system such that $X$ is a compact metric countable space and every accumulation point $X'$ is periodic, then either each function of $E(X,f)^*$ is continuous or each function of $E(X,f)^*$ is discontinuous. We describe an example of a dynamical system $(X,f)$ where $X$ is a compact metric countable space, the …
Three small results on normal first countable linearly H-closed spaces
本研究借助PFA、MA$_{ω_1}$(S)[S]与PFA(S)[S]的已知拓扑推论，证明在对应模型下，带多种附加性质的正规第一可数线性H-闭空间均为紧空间，补充了相关拓扑空间的紧性结论。
It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says that for any crowded Hausdorff space $X$ of countable $π$-weight, if ${}^ω{X}$ is countable dense homogeneous, then $X$ must contain a topological copy of the Cantor set.
A topological space $L$ is called a linear ordered topological space (LOTS) whenever there is a linear order $\leq$ on $L$ such that the topology on $L$ is generated by the open sets of the form $(a, b)$ with $a < b$ and $a, b \in L \cup \{ -\infty, +\infty \}$. A topological space $X$ is called a generalized ordered space (GO-space) whenever $X$ is topologically embeddable in a LOTS. Main Theorem: Let $X$ be a Hausdorff topological space. Assume that any continuous image of $X$ is a GO-space. Then $X$ is homeomorphic to a countable successor ordinal (with the order topology). The converse tri…
We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products, even for the spaces of continuous functions with the topology of pointwise convergence. We also show that there exists no maximal M-separable countable space in the model of Frankiewicz, Shelah, and Zbierski in which all closed P-subspaces of w^* admit an uncountable family of nonempty open mutually disjoint subsets. This answers several questions of Bella, B…
The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober. Johnstone constructed the first directed complete poset whose Scott space is non-sober. Not long after, Isbell gave a complete lattice with non-sober Scott space. Based on Isbell's example, Xu, Xi and Zhao showed that there is even a complete Heyting algebra whose Scott space is non-sober. Achim Jung then asked whether every countable complete lattice has a sober S…
Countable tightness is not discretely reflexive in $σ$-compact spaces
本文构造了多个$\sigma$-紧致空间（部分在ZFC中，部分在附加公理下），它们本身不满足可数紧致性，但所有离散子集的闭包却满足可数紧致性，甚至第一可数，从而否定了可数紧致性的离散自反性。
Being motivated by the study of the space $C_c(X)$ of all continuous real-valued functions on a Tychonoff space $X$ with the compact-open topology, we introduced in [15] the concepts of a $cp$-network and a $cn$-network (at a point $x$) in $X$. In the present paper we describe the topology of $X$ admitting a countable $cp$- or $cn$-network at a point $x\in X$. This description applies to provide new results about the strong Pytkeev property, already well recognized and applicable concept originally introduced by Tsaban and Zdomskyy [43]. We show that a Baire topological group $G$ is metrizable…
We answer a question of Yasui. Morever, we show that if a Tychonoff space Y is countably 1-paracompact in every Tychonoff space X that contains Y as a closed subspace then Y is linearly Lindelof.
We show that all sufficiently nice $λ$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $κ\le \mathfrak{b}$ there is a countable dense homogeneous metric space of size $κ$. Moreover, the existence of a meager in itself countable dense homogeneous metric space of size $κ$ is equivalent to the existence of a $λ$-set of size $κ$. On the other hand, it is consistent with the continuum arbitrarily large that every $\mathsf{CDH}$ metric space has size either $ω_1$ or size $\mathfrak c$. An example of a Baire $\mathsf{CDH}$ metric s…
In the absence of the axiom of choice, new results concerning sequential, Fréchet-Urysohn, $k$-spaces, very $k$-spaces, Loeb and Cantor completely metrizable spaces are shown. New choice principles are introduced. Among many other theorems, it is proved in $\mathbf{ZF}$ that every Loeb, $T_3$-space having a base expressible as a countable union of finite sets is a metrizable second-countable space whose every $F_σ$-subspace is separable; moreover, every $G_δ$-subspace of a second-countable, Cantor completely metrizable space is Cantor completely metrizable, Loeb and separable. It is also notic…
Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hrušák and Zamora Avilés that such a space $X$ cannot be Borel. Furthermore, $X$ can be made homogeneous and completely Baire as well.
Relatively functionally countable subsets of products
本文证明在满足每个因子空间的所有RFC子集可数的条件下，Tychonoff乘积空间中所有RFC子集可数，并利用构造连续单射的工具得出可度量空间中RFC子集可数。
We consider 9 natural tightness conditions for topological spaces that are all variations on countable tightness and investigate the interrelationships between them. Several natural open problems are raised.
A countable metric space whose Hoare power space is not co-sober
本文构造了一个可数零维度量空间，其Hoare幂空间不是co-sober，从而否定了Xu及He和Zhao的相关猜想，并建立了Hoare幂空间co-sober性与Scott空间sober性的等价条件。
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative to T. (iii) For every metric space X=(X,d), X is compact iff it is subcompact relative to T. We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable space is completely metrizable, (b) every countably subcompact metrizable space is subcompact, (c) every complete metrizable space is subcompact is relatively consist…
We study the class of first-countable Lindelöf scattered spaces, or "FLS" spaces. While every $T_3$ FLS space is homeomorphic to a scattered subspace of $\mathbb Q$, the class of $T_2$ FLS spaces turns out to be surprisingly rich. Our investigation of these spaces reveals close ties to $Q$-sets, Lusin sets, and their relatives, and to the cardinals $\mathfrak{b}$ and $\mathfrak{d}$. Many natural questions about FLS spaces turn out to be independent of $\mathsf{ZFC}$. We prove that there exist uncountable FLS spaces with scattered height $ω$. On the other hand, an uncountable FLS space with fin…
Notes on countable frames
本文研究了可数框架的连续性与谱的拟连续性关系，并探讨了 T₁ 空间和 Scott 空间对问题解答的影响。
Two selection games from the literature, $G_c(\mathcal O,\mathcal O)$ and $G_1(\mathcal O_{zd},\mathcal O)$, are known to characterize countable dimension among certain spaces. This paper studies their perfect- and limited-information strategies, and investigates issues related to non-equivalent characterizations of zero-dimensionality for spaces that are not both separable and metrizable. To relate results on zero-dimensional and finite-dimensional spaces, a generalization of Telgársky's proof that the point-open and finite-open games are equivalent is demonstrated.
Pseudocompact versus countably compact in first countable spaces
本文构造具额外性质的伪紧非可数紧空间，利用CH得到局部紧等特性的PNC空间，定义DCC、DRC等概念，证明存在遗传分离这些性质的第一可数空间等结果。
We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$. For each regular cardinal $κ$, an example is constructed of a ccc Tychonoff space of size $κ$ and countable pseudocharacter but with no ccc subspace of size less than $κ$. We also give a ccc compact $T_1$ space of size $κ$ with no ccc subspace of size less than $κ$.
A. V. Arhangel'skiĭ introduced in 2012, when he was visiting the department of Mathematics at King Abduaziz University, new weaker versions of normality, called \it $C$-normality, \rm and \it countable normality. \rm The purpose of this paper is to investigate countable normality property. We prove that normality implies countable normality but the converse is not true in general. We present some examples to show relationships between countable normality and other weaker versions of normality such as $C$-normality, $L$-noramlity, and mild normality. We answer the following open problem of Arha…
In this paper we introduce and study three new cardinal topological invariants called the cs*, cs-, and sb-characters. The class of topological spaces with countable cs*-character is closed under many topological operations and contains all aleph-spaces and all spaces with point-countable cs*-network. Our principal result states that each non-metrizable sequential topological group with countable cs*-character has countable pseudo-character and contains an open $k_ω$-subgroup.
For a regular space $X$, the hyperspace $(CL(X), τ_{F})$ (resp., $(CL(X), τ_{V})$) is the space of all nonempty closed subsets of $X$ with the Fell topology (resp., Vietoris topology). In this paper, we give the characterization of the space $X$ such that the hyperspace $(CL(X), τ_{F})$ (resp., $(CL(X), τ_{V})$) with a countable character of closed subsets. We mainly prove that $(CL(X), τ_F)$ has a countable character on each closed subset if and only if $X$ is compact metrizable, and $(CL(X), τ_F)$ has a countable character on each compact subset if and only if $X$ is locally compact and sepa…
Computability of Separation Axioms in Countable Second Countable Spaces
本文直接计算拓扑指标集复杂性，为各 Tychonoff 分离公理及 Polish 性、Cantor–Bendixson 秩等性质确定精确算术完备性层级，弥补逆数学精度不足。
A space X is called an alpha-Toronto space if X is scattered of Cantor-Bendixson rank alpha and is homeomorphic to each of its subspaces of same rank. We answer a question of Steprans by constructing a countable alpha-Toronto space for each alpha<=omega. We also construct consistent examples of countable alpha-Toronto spaces for each alpha<omega_1.
We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a Borel X subset of 2^omega the following are equivalent: (1) X is G_delta in 2^omega, (2) X^omega is CDH and (3) X^omega is homeomorphic to 2^omega or to omega^omega. Assuming the Axiom of Projective Determinacy the results extend to all projective sets and under the Axiom of Determinacy to all separable metric spaces. In particular, modulo large cardinal assum…
We give a characterization of countable discrete subspace $A$ of a topological space $X$ such that there exists a (linear) continuous mapping $φ:C_p^*(A)\to C_p(X)$ with $φ(y)|_A=y$ for every $y\in C_p^*(A)$. Using this characterization we answer two questions of A.~Arhangel'skii. Moreover, we introduce the notion of well-covered subset of a topological space and prove that for well-covered functionally closed subset $A$ of a topological space $X$ there exists a linear continuous mapping $φ:C_p(A)\to C_p(X)$ with $φ(y)|_A=y$ for every $y\in C_p(A)$.
When do weakly first-countable spaces and the Scott topology of open set lattice become sober?
本文研究弱第一可数空间的sober性，给出开集格Scott拓扑为sober空间的充分条件，并建立Fréchet空间条件下偏序集乘积、$ω$-良滤凝聚$d$-空间及$ω$型P-空间/协调Wilker空间的相关sober性结论。
For a Hausdorff zero-dimensional topological space $X$ and a totally ordered field $F$ with interval topology, let $C_c(X,F)$ be the ring of all $F-$valued continuous functions on $X$ with countable range. It is proved that if $F$ is either an uncountable field or countable subfield of $\mathbb{R}$, then the structure space of $C_c(X,F)$ is $β_0X$, the Banaschewski Compactification of $X$. The ideals $\{O^{p,F}_c:p\in β_0X\}$ in $C_c(X,F)$ are introduced as modified countable analogue of the ideals $\{O^p:p\inβX\}$ in $C(X)$. It is realized that $C_c(X,F)\cap C_K(X,F)=\bigcap_{p\inβ_0X\texttt{…
We consider the compact spaces sigma_n(I) of subsets of an uncountable set I of cardinality at most n and their countable products. We give a complete classification of their Banach spaces of continuous functions and a partial topological classification.
Examples of strongly rigid countable (semi)Hausdorff spaces
本文通过为第二可数 Brown Hausdorff 空间构造更强的拓扑，得到强刚性反紧 Brown 空间的例子，并构造出强刚性 $k_2$-可度量化半 Hausdorff 空间，回答了 MathOverflow 上的多个问题。
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other independence results, the characterization of locally compact Hausdorff spaces having all non-empty metrizable compact spaces as remainders, obtained by Hatzenhuhler and Mattson in $\mathbf{ZFC}$, is proved to be independent of $\mathbf{ZF}$. Urysohn's Metrization Theorem is generalized to the following theorem: every $T_3$-space which admits a base expressible as a …
We study spaces that can be mapped onto the Baire space (i.e. the countable power of the countable discrete space) by a continuous quasi-open bijection. We give a characterization of such spaces in terms of Souslin schemes and call these spaces $π$-spaces. We show that every space that has a Lusin $π$-base is a $π$-space and that every second-countable $π$-space has a Lusin $π$-base. The main result of this paper is a characterization of continuous open images of $π$-space.
Closed discrete bases in countable-dimensional topological vector spaces
本文证明了任意可数拓扑向量空间（或等价地，任意可数素数指数阿贝尔拓扑群）都存在一个闭离散基。
The Grothendieck property has become important in research on the definability of pathological Banach spaces [CI], [HT], and especially [HT20]. We here answer a question of Arhangel'ski\uı by proving it undecidable whether countably tight spaces with Lindelöf finite powers are Grothendieck. We answer another of his questions by proving that $\mathrm{PFA}$ implies Lindelöf countably tight spaces are Grothendieck. We also prove that various other consequences of $\mathrm{MA}_{ω_1}$ and $\mathrm{PFA}$ considered by Arhangel'ski\uı, Okunev, and Reznichenko are not theorems of $\mathrm{ZFC}$.
A space $X$ has countable $(F)$-property if it has countable point network satisfying the Collins-Roscoe structuring mechanism. Some sufficient conditions for $C_p(X)$ having countable $(F)$-property are obtained. As a corollary, we prove that if $X$ is Corson compact, $C_p(X)$ satisfies countable $(F)$. This answers a question raised by Tkachuk. Also we get a class of function spaces with hereditarily $D$-property. We also prove that the countable $(F)$-property is preserved by taking $Σ_s$-product. This answers questions of Tkachuk positively.
We prove that the countable product of supercomplete spaces having a countable closed cover consisting of partition-complete subspaces is supercomplete with respect to its metric-fine coreflection. Thus, countable products of sigma-partition-complete paracompact spaces are again paracompact. On the other hand, we show that in arbitrary products of partition-complete paracompact spaces, all normal covers can be obtained via the locally fine coreflection of the product of fine uniformities.
Sobriety of Regular Open Algebras in Second-Countable T3 Spaces
该研究针对第二可数T3空间，揭示正则开代数RO(X)的Scott空间为sober的充要条件，由此解答完全布尔代数sober性的公开问题，并提供构造非sober完全格的系统方法。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。