Researcher profile

Ivan S. Gotchev

Ivan S. Gotchev contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.GN

Trust snapshot

Quick read

Trust 19 - Baseline

5works

0followers

1topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Cardinalities of weakly Lindelöf spaces with regular $G_κ$-diagonals

For a Urysohn space $X$ we define the regular diagonal degree $\overlineΔ(X)$ of $X$ to be the minimal infinite cardinal $κ$ such that $X$ has a regular $G_κ$-diagonal i.e. there is a family $(U_η:η<κ)$ of open neighborhoods of $Δ_X=\{(x,x)\in X^2:x\in X\}$ in $X^2$ such that $Δ_X = \bigcap_{η<κ} \overline{U}_η$. In this paper we show that if $X$ is a Urysohn space then: (1) $|X|\leq 2^{c(X)\cdot\overlineΔ(X)}$; (2) $|X|\leq 2^{\overlineΔ(X)\cdot 2^{wL(X)}}$; (3) $|X|\le wL(X)^{\overlineΔ(X)\cdotχ(X)}$; and (4) $|X|\le aL(X)^{\overlineΔ(X)}$; where $χ(X)$, $c(X)$, $wL(X)$ and $aL(X)$ are respectively the character, the cellularity, the weak Lindelöf number and the almost Lindelöf number of $X$. The first inequality extends to the uncountable case Buzyakova's result that the cardinality of a ccc-space with a regular $G_δ$-diagonal does not exceed $2^ω$. It follows from (2) that every weakly Lindelöf space with a regular $G_δ$-diagonal has cardinality at most $2^{2^ω}$. Inequality (3) implies that when $X$ is a space with a regular $G_δ$-diagonal then $|X|\le wL(X)^{χ(X)}$. This improves significantly Bell, Ginsburg and Woods inequality $|X|\le 2^{χ(X)wL(X)}$ for the class of normal spaces with regular $G_δ$-diagonals. In particular (3) shows that the cardinality of every first countable space with a regular $G_δ$-diagonal does not exceed $wL(X)^ω$. For the class of spaces with regular $G_δ$-diagonals (4) improves Bella and Cammaroto inequality $|X|\le 2^{χ(X)\cdot aL(X)}$, which is valid for all Urysohn spaces. Also, it follows from (4) that the cardinality of every space with a regular $G_δ$-diagonal does not exceed $aL(X)^ω$.

preprint2016arXiv

Regular $G_δ$-diagonals and some upper bounds for cardinality of topological spaces

We prove that, under CH, any space with a regular $G_δ$-diagonal and caliber $ω_1$ is separable; a corollary of this result answers, under CH, a question of Buzyakova. For any Urysohn space $X$, we establish the inequality $|X|\le wL(X)^{sΔ_2(X)\cdot{dot(X)}}$ which represents a generalization of a theorem of Basile, Bella, and Ridderbos. We also show that if $X$ is a Hausdorff space, then $|X|\le(πχ(X)\cdot d(X))^{ot(X)\cdotψ_c(X)}$; this result implies Šapirovski{\uı}'s inequality $|X|\leπχ(X)^{c(X)\cdotψ(X)}$ which only holds for regular spaces. It is also proved that $|X|\le πχ(X)^{ot(X)\cdotψ_c(X)\cdot aL_c(X)}$ for any Hausdorff space $X$; this gives one more generalization of the famous Arhangel$^\prime$skii's inequality $|X|\le 2^{χ(X)\cdot L(X)}$.

preprint2015arXiv

Generalizations of two cardinal inequalities of Hajnal and Juhász

A non-empty subset $A$ of a topological space $X$ is called \emph{finitely non-Hausdorff} if for every non-empty finite subset $F$ of $A$ and every family $\{U_x:x\in F\}$ of open neighborhoods $U_x$ of $x\in F$, $\cap\{U_x:x\in F\}\ne\emptyset$ and \emph{the non-Hausdorff number $nh(X)$ of $X$} is defined as follows: $nh(X):=1+\sup\{|A|:A\subset X$ is finitely non-Hausdorff$\}$. Clearly, if $X$ is a Hausdorff space then $nh(X)=2$. We define the \emph{non-Urysohn number of $X$ with respect to the singletons}, $nu_s(X)$, as follows: $nu_s(X):=1+\sup\{\mathrm{cl}_θ(\{x\}):x\in X\}$. In 1967 Hajnal and Juhász proved that if $X$ is a Hausdorff space then: (1) $|X|\le 2^{c(X)χ(X)}$; and (2) $|X|\le 2^{2^{s(X)}}$; where $c(X)$ is the cellularity, $χ(X)$ is the character and $s(X)$ is the spread of $X$. In this paper we generalize (1) by showing that if $X$ is a topological space then $|X|\le nh(X)^{c(X)χ(X)}$. Immediate corollary of this result is that (1) holds true for every space $X$ for which $nh(X)\le 2^ω$ (and even for spaces with $nh(X)\le 2^{c(X)χ(X)}$). This gives an affirmative answer to a question posed by M. Bonanzinga in 2013. A simple example of a $T_1$, first countable, ccc-space $X$ is given such that $|X|>2^ω$ and $|X|=nh(X)^ω=nh(X)$. This example shows that the upper bound in our inequality is exact and that $nh(X)$ cannot be omitted (in particular, $nh(X)$ cannot always be replaced by $2$ even for $T_1$-spaces). In this paper we also generalize (2) by showing that if $X$ is a $T_1$-space then $|X|\le 2^{nu_s(X)\cdot 2^{s(X)}}$. It follows from our result that (2) is true for every $T_1$-space for which $nu_s(X)\le 2^{s(X)}$. A simple example shows that the presence of the cardinal function $nu_s(X)$ in our inequality is essential.

preprint2013arXiv

Cardinal invariants for $κ$-box products

Definition. Let $κ$ be an infinite cardinal, let {X(i)} be a (not necessarily faithfully indexed) set of topological spaces, and let X be the product of the spaces X(i). The $κ$-box product topology on X is the topology generated by those products of sets U(i) for which (a) for each i, U(i) is open in X(i); and (b) U(i) = X(i) with fewer than $κ$-many exceptions. (Thus, the usual Tychonoff product topology on X is the $ω$-box topology.) With emphasis on weight, density character, and Souslin number, the authors study and determine the value of several "cardinal invariants" on the space X with its $κ$-box topology, in terms of the corresponding invariants of the individual spaces X(i). To the authors' knowledge, this work is the first systematic study of its kind. Some of the results are axiom-sensitive, and some duplicate (and extend, and make precise) earlier work of Hewitt-Marczewski-Pondiczery, of Englking-Karlowicz, of Comfort-Negrepontis, and of Cater-Erdos-Galvin.

preprint2013arXiv

The non-Urysohn number of a topological space

We call a nonempty subset $A$ of a topological space $X$ finitely non-Urysohn if for every nonempty finite subset $F$ of $A$ and every family $\{U_x:x\in F\}$ of open neighborhoods $U_x$ of $x\in F$, $\cap\{\mathrm{cl}(U_x):x\in F\}\ne\emptyset$ and we define the non-Urysohn number of $X$ as follows: $nu(X):=1+\sup\{|A|:A$ is a finitely non-Urysohn subset of $X\}$. Then for any topological space $X$ and any subset $A$ of $X$ we prove the following inequalities: (1) $|\mathrm{cl}_θ(A)|\le |A|^{κ(X)}\cdot nu(X)$, (2) $|[A]_θ|\le (|A|\cdot nu(X))^{κ(X)}$, (3) $|X|\le nu(X)^{κ(X)sL_θ(X)}$, and (4) $|X|\le nu(X)^{κ(X)aL(X)}$. In 1979, A. V. Arhangelskii asked if the inequality $|X|\le 2^{χ(X)wL_c(X)}$ was true for every Hausdorff space $X$. It follows from the third inequality that the answer of this question is in the affirmative for all spaces with $nu(X)$ not greater than the cardinality of the continuum. We also give a simple example of a Hausdorff space $X$ such that $|\mathrm{cl}_θ(A)|>|A|^{χ(X)}U(X)$ and $|\mathrm{cl}_θ(A)|>(|A|\cdot U(X))^{χ(X)}$, where $U(X)$ is the Urysohn number of $X$, recently introduced by Bonanzinga, Cammaroto and Matveev. This example shows that in (1) and (2) above, $nu(X)$ cannot be replaced by $U(X)$ and answers some questions posed by Bella and Cammaroto (1988), Bonanzinga, Cammaroto and Matveev (2011), and Bonanzinga and Pansera (2012).

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint