Source author record

Mikhail G. Tkachenko

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
1topics
4close collaborators

Published work

5 publications

preprint2016arXiv

Lattices of homomorphisms and pro-Lie groups

Early this century K. H. Hofmann and S. A. Morris introduced the class of pro-Lie groups which consists of projective limits of finite-dimensional Lie groups and proved that it contains all compact groups, all locally compact abelian groups, and all connected locally compact groups and is closed under the formation of products and closed subgroups. They defined a topological group GG to be almost connected if the quotient group of GG by the connected component of its identity is compact. We show here that all almost connected pro-Lie groups as well as their continuous homomorphic images are RR-factorizable and \textit{ωω-cellular}, i.e.~every family of GδG_δ-sets contains a countable subfamily whose union is dense in the union of the whole family. We also prove a general result which implies as a special case that if a topological group GG contains a compact invariant subgroup KK such that the quotient group G/KG/K is an almost connected pro-Lie group, then GG is RR-factorizable and ωω-cellular. Applying the aforementioned result we show that the sequential closure and the closure of an arbitrary Gδ,ΣG_{δ,Σ}-set in an almost connected pro-Lie group HH coincide.

preprint2016arXiv

Products of topological groups in which all closed subgroups are separable

We prove that if HH is a topological group such that all closed subgroups of HH are separable, then the product G×HG\times H has the same property for every separable compact group GG. Let cc be the cardinality of the continuum. Assuming 2ω1=c2^{ω_1} = c, we show that there exist: (1) pseudocompact topological abelian groups GG and HH such that all closed subgroups of GG and HH are separable, but the product G×HG\times H contains a closed non-separable σσ-compact subgroup; (2) pseudocomplete locally convex vector spaces KK and LL such that all closed vector subspaces of KK and LL are separable, but the product K×LK\times L contains a closed non-separable σσ-compact vector subspace.

preprint2016arXiv

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

We prove that, under CH, any space with a regular GδG_δ-diagonal and caliber ω1ω_1 is separable; a corollary of this result answers, under CH, a question of Buzyakova. For any Urysohn space XX, we establish the inequality ∣X∣≤wL(X)sΔ2(X)⋅dot(X)|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 XX is a Hausdorff space, then ∣X∣≤(πχ(X)⋅d(X))ot(X)⋅ψc(X)|X|\le(πχ(X)\cdot d(X))^{ot(X)\cdotψ_c(X)}; this result implies Šapirovski{\uı}'s inequality ∣X∣≤πχ(X)c(X)⋅ψ(X)|X|\leπχ(X)^{c(X)\cdotψ(X)} which only holds for regular spaces. It is also proved that ∣X∣≤πχ(X)ot(X)⋅ψc(X)⋅aLc(X)|X|\le πχ(X)^{ot(X)\cdotψ_c(X)\cdot aL_c(X)} for any Hausdorff space XX; this gives one more generalization of the famous Arhangel′^\primeskii's inequality ∣X∣≤2χ(X)⋅L(X)|X|\le 2^{χ(X)\cdot L(X)}.

preprint2015arXiv

Density character of subgroups of topological groups

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie groups which consists of projective limits of finite-dimensional Lie groups and proved that it contains all compact groups, locally compact abelian groups and connected locally compact groups and is closed under products and closed subgroups. A topological group G is almost connected if the quotient group of G by the connected component of its identity is compact. We prove that an almost connected pro-Lie group is separable iff its weight is not greater than c. It is deduced that an almost connected pro-Lie group is separable if and only if it is a subspace of a separable Hausdorff space. It is proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. Every precompact topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact group of weight c. This implies that there is a wealth of closed nonseparable subgroups of separable pseudocompact groups. An example is presented under CH of a separable countably compact abelian group which contains a non-separable closed subgroup. It is proved that the following conditions are equivalent for an omega-narrow topological group G: (i) G is a subspace of a separable regular space; (ii) G is a subgroup of a separable topological group; (iii) G is a closed subgroup of a separable pathconnected locally pathconnected group.

preprint2015arXiv

The weight and Lindelöf property in spaces and topological groups

We show that if YY is a dense subspace of a Tychonoff space XX, then w(X)≤nw(Y)Nag(Y)w(X)\leq nw(Y)^{Nag(Y)}, where Nag(Y)Nag(Y) is the Nagami number of YY. In particular, if YY is a Lindelöf ΣΣ-space, then w(X)≤nw(Y)ω≤nw(X)ωw(X)\leq nw(Y)^ω\leq nw(X)^ω. Better upper bounds for the weight of topological groups are given. For example, if a topological group HH contains a dense subgroup GG such that GG is a Lindelöf ΣΣ-space, then w(H)=w(G)≤ψ(G)ωw(H)=w(G)\leq ψ(G)^ω. Further, if a Lindelöf ΣΣ-space XX generates a dense subgroup of a topological group HH, then w(H)≤2ψ(X)w(H)\leq 2^{ψ(X)}. Several facts about subspaces of Hausdorff separable spaces are established. It is well known that the weight of a separable Hausdorff space XX can be as big as 22c2^{2^{\mathfrak c}}, where c=2ω{\mathfrak c}=2^ω. We prove on the one hand that if a regular Lindelöf ΣΣ-space YY is a subspace of a separable Hausdorff space, then w(Y)≤cw(Y)\leq \mathfrak c, and the same conclusion holds for a Lindelöf PP-space YY. On the other hand, we present an example of a countably compact topological group GG which is homeomorphic to a subspace of a separable Hausdorff space and satisfies w(G)=22cw(G)=2^{2^{\mathfrak c}}, i.e. has the maximal possible weight.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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