We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

A subset of a product of topological spaces is called $n$-thin if every its two distinct points differ in at least $n$ coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable $T_3$ space $X$ without isolated points such that $X^n$ contains an $n$-thin dense subset, but $X^{n+1}$ does not contain any $n$-thin dense subset. We also observe that part of the construction can be carried out under MA.

We consider the question of when $X_M=X$, where $X_M$ is the elementary submodel topology on X ∩ M, especially in the case when $X_M$ is compact.

We investigate the question whether a system ${\left(E_i\right)}_{i\in I}$ of homogeneous linear equations over $\mathbb{Z}$ is non-trivially solvable in $\mathbb{Z}$ provided that each subsystem ${\left(E_j\right)}_{j\in J}$ with $\left|J\right|\le c$ is non-trivially solvable in $\mathbb{Z}$ where $c$ is a fixed cardinal number such that $c<\left|I\right|$. Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $\left|I\right|={\aleph }_0$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c\le {\aleph }_0$ is ‘No...

We consider the class of compact spaces $K_A$ which are modifications of the well known double arrow space. The space $K_A$ is obtained from a closed subset K of the unit interval [0,1] by “splitting” points from a subset A ⊂ K. The class of all such spaces coincides with the class of separable linearly ordered compact spaces. We prove some results on the topological classification of $K_A$ spaces and on the isomorphic classification of the Banach spaces $C\left(K_A\right)$.

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_M$ to be X ∩ M with topology generated by $U\cap M:U\in \cap M$. Suppose $X_M$ is homeomorphic to the irrationals; must $X=X_M$? We have partial results. We also answer a question of Gruenhage by showing that if $X_M$ is homeomorphic to the “Long Cantor Set”, then $X=X_M$.

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

Let a space $X$ be Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff nonsingle point spaces $X_{\alpha }$. Let Suslin number of $X$ be strictly less than the cofinality of $\tau$. Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $\beta X$. In particular, this is true if $X$ is either $R^{\tau }$ or ${\omega }^{\tau }$ and a cardinal $\tau$ is infinite and not countably cofinal.

The symbol ${\left(X_I\right)}_{\kappa }$ (with κ ≥ ω) denotes the space $X_I:={\prod }_{i\in I}{X}_i$ with the κ-box topology; this has as base all sets of the form $U={\prod }_{i\in I}{U}_i$ with $U_i$ open in $X_i$ and with $|i\in I:U_i\ne X_i|<\kappa$. The symbols w, d and S denote respectively the weight, density character and Suslin number. Generalizing familiar classical results, the authors show inter alia: Theorem 3.1.10(b). If κ ≤ α⁺, |I| = α and each $X_i$ contains the discrete space 0,1 and satisfies $w\left(X_i\right)\le \alpha$, then $w\left(X_{\kappa }\right)={\alpha }^{<\kappa }$. Theorem 4.3.2. If $\omega \le \kappa \le \left|I\right|\le 2^{\alpha }$ and $X={\left(D\left(\alpha \right)\right)}^I$ with D(α) discrete, |D(α)| = α, then $d\left({\left(X_I\right)}_{\kappa }\right)={\alpha }^{<\kappa }$. Corollaries 5.2.32(a)...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

A topological space $(X,\tau )$ is said to be $z$-Lindelöf  [1] if every cover of $X$ by cozero sets of $(X,\tau )$ admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of $z$-Lindelöf spaces.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

A topological space $X$ has a rank 2-diagonal if there exists a diagonal sequence on $X$ of rank $2$, that is, there is a countable family $\{{𝒰}_n:n\in \omega \}$ of open covers of $X$ such that for each $x\in X$, $\left\{x\right\}=\bigcap \{{\mathrm{St}}^2(x,{𝒰}_n):n\in \omega \}$. We say that a space $X$ satisfies the Discrete Countable Chain Condition (DCCC for short) if every discrete family of nonempty open subsets of $X$ is countable. We mainly prove that if $X$ is a DCCC normal space with a rank 2-diagonal, then the cardinality of $X$ is at most $𝔠$. Moreover, we prove that if $X$ is a first...

For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series ${\sum }_{n=1}^{\infty }x\left(n\right)$. Guthrie and Nymann proved that E(x) is one of the following types of sets: () a finite union of closed intervals; () homeomorphic to the Cantor set; homeomorphic to the set T of subsums of ${\sum }_{n=1}^{\infty }b\left(n\right)$ where b(2n-1) = 3/4ⁿ and b(2n) = 2/4ⁿ. Denote by ℐ, and the sets of all sequences x ∈ ℓ₁∖c₀₀ such that E(x) has the property (ℐ), () and ( ), respectively. We show that ℐ and are strongly -algebrable and is -lineable....

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{\alpha }$, $Y_{\alpha }$ and $Z_{\alpha }$ such that (i) $f{X}_{\alpha },f{Y}_{\alpha },f{Z}_{\alpha }=\omega ₀$, where f is either trdef or ₀-trsur, (ii) $A\left(\alpha \right)-trind{X}_{\alpha }=\infty$ and $M\left(\alpha \right)-trind{X}_{\alpha }=-1$, (iii) $A\left(\alpha \right)-trind{Y}_{\alpha }=-1$ and $M\left(\alpha \right)-trind{Y}_{\alpha }=\infty$, and (iv) $A\left(\alpha \right)-trind{Z}_{\alpha }=M\left(\alpha \right)-trind{Z}_{\alpha }=\infty$ and $A(\alpha +1)\cap M(\alpha +1)-trind{Z}_{\alpha }=-1$. We also show that there exists no separable metrizable space $W_{\alpha }$ with $A\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$, $M\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$ and $A\left(\alpha \right)\cap M\left(\alpha \right)-trind{W}_{\alpha }=\infty$, where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of ${\omega }^{\omega }$ there exists a continuous function $f:{\omega }^{\omega }\to X$ such that $f^{-1}\left(C₀\right)=D₀$ and $f^{-1}\left(C₁\right)=D₁$. We give several explicit examples of complete pairs of coanalytic sets.

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

In this short article we answer the question posed in Ghadermazi M., Karamzadeh O.A.S., Namdari M., On the functionally countable subalgebra of $C\left(X\right)$, Rend. Sem. Mat. Univ. Padova 129 (2013), 47–69. It is shown that $C_c\left(X\right)$ is isomorphic to some ring of continuous functions if and only if ${\upsilon }_{0}X$ is functionally countable. For a strongly zero-dimensional space $X$, this is equivalent to say that $X$ is functionally countable. Hence for every $P$-space it is equivalent to pseudo-${\aleph }_0$-compactness.

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2n}$ such that $C\left(K_{2n}\right)$ has no uncountable (semi)biorthogonal sequence ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2n}$, but has biorthogonal systems ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

Erdős space is the “rational” Hilbert space, that is, the set of vectors in ℓ² with all coordinates rational. Erdős proved that is one-dimensional and homeomorphic to its own square × , which makes it an important example in dimension theory. Dijkstra and van Mill found topological characterizations of . Let $M{ₙ}^{n+1}$, n ∈ ℕ, be the n-dimensional Menger continuum in ${ℝ}^{n+1}$, also known as the n-dimensional Sierpiński carpet, and let D be a countable dense subset of $M{ₙ}^{n+1}$. We consider the topological group...

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.